t. Is a a multiple of 12?
True
Suppose -21 = 4*k - 0*v + 5*v, -v = k + 4. Let h(o) = 7*o**3 - 3*o + 14*o**3 - 2*o**2 + 4*o. Is h(k) a multiple of 10?
True
Let o(v) = -4*v + 15. Is o(-7) a multiple of 36?
False
Let p be (-22)/(-4)*(-7 + 1). Suppose 28*g - 45 = 33*g. Let c = g - p. Does 11 divide c?
False
Suppose 5 - 3 = l. Let q be 1*-2 + l + 3. Suppose -9 - q = -t. Does 12 divide t?
True
Suppose 0 = 2*o - 3*i + 5*i - 14, -2*o + 24 = 4*i. Let d = 38 - o. Suppose 7*v - d = 4*v. Is v a multiple of 4?
True
Suppose x - 486 = -2*b, 4*x + 0*x - 2*b = 1984. Is 36 a factor of x?
False
Let h(y) = y - 3. Let g be h(9). Let q(p) be the second derivative of p**3/3 - 2*p**2 + 2*p. Does 8 divide q(g)?
True
Let j(z) be the third derivative of -7/6*z**3 - 1/6*z**4 - z**2 + 0*z + 0. Does 13 divide j(-5)?
True
Suppose 0 = 7*i - 2*i + 40. Let v = i - -3. Is 20 a factor of v/(27/(-12) + 2)?
True
Let r = 461 - 248. Let m = -119 + r. Is 32 a factor of m?
False
Let r(h) = -5*h - 1. Let u be r(-3). Does 8 divide u + -1 + (-9 - -12)?
True
Suppose -2*s + 0 = -2*m - 8, -4*s + 16 = -m. Suppose 3*u - 5 = -4*n - 0, u - s = n. Suppose 3*j - 5*j + 57 = g, -u*j = -g - 88. Is j a multiple of 11?
False
Suppose 5*l - 80 = 3*l. Suppose -2*b + 3*b = l. Is 20 a factor of b?
True
Let z be ((-2)/(-4))/(4/(-16)). Let f be z + (-2)/(-2) + -18. Let s = 31 + f. Is 12 a factor of s?
True
Suppose -32 = 3*m + m. Let f(b) be the third derivative of -5*b**4/24 + b**3 - b**2. Is f(m) a multiple of 21?
False
Let h(u) = 2*u**2 - 9*u - 7. Does 20 divide h(9)?
False
Suppose 4*q - 13 = -1. Let c be (0 - -2)/(q/48). Suppose -5*f = -3*f - c. Is 8 a factor of f?
True
Let f(p) = p**3 - 9*p**2 - 9*p - 5. Let t be f(10). Suppose t - 65 = -2*y. Is 15 a factor of y?
True
Let n(m) = 3*m**2 - 2*m. Does 2 divide n(2)?
True
Suppose 5*y + 19 = 54. Let f = 10 - y. Suppose f = i - 12. Is 8 a factor of i?
False
Suppose 0 = -17*z + 25*z - 664. Is 18 a factor of z?
False
Is 8 a factor of (-3)/(-1) + (1 - 66/(-1))?
False
Suppose u + 6 = 3*c - 23, 0 = -4*c + 2*u + 36. Suppose c = 2*y - 13. Does 6 divide y?
True
Suppose 5*t - 2*f - 14 = 8, -1 = t + 5*f. Suppose -5*b + 21 = 5*q - 4, b + 20 = t*q. Is 3 a factor of q?
False
Let l = 96 - 16. Is 20 a factor of l?
True
Let g be (-1)/(((-1)/(-3))/(-1)). Suppose -3*q + 6 + 36 = 3*x, g*x + 4*q = 43. Is x a multiple of 11?
False
Suppose -r = -5*r + 4*x + 560, 3*r - 4*x = 423. Is 20 a factor of r?
False
Suppose 0 = -3*w - 2 + 14. Is w a multiple of 3?
False
Suppose -4*i + 74 = 306. Let f = 103 + i. Does 8 divide f?
False
Suppose -13*j + 15*j = 36. Is 3 a factor of j?
True
Let x be (-2 - -1)*234/(-6). Suppose 4*t + 3 = x. Is 3 a factor of t?
True
Suppose 2*h + h - 12 = 0. Suppose h*t - 2*k - 144 = 84, 3*k + 287 = 5*t. Is 16 a factor of t?
False
Let x = 47 + -27. Is 10 a factor of x?
True
Let l be -8*(-1)/4*2. Suppose 0 = g + 1 - l. Is 3 a factor of g?
True
Suppose -3 = h - 4*m + 6, -h = 2*m - 9. Is h a multiple of 3?
True
Suppose -a - 2*a + 2*g + 1074 = 0, 2*g + 1434 = 4*a. Does 15 divide a?
True
Let k(o) = o**2 - 9*o + 11. Let d be k(8). Suppose 0*p + 81 = d*p. Is p a multiple of 6?
False
Let i(z) = 10*z - 9. Does 8 divide i(4)?
False
Is (-580)/(-25) - (-3)/(-15) a multiple of 9?
False
Suppose 5*a = -44 - 46. Let s = 45 + a. Is 7 a factor of s?
False
Let f(w) = -27*w. Let o be f(-2). Does 18 divide 1 + o + (-1)/1?
True
Let c = 9 + -15. Is c/(-9) - (-74)/6 a multiple of 10?
False
Let u = -1 - 3. Let q = 11 + u. Is q a multiple of 4?
False
Let n be 0 + 182 + 0 + -2. Suppose 0 = 5*c - n + 45. Does 10 divide c?
False
Let z(d) = d**2 - d + 80. Is z(0) a multiple of 35?
False
Let l(p) = 4*p - 8. Does 28 divide l(9)?
True
Suppose 0*h + 2*h + 102 = 3*z, 0 = -4*z - h + 125. Is z a multiple of 4?
True
Suppose 6*d + 130 = 8*d. Is 18 a factor of d?
False
Is 12 a factor of ((-168)/(-63))/((-4)/(-258))?
False
Let r(k) = 3*k**3 + k - 1. Let b = -1 + 0. Let u be (-1)/(b*3/3). Is 3 a factor of r(u)?
True
Let l = 34 + -17. Suppose 4*h + 77 = 5*j, j - l = 3*h - 6. Does 13 divide j?
False
Suppose 0*y - 3*y + 18 = 0. Suppose -3*a + y = -0*a. Is a a multiple of 2?
True
Suppose -4*a + 144 = 2*c - 96, 5*c = -2*a + 624. Suppose -2*y - c = y. Is 12 a factor of (y/(-4))/((-2)/(-4))?
False
Suppose -13 = -4*h - 1. Let c(g) = 37*g**3 + 1. Let v be c(1). Suppose -4*b = -h*y + v, -4*y + 4*b + 47 = -5. Is 14 a factor of y?
True
Let p = 14 - 9. Is p even?
False
Suppose -4*g - 44 = 116. Let u = 70 + g. Is u a multiple of 10?
True
Is 18/(-12)*168/(-9) a multiple of 14?
True
Let y(q) = 5*q - 16. Let f be y(9). Suppose -3*u = -2*u + 17. Let n = u + f. Is 6 a factor of n?
True
Suppose n - k - 2 = 0, 3*k = 2*n + 4 - 3. Let x be (n - 1)/((-4)/(-22)). Suppose 0 = w - x - 1. Does 17 divide w?
True
Let v(h) = 2*h**3 - 6*h**2 + 6*h - 1. Is v(4) a multiple of 22?
False
Let k(s) = -2*s - 32. Let x be k(-10). Let l be (-1)/1 - (-1 + -22). Let i = x + l. Is 3 a factor of i?
False
Suppose -303 = -p - 135. Is 12 a factor of p?
True
Let r be -23 - (0 + 0)/1. Let j = -14 - r. Is 9 a factor of j?
True
Let f(j) = -j**2 - 4*j + 5. Let l be f(-5). Let c be l/(-5)*(-1)/2. Suppose c = -7*v + 2*v + 5*b + 135, b = -5*v + 135. Does 9 divide v?
True
Suppose 5*x = -c + 156, x + 1 + 3 = 0. Suppose -20 - 10 = -5*p. Is (p/(-4))/((-12)/c) a multiple of 11?
True
Suppose v + 0*x + x - 30 = 0, -3*v - 5*x = -82. Let w(n) = -20*n + 1. Let q be w(1). Let f = v + q. Is f a multiple of 5?
True
Let n(d) = -5*d + 5. Let k be n(2). Does 18 divide (-5 - k) + 108/2?
True
Suppose 0*r + 10 = 5*r. Let b = 21 + -19. Is -2*-2*r/b a multiple of 4?
True
Let h(f) = -f**3 - 7*f**2 + 7*f + 8. Suppose 0*s - 3*x = -3*s - 21, 0 = s + x + 9. Is h(s) a multiple of 16?
True
Suppose 4*r + 6 = i, -2*i + 3 = -4*r - 5. Suppose 2*p = -n - 11 + 1, -p - 5 = -4*n. Suppose -i*z - 3*z + 70 = n. Is 14 a factor of z?
True
Suppose 0 = -5*g, 5*h - 76 = -2*g + 14. Let l = h - 12. Is 6 a factor of l?
True
Is (-1 + -25 + -2)/(11/(-44)) a multiple of 20?
False
Suppose 2*j = 8 + 2, -70 = -2*i - 2*j. Does 5 divide i?
True
Let i(b) = 12*b**2 + 0*b**2 + 18*b**2. Suppose 4*r + k = -1, -2*k = 4*r - 7*k - 29. Is i(r) a multiple of 12?
False
Let w be 2/7 + 152/56. Suppose 0 = -5*v - 10, -117 = -2*l + 4*v + w. Is l a multiple of 14?
True
Suppose -2*d - 33 = d. Let x = 13 - d. Does 8 divide x?
True
Let m(j) = -13*j**2 + j**2 + j**3 + 3 + 7*j**2. Let r be m(5). Suppose -r*v + 101 = 26. Is v a multiple of 7?
False
Let y = -4 - -10. Let x = y - 0. Let m(p) = p**3 - 5*p**2 - p + 2. Is m(x) a multiple of 15?
False
Let l be 2 + -7 + 1 + -1. Is (l - -1)/(5/(-5)) even?
True
Suppose h + 0*s = -5*s + 31, -3*h = -3*s - 75. Suppose -66 = -4*d - h. Does 10 divide d?
True
Suppose m + 3*m - 12 = 0. Does 2 divide m?
False
Suppose -5*o = -13 - 12. Let d(m) = m**2 - 4*m. Let s be d(o). Suppose 5*w = -s*q + 60, 44 = 5*q + 3*w - 6*w. Is 10 a factor of q?
True
Suppose -4*d - 3*w = -30, -d - 7*w + 6*w + 8 = 0. Let n = -1 + d. Suppose n*x + 4*b - 70 = 0, 0 = 5*x - 0*b + 3*b - 70. Is 6 a factor of x?
False
Is -4 + 20 + -4 - 0 a multiple of 9?
False
Let i(d) = -9*d + 5. Suppose b + 2*u = -17 + 4, 0 = -u - 4. Does 25 divide i(b)?
True
Let n(b) = -b + 2. Let c be n(2). Let s be -2*(-6 - c)/(-3). Does 10 divide (15/s)/((-6)/16)?
True
Let w(v) = 14*v**2 + 4*v - 6. Is w(2) a multiple of 20?
False
Let c(j) = -j**3 - 8*j**2 + j - 13. Does 27 divide c(-9)?
False
Let k(p) = p**2 - 1. Let l be k(-3). Let c(s) = s**2 - 3*s - 8. Let i be c(l). Is 8 a factor of ((-1)/((-2)/i))/1?
True
Let c(h) = 153*h - 2. Is c(1) a multiple of 18?
False
Let r = -100 - -142. Is 19 a factor of r?
False
Let o(w) = -w**2. Let s be o(0). Is s + (-2 - -7) - -3 a multiple of 4?
True
Let y = 14 + -8. Is 18 a factor of (-24)/(-9)*y - -2?
True
Let w = -89 + 212. Suppose 2*l = 2*m - 74, 2*m - w = l - 49. Is m a multiple of 13?
False
Let w = 98 + -51. Is w a multiple of 6?
False
Suppose -4*i = -4*l + 108, 0*l - i = -4*l + 108. Let q = l + -18. Does 9 divide q?
True
Let z(d) = 2*d + 1. Let h(c) = -c**3 + 7*c**2 + 8*c + 5. Let n be h(8). Let u = n + -4. Is 2 a factor of z(u)?
False
Let k(i) = -i + 2. Let n be k(2). Suppose 0 = 5*m - s + 31, 5*s + n*s + 7 = -2*m. Let t(a) = -a + 6. Is t(m) a multiple of 12?
True
Let t = 0 + 12. Is t a multiple of 7?
False
Let g be (