 87*y + 4. Does 20 divide j(79)?
False
Let v(b) = 5*b**3 + 2*b**2 + 6*b - 5. Let c(u) = -4*u**3 - 3*u**2 - 5*u + 4. Let g(i) = -4*c(i) - 3*v(i). Let j be g(-6). Let q = 4 - j. Does 5 divide q?
False
Suppose -44*x + 21950 = 698. Is 21 a factor of x?
True
Suppose 36 = 4*j + 4*x - 0*x, 14 = j + 2*x. Suppose -4*b = i - 121 - 76, 3*i - j*b - 623 = 0. Does 41 divide i?
True
Suppose -3*i - 207 = -3*b, -5*i + 22 = -4*b + 299. Does 34 divide b?
True
Suppose 0 = 5*y + 5*n - 560, -40 + 270 = 2*y - n. Suppose 3*t + 2*f - y = 0, f + 2*f = 9. Is t a multiple of 7?
False
Let n(o) = 25*o - 57. Is n(9) a multiple of 42?
True
Let n(r) = r**3 - r**2 + r - 1. Let m(k) = -6*k**3 + 13*k**2 - 9*k + 4. Let z be 6/21 - 5/(-7). Let a(q) = z*m(q) + 5*n(q). Is a(4) a multiple of 14?
False
Let v(l) = l**3 - 5*l**2 + l + 11. Suppose 3 = 9*q - 42. Does 8 divide v(q)?
True
Let v = 128 - 111. Let u be 2/9 + 655/9. Let t = u - v. Is 9 a factor of t?
False
Let a be 3/(-7) - (-10736)/77 - 1. Let s = -74 + a. Is 32 a factor of s?
True
Let d(q) = 91*q - 25. Does 64 divide d(9)?
False
Suppose -s - 4*s + 13090 = 0. Is s a multiple of 22?
True
Suppose 4*x - 1269 - 783 = 0. Is x a multiple of 3?
True
Does 18 divide (-592 + (-4)/(-2))/(65/(-130))?
False
Let s(r) = 2*r + 21. Let a(h) = 2. Let w(d) = 22*a(d) - 2*s(d). Let v = 178 + -181. Is 3 a factor of w(v)?
False
Is 26 a factor of (-1)/((-6)/1112)*6/4?
False
Let f(q) = -q**2 - q + 2. Let t be f(0). Suppose t*l + 8 = -4*z - 2*l, -16 = 2*z + 5*l. Suppose 0*g = -z*g - 2*p + 64, -5*g + 148 = p. Does 10 divide g?
False
Suppose -2*q - 4 = 2*q. Is 25 a factor of 60*((-10)/6)/q?
True
Is 26730/44*32/6 a multiple of 40?
True
Suppose -133*o + 911225 = 262850. Does 13 divide o?
True
Let q(p) = 12*p**2 + p**2 - 126*p + 128*p - 3. Is 35 a factor of q(-3)?
False
Suppose 289 + 679 = 4*z. Does 11 divide z?
True
Suppose 4*p + 1 - 1 = 0. Let m(r) = r**3 + 2*r + 40. Is 3 a factor of m(p)?
False
Let n(c) = -c**2 + 8*c - 9. Let h be n(6). Is (19 - 22)*(-124)/h a multiple of 31?
True
Suppose -5*w + 12 = v, 0*v + v = -3*w + 8. Suppose -w*b - 31 = -379. Let q = b + -88. Is 25 a factor of q?
False
Suppose 2*w + v = 3*w - 4, 2*v + 14 = 3*w. Suppose w*x = 11*x - 660. Is 12 a factor of x?
True
Suppose -55 = -2*d - 3*d. Let k = 17 - d. Suppose -k*g + 5*g = 5*o - 93, 2*o = 5*g + 48. Is o a multiple of 19?
True
Let z = -26 - -28. Suppose z*j + 493 = 5*b, 0 = -3*j - b - 705 + 8. Let v = -157 - j. Does 14 divide v?
False
Let b be (16/(-10))/(44/(-110)). Is b - (-39 + 6/(-3)) a multiple of 9?
True
Suppose -5*t + 2*q - 36 - 4 = 0, 5*t - q + 35 = 0. Is 6*((-26)/t + 3) a multiple of 5?
False
Suppose 0 = -2*y - 53 + 2453. Is ((-9)/(-4))/(-5*(-4)/y) a multiple of 11?
False
Suppose -4*w - 8 = -2*w. Let p be 6 + 4/(w + 3). Suppose 3*k = f + 337, 12 = -p*f + 4. Does 30 divide k?
False
Suppose -10*w + 4832 = 6*w. Is 29 a factor of w?
False
Let r(w) = 7*w - 38. Suppose -21*h = -24*h + 60. Is r(h) a multiple of 34?
True
Suppose 3019 = 7*f - 425. Is 3 a factor of f?
True
Suppose 900 = 5*y - 0*y. Is y a multiple of 9?
True
Suppose 5*n + 5*z + 65 = 0, -5*z + 2*z = -4*n - 73. Let o = n + 92. Does 11 divide o?
False
Suppose 37*j - 27*j = 3310. Does 15 divide j?
False
Suppose 5*l - l + 30 = -c, 5*l - c = -42. Is 27/(-36) + (-294)/l a multiple of 15?
False
Let k(q) = 3*q**2 - 13*q + 12. Let a(y) = -y - 3. Let r be a(2). Let h(d) = -d**2 - 6*d. Let z be h(r). Is 11 a factor of k(z)?
True
Let u(c) = 4*c**3 - 8*c**2 + 4*c + 4. Let j be u(5). Suppose -2*b - 2*b = -5*v - j, 92 = b - 4*v. Suppose 4*f - 4 = b. Does 10 divide f?
True
Suppose 18*u = 21*u - 2169. Is 12 a factor of u?
False
Suppose -10*r = -46 - 24. Suppose -3*m - r*m = -770. Does 7 divide m?
True
Let n(l) = -l**2 - 6*l - 1. Let b be n(-6). Let a be (-5 + 2)/(b/(-11)). Let m = 81 + a. Does 12 divide m?
True
Suppose 0 = g - 22 + 6. Does 20 divide 1276/16 - (-4)/g?
True
Let s be 437/7 - 10*(-14)/245. Suppose -3*f - 45 = -s. Is f even?
True
Suppose -137 = -16*s + 551. Does 27 divide s?
False
Let m(h) = 2*h**2 + 8*h - 19. Let q(j) = j**3 + 8*j**2 - 8. Let p = -24 + 16. Let o be q(p). Does 15 divide m(o)?
True
Suppose -200*p + 2184 = -196*p. Does 14 divide p?
True
Does 26 divide 22/(-55) + 22236/15?
True
Let x(q) = 24 - 11 - 8 + 37*q - 9. Is 33 a factor of x(1)?
True
Let u(j) = -j**2 + 9*j + 178. Let x be u(0). Suppose -134 - x = -4*t. Does 26 divide t?
True
Let w = -696 + 949. Is w a multiple of 2?
False
Let w(b) = 12*b**2 - 10*b + 48. Does 4 divide w(-10)?
True
Suppose 307 = -11*s + 10*s. Does 12 divide 2/(-18) - s/9?
False
Let i = 145 + -26. Suppose 3*u - 245 = -2*f + i, -f - 5*u = -196. Does 23 divide f?
False
Let a = -212 + 312. Is a a multiple of 4?
True
Let c(d) = 2*d**2 + 12*d - 3. Let g be c(-4). Let s = g - -23. Suppose v - s*v + 39 = 3*f, 2 = -2*v. Is f a multiple of 11?
False
Let s be 42/4*(-208)/(-39). Let p = s + -24. Is 7 a factor of p?
False
Let i(t) = -166*t - 2. Let v(y) = y + 1. Let l(h) = -i(h) - 4*v(h). Does 32 divide l(1)?
True
Suppose -3*f - 204 = -u, -f = -2*u + 199 + 209. Is 4 a factor of u?
True
Suppose 167 = -2*r + 4*r - h, 419 = 5*r - 3*h. Suppose d = -d - 3*m - 78, -2*d - 2*m - r = 0. Is (-36)/(-10)*d/(-18) a multiple of 3?
True
Let f(s) = s**2 + 89*s + 127. Does 7 divide f(22)?
True
Let g = 410 + -203. Does 9 divide g?
True
Suppose 7*h = 25 + 10. Suppose 0 = -2*z + h*z - 24. Is 4 a factor of z?
True
Is 43 a factor of (-43)/(12/42 - 33/42)?
True
Suppose -3*s + 3878 = 2*y, 4*s - 5148 = -0*s + 3*y. Is 50 a factor of s?
False
Suppose 5*x + 4*n = 2340, 3*n + 2340 = -6*x + 11*x. Does 36 divide x?
True
Let p = 117 - 83. Let q = p + 18. Is q a multiple of 16?
False
Suppose 0 = -4*h + 4*k + 1328, 0*h - 3*k = -2*h + 661. Let f = h + -216. Is f a multiple of 7?
True
Let s = 146 + 814. Does 24 divide s?
True
Let j = -773 + 1168. Is j a multiple of 20?
False
Does 14 divide 266/(-5)*(7 + -10 - 12)?
True
Let n(d) = d**3 + 6*d + 0 - 1 - 9*d. Let j be n(-2). Is 20 a factor of 0 - (-1 + -42 - j)?
True
Let x(d) be the first derivative of -d**3 - 53*d**2/2 - 19*d - 21. Is 13 a factor of x(-16)?
False
Does 21 divide (-19212)/(-20) + (-3 - 17/(-5))?
False
Suppose 107 = 6*y - 1015. Is 11 a factor of y?
True
Let q be (-1)/4 + (-27)/(-12). Suppose -2*j = -a + 7, -a - q*a = 3*j - 39. Suppose a*r - 10*r = 9. Does 4 divide r?
False
Suppose -2 = 4*o - 14. Suppose -o*t + 3 = -4*k, 4*t - 7 = 5*k - 2. Suppose -k*w + 250 = 2*w. Is 25 a factor of w?
True
Let s be (2 - 2 - 4)*28. Let c = -72 - s. Suppose -140 = -3*h - 2*f, -3*f + 5*f = -h + c. Is h a multiple of 19?
False
Let i be (-2)/(-4) - (-2)/4. Suppose 2*o - 2*l = 8, 14 = -5*l - i. Suppose -2*p = -o - 5. Does 3 divide p?
True
Suppose 2*m - 7*z + 5*z = 418, -5*m + 1085 = 3*z. Does 3 divide m?
False
Let f = 37 - -242. Is f a multiple of 31?
True
Let t(u) = 5*u**2 + 4*u + 3. Let f = -3 - -1. Is t(f) a multiple of 5?
True
Suppose 161 + 304 = 5*z. Suppose 0*a + 3*a - z = 0. Is 31 a factor of a?
True
Suppose 0 = -5*a - c + 11, 5*a - 4*a - 1 = c. Suppose 2*j - 44 = 4*w, -2*j - 5*w + 75 = a*j. Is j a multiple of 10?
True
Suppose 2*s - 12 = -j - 1, -24 = -4*j + 2*s. Suppose -5 - j = -3*g. Suppose g*m + 8 = 5*m. Is m a multiple of 5?
False
Is 52819/52 - 7/(-28) a multiple of 24?
False
Let z(t) = t**3 + 20*t**2 + 18*t - 16. Let f be z(-19). Suppose 4*y = m + f*m - 20, -2*y - m + 2 = 0. Does 15 divide (-1)/(y/(-45)*-3)?
True
Let z(d) = -d**2 - 19*d + 63. Is 26 a factor of z(-20)?
False
Let r be (-40 + 0)/(-4)*(1 + 5). Suppose -2*p + 7*p = r. Is p a multiple of 10?
False
Suppose 0 = 3*a + 3*x - 246, -2*a + 3*x = x - 172. Suppose -4*t + a = 16. Let k(z) = z**3 - 16*z**2 - 16*z - 10. Does 4 divide k(t)?
False
Let j be (5/2)/(-1*(-3)/6). Suppose -3*c - 4 = -j*i, -2*c + 3*i + 0 = 2. Does 2 divide c?
True
Let l = 9 - -5. Let j be ((-78)/(-5))/(l/175). Suppose 5*x - 270 = j. Is 17 a factor of x?
False
Let t(z) = z**3 + 8*z**2 + 6*z - 4. Let o be t(-7). Suppose -o*v = 4*r + 15, -3*v + 0*r = -r. Let l = 52 - v. Does 14 divide l?
False
Let f(c) = c**3 - 6*c**2 + 7*c + 2. Suppose -3*w = d - 11, 0*w = d - 3*w + 1. Is f(d) a multiple of 7?
False
Suppose 197 = 2*y - c, -c - 298 = -0*y - 3*y. Is y a multiple of 11?
False
Let i(k) = k**2 - 1. Let z be i(2). Let g be -2 - 15/((-9)/3). Suppose 2*h + 26 = x, -