 -269, 2*q - n + 0*n - 112 = 0. Suppose 5*t + a - 60 = 0, q = 2*t - 5*a + 4. Is 5 a factor of t?
False
Suppose -d - 26 = c - 5*c, 0 = 2*c - 4*d - 20. Suppose t - 23 = -c. Does 5 divide t?
False
Let d = 188 - 104. Suppose -4*r + 2*r = -d. Is r a multiple of 12?
False
Let j = 17 - 9. Suppose c - j = -3*c. Is -2 - (-6)/c - -32 a multiple of 13?
False
Let f(p) = 10*p - 9. Let n be f(6). Suppose 0 = 4*s - 3*s - n. Is 17 a factor of s?
True
Is (-200)/(-15)*-1*(-105)/20 a multiple of 5?
True
Let o(p) = p**3 + 6*p**2 + 5*p - 3. Let g be o(-5). Let r = g - -6. Suppose 12 = r*n - 0*n. Is 3 a factor of n?
False
Let l(q) be the third derivative of -q**4/24 - q**3 - 2*q**2. Let d be l(-7). Suppose -4 = -p + d. Is p even?
False
Let z be (-1)/2 - 7/2. Let y(g) be the first derivative of -g**2/2 + g - 10. Does 5 divide y(z)?
True
Let u(b) = b**3 - b**2 + 4. Let l(d) = d**3 - 7*d**2 + d - 4. Let o be l(7). Is 12 a factor of u(o)?
False
Is 58*((-42)/(-12) - 1/1) a multiple of 11?
False
Suppose f - 6*f - 795 = -5*t, 0 = 2*t + f - 303. Does 14 divide t?
True
Let t = -26 - -50. Is 20 a factor of t?
False
Let f = 106 + -4. Is 22 a factor of f?
False
Is 10 a factor of (52*-1 - -2)*6/(-6)?
True
Suppose 0 = r - 3. Let k = -6 - r. Is k/((1 - 0)*-1) a multiple of 9?
True
Let h(s) = -s**2 + 10*s - 2. Let l be h(9). Let b = l - 3. Suppose b*m - 60 = m. Is m a multiple of 10?
True
Suppose 0 = c - 46 - 0. Is 14 a factor of c?
False
Let h(r) = -r**3 - 16*r**2 + 8*r + 10. Let x be h(-16). Let u be (-38)/(-6) - (-2)/(-6). Does 20 divide u/9 + x/(-3)?
True
Let v(y) be the third derivative of y**6/120 - 3*y**5/20 + y**4/8 + y**3/2 + y**2. Is 12 a factor of v(9)?
False
Suppose 0 = j - 0*j - 75. Let y = -43 + j. Is 20 a factor of y?
False
Let o(k) be the first derivative of -6*k**2 + 2*k - 7. Is 7 a factor of o(-2)?
False
Let r(j) = -59*j**3 - 2*j - 1. Let l be r(-1). Let q = l + -26. Does 17 divide q?
True
Let c(m) = m**2 + 5*m - 11. Is c(-8) a multiple of 12?
False
Suppose -4*l + 22 = 4*d + 2, 39 = 3*l - 5*d. Let q be (-16)/l + 2*3. Does 17 divide (12/q)/(6/68)?
True
Let r(h) = -h**2 + 11*h - 4. Let x(j) = -j**2 + j - 1. Let d(b) = r(b) - 6*x(b). Does 16 divide d(-3)?
True
Suppose 0*p + 4*p + 8 = 0. Let n be p/(((-12)/(-87))/2). Let l = n - -57. Does 10 divide l?
False
Suppose -3*z + 0*k + 10 = -2*k, 3*z = -3*k + 30. Suppose v = z*v - 10. Does 15 divide 15/((-1)/v*-2)?
True
Suppose -f = f - 34. Suppose 6 + f = o. Is 23 a factor of o?
True
Suppose -5*x + 20 = -3*g, -5*g - 6*x + 20 = -x. Suppose 5*b + g*m - 80 = 5*m, -m = -1. Is b a multiple of 10?
False
Let v(u) = u**3 - 8*u**2 + 10*u. Suppose -5*r + 0*r + 10 = 3*d, -2*r + 4 = 0. Suppose 0 = 3*q - 3*l - 6, 5*q + d*l = 2*l + 25. Is 8 a factor of v(q)?
False
Let p = -10 - -12. Suppose 6*b - 5*r = p*b + 39, -7 = -b + 4*r. Is 3 a factor of b?
False
Let z(w) = -8*w - 32. Is 16 a factor of z(-8)?
True
Let f(a) = 166*a**2 + a - 1. Let v be f(1). Let h be v/6 - (-1)/3. Suppose -u + h = 3*u. Is u a multiple of 7?
True
Suppose -3*d = -a - a - 23, 5*d - 3*a - 40 = 0. Is 3 a factor of d?
False
Let a(p) = -2*p + 7*p**2 - 2 - 3 - 3*p + p**3 + 8*p. Does 12 divide a(-4)?
False
Is 32 + 9/(45/10) a multiple of 34?
True
Suppose 2 = -4*a + 2*q, a - q + 1 = 2*a. Suppose a = -2*c + 4*c - 14. Is 7 a factor of c?
True
Let p(s) = -s**2 - 9*s + 20. Does 5 divide p(-10)?
True
Let n = -64 + 23. Let t = n - -107. Does 24 divide t?
False
Let q = 7 - -7. Let p = q - 7. Does 7 divide p?
True
Let d = 19 - 15. Is 4 a factor of d?
True
Let m = -5 + 8. Let f be (1 - m)*(0 + -4). Suppose -w = -0*w - f. Does 5 divide w?
False
Suppose 0 = -5*a - 10, -5*w + 0*w + a = -47. Let k = w + -6. Suppose 24 = k*u - 60. Is 12 a factor of u?
False
Let d(t) = -t - 1. Let y be d(-3). Suppose y*j = 16 - 2. Does 5 divide j?
False
Suppose -c = -28 + 8. Is c a multiple of 7?
False
Suppose 0*p = 2*p. Suppose w + 0*w = p. Suppose -5*x - 4*l + 9 = 0, w = 4*x - 3*l + 4*l - 16. Is x a multiple of 2?
False
Let z(o) = o. Let f(w) = -4 + 3 + 2. Let h(p) = 2*f(p) - z(p). Does 3 divide h(-4)?
True
Does 15 divide 0 + (1 - 8)*-15?
True
Suppose -4*i - 93 = -7*i. Let o = -15 + 17. Suppose -o*w + 3*w = i. Is w a multiple of 13?
False
Let w = 56 + 14. Is w a multiple of 10?
True
Suppose 2*u = -4*o + u - 1, -3*u - 3 = 0. Suppose 0*y + 2*y - 4 = o. Is (y - -1)*(-128)/(-12) a multiple of 12?
False
Suppose -u - 4 + 0 = -2*p, 3*p + 2*u = -1. Suppose 0 = 4*y - y + z - 339, -4*y - 5*z = -463. Is y/4 + (p - -2) a multiple of 11?
False
Let r(w) = -w**3 - 10*w**2 - 5*w + 7. Is r(-10) a multiple of 13?
False
Let v = -10 + 16. Is 3 a factor of 12*(-3 - (-22)/v)?
False
Suppose 33 - 121 = -2*u. Is (-8)/u - 448/(-44) a multiple of 10?
True
Let v(z) = -z**3 - 7*z**2 - 4*z + 7. Is v(-8) a multiple of 27?
False
Let n(y) = 7*y**2 - 1. Is 4 a factor of n(-1)?
False
Let x be (8/(-20))/(1/5). Let z be x/6*(-3 + -6). Suppose 65 = z*b + 4*a - 37, -2*b = -2*a - 54. Is b a multiple of 15?
True
Suppose a + 83 = 2*k, -10*k + 5*a = -7*k - 121. Does 7 divide k?
True
Let d be -3*(2/1 - 3). Let w be 6/(-9)*d*-1. Suppose -5*u - 3*k + 31 + 33 = 0, u = w*k + 18. Is u a multiple of 7?
True
Suppose -5*i + 20 = -i. Is i a multiple of 5?
True
Suppose -11 = -5*r + 4. Let o = -7 + r. Does 3 divide (-22)/o + 2/(-4)?
False
Suppose -3*a + 0*a = -12. Suppose -4*f - 5*t + 46 = 0, -t - 19 = -a*f + 39. Is f a multiple of 14?
True
Let y = 5 - 50. Is 16 a factor of (-30)/y*201/2?
False
Let z(w) = -w**3 - 30*w**2 + w + 68. Does 4 divide z(-30)?
False
Let l(r) = r**3 + 9*r**2 - 6. Does 9 divide l(-4)?
False
Suppose -4*p + f = -66 - 225, 2*f = -p + 75. Is p a multiple of 20?
False
Suppose 12*h - 3*h - 2889 = 0. Is 50 a factor of h?
False
Let k(h) = -h**3 + 7*h**2 - h - 8. Let d(u) = -2*u. Let v be d(-3). Is 22 a factor of k(v)?
True
Suppose 3*m = 55 + 62. Is m a multiple of 36?
False
Let n be 1/(-6) - 34/12. Let l(v) = -v**3 - v**2 + 3*v - 1. Is l(n) a multiple of 8?
True
Suppose 2*u = 4*s + 44, 0 = 3*u - 6*u + 5*s + 69. Does 7 divide u?
True
Let c(d) = -d**3 + 8*d**2 - d + 10. Let n be c(8). Suppose -4*x + 39 + 41 = n*w, 3*x - 51 = 3*w. Is x a multiple of 5?
False
Suppose -22 = -v + 15. Suppose 32 = 3*t - v. Is t a multiple of 13?
False
Suppose 4*d = -4*p + 392, 3*p - 234 - 44 = 5*d. Is -1*(p/(-3) - 2) a multiple of 7?
False
Suppose 0 = -5*k - 47 + 852. Let g = k + -109. Is 24 a factor of g?
False
Suppose 3*c + 22 = 3*g + 1, -2*g - c + 2 = 0. Suppose u = -s + 11, g*s - u - 67 = -26. Is s a multiple of 10?
False
Let u(j) be the first derivative of j**3/3 - 2*j**2 - 7*j + 1. Let m = 3 - -3. Does 5 divide u(m)?
True
Let z(x) = 7*x**2 - 6. Let v(a) = 13*a**2 - a - 11. Let b(h) = -6*v(h) + 11*z(h). Let i be b(4). Suppose r - i = 10. Does 8 divide r?
False
Let l(v) = 4*v + 2. Let h be l(5). Suppose -5*q = -k + 21, 2*k - h = q + 56. Suppose 2*w = 5*s + 37 - 6, -k = -4*w + 3*s. Is w a multiple of 8?
True
Let j = -23 - -62. Is j a multiple of 16?
False
Let v(j) = 3*j**2 + 28*j - 16. Let h(f) = 2*f**2 + 19*f - 11. Let l(a) = 7*h(a) - 5*v(a). Let x be l(-7). Suppose 33 = 4*p - x. Does 9 divide p?
True
Suppose 0*d + 4*d = 5*y + 204, 0 = -y + 4. Is 41 a factor of d?
False
Suppose 2*f + 0*f + 8 = 0. Let a(p) = p**2 + 2*p - 5. Let s be a(f). Does 8 divide 7 + s*2/3?
False
Suppose 0 = -2*z - 0*t - t - 4, 3*z + 3*t + 12 = 0. Suppose 7*m = 2*m + s + 49, s + 4 = z. Does 8 divide m?
False
Suppose y = -y + 138. Suppose -y + 18 = -3*j. Is j a multiple of 15?
False
Is 3 a factor of ((-48)/(-15))/((-4)/(-10))?
False
Let k be (-2 + -2)/(1/1). Is 20 a factor of ((-46)/k)/((-3)/(-6))?
False
Does 29 divide (-1)/((-1)/101) + -2?
False
Let q(g) be the first derivative of -g**5/60 + 7*g**4/24 - g**3/2 + g**2/2 - 1. Let b(p) be the second derivative of q(p). Is b(4) a multiple of 6?
False
Let h(j) = -j**3 + 10*j**2 + 3*j - 11. Let w(l) = -l**3 + 11*l**2 + 3*l - 12. Let s(g) = 3*h(g) - 2*w(g). Is s(8) a multiple of 5?
True
Let g(j) = -1 - 59*j**3 - j + j**2 + 60*j**3 + 5*j**2. Does 5 divide g(-6)?
True
Let m = -57 - 18. Let l = -39 - m. Suppose -2*n = j - 0*j - 32, 3*j = -2*n + l. Does 15 divide n?
True
Suppose -x = x + 2. Let t be (2 + x + -2)/1. Is 1 - (t + 4) - -16 a multiple of 5?
False
Let z(q) = q - 5. Let x be z(9). Suppose -7 - 5 = -x*u. Suppose -a = -u*a + 16. Is a a mul