 0, 2*m + 2*w - 4*w = 14. Is m a multiple of 7?
True
Suppose 0 = -3*y - w + 4*w + 435, -3*w = -5*y + 725. Let s = 281 - y. Let j = -88 + s. Is 12 a factor of j?
True
Let y(r) be the third derivative of -r**5/30 - r**4/6 - 2*r**3/3 - 3*r**2. Let b be y(-5). Let a = 53 + b. Is 19 a factor of a?
True
Suppose -8*k = -7*k - 5. Suppose -u - d - 128 = -k*u, -5*u - 4*d = -160. Is 23 a factor of u?
False
Suppose 0 = -2*f + 3*t + 1401, 5*t - 78 = -3*f + 2071. Is 59 a factor of f?
True
Let t be -7 + 10 + 5*16. Suppose 4*z + t = -69. Let g = -18 - z. Does 10 divide g?
True
Is 72/(6/(-39)*(-9)/12) a multiple of 21?
False
Is 5 - (-99 - (-2 + -1)) a multiple of 2?
False
Let q(g) = 2*g**2 - 20*g - 4. Let r(l) = 5*l**2 - 40*l - 6. Let k(z) = 7*q(z) - 3*r(z). Let s = -4 + -13. Is k(s) a multiple of 8?
False
Suppose 4*k - 639 = k. Let c = k - 123. Is c a multiple of 15?
True
Let r(m) = m**2 - 7*m + 6. Let j be r(8). Let u = j + -17. Is 19 a factor of u/(-1) - (11 + -39)?
False
Let z(k) = -k**2 - k + 29. Let b(y) = -5*y**3 - 2*y**2 - 2*y - 1. Let v be b(-1). Suppose v*g = 5*g. Is 8 a factor of z(g)?
False
Let s = -18 - -17. Let t be s/(-2)*38*-1. Let n = t - -28. Is n even?
False
Let z = -1593 + 1933. Does 5 divide z?
True
Let c(b) = -2*b**3 - 2*b**2 - 2*b + 6. Suppose 0 = -7*l + 2*l - m - 10, -3*l = -4*m + 29. Let k be c(l). Suppose 4*d - k = 84. Is d a multiple of 22?
False
Suppose -52*k + 42*k + 990 = 0. Does 33 divide k?
True
Let i be ((-2 - -2) + 7)*-1. Let q = i - -7. Suppose -2*p + 88 = -q*p. Is 22 a factor of p?
True
Let u(r) be the second derivative of r**3/6 - 9*r**2 - 5*r. Let i be u(18). Suppose 4*z - 55 - 17 = i. Does 5 divide z?
False
Let c(t) = 69*t**3 - 5*t**2 + 15*t - 22. Is 45 a factor of c(2)?
True
Let o be (-160)/(-20) - (0 + -1*1). Suppose -o*a = -a - 136. Is a a multiple of 17?
True
Let w(n) = 40*n - 3. Let m be w(2). Suppose 0 = -3*a - 3*h - 24, -2*a = a - 4*h + 59. Let t = a + m. Is t a multiple of 16?
True
Suppose r - 5*g = 34, -4 - 2 = r + 3*g. Let x be (-3)/r - (-67)/3. Is (0 - (2 - 3))*x a multiple of 10?
False
Let w(j) = -j**3 + 38*j**2 + 31*j + 144. Is w(37) a multiple of 70?
True
Suppose -121*v + 585 = -116*v. Suppose -4 = h - v. Does 8 divide h?
False
Suppose -26*c - 13*c + 14586 = 0. Is c a multiple of 4?
False
Let m = 11 + -7. Let v be 21/6*(-1408)/(-77). Suppose 0 = 4*r + 4*d - v, -3 - 45 = -3*r + m*d. Is 4 a factor of r?
True
Let x(g) = -12*g + 107. Let v be x(8). Let m = 9 - 3. Suppose v*b - m*b - 180 = 0. Is 6 a factor of b?
True
Suppose x + 2 = 2*x. Suppose 6 = 5*p - x*p. Is (12 + p)*(-2)/(-4) even?
False
Let x(b) = b**3 - 8*b**2 - 7*b + 54. Is x(9) a multiple of 3?
True
Suppose 1293 = 10*h - 507. Does 5 divide h?
True
Does 9 divide 3997/28 - (0 + 10/(-8))?
True
Suppose -2*m + 5737 = 5*o, 11*m - 7*m - 5739 = -5*o. Does 37 divide o?
True
Let h(d) = 2060*d**2 - d - 1. Let p be h(-1). Suppose -4*m + p = -9*m. Is 22 a factor of m/(-14) + (-12)/28?
False
Suppose 6*t - 5 = t. Let l(s) = 8*s - 1. Let j be l(t). Let k = j - -8. Is k a multiple of 15?
True
Let o = 2 - -7. Let m = -6 + o. Is 3 a factor of m?
True
Suppose 0 + 5 = -h + 4*r, -3*h - 2*r + 13 = 0. Suppose -3*d - 398 = -5*a, -h*d + 10 = -2. Suppose u + 86 = -i + 3*i, -3*u = -2*i + a. Does 15 divide i?
False
Suppose 1098 = 23*n - 19*n + 3*r, 0 = 5*n + 4*r - 1373. Is n a multiple of 4?
False
Let j(s) = -8*s + 12. Let p(i) = i + 1. Let h(u) = -j(u) - 4*p(u). Let n be h(5). Suppose 3*f + 5*l = f + 88, 0 = n*f + l - 176. Is f a multiple of 9?
False
Let u = -2741 - -3350. Is 7 a factor of u?
True
Suppose -4*m = -0*m + d + 45, -4*d + 10 = -3*m. Let h = 2 - m. Suppose 0 = -8*y + 7*y + h. Is 5 a factor of y?
False
Let q(w) = 2*w**2 - 9*w + 13. Let u = -43 - -50. Is 12 a factor of q(u)?
True
Let y(r) = 3*r - 28. Let j be y(8). Is 6 a factor of 2 + (j/(-8))/(2/124)?
False
Let t(h) = h**3 + h**2 + 551. Is t(0) a multiple of 21?
False
Suppose l + 0*l - 20 = 0. Let i = l + -16. Suppose 291 = i*r + 99. Is 9 a factor of r?
False
Suppose 5*p + 18 = 2*b, 0 = b - 0*b - 5*p - 14. Let h be ((-10)/8 + -1)*b. Let d = h - -15. Is d a multiple of 6?
True
Let k = -623 - -644. Is 21 a factor of k?
True
Let w(k) = k**2 + 6*k - 14. Let c be w(-8). Suppose -2*m = -c, -3*h + 2*m = -h - 18. Is 2 a factor of h?
True
Let v = 15 + 85. Is 33 a factor of v?
False
Let s(o) = -o**3 - 67*o**2 + 139*o + 178. Is 9 a factor of s(-69)?
False
Let k(i) = 4*i**2 - 21*i - 62. Is k(12) a multiple of 14?
False
Let l(m) = -m - 5. Let k(h) = h + 4. Let n be k(-9). Let q be l(n). Suppose -56 = -7*z + 2*z + 3*p, q = 2*z + 4*p - 38. Is 13 a factor of z?
True
Suppose 2*k + k - 114 = 0. Let r be (7 + 1)*(-182)/56. Let q = r + k. Is q a multiple of 4?
True
Suppose 7*u = 6*u + 225. Is 15 a factor of u?
True
Let v be 4 - 1/(4/(-24)). Suppose 3*f - v = -r, 2*r - f - 23 = -4*f. Suppose 226 - r = 3*q. Is 18 a factor of q?
False
Let g be ((-8)/(-6))/(24/54). Suppose -b - 1 = -g. Let d(h) = 13*h**2 - 1. Is d(b) a multiple of 17?
True
Let x(f) = f**2 + 14*f - 27. Let r be x(-19). Let u(t) = 17*t + 3. Let y be u(-3). Let m = y + r. Does 7 divide m?
False
Suppose -3*x = -4*c - 5*x + 54, 4*c = 4*x + 60. Suppose j + 16 = -40. Is 16 a factor of (c/(-4))/(4/j)?
False
Is 2439/54 - (76/24 + -3) a multiple of 3?
True
Suppose -5*m = -2*v - 840, 4*m - 5*v - 534 = 121. Is 10 a factor of m?
True
Let u(q) = q - 12. Let p be u(13). Let y(v) = 67*v**3 - 2*v + 1. Let i be y(p). Suppose -24 = -2*r + i. Does 15 divide r?
True
Let j(p) = -10*p**2 - 512*p + 40. Is 7 a factor of j(-49)?
False
Suppose -4*x + 1217 = -f - 3634, -5*f = -3*x + 3651. Does 12 divide x?
True
Suppose k + l - 486 = 0, -4*k + l = -0*l - 1934. Does 60 divide k?
False
Let o = 17 + -19. Let v be o + -283 + (-3 - -4). Does 6 divide 2/6 - v/12?
True
Let s(y) = 18*y - 47. Is s(4) a multiple of 2?
False
Suppose -2*u = -w - 15, w = 5*u + 6*w. Let t(n) = n + 5. Let k be t(-3). Suppose 0 = 3*z - k*r - 175, -u*r = -0*r - 5. Is z a multiple of 19?
False
Suppose 0 = -113*n + 109*n + 8. Let s(x) = 2*x**3 - x**2 + x - 2. Let k(z) = -2*z**3 + 2*z**2 - 2*z + 3. Let j(b) = 4*k(b) + 5*s(b). Does 24 divide j(n)?
True
Suppose 21 + 26 = m. Let j be m/2*(1 - -1). Suppose -2*y + j = -89. Does 21 divide y?
False
Let b(i) = i**3 - 3*i**2 - 4*i + 4. Let g be b(4). Suppose l + 5*k - 9 = 2, -2*l = -3*k + g. Does 16 divide (-4)/5*(l + -61)?
True
Let g(a) be the third derivative of a**6/120 + a**5/30 - a**4/12 - a**3/3 - a**2. Let r be g(-2). Let y = 22 + r. Does 12 divide y?
True
Let p = 677 - 90. Does 55 divide p?
False
Let t be 363/(-15) + 1/5. Let j = 2 - t. Does 7 divide j?
False
Let v = 100 - -26. Does 9 divide v?
True
Let f(k) = 40*k**3 - 2*k**2 + 26*k - 48. Does 27 divide f(3)?
False
Does 38 divide 52/(-13) - ((2 - 0) + -310)?
True
Let n(h) = 15*h**2 + 12*h + 54. Does 29 divide n(-6)?
True
Let x = 120 + -26. Let h = 244 - x. Does 15 divide h?
True
Let l = -88 - -39. Let i = l - -97. Is i a multiple of 16?
True
Let l = 24 - 48. Suppose 5*o + 280 - 75 = 0. Let n = l - o. Does 3 divide n?
False
Suppose -5*w = 5*h - 70, -3*w + h + 45 = 3*h. Suppose 5*p = 13 + w. Is (-12)/18 - (-202)/p a multiple of 7?
False
Let s(c) = -14 + 1 - c - 12*c. Suppose 3*w + 9 = -3. Is 16 a factor of s(w)?
False
Let g = 134 - -356. Suppose -2*u + 7*u - g = 0. Does 49 divide u?
True
Let j(y) = y**3 - 7*y**2 + 9*y - 17. Is j(7) a multiple of 23?
True
Let k(o) = 2*o**3 + 4*o**2 + o - 4. Let i = 23 + -9. Let d = i + -11. Is 18 a factor of k(d)?
False
Suppose -2*b + 11 + 17 = 0. Suppose -u - b = -29. Is 4 a factor of u?
False
Let r(o) = 2*o + 68. Is r(11) a multiple of 18?
True
Is 12 a factor of -64*27/(-12)*1?
True
Suppose -4*l + 164 = 2*c, -8*c + 3*c + 384 = -3*l. Does 3 divide c?
True
Suppose -20*j + 18415 - 5915 = 0. Is j a multiple of 37?
False
Is 15984/14 - (-11)/(924/24) a multiple of 22?
False
Suppose 21 = -2*m + d, m + d - 3*d + 3 = 0. Let q(t) = t**2 + 11*t - 4. Let w be q(m). Suppose -s + w = -0. Is 11 a factor of s?
True
Is (808/36 - 2/(-9))*27 a multiple of 17?
True
Let f be 1/(165/41 + -4). Let x(s) = 5*s**3 - 3*s**2 + 4*s - 1. Let r be x(3). Let j = r - f. Is j a multiple of 39?
True
Let c = -211 - -207. Let x(d) = -2*d**2 - 5 - d - 2*d + 3 - d**3. Is 14 a factor of x(c)?
True
Let c(x) = 4*x - 12. Let a(k) = -9*k + 3. Let 