)/(-7) + 4/12. Suppose -y*j + 302*j + 3490 = 0. Is 14 a factor of j?
False
Let u = -4381 - -2730. Let c = u + 2507. Suppose 0 = -14*f + 320 + c. Does 29 divide f?
False
Let c = -26 + 28. Let j be (-18 - -50) + c/(-2). Suppose d + 8 = 5*p - 3, 3*d + p = j. Is d a multiple of 9?
True
Let k = 4226 + -1886. Is k a multiple of 12?
True
Suppose 16 = 2*z + 2*y, 5*z + y - 17 = 7. Suppose z*p - 128 = 12*p. Does 11 divide (1035/(-60))/(6/p)?
False
Suppose 11*f - 60*f + 1666 = 0. Suppose 38*i = f*i + 528. Is 11 a factor of i?
True
Suppose -76*c = -893171 + 93111 - 106392. Does 51 divide c?
False
Let k be 13/((-39)/(-6)) - -6. Suppose -628 = -k*n + 572. Is n a multiple of 10?
True
Let f = -8521 - -8411. Let g be (1*2)/(-4)*2. Does 20 divide (g - (-1 + 0))/2 - f?
False
Let r(t) = 281*t + 5603. Is 123 a factor of r(-16)?
True
Does 49 divide 195/15 - (15 - 4608)?
True
Let h(o) = 3*o**3 + o + 2. Let r be h(2). Suppose -3*n + 4*w - r = 0, -1 = -2*n - 2*w - 43. Let l = 22 + n. Does 3 divide l?
True
Let r = -21801 + 22269. Is 3 a factor of r?
True
Let h = 32 - 10. Let g(v) = 2*v**2 - 7*v + 1. Let f be g(5). Suppose 2*o - h = -f. Is o a multiple of 2?
False
Suppose -59*r = -65*r. Let p(d) = 88 + 42 + 57 - 63 - d**2. Is 15 a factor of p(r)?
False
Suppose -4*k + 4916 - 396 = 0. Is k a multiple of 4?
False
Suppose 3*b + 24*a - 865 = 20*a, 2*a = 8. Let p = b + -148. Is p a multiple of 11?
False
Let b(u) = u**3 + u**2 + 18. Let o be b(-3). Suppose -38*y + 48923 - 1803 = o. Is y a multiple of 40?
True
Suppose 0 = 435*a - 468*a - 6500 + 21284. Is 4 a factor of a?
True
Let b(g) = g**3 + 15*g**2 - 10. Let s be b(-15). Let t be (-178)/(-2) + s/5. Suppose -8*y + t + 353 = 0. Does 19 divide y?
False
Suppose -13 = -c - 4*s, 17*c - s = 22*c + 30. Let j = 6 - c. Is j a multiple of 13?
True
Is (2611/(-21) + -8)/((-1)/12) a multiple of 4?
True
Let u = -286 + 289. Suppose 2*d - 948 = -4*m, 0 = -5*m - u*d + 1166 + 17. Is 41 a factor of m?
False
Let n = -89 + 89. Suppose 5*s = n, -5*x + s = -4*s - 80. Let d = 112 - x. Is 6 a factor of d?
True
Let y = 3433 - 2337. Suppose -14*v + y = -10*v. Is 14 a factor of (-27)/(-45) + v/10?
True
Let v(c) = 220*c - 5. Let k be v(5). Let r = 24143 - 24143. Suppose r = 8*t - 905 - k. Is 50 a factor of t?
True
Let b(i) = 17*i**3 + 9*i + 45. Is 13 a factor of b(9)?
True
Suppose -14 = -9*r + 4. Let d(h) = 32*h**3 + 2*h**2 - 8*h + 12. Is 66 a factor of d(r)?
False
Let s = -353 + 356. Suppose 0 = -0*y - y - s*v + 598, 5*y - 3050 = -3*v. Does 74 divide y?
False
Suppose 84*i - 12412 + 4936 = 0. Does 10 divide i?
False
Let a be 2/6 + (-287)/(-21). Suppose -5*z = 4*d + 13, 2*d - 5*z = d + 3. Is 3 a factor of (a - d) + -2*1/(-2)?
False
Let n = 7 + -2. Suppose 2*p - 4*t = 26, -27 = -4*p - 5*t + 8*t. Suppose -d = -p, 2*b - n*d = -2*b + 193. Is b a multiple of 26?
True
Does 98 divide 182289/27 - (-112)/(-252)?
False
Let a(t) = t**2 - 3*t - 3. Let y be a(-2). Let u(f) = 2*f**2 - 10*f + 18*f - 5*f - 8*f + 1. Is u(y) a multiple of 5?
False
Let h be (27/4)/((-15)/(-20)). Suppose h*c = 45 + 81. Is c a multiple of 7?
True
Let x(f) = -f + 1 + 18*f**2 + f**3 + 0*f**3 + 5 + 20. Let j be x(-18). Is j/(-8)*-2*8 a multiple of 6?
False
Let d(k) = -6*k - 223. Is d(-68) even?
False
Let y(k) = 2815*k**2 - 5*k - 4. Let d be y(-1). Suppose -5*m + d = 6*m. Is m a multiple of 10?
False
Suppose 5*r - v = 13775, 2*r - 3834 = 3*v + 1676. Is 12 a factor of r?
False
Suppose -5*w = -58 + 48. Suppose -29 = -3*u - q, 3*u + 3*q - 51 = -w*u. Does 9 divide u?
True
Suppose -w = y - 127, -2*w + 3*y + 116 = -158. Does 2 divide w?
False
Let o = -4603 + 5527. Does 44 divide o?
True
Let r(p) = 31*p**3 + 2*p**2 + 28*p + 45. Let y(w) = 49*w**3 + 3*w**2 + 42*w + 68. Let o(x) = -8*r(x) + 5*y(x). Is 34 a factor of o(-8)?
True
Let p = -152 - -137. Let l(g) = -65*g + 341. Does 12 divide l(p)?
False
Let f = 31798 - 18994. Does 66 divide f?
True
Suppose 0 = -2*a + 179 - 179. Suppose 13*t + 28*t - 12300 = a. Does 34 divide t?
False
Let h = 183 - 178. Is 19 a factor of (-1)/h + (-7830)/(-25)?
False
Suppose -16*l = -15*l + 4. Let a be 1*(-4)/l - -100. Suppose 0*p + a = p. Is p a multiple of 62?
False
Suppose -9391 = -4*g - o, -5*g + 5*o - 4166 + 15936 = 0. Is g a multiple of 18?
False
Is 143 a factor of (7 - 15/2)/(205179/205182 + -1)?
False
Let p(w) = -4*w + 10. Let u = 76 + -74. Let h be p(u). Suppose -3*z + 7 = 4, 3*d = -h*z + 665. Is d a multiple of 13?
True
Let v = 46 + -43. Suppose -2*o = -v*i - 0*o - 89, 3*o = -i - 15. Let p = i + 126. Is p a multiple of 14?
False
Let g = 1093 + -775. Let u = -95 + g. Does 4 divide u?
False
Let x = 25 - 20. Suppose x*s + 5*i - 91 - 39 = 0, s - 2*i = 14. Suppose 190 = 4*t + s. Is 7 a factor of t?
True
Let b(s) = s**3 - s**2 + 8*s - 10. Let t(z) = -7*z + 8. Let c(o) = o - 1. Let i(d) = -4*c(d) - t(d). Let g be i(3). Does 10 divide b(g)?
True
Let g(m) = 3*m + 61. Let z be g(-19). Let t be (2 - (3 + 1 - z)) + 1. Suppose -2*r - 2*c = 2*c - 362, 0 = 3*r + t*c - 537. Is 31 a factor of r?
False
Suppose 0 = -143*i + 518420 + 451692. Is 239 a factor of i?
False
Suppose 4*u - 7*u + 135 = 0. Suppose -g = -4*g + u. Suppose g = 5*q - 200. Is q a multiple of 7?
False
Suppose -4*s + 3*t - 11 + 90 = 0, 0 = 5*s - t - 85. Is (-17271)/(-76) + 2/s*-2 a multiple of 18?
False
Let b(r) = r**3 + 22*r**2 + r + 24. Let p be b(-22). Suppose p*j + 3*j - 25 = 5*o, 3*j = 3. Is o*85/(-40)*4 a multiple of 4?
False
Let c(r) be the first derivative of 2*r**3/3 - 5*r**2 - 20*r + 33. Does 74 divide c(12)?
True
Let r(t) = -t**3 - t**2 + t + 119. Suppose 3*n + 5*s - 10 = 2*n, -2*n - 5*s + 10 = 0. Suppose n = -3*o + 6 - 6. Is 17 a factor of r(o)?
True
Let o(b) = -b**3 + 9*b**2 - 2*b + 21. Let v be o(9). Suppose -1 = -m - 2*k, -3*m + 3*k = 4*k - v. Is (m - -2) + -4 - (-24)/1 a multiple of 17?
False
Let l(y) be the third derivative of y**5/30 + 5*y**4/12 - 46*y**3 - 14*y**2 - 5. Is l(14) a multiple of 8?
True
Let n = 839 - 1179. Is ((-7)/5 - -1) + (-45016)/n a multiple of 44?
True
Suppose 788 = 40*q - 15*q - 4687. Is 4 a factor of q?
False
Let y(w) = w + 3. Let i be y(-3). Let k = 76 + -72. Suppose i = -k*u + 9*u - 205. Is 6 a factor of u?
False
Let i be 4/8 - (4 + (-9998)/4). Suppose -h = -9*h + i. Does 26 divide h?
True
Let c(l) = -16*l - 16. Let i(o) = -5*o + 15 - 4 + 8. Let z be i(6). Does 10 divide c(z)?
True
Let l = 16 - 12. Suppose 0*m + 18 = m + 5*i, l*i - 15 = -m. Suppose 4*u = m*u + 24. Is u a multiple of 2?
True
Suppose -2*o + 10 = 0, -6*a + 2*a + 83 = -o. Let f(j) = 37*j - 250. Does 22 divide f(a)?
False
Let x = -8751 - -8866. Is 23 a factor of x?
True
Let j(h) = -42*h**2 + 5*h - 22. Let x be j(3). Is (-4 - x)/(-2 + 5) a multiple of 12?
False
Let d(p) = -11*p**2 - 2*p - 1. Let a be d(-1). Suppose 3*o + 26 = 122. Let u = o + a. Is u a multiple of 10?
False
Suppose 66 = 3*o + 12. Suppose -22*j = -o*j + 4. Does 7 divide ((-8)/20 - j)*45?
False
Let w(s) = 1173*s - 33. Suppose o + 2*h - 3 = 0, -13*o = -16*o - 5*h + 8. Does 57 divide w(o)?
True
Let a(s) = 4*s + 24. Let t be a(-5). Suppose -4*n + 6 = -k - 1, -t*k = -4*n + 4. Suppose 3*j + 468 = 4*p, 2*p - 248 = n*j + 3*j. Is 19 a factor of p?
True
Is 6 - -8 - (-2479 + -13) a multiple of 179?
True
Let a(k) = -k**3 - 28*k**2 + 10*k + 27. Let z(p) = -2*p**3 - 56*p**2 + 19*p + 55. Let r(j) = 7*a(j) - 3*z(j). Is r(-29) a multiple of 8?
True
Let m = 20318 - 1272. Is 19 a factor of m?
False
Let u(s) = -2*s**3 - s**2 + 2*s - 1. Let i(k) = -5*k**3 - 14*k**2 + 23*k - 4. Let m(g) = i(g) - 5*u(g). Does 8 divide m(5)?
False
Let z be (18/27)/(10/(-300)). Let x(m) be the first derivative of m**3/3 + 15*m**2/2 + 15*m - 1. Is 27 a factor of x(z)?
False
Suppose 0 = 2*x + 3*s - 11610, 22*s = x + 27*s - 5784. Is x a multiple of 9?
True
Let y = 279 + -440. Let t = 147 - y. Is t a multiple of 11?
True
Let l(n) be the second derivative of 7/2*n**2 + 13*n + 0 - 1/20*n**5 + 7/3*n**3 - 1/3*n**4. Is l(-7) a multiple of 4?
True
Suppose -4*v - 61612 = -2*w, -5*w - 2*v - 61616 = -7*w. Is w a multiple of 9?
False
Let o = 53076 - 29940. Is 8 a factor of o?
True
Let g = -20593 + 34468. Is g a multiple of 15?
True
Let p be (-249)/(-415) + (-2 - 2936/10). Let t = p - -581. Is t even?
True
Suppose -643*l = -648*l - 2*m + 3048, -3*m - 1185 = -2*l. Does 14 divide l?
False
Suppose -16*g + 