7 a factor of r?
True
Suppose 3*o + 11*l - 12*l - 1991 = 0, 2*o - 1338 = -2*l. Is 5 a factor of o?
True
Suppose 4*q + 5*s = -8 + 59, q - 3*s = 0. Suppose 8 = 4*g, -1322 = -4*i - q*g + 4*g. Is i a multiple of 35?
False
Let f(j) = 2*j - 40. Let o be f(20). Let p(t) = 45 + 0*t**2 + 5*t - t**2 + 7 + o*t. Does 6 divide p(0)?
False
Suppose 4*i - 3 = -3. Does 47 divide (4 - i/5)*94?
True
Suppose 40 = -19*u + 23*u. Suppose u*g - 22*g + 216 = 0. Is g even?
True
Let p = -11255 - -11398. Does 12 divide p?
False
Suppose -84 = -3*n - 78. Is (((-4011)/14)/(3/(-4)))/n a multiple of 17?
False
Suppose -13*m = 2*m + 1575. Let a be 43424/207 - (-4)/18. Let t = a + m. Is t a multiple of 21?
True
Suppose 13*b = 40*b - 190315 - 58895. Does 65 divide b?
True
Let v be (2 + -4)/(2/(-173)). Let z = 29 + -25. Suppose 429 - v = 4*w - z*o, -w - 5*o = -88. Is w a multiple of 17?
True
Suppose x + b = -2*b + 15, 0 = 4*x - 2*b + 10. Suppose 32 = -2*r + 2*v + 90, 2*r - v - 59 = x. Is 7 a factor of r?
False
Is 41 a factor of (1*-859)/((-163)/2771)?
False
Does 27 divide -2 - (((-28)/3)/(-7) + 9508/(-3))?
False
Let x(r) = -6*r**2 + 121*r - 27. Let s be x(20). Is 14 a factor of 1144 - (-7 - 49/s)?
False
Let g be (15/(-14) + 24/42)*-32. Does 3 divide (g*-1)/(1/4*-2)?
False
Let q(p) = 40*p**2 - 354*p - 1396. Is 4 a factor of q(-4)?
True
Let a be ((-3)/(-3))/(21/(-9) - -2). Is 20 a factor of (-14 - a) + 5 - -865?
False
Suppose 63*o - 314939 + 215004 = 302572. Does 31 divide o?
False
Let a(w) = -2*w**3 - 15*w**2 - 19*w - 6. Let q be a(-6). Suppose 0 = -6*z + z - 4*l + 1540, q = -5*l. Is 44 a factor of z?
True
Suppose 28763 - 104197 = -75*t + 539566. Does 18 divide t?
False
Is 14 a factor of ((-5776)/95 + 1 + -3)/((-3)/195)?
False
Suppose 4*x = -3*x + 3227. Is 14 a factor of -5 + 0 + 0 + 1 + x?
False
Let x = 831 - 519. Is x a multiple of 6?
True
Let q be 34/(-10) - (12/(-15))/2. Let r be (-1*q/9)/((-1)/6). Is 20 a factor of (r/(-5) - 0) + 218/5?
False
Let u(p) be the first derivative of p**3/3 + p**2/2 + 6. Let n(f) = f**3 + 11*f**2 + 9*f + 6. Let h(a) = n(a) + 2*u(a). Is h(-12) a multiple of 18?
True
Let h(a) = -a**3 - a**2 - 13*a - 21. Let d be h(-2). Suppose 5*l + 1574 = 2*o, o - 809 = 6*l - d*l. Does 17 divide o?
False
Suppose -30*v = 3*r - 29*v - 6832, 5*r - 11405 = 2*v. Does 14 divide r?
False
Suppose 7*j = 5163 + 49691 + 66274. Does 42 divide j?
True
Let g = 10917 + -4101. Is 74 a factor of g?
False
Let z(d) = 4*d**3 - 4*d**2 + 7*d - 13. Let q(m) = 10*m**3 - 9*m**2 + 13*m - 27. Let l(k) = -4*q(k) + 9*z(k). Does 17 divide l(-5)?
False
Let x be 158/((-12)/966*-7). Suppose -8525 = -12*s - x. Is s a multiple of 38?
False
Let z = -78 + 66. Let f be -34 + 2*z/8. Let v = f + 153. Is 18 a factor of v?
False
Let d(s) = -22*s**3 - 20*s**2 - 87*s + 87. Does 21 divide d(-5)?
True
Suppose 0 = -27*o + 79130 + 43342. Does 63 divide o?
True
Let a(i) = -362*i - 768. Is 52 a factor of a(-6)?
True
Let l = -119 - -123. Suppose i - 1 = 0, 3*i - 646 = -l*z + 57. Does 35 divide z?
True
Let h(y) = -y**3 - 30*y**2 - 46*y - 53. Let t be h(-29). Let z = t + -303. Is z a multiple of 26?
False
Suppose -12*q - 28 = -8*q. Let r(n) = -n**2 + 4*n - 8. Let x be r(q). Let f = -79 - x. Is f even?
True
Let g(y) = y**2 - 10*y + 27. Suppose 2*f - 200 = -4*a, 48 = 2*a + 2*f - 54. Let k = -37 + a. Does 14 divide g(k)?
False
Let i(r) = r**3 + 2*r**2 - 30*r - 9. Let m be i(-6). Is (6 - m)/(10/(-680)) a multiple of 42?
True
Let d(l) = 6*l**2 - 7*l - 34. Let b be d(-3). Suppose -790 = b*j - 4685. Is j a multiple of 19?
True
Suppose 180 = 4*p - 8*p. Let u = -40 - p. Suppose 295 + 650 = u*s. Is s a multiple of 30?
False
Suppose -8*h + 15 = -11*h - 3*p, -2*h - 3*p - 7 = 0. Let t be 1356/9 + -2 - h/24. Suppose w = -3*l + 10 + t, -5*l = -2*w + 373. Is w a multiple of 27?
False
Let s = -11412 - -17964. Is s a multiple of 39?
True
Let n(c) be the first derivative of c**3/3 - c**2/2 + 14*c + 54. Suppose w = 3*s + 2*s + 16, -12 = -3*w - 3*s. Does 4 divide n(w)?
True
Let r = 80 + -81. Let m be 1 - (-2 + 1)*1/r. Suppose -8*b + 0*b + 720 = m. Is 4 a factor of b?
False
Suppose 22*r = -858 - 1364. Let g = r + 158. Does 19 divide g?
True
Suppose 2*d - 27079 = -2*w + 1337, 0 = 3*d - 3*w - 42630. Is 13 a factor of d?
True
Let y be (-7 + -1)/(-7 + (-5)/(-1)). Suppose -y*l - 920 = -5*j, -3*j + 4*l = j - 740. Is 10 a factor of j?
True
Suppose -57477 = -156*c + 279483. Is c a multiple of 48?
True
Let u(h) = 103*h**2 - 30*h - 185. Is 43 a factor of u(-10)?
False
Suppose 9*i - 22*i = -195. Does 18 divide ((-126)/i)/((-1)/90)?
True
Let z(b) = b**3 - 18*b**2 - 10*b - 81. Let l = 2 - -17. Is 5 a factor of z(l)?
True
Let y(a) = -2*a**2 + 24*a**3 - 8*a**3 + 53 - 8*a**3 - 17*a - 5*a**3 - 2*a**3. Does 4 divide y(4)?
False
Let s be 1860 + 5 + (-4 + 2 - -1). Suppose -6*a - 340 = -s. Is 23 a factor of a?
False
Suppose 4*o = 8 + 4. Suppose 5*q = 0, -o*q = 5*j - 2*j + 27. Is (-57)/j*(6 + -3 + 6) a multiple of 9?
False
Does 41 divide (-9428)/(-23) - 20/(-230)?
True
Let g = 20657 + -6972. Is g a multiple of 47?
False
Suppose -486*d - 26798 = -q - 490*d, -q + 26806 = 5*d. Is 17 a factor of q?
False
Let l(z) = 22*z**2 - 102*z + 52. Is 18 a factor of l(9)?
False
Let v(c) = -134*c - 616. Is v(-35) a multiple of 29?
False
Let m(b) = b**2 - 9*b + 12. Let l be m(9). Let d be 1 + (1242/l)/(2/4). Let x = d - 95. Does 16 divide x?
False
Let z = -225 - -228. Let w(v) = 37*v**2 - 8*v - 1. Is w(z) a multiple of 44?
True
Let b(a) be the second derivative of -a**7/2520 - 7*a**6/360 + a**5/120 - 17*a**4/12 - 9*a. Let t(d) be the third derivative of b(d). Is 7 a factor of t(-12)?
False
Suppose -p + 351 = -6*b + 2*b, 2*p - 677 = 3*b. Let m = p + -282. Is m a multiple of 7?
True
Let c be 4/(614/(-1510) - (-32)/80). Let n = 1164 + c. Does 24 divide n?
False
Let p = -606 + 800. Let g = -377 + 225. Let j = g + p. Is 10 a factor of j?
False
Is 19/(760/217008) - 24/20 a multiple of 23?
False
Suppose -6*a = -5*u - a - 80, -3*u - 72 = 3*a. Is 38 a factor of ((-285)/u)/(24/1216)?
True
Suppose 0 = -y, 5*w = -4*y + 4 + 6. Is (-7 + 1935/10)*w a multiple of 9?
False
Suppose 5 = 2*b + 3*o - 2*o, 3*b = -4*o. Suppose b*i - 24 = 60. Suppose 9 = 2*j + 4*v - 15, 2*j + 5*v - i = 0. Is 8 a factor of j?
False
Suppose 0 = 6*c - 11*c + 100. Suppose -13*j - 1806 = -c*j. Does 33 divide j?
False
Let f(a) = 22*a - 18. Suppose 18*p - 25 = 29. Is 24 a factor of f(p)?
True
Let z be (-5 - -24) + (-24 - -7). Let y be (-1 + 5)/(2/39). Suppose -z*g - 216 = -3*v, -6 = v - 5*g - y. Is 24 a factor of v?
True
Suppose 8*r + 12 = 20. Let b be -3 - ((-2)/(-3 + r) + 0). Is 305 + b/(-2 - -3) + -2 a multiple of 13?
True
Let x = 21205 - -875. Is 48 a factor of x?
True
Let b(w) = -4*w - 58. Let f be b(-15). Is 10 + -4 + (-2 - f) - -166 a multiple of 24?
True
Let o(i) = -3*i**2 + 30*i + 29. Let l be o(17). Let q = 617 + l. Does 13 divide q?
False
Let s be (15/6)/(-5)*8/(-4). Let p be 3 - (3/(3/3))/s. Suppose 9*j - 196 - 146 = p. Is 17 a factor of j?
False
Let j be 0 - -5 - (-56 - -9). Suppose 0 = -8*x - j - 92. Does 54 divide x/(-12)*(-668)/(-3)?
False
Let l = 5264 - -414. Does 22 divide l?
False
Does 63 divide (71685/(-324))/(7/(-4) - -1)?
False
Suppose -54*d + 49*d = -5*x - 95520, 2*d - 4*x = 38202. Is d a multiple of 21?
False
Let m = 53163 - 16172. Is 132 a factor of m?
False
Let j = -43 + 19. Let w = j - -26. Suppose w*m = -h + 114, -94 - 193 = -3*h + 5*m. Does 9 divide h?
False
Let h(f) = -3312*f + 68. Let u be h(-2). Suppose 20*g = 30132 - u. Is g a multiple of 26?
False
Suppose 2*b + 10 = 2*i + 6*b, 5*i = -4*b + 55. Suppose 460 = -i*k + 20*k. Suppose 5*q - k = -d - 17, 0 = 2*d + 2*q - 158. Does 13 divide d?
False
Suppose 0 = 18*k + 7573 - 86773. Is 100 a factor of k?
True
Let k be 1 - (6/4 + (-105)/2). Suppose -2*d - k = -b, 2*d - 2*b + 0*b + 50 = 0. Is 8 a factor of (26/(-6))/(3/d) - 1?
False
Let b = 8549 - 6050. Does 151 divide b?
False
Suppose 9*t = -36 + 234. Suppose 0 = t*q - 4383 - 215. Is 17 a factor of q?
False
Let g(z) = -4*z. Let q be g(-1). Let v = 2002 + -1942. Suppose -2*s + v = q*s. Is 5 a factor of s?
True
Let g = 43 - 35. Suppose 0 = -5*c, -4*w - 4*c + 7*c = -g. Suppose 2*k - 813 = -4*x - 93, -720 = -w*k - x. Does 21 divide k?
False
Does 110 divide 415/((76/(-532))/((-44)/14))?
True
Let i be 1/(