ple of 9?
True
Let f(v) = 6*v**3 - 6*v**2 - 19*v + 57. Is 83 a factor of f(6)?
False
Suppose 0 = -j + 116 - 40. Suppose -56 = -l - 2*t, -3*t = 2*l - j - 40. Is l a multiple of 13?
False
Let j(n) = n + 70. Suppose 0 = -3*x + 82 - 148. Does 16 divide j(x)?
True
Is -4 + 0 + 269 + -4 a multiple of 20?
False
Suppose 5*p = -i + 4918, -4*p - 244 = -4*i - 4188. Does 8 divide p?
True
Let h(d) = d**3 + 27*d**2 + 35*d + 1. Is 26 a factor of h(-10)?
False
Let l = 27 + -15. Suppose -l + 72 = 5*u - 5*q, -5*q + 10 = 0. Let z = u + 14. Is 14 a factor of z?
True
Let g(s) = s**2 + s - 8. Let o be g(-3). Is 15 - (0/o - 0) a multiple of 7?
False
Let z = -16 + 24. Suppose 5*g = z*g - 204. Is g a multiple of 17?
True
Let q be (-3)/(-6) + (-73)/2. Let f = -56 - -30. Let i = f - q. Is i a multiple of 4?
False
Suppose -3*d = -5*t - 4536, -t = -2*d + 5*d - 4536. Is 12 a factor of d?
True
Let v(z) = 4*z**2 + 30*z - 60. Does 15 divide v(15)?
True
Suppose -5*l = -3*l + 14. Let a = -1 + l. Let t(x) = x**2 + 8*x + 5. Is 4 a factor of t(a)?
False
Is 32 a factor of (-3 - (-945)/75)/((-6)/(-1040))?
True
Let f(y) = -5*y + 8*y - 23 + 2*y + y**2. Does 21 divide f(-12)?
False
Suppose 17*p = 20*p, 5*b + 4*p - 2775 = 0. Is 15 a factor of b?
True
Let x(d) = 43*d**2 - 20*d - 211. Is 73 a factor of x(-7)?
False
Let p(x) = x**3 - 43*x**2 + 4*x - 42. Is p(43) a multiple of 13?
True
Let l = 249 - 204. Is l a multiple of 3?
True
Is 24 a factor of (977 - 4) + (-19 - -18)?
False
Suppose 18 = -5*n - 17. Let o(j) = -19*j + 11. Is 36 a factor of o(n)?
True
Let p = 208 - 190. Does 8 divide p?
False
Suppose -4*w = 0, 2*h = 5*w - 0*w. Let n(t) = 2*t**2 + 21. Is 4 a factor of n(h)?
False
Suppose -a + 11*d = 12*d - 1096, a - 3*d = 1076. Is 8 a factor of a?
False
Suppose 2*l = l + 3*m + 17, 3*m = -12. Suppose 0 = 5*o + z - 476, l*z - 76 = 3*o - 4*o. Suppose y + 0*y + 3*v - 26 = 0, 5*y - 2*v = o. Does 8 divide y?
False
Suppose -3*v + 4*j + 9 = -17, 4*j + 10 = -5*v. Suppose 210 = v*c + 5*c. Is c a multiple of 6?
True
Does 4 divide (-10)/(-55) - (-416)/11?
False
Let i(h) = -8*h - 2. Suppose -6 = -9*v + 12*v. Let c be i(v). Let k = c - 2. Is k a multiple of 12?
True
Suppose -5*b - 8 = -23. Suppose -b*x + f = -117 - 20, -5*f = -4*x + 201. Suppose 0 = -t + g + x, t - g + 100 = 3*t. Is t a multiple of 24?
True
Let s(n) be the first derivative of 2*n**3/3 + 2*n**2 + 24*n - 6. Is s(-5) a multiple of 27?
True
Let a = -277 + 345. Is 34 a factor of a?
True
Suppose 2*o + v - 115 + 40 = 0, 3*v = o - 55. Does 5 divide o?
True
Let j(a) = -2*a + 5. Let h be j(2). Suppose 2*q + w = 5, 5*q + w - 6 = -h. Suppose q = -4*x + 2*x + 136. Does 17 divide x?
True
Let h be 4857/9 - 7/(-21). Suppose 1 - 11 = 5*j, -h = -3*w - 3*j. Is w a multiple of 26?
True
Suppose 19*l - 12*l - 182 = 0. Suppose -27*p + 64 = -l*p. Is p a multiple of 8?
True
Let t(h) = h**3 - 8*h**2 - h + 11. Let s be t(8). Let c be 315/21*1/s. Suppose -b + 2*j + j = -77, 385 = c*b - 5*j. Is b a multiple of 18?
False
Let o(i) = i**3 - 4*i**2 + 6*i - 2. Let b be o(7). Let h = 518 - b. Is h a multiple of 25?
False
Suppose -7*u + 12 = -3*u, -5*s = -2*u - 9. Suppose 0 = -3*q - 15, 0 = d - s*d + 4*q + 30. Suppose 250 = -d*a + 790. Does 34 divide a?
False
Suppose -d - 6 = -2*d. Let w be (-2)/3*(-36)/d. Suppose 0 = -5*l - w*n + 166 + 62, 5*l - 3*n = 249. Is l a multiple of 10?
False
Let u(v) = 40*v**2 - 4*v - 1. Is u(-1) a multiple of 43?
True
Let t(r) = -r + 1. Let v be t(-6). Suppose 0 = v*h - 2*h - 525. Is h a multiple of 13?
False
Let i(t) = -t**2 - 11*t - 12. Let u be i(-9). Suppose 4*p + f = 10, 0 = -u*p + 2*p - 4*f + 16. Suppose s = -p*s + 132. Is 11 a factor of s?
True
Let m = -178 + 700. Does 9 divide m?
True
Suppose -u + 16 = 3*u. Suppose -h = -4*r + h + 294, -295 = -u*r + h. Let p = r + -5. Is 34 a factor of p?
False
Let o be (-2)/2 - (2 - -1). Let b(v) = v**3 - 10*v**2 + 11*v - 5. Let j be b(9). Let u = j + o. Is 2 a factor of u?
False
Let z = -295 + 488. Is 11 a factor of z?
False
Let l(f) = 3 - 2*f - 9 - 4 + f**2. Let i = 15 - 9. Is 9 a factor of l(i)?
False
Suppose 2*u = 5*u - 5*y - 299, 550 = 5*u + 2*y. Is u even?
True
Suppose 59 + 247 = 17*u. Is u even?
True
Let t = 1484 + -863. Is 23 a factor of t?
True
Let y(o) = -7*o**2 - 5*o - 5. Let v = 13 - 7. Let z(a) = 6*a**2 + 4*a + 4. Let c(j) = v*z(j) + 5*y(j). Does 9 divide c(5)?
False
Suppose -6*o + 11*o = 4*w + 11, -2*o + 9 = 3*w. Suppose o*z = 3*i + 8*z - 160, 5*i + 3*z - 240 = 0. Is i a multiple of 7?
False
Is 21 a factor of ((-1420)/15)/(12/(-198))?
False
Let d = -1373 - -2276. Is d a multiple of 107?
False
Let k(b) = -4337*b**3 - b**2 - 5*b - 3. Is k(-1) a multiple of 9?
True
Let m(u) = -u. Let b be m(-3). Suppose 0 = -b*x - 2*x - 3*y + 26, 0 = -x - 5*y + 14. Suppose 3*c = 82 - x. Is c a multiple of 19?
False
Let r = 4148 + 551. Is 133 a factor of r?
False
Let b(a) = a + 4. Let n be b(-5). Let k be n/(-3 - 1)*12. Suppose k*f = -3*l + 38 + 13, -5*l - 20 = 0. Is 21 a factor of f?
True
Let o(n) = n**2 + 5*n + 265. Does 11 divide o(0)?
False
Suppose -42*p + 105*p - 3654 = 0. Suppose 15 = -2*t - 19. Let h = p - t. Is h a multiple of 25?
True
Suppose -844 = 3*o - 211. Let q = 66 - o. Does 36 divide q?
False
Let h be (27/(-6))/(3/6). Let p = h - -3. Does 9 divide 24/1 - (3 + p)?
True
Suppose -o + 6*o + 0*o = 0. Suppose b - 2*f - 104 - 113 = o, 701 = 3*b + 4*f. Is b a multiple of 50?
False
Suppose m + 32 = 3*m. Let s = m - 23. Let c = 17 - s. Is 8 a factor of c?
True
Let n be 3 - (1 - 40/4). Let c(u) = -1 + 0*u**2 - u**2 - 3 - n*u. Is 8 a factor of c(-10)?
True
Let u be 58*-1*2/4. Suppose -1050 = 39*c - 54*c. Let t = c + u. Does 26 divide t?
False
Let r(o) = 1 - 5*o**2 + 6*o**2 - 4*o**3 - 8 - 6*o - 5*o**2. Is 4 a factor of r(-2)?
False
Suppose 0 = -8*i + 14*i - 4128. Is 10 a factor of i?
False
Let r = 37 - 34. Suppose -10 = r*f - 7. Is ((-45)/f)/(6/8) a multiple of 15?
True
Let d = 96 + -62. Suppose -5*h + d = -266. Is 27 a factor of h?
False
Suppose 2*d + 10*d - 23520 = 0. Is 40 a factor of d?
True
Let v = 8 + -8. Suppose 5*k - 195 - 455 = v. Is 13 a factor of k?
True
Suppose -8 = -2*g - 2*g. Let d(u) = 15*u + 3. Let j be d(g). Let o = j - 7. Does 18 divide o?
False
Let b(i) = 7*i - 12. Suppose 0*l + 6*l = 24. Suppose k = t + 2, k = -t + 6 + l. Is 30 a factor of b(k)?
True
Let o be (-94)/(-18) + 4/(-18). Let b(r) = -18*r - 1. Let i(f) = -f - 1. Let u(x) = -b(x) + 2*i(x). Is 21 a factor of u(o)?
False
Suppose -5*w = 3 - 18. Suppose 3*u - 5 = b - 7, 3*u = 2*b - 7. Suppose b*y - 20 = w*y. Does 4 divide y?
False
Suppose 7*y = b + 6*y - 1117, -y = b - 1115. Does 6 divide b?
True
Let a = 31 - 15. Let t = -9 - a. Let m = 34 + t. Is 7 a factor of m?
False
Suppose 0 = -6*v + 14*v - 32. Let k be 3/(-1)*(v - -3). Does 16 divide 1*2 + k + 35?
True
Suppose 0 = r - 5*r. Suppose r = 5*n - 23 + 3. Suppose 5*z = -y - n, 2*y + z = 3*z + 40. Is 8 a factor of y?
True
Let y = -255 - -447. Suppose 0 = o + o - y. Let v = o + -48. Is v a multiple of 24?
True
Suppose p - 3*z = -6*z - 3, -4*p + 3*z = -3. Suppose p = -5*k - 30 - 45. Let y(b) = -b**3 - 16*b**2 - 20*b - 19. Is 14 a factor of y(k)?
True
Suppose 2681 = 4*x + 3*w + 496, 3*x = 2*w + 1660. Is x a multiple of 5?
True
Let w be (-4)/26 - 335/(-65). Suppose -5*z = -v + 23, v - w*z - 8 = 5*v. Suppose 24 = l + 4*h, -2*l - 2*h - 48 = -v*l. Does 20 divide l?
True
Does 9 divide 3 + -5 - (-1911 - -1)?
True
Let i be 1/4 - 240/(-64). Suppose -3*z + 76 = 5*x, 112 = z + 2*z - i*x. Does 12 divide z?
False
Let s = -13 - -18. Suppose 0 = -s*l - 2*q - 25, 0 = -4*l + 3*q + 5 - 2. Does 13 divide ((-45)/2)/(l/6)?
False
Let w = -42 + 164. Let q = 173 - w. Does 31 divide q?
False
Let y = -3 - -3. Suppose 0 = 4*t - y*t. Let s(w) = w + 3. Does 2 divide s(t)?
False
Suppose 0 = 55*k - 36*k - 11628. Is 34 a factor of k?
True
Let q = -918 + 2087. Is q a multiple of 23?
False
Let d be 4/18 - 3835/(-117). Let q be (-30)/(-8) - d/44. Suppose 3*w - 2*l = 3*l + 73, 0 = q*w - 3*l - 75. Is 11 a factor of w?
False
Suppose -3*n - 14 = -0*n - 5*i, -2*n - i - 5 = 0. Let r = n + 39. Is 12 a factor of r?
True
Let v = -64 - -69. Suppose -v*q = 5*i - 38 - 22, 2*q - 51 = -5*i. Is 3 a factor of i?
True
Suppose 3*a = 5*s + 644, -2*a + 4*s - 8*s + 422 = 0. Let g = a - 113. Suppose -g = -2*h + 44. Is 22 a factor of h?
