e -p - 1 = -2, 2*x + o*p - 29 = 0. Is 4 a factor of x?
False
Let s = -893 + 1453. Suppose 3*t - s = -t. Does 37 divide t?
False
Let k(c) be the third derivative of 7*c**4/12 - 5*c**3/6 + 9*c**2. Let n be k(6). Suppose -3*r = 4*x - 16 - 103, 5*r = 2*x - n. Is x a multiple of 14?
False
Let i(f) = -72*f - 456. Is i(-33) a multiple of 12?
True
Let m(h) = -1 - 5 - 9*h + h**2 - 2. Let c(z) = -z**3 + 8*z**2 - 12*z - 3. Let q be c(5). Does 28 divide m(q)?
True
Let j = 454 - 158. Let a = 41 - 24. Suppose j = a*q - 13*q. Is q a multiple of 19?
False
Let p(u) = 3*u + 54. Let r be p(-17). Suppose -r*h + 3 = -24. Does 9 divide h?
True
Suppose -y - 2*y - 6 = 0. Let d(x) = -13*x + 4 - 24*x + 25*x. Does 7 divide d(y)?
True
Suppose 6*l = -0 + 12. Suppose 0 = 2*v + l*v - 60. Does 6 divide v?
False
Let k be 24 + 3 - 1 - 0. Suppose k*d + 82 = 28*d. Is 10 a factor of d?
False
Suppose -25 = -0*d + 5*d. Let y be d/(20/(-12)) - 1. Suppose 0*r + y*u + 25 = r, -u + 82 = 4*r. Is r a multiple of 9?
False
Let r be 3/(-2) + (-8)/((-80)/1035). Suppose -2*m + r = 4*m. Is 4 a factor of m?
False
Suppose -116*w = -111*w - 2200. Is 28 a factor of w?
False
Does 9 divide (-6 + (-207)/6)*-6?
True
Suppose -6 = 2*a + 2*w - 2, 4*w = -2*a - 10. Is 17 a factor of (-7278)/(-54) + a - 4/(-18)?
True
Suppose -y + 47 + 89 = 3*s, -12 = -3*y. Is s a multiple of 6?
False
Let s = 140 - 83. Suppose 3*m + s = 3*c, 3*m - 5 - 6 = -c. Does 5 divide c?
False
Let b = -12 + 10. Let z = 4 + b. Suppose s = -5*k + 145, z*k + 2 - 63 = -s. Is 8 a factor of k?
False
Let a(d) = -5*d - 68. Does 42 divide a(-29)?
False
Let q(v) = 3*v - 11. Suppose -u = -6 - 3. Is 7 a factor of q(u)?
False
Suppose 2*v - 27 = -v. Let k = -45 - -51. Let x = v - k. Is x even?
False
Suppose -2*k - 33 + 35 = 0. Does 10 divide 47*k*(12 - 10)?
False
Suppose 3*b - 789 = 2*n, 2*n = -0*b + b - 259. Is 14 a factor of b?
False
Let a = 39 + -35. Suppose 5*q + 7 = 4*o, 5*o + q - 13 = a*o. Does 4 divide o?
True
Let c(b) = -3*b**2 + 4*b - 3. Let h be c(3). Let l = 25 + h. Does 7 divide l/2*2/1?
True
Let z(k) = 13*k + 172. Is 6 a factor of z(-5)?
False
Is 47 a factor of (-49)/735 - (-16201)/15?
False
Let x = -371 + 2430. Does 29 divide x?
True
Is 59 a factor of 2/6 + 352982/399?
True
Let z(m) = -m + 15. Let d(s) = 2*s**2 - 4*s - 6. Let c be d(5). Suppose -3*i - 4*b = -13 - 32, 0 = -3*i + 3*b + c. Is z(i) a multiple of 4?
True
Let v(k) = -2*k**3 - 36*k**2 + k - 79. Does 13 divide v(-19)?
True
Let v(s) = -36*s - 1. Let o be v(-1). Let z be o/14*8/5. Suppose z*m = -58 + 242. Is 15 a factor of m?
False
Suppose 3*s = 13 + 2. Suppose s*q - 27 = 33. Is q a multiple of 4?
True
Suppose 2*t = -3*r - 1, 2*r - 4*t + 2 = -5*t. Let l = r + 7. Suppose -41 = -i + l. Does 15 divide i?
True
Let v(u) be the first derivative of -u**2/2 + 3*u - 5. Let q be v(-5). Suppose -j - q = -35. Is j a multiple of 9?
True
Let p(r) = r**3 + 10*r**2 + 16*r. Let q be p(-8). Suppose -k - 6 = -3*t - 22, q = 2*k - 4*t - 32. Is 16 a factor of k?
True
Suppose 4*y = -0*y + 768. Suppose -2*n + 96 = -0*q - 3*q, -y = -4*n + 3*q. Is 16 a factor of n?
True
Suppose -10060 + 3436 = -6*n. Is 138 a factor of n?
True
Let q = -2560 + 3652. Does 28 divide q?
True
Let o be 4/(-14) + 86/7. Let f(h) = 6*h**3 + 55*h**2 + 81*h - 75. Let a(l) = -l**3 - 11*l**2 - 16*l + 15. Let t(n) = -11*a(n) - 2*f(n). Is t(o) a multiple of 2?
False
Suppose -5*j = -v + 5 + 9, -3*j = 0. Does 13 divide 1 - (-7)/(v/232)?
True
Suppose 314 = -7*f + 6887. Is 24 a factor of f?
False
Let l(f) = 4*f**2 + 8*f + 28. Is 22 a factor of l(6)?
True
Let r(z) = -5*z + 0 - 3 + 2 + 5. Let x be r(-2). Let o = 52 + x. Does 12 divide o?
False
Let d = -15 - -34. Suppose 4*t - d = -7. Suppose -t*m + 21 = -168. Is m a multiple of 21?
True
Let w(r) = 4*r + 12. Let o be w(-7). Let f = o - -31. Is 8 a factor of 2/(-3 + 47/f)?
False
Suppose -59*z + 855 = -56*z. Is 25 a factor of z?
False
Suppose 22*i = 569 + 2863. Is i a multiple of 5?
False
Suppose 83 = 2*f - 123. Is f a multiple of 18?
False
Suppose -4*n = -1272 + 880. Does 4 divide n?
False
Let r(v) be the second derivative of 2*v**3/3 - 3*v**2/2 - 7*v. Let x be r(3). Let h = x - 0. Is h a multiple of 9?
True
Suppose 0 = 3*s - 314 - 61. Let m = -45 + 45. Suppose -4*n + 3*o + s = 0, -o - 3 = -m*o. Is n a multiple of 11?
False
Let u = 39 - 203. Let n(r) = 34*r - 2. Let t be n(5). Is 1/(u/t + 1) a multiple of 15?
False
Let r(b) = b**3 - 5*b**2 + 3*b + 1. Let m be r(4). Let k(d) = -d**3 - d**2 - d - 1. Let i be k(m). Is (1 + 0)*(i + -11) a multiple of 4?
False
Suppose -4*p - 318 - 50 = 4*m, 3*p - 199 = 2*m. Let t = 180 - m. Is 39 a factor of t?
False
Suppose -177 = -5*y - 0*y + 2*h, -2*y - h = -69. Let t be 5/20 + y/4. Let x = 7 + t. Is x a multiple of 8?
True
Let k(o) = 2*o - 7. Let y be k(5). Suppose -l - y = 2*h - 0*h, -3*l - 4*h - 5 = 0. Is 13 a factor of (-6 + 19)*(l + 1)?
True
Let w(f) be the third derivative of 7*f**5/12 + 5*f**4/24 + 2*f**3/3 - 6*f**2. Let c be w(-2). Suppose -3*s = -5*s - 2*o + c, 5*s - 295 = 5*o. Does 14 divide s?
False
Let q = -8 + 10. Is 3 a factor of 22 - ((1 - q) + -2)?
False
Suppose -5*s = 6*j - j - 17730, 5*j = -2*s + 7095. Does 23 divide s?
False
Let x be (-225)/(-3) - 5/((-5)/2). Let s = x + 33. Is 13 a factor of s?
False
Suppose -36*m - 2056 = -38*m + 2*y, -3*y + 12 = 0. Is m a multiple of 24?
True
Suppose 2*u = 10, -4*n - 5*u = -5*n - 20. Suppose -g - 2*s = -0*g - 45, -200 = -n*g - 5*s. Does 6 divide g?
False
Let n be (1/(-2))/(19/3876). Let f = n - -145. Is 8 a factor of f?
False
Let p(x) = -x - 44. Let w be p(-8). Is 6/(-27) - (3 - (-4904)/w) a multiple of 19?
True
Let m(v) = -3*v**3 + 8*v**2 + 47*v - 38. Is m(-6) a multiple of 77?
True
Suppose 4*z - 118 = 350. Does 8 divide z?
False
Let q(d) = 13*d**2 - 13*d + 25. Does 4 divide q(2)?
False
Let c(g) = 2*g + 63. Let r be c(0). Suppose 2*j = 4*j + 54. Let b = r + j. Does 12 divide b?
True
Let s = -762 - -1077. Is s a multiple of 63?
True
Suppose 6 = -2*t, -5*f - t = -3*f - 669. Is 14 a factor of f?
True
Suppose -2*n = 2*j + 16, 12 = -4*j - n - 8. Is 6 a factor of j/(-22) - (1776/(-33) - -2)?
False
Is 75 a factor of (196 - 1)/((-12)/(-60))?
True
Let g(l) = -l**3 + 5*l**2 + 170*l + 27. Is g(-11) a multiple of 18?
False
Let f(y) = y**3 - 8*y**2 - 13*y + 27. Is 15 a factor of f(11)?
False
Suppose -9 + 14 = 5*z. Suppose 0 = 2*m + z - 19. Does 5 divide m?
False
Let q be (-1)/(-1)*(-103)/(-1). Suppose -11*r - 3*r - 826 = 0. Let i = q + r. Does 16 divide i?
False
Let j = 17 - 29. Let s be 6/(-2)*(-268)/j. Is (s - -3)/(-1 + -1) a multiple of 6?
False
Suppose 170 = 7*f - 257. Is 9 a factor of f?
False
Suppose h + 0*h + 4 = -2*w, -3*w = 3*h + 3. Suppose 4*g - h*g - 14 = 0. Suppose g*o - 340 = 2*o. Is 18 a factor of o?
False
Suppose 5*x - 7*x = 370. Let z = -132 - x. Does 14 divide z?
False
Suppose 3*y - o + 0*o - 19 = 0, 0 = -4*y - 4*o + 36. Suppose y*w - 98 = 532. Does 45 divide w?
True
Let b(n) = -3*n**2 - 13*n - 9. Let t(k) = -2*k**2 - 7*k - 5. Let l(p) = 3*b(p) - 5*t(p). Let d be l(4). Is (-6 + -11)/(1/d) a multiple of 6?
False
Suppose -3*l = -5*l + 6. Let i(b) = 2*b**2 - 2*b - 2. Is 6 a factor of i(l)?
False
Let y(b) = -3*b - 12. Let r be y(10). Let q = r - -90. Is 12 a factor of q?
True
Let d(j) = 14*j**2 + 15*j + 16. Does 51 divide d(8)?
False
Let z = 556 + -259. Does 23 divide z?
False
Let q = -15 + 71. Is q a multiple of 3?
False
Suppose -7 = 5*z - 17. Is 1/(-2)*(-204 - z) a multiple of 31?
False
Let h(f) = f**2 + 22*f + 31. Let q(c) = c**2 - 9*c - 13. Let n be q(8). Is h(n) a multiple of 4?
False
Suppose -2*u + h = -6*u + 4, -4*h + 16 = u. Let i be (-74)/4*(-2 - u). Suppose -3*p + i + 98 = 0. Does 15 divide p?
True
Let f = -256 + 468. Let y = -141 + f. Is 53 a factor of y?
False
Suppose 0*c + c - 726 = 0. Suppose -5*o + c = -494. Suppose -3*s = s - o. Is s a multiple of 17?
False
Is 5 a factor of (11 - 2295/18)*(2 + -8)?
False
Is 1*-3*285/(-9) a multiple of 6?
False
Suppose 2 = 3*o - 7. Suppose -o = -v - 0. Suppose -v*d - 475 = -8*d. Does 28 divide d?
False
Suppose -3*f - 15 = 0, -4*f + 8*f - 184 = -4*j. Suppose 0 = -2*x + 19 + j. Is 10 a factor of x?
False
Suppose 12 = 223*m - 220*m. Let g = 3 + -1. Suppose -g*p = m*h - 118, -17 = -h - 2*p + 17. Is h a multiple of 21?
False
Suppose -4*k = -3*k + 4, -4*z = k -