ltiple of 6?
False
Suppose -10*i = 1208 - 3998. Is 10 a factor of i?
False
Let g = 20 - -36. Is g a multiple of 14?
True
Suppose d - 1224 = 5*f, -73*f + 6120 = 5*d - 70*f. Is 34 a factor of d?
True
Let z be ((-42)/8)/((-9)/(-24)). Let m(g) = 2*g + 28. Let y be m(z). Let t(k) = -k**2 + 18. Is t(y) a multiple of 6?
True
Suppose -10 = -2*v + 114. Is v + -1 - (-7)/(-21)*-3 a multiple of 6?
False
Suppose 0 = 5*b - 4*z - 5, 9 = 2*b + 2*z - 11. Suppose -2*n = -b*u + 59, 5*u - 3*n - 26 = 35. Suppose 3*q - 97 = u. Is 12 a factor of q?
True
Suppose -4*h + 924 = 12. Is h a multiple of 128?
False
Let k(h) = -3*h - 12. Let q be k(-4). Suppose v + 3 = 7, q = -4*m + v + 176. Suppose -m = -5*y + 25. Is y a multiple of 14?
True
Let l = -4350 - -7476. Does 36 divide l?
False
Suppose 0 = -2*k - 2*k. Suppose -3*i - 4*z + 530 = k, 0*i - z = -i + 165. Let l = i + -91. Is l a multiple of 16?
False
Let m(p) = -11*p + 103. Is 13 a factor of m(7)?
True
Let x(z) = z**2 + 5*z + 7. Let w be x(-6). Let m be (-2 - 32/(-14))/(5/35). Suppose m*p = w + 57. Is 6 a factor of p?
False
Let z(o) = o. Let m(u) = -303. Let r(h) = -m(h) - 3*z(h). Is 53 a factor of r(0)?
False
Let l(b) = -2*b**3 - 74*b - 48. Does 51 divide l(-11)?
False
Let f(w) = 4*w - 2. Let o be f(1). Suppose o*b = 81 + 151. Is 29 a factor of b?
True
Suppose 4 = -14*f + 18*f. Is (35/(-14))/((-1)/2)*f even?
False
Suppose -5*g + 547 = -2*t, -17*g + 22*g - 540 = -5*t. Is g a multiple of 35?
False
Suppose -10*i - 6 = -26. Suppose 0 = h + 1, 29 = i*y - 2*h - 19. Is y a multiple of 6?
False
Let d = 869 - 319. Is 11 a factor of d?
True
Is 3 a factor of (-1)/((-2)/86) + (53 - 51)?
True
Suppose 3*s - 2*x - 3*x - 17 = 0, -3*x = -2*s + 11. Suppose 0 = 2*k - 4*r - 40, 4*k - 3 - 125 = -s*r. Suppose -4*g + 3*g + k = 0. Does 28 divide g?
True
Let s(d) = 16*d**3 - d + 2. Let k(j) = -7*j - 40. Let l be k(-6). Does 16 divide s(l)?
True
Let x = -49 - -73. Suppose 0 = 3*b - 0 + x. Let p = 16 + b. Does 4 divide p?
True
Suppose 3 - 1 = -5*k + 2*z, 3 = -5*k + 3*z. Suppose k = -4*l + 3*l + 20. Does 5 divide l?
True
Let z = -10 + -54. Let q = -24 - z. Is 15 a factor of q?
False
Let m(o) = o**3 + 5*o**2 - 1. Let n be m(-4). Suppose -8*u - n = -3*u. Let g(v) = v**2 - 3*v - 7. Does 2 divide g(u)?
False
Let c = 18 - 16. Suppose s - 17 = -2*s - c*p, 2*p = 3*s - 1. Suppose 0 = -s*w + 72 + 57. Is w a multiple of 25?
False
Suppose -3*d - 12 = -g + 2*d, 0 = d - 2. Is 23 a factor of (g/6 - 1)*(-1242)/(-12)?
True
Suppose a = 5*z + 285, -2*a + 17*z + 556 = 14*z. Does 20 divide a?
False
Suppose -26*i = -97*i + 74053. Does 66 divide i?
False
Let w(x) = x**3 + 7*x**2 + x + 5. Suppose -5*z + 4*r = -2*z - 14, z - 9 = -3*r. Suppose 20 = -z*h + h. Is 14 a factor of w(h)?
False
Let s = 1421 - 869. Is 43 a factor of s?
False
Suppose -3*f + 8560 = f. Suppose f = 5*g + 545. Suppose 0 = -4*y + w + g, 3*w + 2 = 5. Does 15 divide y?
False
Let j(k) be the third derivative of 1/60*k**5 + 0*k + 2/3*k**3 + 0 - k**2 + 1/24*k**4. Is 8 a factor of j(-5)?
True
Let v(g) = -g**3 + 5*g**2 + 5. Let d be v(5). Suppose d*j + 325 = -0*j. Let o = j - -101. Is o a multiple of 19?
False
Let v = -150 - -307. Let x = v + -107. Is 3 a factor of x?
False
Suppose -2 = -j - 107. Let t = 247 + j. Let y = t + -98. Is y a multiple of 15?
False
Let s(x) = 3*x**2 - 2*x - 2. Let t be s(3). Suppose 43 - t = 2*j. Suppose j = g - 3*b, 0 = 3*g + 2*b - 6*b - 46. Does 15 divide g?
False
Let n = 280 + -250. Does 5 divide n?
True
Let l(n) = n**3 + 17*n**2 - 23*n + 284. Is 27 a factor of l(-17)?
True
Suppose 0*y - 2*y - j = 0, -y - 3*j = 0. Suppose y = 4*b + 5*q - 671, 0 = -3*q + q + 6. Is b a multiple of 17?
False
Let u(j) = j + 20. Let t be u(-7). Let m = -1 + 4. Suppose -m*l - 2*f = -36, -4*l - 3*f - t = -62. Is 9 a factor of l?
False
Suppose -146*q + 10 = -141*q. Suppose -q + 176 = 3*l. Is l a multiple of 29?
True
Suppose 5*k + 2*r - 2108 = 0, 3*k + r = -k + 1684. Suppose 12*q = 8*q + k. Is 21 a factor of q?
True
Let p(n) = -n + 2. Let h be p(-2). Suppose x = -6*x. Suppose -f - h*f + 160 = x. Is 9 a factor of f?
False
Let v be (-7)/3 + 8/(-12) + 6. Let r(y) = -5*y + 30. Is 15 a factor of r(v)?
True
Let h = 92 - -68. Is 5 a factor of h?
True
Does 19 divide 1052/4 - (-1 - (-4 - -6))?
True
Suppose 8*j = 11*j - 12. Suppose 0 = d - 2*g - 113, -g - 3*g - 432 = -j*d. Does 12 divide d?
False
Suppose 22*k - 24*k = -748. Does 34 divide k?
True
Suppose 430 = 3*m + 2*d, 1 + 3 = 2*d. Is 5 a factor of m?
False
Suppose 16416 = 32*m + 1184. Is 14 a factor of m?
True
Suppose 1105 = 5*s + 4*u, 6*s = 2*s - 3*u + 885. Is s a multiple of 9?
True
Suppose -16 = 4*m - 24. Suppose o = 5, 5*i - 3*o - m*o = -10. Is ((-12)/(-14))/(i/21) a multiple of 6?
True
Let w = 21 - 8. Is 3 a factor of -2 + 0 + 1 + w?
True
Let c be -2*8/(-12)*-3. Let j be c + 4/8*20. Suppose 33 = j*z - 45. Does 13 divide z?
True
Suppose 4*x = 4*g - 3028, -x = 431*g - 426*g - 3755. Does 4 divide g?
True
Let a = -21 - -68. Suppose a + 57 = 4*m. Is m a multiple of 13?
True
Suppose 2*h = -92 + 470. Does 27 divide h?
True
Suppose 83*u + 3512 = 87*u. Is 38 a factor of u?
False
Suppose 5*h - 3 = 4*h. Let q be ((-1)/h)/(4/48). Does 17 divide (222/q)/((-15)/20)?
False
Let l(x) = x - 1. Let c be l(4). Suppose 0 = -c*j + 33 + 222. Suppose 3*b = j - 34. Does 4 divide b?
False
Suppose -3*x - x + 59 = -3*r, 2*x = -3*r - 83. Is (0/(-2) - r)*6/10 a multiple of 15?
True
Suppose -2*h - 108 = -4*p, -p - 3*h + 22 = 2. Does 10 divide p?
False
Let v(y) be the first derivative of 72*y - 1/2*y**2 + 1/3*y**3 - 8. Does 36 divide v(0)?
True
Let t(q) = q**2 + 17*q - 19. Let v be t(-18). Is 31 - (v + 1 - 3) a multiple of 17?
True
Let y = -2688 + 3866. Suppose 0 = -4*u + 2*j - 384 + y, 1005 = 5*u - 5*j. Is 14 a factor of u?
True
Let z be (12 - -81)/(1/2*1). Let r = -93 + z. Is r a multiple of 50?
False
Let l = 25 + -20. Suppose 0 = -s + l*h + 26, s - 2*h - 2 = 30. Is 6 a factor of s?
True
Let z(w) = 4*w**2 + 7*w - 257. Is 6 a factor of z(28)?
False
Let t(y) = 4*y**2 + 6*y + 4. Let n(v) = v**2 + v. Let m = 21 - 16. Let s(d) = m*n(d) - t(d). Does 8 divide s(-4)?
True
Let v = -39 - -21. Let g = v - -18. Suppose g = -c - 2*c + 135. Is 9 a factor of c?
True
Suppose -w + 0*w = z - 3, -2*z = w - 2. Suppose -2*v = 3*b + 3*v + 5, -w*b + 3*v + 32 = 0. Is b a multiple of 3?
False
Let o(f) = -16*f. Let v be o(2). Let c = v + 34. Suppose -4*a + 4*z + 216 = 0, 11 = 3*a + c*z - 141. Does 13 divide a?
True
Let s(x) = -2*x**2 - 2*x + 4. Let g be s(-4). Let b = 1124 + -1099. Let v = b - g. Is 9 a factor of v?
True
Let p = -637 + 1093. Is p a multiple of 12?
True
Suppose 2*m = -2*v + 71 + 15, -4*m - 5*v = -167. Does 24 divide m?
True
Suppose -l - 3*d = -246, 15*l - 4*d = 18*l - 738. Does 38 divide l?
False
Let l(d) = d + d + 0*d + 3*d + 29. Let h(q) = 3*q + 19. Let w(m) = 8*h(m) - 5*l(m). Is w(-5) a multiple of 6?
True
Suppose 246 = 4*x + 78. Let w = -13 - -43. Let y = x - w. Is y a multiple of 6?
True
Let z(y) = y**2 + 9. Let k = -28 - -19. Let g be (21/k)/(6/18). Is z(g) a multiple of 17?
False
Let u(i) = 76*i**2 + 57*i + 380. Does 62 divide u(-6)?
False
Let h = 9 + -7. Suppose -3*l + 1264 = 5*p - 2*l, 0 = -h*p - l + 508. Suppose -4*o = 4*z + o - p, 0 = 4*z - 2*o - 252. Is z a multiple of 9?
True
Suppose -2*w - 12 = 4*i, 2*w - 3 = -i + 3*w. Let v be (i + (3 - 5))/(-1). Suppose 5*m - o - 55 = 0, 2 = -v*m + 5*o + 13. Is m a multiple of 10?
False
Suppose 19 = 4*m + 7. Suppose m*c - 2*c + 20 = 0. Let u = c - -31. Does 2 divide u?
False
Let x = -1 + 8. Suppose x = 2*w - 3*g, -2*w + 4*g + 0*g + 8 = 0. Suppose -d + 12 - 2 = w*c, 5*d = 4*c + 8. Is c a multiple of 3?
True
Suppose 3*s - 5*z - 542 = 2*s, 0 = -s + 3*z + 550. Let f = s + -240. Is f a multiple of 14?
True
Let v be (-630)/77 + (-4)/(-22). Let j = -10 + v. Is (j/(-8))/(5/180) a multiple of 27?
True
Let x(c) = 20*c + 12. Let j = -41 + 35. Let l be x(j). Is 9 a factor of (-24)/l - (-482)/18?
True
Let f(v) = v + 14. Let j be f(0). Let m = j - 11. Suppose 189 = -0*k + m*k. Does 21 divide k?
True
Suppose 0 = -2*h + 35 + 77. Suppose h = k + 3*z, -2*k = 3*z - 0*z - 121. Is k a multiple of 4?
False
Is 50 a factor of 4 + 0 + -2 + (-6784)/(-8)?
True
Suppose -267 = -4*h + 29. Let t = -50 + h. Is t a multiple of 5?
False
Let k(n) = -7*n**3 + 3*n**2 + 2*n + 3