-3*i + 95, 5*i - 256 = -3*s. Does 17 divide i + (4/1)/(-2)?
True
Let j(c) = 2*c**2 - 2*c + 4. Let h(k) = -5*k**2 + 5*k - 8. Let u(z) = -3*h(z) - 7*j(z). Let v be u(3). Suppose v*t - 40 = -8. Does 8 divide t?
True
Suppose 2*q + 4*n = 44, 3*n + 149 = 3*q + 2*q. Is -3 + 2 + q + 2 a multiple of 20?
False
Suppose 2*p - 7 = -4*b - 3, -4*p - 4 = 4*b. Does 3 divide b?
True
Suppose i = 20 - 4. Let r = i - 9. Is 7 a factor of r?
True
Let x(c) = -c**3 - 2*c**2 - 2. Let h(d) = -4*d**3 + d**2. Let f be h(1). Is x(f) a multiple of 3?
False
Let l = -7 + 7. Suppose -2*r + 6*r = -p + 5, -3*r = l. Suppose -3*z + 9 = -n - 13, 0 = 5*z - p*n - 40. Is z a multiple of 7?
True
Let g(c) = 3*c + c - 3*c - 16 + 0*c. Let k be g(10). Is (-3 + (-21)/k)*16 a multiple of 7?
False
Let d = -1 - -26. Let r be (104/10)/((-5)/d). Let c = 89 + r. Is c a multiple of 20?
False
Let x(o) = 4*o**2 + 4*o - 1. Let i = 20 + -23. Does 4 divide x(i)?
False
Is 13 a factor of (-38 - 14)*10/(-8)?
True
Let r be (-260)/(-12) - 2/3. Let m = r - 12. Let i = m - 6. Does 3 divide i?
True
Let d(h) = -h**2 + 8*h - 11. Does 4 divide d(5)?
True
Suppose -7*v + 8 + 20 = 0. Suppose -3*l = -v*o + 2*l + 306, -146 = -2*o - l. Is 11 a factor of o?
False
Suppose 0 = 3*f + 2*f - 30. Suppose -335 = -f*b + b + 3*v, -67 = -b + 4*v. Does 19 divide b?
False
Let o be (-66)/12*(-20)/2. Suppose 7*v - o = 2*v. Let z = 19 - v. Is z a multiple of 8?
True
Let a(h) = 2*h**2 + h - 4. Is 12 a factor of a(-4)?
True
Is 13 a factor of 6/(-3) + (61 - -3)?
False
Suppose 0 = 3*m + m - 2*f, 0 = -5*m - f. Suppose m*o + 3*d = -o + 67, 5*o - 3*d - 245 = 0. Does 13 divide o?
True
Let i(k) = k + 18. Is i(16) a multiple of 8?
False
Let d be 38/6 + (-2)/6. Let p be ((-22)/3)/((-4)/d). Let o = 39 - p. Does 14 divide o?
True
Suppose -2*y + k - 13 = -72, y + 4*k - 7 = 0. Let p = 47 - y. Is p a multiple of 10?
True
Let z = 7 + -6. Suppose -w + 19 = z. Is w a multiple of 9?
True
Let q = -44 + 64. Let t = q - 14. Let v(b) = b - 2. Is v(t) a multiple of 2?
True
Suppose -2*t + 5*r + 32 = 0, -2*r = 2*t + r - 16. Let d = t - -8. Is 14 a factor of d?
False
Does 4 divide (11/4)/(9/36)?
False
Suppose 0 = -2*b + 218 + 52. Does 14 divide (b/12)/((-3)/(-12))?
False
Let s(l) = -l**3 - 4*l**2 + 6*l + 6. Let v be s(-5). Let c = 38 + v. Does 10 divide c?
False
Let t = 6 + -9. Does 23 divide 26 - (0/t - -3)?
True
Let u(l) = -2*l - 4. Let t be u(-3). Suppose 57 = c + t*c. Is c a multiple of 13?
False
Let q = -295 + 447. Does 38 divide q?
True
Let g(a) = -5*a**3 - 5*a**2 + 2*a + 45. Let z(u) = -3*u**2 + 16*u + 7 - 15*u + 16 - 3*u**3. Let w(r) = 4*g(r) - 7*z(r). Is w(0) a multiple of 8?
False
Suppose 0 = 3*v - 0*v. Suppose v*y = y. Suppose -p + 4 = -y*p. Is 4 a factor of p?
True
Let c be -5 + 7 - (2 - 0). Suppose 190 = -c*o + 5*o. Does 16 divide o?
False
Let j(l) = -l - 2 + 3*l**2 - 2*l + 4 + l**2. Suppose 4*w + o - 6*o = 17, 2*w - 11 = 5*o. Is 16 a factor of j(w)?
False
Suppose 6*g - 5*g - 5*o = -49, -5*g = o + 323. Let z be g/28 + 2/7. Is (-17)/z*(7 + -1) a multiple of 18?
False
Let y = 9 - 5. Suppose y*g = 12 + 36. Is g a multiple of 12?
True
Let s be (-1)/(3 - (-10)/(-3)). Suppose -96 = -s*f - 30. Is 8 a factor of f?
False
Let j = 13 + 4. Does 17 divide j?
True
Suppose 651 = 7*d - 0*d. Does 31 divide d?
True
Let g(t) = -14*t**3 + t**2 + 2*t + 1. Suppose 5*i = -3*d + 12, -2*d + 3*i - 12 = d. Is 12 a factor of g(d)?
False
Is 36 a factor of 3/(-2) + 2532/24?
False
Suppose w = -5*f + 2*f - 6, 3*w = 4*f + 21. Let q be (-3 - -8)*1/1. Suppose -2*a + 65 = q*v, -3*v + w*a - 12 = -51. Is 5 a factor of v?
False
Suppose -6*j + j = 0. Suppose 5*w - r - 5 = j, 4*r - 9 = -w + 13. Suppose 3*i + 0 = -2*q + 2, -q = -w*i - 15. Is q even?
False
Let g(k) = 16*k - 2. Let l be g(3). Suppose 0*s = -s + l. Does 23 divide s?
True
Let b(d) = -d**3 - 5*d**2 - 6*d + 7. Is 10 a factor of b(-6)?
False
Let a = 158 - 47. Is a a multiple of 15?
False
Suppose 65 = 3*b + 4*n, 3*b - 4*n = -0*b + 97. Is 11 a factor of b?
False
Is -3 + (57 - (-2 + 2)) a multiple of 24?
False
Let z(o) = 2*o**2 + 22*o + 1. Does 13 divide z(-12)?
False
Let j(k) = 9*k - 33. Is 22 a factor of j(11)?
True
Let y(t) = 9*t - 1. Let c(h) = -h**3 + h**2 + 3. Let p be c(0). Let s be y(p). Suppose -f - f = -s. Is 9 a factor of f?
False
Let u be 4/(-12)*(-5 + 2). Suppose 84 = 5*b - u. Let v = -11 + b. Does 5 divide v?
False
Let b(p) = p**2 - 7*p. Let v(j) = j**3 - j**2 + 10. Let c be v(0). Is b(c) a multiple of 10?
True
Suppose r - 6 = -p, 4*p - 3*p + 44 = 4*r. Is r even?
True
Let b(k) = -k**3 + 2*k**2 + k + 2. Let m be b(2). Suppose -90 = -m*c - 6. Is c a multiple of 15?
False
Suppose -101 + 35 = -2*n. Suppose 5*z - 37 = -2*j, -5*z + 4 - n = -4*j. Let a = j + 2. Does 4 divide a?
False
Suppose -y = -5*y + 8. Suppose 3*s = y*s + 9. Is s a multiple of 3?
True
Let b be ((-1060)/(-25))/(4/10). Suppose 2*r + 0*r - b = 0. Is 9 a factor of r?
False
Let v(s) = -3*s + 14. Let x(r) = 12*r - 57. Let q(c) = -9*v(c) - 2*x(c). Is 6 a factor of q(6)?
True
Suppose -11 = -3*a - g, 3*g + 2*g = -4*a + 33. Suppose -a*f + 60 = -0*f. Is 8 a factor of (f/8)/((-3)/(-12))?
False
Suppose v - 370 = -5*q, -v = -2*q + q + 74. Suppose -a = a - q. Is 12 a factor of a?
False
Suppose 0*k = k - 24. Is k a multiple of 8?
True
Let t(d) = -1 + 0*d - d + 0. Let x be t(-4). Suppose -3*z = 5*g - z - 114, x*g - z = 64. Does 13 divide g?
False
Let n = -14 + 23. Let j be (6*3)/(n/6). Suppose -2*d + 34 = j. Is d a multiple of 3?
False
Suppose 0*j - 212 = -5*l + 2*j, -4*l - 2*j = -166. Does 21 divide l?
True
Suppose y - 13 = 52. Is y a multiple of 13?
True
Let y = 28 + -20. Is 5 a factor of y?
False
Suppose -5*m = 5*b - 255, -2*m = -3*m - 3*b + 45. Is m a multiple of 9?
True
Let t(v) = -v**2 - v - 33. Let p be t(0). Let q = p - -93. Suppose 0*s = -3*s + q. Does 7 divide s?
False
Is 3*26*8/8 a multiple of 23?
False
Suppose 2*r = 3*j - 56, j + r - 53 = -2*j. Does 9 divide j?
True
Suppose 3*o + 5*g - 3 = -14, 5*o = 3*g - 7. Does 19 divide o + 19 + 1 + 1?
True
Suppose 3*m = -44 + 11. Let j = 32 + m. Does 7 divide j?
True
Suppose -5*q + 2*i - 4463 = 0, -2*i + 5 = -3. Is 5 a factor of (-1)/4 - q/44?
True
Suppose c + 3*c = 164. Is c a multiple of 6?
False
Let r be (1/2)/(1/(-42)). Let j = -14 - r. Is j a multiple of 5?
False
Suppose 193 = 3*d + p, -2*p + 0*p + 8 = 0. Is d a multiple of 9?
True
Suppose -2*d + 2 + 4 = 0. Suppose -t + 5 = 4*i + 20, d*t = -5*i - 17. Let v(w) = w**2 + w + 3. Is 15 a factor of v(i)?
True
Suppose 0 = -4*z + 49 - 1. Suppose -z = 2*p + p. Does 6 divide 1/p + (-196)/(-16)?
True
Let s(h) = 5*h**2 + 3*h - 6. Let o(m) = 6*m**2 + 4*m - 7. Let t(w) = -4*o(w) + 5*s(w). Let n be t(-2). Is 22 - (n + -2 - -1) a multiple of 8?
False
Suppose 0*q - 2 = -2*q. Is 165/20 + q/(-4) a multiple of 3?
False
Suppose -2*q - 6 = -14. Suppose 2*o - 40 = 5*l, 10*l = q*o + 5*l - 60. Is 8 a factor of o?
False
Suppose 0 = -5*q + 186 - 11. Suppose -4*l - q = -3*v, 3*v + 5*l = -2*v + 35. Is v a multiple of 3?
True
Let d = 8 - 6. Let a(r) = 18*r - 2. Is 17 a factor of a(d)?
True
Is (-5)/(15/(-84)) + 2 a multiple of 10?
True
Let p(z) be the first derivative of z**3/3 - 3*z**2/2 + 3*z + 1. Suppose 0 = -3*a + 15 - 0. Does 13 divide p(a)?
True
Suppose 4*a = 2*x - 10, -4*a = -x - 3*x. Suppose -5*o + 5*b - 25 = 0, 17 = -5*o + 3*b - 4. Does 5 divide ((-24)/5 - o)*x?
False
Let s = 4 + -5. Let u(p) = p**2 - p. Let o be u(s). Is 18 a factor of (1 + 30)/(3 - o)?
False
Let s(d) = -5*d + d**2 + 5*d + 0*d**2. Let b(t) = 6*t**2 + 10*t + 11. Let a(x) = b(x) - 5*s(x). Is 9 a factor of a(-10)?
False
Suppose 0 = -2*q - 2, -q - 131 = -3*w + q. Is 17 a factor of w?
False
Suppose -2*t = -0*t - 8. Suppose -9*a + t*a = 2*c - 65, -c = 3*a - 35. Is c a multiple of 10?
True
Suppose 6*b - 329 - 211 = 0. Is b a multiple of 30?
True
Let n(q) = 2*q + 7*q - 3 - 3*q + 0*q. Let p be n(2). Suppose 90 = -4*h + p*h. Is 7 a factor of h?
False
Let o = -1 + -5. Does 4 divide (-44)/(-6) - 4/o?
True
Suppose -5*i = d - 0*d - 3, -4*d = 3*i + 39. Let g be (32/d)/((-2)/3). Suppose 5*a = -n + 33, -3*n - n = -g*a - 108. Is n a multiple of 14?
True
Let g be (-2)/9 + 100/(-36). Is 8 a factor of (-71)/g - (-1)/3?
True
Let n = -51 - -110. Let u = n + -40. Is u a multiple of 9?
False
Let n be ((-3)/(-2))/(3/(-6)). Let q = 6 + n. Supp