*n, -5*l + 4214 = 2*n - 7535. Does 13 divide n?
False
Let g = -1483 - -2635. Is 18 a factor of g?
True
Let t(w) = 15*w**3 + w**2 + 6*w - 1. Let q be t(3). Suppose 0 = -4*h - 43 + q. Is h a multiple of 13?
False
Suppose 47*h = 37*h + 4320. Is h a multiple of 27?
True
Let c be ((-18)/27)/(1/6). Let p(z) = 3*z**2 + 9*z + 6. Is 6 a factor of p(c)?
True
Does 14 divide 280497/114*(-8)/(-14)?
False
Let m = 40 - 72. Is 13 a factor of ((-76)/7)/(m/112)?
False
Let f = 120 + -68. Suppose -2*a = 3*z - f + 5, -2*z - a + 30 = 0. Let i(m) = m**2 - 12*m - 7. Does 6 divide i(z)?
True
Suppose 3*l - 4*h + 6 - 1 = 0, -l + 5*h = -2. Let k(q) = -q**3 - 2*q**2 - 6*q + 3. Is k(l) a multiple of 11?
False
Suppose -5*w = -15, 4*t + 3*w + 184 = 513. Does 5 divide t?
True
Let g = -25 + 17. Let m(c) = -c**3 - 7*c**2 + 7*c + 1. Let j be m(g). Suppose w - j = 55. Is 13 a factor of w?
False
Is 680/(28/(-21) - -2) a multiple of 34?
True
Suppose -3*b - 5*g = 16 + 84, g + 5 = 0. Let x = 41 - b. Is 22 a factor of x?
True
Let o be (-1 - (-1 + 4)) + 6. Let t(g) = 5*g**3 + 2*g**2 - g + 2. Does 12 divide t(o)?
True
Let t = 493 + 1158. Does 13 divide t?
True
Suppose -17*c - 694 = -3193. Does 3 divide c?
True
Let d(j) be the first derivative of j**4/4 - j**2/2 + 24*j - 7. Does 5 divide d(0)?
False
Let o be 4/6*-3 + 44. Suppose -678 - 582 = -21*l. Let d = l - o. Is 8 a factor of d?
False
Suppose 0 = -19*b + 8345 - 1372. Does 4 divide b?
False
Let j(w) = 3*w**3 + 30*w**2 + 33*w + 1. Let b = -8 - -16. Let u(o) = o**3 + 10*o**2 + 11*o. Let c(f) = b*u(f) - 3*j(f). Does 4 divide c(-9)?
False
Let w = -282 - -358. Is 19 a factor of w?
True
Let r = -1713 - -2934. Is 33 a factor of r?
True
Let o be (-2)/(-2 + (-16)/(-10)). Let h(b) = b**3 - 13*b**2 + 11*b + 16. Let n be h(12). Suppose -17 = -c + o*x, 5*c - n*x = 33 + 157. Is c a multiple of 18?
False
Suppose o + 3*a - 8*a = 17, 0 = 3*o - 4*a - 62. Let j = -19 + o. Does 3 divide j?
True
Suppose 0 = -2*n + 5*z + 11, -2*n - 2*z + 11 = -7. Is 2 a factor of 2/n + (-77)/(-28)?
False
Suppose -294 = c - 4*c. Is 3 a factor of c?
False
Is 19 a factor of 38/((-3)/(-78)*2)?
True
Let q = 1821 - 1772. Is 7 a factor of q?
True
Let h(g) = -g**3 - 4*g**2 + 2*g + 3. Let o be h(-3). Is 117/12 + 9/o a multiple of 6?
False
Let k(p) = 5*p**3 - 13*p**2 - 4*p + 16. Let g(d) = -4*d**3 + 12*d**2 + 5*d - 15. Let b(x) = -6*g(x) - 5*k(x). Does 21 divide b(-7)?
False
Let i be (55 + 3)*2/4. Let c = -14 - -8. Let g = c + i. Is 7 a factor of g?
False
Let l be 1/2*22 - -2. Let i(x) be the first derivative of -x**3/3 + 15*x**2/2 - 12*x - 11. Is 3 a factor of i(l)?
False
Let c(t) = t**3 + 8*t**2 + 8*t + 3. Let s be 29/(-5) - 2/10. Let z be c(s). Suppose 0 = -k + z + 18. Is k a multiple of 10?
False
Let a(b) = 2*b**3 - 30*b**2 - b + 31. Let r(g) = -g**3 + 15*g**2 + g - 15. Let f(x) = 4*a(x) + 7*r(x). Is 32 a factor of f(15)?
True
Is -108*1/((-3)/20) a multiple of 14?
False
Let w = 5 + -62. Let l = -40 - w. Let p = -12 + l. Is p even?
False
Suppose 0 = 2*m + 61 - 55. Let w(u) be the first derivative of 3*u**3 + u**2 + 5*u - 2. Is 20 a factor of w(m)?
True
Let a(b) = -16*b - 44. Is a(-68) a multiple of 18?
True
Let r(s) = s**3 + 8*s**2 - 10*s - 7. Let v be r(-9). Suppose -2*m - v*j = -94, -3*m - 53 = j - 188. Is m a multiple of 22?
True
Let b be (4 - 2 - -2) + 45. Suppose -b = j - 2*j. Is 16 a factor of j?
False
Suppose 4 = 2*p - 4*o - 14, 4 = -4*o. Does 5 divide (p - 10)*(1 - 14)?
False
Is 13380/45 + 8 + (-1)/3 a multiple of 27?
False
Let n be 70/(-5 - (4 + -8)). Let g = n - -142. Is 7 a factor of g?
False
Let x be ((-5)/(-5))/(3 - 4). Let h be 2*(-143)/(-2) - x. Suppose 0*k + 4*k - h = 0. Is 8 a factor of k?
False
Let a = -27 + 26. Let f be a/(-4 + 7/2). Suppose 2*p + 98 = 6*p - f*t, 5*p + 5*t = 115. Is p a multiple of 3?
True
Is 19 a factor of ((-3)/(-10)*62)/((-247)/(-23465))?
True
Suppose s + 21 = -4*a, -s - 3*s = 5*a + 40. Is 3 a factor of 80/3 + 3 + a/6?
False
Suppose 15*d + 8*d - 2231 = 0. Is d a multiple of 7?
False
Let u = 4275 - 2082. Is 17 a factor of u?
True
Suppose -4*i - 5382 = -22*i. Is 79 a factor of i?
False
Let x be (3/(-1) + 4)*2. Suppose -i = x*d - 25, -3*i - 16 = -2*d - 3. Is 11 a factor of d?
True
Suppose -9 + 15 = 3*o. Is 5 a factor of (20 + -3)*o + 5?
False
Suppose 2*l + 5*n - 1205 = 0, 4*l - 708 - 1667 = -3*n. Does 36 divide l?
False
Let t(p) = 11*p - 3. Suppose m - 6 = -s, 3*m = -2*s + s + 10. Let n be t(s). Suppose -2*x = -r + n, 5*x = 5*r - 100 - 85. Is r a multiple of 11?
True
Suppose 60 = -37*f + 42*f. Suppose 9*c + 189 = f*c. Does 15 divide c?
False
Let f(c) = -c**3 + 66*c**2 - 55*c + 145. Is 35 a factor of f(65)?
False
Suppose 0 = -5*d + 2*f + 412, 249 = 3*d - 3*f - 0*f. Suppose 2*x = -0*x + d. Suppose r + x = 4*i - 4*r, 0 = i - r - 10. Is i a multiple of 2?
False
Let z(o) = -o**2 - 17*o - 6. Let k be z(-19). Is (-39)/(-13)*k/(-3) a multiple of 4?
True
Let a be -6 + (1 - -2) - 0. Let x be a - (-16)/2 - 3. Suppose 13 + x = 3*h. Does 5 divide h?
True
Let u(y) = 2*y + 6. Let r be u(5). Let d(m) = -m**2 - 2*m - 2. Let l be d(0). Let c = r - l. Does 7 divide c?
False
Let u(t) = -5*t + 17. Let y be u(-9). Suppose 2*h = 2*s + 64, -4*s = h + s - y. Is 37 a factor of h?
True
Let d(t) = -2*t**3 + 147*t**2 - 69*t - 152. Does 12 divide d(73)?
False
Let k = -10 + 10. Suppose k = -2*q + 3*m + 282, 3*m + 156 + 396 = 4*q. Is q a multiple of 15?
True
Is (5408/(-24) + 0)/((-2)/3) a multiple of 2?
True
Suppose 0*q - 5*q - 3*p = -198, -5*q = 4*p - 194. Is 8 a factor of q?
False
Suppose 3*g - 3*s - 25 = 1700, -5*s + 5 = 0. Is 12 a factor of g?
True
Let z(t) = 3*t**2 + 15*t - 12. Let o be z(-11). Suppose -184*c = -o*c + 236. Does 13 divide c?
False
Let t(u) = u**3 + 6*u**2 - 8*u - 7. Suppose 0 = 3*d + 3*d + 42. Let g be t(d). Let s(m) = m**2 - m + 19. Is 19 a factor of s(g)?
True
Let w = -786 - -1332. Is w a multiple of 38?
False
Suppose -3*x + 12 = 5*b, 7*b - 4*x - 13 = 4*b. Suppose -b*i + 3*n = -228, -2*n = -7*n + 20. Does 17 divide i?
False
Let m(h) = 21*h**2 - 117*h - 8. Is m(6) a multiple of 2?
True
Let p be (-8)/(-3)*5/(5/(-18)). Is 5 a factor of (p/28)/(6/(-63) - 0)?
False
Suppose -558 = 2*n - 11*n. Is n a multiple of 4?
False
Let y(s) = s**3 + 7*s**2 + 8*s + 5. Let k be y(-6). Let p(l) be the first derivative of l**2/2 + 16*l + 27. Is p(k) a multiple of 2?
False
Let v be 9/21 + (-22)/(-14). Suppose -v*o + 303 = o. Is 14 a factor of o?
False
Let z be ((-3)/(-6))/((-2)/(-8)). Let r be -1 - -6 - (-4 + z). Does 10 divide (0 - -8)*r/2?
False
Let f(t) = -66*t + 335. Is 11 a factor of f(-20)?
False
Let g be (-2)/7 + (-932)/(-28). Suppose 3*t - 21 = g. Is 18 a factor of t?
True
Let q = -2 - 0. Let j be (-1)/(4/(-8)) + q. Let r = j - -40. Is 20 a factor of r?
True
Is 3 a factor of (-2067)/(-12) - (-3)/(-2 + -10)?
False
Let v(p) = -23*p + 1. Let x be v(-1). Let h be (3 + 3)/(3/x). Suppose h = 4*i - j, 0 = -2*i + 7*i + 5*j - 60. Is i a multiple of 11?
False
Let r(t) = -t**3 + 10*t**2 - 5*t. Let c = 58 - 50. Is 22 a factor of r(c)?
True
Suppose -2*w - 2 = 2. Is 7 a factor of (-270)/(-9) - 2/w?
False
Suppose 3 = -a + 10. Let l = a + 67. Is 19 a factor of l?
False
Suppose m + 2 = -3*d, 4*d - 1 = -2*m - 7. Let i(a) = -1. Let u(r) = 9*r - 4. Let l(o) = d*u(o) - 3*i(o). Is l(4) a multiple of 13?
False
Suppose -4*l - 5 = -21. Suppose -3*r - 29 = 4*y - l, 14 = -2*r - 2*y. Let z = r + 39. Does 18 divide z?
True
Suppose -3*i + 48 = -2*l, -3*l - 3*i - 72 = -i. Does 27 divide 79 + (2/8)/((-3)/l)?
True
Let m be (-1)/2 + 291/6. Suppose -2*u - m = -6*u. Is (162/4)/(6/u) a multiple of 21?
False
Let j(z) = 11*z**2 + 9*z - 3. Let p(v) = -16*v**2 - 13*v + 4. Let s(g) = -7*j(g) - 5*p(g). Does 4 divide s(2)?
False
Let z = 5 - 11. Does 7 divide z/(-27) + (-268)/(-9)?
False
Let g(b) = 2*b**2 - 40*b - 58. Does 57 divide g(30)?
False
Let h(z) = 10*z + 42. Let k be h(-8). Let o = k - -83. Is o a multiple of 45?
True
Let d(x) = 2*x**3 + 21*x**2 + x - 24. Is 7 a factor of d(-9)?
True
Let h(k) = k**2 + 2*k - 3. Let b be h(2). Let l = -4 + b. Is 10 a factor of -5*l/((-4)/32)?
True
Is 26 a factor of 8684/10 - (-99)/165?
False
Does 45 divide ((-390)/(-104))/(3/2268)?
True
Suppose -o + 7 = 4*m, 0*o - o + 11 = 2*m. Is 2*9/o*40 a multiple of 12?
True
Let r = 89 - 29. Is 10 a factor of r?
True
Let p(s) = -