 3*a + c*a - 4*q = 90, 0 = -3*a + q + 54. Does 6 divide a?
True
Suppose -4*g - 3 = 5. Let p be (g + 1)*(-29 - -2). Let j = 39 - p. Is 7 a factor of j?
False
Suppose -21 = -2*a + 11. Let u = -10 + a. Does 3 divide u?
True
Suppose 0 = 3*n - 4 - 5. Suppose -5*g = -n - 7. Is (0 + g + 8)*1 a multiple of 5?
True
Suppose p - 65 = 5. Suppose 210 = 4*o + p. Suppose 0 = -h + o + 18. Does 15 divide h?
False
Suppose 136 = 2*u + 2*u. Suppose f = 25 + u. Let k = f + -33. Is k a multiple of 9?
False
Suppose 0*q - 2*r + 142 = 5*q, 2*q + 2*r = 58. Is 7 a factor of q?
True
Let z(l) be the second derivative of 29*l**3/6 - 3*l**2/2 - 10*l. Is 21 a factor of z(3)?
True
Let o be 4/(-18) + (-22)/(-18). Let v = 2 + o. Suppose 4*q = -0*p + p + 1, 2*p - v*q = 13. Is p a multiple of 11?
True
Suppose -8*q + 57 = -5*q. Does 19 divide q?
True
Let a(g) = g**2 + 5*g - 1. Let l be 6/21 - (-30)/(-7). Let k be a(l). Is 1/5 - 74/k a multiple of 15?
True
Let l(h) = h**2 - 4*h. Let w be l(4). Does 5 divide (-5)/((w - 1) + 0)?
True
Let i be (-58)/(-5) + 10/25. Let k(m) = -m**3 + 11*m**2 + 12*m + 8. Is k(i) a multiple of 4?
True
Let l = -6 + 8. Let p(x) = -x**3 + 3*x**l + 5*x**2 + 0 + 7 - 10*x. Is 12 a factor of p(6)?
False
Let i be 13/78 + 5/6. Let j(v) = 20*v**3 - v**2 + v - 1. Does 19 divide j(i)?
True
Suppose 7*l - 21 = 4*l. Suppose -3*v + l = 1. Suppose v*h = 6*h - 5*c - 136, -2*c + 137 = 5*h. Does 15 divide h?
False
Let j(u) = u**2 - u + 2. Let m be j(0). Suppose -7 = 3*h - 37. Suppose -h = o - m*o. Is o a multiple of 6?
False
Let x = -264 + 370. Suppose 2*b - x = -3*n + 3*b, 27 = n - 2*b. Does 15 divide n?
False
Let g(u) = -19*u + 1. Does 10 divide g(-1)?
True
Suppose -5*k - 3*t = -440, -5*k = -0*k + 5*t - 430. Is 5 a factor of k?
False
Suppose 4*p - 29 = 7. Does 9 divide p?
True
Let o(n) = -5*n**2 + n - 2. Let c(m) = -6*m**2 + m - 3. Let g(w) = 2*c(w) - 3*o(w). Is g(-2) a multiple of 14?
True
Suppose -a - 4*a = 4*r - 530, -3*r = -2*a + 235. Let y = a - 44. Is 19 a factor of y?
False
Let w(j) = -j**3 + 16*j**2 - 31*j - 5. Is w(13) a multiple of 11?
True
Let z(a) be the third derivative of -a**6/120 + a**5/6 - a**4/4 - 4*a**3/3 - 7*a**2. Is z(6) a multiple of 27?
False
Let t(p) be the first derivative of -p**4/4 + 2*p**3 - 5*p**2/2 + 6*p - 3. Is t(5) a multiple of 4?
False
Suppose 2*v = -a + 61, -v - 4*v = 4*a - 253. Let c = a + -40. Is 8 a factor of c?
False
Is 12 a factor of 5/(-2)*((-82)/10 + -1)?
False
Suppose o - 4*o = -33. Suppose 5*r - o = -1. Is r even?
True
Suppose -2*k + 43 + 34 = -5*b, -4*b = -k + 37. Suppose k = 4*o - 19. Is 15 a factor of o?
True
Let x = -12 + 16. Suppose -2*f = -x*f + 54. Is 27 a factor of f?
True
Is 16 a factor of 2 + 3*4/12 - -61?
True
Let b be (1 - (3 + -1)) + 4. Suppose 0 = -b*k - 9, 0 = -l - k - k - 7. Does 3 divide l/3 + 26/6?
False
Is 13 a factor of (0 + 25/4)*(-1 + 9)?
False
Does 35 divide (-30)/((-2)/28*3)?
True
Let l(y) = y**3 - 6*y**2 + 6*y. Let j(x) = -6*x - 1. Let c be j(-1). Is 5 a factor of l(c)?
True
Suppose 0 = 2*q + 4*z + 6, 0*q + 3*z = -5*q - 8. Does 17 divide 18 + (-3 + 4)*q?
True
Let v = 18 + -8. Suppose -3*g = -2 - v. Suppose -90 = -g*t + t. Is t a multiple of 20?
False
Let x(w) = -w**2 + 8*w - 9. Let z be x(6). Suppose 2*q = z*q - 17. Is 10 a factor of q?
False
Does 11 divide (-497)/(-15) - (-6)/(-45)?
True
Suppose -c - c = 24. Let x = c + 38. Does 26 divide x?
True
Let g(b) = -b**2 + 3*b - 2. Let j be g(2). Let x = 3 + -3. Suppose j = -u - x*u + 16. Does 16 divide u?
True
Let p(r) = 7*r - r - 5*r**2 + 0*r**2 - 6 + r**3. Let a be p(4). Suppose -a*l - 48 = -6*l. Is 9 a factor of l?
False
Suppose 4*n + 3*y = 7, -4*n + 7*n - 8 = -5*y. Let l be n*(-4)/(-6)*6. Suppose 33 = l*c - 3*c. Is 13 a factor of c?
False
Let o(g) = -8*g - 6. Is o(-6) a multiple of 6?
True
Let k be (-62)/(-5) - (-4)/(-10). Suppose k = -d + 2*d. Suppose -d - 4 = -2*w. Does 8 divide w?
True
Let n be 2/((-2)/7)*1. Let f be (-2)/((-1)/n*-2). Suppose 0 = 3*j - f*j + 64. Does 8 divide j?
True
Let y(s) = 2*s - 8. Let h be y(-6). Is (0 + h)*(-1 + 0) a multiple of 20?
True
Let j = -5 - -8. Suppose -2*o + 25 = j*o. Suppose -23 = -2*i - o. Is i a multiple of 4?
False
Suppose 2*q = 3*q - 4*h - 188, 0 = 5*q - 3*h - 889. Does 22 divide q?
True
Let u = -139 + 242. Does 26 divide u?
False
Is 145/(-2)*(-76)/95 a multiple of 11?
False
Let i be 24/(9/(-15)*(-10)/(-4)). Suppose -4*c = 5*z - 112, -6 - 50 = -2*c + 2*z. Let r = i + c. Is r a multiple of 6?
True
Let p be ((-2)/4)/((-3)/(-18)). Let l(u) = u**2 + 2*u + 2. Is 2 a factor of l(p)?
False
Let o(n) = -n**2 - 15*n - 2. Is o(-7) a multiple of 23?
False
Let g(t) = t**3 - 4*t**2 + 5*t - 5. Does 5 divide g(4)?
True
Suppose -3*p - 4*v = -v - 24, 0 = 4*p + 3*v - 28. Suppose -2*m + 40 = s + p*s, -s + 4*m + 8 = 0. Does 5 divide s?
False
Let x(z) = 8*z + 0*z - z - 3. Is 11 a factor of x(2)?
True
Suppose 4*q = -1 - 3. Let k = -1 - q. Suppose -5*n - 32 = -4*m - n, k = 5*m + 3*n - 56. Is m a multiple of 5?
True
Suppose -45*h + 41*h + 332 = 0. Is 10 a factor of h?
False
Let t be (-1)/4 + 3741/(-12). Is 21/35 + t/(-5) a multiple of 16?
False
Suppose 11 + 73 = o. Is o a multiple of 14?
True
Let z = -5 + 13. Is z a multiple of 3?
False
Let t(g) = -4*g**3 + 4*g**2 - 4*g + 2. Let z(p) = 12*p**3 - 12*p**2 + 12*p - 6. Let j(r) = -16*t(r) - 5*z(r). Let n = 1 - -1. Is 11 a factor of j(n)?
True
Let j(m) = 3*m**3 - 3*m**2 + 9*m - 13. Is 40 a factor of j(4)?
False
Let x be (0*2/4)/1. Suppose 3*o = -15, 3*i - 3*o = -x*o + 156. Is i a multiple of 13?
False
Let c = -109 - -160. Does 10 divide c?
False
Let y(k) = -3*k**2 - 3*k + 2*k**3 - 5*k**3 - k**3. Is y(-2) a multiple of 12?
False
Suppose 5*u = 9 - 4. Let g be 2/(u - 28/26). Let h = 37 + g. Is 11 a factor of h?
True
Suppose -7*v + 6*v + 43 = 0. Is v a multiple of 21?
False
Let h = -9 + 17. Does 3 divide h?
False
Suppose -b - 217 = -2*b. Does 19 divide b?
False
Suppose -3*t = -d - d + 14, 0 = 5*d - 5. Let j(q) = 3*q - 3*q - 3*q + 4. Does 14 divide j(t)?
False
Let m be 44/3 + (-6)/9. Suppose 3*s = j + m, -s + 6*s - 25 = 0. Suppose 2*r - 41 + j = 0. Is 10 a factor of r?
True
Let u be -1 + 26*(1 + 0). Suppose -6*s = -s - u. Suppose -3 = -s*w + 127. Is w a multiple of 13?
True
Suppose -3*o - 2*o + 2*p + 12 = 0, -3*o = -2*p - 8. Suppose -o*f = h - 12, 4*h - 36 = -4*f + 2*f. Is h a multiple of 4?
True
Is 16 a factor of -206*(2 - 10/4)?
False
Let m = 8 + -4. Suppose k - 3*y = 14, 3*k - m*y = 5 + 12. Is 5 a factor of 16/3 + k/3?
True
Let h(o) = o + 1. Let a(r) = -10*r - 3. Let n be 9/(-15) - (-2)/(-5). Let g(z) = n*a(z) - 5*h(z). Is 8 a factor of g(2)?
True
Let r(k) = -2*k**2 - 4*k + 7. Let x(d) = -11*d**2 - 23*d + 41. Let v(a) = -34*r(a) + 6*x(a). Is v(4) a multiple of 8?
True
Let h(i) = i**3 + 6*i**2 + 5*i - 2. Let c = 24 - 14. Let a = c + -14. Does 10 divide h(a)?
True
Suppose -5*n = -15, 0 = 3*g + 4*n - 58 + 10. Is g a multiple of 3?
True
Suppose -4*k - l + 276 = -42, 2*k = -5*l + 150. Is k a multiple of 11?
False
Let p = 24 + 6. Let y(d) = d**3 + 9*d**2 + 5*d - 7. Let u be y(-5). Let n = u - p. Is n a multiple of 19?
True
Suppose -2*w - 6*l = -2*l - 10, -w - 5*l = -8. Is 4 a factor of (4/(-6))/(w/(-27))?
False
Let p = -63 + 37. Let r = 85 + p. Does 13 divide r?
False
Let s(t) = -73*t**2. Let u be s(-1). Let j = 117 + u. Is j a multiple of 22?
True
Let l be (4/(-2))/((-2)/26). Suppose -2*b + 3*n = n - l, -4*n - 16 = -b. Suppose m = -m + b. Is 6 a factor of m?
True
Suppose 0 = -2*z - 3*j + 143, -z + 72 - 4 = -2*j. Is 7 a factor of z?
True
Let m = -15 + 21. Suppose 0 = 3*h - 2*j - 20, -3*h + 5*j + 26 = m*j. Suppose h + 12 = 4*k, -2*u - 4*k = -30. Is u a multiple of 2?
False
Let r(s) be the second derivative of -s**3/6 + 7*s**2/2 + s. Does 3 divide r(4)?
True
Suppose -u - 135 = -4*t, -2*u - 288 = -t - t. Let j = -103 - u. Is 15 a factor of j?
False
Let k(w) = 2*w - 7. Let u be k(6). Let j(s) = -s + 1. Let n(c) = -2*c + 7. Let o(y) = u*j(y) - n(y). Does 4 divide o(-4)?
False
Does 2 divide 338/17 + 30/255?
True
Suppose -9*u + 12*u - 1192 = 2*w, 4*w = -3*u + 1216. Is 16 a factor of u?
True
Let u be (5/(-2))/(2/4). Let f(p) = -2*p - 6. Let s be f(u). Suppose 0 = -s*z - 5*b + 28, -28 = -0*z - 4*z - 3*b. Does 4 divide z?
False
Suppose 11*h - 6*h - 105 = 0. Does 8 divide h?
False
Let o = 187 - 91. Let b be 