de d?
False
Suppose 8*i - 72 = 4*i. Suppose 7*m - 151 = -i. Is 19 a factor of m?
True
Let l be (6/(-8))/((-4)/16). Suppose -7*k + l*k = -44. Is 8 a factor of k?
False
Let d = -21 - -38. Is d a multiple of 9?
False
Suppose -1 = c - 3*b + 2*b, -2*c = -4*b + 8. Suppose -c*t - 3*m + 100 = -m, 3*t - 156 = -5*m. Is t a multiple of 8?
False
Let h(j) = 35*j**2 - 3*j. Is h(-2) a multiple of 17?
False
Suppose 3*z + z + 436 = 0. Let k = z - -53. Does 12 divide k/12*9/(-2)?
False
Let y(b) = b**3 - 3*b**2 - 3*b - 12. Let r(v) = v**3 - 2*v**2 - 4*v - 11. Let f(d) = -5*r(d) + 4*y(d). Is f(-5) a multiple of 16?
False
Let x(o) = o**3 - 9*o**2 - 4. Let a(l) = -l**2 - 8*l - 6. Let u be a(-5). Let z be x(u). Let r = 11 + z. Is 7 a factor of r?
True
Suppose 0*k + 12 = 3*k. Does 3 divide 43/k - 12/16?
False
Let n = -150 - -210. Is 10 a factor of n?
True
Let x be 30/8 - 2/(-8). Suppose 63 + 273 = 6*v. Suppose 0 = -t - 5*z + 19, -x*t + 116 = -4*z - v. Is t a multiple of 13?
True
Suppose m - 4*i + 172 = 481, -4*m + 1247 = -5*i. Is m a multiple of 20?
False
Let c(a) = -10*a + 2. Is 8 a factor of c(-1)?
False
Let m be (100/8)/(3/(-6)). Let c = -12 - m. Does 13 divide c?
True
Suppose 9*p - 155 = 97. Does 14 divide p?
True
Suppose 18 - 258 = 5*o. Let i be ((-1)/(-2))/((-3)/o). Suppose -4*x + 4 + i = 0. Is 3 a factor of x?
True
Suppose -3046 + 886 = -9*w. Is 15 a factor of w?
True
Suppose -w = -2*q + 3 - 2, 3*w - 3*q - 6 = 0. Suppose w*f - 31 + 1 = 0. Is 4 a factor of f?
False
Let k = 46 + -162. Let s = k + 206. Let o = -64 + s. Is o a multiple of 9?
False
Let b be (-1)/((-2)/(-1))*-6. Suppose 10 + 5 = b*t. Suppose 2*w = -t*x + 70, 0 = x - 0*x - 2*w - 14. Is x a multiple of 6?
False
Suppose 4*g - 63 = -3*d, -4*g - 5*d + 1 = -56. Is 12 a factor of g?
False
Suppose -r + 3*l = -3*r + 130, r + 5*l = 51. Let p = r + -35. Does 13 divide p?
False
Let s = -8 - -13. Suppose -s*r = -11 - 14. Suppose -18 = -r*u + 37. Does 5 divide u?
False
Let r = 0 - 1. Suppose 7*f + s = 2*f + 71, -2*f - 2*s = -30. Does 7 divide (-1 + f)*(r + 2)?
False
Let b(p) = 5*p**2 + 2*p - 9. Let o be b(-4). Suppose -r - 209 = -4*x - o, 4*x - 136 = -4*r. Does 12 divide x?
True
Let s(h) = -h**3 - 7*h**2 + 11*h. Let k be s(-9). Let m(n) = -4*n - 3. Let c be m(-2). Suppose w + 4*a = 36, 3*w = -2*a + c*a + k. Does 17 divide w?
False
Let k(s) = -s**2 - 12*s + 4. Let d be k(-12). Suppose 4*o + 147 = 5*r, -d*r - 17 + 119 = 2*o. Does 9 divide r?
True
Suppose -g = 5*f - 571, f + 5*g - 60 - 35 = 0. Suppose f = 3*l + 2*c, -5*l = 4*c - c - 190. Does 9 divide l?
False
Let s(l) = l**2 - 6*l - 11. Does 8 divide s(9)?
True
Suppose n + 2*n - 4*u - 17 = 0, -11 = -n + 4*u. Let p(m) = m**2 - m - 4. Let c be p(n). Suppose -5*q = c*r - 47, -2*q - 4*r + 5*r = -17. Does 9 divide q?
True
Suppose 4 + 44 = 2*c. Does 12 divide c?
True
Let f be 11/5 - (-1)/(-5). Let b be 14*(3 + -2)/f. Suppose -3*w - 4*x + 35 = 0, b*w - 3*x = 3*w + 80. Does 10 divide w?
False
Suppose -81 = -3*h - n, h - n - 15 = 12. Is h a multiple of 17?
False
Let w(j) = -33*j + 21. Let r(h) = 16*h - 10. Let s(o) = -13*r(o) - 6*w(o). Let a be s(4). Let v = a - -66. Is v a multiple of 15?
True
Let c = -14 - 7. Let o = 56 + c. Is 12 a factor of o?
False
Let y = -164 + 98. Let x = y + 111. Is 11 a factor of x?
False
Does 44 divide ((-4)/(-5))/((-30)/(-7425))?
False
Let u(p) = 5*p**2 + p**3 + 2*p**3 - 14*p - 18*p**2 - 4*p**3. Does 24 divide u(-12)?
True
Let p(d) = -d**2 + d + 37. Let r be p(0). Let a = r + 3. Is a a multiple of 20?
True
Let n = 1 + -1. Suppose -2*g - 14 = -3*i + 4, 5*i - 3*g - 31 = n. Suppose 4 = c - i. Is c a multiple of 6?
True
Let b(k) = -k**3 - 8*k**2 - 3*k - 3. Let l be b(-6). Let g(s) = s**3 - 7*s**2 - 4*s + 4. Let a be g(7). Let t = a - l. Is 11 a factor of t?
True
Let b(g) be the second derivative of 3*g**5/5 - g**4/12 + g**3/3 - g**2/2 + g. Does 6 divide b(1)?
True
Suppose 3*v + 5*j = 4*v - 25, -118 = -4*v + 2*j. Is v a multiple of 10?
True
Suppose 0 = -0*v - 2*v. Is (0 - v) + 1*8 a multiple of 8?
True
Let z = 16 - -2. Is 9 a factor of z?
True
Suppose -v - 4*n + 11 = -1, -19 = -2*v - 3*n. Let d = v + -6. Suppose -d*m = -4*m + 28. Is m a multiple of 7?
True
Suppose -5*s + 9 = -2*g, g = -g - s + 9. Suppose -g*n = n - 84. Is 5 a factor of n?
False
Let d(j) = 33*j - 4. Let f be d(3). Let a = f + -51. Is a a multiple of 13?
False
Let x = -6 + 13. Let s be 2/6*(x + -1). Suppose 18 = s*i - i. Is 9 a factor of i?
True
Let d(p) = -p**3 + 2*p**2 + 4*p + 1. Let g be d(3). Suppose z - 67 = -4*m, 65 = g*m - z + 4. Is 16 a factor of m?
True
Is 1/((-2)/504*-4) a multiple of 11?
False
Suppose 5*d - 3*y + y = 136, 0 = 3*d - 3*y - 78. Is d a multiple of 4?
True
Let a(l) = 3*l**2 - l. Suppose -f + 3 = -0. Let d be a(f). Suppose 3*c + 5 + 19 = 4*v, 0 = 4*v - 2*c - d. Is v a multiple of 3?
True
Let i = -33 + 63. Suppose 0*p - 3*p = -i. Is 4 a factor of p?
False
Suppose -3*o + o = -216. Is o a multiple of 54?
True
Is 22 a factor of 12*(12 - 4 - 2)?
False
Suppose -5*h = -5, 4*f - 6 = 3*f - 4*h. Suppose 33 + 23 = f*y. Let r = 52 - y. Is r a multiple of 8?
True
Suppose -4 = -2*a, -4*d - a - 20 = 10. Does 22 divide (-474)/(-8) - d/(-32)?
False
Let k = 37 + -22. Suppose 2*z = 7*z - k. Is z a multiple of 3?
True
Let x(m) = -m**2 - 9*m - 17. Let v be x(-7). Let d = 7 + v. Is 4 a factor of d?
True
Let n = 129 - 63. Is 7 a factor of n?
False
Let c(n) = -n**2 - 5*n + 6. Let p be c(-6). Suppose -w = w - 5*k - 131, -5*k - 25 = p. Is w a multiple of 22?
False
Let m = -101 - -181. Is m a multiple of 23?
False
Let f = -337 - -531. Suppose -4*n = -4*w + 6 - 178, -5*n - 2*w = -f. Does 10 divide n?
True
Let p(y) = y**3 - y**2. Let k be p(0). Suppose g + 3*h = -2*g, k = 5*g + h. Suppose -2*o + g*b = -5*b - 19, 2*o = -3*b + 43. Is 17 a factor of o?
True
Let u be (2/2)/(1/4). Suppose u*f + 6 = 34. Does 4 divide f?
False
Let m = -36 + 60. Suppose -3*h + 5*h - 20 = -3*i, -5*i + m = h. Suppose 3*g = -4*k - h + 79, -3*g = -4*k - 99. Is g a multiple of 13?
False
Suppose -4*y - 20 - 12 = 0. Let d = 15 + y. Suppose 38 = 3*z - 2*k, 4*z - d*z + 32 = 4*k. Is 7 a factor of z?
False
Let z be 86 + (-3 - 0 - -2). Suppose 0 = -4*d + 8, -4*d - 15 - z = -4*c. Let b = -19 + c. Is 3 a factor of b?
False
Suppose 0*y = -2*a - 2*y + 108, -20 = 4*y. Let k = -34 + a. Does 11 divide k?
False
Suppose 2*i - 1 = -19. Let r be (-1)/(-2) + i/(-2). Suppose r*b - 47 + 2 = 0. Does 4 divide b?
False
Suppose -2*i + 132 = -4*d, -7*d = -4*d - 3*i + 99. Let r = d - -61. Let m = -15 + r. Does 9 divide m?
False
Let m be (4/(-8))/((-2)/116). Suppose -2*c = m - 79. Does 11 divide c?
False
Suppose 0 = -f - 4*a + 5, 0*a = f + 5*a - 7. Let x be ((-2)/f)/(2/6). Suppose 7 + 17 = x*j. Is 12 a factor of j?
True
Let x(j) = -27*j + 3. Does 10 divide x(-1)?
True
Let m = -59 - -122. Does 17 divide m?
False
Suppose 5*n - 55 = 3*a, 0*a = -3*n + a + 29. Is 3 a factor of n?
False
Suppose -z + 69 = -4*a, 0*a = -5*z - 2*a + 323. Does 13 divide z?
True
Let o(j) = 4*j**2 - j. Let g(f) = -4*f**2. Let h(d) = -3*g(d) - 2*o(d). Is h(-3) a multiple of 16?
False
Suppose 1209 + 2458 = 19*j. Is j a multiple of 8?
False
Let t(u) = 5*u**2 + 4*u + 5. Is 4 a factor of t(-2)?
False
Suppose 0*z = 2*z + 10. Does 16 divide 1/z + 405/25?
True
Let a = 2 + 29. Does 4 divide a?
False
Let v(o) = -o**3 + 9*o**2 - 9*o + 8. Let w be v(8). Suppose p + 2*l = 45, w = 2*p - 5*p + 3*l + 108. Does 13 divide p?
True
Suppose 5*w + 3*k + 2*k = 35, -w + 3*k - 13 = 0. Suppose x + w*x = 36. Is x a multiple of 4?
True
Let p = -184 - -334. Is 11 a factor of p?
False
Suppose -6*j + 186 = 3*h - j, -3*h + 204 = -j. Suppose -5*d - 4*w = -2*w + 206, -4*d + 5*w = 145. Let s = h + d. Is s a multiple of 10?
False
Suppose 2*z = 6*z - 380. Does 19 divide z?
True
Suppose 18 = 3*f - 0*f. Let q(l) = -l**3 + 7*l**2 - 4*l + 2. Is q(f) a multiple of 7?
True
Let z(g) = -2*g + 11. Let l be z(-9). Let n = l - 20. Is 9 a factor of n?
True
Let j(g) = g**3 + g**2 + 4. Let r be j(0). Does 2 divide 1/r - 7/(-4)?
True
Let x = 60 + -24. Does 18 divide x?
True
Does 16 divide 12/15*(-340)/(-3 - -1)?
False
Suppose 0*p = -p. Let b = p - -7. Does 7 divide b?
True
Let k(u) = -7*u - 1. Let o be k(-8). Does 4 divide o/7 - (-5)/35?
True
Let a(k) = -k + 5. Let l(c) = 5. Let j(o) = 3*a(o) - 4*l(o). Does 13 divide j(-6)?
