 -5*b + m = 2*m - 23. Suppose a - b*a = -28. Is a a multiple of 6?
False
Let f(w) = w**3 + 10*w**2 - 9*w. Suppose 0 = -15*h + 20*h + 50. Is 15 a factor of f(h)?
True
Let m(y) = y**3 + 6*y**2 + 3*y. Let k = -3 + 0. Is m(k) a multiple of 9?
True
Does 7 divide (-7)/((-7)/(-2)) + 102?
False
Suppose -4*c + 0*c = -140. Is 9 a factor of c?
False
Let a = -7 + 7. Suppose -5*b + 8 + 17 = a. Is 8 a factor of (-140)/21*(-12)/b?
True
Let g = 73 - 26. Suppose 5*w - g = 2*m, 0 = -w + 4*m - 5. Is w a multiple of 4?
False
Suppose 0 = 4*m - 197 + 33. Suppose -4*z = -3*r - 2*r - m, 34 = 2*z + 2*r. Let u = z - 9. Does 3 divide u?
False
Let o be 10/(-8) - 15/20. Does 3 divide 10 - 1/(-2)*o?
True
Let u(f) = -f**3 + f**2 - 2. Let k be u(0). Let l be 2/(-4) + k/(-4). Suppose l = -t - 15 + 35. Is 10 a factor of t?
True
Let r = 858 - 466. Suppose 0 = y + y - r. Suppose -y = -4*v - 20. Is v a multiple of 22?
True
Suppose 0 = 3*q - q. Let m be -3 + (3 - q/2). Suppose m = -2*h + 32. Is 6 a factor of h?
False
Let t(i) = i**3 - i**2 - i - 484. Let d be t(0). Let j be d/(-10) + 4/(-10). Suppose -3*s - n + j = -25, 0 = 2*s - 2*n - 54. Is 11 a factor of s?
False
Does 5 divide (38/3)/((-14)/(-105))?
True
Suppose -8 = -s - 24. Let f = -10 - s. Is f a multiple of 2?
True
Let k = -7 + 11. Suppose 0*r + k*u = r - 4, 3*r + 3*u = 72. Is 10 a factor of r?
True
Suppose 85 = f + 4. Let y = -29 + f. Is 13 a factor of y?
True
Does 14 divide ((-4)/(-8))/(1/(157 + 3))?
False
Suppose -5*r + 3*a + 26 = 6*a, 4*r - 20 = -2*a. Suppose 0 = -r*y - 0*y. Suppose -5*o + 5*b + 45 = y, 4*o + 6 - 37 = 3*b. Does 2 divide o?
True
Let c(y) be the second derivative of -y**4/12 + y**3/3 - y**2/2 - 3*y. Let a(g) = -1. Let j(m) = 4*a(m) - c(m). Does 24 divide j(-5)?
False
Let v = -2 + 6. Suppose v*l = 11 + 81. Is l a multiple of 13?
False
Suppose 2*y - 2 - 6 = 0. Does 2 divide (-16)/(-3) - y/12?
False
Let k(f) = -f**3 + f**2 + f - 1. Is k(-4) a multiple of 28?
False
Let y(v) = v**2 - 3*v - 5. Let z be (-1)/(-2) - (-45)/10. Let n be y(z). Suppose l = n*l - 12. Is l a multiple of 3?
True
Suppose 76 = q - h + 5, 1 = -h. Let l = q + -48. Suppose g - l = -g. Is g a multiple of 3?
False
Let z = 10 + 0. Let a be z/2 - 2 - 3. Suppose 2*q - 72 = -a*q. Is 18 a factor of q?
True
Let t = 32 + -8. Suppose 0*d - t = -d. Does 6 divide d?
True
Let z be ((-2)/(-5))/((-1)/(-15)). Suppose 3*s - 6 = z. Is s a multiple of 4?
True
Let p = -98 + 194. Does 23 divide p?
False
Let g = 93 - 49. Suppose 6*d = 2*d + g. Is d a multiple of 11?
True
Suppose -4*k + 2*k = -3*n + 2, 3*k - 15 = 0. Suppose -5*g + 125 = 5*m, -n*m + 10 + 21 = g. Is g a multiple of 10?
False
Let d(s) = -2*s**2 + s - 4. Let w = -2 - 1. Let u be d(w). Let n = u + 53. Is n a multiple of 14?
True
Let f(q) = q**3 + 11*q**2 + 9*q + 11. Let s(o) = -o - 4. Let h be s(6). Let d be f(h). Suppose 4*u = 5*u - d. Is u a multiple of 10?
False
Let r = 10 + 41. Let p = -13 - -18. Suppose -z + r = p. Is z a multiple of 13?
False
Suppose -3*t + 6*t - 27 = 0. Suppose -u = -2 - t. Does 5 divide u?
False
Suppose -3*j - 364 = -7*j. Does 24 divide j?
False
Let t(b) = 3*b + 36. Is 3 a factor of t(-4)?
True
Let k = -12 + 12. Suppose k = -0*z - 4*z + 32. Is z a multiple of 3?
False
Let l be 7010/15 - (-2)/3. Does 7 divide l/60 - 2/(-10)?
False
Let i = 0 - 15. Let p = 0 - i. Is 5 a factor of p?
True
Let x(p) = p**2 - 6*p + 12. Let u be x(-5). Suppose 5*w + 78 = 2*m, 3*m + 2*w - 88 = u. Is m a multiple of 21?
False
Suppose -3*r + 4*r - 2*m = 24, 3*r + m = 93. Suppose r - 150 = -3*c. Does 20 divide c?
True
Let q = 67 - 39. Does 5 divide q?
False
Let i be (-1)/(-4*(-4)/16). Let g be 1/(1041/(-522) - -2). Does 22 divide g/4 - i/2?
True
Is 15 a factor of ((-2)/(-2))/(2/98)?
False
Suppose f = -2*c + 16, -3*c + 7 = f - 19. Is c a multiple of 5?
True
Suppose 2*g + 206 = 4*g. Let b = -38 + g. Suppose -2*v = -5*j - b, -v - j = j - 19. Does 7 divide v?
False
Let w(f) = -2*f**2 + 9*f - 9. Let g(q) = -1. Let o(a) = -5*g(a) + w(a). Let u be o(6). Let r = 40 + u. Is r a multiple of 9?
True
Let t = 9 - 6. Let c = t - 0. Suppose 19 + 20 = c*z. Does 4 divide z?
False
Let n be 2*-1*3/(-6). Let t(b) = 55*b**3 - b**2 + b - 1. Is t(n) a multiple of 15?
False
Suppose -17*t + 13*t = -356. Does 27 divide t?
False
Suppose -c + 6*c - 8 = -m, 0 = 3*m + 4*c - 13. Suppose 0 = -m*l + 5*d + 15, l - 3*d = -d + 5. Suppose -24 = -b + 5*f - 10, 62 = 3*b - l*f. Is 10 a factor of b?
False
Suppose 3*c = w - 18, -3*c - 7 = w + 5. Let o be (w - (0 - 2)) + -2. Suppose -64 = -o*u - u. Does 16 divide u?
True
Let i(p) = p + 5. Let d(z) = 2*z + 14. Let f(q) = 6*d(q) - 17*i(q). Let l be f(-1). Suppose 10 + 18 = l*u. Is u a multiple of 5?
False
Suppose 0 = k + 4*p + p - 47, -3*k = -3*p - 51. Does 11 divide k?
True
Let j(a) = a**3 - 5*a**2 - 4*a + 3. Is j(6) even?
False
Let i = -61 + 167. Suppose l + 4*l = -2*z + 73, 0 = -3*z - 4*l + i. Does 17 divide z?
True
Suppose o + 101 = 4*f, 6 = -2*o - 4. Is 8 a factor of f?
True
Let b(a) = a**3 + 2*a**2 - 4*a + 2. Let d be b(4). Let k = d - 47. Is k a multiple of 18?
False
Suppose -27 = -5*s - 7. Is s even?
True
Does 9 divide 6/(((-2)/(-24))/(60/24))?
True
Let l(r) = 2*r**2 + 1. Let f be (0 + -1)/((-4)/16). Is l(f) a multiple of 9?
False
Let w be (-79)/4 + (-1)/4. Let a = w - -29. Does 8 divide a?
False
Suppose -5*w + 10*w - 280 = 0. Is w a multiple of 14?
True
Let i be (3 + -1)*-1 - -11. Does 6 divide 1/(i/(-6))*-15?
False
Let a = 8 + -6. Suppose a*v + 9 = 29. Does 4 divide v?
False
Let f(b) = 4*b + 3. Let g be f(-1). Let a = 29 - g. Is 6 a factor of a?
True
Let p(s) = s**3 + 4*s**2 - s. Let m be p(-4). Let b be 54/4 - (-2)/m. Let y = b - 5. Does 4 divide y?
False
Let n = 35 - 0. Does 5 divide n?
True
Let r(d) = -10*d - 6. Let m be r(-5). Suppose -2*l + 28 = -m. Does 18 divide l?
True
Suppose -5*x = -0*x. Suppose 4*q + q + 5 = x. Let h(r) = -30*r**3 - r**2 - 2*r - 1. Does 10 divide h(q)?
True
Suppose 0 = -4*h + h + 366. Does 28 divide h?
False
Let p = -9 + 11. Does 5 divide 15/(-12)*-2*p?
True
Suppose -4*v - v - 2 = 3*x, 3*x + 3*v - 6 = 0. Suppose x*j - 48 = 2*j. Is 5 a factor of j?
False
Let w = 26 + -45. Let u = 28 + w. Does 9 divide u?
True
Let n(y) = 7*y - 11. Does 19 divide n(7)?
True
Suppose -4*z + 2 = 14, -3 = -3*r + 4*z. Is 13 a factor of (9/(-4))/(r/24)?
False
Suppose s - 94 = -4*x + 142, -4*x - 16 = 0. Is 36 a factor of s?
True
Let s(u) = -u + 9. Does 6 divide s(-27)?
True
Suppose 6*o - 42 - 150 = 0. Does 27 divide o?
False
Suppose -15 = 4*u + 4*g - 3, 2*g = 4*u - 6. Suppose -2*h + 5*h + 6 = u. Is (3/h - -2)*22 a multiple of 4?
False
Let l be 0 - (-1 + 2 + -13). Suppose -5*r - 2 = -l. Suppose -h = r - 5. Is h a multiple of 3?
True
Let r be 458/8 + 9/12. Let f = 112 - r. Does 18 divide f?
True
Suppose -3*a + 2*a - 2*r = -31, -a + 5*r = 4. Is 10 a factor of a?
False
Let p(x) = -11*x**3 - 10*x**2 - 8*x - 11. Let d(m) = 7*m**3 + 7*m**2 + 5*m + 7. Suppose 0 = 3*i - 14 - 1. Let g(r) = i*p(r) + 8*d(r). Is 13 a factor of g(-5)?
True
Suppose -5*t + 5*o = 15, o + o - 4 = 0. Let q = -26 + 30. Let i = t + q. Does 3 divide i?
True
Let j(n) = 7*n - 2. Let h be j(3). Suppose 4*p = h + 13. Is 6 a factor of -4*2*(-6)/p?
True
Let h(s) = -21*s + 7. Is h(-3) a multiple of 7?
True
Suppose -4*g = 5*t - 672, -g + 4*g = -4*t + 504. Suppose -2*q = 2*q - g. Suppose q = j + 2*j. Is j a multiple of 9?
False
Is ((-3 - -5)/(4/34))/1 a multiple of 3?
False
Let u(n) = -2*n - 2. Let t be u(-3). Suppose 4*r - 155 = -3*k, -3 = 4*k - t*r - 247. Is k a multiple of 19?
True
Suppose 0 = j - 33 - 204. Suppose -3*h + 171 = -j. Suppose -7*s + 3*s + h = 0. Does 12 divide s?
False
Let j be (-1 + 1 - -3)/(-1). Let s be (2/j)/(2/(-21)). Let l(g) = g + 7. Is l(s) a multiple of 9?
False
Suppose 6*o - 4*o - 66 = 0. Is o a multiple of 11?
True
Suppose -3*l = 2*f + 25 - 216, 5*l - 350 = 3*f. Is l a multiple of 23?
False
Let u(v) = 21*v - 3. Is u(1) a multiple of 9?
True
Let f be (1/3)/(2/(-6)). Let z = 4 + 20. Does 9 divide f/((5/z)/(-5))?
False
Let t(c) = c - 5. Let b be t(11). Suppose g + 6 - 2 = 2*s, 3*s + g = b. Suppose -61 = -s*z + n, -z = -n + 2*n - 38. Does 14 divide z?
False
Let s be 4/(-14) + 48/21. Suppose 0 = 5*j + 2*a - 6, j - s*a - 1 = 5. Suppose j*t - 9 = 5. Is 7 a factor of t?
True
Does 39 divide 3*-13*(-19)/19?
True
S