 t(m) = 6*m**2 - 34*m + 19. Does 31 divide t(10)?
True
Does 3 divide (31 - -36)*(0 - -1)?
False
Let l = 16 + -16. Suppose l*m = 5*m + 5*h - 290, -4*m = -5*h - 250. Does 15 divide m?
True
Let b(g) = 4*g**2 + g + 6. Let q be (-20)/(-6) - (-1)/(-3). Let v(u) = -4*u**2 - 2*u - 7. Let j(k) = q*b(k) + 2*v(k). Does 5 divide j(2)?
False
Let q = 239 + -227. Is 8 a factor of q?
False
Let h(i) = -1 + 7*i - 5*i - 15*i. Let f be h(1). Let b = 37 + f. Is b a multiple of 23?
True
Let c(n) be the second derivative of -5*n**3/6 + n**2 - 20*n. Is c(-1) a multiple of 5?
False
Let j be 16 - 2/(-1)*-1. Let z(w) = w - 18. Let r be z(j). Is 16 a factor of (2/r)/((-9)/1062)?
False
Let s(a) = 133*a + 225. Is s(22) a multiple of 43?
False
Let r = 34 - 34. Suppose r = t - 1, 4*b + 5*t - 606 = -13. Does 10 divide b?
False
Let k(p) = p**3 - 14*p**2 - 36*p - 40. Does 13 divide k(18)?
False
Suppose -5*a + 12 = -0*v - 4*v, -2*a + 9 = -3*v. Suppose 4*i - 62 = 2*d, 3*i + a*d - 3*d - 42 = 0. Is 7 a factor of i?
False
Let s(r) = -11*r + 7. Let x be -8 - -4 - (0 + 2). Is s(x) a multiple of 24?
False
Suppose 0 = -q - 2*c + 286, -2*c - 2368 = -5*q - 974. Is 7 a factor of q?
True
Suppose -5038 = -5*j - 2*h, -28*j + 3*h + 4035 = -24*j. Is 36 a factor of j?
True
Let n(l) = l**2 - 2*l + 15. Let q be n(0). Let f(u) = 6*u - 20. Is 10 a factor of f(q)?
True
Suppose -4*d - 10 = -9*d. Is 8 a factor of (-2)/(-3)*(8 - d)*2?
True
Let h be 2/12 - 31593/18. Is h/(-26) - (-1)/2 a multiple of 17?
True
Suppose 10 - 1 = -3*s. Let v = s - -1. Is 7/3*(v + 5) a multiple of 7?
True
Let y be (-3)/(-3 - 3)*54. Suppose 3 = -4*s + y. Suppose -f + s = -4. Does 4 divide f?
False
Suppose -4*h - 2*b + 16 = 0, 0*h = h - b - 4. Suppose v - 2 = -2*p - 0, 0 = p + 2*v - h. Is 3 a factor of 2 - p - (1 - 2)?
True
Let q be 717/12 - 6/(-24). Suppose q = -4*x - 0*x. Is (-835)/x + 3/9 a multiple of 14?
True
Let q(r) = -29*r + 525. Does 5 divide q(0)?
True
Suppose 4*i - 7 - 6 = 5*d, -12 = 2*d - 5*i. Is d + 2 + 1 - -14 a multiple of 3?
False
Suppose 11*p = -22*p + 396. Is p a multiple of 12?
True
Suppose -3*i + 4 = -i. Let x be (0/(-8))/((-4)/i). Suppose j + 3*j - 112 = x. Is j a multiple of 14?
True
Let i = -358 - -693. Suppose n = 6*n - i. Is n a multiple of 18?
False
Suppose -7*k = -2*k - 205. Let a = k - -199. Is a a multiple of 15?
True
Let l(s) = -4*s + 2. Let t be l(6). Is 3 a factor of t/(-6) + (-6)/9?
True
Suppose -4*f - 9*k + 5*k + 4164 = 0, -5205 = -5*f - 4*k. Does 11 divide f?
False
Let u(v) be the second derivative of v**5/20 + v**4/4 - 5*v**3/6 + v**2 + 3*v. Let k(d) = d - 1. Let r be k(-3). Is 2 a factor of u(r)?
True
Suppose -21*l - 60 = -16*l. Let p(k) = -k**3 - 13*k**2 - 17*k - 7. Is p(l) a multiple of 21?
False
Let x(i) = 2*i**3 + 2*i + 3. Let y(g) = g**3 - g**2 + g + 1. Let f(s) = -x(s) + 3*y(s). Let h be f(3). Suppose -328 = -h*a - a. Does 28 divide a?
False
Suppose 3*z + 825 - 2523 = 0. Suppose -4*h - z = -158. Let c = 162 + h. Does 15 divide c?
True
Suppose 0 = 4*h + 5*z - 4847, 3*z - 3664 = -3*h + 5*z. Is h a multiple of 7?
True
Let g be 77/14 + 1/2. Suppose -g*r + 52 + 8 = 0. Is 10 a factor of r?
True
Let j(m) be the second derivative of m**5/10 - 5*m**4/12 - 2*m**3/3 + 2*m**2 - m. Suppose n - 4*f = 3*n + 4, 0 = -3*f - 9. Does 11 divide j(n)?
False
Suppose 335 = 10*a - 675. Is 3 a factor of a?
False
Suppose -12 = 29*t - 32*t. Let g = 1 - 1. Suppose 0*b - b - 4*a + 33 = g, -t*a + 144 = 4*b. Is b a multiple of 9?
False
Let p = 520 - 259. Let d be p/(-4) + (-9)/(-36). Let h = -41 - d. Does 5 divide h?
False
Suppose -2*v + 92 = -3*o, 0*o - 156 = 5*o - 4*v. Let x be (-20)/25 - o/10. Is 3 a factor of x/3 + 130/30?
False
Let i be (14/4 - 3)/(2/4). Is (140 - 0) + 4*i/(-4) a multiple of 17?
False
Suppose 1 = 4*i - s, 12 = -5*s + 27. Let u(t) = 43*t**2 + t - 7. Let p(y) = y**2 - 2. Let z(c) = -3*p(c) + u(c). Is z(i) a multiple of 20?
True
Let s(p) = 10*p**2 - 4*p - 120. Is s(-10) a multiple of 20?
True
Let l(h) = 16*h + 2. Let r be l(-3). Let s = r - -82. Does 25 divide s?
False
Is 105 a factor of (91/14)/13 + 27384/16?
False
Suppose 4*f = 9*f. Suppose -3*s + 5*h + 1 = f, 0 = -5*s + h + 4*h + 15. Is 3 a factor of s?
False
Let c = -18 + 38. Suppose -3*d + c = 2. Suppose -2*j + 32 = 4*p, -d*p + 4*p - 3*j = -24. Is p even?
True
Let m(n) = -3 + 12*n**2 - 2*n**3 + 0*n**3 + 17 + n**3 - 12*n. Let c be m(11). Let b(a) = 2*a**3 + 2*a**2 - 6. Does 9 divide b(c)?
False
Let d = 1030 - 482. Does 59 divide d?
False
Suppose 4*f = -2*w - w + 23, -f - 3*w + 17 = 0. Is 31/f*2/(1 - 0) a multiple of 5?
False
Let y(n) = -n**2 + n + 3. Let s be y(0). Suppose s*f - 206 = f. Is f a multiple of 11?
False
Let o(z) be the first derivative of -43*z**3/6 - z**2 + 11*z - 5. Let a(c) be the first derivative of o(c). Is 28 a factor of a(-2)?
True
Let t be 7/3 - (-14)/21. Suppose -t = z - 8. Suppose z*q - 29 - 6 = 0. Does 7 divide q?
True
Let b(t) = -t**2 + 12*t + 19. Let k be (-31 - 2)/(4 - 5). Let x = k - 20. Is b(x) a multiple of 2?
True
Suppose -m = -0*m + 3*w + 52, 4*m - 5*w = -276. Let q = m - -121. Is q a multiple of 19?
True
Let f(r) = r**2 + 3*r - 23. Let a be f(-7). Suppose -v - 34 = -4*q, 4*q - 4*v = -a*v + 38. Is q a multiple of 4?
False
Suppose -t + 2*t = -3*w + 8, 0 = 3*t + 5*w - 32. Let h = 44 + 26. Is 680/h + 4/t a multiple of 5?
True
Let c(w) = -11*w - 1. Suppose 3*z + 2*i = -0*i - 8, 0 = -2*z + 4*i. Let k be c(z). Let x = 33 - k. Does 12 divide x?
True
Let c = -14 - -8. Suppose -65 = 5*d - 0*d. Let m = c - d. Does 2 divide m?
False
Let n(y) = 4*y + 18. Does 31 divide n(11)?
True
Is (-5)/((-20)/13201) - 12/48 a multiple of 15?
True
Let s be (-3 - 0 - 11)/(-2). Suppose s*y = 2*y + 10. Suppose 0 = 5*m + 2*k - 92, -5*m + y*k + 53 = -35. Does 6 divide m?
True
Let z(j) = 12*j**2 - 8*j - 20. Is z(5) a multiple of 16?
True
Suppose -5*u + 3*c - 564 = -233, 3*u = 2*c - 198. Let g = 121 + u. Is g a multiple of 10?
False
Suppose 559 = -7*u + 3394. Does 27 divide u?
True
Suppose 516 = 4*r - 2*r + 4*j, -5*r + 4*j + 1262 = 0. Let a = -144 + r. Does 10 divide a?
True
Let d(c) = c + 3. Let r(v) = -v - 3. Let o(n) = 5*d(n) + 6*r(n). Let t be o(-6). Suppose -35 + 8 = -t*p. Is p even?
False
Suppose -3*b + 55 + 137 = 0. Suppose 0 = 2*k - b - 62. Is k a multiple of 21?
True
Suppose -5*o - 10 = 0, 45*h + 2*o - 5531 = 42*h. Is 17 a factor of h?
False
Let y(i) = -4*i**3 + i**2 - 33*i + 8. Does 74 divide y(-6)?
False
Let d = -74 - -82. Is 4 a factor of 2/(-5 + 7)*d?
True
Suppose 0 = 4*h - 4 - 8. Let d be ((-12)/(-10))/(1/135). Suppose -h*j + 0*j = -d. Is j a multiple of 18?
True
Suppose k - 1661 = -1166. Does 45 divide k?
True
Let l(s) = s + 2. Let u be l(7). Let h = u - 2. Is 20 a factor of h + -8 + 82/2?
True
Suppose 0 = 5*x - 5*t + 3 - 8, t + 7 = 3*x. Suppose 2*z + 523 = x*q, -8*q + 4*q + 701 = z. Is q a multiple of 35?
True
Let t = 60 - 42. Suppose -t*v + 50 = -13*v. Does 4 divide v?
False
Let r(p) = 58*p**2 - 9*p - 52. Is r(-5) a multiple of 37?
True
Suppose 16507 + 9506 = 23*a. Is a a multiple of 87?
True
Suppose 4 = h - 3*h. Let r = h - -2. Suppose 0*o - 4*o + 152 = r. Does 11 divide o?
False
Let z = -217 + 244. Is z even?
False
Suppose 0 = 9*l - 1434 - 17664. Is l a multiple of 32?
False
Suppose -2*n - 5*i + 395 = 0, -5*n = 5*i - 149 - 876. Is n a multiple of 35?
True
Let h be (-4)/22 + (-684)/(-11). Let s(f) = -72 + f + 3*f + h. Is 3 a factor of s(6)?
False
Suppose -3*t + 201 = 39. Is 12 a factor of ((-36)/(-54))/(1/t)?
True
Let m = 58 - -17. Suppose m = 3*t + 2*t. Does 5 divide t?
True
Suppose -84 = n + 5*n. Let y = n + 14. Does 15 divide (-8 - -10) + (y - -58)?
True
Suppose 4*c + 1111 = 1599. Is c a multiple of 2?
True
Let z be -4 + 3 - (-7 - 0). Suppose 2*g - 2*i = z, 5*g = -0*i + 4*i + 12. Suppose g*j - 43 = -2*j + s, -5*j = 4*s - 127. Does 23 divide j?
True
Let d be 8/12*87/(-2). Let v = d + 65. Is 9 a factor of v?
True
Let g(c) = 14*c**3 - 2*c**2 - 4*c + 15. Let m(d) = 7*d**3 - d**2 - 2*d + 7. Let z(w) = 3*w. Let t be z(2). Let a(v) = t*g(v) - 13*m(v). Does 15 divide a(-2)?
False
Let y(v) = v**2 + 1. Let c(m) = -8*m**2 - 2*m - 13. Let i(a) = 4*c(a) + 44*y(a). Is 4 a factor of i(-2)?
True
Let c(s) = -13*s - 17. Let k(v) = -v + 1. Let u(d) = -c(d) - 4*k(d). Does 4 divide u(3)?
True
Suppose -2*c - 1 = -3*d + 1, -5*d = 5*c - 20. Supp