le of 21?
False
Let o be (-3)/(-6)*8/(-2). Let t be (-44)/(-4)*(o - -1). Let p = t - -25. Is 14 a factor of p?
True
Suppose 0 = 48*u - 7*u - 1476. Is u a multiple of 18?
True
Let j be (-66)/(-12) + (-6)/4. Suppose k - j = -k + 2*b, -4*k - 5*b + 17 = 0. Does 5 divide ((-60)/9)/(k/(-9))?
True
Let k(f) = -f**3 - 14*f**2 - 37*f + 4. Is 16 a factor of k(-15)?
True
Let o(v) = 125*v - 9. Is o(5) a multiple of 44?
True
Suppose 3 = f, j + 3*f + 1 = 2*j. Suppose 4*z = -5*s + 26, -2*z - 2*s + j = -2. Suppose z*y + 39 = 5*y. Does 13 divide y?
True
Let b be 11/2 + 7/14. Does 5 divide b*8 + 9/(-3)?
True
Let r = 19 - 20. Is -1*(2 + 12/r) even?
True
Let s = 39 - 35. Suppose -s*v + 315 = 2*q - 145, 5*q + 3*v - 1164 = 0. Does 9 divide q?
True
Let r(p) = -2*p**3 + 45*p**2 - 10*p + 15. Is r(22) a multiple of 10?
False
Suppose 0 = -8*q + 9*q. Suppose 0 = -4*d - 2 - 6, 5*u - 5*d - 60 = q. Suppose -u = -2*g - 0*g. Is g a multiple of 3?
False
Suppose -6*q + q - 105 = 0. Is (60/q - (-4)/(-28)) + 123 a multiple of 15?
True
Let c(p) = -p**3 + 18*p**2 - 50*p + 29. Is c(10) a multiple of 51?
False
Suppose -5 - 1 = -3*x. Let q(l) = -3*l**x + 0 - 4 + 4*l**2 - 15*l + 21. Is 16 a factor of q(17)?
False
Let i be (-2 - 18)*(-11)/44. Suppose j - 5*o + 80 = 2*j, i*j = -5*o + 360. Is 15 a factor of 6 + -4 + 2 + j?
False
Let p(l) = 3*l + 9. Let u be p(-4). Does 31 divide u - 84/(-1) - 2?
False
Let z(w) = 111*w + 10. Is 29 a factor of z(2)?
True
Let u(f) = 14*f - 5. Suppose -4*m - 730 = -3*q, -3*q + q + 525 = 5*m. Let h be (-4)/(-26) + q/65. Does 12 divide u(h)?
False
Let w = -44 - -209. Is 11 a factor of w?
True
Let v(q) = -20 + 0 - 34*q - 2 + 8. Let m be v(-10). Suppose -4*a + m = 3*o, 0 = -5*a + 2*o + o + 394. Does 16 divide a?
True
Suppose 0 = -4*x - 8 + 24. Suppose -3*y - 4*p - x = -14, y - 2 = -p. Is 13 a factor of ((-1)/y)/((-12)/(-312))?
True
Suppose -8*s - 1416 = -12*s. Is s a multiple of 35?
False
Let u be (-4 + 2)*(4 - 6). Suppose 65 = u*q - 11. Is q a multiple of 19?
True
Suppose 0 = -22*w + 1627 - 197. Does 13 divide w?
True
Suppose c = -3*a - 46, -53 = 4*a + 2*c + 7. Is 2 a factor of 45/4 - (-4)/a?
False
Suppose 0*s + 72 = 3*s. Suppose 0 = -9*x + 6*x - s. Is 4 a factor of (104/20)/(x/(-20))?
False
Let p(t) = 16*t**2 - 3*t - 4. Let a be p(-2). Let i = a - -150. Does 18 divide i?
True
Let f be 1/(34/(-11) - -3). Let o = 126 + f. Is o a multiple of 16?
False
Let n = -392 - -658. Is 14 a factor of n?
True
Is 8 - -3 - (9 - 7) a multiple of 3?
True
Let b(c) = -2*c**3 + c**2. Suppose 6*l = 11*l - 10. Let m be b(l). Is 13 a factor of (130/6)/(m/(-36))?
True
Suppose -427 - 469 = -28*g. Is g a multiple of 16?
True
Let u(c) = 32*c**2 - 5*c - 13. Does 5 divide u(-7)?
True
Let z(y) = 15*y**2 + y - 6. Let j = -82 - -79. Does 21 divide z(j)?
True
Suppose 5*d = 5, 0*y - d = 2*y - 11. Suppose y*i = -4*b - 0*i + 52, 52 = 4*b + 2*i. Does 5 divide b?
False
Let u be (8/10)/(14/35). Suppose 13 = -4*o + 5*m - 2, 2*m - 6 = -u*o. Suppose 0*v - v + 10 = o. Is v a multiple of 3?
False
Let w be (-4*2/28)/((-2)/14). Is 19 a factor of ((-2 - 17)/(6/(-12)))/w?
True
Suppose -4*q + 980 = -4*z, -7*q - 2*z = -10*q + 732. Does 22 divide q?
True
Let i = -1329 - -2150. Is 3 a factor of i?
False
Let h be (-2)/7 + (26/(-7) - 2). Is (2 + (-137)/(-2))*h/(-9) a multiple of 22?
False
Let o(s) = -350*s - 51. Is 9 a factor of o(-2)?
False
Let h(a) = 3*a**3 - 9*a**2 + 15*a - 3. Suppose -4*w + 54 = 38. Is h(w) a multiple of 5?
True
Let g = -8 - -14. Suppose g*s - 3*s + 3*x - 120 = 0, 0 = 3*s - 4*x - 92. Suppose a - i - s = -a, 4*i - 32 = -3*a. Is 16 a factor of a?
True
Let q(d) = -2*d**2 - 9*d - 6. Let t be q(-6). Let f(c) = 6*c**2 - c - 1. Let g be f(-3). Let r = g + t. Does 16 divide r?
True
Suppose -4*k - 2*w + 74 = 0, 4*k - 4*w - 31 = 61. Suppose -4*p = -3*j - 15, 3*j + p = -28 - 2. Let y = k + j. Is 5 a factor of y?
False
Let p(u) be the second derivative of -u**4/12 - 16*u**3/3 + 4*u**2 - 18*u. Is 51 a factor of p(-19)?
True
Let j(c) = 2*c**2 - 12*c - 14. Let g be j(10). Suppose 24*u - 23*u = g. Is u a multiple of 8?
False
Let b be 21/2*2/3. Let k = b - 13. Does 13 divide k/9*3*-9?
False
Let m = -1711 - -2575. Suppose 7*u - 2*f = 3*u + m, -3*f - 864 = -4*u. Is u a multiple of 24?
True
Let i(b) = b**2 - 4*b - 10. Let n be i(-4). Let g = -56 + n. Let t = g - -58. Is t a multiple of 6?
True
Let h = -4 - -53. Suppose h = -4*p + 161. Does 3 divide p?
False
Let u = 197 + -153. Does 3 divide u?
False
Let m be (4 - 4) + (-30)/3. Let o(a) = -14 + 6*a + 1 - 25*a - a**2. Is o(m) a multiple of 15?
False
Let c = -1046 + 1240. Is c a multiple of 97?
True
Let k be -4 + 2 + 39 - 1. Let x = -28 + k. Let f = 64 + x. Is f a multiple of 19?
False
Let c = 11 - 27. Let i(p) = -2*p - 23. Let l be i(c). Is 2 a factor of (l/(-12))/(2/(-8))?
False
Suppose 34*u - 28*u - 408 = 0. Is 4 a factor of u?
True
Let r(c) = c**3 - 9*c**2 + 11*c - 12. Let i be r(8). Let g = 37 - i. Does 25 divide g?
True
Let q(d) = -219*d + 57. Is q(-5) a multiple of 18?
True
Let g(y) = -110*y + 21. Let z be g(3). Is ((-32)/20)/(z/(-315) + -1) a multiple of 42?
True
Suppose k + 3*w = 91, -4*w + 6*w = k - 66. Let j be (-2023)/51 - 4/(-6). Let r = k + j. Does 21 divide r?
False
Let c(l) = 59*l**2 + 17*l + 25. Is 4 a factor of c(-4)?
False
Let m(h) = 20*h**2 + h + 7. Is 17 a factor of m(-2)?
True
Let v be (-5)/(15/6) + -40. Suppose -a + 2*a = 5*f - 1, -3*f + 7 = a. Is 2 a factor of 2/(-4) - v/a?
True
Let s = -256 + 276. Does 10 divide s?
True
Suppose 2*s = -2*m - s + 237, 3*m - 5*s - 308 = 0. Let z = m - 59. Suppose -108 = -4*w + z. Is 10 a factor of w?
True
Let q = -287 + 357. Is 14 a factor of q?
True
Let o(g) = g**2 - 12*g - 5. Let q = -5 + 18. Is o(q) even?
True
Let i(z) = 10*z + 9. Let a be i(-2). Let h(x) = -4*x - 9. Is 7 a factor of h(a)?
True
Suppose -2*x + 17 = -3. Suppose 2*o - 6 = 0, 0 = s + 4*o - 31 - x. Is 5 a factor of s?
False
Suppose -4*a - 3 + 19 = 0. Suppose -3*x - 4*y + 20 = -4*x, 2*y = 5*x + 10. Suppose -3*v - 5*w = -39 - 16, x = 2*v - a*w. Is v a multiple of 10?
True
Suppose 2*t - 1 - 5 = 0. Suppose -t*p = -10*p + 70. Is 12 a factor of ((-18)/p)/((-10)/250)?
False
Is 19 a factor of (4 - 81/6)*-132?
True
Suppose 4*b - x = -278, b - x + 3*x + 74 = 0. Is ((-20)/7)/(4/b) a multiple of 25?
True
Is 1732/6 + (-33)/(-99) a multiple of 17?
True
Let s(g) = g**2 - 15*g - 23. Let l be s(16). Is (-874)/(-14) - 4/l a multiple of 11?
False
Let s = -231 - -305. Does 37 divide s?
True
Suppose 0 = -4*g + 7*g + 5*l - 1777, g + 4*l - 583 = 0. Is g a multiple of 85?
False
Let c = -3 + 3. Suppose -3*o + 10 + 134 = c. Does 12 divide o?
True
Suppose 4*f = w - 6 - 7, -3*f - 8 = w. Let q = -2 + 15. Suppose -4*t - w = -q. Is 3 a factor of t?
True
Is 18 a factor of -13 - -602 - -5*1?
True
Let j = 2215 - 1657. Is j a multiple of 18?
True
Suppose -13 = -5*l + 7. Suppose -2*s - a + 8 = 0, -5 - 11 = 2*s - 5*a. Suppose -s*o = l*o - 282. Is o a multiple of 18?
False
Let y be 223 - (-6)/(-9)*6. Does 14 divide 18 + -15 - y/(-1)?
False
Let r = 91 - 54. Suppose 5*k = 23 + r. Does 12 divide k?
True
Suppose v + 244 = -3*m + 836, -2*v + 1199 = 3*m. Is 48 a factor of v?
False
Suppose 7*q - 1215 = 1711. Is q a multiple of 38?
True
Let t be -2*-6*-3*(-8)/36. Is (-197)/(-4) + 1 + (-2)/t a multiple of 11?
False
Let t(x) = 10 + 0 + 12 + 32 + x. Let m be t(0). Let y = -29 + m. Does 15 divide y?
False
Let z(g) = g**3 + 14*g**2 + 19*g + 46. Let u be z(-13). Suppose -l + 0*l + 209 = 5*t, -t + 2*l = -44. Let f = u + t. Is 3 a factor of f?
False
Suppose 217 = 6*u + 13. Let q = 46 - u. Is 4 a factor of q?
True
Is 3 a factor of 3/(((-25)/(-195))/5)?
True
Let m = 2799 + -7. Does 105 divide m?
False
Let i(x) = -78*x - 11. Let l be i(-2). Suppose 43 = -h + l. Is h a multiple of 17?
True
Let g be (3 - 6 - -185) + 1. Let m = g + -66. Is 21 a factor of 2/(-8) - m/(-4)?
False
Is 192*1/(-8)*-4 a multiple of 3?
True
Let t = -2968 + 4414. Is t a multiple of 94?
False
Suppose -2 = 2*w + 16. Let z(f) = -7*f. Let n be z(w). Does 4 divide n/4 + (-10)/(-40)?
True
Suppose -5*s - 710 = -5*k, -5*s - 31 = -2*k + 238. Suppose 5*r - k = -2*a, -4*a = -6 + 2. Suppose -5*q = -r - 6. Is q a multiple of 3?
False
Let w be 1*4/(-4)*1. Let r(s) = -74*s + 1. Let b be r(w). Suppose -2*h - 3*i = -80 - b, -i - 151 = -2*h. Is h 