u = 5*m + 6. Suppose m = -x - 5*r + 2, 0 = -x - r - d + 4. Does 2 divide x?
True
Let s = -2 - -3. Is 44/8 + s/2 a multiple of 3?
True
Let i be 3*-2*3/18. Let n = -2 - i. Let m = n - -11. Is m a multiple of 10?
True
Suppose -35 = 5*p + 4*z, -15 = 3*p - 3*z + 6. Does 12 divide (-760)/(-35) + (-2)/p?
False
Suppose 5*o = y - 18, 0*o = 2*y - 5*o - 31. Does 13 divide y?
True
Is 10 + 8 - (1 - -2) a multiple of 5?
True
Let a(q) = 65*q + 1. Suppose -b - 3 = -3*o - 3*b, b = 0. Is a(o) a multiple of 17?
False
Let c = 31 - 17. Suppose 5*k = -0*k + 430. Suppose 0 = -5*a + k + c. Does 7 divide a?
False
Let x(t) be the third derivative of 1/2*t**3 + 7/24*t**4 + 0*t + 1/30*t**5 + 0 + 3*t**2. Is 12 a factor of x(-6)?
False
Let c(b) = 3*b**2 + 7*b - 12. Does 17 divide c(4)?
False
Is 17 a factor of (-41)/((3 - 3) + -1)?
False
Suppose 2*m = -4*x + 120, -3*m + 4*m - 3*x = 60. Is m a multiple of 12?
True
Suppose 0 = -z + 56 - 0. Does 18 divide z?
False
Let l = 120 - 65. Suppose 5*s + 2*j - 50 = 15, -4*s - j = -l. Does 6 divide s?
False
Suppose -40 = -3*y - y. Does 4 divide y?
False
Suppose 4*g + 2*j = 30, 3*j = 4*g - 1 - 4. Suppose -84 = -8*t + g*t. Is 14 a factor of t?
True
Let t(y) = -4*y - 12. Let b(f) = 3*f + 12. Let h(p) = 3*b(p) + 4*t(p). Does 12 divide h(-10)?
False
Let m(i) = 15*i - 30. Is m(14) a multiple of 18?
True
Let a be -18*(3 - 9/2). Let c = 42 - a. Is 4 a factor of c?
False
Does 16 divide (-153)/(-15)*(7 - 2)?
False
Let m = -183 - -295. Is 28 a factor of m?
True
Suppose -4*j + 442 = -94. Let u(d) = d**2 - d + 5. Let t be u(0). Suppose -2 = -c, -t*n + j = 5*c - 71. Is n a multiple of 13?
True
Let r = -2 + -4. Is 16 a factor of ((-34)/r)/((-3)/(-27))?
False
Let x(m) = 2*m + 2. Let k be x(-2). Let u be 1 - (k*13 + 2). Does 9 divide -2 + -1 + u - 0?
False
Let b(t) = -2*t - 1. Let z be b(-2). Suppose -2*y + 38 = 2*m, y - 40 = -y - z*m. Let n = y + -7. Is 5 a factor of n?
True
Suppose 3*s - 2*j = j + 243, -5*s = j - 417. Suppose 43 = 2*f - 3*v, -v - 2*v = -4*f + s. Is f a multiple of 5?
True
Let k be ((-6)/(-10))/(1/5). Is 23 a factor of (44/k)/(2/6)?
False
Let q(j) = 3*j**2 - 11*j + 6. Let u(v) = 12*v + 2*v + 50*v - 10*v - 16*v**2 - 29. Let b(f) = -11*q(f) - 2*u(f). Does 9 divide b(6)?
False
Let g(z) = z**2 + 5*z + 2. Let r be g(-5). Suppose -q = -r, -b - 3*q + 4*q = -20. Does 11 divide b?
True
Suppose -b - 141 = -4*n, -2*b - 9 = 1. Does 17 divide n?
True
Let j = 6 - -15. Is j a multiple of 4?
False
Suppose 268 = -5*r + 9*r. Is 28 a factor of r?
False
Let x = -6 - -12. Suppose -x*u = -4*u - 8. Is u a multiple of 2?
True
Suppose 2*a = 2*i - 14, -5*i + 3*a + 17 = 7*a. Let d(q) = q**3 - 5*q**2 + 2*q - 6. Let p be d(i). Suppose 5*u - 13 = n, -7*n + 2*n + 19 = -p*u. Does 7 divide n?
True
Suppose 0 = -3*x - f + 317, 0 = 2*x - f - 237 + 24. Suppose 3*m - x = 11. Is m a multiple of 12?
False
Suppose -8*z - 280 = -13*z. Does 8 divide z?
True
Let m be (-28)/21 + 20/6. Is m*3*(-68)/(-24) a multiple of 5?
False
Let h(r) = r**3 - 11*r**2 + 18*r - 9. Let f be h(9). Let p = 89 + f. Is p a multiple of 20?
True
Let d = -740 - 706. Is 4/22 - d/33 a multiple of 15?
False
Let f = -29 + 91. Does 12 divide f?
False
Suppose -3*a + 3*y = -0*y - 441, 3*y = 0. Suppose -i - 2*i = -4*f - a, -147 = -3*i - 5*f. Let p = -32 + i. Is 7 a factor of p?
False
Suppose 0 = -2*x - 2*x + 12. Suppose 3*h = v + 20, -h - 4*v + 1 = x. Is 3 a factor of h?
True
Let d(g) = -g**2 - g + 4 - 5 - 2. Let m be d(-4). Let s = -4 - m. Is s a multiple of 4?
False
Suppose 0 = 3*r + 2*r + 45. Let x be (-6)/4*(-228)/r. Let b = -17 - x. Is b a multiple of 15?
False
Suppose -5*g + 4*z - 7 = -0, 10 = -2*g + 4*z. Let c(b) = 16*b**3 - 2*b + 1. Is c(g) a multiple of 15?
True
Let p = 10 - 8. Suppose -6 + 2 = -p*j. Is j + (1 - 1) + 13 a multiple of 15?
True
Suppose q - 5*q + 4*w - 48 = 0, 3*w = -q + 8. Let r = q - -47. Is r a multiple of 14?
False
Let z = -3 - -21. Suppose r + 11 = 3*d, -d - 7 = -2*r - r. Suppose -j = -r*j + z. Is 3 a factor of j?
True
Suppose 3*j - 7 = 4*j. Let z = 35 + j. Suppose 43 = 6*y - 3*y + c, -z = -3*y - 4*c. Does 16 divide y?
True
Let b(z) = 6*z**3 - z**2 + 2*z. Let u(y) = -5*y**3 - y. Let l(j) = 2*b(j) + 3*u(j). Let k be l(1). Is (-1)/((12/9)/k) even?
False
Let k = -3 - -5. Suppose -3*q + 101 = 6*r - k*r, -3*q = -4*r - 61. Is q a multiple of 9?
True
Let i be ((2 - 3) + 70)/(-1). Let f = -41 - i. Is 11 a factor of f?
False
Let w(b) = b**2 + 7*b + 2. Let x be w(-7). Suppose -5*v + x*q + 400 = 0, -3*v + 0*q = -5*q - 221. Is 22 a factor of v?
False
Suppose c = -f - 3*c + 17, 12 = 3*f - c. Let o(k) be the third derivative of -k**5/60 + 5*k**4/24 + 2*k**3/3 - k**2. Is 4 a factor of o(f)?
True
Let w be (6 + -3)/((-2)/(-46)). Suppose 5 = -m, 0 = -2*y - 2*y + m + w. Does 8 divide y?
True
Let l(q) = q**2 - 7*q - 8. Let o be l(8). Suppose -2*m = 4*s - m - 13, s + 3*m - 17 = o. Suppose s*b + 5*v = -17, 17 = 3*b - v - 0*v. Is b a multiple of 2?
True
Let o be (2/6)/((-6)/(-54)). Suppose -35 = -2*c + f, 2*f - 66 = o*c - 7*c. Is c a multiple of 9?
False
Suppose 4*p - 88 = 132. Does 12 divide p?
False
Let n(u) = -u**3 - 11*u**2 + 11*u - 4. Let k be n(-12). Suppose 5*z - 19 = t - k, z + 4*t = 19. Suppose 10 = 3*r - 2*p - 29, -4*p = -r + z. Does 6 divide r?
False
Let n be (20/16)/(2/16). Does 13 divide 2/n - (-129)/5?
True
Let n be (-8)/(-3) - 2/(-6). Suppose -n*i + 4 = -8. Suppose z - 2*c = 22, -40 = -2*z - 3*z - i*c. Is 12 a factor of z?
True
Let b(j) = -j**3 + 5*j**2 - 3*j + 5. Let g be b(4). Let a = 0 + g. Is 9 a factor of a?
True
Let l be ((-15)/5)/(1/(-9)). Let m be 1*l + (-2)/(-1). Let g = m + -14. Does 11 divide g?
False
Is 27 a factor of 1490/6 + -5 - (-2)/(-6)?
True
Does 19 divide ((-2)/3)/((-18)/513)?
True
Let b(a) = 14*a. Let f be b(-1). Let z be (-4)/f - (-104)/28. Suppose -z*m + 28 = -4. Does 4 divide m?
True
Let q(t) = t**2 + 5*t + 5. Let h be q(-5). Suppose 4*c + 4 = 0, 3*p - 153 = p - 3*c. Does 12 divide -3*h/((-45)/p)?
False
Let h be (6/12)/(2/28). Suppose h = 4*s - 9. Is s a multiple of 4?
True
Suppose 2*k + 2*k - 76 = 0. Does 8 divide k?
False
Let d = 321 + -213. Is 18 a factor of d?
True
Let o(v) be the third derivative of v**5/30 + 5*v**4/24 + v**3/3 + 3*v**2. Does 2 divide o(-3)?
False
Suppose 0 = -3*i - 15, -5*k - 2*i = -4*i - 25. Suppose -4*l + k*l = -58. Is 24 a factor of l?
False
Let g(r) = -6*r**2 - r - 20. Let k(u) = -2*u**2 - 7. Let q(f) = -6*g(f) + 17*k(f). Is q(-5) a multiple of 21?
True
Is (-62*(0 - -1) + 1)*-1 a multiple of 14?
False
Let u(x) = 22*x**2 - 2*x + 18. Is 32 a factor of u(3)?
False
Suppose 0 = -6*p + 3*p - 303. Is 2/(p/(-33) + -3) a multiple of 12?
False
Suppose -5*k + 77 = -g, g = -5*k - 3*g + 67. Suppose 5*n = -k, -3*c = -7*c - n + 261. Is c a multiple of 33?
True
Suppose -4*d - 3 = 13. Does 11 divide 2/((1 + d)/(-21))?
False
Let m(y) = -y**3 - 7*y**2 + 8*y - 6. Let s be m(-8). Does 16 divide (-4 + 2)*(-2 + s)?
True
Let s(u) = 15*u**2 - u. Suppose -3*k = -4*g - 5*k + 12, 3*g = 4*k - 2. Let q be 0 - (g + 3/(-1)). Is s(q) a multiple of 7?
True
Suppose -a + o = -27 - 15, -2*o + 231 = 5*a. Is 15 a factor of a?
True
Suppose -2*x + 14 = -0*x. Suppose -3*z - 16 = -x*z. Suppose -2*v + 85 = 2*v + 3*a, 55 = 3*v + z*a. Is v a multiple of 11?
False
Let j = 6 + -4. Suppose 0 = j*i + 10, 3*m - 30 - 3 = 3*i. Is m a multiple of 3?
True
Let y be 3 + 0 - 8*1. Let z(a) = 6*a - 3 - 8*a**2 + a**3 + 8*a**2 + 7*a**2. Does 9 divide z(y)?
False
Let i(q) = q**3 - 5*q**2 + 7*q - 5. Let h be i(5). Let b(s) = 2*s - 13. Let n be b(9). Suppose -5*v = -4*y - h, 0*y = v - 3*y + n. Is 10 a factor of v?
True
Suppose -i = -10 - 0. Suppose 0 = -z + 13 + i. Suppose 4*n - 3*n - z = 0. Is 8 a factor of n?
False
Let k = -6 - -14. Suppose -2*v + k + 0 = 0. Is 10 a factor of (-1 + 16)/(3/v)?
True
Let h(r) = r**2 - 3*r + 6. Let i be -11 - 0 - (-4 - -3). Let z be i/4*(-8)/5. Does 6 divide h(z)?
False
Suppose -5*v + 27 = -243. Is 6 a factor of v?
True
Let s(c) = 5*c**2 + 9*c - 11. Let l(b) = -3*b**2 - 5*b + 6. Let n(a) = -7*l(a) - 4*s(a). Is n(3) a multiple of 3?
False
Let c = -4 - -6. Suppose 0 = -2*m + 5*p + 24 + 1, 77 = 5*m + c*p. Is 4 a factor of m?
False
Suppose -38 = -5*k + 2. Does 2 divide k?
True
Let a = 116 - 53. Does 21 divide a?
True
Let f be 2*3/(-12)*-6. Suppose 8 = 5*m - f*m. Suppose 5*q -