
False
Suppose 3*n + 2*n = 625. Let v(k) = -n + 125 - 21*k. Is v(-1) a multiple of 7?
True
Suppose 573 = -z + 3*z + 3*x, 5*x + 907 = 3*z. Is z a multiple of 21?
True
Let u(s) = -30*s**2 - 10*s + 29*s**2 - 6*s - 11. Does 10 divide u(-9)?
False
Let d(g) = -g**3 + 8*g**2 + 4*g - 7. Let x(v) = v**3 + 19*v**2 + 16*v - 31. Let p be x(-18). Is d(p) a multiple of 8?
True
Let n = 4 - 14. Is 56*(-3)/(24/n) a multiple of 14?
True
Let t(b) = -b**3 + 9*b**2 - 8*b + 7. Let k be t(8). Let i = k + -10. Does 8 divide i - -3 - (-1 + -7)?
True
Suppose -3*x + 981 = -2*i, 4*x - 2*i - 1291 = -5*i. Does 13 divide x?
True
Suppose -119 = 3*j + 55. Let h = j + 153. Is h a multiple of 19?
True
Let s = 1803 + -555. Does 12 divide s?
True
Let f be -110 + 0*3/6. Let z = -25 - f. Is 17 a factor of z?
True
Suppose -5*n - m = -6*m - 3120, 0 = n - 2*m - 624. Is 52 a factor of n?
True
Let k(h) = -h**3 + 10 - 7*h**2 - 8 + 10 + 9*h. Is 4 a factor of k(-8)?
True
Let l = -257 - -348. Is 7 a factor of l?
True
Let c(w) = 16*w + 6. Let t be c(-3). Is (t/(-9))/(6/18) a multiple of 7?
True
Let c be (6*(-1 + 0))/(-1). Let p be (-5 - 4)/((-2)/c). Suppose 2*t = t + p. Does 18 divide t?
False
Suppose 4 = 5*l - 6. Suppose 3*r + l*s = 108, r + 4*s - 36 = 2*s. Suppose -g + r = g. Is g a multiple of 18?
True
Let j(t) = -t**3 - 2*t**2 + 2*t + 58. Let d(p) = 2*p**3 + 5*p**2 - 5*p - 117. Let q(f) = 2*d(f) + 5*j(f). Does 18 divide q(0)?
False
Let k = 158 + -111. Does 5 divide k?
False
Is 9 a factor of (485 - (-4 - -1))*28/16?
False
Suppose 15*v + 120 = 23*v. Is 15 a factor of v?
True
Suppose 12 = 2*a - 3*s + 5*s, -3*a + 3*s = 0. Suppose 106 = 5*i - a*i. Let c = i - 27. Does 13 divide c?
True
Let f(v) = 2*v**2 + 7*v - 5. Let g = 21 + -32. Let c be f(g). Suppose 0 = 4*d - 3*b - 187, -3*d - 5*b + c = -2. Does 20 divide d?
False
Suppose -3*m - 49 = -262. Is 8 a factor of m?
False
Let u(p) = -p**2 - 5*p + 11. Let b be u(-6). Let i be (-9)/2*68/(-6). Suppose -b*y + 211 = i. Is y a multiple of 10?
False
Let q(t) = t**3 + 4*t**2 - 5*t. Let d be q(-5). Suppose d = -2*j - 10 + 14. Suppose 2*n = 4*g + 46, 102 = 8*n - 4*n + j*g. Does 7 divide n?
False
Let f(b) = 2*b**2 - 21*b + 4. Does 20 divide f(15)?
False
Let q be 4 - (-3 - -2) - -1. Suppose -q*g = -5*g - 26. Is g a multiple of 26?
True
Suppose -292*s - 1668 = -296*s. Is 9 a factor of s?
False
Suppose 3*g - 81 = -n, 4*g = 2*g - 2*n + 54. Suppose g = -8*q + 11*q. Is q a multiple of 9?
True
Let k = 238 + -114. Suppose 0 = 5*w + v - 175, 4*w = -2*v - 2*v + k. Suppose 0 = -4*p - 5*g - w + 103, 3*p + 3*g - 51 = 0. Is p a multiple of 18?
True
Let j(i) = 11*i**2 + 16*i + 13*i**3 + 4*i**3 - 2 - 18*i**3. Does 23 divide j(12)?
True
Suppose -5*b + 567 = -693. Does 7 divide b?
True
Let z(f) = -10*f**3 - 3*f**2 + 7*f - 7. Let g be z(-5). Let p be (-2)/4 + g/22. Let x = -24 + p. Is x a multiple of 4?
False
Let d(i) = 4*i**2 - 30*i - 185. Is d(18) a multiple of 39?
False
Let g(y) = -y**3 + 8*y**2 + 7*y - 9. Let j be g(7). Let p = j + -46. Does 13 divide p?
False
Suppose -4219 = -5*r + 10*h - 6*h, -4*r = -h - 3384. Is 36 a factor of r?
False
Let r be (6/4 + 1830/(-20))/(-1). Suppose -5*u + 4*u + 3*m = -9, -2*u + 4 = m. Suppose -2*z - u*t = -r, 4*z = 3*t - t + 180. Is z a multiple of 15?
True
Let g(y) = y**3 + 8*y**2 + 6*y + 17. Let v be g(-7). Is 15 a factor of (2/4 + 2)*v?
True
Suppose 6*o + 4 = 8*o. Let s = 52 + o. Is 8 a factor of s?
False
Let f(b) = 12*b**2 + 6*b**2 - 3*b**2 - 6 - 7*b + 8*b**2. Let o(q) = 24*q**2 - 8*q - 7. Let t(z) = 7*f(z) - 6*o(z). Is 4 a factor of t(1)?
True
Suppose -5*s - 30 = 3*l - 125, 0 = -5*l + 5*s + 145. Does 27 divide l?
False
Let k(l) be the first derivative of l**4/4 + 3*l**3 + 6*l**2 + 20*l - 6. Does 14 divide k(-6)?
True
Let d(y) = -8*y**2 - 1 + 6*y**2 + y**3 + y**2 + y. Let j(p) = 5*p**3 + 2*p**2 + 1. Let t(q) = 2*d(q) + j(q). Does 8 divide t(1)?
True
Let z be (-1 + -1)*56/16. Let b = z - -7. Let s = b + 15. Does 5 divide s?
True
Let w be 24*4/(0 + 8). Let c = 12 - w. Suppose c = -2*z + 4*z - 6. Does 2 divide z?
False
Let w(u) = -22*u**3 + 6*u**2 - 4*u. Let g be w(-3). Is 18 a factor of (g/9 - 5)*3?
False
Let o be 3/9*12*1. Suppose -3*h + g - o*g + 87 = 0, -5*g + 20 = 0. Does 7 divide h?
False
Suppose -d + 2*b = -16, 0*d + 3*b = -2*d - 3. Suppose d*g - 10*g = -188. Is g a multiple of 17?
False
Let t(u) = 2*u - 2. Let k be t(1). Let g = -1 + 5. Suppose k = b - 4*y + 5, -g*b - 4*y = y - 43. Is b a multiple of 2?
False
Suppose q + 0 = 3. Suppose -5*w = 5*y + 65, 5 = -2*y - q*y. Let i = -6 - w. Is i a multiple of 4?
False
Suppose -b - 36 = -4*b. Suppose o - 6 = -s, -o - 3*s - b = -8*s. Suppose 7 - 52 = -3*u - 2*i, 0 = o*u + 3*i - 42. Is u a multiple of 17?
True
Let f = -545 + 855. Is 8 a factor of f?
False
Let y(l) = 322*l - 2. Let a be y(1). Suppose a = 8*v + 40. Does 3 divide v?
False
Let l be 16/(-14)*(-84)/24. Suppose -l*m = -126 - 22. Let x = m - 4. Does 11 divide x?
True
Let n be (-3 + 7)*(0 + 1). Suppose v + 7 = n*y - 3, -5*y + 13 = -v. Suppose v*m + 3*m = 145. Is 29 a factor of m?
True
Suppose 7*w + 14*w = 6720. Does 9 divide w?
False
Let m(q) = 2*q - 8. Let k be m(5). Is 4 a factor of (4 - 11/k)/((-6)/16)?
True
Let r(j) = -4*j**2 - 11*j + 19 + 2*j**2 + 8 + j**2. Is r(-11) a multiple of 27?
True
Is 36 a factor of (462/(-63) + 8)*(865 + -1)?
True
Let r = 171 - 98. Suppose 4*p - b - r = 648, -p = -3*b - 183. Is 12 a factor of p?
True
Suppose 3*y + 9 = 4*y. Suppose -y = 4*f + 7, 2*d - 272 = -f. Let l = 230 - d. Does 24 divide l?
False
Let i(y) = 4*y**3 - 18*y**2 - 15*y + 43. Is i(13) a multiple of 93?
False
Let b(k) = -9*k**2 + 13*k**2 - 5*k**2 + 1 - 13*k. Let w(n) = n**3 + 4*n**2 - 3*n + 4. Let d be w(-5). Does 11 divide b(d)?
False
Suppose 2*p + 8 = 6*p. Suppose 0 = d - p*d. Suppose d*r = r - 62. Is r a multiple of 17?
False
Suppose 20 = 5*y - 0*y. Suppose 208 = 2*h - f, -5*h = y*f + 153 - 660. Is h a multiple of 8?
False
Suppose 6*o - 2*o = -v - 34, 2*o - 5*v + 28 = 0. Let i = 8 + o. Let b = i + 19. Is 9 a factor of b?
True
Let s = 401 + -272. Is s even?
False
Let q(s) = 7*s**2 + 25*s + 14. Suppose -2*i - 3 = -5*p + 3, 5*i + 5*p - 20 = 0. Let h(u) = -3*u**2 - 13*u - 7. Let t(k) = i*q(k) + 5*h(k). Does 5 divide t(-14)?
False
Suppose v - 3*n = -1, 2*v + 4*n = -2*v + 28. Suppose 0 = -5*h + v*p + 170, -2*h - 4*p = -5*h + 104. Suppose 3*j + 20 - h = 0. Is 3 a factor of j?
False
Let p = 665 - -66. Is p a multiple of 36?
False
Suppose 0 = 5*o, 2*x - 579 = 2*o + 693. Does 26 divide x?
False
Let q(u) = 29*u**3 - u**2. Let m be q(1). Suppose 5*g - m = -2*y - 2*y, y - 4*g = 7. Is y even?
False
Let u(v) = -v**2 - 7*v - 2. Let w be u(-6). Suppose -l - 12 = -w*l. Suppose -56 = 2*m - 4*z - 146, 5*m - 183 = -l*z. Is m a multiple of 13?
True
Let j be 0 + -2 + 2 + -3. Let k be 2/6 - 2/j. Is 218/12 + k/(-6) a multiple of 10?
False
Suppose 0 = -3*s - h + 507, -5*s + 3*h + h = -828. Is s a multiple of 56?
True
Suppose -6*d + 134 = -5*d. Suppose -7*n + d = -5*n. Is n a multiple of 10?
False
Let n = -94 + 95. Let k = 14 - n. Does 2 divide k?
False
Let q(k) = -67*k + 14. Let o be q(-8). Suppose -x = -6*x + o. Is 9 a factor of x?
False
Let l = 2802 + -246. Is l a multiple of 12?
True
Let c = -71 + 30. Let b = c + 293. Suppose b = 6*o - 0*o. Is o a multiple of 27?
False
Suppose 2*j - 4*g + 563 = -7*g, 4*j + g = -1151. Let q = j - -406. Is q a multiple of 21?
False
Let m(n) = -9*n - 6. Is 4 a factor of m(-2)?
True
Suppose 5*i = 7*m - 9*m + 1413, 5*i = -m + 699. Does 57 divide m?
False
Is ((-1221)/(-1))/(4/64*4) a multiple of 11?
True
Let x be 1 - 0 - (-1 + -1). Suppose 0 = 5*d + v - 4, x*d + 4*v = 22 - 6. Suppose d = -2*w + 11 + 7. Is w a multiple of 3?
True
Let d(i) = 766*i**2 - 5*i + 4. Let m be d(1). Suppose -4*j + 3*v + 640 = 0, -11*j - 5*v + m = -6*j. Is 23 a factor of j?
False
Let u(c) = 48*c + 12. Suppose 4*w = -2*d - 40, 0 = -d - 4. Let j be u(w). Is 2/5 + j/(-20) a multiple of 10?
False
Let d(n) be the third derivative of -n**4/12 - n**3/6 + 6*n**2. Let x be d(-5). Suppose -10*q = -x*q - 10. Is q a multiple of 3?
False
Let a = 44 - 24. Does 24 divide (32/a)/((-3)/(-45))?
True
Is 947 + 2 + 9 + 10/(-2) a multiple of 16?
False
Suppose 2*r - 38 = 132. Does 2 divide r?
False
Let d = 213 - -2237. Does 50 divide d?
True
Let y be 144/(-78) - 4/26. Is (-