
True
Let p = 2 - -6. Let w be (-2)/2*-39*(-18)/(-27). Let l = p + w. Is 12 a factor of l?
False
Suppose -4*v = -0*v - 8. Is v/4*(143 - 23) a multiple of 15?
True
Is (-60)/(-36) - 29600/(-15) a multiple of 86?
False
Suppose -30 = -5*r - 3*o, 2*r - 43 = 2*o + 3*o. Is (r + 12)/(1/3) a multiple of 9?
True
Suppose -7*v + 166 = -5*v. Suppose -y - u + 3 = -v, 0 = u. Does 21 divide y?
False
Let f be -1 + 2 - (-230)/(-10). Let j be (2/3)/(f/(-99)). Let r(o) = 3*o**3 - 2*o**2 - 3*o - 4. Is 18 a factor of r(j)?
False
Suppose -9 + 27 = 6*k. Suppose -k - 35 = -j. Is 7 a factor of j?
False
Suppose -3*u + 11 = -16. Is 17 a factor of 56 + u*3/9?
False
Is (5 + 594)/((-4)/(-32)*8) a multiple of 22?
False
Suppose 4*q + 78 = -5*z, 21 = -z - q + 2*q. Let l be (-471)/(-9) - (-6)/z. Suppose 412 = 6*h + l. Is 15 a factor of h?
True
Suppose -s = -4*z - 72, -4*s = s + 2*z - 250. Let j = -15 + s. Does 10 divide j?
False
Let p = -11 - -19. Let g(o) = 3*o**2 - o**3 + 5*o - p*o**2 + 0 + 2. Does 5 divide g(-6)?
False
Let k(x) = -6*x**2 - 7*x - 2. Let w(t) = -18*t**2 - 20*t - 5. Let c(u) = 11*k(u) - 4*w(u). Let a be c(-5). Let s = a + -89. Is 9 a factor of s?
False
Let m = -224 - -271. Is 7 a factor of m?
False
Suppose 0 = -5*w - 0*w + 5*f + 40, -4*w = -f - 26. Is (1 - -79)*w/12 a multiple of 4?
True
Suppose 7*i - 424 - 4924 = 0. Does 54 divide i?
False
Let l(z) = z**3 - 22*z**2 + 58*z + 34. Does 2 divide l(19)?
False
Let o be 1/((-8)/12)*6. Let f be 27/o + 21/1. Suppose n = -n + f. Does 9 divide n?
True
Suppose 0 = -0*i + 5*i. Suppose -19*o + 16*o + 117 = i. Is o a multiple of 20?
False
Suppose p + y - 2*y = 48, 2*p + 2*y - 104 = 0. Suppose -29*i + p = -28*i. Is i a multiple of 32?
False
Suppose -4*k + 323 = -s + 46, -4*k = 4*s - 292. Is k a multiple of 8?
False
Let y(d) = 2*d**3 - 5*d**2 - 5*d + 8. Let j be y(4). Suppose -110 = 34*c - j*c. Is c a multiple of 11?
True
Suppose 568*m = 565*m + 537. Does 22 divide m?
False
Let f = -1518 + 2533. Is f a multiple of 35?
True
Suppose 2*d - 4*d + 19 = -3*m, m - d + 6 = 0. Let t = m - -12. Is t a multiple of 2?
False
Suppose -2*c = -595 - 253. Is c a multiple of 11?
False
Let f = 103 + -87. Suppose -9 - 3 = -4*t. Does 2 divide t/12 + 60/f?
True
Let g = 918 - -199. Is 77 a factor of g?
False
Let k = 27 - 26. Is 1 + 82 + k - -3 a multiple of 14?
False
Let h be 840/6*-1*14. Does 14 divide 2/(-4) + (4 - h/16)?
True
Suppose 0 = -4*p - 5*z - 137, 2*p + 5*z - 127 = 6*p. Suppose -6*m = 5*s - 3*m - 207, -5*m = -20. Let g = s + p. Is g a multiple of 2?
True
Let q(v) = v**2 - 19*v + 22. Let t be q(12). Let l = t - -87. Is 25 a factor of l?
True
Suppose 2*a + 3 = 3*a. Suppose 0*l + 4*l - 232 = -3*u, -u + 99 = -a*l. Is u a multiple of 4?
True
Suppose -30 = 13*s - 16*s. Is 6 a factor of (-105)/(-6) - (-5)/s?
True
Suppose -780 = -9*h + 7*h. Does 10 divide h?
True
Let k(i) = -115*i**3 + i**2 + i + 1. Let r be k(-1). Suppose 2*j - 6*j = -r. Is 4 a factor of j?
False
Suppose 0 = 17*g - 2270 - 2524. Let f = 396 - g. Does 12 divide f?
False
Let g(t) = t**3 + 27*t**2 - 14*t - 68. Is g(-26) a multiple of 54?
True
Let j(s) = -114*s + 15. Let g be j(-4). Suppose m = 3*d - 285, g = -8*d + 13*d - 3*m. Is d a multiple of 32?
True
Let q be 3/((21/2)/7). Let p(u) = -u**2 + 4*u - 2. Let b be p(q). Suppose -a - 7*m = -3*m - 32, 4*m = b*a - 40. Is 24 a factor of a?
True
Let j(d) be the second derivative of d**4/6 - 11*d**3/6 + 7*d**2/2 - d. Is j(9) a multiple of 14?
True
Suppose 31*w - 45 = 26*w. Suppose -y = -108 - w. Is 21 a factor of y?
False
Let l = -113 - -257. Suppose -l = -0*w - 2*w. Suppose 0 = 2*v, -2*v + w = 6*p - 4*p. Is p a multiple of 9?
True
Let o(z) = -41*z + 65. Is 12 a factor of o(1)?
True
Let h = -4591 + 7429. Is h a multiple of 43?
True
Let o(h) = 7*h**3 - 19*h**2 - 2*h + 27. Is 13 a factor of o(7)?
False
Let y(o) = -o**3 + 24*o**2 - o + 7. Does 57 divide y(23)?
True
Let y be 3 - (-2)/2*0. Suppose 0 = 4*q + y*o + 15, -2*q + 0*o - o - 5 = 0. Suppose -3*s + 2*n + 134 = 0, -118 = -3*s - 2*n - q*n. Is 14 a factor of s?
True
Let v = -334 - -567. Does 17 divide v?
False
Let y be -2*(-1)/8 - (-612)/48. Let z = 33 - y. Is z a multiple of 5?
True
Suppose -8 = -12*h + 4. Let f = h + 75. Is 19 a factor of f?
True
Suppose 4*l = -0*l. Is 6 a factor of l + 29 + 3 - 3?
False
Suppose -2*r + 46 = -r. Let p = 200 - r. Is 56 a factor of p?
False
Let a = 423 - -60. Is 69 a factor of a?
True
Let n(a) = 3*a + 2. Does 8 divide n(30)?
False
Suppose 0 = -36*c + 55*c + 1425. Suppose -5*k + 2*k = 162. Let s = k - c. Is 20 a factor of s?
False
Let v(l) = 2*l**3 + 9*l**2 - 33*l + 2. Does 40 divide v(6)?
True
Suppose 0 = 10*f + 26*f - 360. Is 3 a factor of f?
False
Suppose -12*t + 2340 = -8*t. Does 65 divide t?
True
Suppose 585 + 294 = 4*m - 3*c, -439 = -2*m + c. Does 4 divide m?
False
Suppose -2*p - 4*v - 20 = 0, -25 = 5*v - 0. Let k = -67 + 112. Suppose d + 4*d - m = k, m = p. Does 9 divide d?
True
Let l be (-1)/(-1) + 26*1. Suppose 3*a + 75 = 2*p, 2*p = -5*a + l + 72. Is p a multiple of 14?
True
Let d(z) = -z**3 + 7*z**2 + 3*z - 3. Let x be (-24)/(-36) + (-58)/(-3). Let w be (-54)/(-30)*x/6. Does 33 divide d(w)?
False
Suppose -10*p = -p + 270. Let h = p + 65. Is 16 a factor of h?
False
Let w(s) = -2*s + 29. Let a be w(13). Is a/((-18)/20)*-3 a multiple of 3?
False
Does 19 divide (0 + 31)*((19 - -98) + -22)?
True
Let n(d) = -52*d**3 - 4*d - 8. Is 8 a factor of n(-2)?
True
Let i(l) = 3*l**3 + 19*l**2 + 2*l + 4. Let n(c) = c**2 - 5*c - 12. Let x be n(6). Is 3 a factor of i(x)?
False
Let j(g) = g**2 - 11*g - 16. Let f = -25 + 41. Let c be j(f). Suppose p = k - 62, c = k - 3*p + p. Does 20 divide k?
True
Let b be 7/(-2) - (-12)/(-24). Does 16 divide 3/2*((-2408)/(-12) - b)?
False
Suppose v = -6*v + 126. Let g = v - 10. Suppose u - 9 = g. Does 3 divide u?
False
Let s = -1 - -11. Suppose -s*c + 50 = -9*c. Is 25 a factor of c?
True
Let u = -140 + 234. Let t = 136 - u. Is t a multiple of 9?
False
Let n = 26 - -2. Suppose 0 = -3*t + 5*r - 8, -4*t - r = 2*r - n. Does 4 divide t?
True
Let k(f) = -f**3 + 6*f**2 + 4. Let u be k(6). Let b(g) = 3*g + u + 0*g - 2*g. Is 2 a factor of b(5)?
False
Let t = 35 - -245. Does 44 divide t?
False
Let d = -12 - -17. Suppose -5*i = d*u - 0*u + 10, -2*u - 8 = 0. Suppose 18 = -i*v + 3*v. Is v a multiple of 9?
True
Let h(v) = -v**3 + 12*v**2 + 16*v + 41. Does 10 divide h(13)?
True
Let c(l) = l. Let r be c(-6). Let q(n) = n**2 + 9*n - 6. Let u(i) = -i**2 - 9*i + 7. Let t(f) = -5*q(f) - 4*u(f). Does 4 divide t(r)?
True
Suppose 163*k + 4944 = 165*k. Is k a multiple of 103?
True
Let p be 450*(-1 - (-9)/6). Suppose 2*a + p = 5*a. Suppose 2*l - 4*c - a = -23, l - 4*c = 26. Does 13 divide l?
True
Let k(z) = 536*z - 1. Let t be k(1). Suppose -148 = -4*f - 4*d + 304, 5*f - t = d. Does 36 divide f?
True
Suppose 0 = -5*p + 3*j + 3054, -11*j = -p - 10*j + 610. Is p a multiple of 36?
True
Suppose 0 = -2*b - 144 + 566. Is 4 a factor of b?
False
Let d(t) = t**2 + 6*t - 10. Let n be d(-8). Let j be 104/18 + n/27. Let a = 2 + j. Is a a multiple of 4?
True
Suppose 0 = -f + 2*s + 66, -3*s = 4*f - 0*s - 319. Is 38 a factor of f?
True
Let s(q) = 2*q**3 - 16*q**2 - 7*q - 11. Is 44 a factor of s(9)?
True
Suppose 4*b + 2*w - 30 = 0, -5*b - 3*w = -2*b - 27. Suppose 3*q - b*q - 69 = 0. Let a = q + 82. Is 27 a factor of a?
False
Let i be (9/(-6) + 3)*2. Suppose -o + i*v = 2, -3*o - v = -3*v - 8. Is 12*1/(o/6) a multiple of 6?
True
Let b(o) = -o**3 + 10*o**2 + 3. Let v be b(10). Suppose -3*d - 325 = -5*j, j - 2*d - 262 = -v*j. Let t = j - 39. Is t a multiple of 7?
False
Let r(x) = -x**3 - 4*x**2 + 12*x - 5. Let k be r(3). Let h = k - -134. Is h a multiple of 24?
False
Let y(b) = b + 4. Let q be y(-4). Suppose q = 6*v - 3*v - 9. Suppose 0 = -v*a - 5*j, 4*a + j - 26 = 3*j. Is 4 a factor of a?
False
Suppose 33 + 92 = 5*c. Suppose c*j = 24*j + 102. Is j a multiple of 6?
True
Let w(q) = -531*q + 4. Let l be w(-1). Let k = l + -219. Suppose 9*n - 5*n - k = 0. Is n a multiple of 12?
False
Let f = -28 - -6. Let k = 62 + f. Does 20 divide k?
True
Suppose 0 = 894*l - 892*l - 1254. Does 57 divide l?
True
Does 5 divide 11188/52 + 2/(-13)?
True
Let m(k) = 3*k**2 + 1. Let s be m(-1). Suppose -s*d + 0*d - 52 = 0. Let q = d + 36. Does 6 divide q?
False
Suppose d - 2*f = -4*f + 557, d = 4*f 