 Is t a multiple of 2?
True
Let r = 4 + 0. Suppose 5*m = r + 11. Is m a multiple of 2?
False
Let b = 269 - 128. Does 47 divide b?
True
Suppose -14*o + 2212 + 140 = 0. Is o a multiple of 42?
True
Let r(d) = -d + 2. Let i be 0 - (-2)/((-6)/27). Let b be r(i). Suppose 2*n - 63 + b = 0. Is 13 a factor of n?
True
Let x = -373 + 625. Suppose -3*m - m = -x. Is m a multiple of 22?
False
Let n = 102 - 80. Does 11 divide n?
True
Let w(f) = -f**3 - 2*f**2 + 4*f - 3. Is 26 a factor of w(-5)?
True
Suppose 2*w - 48 = -0*w. Let a = w + -15. Is 5 a factor of a?
False
Let f(w) = -16*w - 9. Let y(d) = 5*d + 3. Let u(t) = -2*f(t) - 7*y(t). Let k = 7 + -11. Is u(k) a multiple of 9?
True
Let b = -2 - -4. Suppose -h - b*h + y - 4 = 0, -14 = 5*h + 2*y. Is -2 + 4 + h + 3 even?
False
Suppose 2*s - 16 = -3*m, s = 5*m - 22 + 4. Suppose a + m*a + 2*p + 59 = 0, 3*p = -5*a - 56. Does 8 divide 5/((-5)/(-3)) - a?
True
Let v(p) = -p + 0*p**3 - 4*p**3 - 1 - 2*p**2 + 6*p**3. Is 2 a factor of v(2)?
False
Suppose 0 = -0*s - 5*s + 10. Let a = -4 - -16. Suppose -s*j + 2*g + 34 = -0*j, a = j - 2*g. Is 8 a factor of j?
False
Let z = 94 - 58. Is z a multiple of 12?
True
Let s be (-1 - 1)*(-3)/(-6). Is 80*((-3)/12 - s) a multiple of 20?
True
Let r(d) = 15*d**3 - d**2 + d. Is 5 a factor of r(1)?
True
Let d(z) = -z**3 - 7*z**2 - 7*z + 1. Let m be d(-6). Let a = m + 9. Is a a multiple of 16?
True
Is 2 a factor of (5/(20/32))/1?
True
Suppose 3*k + 12 = 5*k. Let w = -8 + k. Let u = 12 - w. Does 9 divide u?
False
Let j(u) = -10*u**3 - 5*u**2 - 5*u - 3. Let k be j(-3). Suppose k = 4*i - i. Suppose i + 33 = 4*l. Is 12 a factor of l?
False
Let p be (646/(-95))/((-1)/10). Let a = 141 - p. Is 25 a factor of a?
False
Suppose m + 0 = -48. Let z = -3 - m. Is z a multiple of 15?
True
Let b(p) be the first derivative of 1/2*p**2 + p - 1. Is b(4) a multiple of 5?
True
Let l(y) = -5*y**2 + 16*y - 19. Let w(c) = -2*c**2 + 5*c - 6. Let g(q) = -3*l(q) + 8*w(q). Does 4 divide g(-8)?
False
Suppose -12 = 3*s - 7*s. Suppose -8 = -p + s*r, 0*p - 3*p = r - 4. Is 14 a factor of 28*((-5)/p)/(-5)?
True
Let k(y) be the first derivative of 5*y**3/3 - 3*y**2/2 + 2*y + 2. Let z(o) = 11*o**2 - 6*o + 3. Let d(u) = 5*k(u) - 2*z(u). Is d(4) a multiple of 15?
False
Is (-8)/12*1 + 2391/9 a multiple of 53?
True
Suppose -j + l + 16 = 0, 3*j = 4*j + 3*l - 24. Let c be (j/(-4))/(1/(-2)). Is ((-2)/(-3))/(1/c) a multiple of 2?
True
Let r(p) = 6*p**2 - 4 + 1 + 4 - p. Is r(-2) a multiple of 14?
False
Does 4 divide (-1 + 0 + 3)/(1/10)?
True
Let f(o) = -o**2 - 3*o - 4. Let j be f(-6). Let x = j + 36. Is 7 a factor of x?
True
Let q be (6/(-2))/(-1)*6. Suppose 0 = -0*o + 3*o - 2*g - q, 2*o - 12 = -3*g. Suppose -o - 3 = -n. Is 6 a factor of n?
False
Suppose 8*m - 3*m = -735. Let y be ((-1)/(-3) + -1)*m. Suppose d - y = -3*a, -129 = -5*a - 5*d + 21. Is a a multiple of 17?
True
Let t = -5 - -35. Suppose -2*d + 6 = -4*q - t, -5*d = -q - 126. Is 13 a factor of d?
True
Suppose 204 + 76 = 2*d. Is 20 a factor of d?
True
Suppose 215 = 2*z + 3*t, z - 2*t = 4*z - 320. Is z a multiple of 18?
False
Suppose 9*s + 164 = 839. Does 17 divide s?
False
Let m be ((-1)/(-1) - -1) + -1. Suppose 0 = -2*i + m + 9, 2*t - i - 485 = 0. Suppose -q - 4*q = x - 49, 5*x = -4*q + t. Is 18 a factor of x?
False
Let b(o) be the second derivative of -o**4/12 - 5*o**3/6 - 3*o**2/2 + 3*o. Let g be b(-4). Suppose -4*u = 3*r - 37, -8*u - g = r - 4*u. Does 7 divide r?
False
Let p(f) = -f**3 + f + 46. Is 9 a factor of p(0)?
False
Let q(c) = 4*c + 1. Let u(m) = 9*m + 3. Let f(p) = -7*q(p) + 3*u(p). Is f(-4) a multiple of 3?
True
Let a(y) = 3*y**2 + 3*y - 3. Let f(o) = -3 + o**2 - 7*o + 4 + 8. Let s be f(6). Is 18 a factor of a(s)?
False
Suppose 3*m + f = -0*m + 229, 232 = 3*m + 4*f. Does 36 divide m?
False
Suppose r + 2*r = 18. Suppose p - r*p = -95. Does 7 divide p?
False
Let f = -21 - -37. Let b = -1 - -6. Suppose b*t - f - 134 = 0. Is 15 a factor of t?
True
Let r = -92 - -139. Is 12 a factor of r?
False
Let t(l) = -38*l + 1. Let x be t(-3). Suppose -x = -2*a - 13. Is a a multiple of 25?
False
Let x(w) be the second derivative of 2*w**3/3 - 3*w**2/2 + 2*w. Let c be x(2). Suppose c*m - 29 - 11 = 0. Does 4 divide m?
True
Suppose -6*r + 2*r - 4*n + 204 = 0, 3*r = n + 169. Suppose -20 = 5*p - r. Is 4 a factor of p?
False
Let h = 10 - 2. Suppose 3*t + 1065 = h*t. Suppose -5*r - 5*y = -y - t, 4*r - 4*y - 156 = 0. Is r a multiple of 13?
False
Let m(z) = z**3 - 6*z**2 + z + 4. Let r be m(6). Suppose 5*c = -r, 0*c = -k + 4*c + 12. Suppose -5*p - 2*w + 3*w = -67, -k*p = -3*w - 58. Does 8 divide p?
False
Suppose 2*u - 5 = 4*i + 3, -5*i - 5 = 0. Suppose u*f = -0*f. Suppose -a + f*a + 5*w = -47, -4*a + 112 = -w. Does 9 divide a?
True
Suppose -5*x = t - 265 - 133, 2*x + 4*t - 152 = 0. Is 5 a factor of x?
True
Suppose -5*s + 12 = -13, -k + 97 = -3*s. Is 21 a factor of k?
False
Suppose 21*z - 25*z = -1292. Does 18 divide z?
False
Suppose -13 - 5 = -3*s. Let n be s/(-4)*4/6. Let j(f) = -17*f - 1. Is 16 a factor of j(n)?
True
Let f = 69 - 55. Does 4 divide f?
False
Let d(t) = -18*t - 2. Let n be d(4). Let w = -29 - n. Is 20 a factor of w?
False
Let l = 97 - 17. Does 10 divide l?
True
Let n(y) = y + 4. Let i be n(-4). Let c = -3 + 5. Suppose i = u - c*u + 30. Is 15 a factor of u?
True
Is 19 a factor of (-6)/9 + (-696)/(-18)?
True
Is -1 - 2 - (-6 + (-20)/5) even?
False
Let a(o) = 3*o**2 - 8*o + 4. Does 10 divide a(5)?
False
Let r = -1 + 10. Is r a multiple of 4?
False
Let z = 5 + -1. Let k(a) = -z - 4*a + 0*a**2 - 9*a**2 + 0*a**2 + 4*a**2 + a**3. Does 3 divide k(6)?
False
Let o(a) = -a**2 + 7*a + 2. Suppose 2*y - 30 = 5*q, 2*y + 75 = 7*y - 5*q. Suppose -4*v = -y - 13. Is 2 a factor of o(v)?
True
Suppose -3*r = -4*r - 4*a + 14, r - 3*a = -7. Suppose 5*s + 29 = 5*m - 6, -r*m - 10 = 4*s. Suppose m*l - 85 = -25. Does 6 divide l?
False
Let l(x) = 18*x**2 - 6. Does 47 divide l(-4)?
True
Suppose -4*i - 4*n + 64 = -0*i, 0 = -5*i - 2*n + 89. Is 3 a factor of i?
False
Suppose 20 = -4*h, 0 = -f + 3*h - 2*h + 27. Is 11 a factor of f?
True
Suppose 2*g = -4*f + 16, -3*g + 2*f - 5*f + 12 = 0. Let u = -51 + 77. Suppose 0 = -j - 3*j + 3*r + u, g = 5*j + r - 23. Is 4 a factor of j?
False
Suppose 4*z + 25 = 5*s, -s = -z + 2*z + 4. Let y be 2/5 - (-36)/10. Let c = y - s. Is c a multiple of 3?
True
Let j be (-541)/(-6) + (-5)/30. Suppose 26 = -h + j. Does 16 divide h?
True
Let l(d) = d**3 + 8*d**2 + 3*d - 11. Is l(-7) a multiple of 17?
True
Suppose 2*i - 3 = -i. Let y(a) = a**3 + 2*a**2 - 2*a + 1. Is y(i) even?
True
Suppose k - 15 = -2*k. Suppose k*l - 13 = 7. Suppose 4*j = 3 - 15, -2*b + 18 = l*j. Is 15 a factor of b?
True
Suppose -2*y + 103 = z, 2*y + y = 5*z + 187. Does 18 divide y?
True
Suppose -3*k = 3*q - 15, -5*q = -0*q - 2*k - 4. Suppose -w + 5*s + 25 = 0, q*s - 11 = 5*w - 90. Is w a multiple of 15?
True
Does 9 divide 2/((-2)/1)*-41?
False
Suppose 5*w - 77 = 143. Suppose 0 = 2*s + 2*s - w. Is s a multiple of 11?
True
Suppose 2*c - 11 = -w - 2, -c = -4*w - 18. Let f(z) = -2 - 2*z + z**2 + 0 - 4 - z. Is f(c) a multiple of 6?
True
Let b(x) be the first derivative of x**3/3 - 7*x**2/2 - 2*x - 3. Does 8 divide b(9)?
True
Suppose -3*w = -18 + 6. Let p = 32 + w. Does 22 divide p?
False
Let n(i) = i**2 - 3*i + 2. Let o(x) = x - 14. Let g be o(9). Is 18 a factor of n(g)?
False
Let o(x) = x**3 + 9*x**2 - 2*x - 13. Let h be o(-9). Suppose 4*z + 4*a - a - 79 = 0, -4*a + 99 = h*z. Is z a multiple of 19?
True
Let o(h) = -h - 3. Let v = -11 - -5. Let j be o(v). Suppose -j*u + 95 = 2*u. Is u a multiple of 6?
False
Let g(i) = -4*i**2 + 7*i - 9. Let s(r) = -r**2 + r - 1. Let m(j) = g(j) - 5*s(j). Does 3 divide m(-4)?
False
Suppose -4*q = -9*q + 260. Is q a multiple of 13?
True
Let r = 16 + -8. Let h = -3 + r. Is 4 a factor of h?
False
Let k(x) = -x**3 - 7*x**2 + 4*x + 14. Is 3 a factor of k(-8)?
False
Let p(g) = -g - 1. Let i be p(5). Let d = i + 28. Does 11 divide d?
True
Let o(d) = d**2 + 6*d - 2. Does 14 divide o(-8)?
True
Let z = 411 - 654. Let g = -156 - z. Is g a multiple of 23?
False
Let b be -94*-2*1/4. Let v be (0 + 0)*(-2)/(-4). Suppose 0 = -5*c - j + 87, 3*c - j - j - b = v. Does 16 divide c?
False
Let w = 10 + 21. Let g = w + -13. Let h = 34 - g. Does 16 divide h?
True
Is (-4)/(-6)*(128 + 4) a multiple of 44?
