f - 1431. Suppose 0 = -2*o - 4*w + 7*w + f, 0 = -3*o - 4*w + 1092. Does 14 divide o?
True
Suppose 0 = -14*w - 6977 - 5315. Is 20 a factor of 6 + -4 + w/(-1)?
True
Does 13 divide 71043/70 + (-12)/(-120)?
False
Let u = 24 - 21. Suppose -5*d + 32 = -4*m, u*m - d - d = -24. Does 9 divide 1734/24 - (-1 + (-10)/m)?
True
Suppose 258*n - 3360207 = 5100645. Does 8 divide n?
False
Suppose -63460 + 14020 = -15*t. Is t a multiple of 36?
False
Suppose -80*g + 325983 = -64*g - 47681. Is 6 a factor of g?
False
Is 12/84 - ((-12816)/42)/6 a multiple of 17?
True
Suppose -2*j - 3 = -3*m + j, 0 = 5*m + j - 17. Suppose -m*p = -225 - 1146. Does 17 divide p?
False
Let t(z) be the third derivative of 0*z - 14*z**2 + 1/6*z**3 - 1/6*z**4 + 0. Is t(-7) a multiple of 15?
False
Suppose 2*b + 12 = -5*q + 32, 3*q - 12 = -4*b. Suppose -21*z = -1366 - 1259. Is 11 a factor of 12 + z - (-1 + q)?
False
Let d = 20 + -20. Suppose w + 0*w - 210 = d. Is w a multiple of 6?
True
Suppose 0 = 5*v - 0*v - 15. Let r be 420/4 - (-4 + v). Suppose -2*f + 6 + r = 0. Does 7 divide f?
True
Suppose -5*g - 40 = 4*r - 3*g, 0 = -3*r - g - 32. Let i be 1*-22 + 0/(-1). Let t = r - i. Is 2 a factor of t?
True
Let h(q) = -7*q + 97. Let b be h(13). Let o = 133 + b. Is o a multiple of 39?
False
Suppose 8*m = m + 40866. Is 12 a factor of m?
False
Let r be 4/11*99/18. Suppose 3*p - r*a = 98 + 80, 2*a = 2. Does 3 divide p?
True
Suppose -5*b + 82867 = -5*z + 255217, -3*z + 5*b = -103402. Does 85 divide z?
False
Suppose -11*p = -11383 - 9042 + 790. Is p a multiple of 21?
True
Let i = 4206 + -1071. Does 55 divide i?
True
Suppose 1572 = o - a - 8509, -2*o + 3*a + 20161 = 0. Is o a multiple of 10?
False
Suppose 0 = 5*x + 2*x + 7. Let v(p) = 19*p**2 - 2*p + 4. Let s be v(2). Is 20 a factor of s - (-7 + x)/2?
True
Let l = -456 - -198. Let z = l - -458. Is z a multiple of 5?
True
Suppose 3*c - 3*j - 27 = 0, c + 2*j = 4*c - 25. Suppose -1170 = -c*y + 328. Is 7 a factor of y?
False
Let j = 10 + 48. Let z = 194 - j. Is 68 a factor of z?
True
Suppose 111*j = 66135 - 29500 + 115213. Is 36 a factor of j?
True
Let u(a) = -3*a**2 - 6*a + 5. Let w(o) = 2*o**2 + 5*o - 6. Let g(y) = 4*u(y) + 5*w(y). Let l be g(-10). Let f = l - -310. Does 18 divide f?
True
Suppose 0 = 5*k + 4514 - 12214. Suppose 10*g - 20*g = -k. Does 22 divide g?
True
Let k(v) = 2*v**2 - 27. Let s(p) = p**2 - 16. Let m be s(5). Suppose -3*b + 5*t + m = -11, 5*t = 2*b - 10. Is 25 a factor of k(b)?
False
Does 100 divide (-666)/36 + 18 + 1201/2?
True
Suppose 0 = d + 2*a - 490, d - 55*a + 58*a - 486 = 0. Is d a multiple of 3?
True
Let c(r) = r**3 - 8*r**2 + 9*r + 16. Let q be c(5). Does 19 divide (-6)/q + 1278/63*2?
False
Suppose 5*z = 2*u - 8, 0 = -3*z + 2*u - 6 - 2. Suppose z*k - 5*o + 295 = 5*k, 3*k - 183 = -5*o. Let i = 92 - k. Does 6 divide i?
True
Let c(n) = 6*n**2 - 109*n + 1201. Does 32 divide c(61)?
False
Suppose n + 16381 = 2*k, 8*n = -10*k + 13*k - 24591. Is 108 a factor of k?
False
Suppose -5*b + 0*c + 10 = 2*c, -5*b = 4*c. Let v(z) = 8*z**3 + 6*z**2 + z - 4. Let q(s) = 3*s**3 + s. Let x(o) = -3*q(o) + v(o). Does 18 divide x(b)?
False
Let s = 417 + -413. Is (s + (-4 - 0))/3 + 234 a multiple of 13?
True
Let j be (-3)/(-15) - 3*114/(-90). Suppose -j*y - 49 + 337 = 0. Is y a multiple of 8?
True
Suppose 0 = 3*x - 5*x + 3*f + 14, -3*x + 2 = 5*f. Suppose -x*y - 13 = -3*z, 4*y = -5*z - 15 - 6. Does 9 divide 130/(-8)*1*z*4?
False
Let s be 5 + 14668/(-95)*5/2. Let y = 53 - s. Does 14 divide y?
True
Let o = 373 + -74. Let s = o - 154. Is s a multiple of 5?
True
Let g be (-1 - 262/(-4))/((-108)/576). Does 4 divide ((-30)/(5 - 0))/(12/g)?
True
Let f = -33 + 37. Suppose -9*n + 15*n - 48 = 0. Does 7 divide 18 + -7 + 6*f/n?
True
Suppose 2*d + 10*k - 10978 = 11*k, -11002 = -2*d - 3*k. Does 29 divide d?
False
Is 2*(-8)/16 + -4 + 6712 a multiple of 11?
False
Suppose 24*a - 50840 = -11024. Let x = -759 + a. Is x a multiple of 30?
True
Suppose -18*t + 6*t = 12. Does 71 divide (0 + -1)/(t/605)?
False
Let r(k) = -k**3 - 4*k**2 + k. Let c be r(-4). Let f(u) = 2*u**2 + 2*u - 9. Let g be f(c). Let l(v) = -v**3 + 17*v**2 - 26*v - 7. Does 14 divide l(g)?
False
Suppose -76 = c - 74. Let f be 233 + -1 - 1/(c/6). Suppose -1715 = -8*z - f. Is z a multiple of 34?
False
Suppose -2597204 = 160*r + 276*r - 11125800. Is r a multiple of 45?
False
Suppose -v - 1 + 3 = 0, -v + 2063 = -3*r. Let q = -465 - r. Is q a multiple of 12?
False
Suppose 384 = -13*x + 11*x. Let u = 262 + x. Is 10 a factor of u?
True
Suppose 10*b = -13 - 7. Is 21 a factor of 1 - (-278 - (b + 5))?
False
Suppose -4*c + 9510 = -4*z - 10498, 2*c + z = 10016. Is 36 a factor of c?
False
Let g = -1769 - -1766. Suppose -5*f + 3 + 34 = -4*s, 3*f = 4*s + 27. Is 2*(g - (-85)/f) a multiple of 15?
False
Let n(k) = -32*k - 4. Suppose -4 = -4*q + 24. Suppose -6*z - q = 5. Is n(z) a multiple of 6?
True
Let d = 33 + -42. Let t be 2/9 - (-2)/d. Suppose t = 7*x - 12*x + 1135. Is x a multiple of 20?
False
Let o be (-4 - -1)/((-54)/58356). Does 10 divide o/18 - 8/72?
True
Let b(r) = -r**2 - 12*r - 15. Let l be b(-10). Let n = l - 1. Suppose -n*y + 7 = -45. Does 7 divide y?
False
Let q(h) = h - 14 + 612*h**3 - 306*h**3 - 5*h**2 - 307*h**3. Is 17 a factor of q(-8)?
True
Suppose 0 = 1191*n - 1170*n + 42. Let m be (-2)/2 + -5 + -2. Does 5 divide n/6 - m/6*4?
True
Suppose -43*f + 41*f + d + 12530 = 0, -3*d = -3*f + 18801. Is 71 a factor of f?
False
Let c(p) = -p**3 + p + 2935. Is 60 a factor of c(0)?
False
Suppose -18*v - 117 = -31*v. Let s(r) = 99*r + 54. Does 21 divide s(v)?
True
Let a = 259 + -161. Suppose 5*l + a = 12*l. Suppose 2*x - 4 = -4*o, -5*x - 3*o + l = 4. Does 2 divide x?
True
Suppose -2*c - 5*q = -34148, 0 = -8*c + 3*q + 9333 + 127167. Is 19 a factor of c?
False
Let w = 190 + 780. Does 97 divide w?
True
Suppose 4*m - 23 - 37 = 0. Let g(p) = 2*p - 28. Let s be g(m). Let a(x) = 13*x**2 - 2*x + 2. Does 5 divide a(s)?
True
Let j(t) = -2*t**3 + 10*t**2 - 8*t - 15. Let p(h) = -6*h**3 + 19*h**2 - 16*h - 29. Let w(z) = -7*j(z) + 3*p(z). Does 8 divide w(-6)?
False
Let t(h) = 3*h**3 + 31*h**2 + 9*h + 1. Let i be t(-10). Suppose -30 = 8*g - i*g. Suppose -201 = -0*b - 5*b + 3*u, 5*u = -g. Is b a multiple of 13?
True
Suppose 3*x - 3*h - 33 = 0, 4*x - h - 48 = -19. Let y(m) = m - 2. Let b be y(6). Suppose 270 = -b*c + x*c. Is 21 a factor of c?
False
Suppose -22*v + 26*v + 4*x = 5144, 0 = -2*v - x + 2574. Is 8 a factor of v?
True
Suppose 30148 = 3*q + 5*x, 23*q = 25*q - 2*x - 20104. Does 386 divide q?
False
Let k(o) be the first derivative of -o**2 + 72*o + 79. Is k(-3) a multiple of 6?
True
Let c(w) = 3*w**2 - 4*w - 19. Let y(m) = -m**2 + m + 1. Let z(j) = c(j) - 2*y(j). Is 6 a factor of z(5)?
False
Suppose -5*d - 4*o = -12857, -o = -5*d + 4502 + 8315. Is d a multiple of 171?
True
Let d(t) = t**3 + 6*t**2 - 3*t + 12. Let n be d(-7). Let k be (n/5)/(6/150). Does 40 divide (k/(-6))/(-2 + 7/3)?
True
Let t(u) = -20*u - 20. Let c = 8 - 6. Suppose d - 19 = c*o, -d = -5*d - 12. Is 47 a factor of t(o)?
False
Suppose 0*i + 20 = 4*i, -i - 9 = -2*j. Suppose 2*l = -j*l + 45. Suppose l*g = -0*g + 200. Does 20 divide g?
True
Let q(z) = 3*z - 43. Let a be q(16). Let f be (-1)/2 - 18/(-4). Suppose -s - 53 = -4*l + 47, f*s - 125 = -a*l. Is 13 a factor of l?
False
Let c(l) = -l**3 - 31*l**2 - 3*l + 42. Let a = 129 - 160. Does 45 divide c(a)?
True
Suppose 2*p - 9*x + 5*x = -18, -5*x - 36 = 2*p. Let a be (p/13 - 18/(-10))*210. Is 17 a factor of a/(-6)*(-1 + 0)?
False
Let f(q) = -q**3 + 6*q**2 - 7*q + 4. Suppose 5*h + 24 = 11*h. Let z be f(h). Suppose z*d - 17 = 119. Is d a multiple of 17?
True
Let s(g) = -g**3 + 37*g**2 + 32*g + 56. Is 7 a factor of s(37)?
False
Let l(s) = s**2 - 2*s + 5. Let q be l(0). Suppose 0 = -2*m + q*m - 582. Let r = m - 101. Is 28 a factor of r?
False
Let b(k) = k**3 + k**2 - 45*k - 17. Let c be b(-7). Suppose 0 = -c*w + 2*r + 260, 0 = 4*w - 4*r - 381 + 125. Is w a multiple of 10?
False
Let z(l) = -5*l**3 + 28*l**2 + 41*l + 13. Let y(n) = -2*n**3 + 9*n**2 + 14*n + 4. Let g(p) = 17*y(p) - 6*z(p). Does 13 divide g(-4)?
False
Let i be (-8)/(-4) - (3 + -6). Suppose -i*m = 2*m - 6*m. Suppose -5*z - 454 + 1549 = m. Does 30 divide z?
False
Suppose 16*p = 24*p + 2232. Let b = p - -456. Is b a multiple of 33?
False
Let b = -1699 + 3547. Is b