e 2*g = -4, -o + 4*g - 298 = -4*o. Does 20 divide o?
False
Suppose 0 = -n - 6 - 11. Let a = 21 + n. Suppose 0 = -q + a, 3*w + 2*q = -3*q + 65. Is w a multiple of 14?
False
Let m(l) = -3*l**3 + 8*l**2 + 5. Let h(n) = -2*n**3 + 7*n**2 - n + 5. Let u(i) = -4*h(i) + 3*m(i). Let k be u(-5). Is 6 a factor of 6*-2*(-1 - k)?
True
Suppose 6*r - 7*r = 32. Let s = -24 - r. Is 4 a factor of s?
True
Let b(t) = 17*t + 90. Is b(9) a multiple of 9?
True
Suppose 10*j - 7932 = -1782. Is 16 a factor of j?
False
Suppose 5*t + 6 = 31. Suppose -t*w - 3*a = -294, w - 4*a - 70 = a. Is w a multiple of 15?
True
Let v(o) = o**2 + 2*o - 2. Let x be v(-4). Let z be 42/(-4) + 3/x. Let a(d) = -2*d + 13. Does 18 divide a(z)?
False
Let d be -40 + (0 - (4 - 8)). Let t = d + 71. Is t a multiple of 5?
True
Let w(j) = j**2 - 4*j + 2. Let y be w(4). Suppose -3*i + 10 = -y. Suppose 40 = 5*m - i*p - 81, -3*m = -p - 74. Is 10 a factor of m?
False
Let c(r) = -5*r - 3. Let k(h) = 11*h + 6. Let a(x) = 10*c(x) + 6*k(x). Does 6 divide a(6)?
True
Let u(b) be the first derivative of -10*b**2 + 7*b - 8. Let i be u(-4). Let f = i + -26. Is 14 a factor of f?
False
Suppose 4*r - 24 = 3*g - 90, 0 = 4*g + 4*r - 60. Let c(m) = -m**3 + 19*m**2 - 12*m - 9. Does 33 divide c(g)?
True
Let a be 51/7 - 2/7. Suppose 3*p + 3*x = 5*p - a, -5*p = x - 9. Suppose p*q = 5*q - 156. Does 13 divide q?
True
Let j = 2623 + -1279. Does 44 divide j?
False
Let f(z) = -z**2 - 10*z + 11. Let q be f(-11). Suppose 3*n = -2*b + 3*b + 143, q = b - 1. Let r = n + -29. Does 19 divide r?
True
Let f be -3 + 4 + 0 - -4. Is 5 a factor of ((-2)/4)/(f/(-200))?
True
Let m = -407 - -717. Suppose -x - 2*x = k - m, 4*k + 125 = x. Is 30 a factor of x?
False
Let j(p) = p**3 + 24*p**2 + 24*p + 23. Let f be j(-23). Suppose 0 = 12*z - f*z - 348. Does 5 divide z?
False
Let u(q) = q**3 - 21*q**2 + 25*q - 28. Is 36 a factor of u(20)?
True
Let j = 56 - -18. Suppose -n = 4*p + 23 - j, -n - p = -36. Does 3 divide n?
False
Suppose -3*o = -5*j - 29, o - 2*j - 10 - 1 = 0. Let n(r) = 10*r - 6. Is n(o) a multiple of 12?
True
Let h = 601 - 511. Is h a multiple of 9?
True
Suppose -84 = -2*u - u. Suppose -i - 3*i = u. Let y(j) = -7*j + 2. Does 15 divide y(i)?
False
Let s = -327 - -623. Is s a multiple of 12?
False
Let f = 1180 - 1148. Does 2 divide f?
True
Suppose 5*a - 3 = -2*z, 5*a + 11 = 4*z - 10. Let h be 3/(a + 91/90). Suppose c + 4*c + 5*n = h, 3*n - 12 = 0. Is 25 a factor of c?
True
Let b(x) = -6*x + 9. Let w be b(5). Is 22 a factor of (2*w/(-12))/((-2)/(-100))?
False
Suppose 35*h = 33*h + 4. Suppose 0 = -h*f + 26 + 40. Is 15 a factor of f?
False
Suppose 1338 = 28*b - 22*b. Does 10 divide b?
False
Let r be (-275 + -1)*(-21)/2. Let j = 1190 - r. Is 16 a factor of 4/26 + j/(-52)?
False
Let a be -4*(-3 - 25/20). Suppose -5*p - 4*o + a = 0, -44 = -3*p + 5*o - 19. Is 2 a factor of p?
False
Let c(g) be the third derivative of g**6/120 - g**4/12 + g**3/6 + 3*g**2. Let u be c(1). Suppose 0 = -4*s - u*s + 72. Does 6 divide s?
True
Suppose -2*u + 5*u - 1339 = -2*t, 4*u + 3313 = 5*t. Is t a multiple of 7?
True
Let g be (-16)/64 + (-178)/(-8). Is 546/g - 8/(-44) a multiple of 5?
True
Suppose -13*x + 12*x - 2 = 0. Let l(y) = -10 - 6*y + 13 - 12*y. Is l(x) a multiple of 13?
True
Let z(t) be the third derivative of 11*t**5/6 + t**4/12 + t**3/3 - 11*t**2. Is 29 a factor of z(-1)?
False
Let m = -191 + 428. Let f = -53 + m. Is f a multiple of 29?
False
Suppose -4*r = -110 - 130. Let u = 43 - r. Is 15 a factor of 3 + (-2 - u) + -3?
True
Suppose -11*s = -1538 - 2576. Does 22 divide s?
True
Let p = 1930 + -336. Is p a multiple of 11?
False
Let b(t) be the first derivative of -101*t**2/2 - 10*t + 39. Is 15 a factor of b(-2)?
False
Let a(p) = 69*p**2 - 15*p - 57. Is 68 a factor of a(-7)?
False
Let h = -130 + 202. Suppose -2*b = h - 272. Does 9 divide b?
False
Let f be (-68)/(-8) + 1/2. Let q = -7 + f. Suppose q*o - 3*s = -s + 44, 4*o - 88 = 2*s. Is 11 a factor of o?
True
Suppose m = 4*m. Suppose 0 = 4*i + 4*y - 8, 4*y = -3*i - m + 6. Let c = i - -64. Is 17 a factor of c?
False
Is (940/(-6))/((-4)/12) a multiple of 13?
False
Let d be 12*3*(-2)/(-12). Suppose -o = -3*k - 4 + d, -3*k - 6 = -3*o. Is 4 + -1 - (-15 - k) a multiple of 13?
False
Suppose 2*o + 12 = 5*q, q - 33 + 90 = -5*o. Let x = o - -14. Suppose -z = 2*b - 5, 41 = x*z + z + b. Is z even?
False
Suppose -6*d + 212 + 586 = 0. Is 19 a factor of d?
True
Let t = 43 - 47. Is 14 a factor of (49/2)/((-1)/t)?
True
Let i = 0 - -4. Suppose i*c + 2 = 3*l, -2*l + c - 1 = -l. Let u = l - -34. Does 14 divide u?
True
Suppose -14*x + 26*x - 31968 = 0. Does 12 divide x?
True
Suppose -3*q + r + 100 = -q, 3*q - 153 = 3*r. Let w = q + -21. Does 7 divide w?
True
Let m(w) = -w**3 - 6*w**2 + w - 8. Let a be m(-6). Let d be a/(-21)*9/2. Suppose d*k = 6*k - 114. Is k a multiple of 10?
False
Let c(n) = 26*n - 16. Let d = -58 + 65. Is 21 a factor of c(d)?
False
Let d = -7 - -10. Suppose 45 = -5*m + 5*u, -d*u - 15 = 5*m + 54. Let o = m - -26. Is o a multiple of 14?
True
Let w be (-250)/(-15) - (-4)/(-6). Suppose 0 = -13*q - 2*q + 285. Suppose -w*r - 21 = -q*r. Is r even?
False
Let u = 14 - 12. Suppose -u*x + 23 = -25. Let o = x - -10. Is 16 a factor of o?
False
Let m(q) = -q**2 + 6*q + 9. Let k be m(7). Suppose 0 = 8*l - 12*l + 324. Suppose -2*j - 78 = -2*f - 4*j, k*f + j - l = 0. Does 21 divide f?
True
Let n be 3642/(-14) + 7/49. Let d = n - -453. Is 13 a factor of d?
False
Let p(f) = 14*f**2 - 2*f - 9. Is 4 a factor of p(5)?
False
Let f(o) = o**3 + 22*o**2 + 108*o - 30. Is 26 a factor of f(-14)?
True
Let y be (30/(-24))/(1/116). Let f = y - -192. Is 24 a factor of f?
False
Let n(w) = 6*w**2 + 54*w + 44. Let t(m) = -2*m**2 - 18*m - 15. Let s(y) = 6*n(y) + 17*t(y). Does 25 divide s(-10)?
False
Suppose -2*j - c - 253 = 0, 5*j - c + 544 = -85. Let l = j + 225. Is 9 a factor of l?
True
Suppose -6*b + 7*b = 8. Is (b/(-6))/(20/(-90)) a multiple of 2?
True
Let q be (-72)/16*2/(-3). Suppose q*j + 2*j + 10 = 0. Does 18 divide 94 + -1 + -1 + j?
True
Let o = 202 + 455. Is o a multiple of 73?
True
Let v = -64 + 44. Is 7 a factor of 2*(-6)/(-3) - v?
False
Let f = -58 - -120. Let k = -17 + f. Does 15 divide k?
True
Suppose 8*q = 10*q + 46. Suppose -4*m - 219 = -55. Let l = q - m. Does 9 divide l?
True
Suppose -2*d + 24 + 6 = 0. Suppose -d*v + 16*v - 11 = 0. Suppose v*k - 8*k = 144. Is k a multiple of 24?
True
Let a(x) = 305*x + 54. Is 25 a factor of a(6)?
False
Suppose 4*k - 3*d - 1 = 0, 0*d = -k + 3*d - 11. Let l be k + 2 + (-16)/4. Suppose -l*o - 7 + 43 = 0. Is o a multiple of 6?
True
Let o(m) = -38*m**3 + m**2 + 2*m + 1. Let t(r) = r**2 - 11*r - 2. Let u be t(11). Let i be 24/(-20) + u/(-10). Is 38 a factor of o(i)?
True
Let l(k) = -72*k + 48. Is l(-10) a multiple of 40?
False
Let u(l) = 15*l**3 - 2*l**2 + 5*l + 2. Is u(4) a multiple of 38?
True
Suppose -2*h = h - 576. Suppose -j + h = 2*j. Suppose 3*x - 4*x - 5*k = 3, -4*k = -2*x + j. Does 8 divide x?
False
Let r = -1060 + 1619. Does 13 divide r?
True
Let n = 24 + -19. Suppose -5*f = n*w - 11 - 9, 7 = 3*w - 2*f. Suppose 2*s - x = 33, -4*x = w*s - 31 - 13. Does 2 divide s?
True
Suppose -m + 2*m = 5. Let d(t) = t**3 - 5*t**2 + 2*t - 5. Let x be d(m). Suppose 98 = x*q - 52. Is 21 a factor of q?
False
Let m = -31 + 19. Let b = m + 17. Suppose n = b*w + 68, 129 = 2*n - 5*w - 7. Does 17 divide n?
True
Is (96/144)/((-4)/(-2118)) a multiple of 8?
False
Suppose 55*g = 56*g - 282. Is 105 a factor of g?
False
Let k(v) = v - 5. Let d be k(-4). Let r(w) = -3*w - 10. Let m be r(d). Let t = m - 11. Does 5 divide t?
False
Let k = -59 + 108. Let v be (1 - -43) + (6 - 5). Let z = k + v. Does 24 divide z?
False
Suppose 5*n - 1015 = 5*i, -2*i - 1012 + 400 = -3*n. Is n/10 - 22/(-55) a multiple of 7?
True
Let h be ((-51)/3)/(2/(-100)). Let d be h/40 + 2/(-8). Let g = d - 13. Is g a multiple of 8?
True
Let a(v) = -v**3 - 7*v**2 - 2*v - 12. Let z be a(-7). Does 16 divide 48 - z - (-4 - -3)?
False
Suppose 4*u = 5*q + 5, 0 = u + 2*u - 4*q - 4. Suppose 4*j - 8 = u, 5*h - 4*j + 0*j = 2. Suppose y = -h*w + 44, 2*y + w - 184 = -3*y. Is 32 a factor of y?
False
Suppose 3*y - 1024 = -4*u, 3*y = 3*u + 1100 - 104. Let h = -211 + y. Does 23 divide h?
False
Let s(d) = d - 11. Let j be s(14). Suppose -5*b = 5*l + 15, -l = 3*l + 2*b