*2 + 6*m + 12. Does 18 divide s(11)?
False
Let m = 1648 + -1141. Is m a multiple of 7?
False
Is 0*((3 - 0) + -4) - -1204 a multiple of 28?
True
Suppose 20*i - 46598 = -26*i. Is i a multiple of 19?
False
Let r = 53 + -53. Suppose -2*c + 19 + 247 = r. Does 25 divide c?
False
Let t be 10/45 - 600/27. Let m = t + 10. Let g = 38 + m. Does 13 divide g?
True
Let g = 0 + 6. Suppose -4*p - g*r + 7*r + 251 = 0, 3*p - 180 = -2*r. Is 31 a factor of p?
True
Suppose -4*j + 16 = 4. Suppose 0*x - 15 = -j*x. Suppose -2*m + 7*m = -x*q + 35, 3*m - 13 = q. Is 2 a factor of q?
True
Suppose -12*u + 5*s = -11*u - 2004, 2*s = u - 1998. Does 17 divide u?
False
Let p(k) = k**3 + 6*k**2. Let j be p(-6). Suppose -2*m - 4*z + 236 = -j*m, -88 = -m + 4*z. Is 12 a factor of m?
True
Let x(j) = -345*j + 11. Let o be x(-9). Is 32/240 - o/(-30) a multiple of 13?
True
Let w(t) = 4*t**2 + 44*t - 13. Let b(z) = z**2 + z + 1. Let j(g) = -5*b(g) + w(g). Is 34 a factor of j(12)?
True
Suppose -9*z + 40 = -z. Suppose 18 = i - z*o + 6, -4*o - 18 = -2*i. Is i a multiple of 4?
False
Let y(d) = d**3 + 19*d**2 + d + 23. Let v be y(-19). Suppose -5*t + 111 = 3*u - 23, -t + 37 = v*u. Is t a multiple of 3?
False
Suppose -n - 5*o = -1129, n + 3*o + 5757 = 6*n. Is n a multiple of 16?
False
Let v = 3323 - 1952. Is v a multiple of 9?
False
Suppose -4*a + 1508 = -1492. Suppose -4*k + a = 6*k. Does 25 divide k?
True
Let x = 81 + -74. Suppose x*o = 10*o - 237. Is 35 a factor of o?
False
Let a = 1543 - 859. Is 36 a factor of a?
True
Is 1/(8/8208 - 0) a multiple of 18?
True
Let f be (84/21)/(0 - -1). Suppose 4*k - 359 = -z, 0 = k + f*z - 76 - 10. Does 12 divide k?
False
Let t = 220 + -320. Does 32 divide (5/(t/(-845)))/((-3)/(-12))?
False
Suppose -2*j + 3 + 3 = 0. Suppose j*n + n = 12. Suppose 0 = -b - n*b + 2*f + 86, 2*b - 2*f - 46 = 0. Is b a multiple of 9?
False
Is 8 a factor of -5 + -5 + 3 - -30?
False
Does 3 divide (-18)/(-5 - -4) + -6?
True
Suppose 0 = 5*g - 2*g - 6. Suppose -2*f - 6 = -16, -f = -g*o + 31. Is 5 a factor of o?
False
Let p = 36 + -68. Is (-218)/(-9) + (p/(-36))/(-4) a multiple of 4?
True
Suppose 0 = w + 4*n - 5, -4*w - 7 = -3*w - 2*n. Let x be w/(265/(-125) + 2). Let c = 65 - x. Does 33 divide c?
False
Let j = 19 + -11. Suppose -4*p - j = 4*l, -5*l - 20 = p + 2. Suppose 9 = x - 3*s, s + p*s + 34 = 5*x. Does 4 divide x?
False
Is (-1 - (-170)/14)/((-42)/(-5586)) a multiple of 13?
True
Suppose 0 = 2*o - 7*o + 3*u + 348, -5*u = 5. Suppose -o = -2*j + 97. Does 16 divide j?
False
Let k be (-4 - 5)*(-1)/3. Suppose f - 5*m = 198, -k*f = -5*m - 425 - 169. Is 22 a factor of f?
True
Let c(t) = -t - 2*t + 8 - 9 + 4*t. Let d(n) = 3*n - 2. Let m(w) = -2*c(w) + 2*d(w). Is m(2) a multiple of 3?
True
Suppose 9*c = c + 1664. Is 13 a factor of c?
True
Let j = -443 + 130. Let u = 71 + j. Let p = 346 + u. Does 30 divide p?
False
Let u(h) be the second derivative of h**4/12 + 3*h**3/2 - 12*h**2 + 23*h. Is 28 a factor of u(-17)?
True
Let v(k) = k**2 - 6*k + 3. Let i be v(6). Suppose p - i*c - 78 = 2*c, 0 = 4*p - 5*c - 282. Does 15 divide p?
False
Let t = -179 + 319. Let o be -3 + (-200)/(-28) - 4/28. Suppose t = o*f - 8. Is f a multiple of 7?
False
Let d = -1279 + 3215. Is 28 a factor of 3*(d/78 - (-12)/(-78))?
False
Let t = 111 + -73. Suppose t + 14 = 4*d. Suppose -2*x = -d - 11. Is 4 a factor of x?
True
Let v = 1806 + -1065. Is 57 a factor of v?
True
Suppose 0 = -a - 5*x - 5 + 33, 0 = -5*a - 3*x + 96. Let p be (-4)/(-6) + 6/a. Let w(b) = 20*b**3 + 2*b - 1. Is w(p) a multiple of 7?
True
Let a(o) = 5*o**3 - 7*o**2 + 5*o + 10. Does 17 divide a(4)?
True
Suppose 1911 = v - 3*w, -81*v + 82*v - 2*w - 1909 = 0. Is 15 a factor of v?
True
Suppose -14*u + 11*u = -6. Suppose -10 - u = -3*l. Suppose -12 = -r - 2*p - 2, -l*r = -2*p - 10. Is r a multiple of 4?
True
Let i = -13 - -7. Let m(h) = 8 - 23 + 2 + 11 - 8*h. Is m(i) a multiple of 19?
False
Let p be 4 + (1 + -1 - -5). Let r(h) = -h**3 + 9*h**2 + 5*h + 9. Is r(p) even?
True
Suppose 2*m - 2 - 4 = 0, -3*m = -2*w + 479. Is 2 a factor of w?
True
Suppose 5*k = -10 + 30. Suppose 3*t + t - 509 = -5*y, t = k*y - 424. Is 7 a factor of y?
True
Let j = 29 - 21. Let s(i) = i**2 - 8*i + 12. Let p be s(j). Suppose -4*v + p = -0*v. Is 3 a factor of v?
True
Let s(y) = -y**2 + 7*y - 5. Let q be s(5). Let f = 23 - q. Does 3 divide 2/(1 - 15/f)?
True
Let n = 40 - 38. Suppose w = -n*q + 60, 0*q + 3*q - 5*w = 77. Suppose -q = -y - 9. Is y a multiple of 12?
False
Suppose -3*q - 2*y + 5*y + 4269 = 0, -3*q + 4259 = -5*y. Does 28 divide q?
True
Let s be (-2 - 40)*8/(-12). Suppose b = -3*r - b - s, 3*r + 4*b + 20 = 0. Let l = r + 54. Does 9 divide l?
False
Let c(t) = -11*t + 18. Suppose 0 = 4*r + 7 + 17. Does 28 divide c(r)?
True
Let n(q) = -39*q**3 + 6*q**2 + 5*q + 3. Is 27 a factor of n(-2)?
False
Suppose 4*y = -y - 30. Let s be 34/(-6) - 4/y. Let a(b) = b**3 + 7*b**2 + 6*b + 2. Is a(s) a multiple of 11?
True
Is 2 a factor of (1*(50 + -1))/(16 - 15)?
False
Suppose 29 = 5*f + 4, 2*b = 4*f + 332. Is 44 a factor of b?
True
Let a be (3*1)/(-8 + 7). Is 4 a factor of 6/a - (-23 + -3)?
True
Suppose 3*p - 195 - 27 = -3*n, -2*p + 130 = -4*n. Suppose 0 = 3*z + 3*m - p + 17, 3*z - 42 = m. Is z a multiple of 3?
True
Suppose 16*y = 14*y + 4. Suppose -y*b - 3*b + 40 = 0. Is 4 a factor of b?
True
Let x(r) = -93*r - 62. Is 13 a factor of x(-2)?
False
Suppose 2*a = 4*a - 88. Suppose 0*w - 4*w + a = 0. Is w a multiple of 5?
False
Let s = -14 + 29. Suppose 4*p + h = 596, 327 - s = 2*p - 3*h. Suppose 0 = v + 4*v + 2*b - 156, 5*b = -5*v + p. Does 16 divide v?
True
Suppose 6*o = 7*o - 9. Suppose -168 = -o*d + 5*d. Is d a multiple of 22?
False
Suppose 12 = 3*a - 5*a + 4*u, -u = -5*a + 6. Suppose -5*w - 2 = 2*p - 6, -5*p = 2*w - 10. Suppose -a*s + v + 141 = w, s - 234 = -2*s - 3*v. Does 20 divide s?
False
Let k(n) be the first derivative of 3*n**2/2 - 18*n + 2. Let d be k(9). Suppose -5*p + d = -2*i + 124, p = -i + 61. Is i a multiple of 20?
True
Let d(v) be the second derivative of v - 1/12*v**4 + 0*v**3 + 0 - 4*v**5 + 0*v**2. Is d(-1) a multiple of 26?
False
Let i = 35 - -14. Let b = 90 - i. Suppose 42 = 2*f + a, -2*f = -4*a - 11 - b. Does 11 divide f?
True
Let v = 36 + -35. Is 11 a factor of (1/(-2))/(2/(-464))*v?
False
Let k be 13 + (6 - 8/4). Let c = 20 - k. Suppose -16 = -2*p + g, -2*p + 36 = 2*p - c*g. Is p even?
True
Suppose 4*m + 4*s = 976, -5*m = -13*s + 9*s - 1184. Does 10 divide m?
True
Let p = -20 + 20. Suppose -2*x + 4*i + 100 + 100 = p, 0 = -3*i - 15. Does 9 divide x?
True
Let r be 6/(-3 - (1072/(-178) + 3)). Suppose -r = -4*b - u, -213 = -4*b + b - 5*u. Is b a multiple of 24?
False
Suppose 3*d - 403 = -4*c + 4567, -c + d + 1246 = 0. Is 16 a factor of c?
False
Let v be -97 + (2 - -2)/(-4). Is (-42)/v + 669/7 a multiple of 24?
True
Suppose 4*b + 4 = 3*b + 2*d, 0 = -3*b - 4*d + 28. Suppose -4*o + b*p + 127 + 241 = 0, 3*p = o - 90. Is o a multiple of 31?
True
Let b(j) = -j**2 + j - 4. Let g be b(0). Let s = -16 - -17. Is -13*s*(g + 3) a multiple of 4?
False
Let i(u) = -2 - 4*u + 6 + 272*u**3 - 7*u**2 - 274*u**3. Suppose -2*r - 11 = -3. Is i(r) a multiple of 12?
True
Suppose 5*z - 4092 = -7*z. Does 11 divide z?
True
Suppose 3*o - 36*o = -35772. Does 26 divide o?
False
Let t(a) be the third derivative of -a**6/120 - a**4/24 - a**3/2 - 5*a**2. Let o be t(-4). Suppose 0*y = -4*l - y + o, 0 = 3*l + 4*y - 65. Does 12 divide l?
False
Suppose -5*o = -o - 4476. Does 7 divide o?
False
Let r(p) = -29*p - 131. Is r(-7) a multiple of 2?
True
Suppose 4*m - 23 + 3 = 0, 4*m = 4*i + 4. Suppose 0 = -i*a + a + 180. Let x = -36 + a. Does 12 divide x?
True
Suppose 0 = -9*f + 171 + 1098. Does 10 divide f?
False
Suppose 0 = 33*s - 34*s + 108. Does 12 divide s?
True
Suppose -3*u = -0*u. Suppose 4*j - 16 = -5*n, u = -2*j + j + 2*n + 4. Suppose h = -5*r + 27, r + 0*r + j*h = -6. Does 3 divide r?
True
Let s(r) = 18*r + 7. Let d(y) = 35*y + 15. Let i(z) = -3*d(z) + 5*s(z). Let f be (-30)/(-4)*(-4)/6. Is 21 a factor of i(f)?
False
Let u be (-18)/8*(-80)/6. Let y be (72/(-10))/((-9)/u). Suppose -33 = -3*h + 5*o, -5*h + y + 3 = o. Is 3 a factor of h?
True
Suppose r + 0*r - 460 = -5*o, -5*o + 470 = 3*r. Suppose o*n + 85 = 96*n. Does 3 divide n?
False
Suppose -7*x + 20 = -3*x. Suppose 7 = b - x. Let s = 16 - b. Is s even?
Tr