ctor of 84/10*20/b?
True
Suppose 9*m - 19 + 55 = 0. Is 29 a factor of (-10700)/(-80) - 1/m?
False
Let z = 135 - -604. Is 45 a factor of z?
False
Let h be (10/(-20))/(2/68). Let g = h - -20. Suppose 0 = 2*c + 3*c - 2*i - 234, -g*c + 153 = 3*i. Is c a multiple of 15?
False
Let d(k) = k**2 + 6*k - 1. Let v be ((-8)/20)/((-3)/30). Does 10 divide d(v)?
False
Suppose -6*y + 2*y = 16, -v - 2*y = -632. Does 20 divide v?
True
Suppose -12 = -4*y, 3*y + y + 8 = 4*t. Let r be (-2)/t*(-4130)/14. Let h = -46 + r. Is 24 a factor of h?
True
Let k = 354 - -23. Suppose -3*c + k = 5*m, -286 - 178 = -4*c + 3*m. Does 7 divide c?
True
Suppose 5*m - 2*l + l = 3775, -2*l - 3014 = -4*m. Is 21 a factor of m?
True
Let o be (-9)/(-2)*140/30. Suppose -3*v + 3*p = o, 6 = v + 2*p + 1. Let k = 36 + v. Does 11 divide k?
True
Let o(g) = g**3 + 11*g**2 + 34*g - 3. Let b be o(-5). Does 23 divide b*((-3 - 0) + 2)?
True
Suppose 0 = 5*c - 7 - 3. Let b be (-24)/4*c/6. Is 22 a factor of b/9 + 200/9?
True
Let d = -140 + 144. Let o = 173 + d. Is 14 a factor of o?
False
Let d = -171 + 350. Is 38 a factor of d?
False
Suppose -5*n + 5*m + 3205 = 0, -10*n + 7*n = m - 1943. Is n a multiple of 17?
True
Let n(r) = 42*r + 41. Is n(8) a multiple of 11?
False
Let k = 133 + -128. Suppose k*z = -238 + 793. Does 9 divide z?
False
Let p(v) = v**2 - v + 59. Let k be p(0). Suppose 7*b - 121 = -44. Suppose -k = -2*u + b. Is u a multiple of 25?
False
Let n(f) = -11*f + 21. Let v = 6 + -16. Is 11 a factor of n(v)?
False
Let p(f) = -24*f - 41. Let n(i) = -6*i - 10. Let k(y) = -18*n(y) + 4*p(y). Does 16 divide k(8)?
True
Let d = -13 - -31. Is (14 - 15) + d/(-4)*-36 a multiple of 19?
False
Let k = -30 - -45. Let j = k - -15. Does 30 divide j?
True
Let d = 55 + -55. Suppose -5*w + 27 + 78 = d. Is 7 a factor of w?
True
Let x(f) = f**3 + 7*f**2 + 6*f - 1. Let r be x(-5). Suppose 0 = 3*q - r + 55. Let u = -6 - q. Is u a multiple of 6?
True
Let j(u) = u**3 + 21*u**2 - 74*u - 92. Does 38 divide j(-22)?
False
Let f(w) = -5*w + 5. Suppose -9*u - 28 = -5*u. Is f(u) a multiple of 40?
True
Suppose -25*f = -58*f + 10494. Does 3 divide f?
True
Let w(o) = -10*o**3 + o**2 + 3*o + 1. Let d be w(-2). Suppose -2*h = z - d, -221 + 31 = -5*h + 5*z. Is h a multiple of 11?
False
Let i(w) = -w**3 + 9*w**2 - 6*w + 3. Let q be i(8). Suppose -11 = 5*v + q. Does 10 divide v/27 + (-184)/(-18)?
True
Suppose 0 = 3*s - 2*b - 517, 2*s + 3*b = 5*s - 516. Is 3 a factor of s?
False
Let b = 1692 + -1582. Is b a multiple of 11?
True
Suppose -o + 15 = -5*f, -f - o + 3 = -0. Let l be (f + -1)/(4/(-4)). Suppose 2*s + 2*k = 58, -2*k - 3 = l. Is s a multiple of 12?
False
Let m(v) = -8*v + 17. Let o be m(14). Let n = o - -158. Is 17 a factor of n?
False
Let i(x) = 469*x**3 - x**2 - 3*x - 3. Let u be i(-1). Let t = -290 - u. Is 33 a factor of t?
False
Suppose -31*t = -22*t - 9261. Is 52 a factor of t?
False
Let y(s) = 10*s + 3. Let i be y(2). Suppose -2*o - 1 - i = 0. Let p(q) = q**3 + 13*q**2 + 10*q + 6. Is p(o) a multiple of 10?
True
Let p(z) = 28*z**2 - 18*z - 8. Is 23 a factor of p(4)?
True
Let u(n) be the first derivative of -n**4/4 - 4*n**3/3 - 3*n**2/2 + 3*n - 57. Suppose 4*z + 13 = -5*q, 3*q - 4*q - 5*z = -10. Is 7 a factor of u(q)?
False
Let z = -227 + 318. Does 4 divide z?
False
Let f = 159 - 35. Does 7 divide (2 - 6) + (f - 0)/4?
False
Let q = 1629 + -1545. Is q a multiple of 7?
True
Let q = -594 - -1026. Is q a multiple of 27?
True
Let u(r) be the third derivative of -1/24*r**4 - r**3 + 0*r - 2*r**2 + 0 + 1/60*r**5. Does 4 divide u(5)?
False
Is 21 a factor of ((-4)/3)/(75/(-20700))?
False
Is 28 a factor of 7*((-6)/(-30) + (-9126)/(-70))?
False
Let a = -546 + 820. Is a a multiple of 13?
False
Suppose -2*c + 9 = c. Suppose -3*m - c + 21 = 0. Is 2 a factor of m?
True
Does 22 divide (-1)/((-2235)/1115 - -2)?
False
Suppose -11*p - 689 = -2251. Is 3 a factor of p?
False
Let m(v) = -3*v**2 + 2*v - 4. Let c be m(-4). Let p = -18 - c. Is p a multiple of 14?
True
Suppose 9 = -w - 6. Let b = -9 - w. Let y = 22 - b. Is 4 a factor of y?
True
Suppose 3*z = 2*z - 144. Suppose 0 = -48*d + 56*d + 560. Let v = d - z. Is 16 a factor of v?
False
Let z = -16 - 1. Let n = z + 12. Let l(b) = b**3 + 6*b**2 + 2*b - 1. Is 14 a factor of l(n)?
True
Let u = -1304 - -1944. Does 32 divide u?
True
Let n = 188 - 158. Is n a multiple of 14?
False
Let b = -24 - -28. Let i(g) = g**2 - 4*g - 5. Let r be i(5). Suppose 146 = 3*l - 10*x + 5*x, r = b*l - 5*x - 188. Does 11 divide l?
False
Let j(g) = -g - 12. Let n be j(-15). Suppose 0 = n*y + 3*y - 504. Is y a multiple of 7?
True
Suppose 0 = 2*s - 4*r - 6, 2*s - 2*r + 3*r - 11 = 0. Suppose 0 = s*z + 20, 2*x + 31 - 3 = -5*z. Is 15 a factor of (-20)/(-5)*(-45)/x?
True
Let c(t) = 2*t**2 - 2*t + 1. Let z be c(2). Suppose 3*o - 12 - 43 = -z*s, s + 17 = 5*o. Is 5 a factor of s?
False
Suppose 1965 = -608*i + 613*i. Is 22 a factor of i?
False
Suppose q - 119 = -481. Let t = q + 590. Is t a multiple of 12?
True
Let i(x) = -10 + 8 + 3 - 79*x. Is 38 a factor of i(-1)?
False
Suppose 0 = -5*j - 3*h + 22, 2*j + h = -0*h + 8. Let s(k) = k + 0*k + 11 - 9*k - k**j. Is s(-9) even?
True
Let q(l) = l**3 + 13*l**2 - 29*l + 13. Let c be q(-15). Does 4 divide (3*(c - -3))/(3/33)?
False
Suppose 0 = 5*u - 14 - 1, -4653 = -2*g + 3*u. Does 60 divide g?
False
Does 3 divide 4 + 694/(-2)*(-51 - -50)?
True
Let s(l) = l**2 + 17*l + 30. Let j(p) = -p**3 + 5*p**2 + 4*p - 5. Let q be j(6). Does 5 divide s(q)?
True
Let l = -37 + 66. Let c = -29 + 8. Let f = l + c. Is f a multiple of 4?
True
Suppose 3*o + 5*j = 8*j + 9, 2*j - 4 = 0. Suppose 3*u = 2*k - k + 404, -5*k = -o*u + 670. Is u a multiple of 27?
True
Let l(k) = -7*k**3 + 5*k**2 + 43*k - 21. Does 9 divide l(-6)?
True
Let a be -1 - 2/(-2) - 1. Does 3 divide (10 - -2)*a/(-2)?
True
Is 31 a factor of -186*1/(-2)*220/33?
True
Let g = -6 + -13. Let v = g + 17. Is (2 + v)/(-3) - -24 a multiple of 8?
True
Suppose -y = -5*d - 685, 0 = -6*y + 9*y + d - 2039. Does 10 divide y?
True
Let i = -96 - 7. Suppose 3*t - 3*w + 147 = 0, -4*w = 5*t + w + 225. Let z = t - i. Is z a multiple of 14?
True
Suppose -d + 4 = -11. Let m = 17 - d. Suppose -l = -o + 2 + 1, 4*l - 30 = -m*o. Is o a multiple of 2?
False
Let k be (1/(-3))/((-2)/30)*1. Suppose -48 = -7*v + k*v. Does 12 divide v?
True
Let k(u) = -u**2 - 11*u - 13. Let a be k(-9). Suppose a*t = 9*t - 76. Does 5 divide t?
False
Suppose -h - 3*h = -5*d + 1, 4*h - 3*d - 1 = 0. Is 16 a factor of (-1 - 6 - h)/(20/(-270))?
False
Let h(b) = -b**3 + 20*b**2 - 21*b - 30. Suppose -41 = -2*r - 5. Does 16 divide h(r)?
True
Let k = 4 + 10. Suppose -z - x = 2, -4*x = -2*z + 3*z + k. Suppose 2*c + 44 = f, -2*f + 0*f + z*c = -92. Does 16 divide f?
True
Let n = -72 - -36. Let v = n - -81. Does 15 divide (-6)/(-6)*v/1?
True
Suppose 0 = 4*k + 2*f + 8 - 26, -5*f + 25 = 5*k. Suppose -6*z = -2*z + k*r - 8, 4*r - 4 = 0. Let g(w) = 25*w**2. Is 21 a factor of g(z)?
False
Let k(x) = -6*x - 17. Let p be k(-7). Let n = p - -86. Does 20 divide n?
False
Suppose 0 = -4*l + 5*m - 89 - 8, -2*m + 10 = 0. Let s = 44 - l. Does 17 divide s?
False
Let d(p) = 9*p**3 - 3 + 4*p**2 + 5*p + 0*p - 3*p**2 + 16*p**3. Is 9 a factor of d(2)?
False
Suppose -113*b = -118*b + 9940. Does 8 divide b?
False
Does 13 divide (13/(-39)*33)/(2/(-86))?
False
Is 16 a factor of (16 - 2 - -384)/((-2)/(-16))?
True
Let r = -68 - -482. Does 6 divide r?
True
Let z(m) = m - 10. Let j be z(13). Let h(v) = 9*v + 2*v**2 - j*v - 2 - 3*v. Is 4 a factor of h(2)?
True
Suppose o - 3*o = 0. Suppose 2*p - p - 2 = o, -5*p - 599 = -3*n. Is 3 a factor of n/35 + (-1)/(-5)?
True
Suppose -401*l + 200 = -397*l. Is l a multiple of 48?
False
Suppose -10*c - 8499 = -21819. Does 27 divide c?
False
Let i(v) = 32*v**2 + 32*v - 10. Let g(f) = 16*f**2 + 17*f - 5. Let b(u) = -11*g(u) + 6*i(u). Does 12 divide b(2)?
False
Let s be 21/15 + (-4)/10. Let t be ((-3)/6)/(s/(-46)). Let q = t + 0. Is q a multiple of 7?
False
Let c = -64 - -74. Suppose -4*n - c*m = -6*m - 308, -2*n = -2*m - 134. Does 9 divide n?
True
Suppose 2*k - 6*k = f - 875, 0 = 4*k - 4*f - 860. Is k a multiple of 21?
False
Suppose 132*m - 129*m = 2379. Is 8 a factor of m?
False
Let w(a) = -a. Let r be w(-6). Suppose -4*u = -68 - 28. Does 15 divide (r + -4)*(u + 1)?
False
Let p(h) = 6*h - 11. Let a be p(-3