m + 31997, -2*m + q + 16006 = -q. Suppose 17*f + 26*f = m. Is f a multiple of 6?
True
Let o = 244 - 233. Is 11 a factor of o*1*(-22 + 32)?
True
Suppose -4*h = 2*l - 8, -2*l - 2*h = -25 + 19. Suppose 1045 + 1003 = l*p - j, -5*p + j + 5117 = 0. Is 16 a factor of p?
False
Let x be -2 + 24/15 + 48/(-5). Is 30 a factor of x + 444 + (-1)/((-1)/2)?
False
Suppose f = 3*m - 19397, -19*m - 153*f = -156*f - 122841. Does 13 divide m?
False
Suppose 2*n + 5*j = -394, -2*j + 507 = -4*n - 257. Is (-40)/6*n/40 a multiple of 6?
False
Let n(r) = 2497*r**2 - 1902*r - 10. Is 25 a factor of n(-5)?
True
Let w be -751 - 2/((-8)/(-28)). Let m = w - -1087. Does 12 divide m?
False
Let t = -93 + 98. Does 32 divide 3/t*-8*480/(-9)?
True
Let v(t) = -6*t**2 - 6. Let d be v(6). Let y be d/57 - 8/76. Is 8 a factor of 6*18 - y/(-1)?
True
Is 16858/(-5)*1395/(-558) a multiple of 4?
False
Suppose -11*q + 18172 = 924. Suppose 2*h - 4*h = -f - q, 0 = -4*h - 5*f + 3150. Does 15 divide h?
False
Let b = 7962 + -4167. Is 12 a factor of b?
False
Let u(c) be the second derivative of c**3 + 59*c**2/2 + 27*c. Let l(o) = -11*o - 116. Let i(r) = -3*l(r) - 5*u(r). Does 6 divide i(-4)?
False
Suppose 2*u - 11930 = -4*j, -2*j + 29825 = 5*u + 2*j. Is u a multiple of 81?
False
Let h be ((-19462)/(-12) - -1) + (-70)/84. Suppose -288*g = -286*g - h. Does 22 divide g?
False
Does 3 divide 3 + (-2216)/(-4) - 7?
False
Does 19 divide (-23 + 28)*61764/30?
False
Suppose 0 = -944*l + 993*l - 1286691. Is 92 a factor of l?
False
Let a(p) = 37*p - 30. Let b be a(10). Suppose -3*l - 749 = d, -2*l - 162 = -2*d + b. Let y = -122 - l. Does 16 divide y?
True
Let a(h) = h**2 - 23*h + 38. Let z be a(22). Suppose 4*u + z*u = 5100. Does 17 divide u?
True
Suppose -12*k + 11549 + 160279 = 0. Is k a multiple of 43?
True
Suppose 3*z - z = -36. Suppose -709*w = -j - 711*w + 12, 3*w + 15 = 4*j. Let b = j - z. Is 3 a factor of b?
True
Let q be (6/(-5))/((-16)/240). Let l be 12/q - (1 + (-14)/6). Suppose -5*r + 371 = -2*u, -146 = 3*r - 5*r + l*u. Does 25 divide r?
True
Suppose 2*n - 11 = d, 0 = n + 5*d + 16 + 6. Suppose -37 = -i - n*l, i - 4*l = -i + 124. Suppose i - 32 = 2*o. Does 4 divide o?
False
Let j be -3 + (-5)/((-10)/22). Suppose -j*f - 2 = -9*f. Suppose 0 = 2*u + 6*p - 2*p - 40, 84 = 5*u + f*p. Is 8 a factor of u?
True
Let q = 33 - 18. Suppose a - q - 1 = 0. Does 5 divide 92/a*12/3?
False
Suppose 2852236 + 2846168 = 171*o. Is 151 a factor of o?
False
Let k(x) = 156*x - 44. Let g be k(-5). Let t = 1535 + g. Does 79 divide t?
True
Let t be (-4 + (-48)/(-15))*5/2. Let n(d) = 96*d**2 + 17*d + 32. Is n(t) a multiple of 13?
False
Let b(n) = 2*n**2 - 27*n - 11. Let j be b(15). Let o be -1 - -78 - (-10)/5. Suppose 5*a - o = 4*m, -2*a - m + j - 5 = 0. Is a a multiple of 3?
True
Suppose 0 = 5*n - 6*z - 14649, -4*n + 10202 = -z - 1502. Is 39 a factor of n?
True
Let h(p) = p**3 + p**2 + 7*p - 4. Let a(s) = 2*s**3 - s**2 + 6*s - 7. Let c(f) = 2*a(f) - 3*h(f). Let l(z) = z + 3. Let q be l(4). Is 7 a factor of c(q)?
False
Suppose 4*q + 10 = -s - q, s - 3*q = -42. Let f be ((-20)/s)/(((-2)/27)/(-1)). Suppose 1421 = f*n + 170. Is 7 a factor of n?
False
Let k(o) = -o**3 + 4*o**2 + 3*o - 11. Let b be k(4). Does 3 divide (9 + -207)*b/(-3)?
True
Let w be -3 - 1 - 9/(-9). Let q(p) = -1182*p**2 - 3*p + 4. Let y be q(w). Is 13 a factor of y/(-68) - -2*1/(-8)?
True
Suppose -23597 = -m - 5*t, 2*t + 94322 = 517*m - 513*m. Is 10 a factor of m?
False
Let a = -117 - -17. Let s be 2/(-9) - 1900/36. Let t = s - a. Is t a multiple of 7?
False
Let k(v) = 3*v**2 - 10*v - 7. Let b be (-51)/6 - (-21)/14. Let j be k(b). Is 24/32*32/18*j a multiple of 28?
True
Suppose -126 = -m + 61. Let s = m - 130. Is s a multiple of 54?
False
Suppose 4*b + 8 = v + 2*b, 3*b + 12 = -5*v. Suppose v = -4*r - 2*t + t - 15, -t - 7 = 2*r. Does 13 divide r/26 + (-680)/(-26)?
True
Let z = 9148 + -4120. Does 15 divide z?
False
Suppose 3*x + 614 = -m - 282, 5*m = -4*x - 1180. Let h(u) = 187*u**3. Let t be h(-1). Let z = t - x. Does 8 divide z?
False
Does 118 divide 2 + 147/(-105) + -2 + 68447/5?
True
Let f(r) = -3234*r - 5700. Is 52 a factor of f(-10)?
False
Let v = 1948 + -1617. Let j be (-13)/(-3) + (-1)/3. Suppose -u + 135 = u + c, v = 5*u - j*c. Is 33 a factor of u?
False
Let l be (-264)/(-16)*(-4)/18*-9. Is 7 a factor of (3 - (-708)/16)*616/l?
True
Suppose -i + 139 = 5*c, 144 = 5*c - 0*i - 4*i. Let x(s) = 7*s**3 + 8*s**2 - 1. Let z be x(-1). Suppose z = -k - 13 + c. Is k a multiple of 5?
True
Let t be -1 + (6 - 5) + 5. Suppose t*x = -17*x + 13948. Is x a multiple of 9?
False
Is 12 a factor of (-13 - (-258)/18)*1329?
False
Let a(g) = 11*g**2 - 67*g + 198. Does 137 divide a(-33)?
False
Let i = -6700 + 4549. Let u = -1284 - i. Is u a multiple of 25?
False
Suppose -16*v = -19*v - 11*v + 24374. Does 8 divide v?
False
Suppose k - 13 = -6. Suppose 2*q - 107 = -m, -q + 2*m + k = -59. Let g = q + -37. Is g a multiple of 3?
False
Let j(c) = -c**3 + 14*c**2 + 3*c - 40. Let t be j(14). Suppose -4*h + 8*h + 5*m = 2520, -1890 = -3*h - t*m. Does 13 divide h?
False
Suppose 31*c = 6*c - 23450. Let i = -594 - c. Is i a multiple of 43?
True
Let z(p) = 26*p + 27. Let h(d) = -261*d - 273. Let a(f) = -2*h(f) - 21*z(f). Is a(-15) a multiple of 27?
False
Suppose -32*a = 7*a - 25740. Is (15 - 12)/(9/a) a multiple of 22?
True
Let r = -1 - -1. Suppose -2*l - 279 = -m, 0 = l - r*l. Does 9 divide m?
True
Suppose -3*p + 0*p = -3*b + 12, 4*p = -b + 4. Suppose n + 2*s + 11 - 36 = 0, 4*s + 12 = p. Is 3 a factor of n?
False
Let w be -3 + (2 + 2 + 2 - 2). Suppose d = 3*z - 2 + w, 4*d - 26 = 2*z. Suppose 4*p + 2*a = -a + 50, -4*a = d. Is p a multiple of 4?
False
Let s = 134 + -132. Suppose -s*f + 14*f - 432 = 0. Does 5 divide f?
False
Suppose i + 4*w - 2425 = 0, 3*w - 345 + 5184 = 2*i. Suppose 17*t - 3*b = 12*t + i, 2*t = -2*b + 962. Does 23 divide t?
True
Let p(d) = 101*d + 2872. Is 8 a factor of p(7)?
False
Suppose -9 = 3*r, 5*d - 343 = 4*r + 69. Let m = d + -54. Suppose -u - m = p - 85, 5*u + 97 = 2*p. Is p a multiple of 14?
True
Let d(y) = y**3 + 30*y**2 - 43*y + 46. Let l = -248 - -217. Does 19 divide d(l)?
True
Suppose -113671 = -59*z - 28*z - 31021. Is 38 a factor of z?
True
Let q = -327 - -329. Is (83/q)/(11/22) a multiple of 5?
False
Let b(w) be the first derivative of 10/3*w**3 - 1/4*w**4 - 34 + 14*w**2 + w. Does 10 divide b(12)?
False
Let t(c) be the second derivative of 7*c**4/4 + 13*c**3/6 + 3*c**2 + 43*c. Does 4 divide t(-3)?
True
Let n(r) = -147 + 147 + 24*r**3 + r. Let g be n(2). Suppose -5*i = 2*q - g, -4*i + 198 = 3*q + 40. Is i a multiple of 10?
False
Suppose -153999 - 194113 = -49*q + 45505. Does 37 divide q?
False
Let m = 19595 + -7944. Is m a multiple of 19?
False
Let j(s) = 2*s**3 + 2*s**2 - 4*s - 3. Let n be j(4). Let z = -139 + n. Is z even?
True
Let y(u) = -8*u**3 + 59*u**2 - 115*u + 15. Let t(b) = 5*b**3 - 29*b**2 + 58*b - 7. Let s(x) = -5*t(x) - 3*y(x). Is 36 a factor of s(-34)?
True
Let w be (-3)/(-12)*0 - -4. Suppose 4*a - w*i = 516, -4*i - 640 = 4*a - 9*a. Is a a multiple of 4?
True
Suppose -8*c + 10*c + 4*d = 40296, c + 5*d = 20136. Does 8 divide c?
False
Is 36/21 + 25918/14 a multiple of 33?
False
Let y = -5094 - -18579. Is 31 a factor of y?
True
Is 294426/231*84/18 a multiple of 93?
False
Suppose 11*k + 18*k + 58 = 0. Is 7 a factor of k*32*(63/(-14) + 4)?
False
Let v = 9812 - -2501. Is v a multiple of 5?
False
Suppose 0 = -2*i + 3*x + 1710, -3*i + 2291 = -x - 281. Does 4 divide i?
False
Suppose 0 = -5*t - 5*h + 1630 - 250, 0 = -3*t - 4*h + 823. Let o = -169 + t. Is 56 a factor of o?
True
Is (-1198036)/(-112) + 2/8 a multiple of 19?
True
Let x = 14885 - 13667. Is x a multiple of 23?
False
Suppose -2*a = 4*h - 24636 - 24106, -2*a + 4*h + 48726 = 0. Is 52 a factor of a?
False
Let o(p) = -p**2 - 13*p + 21. Let w be o(-14). Suppose 5*y = 5*u + w*y - 111, -99 = -4*u - 5*y. Is u a multiple of 17?
False
Let u = -67 - -70. Let b(j) = 18*j - 8*j - u*j**2 - 8 + j**3 - 7*j. Is 10 a factor of b(4)?
True
Let a(f) = f**2 - 9*f + 12. Let r(u) = -u**3 + u**2 - 4*u. Let y be r(-3). Let n = -32 + y. Is 12 a factor of a(n)?
False
Let g be (6/(-10))/(-1 - 24/(-30)). Suppose 4*h + 7 = 3*r - 0, 4 = 2*r - g*h. Suppose -r*t + 531 = -159. Does 19 divide t?
False
Suppose -136*p = -5*l - 134*p + 4974