f o?
True
Suppose 12*o - 8619 = -o. Is o a multiple of 51?
True
Is 50 a factor of ((-10)/(-6))/((-5)/(-3135))?
False
Let h be 24/10 - 24/60. Let z = h + 19. Is 6/z*(-7)/(-1) a multiple of 2?
True
Does 13 divide 16*((5 - -2) + 273/84)?
False
Let p(d) be the first derivative of -7*d**3/3 - 10*d**2 + 3. Let r(q) = 10*q**2 + 30*q. Let n(f) = 7*p(f) + 5*r(f). Is n(-12) a multiple of 8?
True
Let l(u) = -14*u - 5. Let b be l(-2). Suppose 84 = -b*w + 25*w. Is w a multiple of 42?
True
Suppose -g = -4 - 40. Let h(i) = i**3 - 3*i**2 - 2*i - 3. Let d be h(4). Suppose 5*v = 3*u + g + d, 5*u + 15 = 0. Is v a multiple of 5?
False
Let c = -6 + 6. Let a(r) = r**2 + 3*r - 4. Let w be a(-5). Suppose c = -w*k - k + 707. Is 18 a factor of k?
False
Suppose -5*r + 2*i + 13 = 0, 2*r - 6 = -0*r + i. Let j = r + 11. Is 13 a factor of (-460)/(-8)*j/15?
False
Suppose 2*x + 2*v - 66 = -6, -3*x = v - 84. Let l be (1/2)/((-2)/12). Let p = l + x. Is p a multiple of 6?
True
Let c(m) = m**2 - 10. Let k be c(-6). Suppose k = g - 5*w - 17, -4*g - 2*w + 84 = 0. Does 14 divide g?
False
Let p(b) be the third derivative of 23*b**6/30 + b**5/60 + b**2. Let m be p(1). Suppose -3*q + m = -6. Is 13 a factor of q?
False
Suppose -739 = -3*d + 2*m, 10*d = 5*d - 5*m + 1190. Is d a multiple of 32?
False
Let m(j) = -j**3 + 12*j**2 + 5*j - 21. Suppose 0 = 3*c - 4*n - 32, 0*n + n + 35 = 3*c. Is m(c) a multiple of 9?
False
Suppose 0 = -4*v - 4*s + 16, -v + 3*s - 12 = -0*s. Let j(h) = -6*h + 199. Does 34 divide j(v)?
False
Let o(j) be the third derivative of j**5/60 - j**4/2 - 61*j**3/6 - 15*j**2 + j. Is o(18) a multiple of 6?
False
Suppose 2*i - 12*i - 40 = 0. Does 5 divide (0 - 8)/((-4)/46) + i?
False
Suppose 7*z - 8880 = -5*g + 2*z, 0 = -g - 3*z + 1776. Is g a multiple of 111?
True
Let z = 7 - 4. Suppose 0 = z*s + 187 - 583. Suppose -s = -4*x - 4*j, -5*j + 13 = x - 0. Does 8 divide x?
False
Suppose 2*z + 2*d - 234 = 0, 2*d + 234 = 2*z + 3*d. Let v = z + -75. Does 21 divide v?
True
Let n(q) = q**3 - 11*q**2 + 4*q - 29. Let u be (-505)/(-45) - (0 - (-2)/9). Does 4 divide n(u)?
False
Is ((-81)/2)/(129/(-172)) a multiple of 27?
True
Let b(z) = z**3 + 7*z**2 + 4. Let q be b(-7). Suppose 2 = -q*a - 18. Let k(n) = -2*n + 4. Does 7 divide k(a)?
True
Let h = -6 - 24. Let q = h - -45. Is q even?
False
Let f = 8291 + -4959. Is f a multiple of 49?
True
Let h(q) = 90*q**2 + q - 2. Let v(j) = -5*j + 31. Let a be v(6). Is 24 a factor of h(a)?
False
Let d(w) be the first derivative of -w**4/4 + 8*w**3/3 - 7*w**2/2 + 3*w + 3. Let v be d(7). Suppose -u = -4, -v*g = 2*g + 3*u - 297. Is 19 a factor of g?
True
Let p(g) = g**2 + g + 1. Let n(o) = o**2 + o + 4. Let f(k) = -n(k) + 2*p(k). Let u be f(0). Is (u/4)/(3/(-114)) a multiple of 6?
False
Suppose 32 - 92 = -5*z. Let r = z + -9. Suppose r*k - 124 = -7. Is k a multiple of 13?
True
Suppose a = -11 + 6, 5*s - 2*a = 1470. Is s a multiple of 95?
False
Does 25 divide (-4000)/16*(-1 - 14/4)?
True
Is 14 a factor of -2 - 2*(-301)/14?
False
Let p(j) = -1 - 4*j - 3*j**2 - 165*j**3 + 0*j**2 + 6 - 7. Is p(-1) a multiple of 41?
True
Let l(w) = -w + 2. Let i be l(-3). Suppose -4*x + i*z + 21 = -x, 5*z = x - 17. Suppose 0 = -x*d - 3*a + 57, -4*d - 5*a + 123 = 14. Is 6 a factor of d?
False
Let n(z) = -z**3 + 18*z**2 - 6*z - 22. Is n(16) a multiple of 37?
False
Suppose -358 - 902 = -28*m. Is 9 a factor of m?
True
Suppose -5*n + 585 = 4*n. Is 13 a factor of n?
True
Suppose 8*z = -2*z + 40. Is 17 a factor of 1/(4/8) - z*-25?
True
Let x(f) = -3*f - 3*f + 2 + 0*f + 2. Let m be x(2). Let j = m - -17. Does 2 divide j?
False
Let s(x) = -x**3 + 9*x**2 + 20*x + 13. Let h be s(11). Does 44 divide (h/27)/((-1)/351)?
False
Is (56/(-6))/(4*4/(-552)) a multiple of 14?
True
Is (277 + 1)*(-15)/(-36)*6 a multiple of 22?
False
Is (0 + (-723)/(-2))*(-17 - -19) a multiple of 52?
False
Let t be (77 + -2)*(5 + 14/(-3)). Let o = 86 - t. Does 4 divide o?
False
Suppose -587 = -j + 4*b, -2*b = 3*j - 2564 + 733. Does 33 divide j?
False
Suppose 3*u = -5*c + 12, u - c = -3*c + 4. Let r = 4 - u. Suppose r = 2*m - 12 - 2. Is m a multiple of 3?
False
Suppose 0 = 3*i - 9 - 0. Suppose 49 = -i*n - 11. Is 29 a factor of 2/5 + (-612)/n?
False
Let l(f) = f**3 + 21*f**2 + 2*f - 18. Is 14 a factor of l(-15)?
True
Let n be (-1)/((0 - -2)/(-6)). Suppose 322 = n*i + 4*i. Does 15 divide i?
False
Let b(i) = -i**2 - 5*i + 3. Let t be b(-7). Let m(r) = -12*r - 20. Is m(t) a multiple of 21?
False
Let h be -3*(-3 + 2) - 0. Let y be 5 - h - (2 + 34). Let o = y - -58. Is 4 a factor of o?
True
Let i = 93 - 5. Is 18 a factor of i?
False
Let k = -54 - -68. Let t = k - -94. Is t a multiple of 18?
True
Let c be (9/(-3 + 21))/((-2)/92). Let g = c - -50. Is 27 a factor of g?
True
Let f = 625 + -505. Is 10 a factor of f?
True
Let m(k) = -k**3 + 2*k**2 - 1. Let b be m(-1). Let s be (1 - b)/(15/(-75)). Suppose -s*i = -7*u + 3*u + 40, -u = -3*i - 10. Does 10 divide u?
True
Let h(r) = r**3 - 7*r**2 + 6*r - 5. Let j be h(6). Does 11 divide (-12)/j*360/27?
False
Let b(o) = -50*o - 477. Is 56 a factor of b(-19)?
False
Let w = -82 - -58. Let u be (2 + -1)/(3/12). Let q = u - w. Does 9 divide q?
False
Suppose -5*z = -9*z + 2*n + 178, z - 37 = -n. Is 42 a factor of z?
True
Let k(i) = -i**2 + 9*i - 9. Let l be k(8). Let n(d) = 0*d**2 - d**2 - 31*d**3 - 13*d**3 - 1 - 72*d**3 - 2*d. Is 20 a factor of n(l)?
False
Let f = 6 + -1. Let r be ((-3)/4 - -1) + 825/60. Suppose f*u + r = 39. Is u a multiple of 5?
True
Let w be 4/(-10) - (-37368)/270. Suppose 0 = -u - 2*n - 3*n + 93, -2*u - 2*n = -162. Let b = w - u. Is 12 a factor of b?
True
Let u = 159 + -61. Does 4 divide u?
False
Does 10 divide 50*(-10)/(-4) + 5?
True
Let g = -110 + 113. Suppose -5*s - g*l = -125, 2*l + 100 = 4*s + 4*l. Does 25 divide s?
True
Suppose 16*j - 3333 - 1035 = 0. Does 13 divide j?
True
Is 10 a factor of 3/24 + (-682)/(-176) - -56?
True
Let i(c) = 2*c**3 - 19*c**2 - 3*c - 26. Is i(11) a multiple of 42?
False
Let u(i) = -24*i + 5. Let y(k) = 12*k - 2. Let x(v) = 3*u(v) + 7*y(v). Does 18 divide x(2)?
False
Is 4396/50 - 1/(25/(-2)) a multiple of 70?
False
Let o = -18 - -8. Let v = o - -8. Does 13 divide (4/6)/(v/(-198))?
False
Let n be 1/((6/(-60))/(2/(-4))). Suppose 3*z = n*i - 68, -3*z + 19 = i - 9. Is 8 a factor of i?
True
Suppose 0 = 3*q - 2 - 7. Let a(v) = -2*v**3 + 4*v**2 + 2*v - 6. Let p be a(q). Let k = 69 + p. Is 27 a factor of k?
False
Let z be 2/(-3) + 46/6. Let g be (7/z)/((-2)/(-8)). Suppose -g*y - 45 = -7*y. Does 15 divide y?
True
Let h(o) = 6 + 3 + 4*o + 3*o**2 + 3*o. Is h(-6) a multiple of 15?
True
Let w be 4/(-6) + 1 - (-70)/42. Suppose -t - 34 = -w*a, t - 3*t + 68 = 4*a. Is a a multiple of 17?
True
Suppose 4*v + 155 = 2*r - 805, 4*v = 4*r - 960. Let n = -168 - v. Does 27 divide n?
False
Let a(k) = 3*k**2 - 12*k + 16. Let m(v) = -4*v**2 + 13*v - 17. Let p(i) = -5*a(i) - 4*m(i). Let c = 58 + -70. Does 9 divide p(c)?
True
Does 5 divide (-20 - -7 - -18) + 0 + 195?
True
Suppose 5*r - r - 4*y - 24 = 0, y = -r + 8. Let s(p) = -p**2 + p + 1. Let x(b) = 3*b**2 + 6. Let k(n) = -4*s(n) - x(n). Is k(r) a multiple of 11?
True
Let x(s) be the first derivative of s**3 + 7*s**2 - 13*s - 35. Is x(-8) a multiple of 6?
False
Suppose -564 = -10*c + 376. Suppose -101 = -l + c. Is 15 a factor of l?
True
Let j = 53 + -26. Let g be 15/2*(-24)/(-20). Let u = j - g. Does 6 divide u?
True
Is 8 a factor of (-16)/(-24) + 11154/9?
True
Let y be 2/(-6)*(-5 + -4). Suppose 3*w + y = 21. Is 16 a factor of (-2056)/(-32) + w/8?
False
Is (0 - 858/8)/((-3)/88) a multiple of 22?
True
Let o(h) = -h**3 + 13*h**2 - 19*h + 13. Let x be o(8). Suppose -2*a - 4*t = -0*t - 116, -t - x = -3*a. Does 22 divide a?
False
Let v be -3 + 1 + (2 - -19). Suppose n = 3*o - v - 59, n = 5*o - 132. Is 5 a factor of o?
False
Suppose -292 + 68 = 7*p. Let s be 107/5 - p/(-80). Is 2 a factor of (48/(-14))/((-6)/s)?
True
Suppose -3834 = -14*y - 4*y. Let p = y - 150. Is p a multiple of 13?
False
Suppose -7*b = -21*b + 756. Is 18 a factor of b?
True
Suppose 0*x - 36 = -3*x. Let c be ((-8)/(-12))/(2/x). Does 10 divide 17 - (4 - (c + -3))?
False
Let o(z) be the first derivative of -z**4/4 - 4*z**3/3 + z**2 - 30*z + 1. Is o(-6) a multiple of 10?
True
Suppose -3*k + q = -9 - 28, -4*q = 4*k - 44. Suppose k*m = 14*m - 150. Does 12 d