2 + 3498. Is z a multiple of 14?
True
Suppose 2*j + 11*j = 5642. Is j a multiple of 13?
False
Suppose -8 = -2*p + 3*l + 2*l, -2*p - 2*l = -8. Suppose -18 = -p*y - 90. Does 3 divide (27/(-81))/(2/y)?
True
Does 13 divide (16/10)/((-18)/(-28080))?
True
Let q = 8842 - 5098. Does 13 divide q?
True
Let v be 5/15*(38 + 1). Let q = v - 15. Does 5 divide 25*q/(-4)*2?
True
Suppose -13*g + 120 = 3. Does 3 divide g?
True
Suppose 9*c + 1710 = 14*c. Suppose 0 = 5*j + 2*b - c + 120, -4*j - 4*b = -180. Is 11 a factor of j?
True
Suppose 4*w - 6 - 2 = 0. Suppose 0*g = w*g - 10. Suppose y + g*o - 66 = 0, 2*o + 69 + 195 = 4*y. Does 20 divide y?
False
Suppose u + 4 = -x + 2*u, 4*x + u = -36. Let o(p) = 2*p**2 + 13*p + 11. Let w be o(x). Let c = w - 5. Does 30 divide c?
True
Suppose 3*q = -5*k - 28, 0 = 4*k - 2*k - 5*q + 36. Let t(l) = 196*l**3 + l**2 + 2*l + 1. Let h be t(-1). Is (k/16)/(2/h) a multiple of 12?
False
Let q be (0 + 6)/((-4)/2). Let j be (-2)/((-34)/(-10) + q). Let m(t) = t**2 + 3*t + 2. Is m(j) a multiple of 4?
True
Suppose 3*z - p = 890, 5*z + p - 1498 = -p. Is z a multiple of 6?
False
Suppose -3*u = -14 + 62. Suppose 67 = -6*h - 53. Let j = u - h. Is 4 a factor of j?
True
Suppose -92 = -6*a - 2. Suppose 3*m + p - 15 = 3*p, p - a = -3*m. Does 5 divide m?
True
Let n be ((-52)/(-10))/(4/(-20)). Let c = n + 29. Does 29 divide (-1)/((-4)/(345 + c))?
True
Let d(a) = 1728*a**3 - 2*a**2 + 58*a - 56. Does 10 divide d(1)?
False
Let t(z) = -z**3 + 5*z**2 + 3*z - 12. Let f be t(5). Let p = f - -47. Is p a multiple of 27?
False
Suppose 4*q + 4*v - 224 - 7264 = 0, -4*v - 1882 = -q. Is q a multiple of 91?
False
Suppose l + 4*p = 336, 5*l - 1843 = 3*p - 71. Let x = l + -200. Is x a multiple of 9?
False
Let r = -94 - -32. Let t = r + 96. Is t a multiple of 16?
False
Let u be -211 + (0 - -3) + 4. Let i = u + 288. Is i a multiple of 14?
True
Suppose -3*x = -15, -21 = -y - 0*x - 3*x. Suppose -714 = -0*c - y*c. Is 17 a factor of c?
True
Let p be 38/4 - 3/(-2). Suppose -2*w = p - 177. Let x = -50 + w. Is x a multiple of 11?
True
Suppose -8170 = -26*k - 12*k. Does 15 divide k?
False
Suppose -93*d + 89*d + 5912 = 4*w, -2*w + 3*d = -2951. Is w a multiple of 6?
False
Does 13 divide (-8 - -73)*54/15?
True
Suppose 0 = -2*w - o + 115, -5*o - 14 = -39. Is 11 a factor of w?
True
Let v be 4/(-6)*(-2 - 4). Suppose 5*j - 6 = -4*x, 2 = -2*j - x + 5. Suppose -58 = -v*u - j. Is 3 a factor of u?
False
Suppose 12*r - 43 = 11*r. Let v = -25 + r. Does 2 divide v?
True
Suppose 0 = 3*t - 4*t - 16. Let y(b) = 6*b - 6. Let j be y(-7). Let l = t - j. Is l a multiple of 8?
True
Let i(a) = -a**3 - 6*a**2 + 22*a + 13. Let y be i(-9). Suppose y = 2*n + 3*z - 26, 4 = z. Is n a multiple of 6?
True
Let f(n) = 32*n**3 + 7*n**2 + 7*n - 23. Is f(3) a multiple of 16?
False
Let d = 535 + -333. Is 101 a factor of d?
True
Let f = 19 + -15. Suppose f*m - 2*m + 3*a - 120 = 0, 3*m - 186 = -3*a. Is 11 a factor of m?
True
Let x(s) = 6*s**3 + 9*s**2 - 15*s + 11. Let h(g) = g**3 - g. Let j(b) = -5*h(b) + x(b). Let t be j(-10). Let m = t + -4. Is 7 a factor of m?
True
Suppose 6*m = 6774 + 4182. Is m a multiple of 18?
False
Let n(m) be the second derivative of -29*m**3/6 + m**2 - 3*m. Let b(k) = -k**3 - 3*k - 2. Let i be b(0). Is 12 a factor of n(i)?
True
Let y = 592 - 364. Suppose 4*x - y = -60. Is x a multiple of 20?
False
Let o(d) = 3 + 4*d**2 - 2*d - 3*d + 2 + d**2. Is o(2) a multiple of 5?
True
Let q(v) = v**2 - v + 2. Let s(r) = -2*r - 8. Let b be s(-4). Let u be q(b). Suppose 0 = u*d + 4*x - 142, 0 = -4*x + 6 + 14. Is d a multiple of 16?
False
Suppose 230 = 3*q - 31. Let z = q - 46. Let v = z - 12. Does 15 divide v?
False
Let a(z) be the first derivative of -35*z**3/3 + z**2 - 5*z + 4. Let h be a(5). Is 22 a factor of ((-1)/(-2))/((-5)/h)?
False
Is 23 a factor of (13 + 95)/12 + 2851?
False
Suppose -4*s + 955 = y, -5 = -3*y + 4*y. Is s a multiple of 48?
True
Let f(h) = -2*h + 17. Let t be f(-15). Suppose 2*m - t = -5*r, -38 = 5*m + r - 98. Let c = m + 21. Is 8 a factor of c?
True
Suppose -5*o + 2363 = 12*o. Is o a multiple of 7?
False
Let o(d) be the second derivative of d**5/20 + 17*d**4/12 + 5*d**3/2 - 11*d**2/2 - 18*d. Is 3 a factor of o(-16)?
False
Let j(a) = -a + 12. Let i be (-12 + -1 + -1)*6/4. Does 7 divide j(i)?
False
Let c(s) = -148*s**3 - 2*s**2 - 3*s + 3. Let f be c(1). Let k = f + 221. Is 6 a factor of k?
False
Suppose -b + 5 = -q - 35, -176 = -4*b - 4*q. Is 448/b*(2 - 11/(-2)) a multiple of 14?
False
Let o be 600*((-45)/(-10) - 4). Suppose 0 = -g - 4*g + o. Is g a multiple of 12?
True
Let t be 1002/(-10) + 13/65. Let s = 196 + t. Is s a multiple of 8?
True
Suppose 0*o = -3*o + 3*z, 0 = 3*o + 5*z. Suppose 3*x = -o*x + 6. Is (0 - 10)*(-3)/x a multiple of 4?
False
Let s = 111 - 120. Is 4 a factor of ((-6)/10)/(s/10)*36?
True
Let i be 2/6*(-3 + 4)*-9. Is 5*i/(-10)*60 a multiple of 18?
True
Let v(w) = w**3 + 10*w**2 - 3*w - 12. Suppose 2*y + 3*g = -y - 42, 20 = -5*g. Let c be v(y). Let l = 23 - c. Is 5 a factor of l?
True
Let v = 45 + -47. Is 11 a factor of ((v - -3)/(-1))/(2/(-44))?
True
Let l = -16 + 18. Suppose 4*w - 2*w + 43 = 5*i, 0 = -w - 4*i - l. Is (14/5)/(w/(-35)) a multiple of 2?
False
Let c(u) = -u**3 - 2*u**2 + 10*u + 9. Let i be c(-6). Is (i/2)/((-24)/(-16)) a multiple of 25?
False
Suppose 0 = -5*m + 4 + 6. Suppose 3*h + 11 = m. Is 29 a factor of 3/(-18)*58*h?
True
Let w(y) = 1 - 3 - 2 + 3 + 57*y. Let s be w(7). Suppose -2*x = -a + 38 - 197, 0 = -5*x + 2*a + s. Is x a multiple of 20?
True
Suppose -3*k + 99 = -0*k. Let u = 42 - k. Is u a multiple of 7?
False
Let i = -415 - -261. Let o = -19 + -3. Is 4/o + (-1876)/i a multiple of 6?
True
Suppose 10 = -0*a + 5*a - 4*f, 3*f + 7 = 4*a. Let s = 5 + a. Suppose 34 = 5*y - 4*y - 2*b, s*y - 2*b - 82 = 0. Does 6 divide y?
True
Suppose -101639 = 34*u - 274937. Does 157 divide u?
False
Suppose l = -4*l - 10, 54 = -2*u - l. Let j(f) = f**3 + 26*f**2 - f - 2. Is j(u) a multiple of 4?
True
Let n = 5 - -4. Let c = -422 - -429. Does 17 divide c*n - (-2 + 0)?
False
Suppose 8*j - 183 - 41 = 0. Let n(o) = 3*o + 1. Let s be n(-1). Let c = j - s. Is c a multiple of 15?
True
Let o = 11 + 3. Let v = o + -4. Let f = v + -2. Is f a multiple of 2?
True
Let q be 18/(-24)*(-5 - -1). Suppose -q*h = -h + 54. Is h/(-18) - (-37)/2 a multiple of 6?
False
Let m(l) = -3*l - 10. Let n(q) = q - 2. Let y be n(-2). Let f be m(y). Suppose 4*w + 4*j = 8*j + 256, f*j = -8. Is 20 a factor of w?
True
Let s be 2302/16 + 11/88. Suppose -3*i + s = i. Does 18 divide i?
True
Let s be 3 - -14*(-3 + 2). Let p = s - -34. Does 8 divide p/3 + (-1)/(-3)?
True
Suppose 0 = -12*t + 3692 - 812. Does 24 divide t?
True
Suppose 74*d - 14035 = 1801. Is d a multiple of 26?
False
Let y(i) be the first derivative of 11*i**3/3 + 3*i**2/2 + 2*i - 13. Does 23 divide y(-3)?
True
Let b(a) = 22*a**2 + 3*a - 8. Let k be b(4). Suppose -3*j - 364 = -5*j - n, -2*j + n + k = 0. Is j a multiple of 11?
False
Suppose 4*u - 234 + 38 = 0. Let r = u + -13. Suppose -5*g = -w - 72, -3*g - 2*w = -r - 2. Is 7 a factor of g?
True
Let o(j) = 3*j**2 + 13*j + 20. Let t be o(-8). Suppose 2*c - t - 122 = 0. Is c a multiple of 18?
False
Let b(x) = x**2 - 4*x + 23. Is b(-9) a multiple of 20?
True
Let z(r) = 4*r**3 + r**2 - 11*r - 3. Is 8 a factor of z(3)?
False
Let t be (1*(-1 - -1))/(-5 - -7). Suppose 2 = -t*j + j. Is 2 a factor of j?
True
Let v be ((-4)/(-3) + -1)/(6/54). Suppose -v*c - 4 = -112. Does 4 divide c?
True
Suppose 0 = -2*d + 2*h + 6, h + 2*h = 2*d - 6. Suppose d*j - 18 = o, 3*o + 4*j = -3 + 1. Let q(u) = u**3 + 8*u**2 + 7*u - 4. Is 13 a factor of q(o)?
True
Let p = -449 - -568. Is p a multiple of 6?
False
Let h(w) = -2*w**3 + 3*w**2 + 10*w - 2. Let z(r) = -r**3 + r**2 + 4*r - 1. Let m(x) = 3*h(x) - 7*z(x). Let v = -1 + 4. Is m(v) a multiple of 26?
True
Let x(c) = 7*c**2 - 18*c + 10. Let o(b) = 13*b**2 - 35*b + 21. Let f(w) = 6*o(w) - 11*x(w). Let l be f(11). Suppose 152 = l*h - 3*h. Does 18 divide h?
False
Suppose 23 = 5*y + 3. Suppose -y*n + 0*n - q + 696 = 0, -3*n + q + 529 = 0. Does 35 divide n?
True
Suppose 3*p - 22 = 1076. Is p a multiple of 41?
False
Let f = -67 - 13. Let a = 148 + f. Suppose 3*q - a = 28. Is 7 a factor of q?
False
Let g = -4 - -9. Suppose 0 = g*b - 219 - 31. Does 21 divide (b/(-15))/(1/(-18