 + 90. Is i a multiple of 2?
False
Suppose 6 = 2*w - 3*o, -2*w - 4*o + 10 = 4. Suppose -3*k = -w*c + 2*c - 63, 0 = -4*c - 12. Does 5 divide k?
True
Let k(s) = s**2 + s - 5. Let o be k(3). Let w(z) = -z**2 - 7*z + 20. Let f be w(-9). Suppose f*j - 161 - o = 0. Is j a multiple of 12?
True
Let j(k) = 76*k**2 + 14*k + 34. Is 52 a factor of j(-3)?
True
Let d be 3/(2/(0 + 4)). Does 22 divide 44/d*(-9)/(-3)?
True
Let i(h) = 11*h**2 - 6*h - 9. Suppose b - 2*p = 4*b - 1, 2*p = -2*b + 4. Is i(b) a multiple of 17?
False
Suppose -2*c = -4*d - 592, -c = -135*d + 140*d - 268. Does 36 divide c?
True
Suppose 110*g = 118*g - 2272. Is g a multiple of 43?
False
Let q(v) = -55*v - 48. Let x be q(-10). Does 8 divide x/7 - (12/7 - 2)?
True
Let l be (16/(-10))/((-18)/45). Suppose 5*p = -l + 169. Does 7 divide p?
False
Let h(i) = 5*i - 1. Let z be h(1). Suppose 9*u - z*u - 20 = 0. Suppose 0*a - u*a = -5*g - 27, -2*a + 16 = -2*g. Does 4 divide a?
False
Let m(t) = -2*t**3 - 14*t**2 + 53*t + 112. Is 51 a factor of m(-13)?
False
Suppose 0 = 3*h + 5*y - 80, 3 = 3*y. Let p be (15/h)/(2/(-10)). Is p + 2 + (1 - -69) a multiple of 19?
False
Let m(b) = -3*b. Let n be m(-3). Suppose -12*p + 228 = -n*p. Suppose -4*i = 5*u - p, 3*i + 44 = 5*u - 4. Is 3 a factor of u?
True
Let q = -3 - -1. Let z = -7 - q. Is 11 a factor of (4/z)/((-16)/440)?
True
Let h(d) = -6*d + 2. Let u be h(5). Let i = u - -59. Does 8 divide i?
False
Let m = -2911 - -5061. Is 25 a factor of m?
True
Suppose m - 216 - 110 = 0. Is m a multiple of 3?
False
Suppose -47*m + 3354 = -406. Is 5 a factor of m?
True
Let q be (-3)/12 - (-34)/8. Suppose -2*l + 4*a = -86, -q*l + 136 = a - 0*a. Is l a multiple of 5?
True
Let j be (-2)/(-1)*21/6. Suppose -3*y + j*y = 20. Suppose -m + 1 = 2*d, y*d - 3*m = -7*m - 5. Is 3 a factor of d?
True
Let g be (25/(-50))/((-2)/(-732)). Let l = 365 + g. Is 26 a factor of l?
True
Let u = 882 + -795. Is u a multiple of 11?
False
Let k(b) = -b**3 + 13*b**2 + 3*b. Does 15 divide k(12)?
True
Does 25 divide (1 - 0)/(3/670)*15?
True
Suppose -1 = -4*l + 7. Let x be 330/25 + l/(-10). Let p = -6 + x. Is 3 a factor of p?
False
Let l be (4/10)/((-5)/225). Let k be (-4)/l + 75/27. Suppose 2*q = -k*q + 70. Does 4 divide q?
False
Let p = 161 + 96. Let d = 408 - p. Does 12 divide d?
False
Suppose -i - 3*o - 62 = -o, -5*o - 245 = 4*i. Does 15 divide (416/(-65))/(2/i)?
False
Let h(z) = -24*z - 65. Is h(-5) even?
False
Suppose 4*s = 10*s - 4752. Does 14 divide s?
False
Let n = 27 - 25. Suppose n*b - 52 = 4. Is b a multiple of 14?
True
Is (3861/22)/(3/(-48)*-4) a multiple of 9?
True
Suppose 12*l + 2*h - 2023 = 7*l, 2*l - 810 = -h. Is 31 a factor of l?
True
Is (-120)/(-5)*425/20 a multiple of 10?
True
Let m(q) = -38*q - 23. Let i be m(-16). Does 3 divide i/26 + 2/4?
False
Suppose 81 = -3*h - 4*w - 24, 2*h - 5*w = -70. Does 2 divide (-3)/7 - 505/h?
True
Suppose 10570 = -n + 15*n. Is n a multiple of 89?
False
Let h = -10 - -15. Suppose 4*z = 3*z + h. Suppose 10 + 44 = 2*m + 2*x, 0 = -z*m - 4*x + 137. Does 9 divide m?
False
Let i = 3 + -6. Let g(p) = 18*p + 4. Let h(t) = -18*t - 4. Let m(z) = i*h(z) - 2*g(z). Is m(3) a multiple of 14?
False
Let q(h) = -5*h**3 + 39*h**2 + 5*h + 9. Let c be q(8). Suppose -o + 4*o = -9. Let g = o - c. Is g a multiple of 7?
False
Let g(i) = 2*i**3 - 25*i**2 - 11. Let k(w) = w**3 - 12*w**2 - 6. Let l = 28 + -35. Let b(h) = l*k(h) + 3*g(h). Is b(9) a multiple of 9?
True
Suppose -4*k + 0*k + 1240 = 0. Is k a multiple of 13?
False
Let v(r) = r + 1 - 6 - 2 + 2 + 2*r**2. Let i be v(-8). Suppose 5*z + 15 = i. Is 20 a factor of z?
True
Suppose 23*s = -18991 + 54825. Is s a multiple of 51?
False
Is 13 a factor of 8 - (-147 - 2 - 12)?
True
Let u be ((-156)/(-9))/((-4)/(-6)). Let r = 101 - u. Does 25 divide r?
True
Suppose 6*q = d + 3*q - 185, 3*d + 5*q - 527 = 0. Is 9 a factor of d?
False
Let c(i) = 21*i**3 + i - 1. Let z(p) = p**3. Let a be z(1). Does 10 divide c(a)?
False
Let l = 5 - 0. Let q = 145 + -43. Suppose -2*i = -3*w - 3*i + 140, -2*w = l*i - q. Is w a multiple of 8?
False
Suppose 7*k = 21 - 364. Is 10 a factor of 3/(-7) + (-1344)/k?
False
Suppose 984 = 5*s + 4*t, -2*s + 284 + 96 = 5*t. Is s a multiple of 50?
True
Let j(c) = c**2 - 6*c + 12. Let i(f) = f**3 - f + 8. Let q be i(0). Let t be j(q). Suppose y + 1 - t = 0. Does 9 divide y?
True
Let r(z) = -2*z**2 + 25*z - 5. Suppose -g = 4*w - 37, 3*w - 14 = w - 2*g. Is r(w) a multiple of 7?
False
Let c(i) = 6*i**2 - 14*i + 41. Does 18 divide c(10)?
False
Suppose 3*t + 142 = -5*l, -4*l + 9*l + 2*t + 143 = 0. Let j = -2 - l. Does 9 divide j?
True
Let j = 55 - 35. Suppose 0 = 10*h - 5*h + j. Is 8 a factor of (h + -4)/((-1)/2)?
True
Suppose -12*z - 2*z = -17472. Does 52 divide z?
True
Let o(q) = -5*q + 12. Let s(f) be the second derivative of f**2/2 + 10*f. Let z(u) = o(u) - 3*s(u). Is z(-12) a multiple of 23?
True
Suppose 0 = -9*u + 1520 + 181. Suppose u = 52*d - 49*d. Is d a multiple of 9?
True
Let d = 257 - 40. Does 7 divide d?
True
Let b = -735 + 1181. Is 47 a factor of b?
False
Suppose -n + 2*x = -74, 2*x + 5 = 3*x. Does 7 divide n?
True
Suppose 2217 = 2*x - 13*g + 10*g, -3 = -3*g. Is x a multiple of 81?
False
Suppose -p = -5*p + i + 607, -4*i = -4. Let b = 183 - 180. Suppose 0 = -b*k - k + p. Is 19 a factor of k?
True
Suppose -5*a = 329 - 1824. Is a a multiple of 7?
False
Let l be (1*2/(-5))/(8/(-80)). Suppose l*n + 21 = 89. Does 2 divide n?
False
Let y(n) = -n. Let k be y(-4). Let z be k + 6*190/4. Does 17 divide (0 + 6)*z/51?
True
Suppose -z + 6*z - 10 = 0. Suppose -3*n = -3*b + 228, 5*n - 240 = -3*b + z*n. Is 14 a factor of b?
False
Let d = -63 + 69. Suppose -d*f + 12 + 18 = 0. Does 2 divide f?
False
Let n(d) = 137*d - 163. Does 29 divide n(5)?
True
Suppose -1381 = -3*z - 2*c, -2*z - 10*c + 8*c + 922 = 0. Is z a multiple of 14?
False
Suppose 3*r - 9 = 0, -10*s + 7*s + 4932 = 4*r. Does 40 divide s?
True
Suppose 10 = 2*r, 2*r + 400 = 5*c - r. Let h = c + -165. Does 11 divide 3 - h/(10/5)?
True
Suppose -11*u - 1 = -298. Is u a multiple of 3?
True
Suppose 370 = 5*x + 8*h - 4*h, -4*x - h + 307 = 0. Is x a multiple of 39?
True
Let b be -23 - 5/10*2/(-1). Does 6 divide 1/((-6)/(-9)*(-3)/b)?
False
Suppose 3*p + 27 = -3. Let b = 22 + p. Is 8 a factor of b?
False
Does 11 divide ((-487)/(-2))/(45/10 + -4)?
False
Let x = 272 + -100. Let a = 310 - x. Is a a multiple of 11?
False
Suppose 39 - 287 = 4*j - 4*w, -5*w - 154 = 3*j. Let u be 33/6*16/1. Let v = j + u. Is 30 a factor of v?
True
Let q(l) = -3*l**2 - 5*l - 5. Let j(n) = 4*n**2 + 5*n + 6. Let b(g) = -2*j(g) - 3*q(g). Let m be b(-3). Is 7 a factor of 12 + (-6)/(9/m)?
True
Suppose 63*l - 51*l = 15492. Is l a multiple of 53?
False
Let c be (0 - -1)*48/16. Suppose 0 = -5*u - m + 12, 5*u - 6 = -0*m - c*m. Suppose 0*l - u*l = -147. Is 7 a factor of l?
True
Suppose g - 3*g = -54. Let x = g - -21. Does 16 divide x?
True
Let y be 0 + 0 + (-24 - 1). Let h = y + 94. Suppose 5*a - 6 = -n, 4*n - 30 - h = -5*a. Is 11 a factor of n?
False
Let q = 435 - 276. Is q a multiple of 48?
False
Let r be ((-12)/10)/(3/(-20)). Suppose -3*g + r*g - 10 = 0. Suppose f - g = 12. Is f a multiple of 7?
True
Suppose -3*y = 2*y. Let m(c) = -4*c**2 + 3*c**2 + 11 + 8*c + y*c**2 - 2. Does 8 divide m(7)?
True
Let x(v) = -4*v**3 - 2*v**2 - 19*v - 35. Is x(-6) a multiple of 13?
True
Let j(s) = 3*s**2 + 5*s - 38. Is 32 a factor of j(-9)?
True
Let d = -40 - -1195. Does 55 divide d?
True
Suppose -q - 7*s + 960 = 0, 0 = -3*q - s + 4770 - 1910. Is 18 a factor of q?
False
Let v(p) = -8*p + 3. Let h(i) = -26*i + 7. Let g(k) = 3*h(k) - 8*v(k). Suppose -f = f + 4. Is g(f) a multiple of 5?
True
Suppose 3*u - 4*q + 0*q = 283, 0 = 4*u + q - 352. Is u a multiple of 5?
False
Suppose -q - 2 = 3*s - 5*s, q - 5*s = -17. Suppose -h + q = -0*h. Suppose 11*k = h*k + 126. Is k a multiple of 6?
True
Suppose -15*m + m = -490. Let c = m - -42. Is c a multiple of 11?
True
Suppose -u = 64*u - 15275. Suppose -795 = 4*q + q - 5*l, -3*q - 492 = 2*l. Let v = u + q. Is 11 a factor of v?
False
Suppose 0*d + 3 = d. Suppose -8*b = -d*b - 25. Suppose -5*l = -3*u + 130, -u = -b*u + 2*l + 164. Does 29 divide u?
False
Is 14 a factor of (-15)/40 - 2571/(-8)?
False
Suppose 4*p + 14 = -3*i, 2*i - 28 = -2*i + 4*p. Suppose -4*u + 0*u = -140. Is 9 a factor of 1*(i + -