 40?
False
Let s(h) = h**3 + 28*h**2 + 25*h - 37. Suppose 4*u = -3*u - 189. Is 10 a factor of s(u)?
False
Let w be (-1)/3*(3 + -15). Let t(b) = 7*b**2 - 3*b + 5. Let l be t(w). Suppose -2*p + l = 5*p. Is 7 a factor of p?
False
Let l = 98 + -38. Suppose -10*a = -15*a + l. Is 12 a factor of a?
True
Let p(u) = 3*u**2 + 12*u - 6. Let h be p(-7). Let l = h + -22. Does 10 divide l?
False
Let p(l) = 39*l**2 - 1. Suppose 0*c - 4*c = -4. Let q be p(c). Suppose -2*s = -a - 34, 18 = 3*s + a - q. Is 9 a factor of s?
True
Let m = -10 + 19. Suppose g = 4*z - 16, -g - 5*z + m = -5*g. Does 10 divide g/(-10) + 237/5?
False
Is 8 a factor of 1 - 1070/(-15) - (-2)/(-6)?
True
Let t be 10*(0 + 2/4). Let u = -7 - -7. Suppose -t*p + 25 + 125 = u. Is 10 a factor of p?
True
Let w = 914 + -520. Let g = w + -127. Let o = g + -189. Is 9 a factor of o?
False
Let f = 185 + -46. Is f a multiple of 62?
False
Suppose 6*n + 2 = 14. Does 2 divide n?
True
Let u(t) = 4*t**3 + 2*t**2 - 3*t. Suppose -6 = -i + q, 3*i = -3*q + 2 - 8. Let w be u(i). Suppose 3*m + 3 = 0, m = 2*y + y - w. Is 2 a factor of y?
False
Suppose q + 252 = 4*q. Is 15 a factor of (30/(-8))/((-7)/q)?
True
Let t(r) = 62*r + 41. Let d be t(6). Suppose 29*y - 36*y + d = 0. Is 4 a factor of y?
False
Does 6 divide 7 - (3 - -6) - -104?
True
Suppose l + 9 = -2*l. Does 33 divide l - (-5)/((-15)/(-411))?
False
Let r = -969 + 1865. Does 32 divide r?
True
Suppose 3*u = 2*u - 14. Let i = 25 + 16. Let h = i + u. Does 6 divide h?
False
Let m be (8/20)/(2/10). Suppose 0*n + n - m = 0. Is n/6 - (-352)/24 a multiple of 5?
True
Suppose 70*f = 51*f + 35530. Is f a multiple of 56?
False
Suppose -c = -3*n + 8690, 10451 - 1759 = 3*n - 2*c. Does 48 divide n?
False
Suppose 0 = i + 14*i + 645. Does 9 divide 3 - (0 - -1) - i?
True
Let g = 17 + -10. Suppose 3*z = 5*b, -5*z + b = -3*z - g. Suppose -4*p + 27 = -z*h, p - 28 = 4*h - 7*h. Does 13 divide p?
True
Let p = -25 + 32. Let j(u) = u**3 - 3*u**2 - 12*u + 20. Is j(p) a multiple of 4?
True
Let a be ((-14)/(-35))/((-1)/(-30)). Let v = -3 + a. Does 9 divide v?
True
Let g be (-9 + 9)/(1*-3). Suppose -4*f = -5*z - 423, -5*z - 321 = -3*f - g*f. Is f a multiple of 34?
True
Let f(d) be the first derivative of 13*d**2/2 + 8*d - 2. Suppose -87*p + 92*p - 20 = 0. Does 12 divide f(p)?
True
Let j = -401 + 563. Is j a multiple of 4?
False
Let a(o) = -o**3 - 6*o**2 + 2*o + 4. Let n be (-3)/(-12) + 6/8. Let t be n/(1/(-7)*1). Does 13 divide a(t)?
True
Is 8 a factor of -1*(-418 + (-10)/(-5))?
True
Let d = -3 + 169. Is 18 a factor of d?
False
Let u be (69/(-23))/((-2)/(80/6)). Suppose 2*s = 3*s - u. Is s a multiple of 20?
True
Let k(r) = 5*r**2 + r + r**2 - 3*r**2. Suppose -4*n - 10 = n. Does 5 divide k(n)?
True
Let k = 477 + -319. Let g = k + -93. Is 13 a factor of g?
True
Suppose -5*h + 485 = 32*t - 37*t, -5*h - 5*t = -505. Does 9 divide h?
True
Suppose 2*q - 34 - 5 = x, -3*x + 103 = 4*q. Let s be q/(-4)*(-4)/(-2). Let v = s - -34. Does 6 divide v?
False
Let j(s) = 5*s**2 + 2*s - s**3 - 4 + s + s. Suppose i + 15 = 4*i. Is 8 a factor of j(i)?
True
Let f = -756 + 1066. Is f a multiple of 31?
True
Suppose -3*p = p + 36. Let o be (-358)/p + 6/27. Suppose 5*k = 3*k + o. Is k a multiple of 10?
True
Let p be (-6)/(-39) + 185/65. Suppose 0 = p*w + 38 - 203. Suppose w = 18*g - 17*g. Is g a multiple of 21?
False
Let n be -3 + (-5 - (-12)/8*2). Is -30*68*n/30 a multiple of 12?
False
Suppose 148 = 4*u + 3*i - 0*i, -3*u + 111 = 5*i. Let a be 728/(-11) - 2/(-11). Let y = u - a. Does 26 divide y?
False
Suppose z + 1170 = -10*r + 11*r, 9 = 3*r. Is 33 a factor of 4 - (-6)/((-18)/z)?
False
Let k(p) = p + 3. Let v be k(1). Suppose 221 = c - 5*w, 6*w + 932 = v*c + 2*w. Is 47 a factor of c?
False
Let h be (-1)/(-3) + (-11)/33 + 5. Suppose -4*p = 4*x + x - 930, 0 = 4*x + h*p - 735. Is 42 a factor of x?
False
Let g(k) = 12*k - 7. Let p be g(1). Suppose 0 = -9*v - p*v + 280. Is 6 a factor of v?
False
Let g(u) = u**3 + 5*u**2 - 3. Let y be (-2)/(-7) - (-12)/7. Suppose 3*h - y*l + 9 = 0, -3*h - 9 = -2*l + 3*l. Is g(h) a multiple of 5?
True
Let a(h) = -7*h**3 + 6*h**2 + h - 3. Let y(v) = -6*v**3 + 6*v**2 + v - 3. Let z(t) = -5*a(t) + 6*y(t). Let p be z(6). Does 13 divide (-44)/(-2) + (p - -1)?
True
Let x be 2/12 - 267/(-18). Suppose -3*a - x = 0, a + 275 = -3*m - 0*a. Let z = 126 + m. Is z a multiple of 12?
True
Let z(n) = -n**3 + 18*n**2 + 45*n - 46. Let j(k) = -22*k - 24. Let x be j(-2). Is 9 a factor of z(x)?
True
Is 66 a factor of (4764/(-9))/(-1)*120/80?
False
Let o be ((-8)/(-6))/(2/9). Let c be (-69)/(-4) + 12/16. Let k = c - o. Does 4 divide k?
True
Suppose -4*n + 22 = 418. Let x be ((-8)/18)/(22/n). Suppose 46 = -x*i + 4*i. Is i a multiple of 4?
False
Suppose 5*j - 115 = -15. Let x be j + 2 + -3 - 1. Suppose 4*v - x = 210. Is v a multiple of 18?
False
Let g(q) = -q**3 - 2*q**2 + 6*q + 2. Let u be g(-6). Let r = -30 + u. Suppose 5*n - 9*n + r = 0. Is n a multiple of 5?
True
Suppose -5*a = 9 + 41. Let z = -6 - a. Suppose 3*m = z*m - 19. Is 7 a factor of m?
False
Let h(a) be the third derivative of a**5/20 + a**4/24 - 3*a**3 - 12*a**2. Does 7 divide h(-6)?
True
Suppose -2*a = 3*a. Suppose 1508 = -a*i + 4*i. Suppose -2*h = -3*x + 2*x - 152, 5*h - 4*x = i. Is 35 a factor of h?
False
Suppose 0 = 7*p + 54 + 16. Let m = 50 + p. Is m a multiple of 11?
False
Suppose -4*p + 18 + 2 = 0. Suppose -13 = p*g - 158. Is g even?
False
Let w(j) = -j**3 - 11*j**2 + 8*j + 10. Let d(p) = 2*p**3 + 11*p**2 - 7*p - 10. Let a(t) = -2*d(t) - 3*w(t). Is a(8) a multiple of 7?
False
Let s be (-26)/(-8)*(-14 - -18). Let v = -21 - s. Is 6 a factor of v/(-3) + 38/57?
True
Is 5 a factor of 4/(-18) + 15813/81?
True
Let x(q) = -q**2 + 22*q - 32. Is x(17) a multiple of 4?
False
Is (300/7)/(33/231) a multiple of 15?
True
Suppose 9*q - 164 = 7*q. Does 4 divide q?
False
Suppose -4*t + 5*k = -268 - 68, -4*k - 16 = 0. Let q = 32 + -25. Let u = t - q. Is 24 a factor of u?
True
Suppose -2*h = -3*g + 3155, -4*h - 2105 = -2*g - 3*h. Is 32 a factor of g?
False
Is 30 a factor of (1*-18)/((-3)/(154 - 4))?
True
Let j(i) = -2*i + 4. Let a be j(0). Suppose -5*l - 3*n = 66, -a*l - 5*n = -4*n + 50. Is 2/8*-2*l even?
True
Let b(a) = -1168*a + 7. Is b(-1) a multiple of 13?
False
Let n = -28 - -28. Suppose -s + n*s + 43 = 0. Is 3 a factor of s?
False
Suppose -3*n + 33 = 219. Let u = -2 - n. Is u a multiple of 10?
True
Let c = 123 - 71. Suppose -3*k - 2*k + 777 = -o, 5*k = 2*o + 779. Suppose k = 3*x - c. Is x a multiple of 24?
False
Suppose -4*d + 15 + 13 = 0. Does 42 divide (2/6)/(d/2037)?
False
Suppose 5*l - l - 5*o = 316, -o = 4*l - 292. Let s = l + -39. Is s a multiple of 17?
False
Does 49 divide 2/(-2)*3 - (-1639 - -19)?
True
Let o = -51 + 48. Is 14 a factor of (-164)/o - 12/(-9)?
True
Let k(a) = -94*a + 4. Let i be k(-1). Suppose -2*w = 2*o - 190, i + 197 = 3*o + 5*w. Does 30 divide o?
True
Suppose -3*a + 6*a = -2*m - 26, 2 = -3*a + 4*m. Let i = a + 3. Does 15 divide (-1)/i - (-1036)/42?
False
Let z = 6 - -3. Let x = -3 - -8. Let o = z - x. Does 2 divide o?
True
Suppose 0 = w - 2 - 0. Suppose 6*f - 292 = w*f. Does 8 divide f?
False
Suppose 6 = -4*a + 18. Suppose -347 = -a*y + 388. Does 49 divide y?
True
Let c be 2/(-10) - ((-46)/5 + 3). Is (5 - -125)*15/c a multiple of 28?
False
Let r(x) be the third derivative of 1/8*x**4 + 0*x - 7*x**2 - 5/6*x**3 + 0. Does 22 divide r(9)?
True
Suppose -1 = 2*g - 19. Is 71 - (g + -10)/(1*-1) a multiple of 14?
True
Let f be 312/16 + (-6)/(-4). Suppose 5*z + 39 = -f. Is z/42 + 555/7 a multiple of 27?
False
Suppose -5*g - 5*u = 5, -7*g + 2*g - 2 = 4*u. Suppose 3*t + 111 = 3*r, r = -g*t - 2*r - 74. Let o = 32 - t. Is 19 a factor of o?
False
Let n(p) = p**2 - p. Let g be n(10). Does 30 divide (-2 - -3) + -1 + g?
True
Let j = 1352 + -467. Is j a multiple of 9?
False
Let q be (-14 + 10)*(-61)/2. Suppose -122 = -4*a + q. Is 20 a factor of a?
False
Suppose 3*h + 3*g + 18 = -0*h, 0 = -4*h + 4*g - 56. Does 13 divide 2 - (-178)/(h/(-5))?
True
Suppose -6*p - 539 = -3*k - 4*p, -k + 5*p = -158. Is 8 a factor of k?
False
Let f(i) = -4*i + 1. Let w be f(-1). Suppose l - w*l = 616. Is l/(-13) - (-6)/39 a multiple of 3?
True
Is 13 a factor of (-20)/8 - (-2 + 2325/(-6))?
False
Suppose 3*n - 3495 = -3*l, 236 - 2590 = -2*l + 4*n. Is l a multiple of 7?
True