e
Let d = 810 + -420. Is 13 a factor of d?
True
Let b(n) = n**3 + 5*n**2 - 5*n + 4. Let q be b(-7). Let v = 102 - q. Is v a multiple of 23?
True
Suppose 4*a = 8, -2*j + 14 = -j + 3*a. Let n = -8 + j. Suppose 4*i = -4*h - n*i + 120, -2*h = -i - 54. Does 12 divide h?
False
Let g(k) be the first derivative of -2*k + 1/3*k**3 - 1/2*k**2 - 5. Does 3 divide g(3)?
False
Suppose 0 = 3*c + 11 - 20. Suppose -255 = -5*l + z, 2*l + 0*l - 85 = -c*z. Is 25 a factor of l?
True
Suppose c = -2*c, 4*o + 40 = -3*c. Let g be o/(-30) + (-194)/6. Let m = -18 - g. Is 14 a factor of m?
True
Let u be (-2)/(-6) + (-1060)/30. Let k = 93 + u. Is k a multiple of 14?
False
Suppose -4*u - 3*u = -252. Suppose -3*x + u + 48 = -3*p, 4*x = -5*p + 148. Is 32 a factor of x?
True
Is 9 a factor of ((-4)/6)/((-68)/8262)?
True
Let p(n) = n**3 - 11*n**2 - 2*n + 1. Let t be p(11). Suppose 0 = -b - 3*b + 4*u - 12, -4*u = 0. Let d = b - t. Is d a multiple of 9?
True
Suppose -8*x - 2*g = -3*x - 259, 94 = 2*x + 4*g. Let a = x - -48. Is a a multiple of 6?
False
Suppose 3*f - 4*z - 22 = 0, -8 - 19 = -5*f - 3*z. Is (-231)/44*(-16)/f a multiple of 3?
False
Let o = 75 + -40. Let a = o + -51. Let k(q) = -2*q - 16. Does 16 divide k(a)?
True
Suppose -15 = -x - 4*x. Suppose -2*r + x + 7 = n, -5*n = 4*r - 32. Suppose -24 - 6 = -r*j. Does 3 divide j?
False
Is 5 a factor of ((-104)/(-10) + -2)/((-21)/(-70))?
False
Let h be 0 + 16/(3 + 1). Suppose h*y = 5*y. Suppose 70 = 5*b - y*b. Does 4 divide b?
False
Let n = -2916 - -4371. Is n a multiple of 28?
False
Suppose -52*w - 4433 = -22841. Is 2 a factor of w?
True
Let t = -14 + 16. Let a(u) = -4*u - 18 + 32 - u + u**t + 2*u. Is a(7) a multiple of 14?
True
Does 21 divide 136/(1/4 - (-6)/8)?
False
Is 4 a factor of (-110)/(-2)*(-6 + 7)?
False
Is 3 a factor of -2 - (-64 - (-49)/7)?
False
Let z(u) = 9*u**2 + 2*u + 7. Let n(l) = -10*l**2 - 2*l - 7. Let p(m) = 6*n(m) + 7*z(m). Does 9 divide p(-5)?
True
Let w be (4/5)/(-4*4/(-40)). Is 5 a factor of (w/(-6))/(3/(-315))?
True
Let n = 239 - 99. Suppose 4*d = -88 + n. Is d a multiple of 4?
False
Let b(t) = 2*t**3 - 6*t**2 + 4*t - 15. Let x be b(6). Let w = x - 127. Does 10 divide w?
False
Let n(h) = h**2 - 5*h + 7. Let m be n(6). Let l(j) = -10*j + j**3 - 11*j**2 - 6 - j**2 + 0*j. Does 33 divide l(m)?
True
Is 27 a factor of (-14)/84 + (-2521)/(-6)*1?
False
Let r = 37 + 221. Let h = r + -166. Let b = -33 + h. Is b a multiple of 13?
False
Suppose 0 = 7*u - 883 - 573. Let y = u + -125. Does 9 divide y?
False
Let u(b) = -4*b**2 + 3*b**2 - 11*b - 2 - 2*b + 0*b**2. Is 17 a factor of u(-8)?
False
Let u = 114 + -14. Does 50 divide u?
True
Let g be (-2 - 0)/((-2)/4). Let p(u) be the first derivative of u**4/4 - 4*u**3/3 + 4*u**2 + 3*u - 8. Does 6 divide p(g)?
False
Let d be (80/12)/((-2)/(-3)). Suppose 0 = s - 2*f - 2*f - 18, s = 2*f + d. Is (34/(-3))/(s/(-3)) a multiple of 7?
False
Let t be (23 + -5)*(-13)/3. Let j = t - -147. Is j a multiple of 18?
False
Is 31 a factor of (-37 + 31)/(-3*1) + 625?
False
Let g = -418 - -910. Is 26 a factor of g?
False
Let r = 80 + -78. Is 32 a factor of r/(-9) - 1136/(-9)?
False
Suppose 28*w - 249 = 227. Does 10 divide w?
False
Is (-4760)/(-12)*192/80 a multiple of 17?
True
Suppose 0 = -u - 49 + 11. Let w = u - -58. Suppose 33 = 2*a + n - w, 0 = 2*a + 5*n - 49. Is 9 a factor of a?
True
Let f(b) = b**3 + b - 3. Let q be f(2). Suppose 4*j - 2*h - 564 = 0, q*j - 4*j - 4*h = 428. Is 14 a factor of j?
True
Let n(y) be the first derivative of y**3 - 7*y**2/2 - 17*y - 38. Is n(7) a multiple of 30?
False
Let q = -818 - -1286. Is 78 a factor of q?
True
Suppose 34 - 111 = 3*p + 4*s, s = -p - 24. Let l(x) = -x**2 - 23*x - 42. Is 34 a factor of l(p)?
True
Suppose -40052 = 12*x - 31*x. Does 31 divide x?
True
Suppose -o - 12 = -5*o. Suppose -3*p - d + 30 + 64 = 0, -o*d + 150 = 5*p. Is p a multiple of 11?
True
Is (-100 + 3)*(-16)/(14/7) a multiple of 8?
True
Let b = -8 - -16. Suppose 0 = -4*d + 8 + b. Suppose -m + d*m = 105. Does 8 divide m?
False
Let h = -95 + 139. Does 10 divide h + -1 - (4 - 4)?
False
Is 4 - 1 - (-396 + -74) a multiple of 6?
False
Let z = -4 - -9. Let r = 7 - z. Does 12 divide (46 + r)*2/4?
True
Let g = 107 - 96. Let x(b) = b**3 - 8*b**2 - 13*b - 16. Is x(g) a multiple of 15?
False
Suppose 0 = 7*w - 13*w - 126. Does 26 divide 2624/28 + (-6)/w?
False
Let y = 137 - -671. Suppose y = 12*x - 8*x. Is x a multiple of 28?
False
Suppose p - 4 = -0*p. Suppose -p*f + 788 = 228. Does 35 divide f?
True
Suppose 0*d + 2*d - 394 = 0. Suppose u + 3*m - 52 = 0, 5*u + 4*m - 96 = d. Suppose u - 16 = q. Does 15 divide q?
True
Let b(z) = -z**2 + 11*z + 5. Let r be b(11). Let l = 31 + -19. Suppose -l = -s + r. Does 13 divide s?
False
Let m = -2692 + 4266. Is 13 a factor of m?
False
Let c = -4 - -10. Let l = c + -4. Does 5 divide (-13)/(-2) + (-3)/l?
True
Suppose -2*c - 2*v + 3908 = 0, -1752 = -2*c + 4*v + 2162. Is c a multiple of 115?
True
Let t(l) = -2*l + 8. Let n be t(7). Suppose -2*k - 110 = -7*k + 5*o, 5*o = 3*k - 68. Let p = k + n. Is p a multiple of 5?
True
Let f = -2 + -1. Let a(c) be the second derivative of -c**5/20 - c**4/12 - 5*c**3/6 - 2*c**2 - 166*c. Is 29 a factor of a(f)?
True
Suppose 96*v - 15048 = 78*v. Is 19 a factor of v?
True
Let c(a) = a**2 - a + 2. Let l be c(-2). Let i(d) = d**3 - 9*d**2 + 6*d + 8. Let v be i(l). Let r(q) = q**3 + 9*q**2 + 5*q + 6. Is r(v) a multiple of 5?
True
Suppose -35 = -w - 15. Let s = w - -52. Is 13 a factor of s?
False
Let c be (666/24)/((-1)/4). Let z = -67 - c. Suppose -3*b + z = -4*n, 2*n - 83 = -5*b - n. Is 16 a factor of b?
True
Let t(x) = -x**2 + 7*x - 8. Let k be (-3)/1 - -1 - -9. Let q be t(k). Is (-9)/36 - 834/q a multiple of 26?
True
Suppose -3*i + 149 = -l, -5*i = -l - 78 - 171. Let y = 82 - i. Suppose -6*q = -2*q - y. Is q a multiple of 4?
True
Let s(g) = g**2 - 9. Let c be s(-5). Suppose 0 = -8*w + 7*w - c. Is 4 a factor of w/(-12)*(-36)/(-8)?
False
Let p = 2317 + -1309. Does 57 divide p?
False
Let i = 120 - 70. Let c = i + -30. Does 5 divide c?
True
Is -2*642/(-12) + -2 a multiple of 10?
False
Let w(i) = -11*i + 6. Let a be w(-3). Suppose 4*z - 20 = -0*z, z + a = -4*f. Let v = f + 26. Does 8 divide v?
False
Suppose -1520 + 299 = -11*r. Is 16 a factor of r?
False
Let t(a) = -6*a**3 + 2*a**2 - 2*a - 12. Let r(v) = 5*v**3 - 2*v**2 + v + 12. Let j(d) = 5*r(d) + 4*t(d). Is j(4) a multiple of 7?
False
Let u(g) = -60*g - 54. Is u(-4) a multiple of 21?
False
Suppose -2*g = -9 - 11. Suppose -z + g = -2. Suppose 4*u + 2*q = 2*u + 32, 2*q + z = 2*u. Does 8 divide u?
False
Suppose y = 2*y - 5. Let t be ((-2 - 2)/4)/((-1)/163). Suppose 17 = y*q - t. Is q a multiple of 9?
True
Let j(k) = 5*k**2 + 29*k - 140. Is 5 a factor of j(5)?
True
Suppose 0 = -6*h + 6860 - 494. Is 42 a factor of h?
False
Let t(n) = -n**3 + 13*n**2 - 6*n - 2. Is 50 a factor of t(7)?
True
Let j = 1236 + -738. Is j a multiple of 61?
False
Let p = 9 - 7. Let a(h) = 45*h. Is a(p) a multiple of 20?
False
Does 10 divide 1980/25 + 8/10?
True
Suppose -3*r - 309 = 3*d, -2*d + 2*r - 185 = -3*r. Suppose g + 65 = -4*z, 5*g + 3*z = 4*z - 220. Let i = g - d. Is 20 a factor of i?
False
Suppose -3*l - 6 = 0, -3*l + 23 - 89 = -5*t. Let c be 8/20 - (-39)/15. Suppose 4*h + 4*d - 64 = 0, c*d - t + 0 = 0. Is h a multiple of 12?
True
Let x(h) = -11*h + 12. Let b be x(10). Let s = b + 168. Let i = s - 22. Is 24 a factor of i?
True
Let w be 10 + (-3 - -2) + -1. Let a be 38/w - 3/4. Suppose 4*s - 64 + a = 0. Is s a multiple of 15?
True
Suppose -3*c + 4*d - 61 = -4*c, 0 = 4*c + d - 169. Let w = c - 12. Suppose -w = -h + 10. Is 6 a factor of h?
False
Let x be (-2)/3 + 16/6. Suppose -4*v - 7*o = -x*o - 845, 2*o - 212 = -v. Suppose -2*i = 4*m - v, 3*m - 53 = 2*m - i. Is 13 a factor of m?
True
Let a be (-6)/(-4)*(-10 + 12). Let b(d) = -2 + 2*d - 2*d + 2*d. Does 2 divide b(a)?
True
Let m = 9 + -3. Suppose 0 = -20*f + 25*f - 15. Suppose 29 = 2*j + i, -m + 21 = f*i. Is j a multiple of 2?
True
Let i(g) = 136*g - 2. Suppose 11 = 5*p + 1. Let d be i(p). Suppose -3*v + d = 2*v. Is v a multiple of 12?
False
Suppose -2*j - 7*z + 2 = -8*z, 5*j + 9 = -z. Does 15 divide (j - (-8)/32)/(2/(-320))?
True
Is 2 a factor of (3 + (-318)/6)/(-2) - -6?
False
Suppose 5*y + 20 = 2*d + y, 18 = 4*d + 3*y. Let u be 14/d - (-4)/6. Suppose 2*x 