ppose 2*m + 3*m - 25 = 0. Let z be (((-8)/3)/(-1))/((-3)/(-27)). Suppose -m*g = z + 1, 4*g - 10 = -5*l. Is 6 a factor of l?
True
Suppose -2*r = -w - 4*r + 53, 0 = -2*w - r + 94. Let q = w - 28. Is 9 a factor of q?
False
Suppose -14*o + 6*o + 1984 = 0. Let p = o + -28. Is p a multiple of 22?
True
Suppose 4*t - 258 + 74 = 0. Is t a multiple of 5?
False
Let z(g) = g**3 + 4*g**2 - 8*g - 1. Does 7 divide z(-5)?
True
Let w be (-3)/(-7) - (-24)/(-56) - -10. Suppose h = 2*p + w, -19 = -2*h + 6*p - 3*p. Does 4 divide h?
True
Let z(d) = d**3 - 6*d**2 + 5*d - 6. Let w = -9 + 15. Is 5 a factor of z(w)?
False
Let z(o) = -o**2 + o + 16. Let u = 4 + -2. Suppose -4*l + 2 = -5*g - 2, 0 = u*g + 3*l - 3. Does 11 divide z(g)?
False
Is 33 a factor of -5 - ((-7140)/100 + 2/5)?
True
Suppose 2*f + 19*v - 4419 = 22*v, -3*f + 6632 = -v. Does 67 divide f?
True
Let j = 92 - 44. Let q = j - 3. Does 22 divide q?
False
Let l(d) = 3*d - 1. Let v be l(1). Suppose -8 + 4 = -v*w. Is w even?
True
Suppose -386 = -5*c + u, 3*u - 298 = -4*c + 26. Suppose r + 23 = c. Does 4 divide r?
False
Let s(z) = -8*z + 7. Suppose 2 = -u + 5. Let x be s(u). Let n = x + 23. Is n a multiple of 3?
True
Suppose -3*c - c = -3480. Suppose -9*f - f + c = 0. Is 23 a factor of f?
False
Let v be (-126)/(-27)*(-36)/(-7). Does 27 divide ((-64)/v)/(2/(-66))?
False
Let a(r) = 2 + 0 + 7*r - 7 - 7. Is a(6) a multiple of 5?
True
Let a be 0/(3/(1 + 2)). Suppose a*p + 2*p + 4*t = 894, 443 = p - 2*t. Suppose 0 = -4*f + 55 + p. Is f a multiple of 36?
False
Let d(b) = 2*b**2 - 4*b - 5. Let u(q) = q**3 + 6*q**2 + 3*q - 3. Let t be u(-5). Let j be t + (-2)/(-2)*-2. Is d(j) a multiple of 10?
False
Let x(b) = 539*b - 59. Is x(3) a multiple of 86?
False
Is (2/3)/(6/351) a multiple of 13?
True
Suppose -3*f = -2*c + 2, 2*f + 2*c + 0 = 2. Suppose 3*b = 12 - f. Does 6 divide (b/(-16))/((-1)/116)?
False
Let v = 37 + -9. Let y = 8 + v. Is 6 a factor of y?
True
Suppose -5*d + 875 = b, d - 1078 - 1533 = -3*b. Is 3/(42/4) + b/42 a multiple of 7?
True
Let j = -1 - 2. Let x be 25 - (-9)/j*1. Suppose 6 = 2*y - x. Does 2 divide y?
True
Let c be (3 + -2)/((-1)/2). Let i(v) = v**2 - 4. Let h be i(c). Suppose 5*d = 5, 114 = -h*t + 3*t - 3*d. Is t a multiple of 23?
False
Suppose 0 = -9*x + 12*x - 177. Suppose -1199 = -6*d - x. Does 24 divide d?
False
Let o(h) = h**2 + 66*h - 15. Is o(14) a multiple of 13?
True
Let p(u) = 2*u + 3. Let t = 0 - -11. Is p(t) a multiple of 4?
False
Let h = -774 + 2054. Is 27 a factor of h?
False
Suppose 0 = 7*w - 2187 + 423. Suppose -49 = -7*n + w. Is 7 a factor of n?
False
Suppose m = -4*o - 4*m + 111, 0 = 2*o + 4*m - 48. Suppose o = v - 48. Suppose -a - a + v = 0. Does 11 divide a?
False
Let d be 376/(-16) + (-2)/4. Let i be -1 + 0 - d/8. Suppose i*r = 2 + 20. Is r a multiple of 11?
True
Suppose -w - 6 = -9. Suppose 2*m + 3 = -4*g + 3*m, -3 = w*g - m. Suppose -3*l - 5*i + 90 = g, 2*l - 102 = -l - i. Is l a multiple of 7?
True
Let h(c) = -c**3 + 4*c**2 - 5*c + 2. Let i be h(3). Let r = 28 - i. Is 16 a factor of r?
True
Suppose -10*j - 309 + 69 = 0. Let a = 8 - j. Does 20 divide a?
False
Let c be 172/(-6) - 8/(-12). Let z be ((-6)/(-4))/((-21)/c). Does 13 divide 2/(0 + z)*21?
False
Suppose 0 = 8*s + 5 + 467. Let b = s + 103. Is 8 a factor of b?
False
Let d(n) = -n**2 - 12*n + 1. Let i = -54 + 45. Is d(i) a multiple of 28?
True
Suppose 10 = -s + 4*r, s - 5*r + 44 = 5*s. Suppose -s*m + 11 = -55. Is 3 a factor of m?
False
Let k(m) = m**3 + 16*m**2 + 5. Let h be k(-16). Let r = h + -3. Does 10 divide 1 - r/(-2)*39?
True
Let g(o) = 64*o**2 + 2*o - 2. Let x be g(2). Suppose 4*u - x = 150. Suppose 4*p - u = 30. Does 11 divide p?
True
Let w(r) = r + 4. Let l be w(-2). Suppose l*d = 60 + 60. Does 15 divide d?
True
Suppose 8*j = -2*j + 40. Suppose 4*z - s + j*s = 247, -s + 121 = 2*z. Is z a multiple of 9?
False
Let i(o) be the second derivative of -o**3/2 + 9*o**2/2 - 4*o. Let f be i(-7). Suppose -4*w - f + 198 = 0. Does 13 divide w?
False
Suppose 0 = -2*f + 4 + 30. Suppose f*d - 20*d = -96. Is d a multiple of 10?
False
Let u(s) = -s**3 + 12*s**2 - 7*s - 10. Let v be u(11). Suppose v*i + 213 = 37*i. Does 33 divide i?
False
Does 63 divide 478*1/(-2)*(-36)/9?
False
Let a = 165 - 2. Is a even?
False
Suppose 0 = 4*b - 1 + 5. Let r(w) = -22*w. Let c be r(b). Does 18 divide 2/2 + c - -2?
False
Does 64 divide (19/(399/1092))/(2/133)?
False
Let d(c) = 76*c**2 - 57*c - 2. Is d(2) a multiple of 2?
True
Is (-1162 - -1)*(-10 + 15)/(-15) a multiple of 3?
True
Let t(g) = g**3 + 18*g**2 + 12*g + 23. Does 7 divide t(-8)?
True
Is (-50280)/90*(-3)/4 a multiple of 33?
False
Suppose -3*m = u - 2238, 2*u - 5*m - 4468 = -7*m. Is u a multiple of 6?
True
Let p(g) = -36*g - 3. Let t be p(-1). Suppose 2*m + 1 - t = 0. Is 16 a factor of m?
True
Suppose -v + 3*a + 42 = 0, -73 = -3*v + a + 37. Is 12 a factor of v?
True
Let j be 4*(1 - (-211)/4). Suppose 4*v + 90 = 2*k, -3*k - 2*k + 5*v = -j. Suppose m + f - 2*f = 9, 5*m = 4*f + k. Is 5 a factor of m?
True
Does 38 divide -1 + (-129)/2*-4?
False
Let q = -6 + 9. Suppose q*j = -7 + 25. Suppose -3*m + j = 3, -3*g + 33 = 3*m. Is g a multiple of 10?
True
Let p(i) = i + 2. Let b(v) = -v**2 + 20*v + 11. Let f(m) = -b(m) + 6*p(m). Is 5 a factor of f(15)?
False
Let d(v) = -v**2 - 12*v + 12. Let n be d(-12). Let s(x) = x**2 - 3*x - 19. Is s(n) a multiple of 29?
False
Let p(n) = n**3 + 13*n**2. Let t be p(-13). Suppose t*m - 3 = -m. Suppose m*r = 4*v + 31, -3*r - 16 = -3*v - 52. Is r a multiple of 8?
False
Suppose 27*i = 45*i - 62496. Does 124 divide i?
True
Let y(b) = -b**2 + 7*b. Let o be y(7). Suppose -d - 3 + 27 = o. Suppose v - d = -8. Is 4 a factor of v?
True
Let c = -108 + 141. Does 5 divide c?
False
Is 1/5 - (2 + (-4464)/30) a multiple of 36?
False
Let k = 6357 + -2923. Is 101 a factor of k?
True
Suppose -64*k + 8740 + 1308 = 0. Is k a multiple of 33?
False
Let b be 456*(-3 + 4)/2. Is 16 a factor of (-2 + b/42)*14/1?
True
Let o = 212 - -54. Let j = 502 - o. Is j a multiple of 15?
False
Let w = -1632 + 1840. Does 4 divide w?
True
Suppose 2*y + 4*k = 3*y, y - 2 = 2*k. Suppose 3*t = -a + 6*t + 32, a + 4*t - y = 0. Is 5 a factor of a?
True
Suppose -i = 1, 2*j - 815 - 209 = 4*i. Let w = j - 288. Let t = -141 + w. Is 27 a factor of t?
True
Does 9 divide (-3)/(-5) - (-3 + 2196/(-15))?
False
Is 69147/143 + (-12)/22 a multiple of 23?
True
Suppose -2*s + 14 = -0*s. Let c be 0 + 151 - (10 - s). Suppose -34 = -v - 2*r, c = 3*v + v + 2*r. Is v a multiple of 19?
True
Let b(d) = -6*d + 6. Let c be b(13). Let m be 110/8*c/(-9). Suppose 2*t + 3*t - m = 0. Does 7 divide t?
False
Let u(j) = -6*j**3 + 65*j**2 + 99*j + 1. Let v(g) = -g**3 + 13*g**2 + 20*g. Let w(d) = -2*u(d) + 11*v(d). Is 17 a factor of w(-10)?
False
Suppose -3*s + 92 = 2*t, 8*t = 3*t + 2*s + 268. Let w = 109 - t. Suppose -y = -4*g + 4*y + w, -2*g + 33 = -y. Is g a multiple of 9?
True
Let m(s) = s**3 - 6*s**2 - 20*s + 1. Is 25 a factor of m(12)?
True
Let f = 5745 + -2607. Does 44 divide f?
False
Is 124 a factor of ((-2)/(-4))/((-2)/(11996/(-1)))?
False
Let h(m) = 304*m**2 + 2*m. Does 18 divide h(1)?
True
Suppose -76 = -2*m - t - 24, 4*m - t = 92. Let i be (-1)/(0 + 4/m). Is (i - -5)*43/(-1) a multiple of 11?
False
Suppose 7*o + 10 = 2*o - 2*k, -4*k = 20. Suppose 6 = -o*h - 2*h, 4*h = u - 56. Suppose 39 = 3*n - d + 4*d, u = 5*n - 2*d. Is 5 a factor of n?
True
Let q(d) = -d**3 + d**2 + d - 1. Let m(b) = 3*b**3 + 6*b**2 - 3*b - 11. Let x(i) = -m(i) - 2*q(i). Let o be x(-9). Let p = o - 31. Is 27 a factor of p?
True
Let a(t) = 101*t**3 - t**2 - t + 1. Let y be (-2 + 0)*(-2)/4. Is 10 a factor of a(y)?
True
Let d = 701 - 421. Let k be d/(-12)*108/(-21). Let m = k + -62. Is m a multiple of 29?
True
Let w be (-3824)/(-10) - 6/15. Let j be (-5 + 4)/((-2)/w). Suppose -j = -3*z - 29. Is z a multiple of 18?
True
Suppose 5*f - 20 = 0, 4*r - 5*r + 64 = f. Is 5 a factor of r?
True
Let x(j) = j**3 - 4*j**2 - 2*j + 1. Let q be x(5). Suppose -5*d = 9 - 24. Suppose h = -d*h + q. Is h a multiple of 4?
True
Let a be -1236*(-3 - 21/(-9)). Let k be 2/9 + a/18. Let m = k - 30. Is m a multiple of 6?
False
Let s = 788 + -449. Does 45 divide s?
False
Let s = 121 - 91. Is ((-18)/4)/(81/s - 3) a multiple of 12?
False
Let x be (((-42)/12)/1)/((-1)/12). Suppose -3*f - 42 = -3*z, -x 