s ((-1375)/33 - -9)/(2/(-12)) a multiple of 37?
False
Let j(g) be the third derivative of g**4/24 + 17*g**3/3 + 22*g**2. Does 14 divide j(0)?
False
Suppose t - 4*x + 24 = 5*t, 0 = -3*t - 5*x + 26. Let y(f) = -25*f + 2. Let i be y(-4). Suppose -i = -t*v + v. Is 22 a factor of v?
False
Let j(s) = -5 + 9*s**3 + 1 + 6*s**2 + 5*s - 8*s**3. Let w be j(-5). Let q(t) = -3*t - 5. Is 7 a factor of q(w)?
True
Suppose -4*x = 5*d + 577, 3*d = -x + 2*d - 145. Suppose -28*r = -33*r + 15. Is 13 a factor of x/8*(-6)/r?
False
Suppose 50*x + 1480 = 55*x. Is 8 a factor of x?
True
Suppose 5*j + 2*s - 202 = 0, 3*s + 118 = 3*j + s. Is 4 a factor of j?
True
Suppose 7*x = 2*x - 2*s + 16, 0 = 2*x + 5*s - 19. Suppose x*d + 8 = -2*d. Is 3 a factor of 9 + -4 - (4 + d)?
True
Let o(a) = -8*a - 64. Is o(-33) a multiple of 10?
True
Let g be (-552)/(-84) + 4/(-7). Let j(w) = -w**3 + 7*w**2 - 5*w + 34. Does 10 divide j(g)?
True
Let x(l) = -2*l**3 + 23*l**2 - l - 11. Does 33 divide x(11)?
True
Suppose 4*i + 4*x - 23 = 5, -4*i = -2*x - 22. Does 3 divide (0 + -2)*(-63)/i?
True
Let u = -22 + 27. Suppose -u*o + 53 = -137. Is o a multiple of 12?
False
Let u = -19 - -24. Let r be (14/35)/(1/u). Suppose -r*g + 20 = -82. Does 21 divide g?
False
Let n(k) = -13*k**3 + 2*k**2 + 3*k + 2. Let s be n(-1). Suppose 0 = p - 3 - s. Is p a multiple of 3?
False
Let r(f) = f**3 + f**2 + 5*f - 23. Is 13 a factor of r(7)?
False
Let o = -18 + 63. Is 15 a factor of o?
True
Let w(r) = -2*r**2 - 5*r + 1. Let j be w(-5). Let a be j/16 + 6/4. Suppose a = -3*n - 3 + 15. Is 4 a factor of n?
True
Let y = -9 - 4. Let u(q) = q**3 + 13*q**2 - 3*q + 1. Is u(y) a multiple of 13?
False
Let j(o) = o**3 + 3*o**2 - 6*o - 14. Is 2 a factor of j(-2)?
True
Suppose 1340 = 9*x - 8*x. Is 11 a factor of x?
False
Let y(c) = 6 - 9*c**3 - 9*c**2 - c - 12*c**3 + 20*c**3. Is y(-9) a multiple of 15?
True
Suppose 0 = -68*h + 64*h + 24. Suppose 0 = -h*d + 11*d - 110. Is d a multiple of 4?
False
Suppose s - 7*s = 0. Suppose s = -5*a + 8*a - 39. Is a a multiple of 11?
False
Suppose 3*a = 2*b + 51 + 35, -5*a + 155 = -b. Does 8 divide a?
True
Let q(i) = 216*i - 10*i**2 + 14 - 218*i + 3*i**2 - i**3. Does 7 divide q(-7)?
True
Let k(w) = -w**2 + 127*w + 189. Does 23 divide k(67)?
True
Let r(n) = -5*n**2 + 56 + n**2 + 3*n**2. Let b be r(0). Does 10 divide (-54)/(-21)*b/6?
False
Suppose -5*w = -377 + 47. Is 6 a factor of w?
True
Let h(n) = 4*n**2 - n - 1. Let a be h(-1). Suppose 2*q - 70 = -a*x, 0 = -3*q - 3*x - 17 + 134. Is q a multiple of 9?
False
Let s(q) = 195*q**2 - 13*q - 4. Let o(c) = -97*c**2 + 6*c + 2. Let k(w) = -9*o(w) - 4*s(w). Does 14 divide k(-1)?
False
Let f(j) = -j**3 - 4*j**2 - 10*j - 7. Does 7 divide f(-11)?
False
Let g(a) = -a + 17. Let o be g(12). Suppose -s + 4 - 3 = 0, -5*s = -o*w + 30. Is w a multiple of 3?
False
Suppose -33*z = -31*z - 4*s - 2372, 5*s = -3*z + 3525. Does 59 divide z?
True
Let i(q) = -q**3 + 26*q**2 + q + 35. Is i(26) a multiple of 25?
False
Let s be (-1)/((-272)/(-92) + -3). Suppose -4*b = 4*i - 84, i - s = -0*b - 2*b. Suppose u - 3*m = 5 + i, -88 = -4*u + 4*m. Does 7 divide u?
True
Let r(x) = 21*x + 0*x**2 + 7*x**2 + 5 + 0*x + 9*x**2 - x**3. Is r(17) a multiple of 11?
False
Let t = -65 + 61. Let a(o) = -5*o + 5. Is 3 a factor of a(t)?
False
Let x(s) = s**3 - s**2 + s. Let k be (-3)/12 - 10/(-8). Let h(i) = -58*i**3 - 5*i**2 + 4*i. Let t(g) = k*h(g) - 5*x(g). Is 16 a factor of t(-1)?
True
Suppose x = 1, 0 = -3*a + 18*x - 13*x + 337. Let g = -398 - -572. Let p = g - a. Is 20 a factor of p?
True
Let g(s) = -s**2 + 5*s - 13. Let d be g(6). Let u = -13 - d. Let w = 30 - u. Does 6 divide w?
True
Let m(p) = 10*p + 12. Let b be m(-12). Let c = 147 - b. Is 11 a factor of c?
False
Let h(u) = u**3 + 13*u**2 + 14*u + 29. Let a be h(-12). Suppose -3*m - 281 = -5*q, 4*q + a*m - 4*m = 218. Does 15 divide q?
False
Let p = -115 - -68. Let s(l) = -13*l + 14. Let a be s(-6). Let y = a + p. Is y a multiple of 14?
False
Suppose 11*p - 31988 = -4950. Does 22 divide p?
False
Suppose -2*n = 2*n. Suppose 3*t - 3 - 15 = n. Does 6 divide t?
True
Suppose 3590*u - 3583*u = 13090. Does 85 divide u?
True
Let x(t) = -t**3 - 8*t**2 + 3*t + 12. Let v be x(-8). Let i(p) = -p**2 - 15*p + 7. Is i(v) a multiple of 19?
False
Suppose 0*v - 5*v - 5*n = 320, 0 = v - 4*n + 44. Let a = v - -84. Does 5 divide a?
False
Suppose -p = 4*p - 1380. Is 7 a factor of (-10)/(-25) - p/(-10)?
True
Suppose 5*t = 3*z - 91 - 51, -8 = 4*t. Suppose -6*x = -10*x + z. Is 5 a factor of x?
False
Is (2 + 24 + 2)*280/196 a multiple of 7?
False
Suppose 0 = 2*l + 4*j - j + 1111, 2219 = -4*l - 5*j. Let a be (l/19)/(2/(-10)). Let u = -83 + a. Does 21 divide u?
False
Suppose 6*b - 3762 = 234. Is 74 a factor of b?
True
Let w(j) = -j**2 - 7*j + 3. Let r be w(-7). Suppose -r*c = c. Suppose c = -m - 3*m + 160. Is m a multiple of 14?
False
Let d = 2485 - 2009. Does 12 divide d?
False
Let w(k) be the first derivative of 1/4*k**4 + 5/2*k**2 + 8/3*k**3 - 6*k + 2. Is 8 a factor of w(-7)?
True
Let b(j) = -j**2 + 4*j - 4. Let q be b(6). Let a be (q/(-4) + 1)/1. Suppose 0 = -4*y + 20, 3*c - 8 = -0*c + a*y. Is 9 a factor of c?
False
Let j(y) = y**2 + 3*y - 5. Suppose -u + 2*z - 18 = -6*u, 11 = 2*u - 3*z. Let q be j(u). Suppose q = -4*b + 175. Is b a multiple of 19?
True
Is 58 a factor of (3927/11)/((-5)/(-5))?
False
Let c = -56 + 959. Is c a multiple of 129?
True
Suppose 4*c - 2*c = -j + 818, 2*j - 1631 = -3*c. Does 29 divide j?
False
Suppose 53*i - 30107 + 2494 = 0. Is 3 a factor of i?
False
Let n = -22 + 38. Let u be (4/n)/((-2)/(-16)). Suppose 1 = d - u. Is d a multiple of 3?
True
Let b be 4/8 + (-14)/(-4). Suppose -355 = -b*q + 961. Suppose -4*k - 5*j + q = 0, -402 = -5*k + 3*j - 0*j. Is 27 a factor of k?
True
Let z be (130/3)/((-6)/(-27)). Suppose 3*r = -3*b + z, -195 = r - 4*r + 4*b. Does 13 divide r?
True
Suppose -2304 = -19*i + 869. Does 28 divide i?
False
Suppose -2*p + 515 = h + p, 5*h - 2545 = -5*p. Suppose 0 = -7*y + 887 + h. Does 14 divide y?
False
Suppose -3*w - 309 = -3*i, 2*w + 2*w + 3*i = -384. Let r = w + 140. Does 6 divide r?
False
Let r = 133 - 202. Let c = r + 36. Let d = -24 - c. Is d a multiple of 6?
False
Suppose 0 = -l + 6 + 15. Let n = l - 3. Is 10 a factor of n?
False
Let d(i) = -i**3 + 2*i**2 + i + 3. Let n be d(3). Let o be 6/n - (-75)/1. Suppose -20 = -4*t, -4*t + o = 2*f - 27. Is f a multiple of 32?
False
Let t = 34 + -6. Suppose -5*y + 2*y = -63. Is 884/t - (-9)/y a multiple of 16?
True
Let j(r) = -21*r**2 + 15*r + 19. Let y(z) = -11*z**2 + 8*z + 10. Let p(v) = -4*j(v) + 7*y(v). Is p(-2) a multiple of 7?
False
Suppose 2*r + 744 = 4*a - 2*r, -5*a + 4*r = -931. Suppose 4*h - a - 197 = 0. Is h a multiple of 12?
True
Let h = -14 - -244. Is h a multiple of 64?
False
Does 10 divide (315/12)/(-7)*424/(-3)?
True
Let a = 8 - 3. Suppose -2*t - a*i = -2*i - 9, -6 = 5*t - 2*i. Does 5 divide (6 - t)/1*2?
False
Let b = -70 + 99. Does 4 divide b?
False
Let w be (-12)/3 - (-1 - 7). Suppose 3*k - u - 241 = 0, w*k - 236 = 5*u + 89. Is k a multiple of 16?
True
Suppose 43*r - 2538 = 16*r. Is r a multiple of 4?
False
Let y(f) be the second derivative of f**4/6 - 5*f**3/3 + 3*f**2 + 58*f. Let l = -15 + 24. Is y(l) a multiple of 26?
True
Suppose 17*l + 74 = 839. Is 15 a factor of l?
True
Let k(f) be the first derivative of -3*f**2/2 + 4*f + 8. Let x be k(-3). Is 4 + x/((-39)/(-270)) a multiple of 19?
False
Let u(j) = 9*j**3 + j**2 - 3*j + 1. Let k be u(2). Let c = 10 + k. Is c a multiple of 30?
False
Suppose 2*h - 534 = w, 1337 = 5*h - 3*w - 0*w. Let o = 372 - h. Is 19 a factor of o?
False
Let d = 287 - 147. Is 5 a factor of d?
True
Let w(x) = 37*x - 32. Let q be w(11). Suppose 360 = 4*z + l + 3*l, -4*z = l - q. Is 18 a factor of z?
False
Suppose f - 4*m - 6 = 0, 3*m = -2*f - 7 - 3. Let h be (1 - 13) + -4 + 2. Let x = f - h. Is 3 a factor of x?
True
Suppose 5*i - 14 = 11. Let g be ((-304)/(-6))/((-22)/(-33)). Suppose -3*j + 2*r = -r - 54, -2*r = i*j - g. Is 8 a factor of j?
True
Let o(x) = 18*x**2 + 4*x + 18. Is o(3) a multiple of 24?
True
Let n be (-2)/(-13) + (-850)/(-221). Is ((-38)/n)/((-6)/12) a multiple of 6?
False
Suppose -3*v = 4*v - 3885. Suppose 0 = -5*r + 545 + v. Suppose -3*f = 2*f - r. Is 22 a factor of f?
True
Suppose -4*x = -32 + 4. Suppose 2*h - 3*w + 48 