1?
True
Suppose -3*o + 6*r + 19 = 4*r, -2 = r. Suppose -o*w + 8*w = 123. Does 14 divide w?
False
Let s(h) = -h**3 - 9*h**2 + 4. Let g be s(-9). Suppose 2*y = 5*z - 273, -g*z - y - 114 + 335 = 0. Does 11 divide z?
True
Does 4 divide 0 - 15*(-14)/(-35)*-1?
False
Suppose -m - 3*m = 3*g - 13, -5*m = -2*g + 1. Let c(u) = -3*u + 3. Let f be c(g). Is (22/f)/(4/(-24)) a multiple of 11?
True
Suppose 4409 = -4*x + 20921. Is x a multiple of 23?
False
Suppose 2*o - 2 = 2. Suppose -o*h + 90 = -52. Is h a multiple of 27?
False
Suppose -13*d = 14*d - 2700. Is d a multiple of 2?
True
Let x = -35 + 47. Let d = x - -44. Is d a multiple of 39?
False
Let v(t) = 10*t**2 + 3*t + 3. Let r be v(-1). Let k(h) = h**3 - 9*h**2 - 7*h - 2. Is 14 a factor of k(r)?
True
Let z(a) = a**2 + 35. Let s = -2 - 1. Let r(v) = v**2 + 35. Let m(p) = s*r(p) + 4*z(p). Is m(0) a multiple of 15?
False
Let n(i) be the second derivative of 0 + 1/5*i**5 + 0*i**2 + 1/3*i**3 + 2*i - 1/3*i**4. Does 10 divide n(2)?
True
Let c be (-16)/16*(-22)/2. Suppose 0 = c*m - 10*m - 198. Is m a multiple of 33?
True
Suppose -259*b + 264*b = 12600. Is b a multiple of 12?
True
Let h = -2426 + 5082. Is h a multiple of 74?
False
Let w = -960 - -1518. Is w a multiple of 93?
True
Let i = 12 - -1. Let l = 16 - i. Suppose -k + l*q = -0*q - 60, k - 80 = -2*q. Is 24 a factor of k?
True
Suppose -2*n + n = -2*z + 4, 4*n + 4 = 4*z. Suppose n*u + 4*u - 168 = 0. Is u a multiple of 10?
False
Is 14 a factor of 258/(-4)*140/(-15)?
True
Let u(h) = -2*h**2 + 4*h - 6. Let b be u(3). Let r be b/10*90/(-12). Let t(g) = -g**3 + 10*g**2 - 8*g + 5. Is t(r) a multiple of 3?
False
Suppose -19*w + 14*w + 505 = 0. Let k = w + -1. Does 25 divide k?
True
Suppose 3*c = -3*v + 2286 + 189, 2*v = 8. Does 57 divide c?
False
Let y = 37 - 40. Does 13 divide 2/6*y*-30?
False
Suppose -99 = -5*s + 251. Is 18 a factor of (2 + s)*1/2?
True
Let n be ((-6)/4)/(12/(-16)). Suppose 4*i = -0*i - 5*r, -4*i + 12 = n*r. Suppose -i*u - 420 = -5*j, 15 = -0*u + 3*u. Does 23 divide j?
False
Let t = 854 - -319. Is 51 a factor of t?
True
Let g = -2142 - -4496. Is 24 a factor of g?
False
Is 21 a factor of (-2 - -4 - -2) + 164?
True
Suppose 107 = 2*i + 7. Suppose -3*o - 12 = 4*n, -n = 2*o - 0*o + 3. Suppose z = -o*z + i. Does 14 divide z?
False
Suppose 4*v - 2*l - 698 = 0, 4*v - 8*v + 695 = -5*l. Is 20 a factor of v?
False
Let z(f) = 4*f**2 + 7 - f + f**3 - 5*f + 2*f**2. Let g be z(-7). Suppose 2*s + d = 31, -5*s + 3*d + 2*d + 85 = g. Is s a multiple of 4?
True
Suppose -8*l = 431 - 79. Let c = 49 + l. Is 2 a factor of c?
False
Let j = 4710 + -2282. Does 16 divide j?
False
Let j(b) = b + 2. Let r be j(-1). Does 11 divide -1*113/r*-1 + -1?
False
Let l be (-25)/(-35) + (-2)/(-7). Let m(r) = 5*r + l - 4*r - 2*r. Is m(-5) a multiple of 3?
True
Does 2 divide ((-205)/15 - -3)*-6?
True
Suppose 2*i - 4*s - 22 = 0, -2*i + 15 = i + 3*s. Let p = i + -7. Suppose p = -m + 2*m - 6. Is m a multiple of 6?
True
Let x(v) = -v**2 - 8*v - 6. Let i(g) = g. Let f(u) = -4*i(u) - x(u). Suppose -3*y + 0*y - 18 = 0. Does 6 divide f(y)?
True
Let h(r) = 29*r**2 - 54*r - 382. Is h(-7) a multiple of 19?
False
Does 4 divide (1952/(-28) + 4)*-7?
True
Suppose 4*z + 100*x - 6271 = 101*x, -3133 = -2*z + x. Does 49 divide z?
False
Let c = 51 - 57. Does 35 divide 10/30 - (0 + 634/c)?
False
Suppose 15 = 5*x, 24*x - 1779 = -3*a + 19*x. Is 14 a factor of a?
True
Let v(q) = 520*q**2 + q + 2. Does 17 divide v(-1)?
False
Suppose 8*z + 1394 - 266 = 0. Let w = 170 + z. Does 25 divide w?
False
Let s = 180 - 20. Is s a multiple of 101?
False
Does 12 divide ((-85)/34)/(1/(-12))?
False
Let y(o) = -175*o**3 - 5*o**2 - 2*o - 1. Does 10 divide y(-2)?
False
Is (-18040)/(-25) - 7 - 2/(-5) a multiple of 31?
False
Let h(w) = w**3 + 4*w**2 - 15*w - 34. Is h(10) a multiple of 64?
True
Let l be 4 - 4/(20/95). Let b = l - -42. Is b a multiple of 9?
True
Let i(g) = g**2 - 13*g - 62. Does 32 divide i(-10)?
False
Suppose 2*n - 313 = -3*m - 2*m, 73 = m + 3*n. Suppose -m + 48 = -r. Does 13 divide r?
True
Suppose -4*a = -836 + 164. Suppose 4*c + 5*g - a = 72, 77 = c - 3*g. Is 13 a factor of c?
True
Is (-4 - -4506)*(-7)/(-14) a multiple of 16?
False
Suppose 4*u - 2*u - 2*q - 18 = 0, 2*u + q - 9 = 0. Let t(k) = 20*k - 15. Is t(u) a multiple of 21?
True
Let f = 337 + -184. Suppose -5*i + 4*y + 39 = f, 3*i - 3*y + 66 = 0. Let j = 45 + i. Is j a multiple of 8?
False
Let b be ((-6)/12)/((-2)/(-4)). Let d(w) = -4*w**3 - w. Let y be d(b). Suppose y*k + 47 = 177. Is k a multiple of 13?
True
Let n(x) = -6*x**2 - 6*x + 2. Let g(s) = 5*s**2 + 4*s - 1. Let b(q) = 4*g(q) + 3*n(q). Let w be (-66)/(-14) + 4/14. Is b(w) a multiple of 19?
False
Let v(h) = -h**3 - 10*h**2 - 8*h + 7. Let z be v(-9). Is 23 a factor of z*(9/3 - 26)?
True
Suppose -3*a = -48 - 102. Let i = a - -17. Suppose -3*y + 4*j = -0*y - 181, y = -2*j + i. Is y a multiple of 13?
False
Suppose -16*i + 3259 = -7781. Is i a multiple of 30?
True
Let p(t) = -273*t**2 - 10*t + 8 + 136*t**2 + 136*t**2. Let r be ((-24)/(-2))/(6/(-4)). Does 8 divide p(r)?
True
Let p = -153 - -218. Suppose p = 5*s - 210. Does 16 divide s?
False
Suppose -4*d = 147 - 51. Does 28 divide (d/(-15))/(-4) - 884/(-10)?
False
Suppose 0*g + 5*i = g - 132, 3*i = 3*g - 360. Suppose -q + 2*q = g. Does 39 divide q?
True
Let v be (2 - 8)/(-3)*1. Suppose v*s - 6 = 6. Suppose s*k = k + 180. Is k a multiple of 12?
True
Suppose -58*n = -54*n - 1344. Is 6 a factor of n?
True
Let y be 10185/14 + 2/4. Suppose -6*a = -13*a + y. Does 14 divide a?
False
Suppose 3*y - y = 104. Let x = y + -25. Suppose 4*f - x = 21. Is 6 a factor of f?
True
Let p(r) = 8*r**2 - 442 + r**3 + 223 + 227 + 5*r. Let o be 2*((-3 - 0) + 0). Does 10 divide p(o)?
True
Let z(h) = -h**2 - 2*h**2 + 12 + 5 + 13*h + 2*h**2. Let m be z(14). Suppose 50 = m*b + 2*b. Is b a multiple of 7?
False
Let v(d) be the second derivative of 7*d**4/24 + d**3/6 - d**2 - 4*d. Let x(l) be the first derivative of v(l). Does 15 divide x(2)?
True
Suppose 5*l - 589 = -2*i, 4*i + 142 - 1341 = -3*l. Suppose 3*s = 3, i = 4*b - 5*s + 79. Is 5 a factor of b?
False
Suppose -5*x + 369 = 4*b, -3*b + 48 = -5*x - 185. Is 10 a factor of b?
False
Let y = -1832 - -5650. Is y a multiple of 83?
True
Let t(x) = 17*x + 43. Let k(g) = 11*g + 29. Let b(a) = -8*k(a) + 5*t(a). Is 16 a factor of b(-18)?
False
Suppose v = y + 2*y + 7, -5*v + 15 = -5*y. Let j be y/(-1) + 2 + -2. Suppose -j*p = 4*p - 210. Does 16 divide p?
False
Suppose -s - 13 = -4*s + 5*w, 2*w + 3 = -s. Let u be (s - 2) + (5 - 4). Suppose u = -4*c - 0*c + 96. Does 16 divide c?
False
Let z(a) = 98*a**2 + 5*a + 3. Does 11 divide z(-2)?
True
Does 89 divide -6*(-6)/(-12) + 2 + 713?
True
Suppose 0 = 4*i - j - 6845, -5*j + 6830 = 4*i - 3*j. Is i a multiple of 90?
True
Suppose -5 = z - l, 3*l + 6 = -z - 3*z. Is 22 a factor of 2*346*(-4)/(-16) - z?
True
Let t = 130 - 73. Let x be (-24)/(-6) + t/1. Suppose 0 = -2*i + i + x. Is i a multiple of 24?
False
Let s(o) = -5*o**3 + 11*o**2 + 6*o + 10. Let a(x) = 11*x**3 - 23*x**2 - 11*x - 20. Let d(b) = -3*a(b) - 7*s(b). Is d(7) a multiple of 17?
True
Suppose 0 = -2*h - 42 + 186. Suppose -h = 3*u - 4*u. Let q = u - 34. Does 19 divide q?
True
Let f = 70 - 45. Suppose 0 = -5*q - f, -2*s + 3*q = -3*s + 100. Is s a multiple of 23?
True
Let k(i) = 90*i - 741. Is 17 a factor of k(31)?
False
Let v(t) = 8*t**2 + 52*t + 52. Is 7 a factor of v(-11)?
True
Let g be -9*(1 + (-1 - 2)). Let w(u) = u**2 - 8*u + 10. Let c be w(7). Suppose 4*t + 0*s + 2*s = 14, -5*t = c*s - g. Is t even?
False
Let u = -62 + 85. Is u - 2 - ((-15)/5 + 2) a multiple of 7?
False
Let v = -5 + 5. Let a be -6 - -6 - (v - -4). Let k(w) = w**3 + 4*w**2 - w + 2. Does 3 divide k(a)?
True
Suppose -2*a - 11167 = -5*l, 2*l + 2388 = 3*a + 6857. Is l a multiple of 11?
True
Let c(g) = -g**3 - 7*g**2 + g + 10. Suppose k + 2*k = -21. Let i be c(k). Suppose 5*s + 8 = b, -i*b - s + 2*s + 24 = 0. Is b a multiple of 4?
True
Does 7 divide (1 + 545/(-20))/((-2)/8)?
True
Let r = 48 + -20. Let n = r - -40. Does 16 divide n?
False
Let s(h) = -h**2 - 43*h - 224. Does 26 divide s(-14)?
True
Does 3 divide 8 + 2 - 910/(-14)?
True
Suppose 263*g - 17108 = 250*g. Is 12 a factor of g?
False
Let t = 2500 + -1768. Is 6 a factor of t?
True
Suppose 0*g + 9*g - 27 = 0. Suppose -2*z +