- 4*a - 7, 5*t + 7 = -a. Suppose 5*j - 2*h - 218 = 0, -j - 13 = 4*h - 39. Is 7 a factor of j/9*(t + 4)?
True
Let i = 23 - -122. Is i a multiple of 14?
False
Is 24 a factor of (-92)/23*1*-6?
True
Let j = 82 - 49. Is 11 a factor of j?
True
Suppose -2*g + 23 = -31. Suppose 0 = i - 4*u - g, 4 = -4*i + i - 5*u. Is i a multiple of 7?
True
Suppose -112 = 3*s - 520. Does 8 divide s?
True
Let u be 8*1 + (-2)/(-1). Suppose 2*j = 4*j - u. Suppose -j*m + 84 + 11 = 0. Does 9 divide m?
False
Let m(i) = 3*i**2 - 2*i - 2. Suppose 0 = -j + 2*j - 3. Is m(j) a multiple of 7?
False
Let p(f) = -f**3 + 5*f**2 - 4*f + 1. Let s be p(4). Does 16 divide 695/15 - s/3?
False
Does 5 divide ((-234)/(-36))/((-5)/(-2) + -2)?
False
Let z = 4 + -6. Let d(x) = 15*x**2 + x - 2. Let r be d(z). Suppose r = -2*o + 6*o. Does 7 divide o?
True
Let o(b) = 17*b + 1. Is o(3) a multiple of 18?
False
Let h(d) = 2*d - 4. Is h(4) a multiple of 2?
True
Suppose 4*v + 5*h - 672 = 0, 3*h - h = 0. Is 16 a factor of v?
False
Suppose 0 = j + 5*j - 576. Is j a multiple of 11?
False
Suppose 3*w = -3, -w - 9 + 36 = -4*v. Let b(f) = 4*f + 1. Let q(p) = 2*p. Let u(t) = -6*b(t) + 10*q(t). Does 8 divide u(v)?
False
Suppose -10 = -o + 5*r, -4*o + r = -40 - 19. Suppose 5*w + o = 0, -a - 2*w = -3*w - 4. Is 15 + -1 + 1/a a multiple of 4?
False
Suppose -26 = -a + 19. Suppose -n = -2*n + a. Is 12 a factor of n?
False
Let m(s) = s**3 + 5*s**2 + 3*s + 1. Let c be m(-5). Let u be (-2)/7 + (-186)/c. Suppose 0 = -r + u - 0. Is 7 a factor of r?
False
Suppose 4*i + 8 = 4*h + 56, -4*h = 4*i - 8. Let r = 11 - i. Does 2 divide r?
True
Suppose 37 + 5 = j. Is j a multiple of 21?
True
Let u = -11 + 79. Does 5 divide u?
False
Suppose -4*d + 40 = 2*z, -5*z - 4*d + 36 = -76. Suppose -5*b = 2*n + 116, -4*b + z = 8. Let a = n - -109. Is 15 a factor of a?
False
Suppose x - 2 = 30. Let r(m) = m + 6. Let k be r(-3). Suppose k*t + 18 = 3*h, 4*t = -2*h + 7*h - x. Is 5 a factor of h?
False
Let w(m) = -m**2 + m - 9. Let i = 3 + -3. Let l be w(i). Let f(g) = -g - 6. Is f(l) even?
False
Suppose 3*l - 84 = -l. Is 14/l - 32/(-6) a multiple of 6?
True
Let u = -8 + 10. Suppose u*q - 48 = 6. Does 9 divide q?
True
Suppose 4*b = 2*m - 0*m - 52, -3*m - 4*b = -118. Does 23 divide m?
False
Let c(h) = -2*h**3 - 8*h**2 + 4*h - 3. Is 10 a factor of c(-5)?
False
Let f = -20 + 48. Is f a multiple of 28?
True
Suppose -3*u = -6*u + 54. Suppose w - u + 7 = 0. Is w a multiple of 11?
True
Let r = -1 + 1. Let i be 1*(r + -2 - -92). Suppose 46 = l + 5*q, 3*l - i = -0*q - 3*q. Is 11 a factor of l?
False
Let v(i) = -38*i + 3 - 4 + 1 - 2. Is v(-2) a multiple of 13?
False
Let j(o) = -o**2 + 18*o - 23. Suppose 4*t = 4*d + 63 - 15, 0 = 3*t + 5*d - 68. Does 3 divide j(t)?
True
Suppose -5*w = -3*j - 5, 2*w = j + 5*w - 3. Suppose -5*i - 25 = j, -5*f + 4*i + 116 = 16. Does 9 divide f?
False
Let l(s) = -4*s + 2*s + 6 + 0 + 1. Does 19 divide l(-6)?
True
Suppose 22 = 4*u + a + a, 4*u = -3*a + 27. Suppose -x = -4*j + 74, 2*x - 4*x + 61 = u*j. Is j a multiple of 8?
False
Let d be -3 + 1 + -1 + 3. Suppose 0 = x - d*x + 2. Is 10 a factor of (4/6)/(x/(-60))?
True
Let b(a) = -a + 5. Let t be b(5). Suppose t = 7*l - 2*l - 185. Let g = -19 + l. Does 9 divide g?
True
Let x be (1 - 3)/((-4)/10). Let s(i) be the second derivative of -i**4/12 + 2*i**3 + i**2 + 4*i. Is 16 a factor of s(x)?
False
Suppose -2*f = 2*f - 120. Suppose 0*l + 2*c - 22 = -4*l, -2*l + c + 9 = 0. Suppose -50 = -l*p + f. Is p a multiple of 8?
True
Suppose 8*g - 1099 = -403. Is 29 a factor of g?
True
Let t be (-2*4)/(4 + -3). Suppose -16 - 11 = -n. Let l = t + n. Does 19 divide l?
True
Let s(t) = 5 + 0 - 4 + 3*t + 4. Does 10 divide s(5)?
True
Let k(f) = f**2 + 6*f + 1. Let l be k(-5). Let s be (2 - 4)/((-2)/l). Is 5 a factor of 1/(s/5 - -1)?
True
Let m = -142 + 226. Is 42 a factor of m?
True
Let c be 0 + (-5 - -3) - -2. Suppose c*q + 17 = q. Is 8 a factor of q?
False
Suppose q + 4*m = 1, 2*q - 3*m - 17 - 18 = 0. Suppose -7 = 4*k + q, -2*u - 3*k = -61. Let l = -24 + u. Does 10 divide l?
False
Suppose 0 = -2*n - a + 36, 5*a = 2*n - 11 - 49. Is 10 a factor of n?
True
Does 9 divide -13 - -9 - 49/(-1)?
True
Let t be (2 + -2)/(4/(-2)). Let q(f) = t - 3*f + f + 1. Does 15 divide q(-7)?
True
Let z(h) = 2*h + 9. Let w be z(-9). Let g = 445 + w. Is 12 a factor of g/18 - (-2)/(-9)?
True
Suppose -5*b + 245 = -k, 4*k - 5*b + 1028 = -b. Is 13 a factor of 0 + (-1)/(4/k)?
True
Let u(q) = 4*q + 0*q - 3*q. Let z be u(-6). Does 6 divide 51/(-2)*z/9?
False
Suppose -2*r + 10 = -0*r. Let o be (-294)/(-15) + 2/r. Is (o/6)/((-8)/(-36)) a multiple of 14?
False
Let a(t) = t**3 + 10 + 5*t**2 - 7*t - 3 + 3*t. Let o be a(-5). Suppose -i - 45 = -3*s + o, 11 = s + 4*i. Is 8 a factor of s?
False
Suppose 5*z - 104 = -39. Let f(i) = 5*i + 3. Let d be f(4). Suppose -2*t = 5*o - z, -d - 1 = -5*t - 4*o. Is t even?
True
Does 9 divide 0 + 3/2*6?
True
Let q(f) = -f**3 + 7*f**2 - f - 7. Let c be q(6). Suppose 4*u - 106 = -z, -z + 53 = -2*u - c. Let o = z - 14. Is 20 a factor of o?
False
Let v(i) be the third derivative of -i**4/3 - i**3/6 + i**2. Suppose -2*o = -5*n - 21, 6*n + 9 = -2*o + 5*n. Is v(o) a multiple of 8?
False
Let d(g) = g - 4. Let v be d(7). Suppose -2*t + 4*t = v*n - 49, -3*t = -3. Is n a multiple of 12?
False
Let o(g) = -3 + 5 + 5*g - 1. Let r(u) = u**2 + 7*u + 5. Let b be r(-7). Does 9 divide o(b)?
False
Suppose -5*z = 3*o - 52, -4*o + 4*z - 13 = -93. Is 2 a factor of o?
False
Let k be (-4)/10 + (-48)/5. Let q = k + 61. Does 15 divide q?
False
Let k = 35 - 18. Suppose a - 4*l - k = 8, 5*a - 191 = -2*l. Is 8 a factor of a?
False
Let u = -8 - -18. Does 8 divide u?
False
Suppose 2*c + 372 = 3*n, 0*n + 2*c = 5*n - 616. Is n a multiple of 14?
False
Let b(d) = d - 11. Let y be b(9). Let a(z) = 8*z**2 + 1. Is a(y) a multiple of 11?
True
Suppose 3*f + 3*a + 15 = 54, 0 = -4*f - a + 67. Is f a multiple of 6?
True
Let z(b) be the second derivative of -b**3/2 + b. Let o = 3 + -7. Is 6 a factor of z(o)?
True
Let v(k) = -4*k**2 + 14*k - 13. Let d(p) = -2*p**2 + 7*p - 6. Let r(c) = 5*d(c) - 3*v(c). Is 13 a factor of r(6)?
True
Suppose 0 = 3*l, 2*o + l + 12 = -4. Is 9 a factor of 3 + (-1 - 1) - o?
True
Let g be 2/(1/(7/2)). Let x = g + -5. Suppose -x*i + 2 + 2 = 0. Does 2 divide i?
True
Suppose -3*r - 141 - 165 = 0. Let i = r + 155. Suppose 3*z - i = -4*t, -z + 4*z = -3. Does 5 divide t?
False
Let z(i) = -13*i - 1. Let g be z(-1). Does 3 divide g/(-18) + 22/6?
True
Let l(g) = g**3 - 7*g**2 + g - 1. Let s be l(7). Suppose s + 3 = 3*p. Is p even?
False
Let o(a) = a + 8. Let q = 7 + -15. Let y be o(q). Suppose v + y*w - 5 = -5*w, 4 = -4*w. Is v a multiple of 8?
False
Let k(z) = 4 + 2 - z**3 + 1 - 6 + z**2. Is 13 a factor of k(-2)?
True
Let l = -1 - 2. Let j = l - -4. Let s(b) = 7*b**2 - 2*b + 1. Is s(j) even?
True
Let x(h) = 2*h**3 - 3*h**2 - 2*h + 3. Suppose v = -1, -26 = -4*g + 4*v - 10. Is 9 a factor of x(g)?
False
Let t(v) = -v. Let c be t(2). Let b(q) = q**3 + 2*q**2 - 4*q - 3. Let y be b(c). Suppose -2*m + 2*h - h = -46, 0 = 3*m + y*h - 56. Is 11 a factor of m?
True
Let k = -151 + 213. Is 27 a factor of k?
False
Let h be 0*(0 - 1) + 0. Suppose h = 3*a - t - 21, a = -2*a - 2*t + 21. Does 3 divide a?
False
Is 8 a factor of (-58)/(-6) + (-2)/(-6)?
False
Suppose -4*y + 20 = 4*i, -5*i + i = 5*y - 22. Does 18 divide y/(-11) - 1821/(-33)?
False
Let d = 28 - 9. Does 19 divide d?
True
Suppose 33 - 109 = -2*a. Suppose -2*p = -26 - a. Is p a multiple of 10?
False
Let n(w) = w**2 + 3*w + 4. Let k(i) = -4*i**2 - 8*i - 11. Let l(o) = 2*k(o) + 7*n(o). Let d be (-92)/(-20) + 4/10. Does 5 divide l(d)?
False
Let b(o) = o. Let h(f) = -f - 3. Let w be h(-6). Let r be b(w). Suppose -4*k - 4*s = -80, 0*k + 3*k - r*s = 72. Is k a multiple of 11?
True
Let q be (-32)/6*54/(-3). Let d = 1 + 3. Suppose d*c - q = -0*c. Is c a multiple of 12?
True
Let k = 157 - 91. Is 11 a factor of k?
True
Let d = 7 + -5. Does 14 divide (-1)/1*d*-7?
True
Suppose 0*k = -2*k + 64. Is k a multiple of 14?
False
Suppose -2*p = 2*p - 16. Let q = 1 + p. Suppose -q*o + 109 = -66. Does 18 divide o?
False
Let d be -10*((-10)/(-4) + 1). Let k = -19 - d. Let i = 2 + k. Is 9 a factor of i?
True
Suppose -4*x = -z - 57, -x - 3*z + 67 = 4*x. Suppose 0 = -2*n - 10, -3*n - n = -3*a + x. Is (-77)/(-2) - (-1