r of f?
False
Suppose -590 = -3*p - 2*u + 272, -4*u = -2*p + 564. Suppose -5*x - 86 + p = 0. Does 15 divide x?
False
Let g(d) = -7*d + 67. Does 4 divide g(5)?
True
Suppose 3*x - 90 = -36. Is 2 a factor of x?
True
Let s(h) = -5*h**3 + 33*h**2 + 3*h + 3. Let b(g) = -2*g**3 + 16*g**2 + g + 1. Let p(c) = 7*b(c) - 3*s(c). Does 24 divide p(-13)?
True
Suppose 5*w - 17 = -2. Suppose w*q = 169 + 11. Suppose -s = s - q. Is s a multiple of 11?
False
Let g(o) = 5*o + 1. Let u be g(1). Let r(c) = -c + 7*c + u - 7*c. Does 6 divide r(-7)?
False
Suppose -3*y - y = 4*m + 4, 4*m = 5*y - 13. Let b(g) = -4*g + 3*g + 1 + 0 + g**2. Does 7 divide b(m)?
True
Suppose -110 = -4*r - 2*a, -3*r - 3*a + 69 + 18 = 0. Is r a multiple of 5?
False
Suppose 0 = 5*g - g. Suppose b = -s - g*b + 8, 0 = 5*s - b - 16. Is 4 a factor of s?
True
Let o(m) = 53*m**3 - 2*m**2 + 2*m - 1. Let z be o(1). Suppose -h + 5 = -z. Does 19 divide h?
True
Suppose 2*r - 6*r - 36 = 0. Let n = -5 - r. Suppose k = n*u, k + 2 = -4*u + 26. Is k a multiple of 6?
True
Is 10 a factor of 3 - (-1)/(2*(-3)/(-702))?
True
Let b(q) = -15*q**3 + q**2 + 1. Let x be b(-2). Suppose -x = -2*j + 7*j. Let v = j - -36. Is 5 a factor of v?
False
Let t = 26 + 17. Is t a multiple of 13?
False
Let m(x) = -2*x**3 - 8*x**2 + 11*x - 4. Let d(i) = 3*i**3 + 17*i**2 - 23*i + 9. Let z(f) = -3*d(f) - 5*m(f). Is z(10) a multiple of 9?
False
Let a = 55 - 51. Is a a multiple of 2?
True
Let i be (2 + 0)*-1 - -1. Is -2 - i - (-12 + 4) even?
False
Suppose -2*j = 3*j - 30. Suppose -5*f + 26 = j. Suppose -i - 3*y + 10 = 0, i + 4*y + y - f = 0. Does 15 divide i?
False
Let p = -115 + 174. Is p a multiple of 5?
False
Let n = 187 + -57. Is n a multiple of 42?
False
Let w be 1/(-3) + 7/21. Does 19 divide -1*19*(-1 - w)?
True
Let c(r) be the first derivative of -25*r**4/24 - r**3/2 + 3*r**2/2 + 3. Let x(b) be the second derivative of c(b). Does 23 divide x(-2)?
False
Let n(z) = z**3 + z**2 + z - 2. Is n(2) a multiple of 6?
True
Suppose c = -c + 22. Suppose o - c = 35. Does 23 divide o?
True
Let x(v) = 2*v + 2*v - v**2 + 5*v + 2*v + 11. Does 6 divide x(10)?
False
Suppose -387 = 4*z - 1371. Is z a multiple of 41?
True
Does 13 divide 55/4 + (-51)/68?
True
Let k(t) = -t + 2. Let b be k(0). Suppose -b*u = 2*u. Suppose 5*n + 0*n - 60 = 2*w, 4*n + 3*w - 25 = u. Is n a multiple of 5?
True
Suppose -7*y + 124 = -5*y. Does 17 divide y?
False
Is 3 a factor of (-2)/6 - (-387)/27?
False
Is ((-408)/(-40))/((-3)/(-15)) a multiple of 12?
False
Let l(a) = -a**2 + 8*a + 8. Let m be l(7). Suppose -6*p = -p - m. Suppose -16 = p*w - 49. Is w a multiple of 8?
False
Let d(t) = 3*t + 7. Let g be d(5). Does 4 divide 260/g + (-10)/(-55)?
True
Suppose -3*k = -2*k - 30. Let q = -20 + k. Does 5 divide q?
True
Let z be -6*(-3)/(-4)*-6. Let v = 39 - z. Does 2 divide v?
True
Suppose -5*u = f - 6 - 1, -45 = -3*f - 3*u. Suppose -f = -2*d + 11. Is d a multiple of 14?
True
Suppose 0 = -2*t - 0 + 54. Let r = t + -6. Is 12 a factor of r?
False
Let c(r) = -r**3 + 3*r**2 + 6*r - 6. Let p be c(4). Suppose -6 = -2*y + p, g - 3*y = -10. Suppose 0 = -6*u + g*u + 192. Is 24 a factor of u?
True
Let p(b) = -8*b + 2. Let o = 29 - 20. Let x be p(o). Let g = x + 108. Does 19 divide g?
True
Let c = -14 + -41. Let o = 83 + c. Does 15 divide o?
False
Suppose 4*d = 2*t + t - 94, 4*t - d = 121. Is t even?
True
Let v(w) = w**2 - w + 4. Let k be v(5). Suppose 2*h + h - k = 0. Suppose -55 = -h*c + 3*c. Is c a multiple of 11?
True
Let q(v) = -3*v + 6. Let m = -19 - 3. Let h(u) = 16*u - 30. Let j(d) = m*q(d) - 4*h(d). Is j(10) a multiple of 8?
True
Let q be 4*(-3)/(-12) + 6. Suppose -u + q = -0*u. Is u a multiple of 7?
True
Suppose m + 2*x = -0*m + 13, x = -m + 11. Suppose -25 = -4*y - m. Suppose -220 = -9*j + y*j. Is 17 a factor of j?
False
Let n(x) = -13*x + 1. Let f(z) = 26*z - 2. Let h(t) = -3*f(t) - 5*n(t). Is h(-1) a multiple of 4?
False
Let h = 4 - -29. Is 11 a factor of h?
True
Let i = -65 - -98. Does 9 divide i?
False
Let r be (2/3)/(5/555). Suppose 5*j + 34 = t, 3*t - j - r = -0*j. Is t a multiple of 12?
True
Let u(p) = -36*p - 49. Does 6 divide u(-5)?
False
Let f = 23 + -19. Is 9 - (-2 + (f - -1)) a multiple of 6?
True
Suppose 0 = 2*h + 10, 4*h - 29 = -3*p - h. Is 18 a factor of p?
True
Suppose 10 - 316 = -6*g. Is g a multiple of 13?
False
Suppose -25*b + 76 = -23*b. Does 19 divide b?
True
Let g = -7 - -12. Suppose -5*f + g*q = -175, 5*q - 205 = -6*f + f. Does 19 divide f?
True
Suppose r = -17 - 5. Suppose -4*y = -2*k - 5 - 139, 2*y - 72 = 5*k. Let h = r + y. Does 7 divide h?
True
Suppose -2*h - 21 = -3*t, 28 = 4*t - 0*t + 4*h. Let v(c) = -c**2 + 11*c - 8. Does 10 divide v(t)?
True
Let l be 4*(1 + 0)/2. Let a be (8/20)/(l/20). Let k(t) = t**2 - 4*t + 6. Is 6 a factor of k(a)?
True
Let i(t) = 7*t - 1. Let d be i(6). Suppose 4*o = d - 5. Is o a multiple of 4?
False
Let f(d) = d**3 + 7*d**2 - 4*d + 8. Does 6 divide f(-4)?
True
Suppose 6 = 2*r - 4. Suppose -r*c + 24 = u, 4*u - 3*u + c = 24. Does 8 divide u?
True
Suppose l = 0, 4*l = -4*q + 21 + 11. Let c(h) = h**3 - 5*h**2 - 9*h - 3. Let j be c(q). Suppose -5*a = 4*r - 115, 4*r + a + 2*a = j. Is 15 a factor of r?
True
Suppose -2*d = 2*d - 356. Is d a multiple of 13?
False
Suppose -3*m - 2*q - 15 = 0, -2*q + 6*q + 20 = -4*m. Let x = 3 + m. Is (4/x)/(2/(-27)) a multiple of 15?
False
Let c(l) = -l + 1. Let b(h) = -5*h**2 + 8*h - 4. Let n(p) = -b(p) - 6*c(p). Let i be n(-4). Suppose i = d + d. Is d a multiple of 16?
False
Let j(m) = -3*m + m**2 - 5*m - 9 + 0*m**2. Is 6 a factor of j(10)?
False
Suppose 3*z - 3*p = 12, -5*z - 3*p + p = -27. Suppose x = -0*x + z. Suppose -y - 4*d + 12 + 46 = 0, 0 = -y + x*d + 13. Does 19 divide y?
True
Let d be (-4)/1*(-54)/24. Suppose 5 = l - 5*f, 0*f - 3 = 4*l + 3*f. Suppose -x + 4*x - d = l. Is 3 a factor of x?
True
Let n(b) = 2*b**2 + 2*b - 2. Let a be n(-2). Suppose 2*u - 20 = a*q + 22, 93 = 4*u - q. Is 6 a factor of u?
True
Suppose -4*k + 2*c = -c - 1003, 5*c - 222 = -k. Is 13 a factor of k?
True
Let g(u) = u**2 - 2*u. Let i be g(-2). Let j(p) = -p**3 + 9*p**2 - 5*p + 12. Is j(i) a multiple of 18?
True
Let l = 10 - 7. Let m(q) = q - 4. Let a be m(6). Suppose 0 = 3*o - 15, -8 = -a*k + l*o + 11. Is 13 a factor of k?
False
Let a(j) = 3*j - 24. Is 4 a factor of a(16)?
True
Let h = -3 + 0. Let y = h - -19. Is y a multiple of 5?
False
Let h be (-21)/(-1) - 0/4. Suppose 0 = -3*j + 2*x + 74, -2*j + 43 = -5*x - h. Is j a multiple of 13?
False
Suppose 568 = -2*x + 6*x. Suppose 4*y + 194 = 2*s, s - x = 5*y - 39. Does 31 divide s?
True
Suppose 3*b - 203 = 5*d - 699, -d - b = -96. Does 21 divide d?
False
Let h be ((-3)/12)/((-1)/4). Suppose 0*r - h = r. Let s = r + 26. Is 10 a factor of s?
False
Let v(p) = 17*p + 7. Is 7 a factor of v(2)?
False
Suppose -920 = -4*i + 384. Let v be i/1*2/4. Let n = v + -104. Does 20 divide n?
False
Suppose 3*a - 6 = a. Suppose 20 = a*t + 2. Suppose 2*o = t + 18. Does 6 divide o?
True
Let n = -35 + 17. Is 3/(-1*2/n) a multiple of 11?
False
Let t = -15 - -36. Let n = 2 - 2. Suppose -2*u + t = r, n*u - 39 = -3*u - 4*r. Is u a multiple of 9?
True
Suppose -g = 3*g + 12, -3*g - 849 = -5*f. Suppose -5*q + f = t - 38, 0 = -q + 5*t + 62. Does 15 divide q?
False
Let o = 232 + -93. Is o a multiple of 24?
False
Suppose -3*d - 4 = j - 2*d, 0 = -3*d - 9. Let r be j/(-2)*2*2. Suppose -2*m + 3*m + 3*w = -11, -m = -r*w - 14. Is 4 a factor of m?
True
Let y(v) = 7*v**3 - v**2 + 2*v + 5. Does 36 divide y(3)?
False
Suppose 2457 = 8*h + 657. Does 25 divide h?
True
Let d(h) = -h**3 + 12*h**2 - 2*h - 11. Is d(5) a multiple of 12?
False
Let c = -33 - -96. Let p = -42 + c. Suppose -2*q - b = -p, b - 32 = -5*q + 2*q. Is q a multiple of 11?
True
Let p(b) = 5*b**2 - 2*b + 3. Let r = -4 - -7. Let h be p(r). Suppose 2*j - h = j. Is 14 a factor of j?
True
Suppose k + 2*k = 132. Let i = -22 + k. Let b = i - 13. Is b a multiple of 7?
False
Let w(n) = 4*n + 0 - 28*n - 3. Is 20 a factor of w(-2)?
False
Let c = 18 + -11. Let s = 3 + c. Is 5 a factor of s?
True
Let s = 4 + 7. Is s a multiple of 3?
False
Let z be (-1)/3*(0 - 3). Let t(r) = -z + 5 + 11 - 6*r - 5*r + r**2. Is t(12) a multiple of 17?
False
Let l = 22 + 21. Is 6 a factor of l?
False
Let l(s) = -s - 6. Let b be l(-10). Suppose -b*c = 8 - 24. Is c even?
True
Let c(i) = 2*i