7) a multiple of 25?
True
Suppose -2*s - 5*i - 5 = 0, 6*s - i - 28 = s. Suppose -3*n - s*y + 167 = -n, 0 = 3*n - y - 225. Is n a multiple of 19?
True
Is 16 + -18 + -1 + -1 + 2620 a multiple of 18?
False
Let q(z) = z**2 + 1. Let d be q(-2). Suppose 5*f + l - 1050 = d*l, 0 = -5*f + l + 1035. Is f a multiple of 10?
False
Let j(k) = -65*k - 13. Let f be j(-10). Suppose -3*o = -f + 7. Is 35 a factor of o?
True
Let y = 2145 + -1405. Is 5 a factor of y?
True
Is -10*(-12)/60*54 a multiple of 18?
True
Let a(w) = -w**2 - 7*w - 2. Let p be a(-3). Suppose -p*c + 5*c = 395. Let l = c - -119. Is l a multiple of 13?
False
Let f = -1893 + 3378. Is 33 a factor of f?
True
Does 21 divide (2 + 1)*(-213)/(-9)?
False
Let u(r) = -r**3 + 8*r**2 + 3*r + 3. Suppose -4*c + m = -37, m + 19 = -0*c + 2*c. Let s be u(c). Let w = 73 + s. Is w a multiple of 9?
False
Let h(m) = m**2 + m + 70. Does 16 divide h(39)?
False
Does 8 divide -1 - -6*27*3/6?
True
Suppose -3*m - 759 = -4539. Is m a multiple of 7?
True
Let l be (3 + 3577)/(2/(-4)). Does 12 divide (-8)/(-10) - l/50?
True
Let p = 6 + -1. Suppose 3*b - 2 = p*x, -2*x - 4*b = -5*b. Suppose -x*j - 17 = -3*j. Is j a multiple of 4?
False
Suppose 47 = 5*x - 2*q, -7 = -3*q + 5. Let u(a) = x - 4*a + 7 + 2 - 2. Is u(-6) a multiple of 14?
True
Let l(i) be the third derivative of -i**6/30 - i**5/15 + i**4/8 + 5*i**3/6 + 8*i**2. Suppose f - 1 = -4*d, -3*f - 1 = -4*d + 12. Does 14 divide l(f)?
False
Is 18 a factor of 52/39 + (-1451)/(-3)?
False
Let i(z) = -z - 1. Let t(b) = 13*b**2 + 2*b + 1. Let p(v) = 4*i(v) + t(v). Does 19 divide p(-2)?
False
Let r be 2/(-2 - 147/(-73)). Let s = 64 + -166. Let c = s + r. Does 11 divide c?
True
Let w = 25 + -21. Suppose 5*q - a - 11 = 49, 34 = w*q + 2*a. Does 6 divide q?
False
Let j(x) = -3*x**3 + 29*x**2 + 11*x + 10. Let a(w) = w**3 - 10*w**2 - 4*w - 3. Let l(t) = 11*a(t) + 4*j(t). Let s = 11 + -6. Is l(s) a multiple of 16?
True
Let p = 49 - 7. Let b = 22 + -32. Let t = p - b. Does 26 divide t?
True
Suppose 4*o + 1152 + 1032 = 2*b, -1107 = -b - o. Does 19 divide b?
True
Let j = 491 - 451. Is j a multiple of 29?
False
Let m(u) = u**3 - 6*u**2 - 8*u + 5. Let v be m(7). Let a be (-40)/(-1 - v)*-1. Suppose x - a = -x. Is x a multiple of 10?
True
Let f = 1 + -2. Let z(p) = -117*p - 3. Is z(f) a multiple of 15?
False
Let m = 14 - 10. Suppose -m*j + 4*l + 68 = 2*l, -2*j = -4*l - 46. Suppose 0 = -3*d + j - 0. Does 5 divide d?
True
Let i(v) = -399*v - 2. Does 33 divide i(-1)?
False
Is 8 a factor of 0 - (3 - -1)*80/(-5)?
True
Let o = 150 - -327. Is 5 a factor of o?
False
Suppose 5*r - y = 4*y + 5, -r - 7 = y. Let p be 4 - (-5 - (r + 0)). Is 11 a factor of (99/(-6))/(p/(-12))?
True
Let a = 13 - 8. Suppose -1 + 25 = 3*t + 3*b, -a*t = 2*b - 25. Suppose 3*h - u - 128 = 0, 0 = -3*h + t*u + 69 + 51. Is h a multiple of 11?
True
Let k be 2/11 - 92/22. Is 14 a factor of (k/10 - (-1968)/20)*2?
True
Let w be ((-4)/(-5))/((-4)/(-30)). Let p = 256 + -187. Suppose 9*i - w*i = p. Is i a multiple of 12?
False
Let g = 2592 - 2127. Does 31 divide g?
True
Suppose 4*o - 16 = 0, 5*u - 4*o = 818 + 886. Does 8 divide u?
True
Suppose -68 = -7*g - 19. Suppose 0 = g*k - 481 - 317. Is k a multiple of 19?
True
Suppose -5*d = 74 + 66. Let q = -28 - d. Does 30 divide ((-264)/(-3) - q) + 2?
True
Let k be (4/(24/(-9)))/((-6)/8). Does 31 divide (4/(4/k))/(10/465)?
True
Let y = -55 + 51. Does 6 divide 913/8 + (231/(-56) - y)?
True
Suppose -10*b = -17*b + 490. Is b a multiple of 7?
True
Let k be ((-154)/(-55))/((-2)/10). Let j be 8/(-28) - 1894/k. Let a = j - 96. Is a a multiple of 13?
True
Let v = -163 + 342. Suppose l - 2*i + v = 0, -185 = l + 3*i + i. Let o = l - -255. Does 18 divide o?
False
Does 3 divide ((-105)/40)/((-2)/16)?
True
Let q(f) = 6*f**2 + 4*f - 58. Is 6 a factor of q(-6)?
False
Let z(g) = 29*g + 6. Let m be z(6). Suppose -3*s - 2*s = -m. Is 15 a factor of s?
False
Suppose -73159 - 7553 = -19*x. Is x a multiple of 118?
True
Let q(d) = -d**2 + 3*d + 1. Let r be q(0). Is 4 a factor of ((-45)/(-6) - r)*32/4?
True
Let i(k) be the second derivative of k**4/12 + k**3/2 - k**2 - 5*k. Let n be i(-4). Suppose 4*y = 3*g - 61, n*g + y - 27 - 10 = 0. Does 10 divide g?
False
Let u = 244 - 139. Is u a multiple of 35?
True
Let j(i) = -i**2 - 12*i + 57. Does 16 divide j(-8)?
False
Does 17 divide 6/2*(154 - -16)?
True
Let u(x) = 6*x**2 + 3*x + 1000. Is 50 a factor of u(0)?
True
Let r be 6*(75/6)/5. Suppose -10*i = -7*i + w - 780, -i - 3*w = -260. Is 7 a factor of i/6 - 20/r?
True
Let j(z) = -z**2 + 10*z + 0*z**2 + 1 + 4. Suppose 2*d = 4*q - 2*q + 24, q + 36 = 4*d. Is 6 a factor of j(d)?
False
Let o = 680 - 474. Is 35 a factor of o?
False
Let b(t) = 6*t**2 + 8*t + 4. Let d be ((-9)/(-18))/(2/(-8)). Does 2 divide b(d)?
True
Let n(m) be the third derivative of m**5/30 - 13*m**4/24 + 25*m**3/6 - 11*m**2. Is n(10) a multiple of 19?
True
Let h = 56 + -63. Let k(z) = -8*z - 3. Is 7 a factor of k(h)?
False
Does 6 divide (-9)/54 - 22/12 - -458?
True
Let d(w) = -15*w - 13. Let q(o) = 22*o + 20. Let a(x) = 8*d(x) + 5*q(x). Let t(k) = -3*k**2 - 36*k - 4. Let h be t(-12). Does 12 divide a(h)?
True
Let z be (1/(-3))/((-2)/30). Let u = 10 + -7. Suppose 2*q + u*q + z*s = 45, q = 4*s - 1. Is 3 a factor of q?
False
Suppose 0*x + 12 = 6*x. Suppose x*k + 271 = 4*k - 3*j, 0 = -2*k - 3*j + 289. Is k a multiple of 35?
True
Let v(l) = 5*l**3. Let g be v(-1). Let u(a) = -14*a - 2. Let r be u(g). Suppose -2*o + r = -32. Does 21 divide o?
False
Suppose -28*a + 30*a = 1728. Suppose -3*d - d = -a. Is d a multiple of 24?
True
Let n = -2116 - -2128. Is 3 a factor of n?
True
Let g(d) = d - 2. Suppose -3*n = -4*t - 25, -3*n = -2*n - 5*t - 23. Suppose -n*l - l + 32 = 0. Is 6 a factor of g(l)?
True
Suppose -3*n = -g + 1229, -2*n = -2*g + 4*g - 2490. Is g a multiple of 19?
False
Let c = -1 - -4. Suppose -2 = -c*y - 8. Is 26 a factor of ((-104)/20)/(y/10)?
True
Let a(u) = -6*u**2 + 3*u - 5. Let w be a(6). Let h(y) = y**2 + 5*y - 144. Let l be h(0). Let k = l - w. Does 17 divide k?
False
Suppose -r + 4*c = -19, -3*c = r + r + 17. Is 3 a factor of 3/(r - 20/(-17))?
False
Let r(y) = -4*y**2 + 65*y - 7. Is 4 a factor of r(16)?
False
Suppose 10 = 3*w + 1. Suppose 27 = 5*u + w*b, -4*u = 6*b - 2*b - 20. Suppose 146 - 392 = -u*h. Is h a multiple of 19?
False
Let l = 129 + -574. Let i = l - -747. Is 47 a factor of i?
False
Let m(h) = -3*h**2 + 4*h + 729. Is 9 a factor of m(0)?
True
Suppose 6*b = 2*b - 20, -3*n + 5*b = -43. Suppose 296 = l - 2*x, 3*x - 790 - 116 = -3*l. Suppose h + l = n*h. Is 20 a factor of h?
True
Suppose 16*n + 10*n - 5850 = 0. Is 45 a factor of n?
True
Let i = -1121 + 2801. Is i a multiple of 12?
True
Is 11 a factor of (-8 + 11)*(9 - -2)?
True
Suppose 7*z - 17*z + 4140 = 0. Does 46 divide z?
True
Suppose -730 = -4*l + l - 4*k, -5*k = -3*l + 721. Suppose -2*b + 2*g + 524 = 0, b - 3*g - l = 2*g. Does 36 divide b?
False
Let r(s) = s**3 - 51*s**2 + 174*s + 33. Is r(49) a multiple of 17?
True
Let m = 49 + -91. Let q be -3 + (-15)/6*m. Is 3451/q - 1/(-6) a multiple of 17?
True
Let m(n) be the second derivative of n**4/12 - n**3/6 + 11*n**2 - 37*n. Suppose 0 = -4*q + 3*q. Is m(q) a multiple of 11?
True
Let s = 48 - 37. Suppose -s*t + 174 = -2400. Does 14 divide t?
False
Let c be (4 - 0)/(-1 + 3). Suppose -x = 4*w - 23, 6*x - c*x - 4*w = -8. Suppose 3*d - 146 = -k, -x*k = -3*d + k + 136. Does 16 divide d?
True
Suppose 22 = -4*m + 2*r, m + 0*r - r + 3 = 0. Does 5 divide 1/4 + (-142)/m?
False
Suppose 303*p = 301*p + 480. Is p a multiple of 48?
True
Let u(i) = -5*i**2 - 3*i + 2. Let l(j) = -4*j**2 - 4*j + 3. Let x(g) = -4*l(g) + 3*u(g). Let b be x(-8). Is 21 a factor of -1*(-1 + b - 34)?
False
Let w = 5439 + -3160. Does 53 divide w?
True
Let d = 1094 + -1098. Let m(z) be the second derivative of z**4/2 + 2*z**3/3 - 4*z**2 - z. Does 24 divide m(d)?
True
Let t(h) = 2*h**2 + 60*h + 30. Is t(-30) a multiple of 6?
True
Suppose -4*z - 3*z + 2380 = 0. Is 21 a factor of z?
False
Let y = -1318 - -2423. Is 5 a factor of y?
True
Let b(o) be the second derivative of o**4/12 - o**3/2 - 7*o**2/2 + o. Let p be b(5). Suppose -35 = -2*q - 5*u, -5*q + 5*u - 15 = -p*q. Is q a multiple of 3?
False
Let f(p) = 14*p + 18. Is 2 a factor of f(5)?
True
Let o(q) = -q - 1. Let m be o(7). Let i(j) = -2*j