- (z + -120))*(-5)/(-2)?
True
Suppose -22*o - 7662 = 830. Let d = o + 1133. Does 45 divide d?
False
Let h = 12102 + -6180. Is 68 a factor of h?
False
Let s(x) = 16*x**3 - x**2 + 2*x - 1. Let y be s(1). Suppose 293 = y*o - 27. Suppose 6*c = o*c - 756. Does 49 divide c?
False
Let p = -143 - -55. Let g = p - -107. Is g a multiple of 14?
False
Suppose -7*a + 49 = -0*a. Suppose 11 - a = 2*w. Suppose w*i - 4*i + 110 = 0. Is i a multiple of 11?
True
Let y = -704 - -729. Is 10 a factor of y/150 - (-7853)/6?
False
Suppose 26 = -5*l + 36. Suppose 17*q + l = 18*q. Suppose 0 = -i - 5*z + 28, 2*i - q*z = i - 7. Is i even?
False
Let g(c) = 26*c**3 - 13*c**2 + 10*c + 41. Is g(9) a multiple of 49?
True
Suppose 558 = x + 2*z, -4*x + 2272 = -10*z + 8*z. Let b = x + -132. Does 87 divide b?
False
Suppose -334 + 349 = -5*h. Let t(v) = -7*v**3 - 2*v**2 + 7*v - 1. Let o(b) = 7*b**3 + b**2 - 7*b + 1. Let i(r) = -6*o(r) - 5*t(r). Is i(h) a multiple of 34?
False
Is 9 a factor of (17/3)/(14 + 56867/(-4062))?
False
Suppose 0 = 5*k + 51 - 66. Suppose -5*p + 4305 = -5*h, k*p - 2*h + 804 = 3388. Is 12 a factor of p?
False
Let z = 72909 - 50737. Does 92 divide z?
True
Let r(j) = 4*j**2 + 31*j - 5. Let p be r(-8). Suppose -p*k + 3*n + 251 = -391, -n - 5 = 0. Is 40 a factor of k?
False
Let u(i) = -30*i + 13. Let s be u(2). Let o = 56 + s. Let y = o + 13. Does 8 divide y?
False
Let h be (5 - 10)*(-12)/(-10). Let b(k) = k**3 + 7*k**2 + 8*k + 17. Let y be b(h). Suppose 164 = 3*t - v + 2*v, 0 = t + y*v - 36. Is t a multiple of 14?
True
Suppose -9217 = 16*i + 65263. Is 97 a factor of (0 + 14)/28 + i/(-2)?
True
Let s(f) = f**2 - 13*f - 5. Let w be s(6). Let q = 68 + w. Suppose -2*o - q = -117. Is 24 a factor of o?
True
Let w(y) = 93*y**3 - 38*y**2. Is w(4) a multiple of 8?
True
Let b(u) = -2516*u + 16. Let k be b(-1). Suppose -5*g + k = -2*f, -6*g + 9*g = -3*f + 1536. Is 7 a factor of g?
False
Let b be (-4)/52*-2 + (-2)/13. Suppose -12*n + 29 + 7 = b. Suppose 3*v - 2*q - 138 = n*q, -5*q = -v + 36. Is 17 a factor of v?
True
Suppose 2*o = 59 + 305. Let s(z) = 31*z**2 + 5*z + 3. Let l be s(-3). Let p = l - o. Is p a multiple of 17?
True
Let w(r) = 11*r - 23. Let d(i) be the first derivative of -6*i**2 + 24*i - 11. Let y(o) = 4*d(o) + 3*w(o). Is y(-7) a multiple of 22?
True
Let r be (32 - 34)/((-2)/543). Let w = r + -213. Is w a multiple of 10?
True
Let o(s) = 3*s - 18. Let u be o(6). Let l(c) = -c**2 - c + 85. Let v be l(u). Let f = 124 - v. Is 12 a factor of f?
False
Suppose 0 = -4*q + 13*q - 108. Is ((-783)/q)/((-3)/20) a multiple of 15?
True
Let r(x) = 2*x**3 - 10*x**2 + 27*x - 22. Is 2 a factor of r(9)?
False
Let y(a) = 76*a**2 + 243*a + 1243. Does 20 divide y(-5)?
False
Let r = 7010 + -5615. Is 2 a factor of r?
False
Let c = -217 - -222. Suppose -3*k - c*f + 9*f = -3574, 2*f = -4*k + 4758. Is k a multiple of 34?
True
Let m(t) = 7*t - 3. Let r(k) = -k**3 + 5*k**2 + k. Let w be r(-4). Let d = w - 133. Is m(d) a multiple of 3?
False
Let r be (-18)/8*(-96)/18. Suppose -200 = 8*p - r*p. Let n = 233 + p. Does 42 divide n?
False
Suppose -44*t + 41*t = 0, -t + 43476 = 4*f. Is f a multiple of 82?
False
Suppose 29327 = 48*u - 129601. Is 11 a factor of u?
True
Let i(q) be the third derivative of -q**6/120 + q**5/5 - 11*q**4/12 + 73*q**3/6 - 12*q**2 + 9. Is 23 a factor of i(5)?
True
Let o = 21213 + -11313. Does 10 divide o?
True
Let q = -3856 - -6484. Suppose -3*d + 312 = -q. Suppose -2*i = -12*i + d. Is i a multiple of 14?
True
Suppose 0 = -r + 3*h + 63, -5*r - 3*h = -8*h - 305. Let i be (-2 + 4 - -2) + r. Suppose -2*d + i - 10 = 0. Is d a multiple of 27?
True
Let p = 1224 + -855. Suppose 2*f - p = 27. Is f a multiple of 14?
False
Let v = 13577 - 9232. Is v a multiple of 14?
False
Suppose -14*s + 10 = -9*s. Suppose -32 + 4 = s*u. Let r = u - -54. Is r a multiple of 8?
True
Let z be (-2 - (-18)/8)/((-6)/(-48)). Suppose z*c + 305 = d - 85, 4*d + 4*c = 1512. Is 11 a factor of d?
False
Is 49 a factor of (-6)/(-4)*(-4)/(-6)*(4 + 26053)?
False
Suppose -4*b - l + 3321 = 0, 5*b + 3*l = 2*b + 2502. Suppose -638 = 20*x - 23*x - 4*f, -4*x = f - b. Is x a multiple of 8?
False
Suppose -4*u + 132 = -7*u. Let b = 96 + u. Suppose d - 2*o + 0*o = b, 2*d - 3*o = 102. Is 12 a factor of d?
True
Let t be (-17 + -1)*(-2)/(-6). Let y be (-2)/(1 - -1) - t. Suppose r + 3*p - 127 = -p, -y*p - 550 = -4*r. Does 27 divide r?
True
Let z be (742 - -1) + (1 - (-15 + 17)). Let d = z - -532. Is 91 a factor of d?
True
Suppose -53*k + 247*k - 369376 = 0. Does 16 divide k?
True
Let k(h) = 4*h**2 - 3*h + 5. Suppose 0 = -6*x + 2*x + 2*z + 52, -5*z - 10 = 0. Let y = x - 8. Is k(y) a multiple of 19?
True
Let x(q) = q**3 - 23*q**2 + 3*q - 39. Let g be x(23). Suppose -y = 4*i - 950, 2775 = 3*y + g*i - 33*i. Does 69 divide y?
False
Let w(h) = 16*h**2 - 7*h + 21. Suppose 75 + 456 = -59*g. Does 15 divide w(g)?
True
Let o(r) = 29*r + 19. Suppose -4 = 4*c + 16, 3*c - 10 = -5*y. Suppose g = -5*i + 20, g - 5*i + y = -g. Is 11 a factor of o(g)?
False
Let j = 10897 - -7825. Does 11 divide j?
True
Suppose 2*d + 387*i - 390*i - 10192 = 0, -3*d - i + 15277 = 0. Is 38 a factor of d?
False
Suppose 0 = -9*d - 6*d + d. Let s(q) = 3*q**3 - q**2 + 42. Is s(d) a multiple of 42?
True
Let m(r) = -26*r - 17. Let s be m(-1). Suppose -4*y + 13*v + 1084 = s*v, 3*y = 2*v + 810. Is 17 a factor of y?
False
Let u be 20/8*(-2086)/(-35). Does 4 divide (-2 - (-3 + -2)) + u?
True
Suppose -5*j + 28 = 3*f, -3*j + 2*f = -19 + 6. Suppose -j*z + 30 = -0*z. Suppose 10*a = z*a + 512. Is 25 a factor of a?
False
Let g = 438 - 303. Let s = 227 + g. Is s a multiple of 12?
False
Let n(q) = q**3 + 7*q**2 + 6*q + 24. Let h be n(-7). Let v = h - -24. Suppose 0 = -2*s - v, y - 2*s - 1 = 59. Is 21 a factor of y?
False
Let p = -1646 - -4082. Does 12 divide p?
True
Does 344 divide (-3 - -47154) + 1274/(-49)?
False
Let w(k) = -10*k - 3. Let l be w(-1). Let v = l - 4. Suppose -287 = -v*j + 2*p, -3*j + 0*j - 4*p + 317 = 0. Is j a multiple of 24?
False
Let j be ((-14)/(-6))/((-2)/(-102)). Let q be (0 - 6) + (38 - 32). Let h = j + q. Is 34 a factor of h?
False
Let j = 94 + -182. Let d be 1 + -3 + 1 - j. Let r = d - 44. Is 4 a factor of r?
False
Suppose 65348 = 2*s + 2*s - 4*v, 10*s - 163340 = 5*v. Is s a multiple of 306?
False
Is ((-4638)/(-15))/((-62)/(-2945)) a multiple of 195?
False
Let f(n) = n**3 - 7*n**2 + 2*n - 1. Let u = 54 + -14. Suppose 152 - u = 16*y. Is f(y) a multiple of 7?
False
Let x(t) = t**2 - 6*t + 6. Let a be x(3). Let n be 2 - 0 - (-7 + 7 + a). Is 13 a factor of (-20 - -6)/(n/(-3) + 1)?
False
Suppose -i + 15627 = 4*g, -3*i + 7*g + 34745 = -12174. Does 13 divide i?
False
Suppose 40*y - 3245 = 35*y + 5*o, 0 = 4*y - 5*o - 2592. Does 37 divide y?
False
Let u be 20/28 + 1*6/21. Let c(q) = 4*q**3 - 2*q**2 + 3*q - 2. Let o be c(u). Suppose -o*y + 0*y = -672. Is y a multiple of 14?
True
Suppose -33*w - 92522 + 262406 = 0. Is w a multiple of 3?
True
Let r = 44930 + -12194. Is r a multiple of 97?
False
Suppose 0 = 446*l - 399*l - 944888. Is 8 a factor of l?
True
Let b(p) = -3*p + 1372. Is b(130) a multiple of 2?
True
Suppose 2*g - 5*g = -3*s - 2400, 2*g = -s + 1603. Let u = 1122 - g. Is u a multiple of 5?
False
Let x be ((-5)/(-1) + 2)*-36. Let c = -428 - x. Let j = c - -250. Is 13 a factor of j?
False
Suppose 24*w = 19*w + 10. Suppose -3*r + 117 = 3*c, w*r + 5*c = 26 + 43. Is 7 a factor of r?
True
Let q(g) be the first derivative of -7*g**4/4 + 4*g**3/3 + 2*g**2 - 6*g - 14. Let u be q(-3). Suppose 173 = 5*d + 2*t, t - 79 = 4*d - u. Is 11 a factor of d?
True
Suppose 0 = 5*x + 4*r - 1278, 4*r + 768 = 3*x + 6*r. Let i = x - 143. Does 15 divide i?
False
Let o = -2 + 2. Let d be (2 - 33/15)*(-26 + 1). Suppose -d*v + 117 + 68 = o. Does 11 divide v?
False
Let f(z) = z**3 + 4*z**2. Suppose 6*u + 6 = -12. Let x be f(u). Suppose 4*k = -x*k + 494. Does 12 divide k?
False
Let f(p) = p**3 + 18*p**2 - 14*p - 73. Let j be f(-14). Suppose -b - 203 = -j. Is 16 a factor of b?
True
Let s(v) = -v**3 - v**2 + 7*v + 406. Suppose -8*k + 9*k = -7*k. Does 29 divide s(k)?
True
Suppose -144 = 4*o - 4*u, -11*u = -4*o - 6*u - 147. Suppose 3*t = -38 - 97. Let z = o - t. Is z a multiple of 5?
False
Suppose -24*r + 151779 + 342957 = 0. Is 7 a factor of r?
False
Let q be 2 + 1 + -1 + -5 - -11. Suppose -q =