11 divide r?
False
Suppose 3*r = -5*r - 352. Let v = r - -88. Is v a multiple of 11?
True
Suppose 1149 - 1605 = -v. Is v a multiple of 6?
True
Suppose y - 17 = -44. Let w = -30 - y. Let q = w + 13. Does 2 divide q?
True
Is (-840)/(-45) + -17 - (-14270)/6 a multiple of 28?
True
Let w = -78 + 130. Let z = 212 - w. Does 40 divide z?
True
Let c = -21 - -52. Let m = 19 + c. Does 10 divide m?
True
Suppose -23*k + 10*k + 13312 = 0. Is k a multiple of 64?
True
Let x = 1215 - 322. Suppose 4*r = x - 269. Suppose -5*z + r = -z. Is 26 a factor of z?
False
Let r = 16 + 11. Is 4 a factor of r?
False
Let k(z) be the third derivative of -z**5/60 - 3*z**4/8 - z**3 - 18*z**2. Let c be (-1 + 0)/(9/54). Does 5 divide k(c)?
False
Suppose 4*t - w = 3307, -t - t + 1649 = -5*w. Suppose 0*u + t = 5*d - 3*u, d - 167 = -u. Suppose -56 = -3*o + d. Does 12 divide o?
False
Let u(k) = k**3 + 2*k**2 - 6*k + 4. Let r be u(6). Let h = r + -171. Let v = -32 + h. Is 12 a factor of v?
False
Let l(o) = -4*o - 30. Let z be l(-8). Suppose 2*i = 12 + z. Is 2 a factor of i?
False
Suppose -4*j + 5*l + 947 + 167 = 0, 0 = -2*j - 2*l + 548. Is (j/(-15))/((-4)/10) a multiple of 4?
False
Suppose 0 = -3*g - 5*v + 13, 0*v + 2*v = -2*g + 2. Does 21 divide -14*(29/g - 1/4)?
True
Let f = 21 - 10. Let h(j) = j**2 - 7*j - 2. Is h(f) a multiple of 7?
True
Let v be (-6)/(-3) + -7 - 0. Does 32 divide -16*(v/1 + -3)?
True
Let u be (-759)/(-6) + (-7)/14. Let m = -110 + u. Is 16 a factor of m?
True
Let q be (1 + 0)*-1*4. Let p be (-798)/q*22/33. Suppose -p = -5*d + 42. Does 16 divide d?
False
Let q = 488 + -88. Does 10 divide q?
True
Suppose -5*g - 5*d + 90 = 0, -4*d + 57 = 5*g - 2*g. Let r = -4 + g. Does 11 divide r?
True
Suppose 15*v - 19*v + 1652 = 0. Is v a multiple of 13?
False
Suppose 0 = -4*f - 3*s - 205 + 781, 0 = 4*f + 5*s - 584. Is f*3/(4 - -5) a multiple of 13?
False
Let t(w) = 8*w + 2 - 3 + 13 + 9*w**3 - 11*w**3. Is t(-3) a multiple of 7?
True
Let m = 406 + -190. Is m a multiple of 56?
False
Suppose 29*k = 24*k + 2200. Does 29 divide k?
False
Let h = 219 - 181. Is 3 a factor of h?
False
Let t(h) = 43*h**2 - 20*h + 161. Does 44 divide t(8)?
False
Is 4 a factor of -6 + ((-12)/(-6) - -160)?
True
Let t(g) = g**3 - 3*g**2 - 6*g - 3. Let p be t(5). Does 48 divide (1 - -3)*(7 + p)*1?
True
Does 15 divide (-4494)/(-10) - 9/(-15)?
True
Let f(p) = p**2 - p + 9. Let n be f(0). Let y(l) be the third derivative of l**6/120 - 3*l**5/20 + l**4/8 - 2*l**3 - 3*l**2. Is y(n) a multiple of 5?
True
Let i(t) = -12*t - 10. Suppose -3 = -g - 5*l + 7, -4*l - 136 = -4*g. Let k be (12/36)/((-2)/g). Does 15 divide i(k)?
False
Let k(j) = j**2 - 9*j - 6. Let l be (10/3)/(8/24). Let h be k(l). Suppose -107 = -h*y - 11. Does 5 divide y?
False
Let i(d) = 10*d**2 - 10 + 9*d**2 + d + 11. Let c be i(2). Suppose l + 70 = -5*r + 174, 4*r = -5*l + c. Does 10 divide r?
False
Let w(u) = -2*u**2 + 3*u. Let r(p) = -2*p**2 + 3*p - 1. Let t(y) = 6*r(y) - 7*w(y). Let i be t(6). Suppose 2*a = 4*a - i. Is 15 a factor of a?
False
Suppose 5*z - 2228 = -458. Does 10 divide z?
False
Let b(h) = 241*h**2 - 4*h - 1. Let p(s) = -1205*s**2 + 21*s + 4. Let m(j) = 11*b(j) + 2*p(j). Let x be m(-1). Suppose -2*w + 0*w = -x. Is 30 a factor of w?
True
Suppose -4*n = -9*n - 20. Is 2*((-58)/n - -3) a multiple of 10?
False
Let u(f) = 10*f**2 + 20*f + 122. Does 97 divide u(-13)?
True
Let i(n) = -3*n + 6. Let t be i(-8). Suppose 0 = -5*y + 85 - t. Does 2 divide y?
False
Let q(o) = -101*o - 2. Let y(m) = m**3 - 24*m**2 + 22*m + 21. Let n be y(23). Is q(n) a multiple of 25?
True
Suppose -2*h = 10, -4*f + 5*h + 11 = -14. Let t be (-4)/(4 - f)*-5. Suppose -3*r = -u + 15, t*u - 6*u + 5*r + 13 = 0. Does 18 divide u?
True
Let x(n) be the first derivative of -19/2*n**2 - n + 5. Is x(-4) a multiple of 20?
False
Let u be 0*(2 - (1 - -4))/(-3). Suppose -5*c = -2*c + 2*x - 72, -2*c - 4*x + 56 = u. Is c a multiple of 5?
False
Let d(m) = 3*m + 2. Let t be d(5). Let g = -15 + t. Suppose 2 = -2*l, -g*l + 0*l = -3*h + 218. Is 24 a factor of h?
True
Let t = -19 + 9. Let q be (-12)/15*t/4. Suppose j = 8 - q. Is 3 a factor of j?
True
Let o(i) = -i**3 - 7*i**2 - 9*i + 5. Let l be o(-5). Suppose l = -3*w - 3 + 69. Suppose w = -z + 3*z. Does 11 divide z?
True
Suppose -3*u - 18 = i - 279, u - 87 = 2*i. Let f = 103 - u. Does 4 divide f?
True
Let b = 5352 + -2266. Does 35 divide b?
False
Let x = -3 + -1. Let m = x - -1. Let f(z) = z**3 + 3*z**2 - 5*z - 3. Is f(m) a multiple of 4?
True
Let l(v) = 2*v**2 - 12*v - 147. Does 62 divide l(-14)?
False
Suppose h - 1 - 3 = 0. Suppose 0 = 2*t - h*t. Suppose -2*a + t*a = -30. Is 9 a factor of a?
False
Suppose -5*h + 3 = -z, -z = 5*h + 2 + 1. Let y(n) = 5*n**2 - 5*n - 2. Does 16 divide y(z)?
False
Let b(j) = -j**2 + 22*j - 16. Does 3 divide b(17)?
True
Suppose 0 = 31*i - 30*i - 5. Suppose -470 = -i*j + 3*d, 2*d - d - 490 = -5*j. Is j a multiple of 9?
False
Let x be ((-306)/12 + 8)*(-48)/5. Let c = -2 - -5. Suppose -r + c*r = x. Is 13 a factor of r?
False
Let w = 45 + -30. Let v(g) = 9*g + 50. Let z(j) = 3*j + 17. Let h(a) = 4*v(a) - 11*z(a). Is h(w) a multiple of 31?
False
Let h be ((-32)/6)/((-2)/3). Let b = 10 - h. Suppose -3 = -3*x, z - b*x - 22 = -3*z. Does 3 divide z?
True
Let t = -246 + 785. Is 49 a factor of t?
True
Suppose -3*m - 6 = 0, 5*j - m + 1 - 3 = 0. Suppose -4*s - 4*p + 184 = 0, j = -s - 2*p + 5*p + 30. Is s a multiple of 13?
False
Suppose 8*y - 237 = 7*y. Let h = 364 - y. Let c = -83 + h. Is c a multiple of 9?
False
Suppose 25 = 3*t + 58. Let g = t + 13. Suppose -4*m + 3*n + 90 = 0, 3*m = -0*n - g*n + 59. Is 6 a factor of m?
False
Let l(j) = 115*j**2 + 173*j + 897. Does 63 divide l(-5)?
False
Let n(m) = 5*m - 19. Let l be n(5). Suppose -l*i - 671 = -2267. Does 38 divide i?
True
Suppose -3*t - n = -43, -4 = -t + n + 13. Is 984/t + 8/20 a multiple of 33?
True
Let g(f) = -5*f + 141. Does 14 divide g(-9)?
False
Suppose -16*a + 0*a + 656 = 0. Is 2 a factor of a?
False
Let a(t) = 156*t + 156. Is a(9) a multiple of 10?
True
Suppose -4*b + 122 = 5*s, -4*b = -3*s - 3*b + 63. Suppose 4*f - s + 6 = 0. Suppose -w + 25 = -3*u - 77, -4*w + 344 = f*u. Does 18 divide w?
True
Let w = -420 + 670. Suppose b = -3*j + 381, -6*j - 2*b + w = -4*j. Does 32 divide j?
True
Let z(c) = 4 - 6*c**2 + 3*c**2 - 10 - 3*c**3. Suppose -34*i + 15 = -39*i. Is 24 a factor of z(i)?
True
Is ((-4562)/8)/((-7)/168*6) a multiple of 54?
False
Let o(u) = -33*u + 5. Let d = -56 + 54. Is 23 a factor of o(d)?
False
Let u(v) = -v**3 - 11*v**2 - 2*v + 4. Let h = -10 - 1. Let s be u(h). Let r = 50 - s. Is 12 a factor of r?
True
Let a = 1421 - 409. Does 44 divide a?
True
Suppose 0 = 56*n - 40382 + 398. Does 119 divide n?
True
Let z = 599 + 220. Is z a multiple of 21?
True
Let c(q) = q + 16. Let l be c(-12). Suppose 244 = 4*x - x - 5*t, -l*x + t = -297. Let a = x + -29. Does 11 divide a?
True
Suppose 4*q + 16 = -a, a + q + 10 = 3*q. Let o be (-2)/(-3) + 525/9. Let y = a + o. Does 12 divide y?
False
Let g be 439 - -2*(-6)/(-4). Let o = 960 - g. Does 11 divide (-4)/(-20) + o/10?
False
Let o = 39 + -60. Let l = 48 + o. Is l a multiple of 7?
False
Suppose 2*b - 4 = r + 16, -4*r + 4*b = 88. Let k = -63 - -34. Let s = r - k. Is s even?
False
Let l(w) = w**3 + 2*w**2 - 2*w + 1. Let t be l(-2). Let m be 7/((-35)/(-115))*1. Suppose 8 = -t*f + m. Does 2 divide f?
False
Let l = 90 - 70. Does 5 divide l?
True
Suppose -4*t - 8 = -28. Suppose 10 = q + t. Is 5 a factor of q/(-15) + (-32)/(-6)?
True
Does 2 divide (-80)/3*(-162)/45?
True
Let n = 3976 + -2207. Is n a multiple of 100?
False
Suppose -43*i = -37*i - 5988. Does 82 divide i?
False
Let y be (-4)/18 - (-208)/(-36). Does 21 divide (-142)/y - (-40)/(-60)?
False
Let p be (12/(-24))/(2/208). Let f = -35 - p. Does 10 divide f?
False
Let d(a) = a + 20. Let w be d(-18). Suppose 5*m + 10 = w*o, -10 = -o - o - 4*m. Suppose 41 = -2*x - 4*c + 133, -o*c - 20 = 0. Is x a multiple of 20?
False
Let q = 572 - 202. Let m = -188 + q. Is 26 a factor of m?
True
Let i(g) = 33*g**3 + g**2 - 1. Let s be i(1). Let f(n) = -18*n + 12 + s*n - 21*n. Is 18 a factor of f(-10)?
True
Let n(j) = 3*j**2 + 8*j - 10. Suppose -s - 9 = -4*p + 2*p, 17 = 5*p + 3*s. Is n(p) a multiple of 20?
False
Let y(s) = 2*s**2 - 4*s - 4. Let f be y(7). Let c = f - 36. Is 16 a factor of