+ 4*c = 76. Let p = 22 + i. Is p a multiple of 3?
True
Let b(i) = -i**2 - 8*i + 14. Let d be b(-10). Is ((-14)/6)/(d/54) a multiple of 21?
True
Let p(z) = -z**3 + 18*z**2 - 17*z - 16. Is 14 a factor of p(16)?
True
Let k(h) = -2*h**2 + 8*h + 6. Let d(i) = i**2 - i - 1. Let s(x) = 3*d(x) + k(x). Let q be s(-3). Is 12 a factor of 0 - (-24 + (q - -2))?
False
Let v(r) be the second derivative of -3*r**3 - 4*r + 2*r**3 + 2*r. Is 12 a factor of v(-4)?
True
Suppose 2*z = 5*x - 60 - 134, 0 = -4*z + 12. Suppose -q + 4*n = -x, -4*q - 7*n + 244 = -2*n. Does 20 divide q?
False
Let z(j) = 14*j**2 - 8*j + 6. Does 5 divide z(2)?
False
Suppose 5*v - 55 = -5*y - 0*y, -3*y + 29 = 5*v. Suppose t - 7 = y. Does 11 divide t?
False
Suppose -x + 124 = 3*x. Is 8 a factor of x?
False
Let y(d) = d**3 - 4*d**2 - 9*d + 2. Suppose 0 = 4*z - 2*p - 30, -2*z - z - 4*p = 5. Suppose -k - 26 = -z*f, 3*k - 3 = 5*f - 21. Is 11 a factor of y(f)?
False
Let v = 9 + -5. Suppose v*l - l - 14 = -2*f, 0 = -4*f - 5*l + 26. Suppose f*n - 26 = 34. Does 15 divide n?
True
Suppose 0 = -4*d + 17 - 5. Suppose -d*c + 16 = c. Suppose 8 = c*t - 60. Is t a multiple of 15?
False
Let r be 9 + (0 - 2)/2. Let z(h) be the second derivative of h**4/12 - h**3 + h. Is z(r) a multiple of 8?
True
Let a be (-4)/(-2) + (-2)/(-2). Suppose -2*y - a = -5*j + 15, 3*j = y + 10. Let u(q) = 2*q**3 - 2*q + 2. Does 7 divide u(j)?
True
Let g(f) = f**2 + 2*f - 3. Let k be g(2). Let p(x) be the third derivative of x**5/30 - x**4/4 + 7*x**3/6 + 4*x**2. Is p(k) a multiple of 8?
False
Let f be 2 - -2 - 20/(-1). Let k = f + -4. Is 6 a factor of k?
False
Let s = -91 + 191. Is s a multiple of 25?
True
Let n be (516/(-10))/(18/(-60)). Suppose s - 5*c + 44 = 2*s, n = 3*s + 5*c. Suppose -3*r + s = r. Is r a multiple of 16?
True
Suppose 0 = -4*o - 0*o + 88. Let j = o - 14. Does 4 divide j?
True
Let n be (-2)/(-8) - (-14)/8. Is 13 a factor of ((-1)/2)/(n/(-140))?
False
Let i be 5/10*(-14 - -2). Let c = -2 - i. Suppose 79 = c*v + 7. Does 9 divide v?
True
Let h be -16*(-3)/12*2. Let f = h + -3. Let w(o) = 5*o - 4. Is 21 a factor of w(f)?
True
Suppose -2*k = k - 726. Is k a multiple of 22?
True
Suppose -8*n + 66 = -2*n. Is n a multiple of 5?
False
Let n be (-3)/3 - 6/(-3). Is 5 a factor of (-2 + 15)*1*n?
False
Suppose -8 = 3*g - 4*r, 6 = -0*g - 5*g + 3*r. Suppose 5*j = -4*b - g*b + 57, 4*j = 3*b - 66. Is 9 a factor of b?
True
Suppose -3*z + 380 = 83. Is z a multiple of 25?
False
Let o = -42 + 84. Let f = o + -27. Is f a multiple of 5?
True
Is (-10 - 0)/(6/(-9)) a multiple of 5?
True
Suppose 6*p - 8*p = -40. Is 5 a factor of p?
True
Suppose -3*w - w + 384 = 0. Suppose -o = 3*o - w. Does 10 divide o?
False
Let z(p) = 56*p**2 - 1. Is 5 a factor of z(-1)?
True
Let n = 9 - -25. Is 11 a factor of n?
False
Let o = -6 - -10. Suppose -2*g = 3*n + 12, -5*n - 22 = -2*g + 6*g. Is n/o*(3 + -21) a multiple of 5?
False
Suppose -2*q = -7*q + 370. Is q a multiple of 20?
False
Let x = -156 + 332. Is 22 a factor of x?
True
Suppose 2*p + 8 = -5*t, p + t - 3 = -1. Let q = 26 - p. Suppose 8 = k - q. Does 14 divide k?
True
Suppose -2*o + 22 + 80 = 0. Is o a multiple of 9?
False
Let i be (-84)/22 + 4/(-22). Let w = 7 + i. Suppose -14 = -w*c + 7. Is c a multiple of 6?
False
Suppose 44 = 5*s - 21. Is s a multiple of 13?
True
Let d(m) = m**2 - 8*m + 7. Let p be d(7). Suppose -4*c = 4*f - 3*c - 97, 3*f - 2*c - 81 = p. Does 10 divide f?
False
Suppose 215 + 1 = 9*r. Is 3 a factor of r?
True
Does 11 divide (-64)/(-6) - (-1)/3?
True
Let r = 65 - -28. Let k = -45 + r. Does 19 divide k?
False
Let m(j) = -6*j. Let r be m(2). Does 3 divide r*(14/6 - 3)?
False
Let l(m) = 0*m - 3 - 2*m + 4. Let u be l(-4). Suppose 0 = -5*f + u + 121. Does 13 divide f?
True
Let p = -15 - -63. Does 16 divide p?
True
Let y be (6 - 4)/(4/30). Suppose 0 = -2*t + 5*q + 29, -3*t + 3*q = -2*t - y. Is t a multiple of 3?
True
Suppose 5*r = -2*x + 34, r - 6*r - 5*x = -40. Suppose -5*c + 34 + r = 0. Suppose 4*g - c = -0, 0 = q + 2*g - 33. Is q a multiple of 16?
False
Let q = -12 + 16. Suppose w + 37 = 2*w - q*u, -4*w - 5*u = -148. Does 11 divide w?
False
Let p be (-75)/(-10)*(-2)/(-3). Suppose p*m - 96 = 34. Is m/((-9)/3 + 5) a multiple of 13?
True
Let w = 96 - 61. Suppose 4*n + 10 = 6*n. Suppose -n - w = -4*d. Is 4 a factor of d?
False
Let a(i) = -i**3 + i**2 + 4*i. Let z be a(3). Let j(v) = 8*v + 3. Let f be j(-4). Let p = z - f. Is 10 a factor of p?
False
Let i = -9 - -13. Suppose 0*l = i*l - 32. Is l a multiple of 3?
False
Let g(z) = -7 + 5*z**2 - 9*z + z + z + z**3. Let d be g(-6). Let h = d + 15. Does 7 divide h?
True
Suppose -8*t + t = -77. Is 4 a factor of t?
False
Let d be -3 + 1 - (0 - 0). Does 4 divide (-54)/(-7) - d/7?
True
Suppose 5*k - 48 = 2*z + z, 0 = 2*k + 2*z - 16. Does 7 divide k?
False
Does 13 divide 29 - (-5)/((-20)/12)?
True
Let t = -250 + 156. Let g = t - -140. Is 23 a factor of g?
True
Let r(x) = -2*x - 4 - 1 - 4*x + 2*x. Is 15 a factor of r(-5)?
True
Let v(c) be the third derivative of c**5/60 + c**4/4 + 5*c**3/6 + c**2. Let k be v(-6). Suppose -k*g + 37 = -23. Is g a multiple of 6?
True
Suppose -10*p + 1520 = -2*p. Is p a multiple of 13?
False
Suppose 4*w = -2*d + 14 + 40, 0 = -5*d - w + 126. Let l = d - -15. Does 10 divide l?
True
Let z = 15 - 10. Suppose 0 = 2*d - d - 62. Suppose 3 = z*p - d. Is 13 a factor of p?
True
Let y(g) = 4*g - 9. Let b be y(7). Suppose 2*c = -3*t + b, 2*t - c + 0*c - 1 = 0. Suppose 5*m - t - 22 = 0. Is 4 a factor of m?
False
Let c(p) = 2*p**2 + 1. Let a be 4/(-10) - 15/25. Is 3 a factor of c(a)?
True
Let d(u) = -u**3 - 7*u**2 - 6*u + 3. Let z be d(-6). Suppose z*y + 294 = 6*y. Is 10 a factor of 1/(-3) - y/(-6)?
False
Let q(f) be the first derivative of 1 + f + 1/3*f**3 - 2*f**2. Is 5 a factor of q(6)?
False
Is 141 - 2*5/10 a multiple of 35?
True
Let i(u) = 12*u**2. Let m be i(-1). Suppose 4*s = 5*t - 42, -5*t - 2*s = -12 - m. Suppose t + 8 = p. Is p a multiple of 10?
False
Let h = -6 + 4. Let l(u) = -u**2 + u. Let x(n) = 3*n**3 - 2*n**2 + 3*n. Let q(r) = h*l(r) + x(r). Is q(1) a multiple of 2?
True
Let k be (-12)/30*15/1. Let l(a) = -a + 1. Let j be l(k). Suppose -3*z + 5*y + 1 + 12 = 0, -2*z + 5*y + j = 0. Does 6 divide z?
True
Suppose -3*n + w - 20 = -3*w, -16 = 4*w. Let f = 23 + n. Is 3 a factor of f?
False
Is 1*4/10 + 4184/40 a multiple of 21?
True
Suppose 37 = 4*i + 5*s, -s - 29 = -0*i - 2*i. Is i a multiple of 13?
True
Suppose 333 = 2*d + 5*i, 0*d - 786 = -5*d + 3*i. Is 16 a factor of d?
False
Suppose 3*t + 9 = -0*t. Let p be -3 - (t - (-3 - 1)). Does 13 divide 230/12 - p/(-24)?
False
Suppose -3*c = 5*m - 163, 0 = 2*c + c - 4*m - 145. Is 17 a factor of c?
True
Let f be ((-1)/3)/((-1)/6). Suppose -f*h + 1 = 19. Let c(x) = -x**2 - 10*x - 6. Is c(h) a multiple of 2?
False
Suppose 3*u = -0*u + 3. Let l be (u + 0)*(-2 - -4). Suppose 4*m - 32 = f + l, 2 = m + 3*f. Is 8 a factor of m?
True
Let l be 22/4 + 3/(-6). Suppose -54 = -8*x + l*x. Is 9 a factor of x?
True
Let k be -2 + 1*(-1 - -15). Let c = 2 - k. Is c/45 - (-218)/9 a multiple of 11?
False
Let o be (-9)/(-2 + 3/3). Does 12 divide o/(-18) + (-50)/(-4)?
True
Suppose 2*i + 8 = -4*g, -2*g = -3*g + 1. Let z = 8 + i. Is 9 a factor of (0 - z)*(-9)/2?
True
Suppose v - 3*v + 120 = 3*a, 195 = 3*v - 3*a. Is v a multiple of 22?
False
Suppose -6 = -3*z + 9. Suppose -t = 5, 22 = z*x + t + 7. Suppose 0 = -2*k - 5*i + 77, 3*k = -7*i + x*i + 129. Is k a multiple of 13?
False
Does 34 divide 2812/22 - (-2)/11?
False
Suppose x - 27 = 4*y, 4*x - 61 + 13 = y. Let v = 6 + x. Is v a multiple of 17?
True
Let o = 27 - 18. Let d = 57 - o. Is d a multiple of 27?
False
Let z be (-6)/(-33) + (-590)/(-22). Let y = 15 + z. Is y a multiple of 14?
True
Suppose 0*s - 3*s = 5*y - 83, -4*y - 3*s = -67. Is y a multiple of 13?
False
Let t(s) = s - 6. Let j be t(6). Suppose j = 2*h - 6*h + 4. Let w = h - -2. Is w a multiple of 3?
True
Suppose 2*j = j + 4. Suppose 0 = j*k - 3*k + 9. Let g = k - -13. Is 2 a factor of g?
True
Is (-2)/1*(-559)/26 a multiple of 10?
False
Let w(v) = 2*v**3 + 4*v**2 + 2*v + 10. Does 15 divide w(4)?
True
Let p = 4 - 1. Suppose -3*c - 2*s + 11 = -9, -5*c = -p*s - 8. Suppose -2*o = -5*a - 18, -5*a + 77 = c*o - o. Does 16 divide o?
False
Suppose 2*d - 53 - 45 = -3*j, d - 59 = -4*j. Let s = -27 + d. Let q =