e of 20?
False
Suppose -3*o = j - 1409, -o + 4*j = -4*o + 1424. Is o a multiple of 5?
False
Let z(x) = -x**3 + 8*x**2 - x + 10. Let t be z(8). Let g(k) = k + 0 - 5*k + 15*k**2 - 5 + 8*k. Does 15 divide g(t)?
False
Let q(j) = -16*j + 4. Let c be q(3). Let b be (-4)/24 + (-29)/6 + -2. Is 13 a factor of -2 - (-7)/(b/c)?
False
Suppose 4*f - 231 = -87. Is f a multiple of 12?
True
Let b(t) = t**2 + t - 108. Let j be b(0). Let h = j - -169. Suppose -2*p + 0*i + 64 = -4*i, -i - h = -2*p. Is p a multiple of 10?
True
Suppose 0 = -15*v + 751 + 3974. Is v a multiple of 45?
True
Let d = -283 - -452. Let y = 334 - d. Is 31 a factor of y?
False
Let z(q) = -q**2 - 10*q - 10. Let y be z(-8). Let t(r) = -5 - 3 + r**3 + 5*r - 7*r**2 + 3*r. Is 4 a factor of t(y)?
True
Let v be (-2 - 8/(-5)) + (-36)/(-15). Does 23 divide 328/(-10)*(-4 - (-3)/v)?
False
Suppose 2*s = 2*b - 1 - 7, 2*b + 4 = -4*s. Suppose -b*o = -5 - 15. Is o/(-35) + (-44)/(-7) a multiple of 3?
True
Let x be 4/(-10)*(14 - -11). Let n be (x + 11)/((-1)/(-2)). Suppose -4*i = 2*g + 20 - 116, -3*i = -n*g + 68. Is 10 a factor of g?
True
Let j(f) = f**2 + 13*f - 25. Suppose c - 18 = -34. Is j(c) a multiple of 9?
False
Let p = 23 + -27. Is 24 a factor of (-16)/(-5)*p*45/(-24)?
True
Let v be (2 - (-1 + 2))*454. Suppose -3*q = d - 171, -5*d + 2*q + v = -452. Does 45 divide d?
True
Suppose 0 = -k + 6*k - 45. Suppose -13*n = -k*n - 172. Does 6 divide n?
False
Suppose -5*s - 17 = -7. Let c = s + 6. Is 3/(c/(-56)*-1) a multiple of 14?
True
Suppose 0 = -4*n - 2*q + 2550, -3*n + 3*q + 204 + 1704 = 0. Is n a multiple of 11?
False
Suppose 128 = k + 19. Let h = 156 - k. Does 8 divide h?
False
Suppose -7144 = -3*a - a - 4*j, 0 = -4*a + 2*j + 7120. Is 27 a factor of a?
True
Suppose 2*g - 4*y = 68, -5*g + 3*y + 102 = -103. Is 4 a factor of g?
True
Is 7/5 - (-376504)/190 a multiple of 13?
False
Suppose -24 = -3*y + 5*v, 3*y - 4*v - 24 = -y. Suppose y*q - 93 - 103 = 2*x, 72 = q - 4*x. Does 8 divide q?
True
Suppose -2*u = -468 - 24. Suppose -5*t - 2*r - 2*r + u = 0, 0 = t - 4*r - 54. Does 18 divide t?
False
Suppose 28*y + 39*y - 45292 = 0. Is y a multiple of 20?
False
Suppose -x = 0, 0 = -2*j - 4*x - 173 - 91. Let s = -80 - j. Is s a multiple of 4?
True
Let q = -114 + 170. Let m be (2 - q)*(-3)/9. Suppose 4*d - 91 = -n, -25 - m = -2*d - n. Does 15 divide d?
False
Suppose 4*q + 6*h = h + 27, -2*q - 5*h + 21 = 0. Is 3*q/(-3)*(-220)/6 a multiple of 10?
True
Let i(y) = -7 + 2 + 2 - 55*y**3 - 3*y + y**2. Is 14 a factor of i(-1)?
True
Let r = -161 + 759. Is 10 a factor of r?
False
Let b = 1626 - 680. Does 86 divide b?
True
Suppose -3*u - m + 5 = -7*u, -3*u - 2*m - 12 = 0. Let t = -2 - u. Suppose a - 77 - 6 = t. Is a a multiple of 19?
False
Let p = -2430 - -3281. Does 6 divide p?
False
Suppose -5*f = -2*k - 14, 0 = -3*f - 2 + 14. Is 21 a factor of (-4*(-3)/k - 1) + 144?
True
Let v = 62 - -44. Suppose 3*n + 141 = 3*o, n = 2*o - v + 14. Is 15 a factor of o?
True
Let z(m) = m**3 + 5*m**2 + 2*m - 5. Let h be z(-4). Suppose 3*v = -3*y + 54, 54 = -v + 4*v - h*y. Is 6 a factor of v?
True
Let d = -6 - -8. Suppose -d*a = 3*w - 200, -w + 5*a + 52 = 2*a. Is 8 a factor of w?
True
Let k be (-84)/(-16) + (-3)/(-4). Suppose -k*m - 6 = -4*m. Let d(b) = -24*b - 3. Is d(m) a multiple of 23?
True
Let k be 6/(-24)*(1 + -1). Suppose 364 = 4*s - 2*a - k*a, 0 = -3*s - 5*a + 299. Suppose -s = 7*u - 555. Is 11 a factor of u?
True
Let a(d) = 3*d**3 + 22*d**2 - 5*d - 10. Let q(n) = 2*n**3 + 11*n**2 - 3*n - 5. Let s(i) = 3*a(i) - 5*q(i). Let b be s(11). Is (-324)/b + 2/10 a multiple of 17?
False
Let n = -198 + 497. Let z = n - 159. Is 10 a factor of z?
True
Let z = -1958 - -2028. Is z a multiple of 14?
True
Is (1297 - 0) + -1 + (4 - 2) a multiple of 22?
True
Is 40308/90 + 2/15 a multiple of 8?
True
Let x be (2/(-7))/(5/(-140)). Suppose -p - p + x = 0. Suppose p*g - 21 = 51. Is g a multiple of 18?
True
Let n be (16/(-20))/((-8)/20). Is 24 a factor of (-1205)/(-10) + (-1)/n?
True
Let w(q) = -7*q - 5 - 8*q - 4 - 1 - 2*q**2. Let t be w(-8). Let b = 43 + t. Does 5 divide b?
True
Suppose 416 = -1345*b + 1353*b. Is b a multiple of 4?
True
Suppose -5*t + 2*v + 860 = 0, -4*t + 4*v = -5*t + 194. Is t a multiple of 11?
False
Suppose 646 = 2*l - 28. Is 35 a factor of l + ((-9)/3 - -5)?
False
Is ((-2412)/(-15))/(6/15) a multiple of 39?
False
Let r(h) = h**2 + 6*h + 5. Let x be r(-5). Suppose 0 = -x*w + 4*w - 20. Suppose -w*m = -10 - 20. Is 2 a factor of m?
True
Let l be 48/(-18)*(-6)/4. Suppose -l*x - p = -99, 5*x = p - 0*p + 135. Is 4 a factor of x?
False
Let r be 4/(-3)*(-12 + 3). Suppose 4*w - r = 0, -3*g + w = -0*w - 177. Does 20 divide g?
True
Let p = 36 - 41. Let j(r) be the first derivative of -r**2/2 + 2*r - 4. Is j(p) a multiple of 5?
False
Let j(m) = -2*m**3 - 32*m**2 - 13*m + 78. Is 85 a factor of j(-19)?
False
Suppose 20305 = 25*j + 1555. Is j a multiple of 10?
True
Let r = -31 - -36. Does 21 divide 0 - (r - 174) - 1?
True
Let d(r) = -r**3 + 4*r**2 + 5. Let l be d(4). Let q be (l - 9)/(2/(-6)). Suppose -q = s - 2*s. Does 4 divide s?
True
Is 39 a factor of (-1)/(4 + (-19663)/4914)?
True
Does 11 divide (73 - -5)*((-54)/12 + 5)?
False
Suppose 12*m - 375 + 15 = 0. Is 3 a factor of m?
True
Suppose 4*t = -8, -946 = -4*v + 6*t - 3*t. Is 25 a factor of v?
False
Let h be (-123)/39 + (-10)/(-65). Let y be (-1)/h - 208/(-6). Let d = y - -3. Is 17 a factor of d?
False
Does 27 divide (2 + (-68)/7)/(86/(-4214))?
True
Let h = 112 + -106. Suppose s - a = 87, -h*s + 4*a = -7*s + 77. Does 17 divide s?
True
Let o(c) = -2*c - 3. Suppose -5*m = 11 + 4. Let y be o(m). Suppose 3*i - 66 - 59 = 5*w, 0 = -y*i - w + 137. Does 10 divide i?
False
Let p(l) = -2*l**2. Let b be p(-1). Let g be b/6 - 3/(-9). Let u = 5 + g. Is u a multiple of 5?
True
Suppose -2*p + 0*p + 12 = 0. Let c be 0/(p*(-4)/(-12)). Let i = 10 - c. Does 9 divide i?
False
Let p(j) = j**2 + 5*j - 56. Does 24 divide p(-13)?
True
Let l(m) = 821*m**3 - m**2 - 5*m + 5. Does 24 divide l(1)?
False
Suppose 4*r - 432 = -0*r. Let o = -13 + r. Suppose 7*m - 2*m = o. Is 19 a factor of m?
True
Let c(s) = 6*s - 9. Let n be c(10). Let k = 3 + n. Does 14 divide k?
False
Suppose 0 = v + p - 40, 197 = 4*v + v + 2*p. Suppose 3*u + 30 = -2*n - 12, 4*n = u. Let z = v - u. Is z a multiple of 17?
True
Suppose -2*r - 249 = -b, 4*b - 5*r - 697 - 314 = 0. Is 42 a factor of b?
False
Suppose -1549 - 707 = -8*k. Let v = 422 - k. Is 28 a factor of v?
True
Is 30 a factor of (27/(-3))/((-1)/((-2450)/(-21)))?
True
Suppose -4*v + 8 = 0, -2*q + 4 = 2*v - 5*v. Suppose -q*c + 1471 = 2*p, -4*p + 3*p - 290 = -c. Suppose -4*m = -c - 79. Is m a multiple of 27?
False
Let p = -11 - -15. Suppose -20 = -2*o - p*r + 4, 0 = 5*o - 4*r + 10. Suppose o*k = -k, 4*h - 108 = -4*k. Is 7 a factor of h?
False
Let r be 2 - 3/((-12)/(-20)). Does 16 divide (33/(-12) - r)*-90*-4?
False
Let k = 2440 - -1448. Does 12 divide k?
True
Suppose 0 = -3*d - h + 898 + 2194, -5*h - 2033 = -2*d. Is d a multiple of 12?
False
Let j(r) = -3*r**3 - 4*r**2 + 12*r + 23. Suppose -3*f - 40 + 16 = 0. Let o(v) = 2*v**3 + 3*v**2 - 8*v - 15. Let t(b) = f*o(b) - 5*j(b). Is 5 a factor of t(-5)?
True
Suppose 0 = 5*z - d - 1048 - 1789, 3*z - 1707 = -d. Is z a multiple of 13?
False
Suppose -3*d - t = -1720, -3*d + 3*t - 50 = -1754. Does 5 divide d?
False
Let w(k) = 3*k**2 - 8*k + 7. Let g(d) = 5*d**2 - 15*d + 13. Let o(x) = 4*g(x) - 7*w(x). Let y(z) be the first derivative of o(z). Does 8 divide y(-6)?
True
Let b = -115 - -10. Let m = b - -171. Does 12 divide m?
False
Let u(r) = r**3 + 9*r**2 + 8*r + 6. Let l be ((-2)/3)/((15/(-3))/(-60)). Is u(l) a multiple of 3?
True
Suppose -3*c - 3 = 3. Let t = 118 - c. Does 12 divide t?
True
Let k be -7*1*(-12)/14. Suppose -k*q + 273 = -99. Suppose -2*z - q = -2*b, 2*z + 1 = 3. Is 32 a factor of b?
True
Let f = -790 - -385. Let x = 670 + f. Suppose -3*n = -8*n + 2*c + x, -219 = -4*n + 3*c. Is 17 a factor of n?
True
Let d(a) = a**2 + 2*a + 7. Let p be (-12)/(-54) + (-47)/9. Let u be d(p). Suppose -2*v + u = -2*i, i + 21 = 4*v - 2*v. Is v a multiple of 5?
True
Let q = -263 - -182. Let p be (-2)/(-9) - (-99)/q. Is 16 + p - (2 - -1) a multiple of 4?
True
Suppose 141*v + 328 = 145*v. Is v a multiple of 41?
True
Suppose 20 = 4*x - 100. Let d = 70 - x. Does 10 divide d?
Tr