e
Suppose -4*h = -3*h + 5*f + 14, -14 = -h + 2*f. Let n(t) = -t**2 + 8*t - 8. Is n(h) a multiple of 2?
True
Suppose -s = -3*z - 18, -s + 4*z = 7 - 23. Is 8 a factor of s?
True
Suppose 73 = 2*n - 3*x, 0 = 5*n + 4*x - 2*x - 154. Is n a multiple of 6?
False
Suppose -5*c = -5*b - 30, 4 = c - 5*b - 18. Suppose c = f - 4. Does 2 divide f?
True
Is 25 a factor of ((-344)/(-3 - -5))/(-1)?
False
Is 3 + -4 + 82*1 a multiple of 21?
False
Let b(t) = 3*t**2 + 4*t + 3. Let o be 2 - 4*20/16. Is 3 a factor of b(o)?
True
Let v be (-3)/6*(-4)/1. Suppose v*a + 2 = -0. Is -3*(a - (-24)/(-9)) a multiple of 11?
True
Let f(x) = x**3 - 6*x**2 + 2*x - 24. Is f(7) a multiple of 6?
False
Let l be -21 + 2 + 4 + -3. Let v be 4/l*3*-54. Suppose -4 = -3*f + 8, -4*f + v = 2*g. Does 7 divide g?
False
Let f(j) = 3 - 37 - 46 + j + 12. Let q be f(0). Let s = q + 114. Is s a multiple of 23?
True
Let p = 72 - 47. Does 16 divide p?
False
Let a(v) = -4 + 7*v - 3 + 3*v - 4*v. Does 16 divide a(7)?
False
Let m be 3 + 3*1/3. Suppose 0 = -3*a + 20 + m. Is a a multiple of 4?
True
Does 7 divide (-8)/((-6)/(-99)*-3)?
False
Let c(j) = 2*j - 3. Suppose -x = -0*x - 8. Is 4 a factor of c(x)?
False
Suppose -5*y + 13 = 3. Is 10 a factor of (-222)/(-12) - (-3)/y?
True
Suppose -3*s + 6 = 3. Let g(k) = 20*k**2 + 2*k - 1. Is g(s) a multiple of 10?
False
Let d(x) = 13*x**2 + x + 15. Is 26 a factor of d(4)?
False
Let p(n) = -n**3 + 2*n**2 + 2*n - 2. Is p(-2) even?
True
Let p = -12 + 17. Suppose -3*c = 3*h - 7*c - 74, -112 = -p*h + c. Is h a multiple of 11?
True
Let h(j) = 5*j**2 + 6*j - 4. Is h(2) a multiple of 6?
False
Let r(w) = -7*w**3 - w**2 - 2*w - 1. Let x(p) = p + 11. Let s be x(-9). Suppose 3 = -l + s. Does 7 divide r(l)?
True
Let j(f) = -f**2 - 9*f - 1. Let d(q) = q**3 + 2*q**2 - 5*q - 4. Let l be d(-3). Let m be (-1)/(l*3/42). Is j(m) a multiple of 13?
True
Suppose -4*c + 5*c - 2 = 0. Is c/(-2)*-2 - -14 a multiple of 8?
True
Let n(l) = 13*l**2 - 1. Suppose -2*k = 3*y - 13, 4*k - 4*y - 2 = -2*y. Let o be n(k). Let h = o + -3. Does 18 divide h?
False
Let i(w) = 4*w**3 - w**2 - w - 2. Let z be i(-2). Let v = -16 - z. Is v a multiple of 5?
True
Let i be (-65)/(-25) - (-2)/5. Let s be (12/9)/(2/i). Suppose -57 = -s*o - o. Does 19 divide o?
True
Let u(j) = -j**3 + 6*j**2 - 4*j - 5. Let d = -8 - -19. Suppose 0 = -4*a + 5 + d. Is 11 a factor of u(a)?
True
Let k be (-1)/4 - (-725)/20. Suppose -2*t - k = -6*t. Suppose 0 = -2*w + 3*w - t. Is w a multiple of 7?
False
Let u(q) = -31 - 3*q + 29 + 0*q + 11*q**2. Is 8 a factor of u(-1)?
False
Let u(x) = 7*x**2 - 5*x + 4. Let b(m) = -7*m**2 + 6*m - 5. Let f be 2*(2 - (0 - -1)). Let y(a) = f*b(a) + 3*u(a). Is y(2) a multiple of 12?
True
Let o = -13 - -16. Suppose 3*k + 159 = 3*i, 154 = o*i - k + 3*k. Is i a multiple of 15?
False
Let q(z) = -z**2 - 4*z + 5. Let t be (-2 + 27/6)*-2. Let g be q(t). Suppose p - 18 = -g*p. Is 7 a factor of p?
False
Let u be (3 + 15)*(-3)/(-9). Suppose -u*q + 3*q + 15 = 0. Does 2 divide q?
False
Let o be -18 - 4*6/8. Let b = -13 - o. Suppose 4*d - b*d = -276. Is d a multiple of 23?
True
Let a(o) = -30*o**2 - 3*o - 4. Let x(l) = 61*l**2 + 7*l + 9. Let y(m) = -7*a(m) - 3*x(m). Let g(b) = b**2 - 3*b + 1. Let j be g(3). Is y(j) a multiple of 16?
False
Let v(k) = -2*k**2 + 2*k + 3. Let c be v(-3). Let t = 33 + c. Does 5 divide t?
False
Let n(b) = b**2 - 3*b - 2. Let s be n(4). Let p be 0 - (-179 - -1) - 1. Suppose -4*u - 3*v = -p, -207 = -5*u - s*v + 3*v. Does 19 divide u?
False
Suppose 0*b = b - 2*y - 11, -b + 26 = -5*y. Suppose 3*z - 19 = -4*a - 0*z, b = z. Suppose -28 = -a*m + 4. Does 3 divide m?
False
Does 23 divide -3 - -4*117/6?
False
Suppose -12*t + 189 = -3*t. Is 14 a factor of t?
False
Let i(g) = 4*g**3 - 6*g**2 + g + 8. Does 51 divide i(5)?
False
Suppose -2*n - 3*y + 18 - 3 = 0, -4*n - 3*y + 15 = 0. Suppose n = 8*q - 7*q - 35. Does 17 divide q?
False
Let t be -1*(3 - (-4 + -1)). Let n(c) = -c - 5. Let d be n(t). Suppose 9 + 27 = d*y. Is 12 a factor of y?
True
Suppose 2*m + m = 24. Let x = m - -9. Is x a multiple of 17?
True
Suppose -3*v - v + 40 = 0. Suppose -r + v = r. Is 6 a factor of r + (0 - (-1 + 0))?
True
Let h(j) = -2*j**2 - 2*j - 4. Let u(f) = -f**2 + f - 1. Let x(t) = -h(t) + 3*u(t). Is 6 a factor of x(3)?
False
Let a = 40 - 10. Is 16 a factor of a?
False
Let m(y) = 8*y + 44. Is 18 a factor of m(8)?
True
Let k(c) = -c**3 - 2*c**2 + 4*c - 4. Let i be k(-5). Suppose 0 = -5*p + 3*a + 74, -4*p - a + 46 = a. Let l = i - p. Does 19 divide l?
True
Let k(u) = -17*u - 7. Let a be k(-9). Suppose a = 5*b - c - c, -70 = -2*b - 5*c. Is 20 a factor of b?
False
Let k(l) = -l**3 + 14*l**2 + 70*l - 1. Is 64 a factor of k(17)?
False
Let y = 241 + -167. Let h = -62 - -38. Let n = y + h. Is 22 a factor of n?
False
Let a(q) = -2*q**3 + 5*q**2 + 8*q - 3. Is 12 a factor of a(-3)?
True
Let p = -139 + 178. Is p a multiple of 11?
False
Suppose -14 = -5*t + 11. Suppose -t*i + m = 3*m - 137, 4*m = 4*i - 132. Let q = -8 + i. Is 8 a factor of q?
False
Suppose 0 = -2*z - d + 164, -5*z - 5*d = -3*z - 164. Is z a multiple of 6?
False
Suppose 4*x + 3 = 11. Suppose 3*w - 8*w - 5*d + 135 = 0, -w + 2*d + 33 = 0. Suppose 3*i = w - x. Is 9 a factor of i?
True
Let v(s) = 4*s**3 - 2*s**2 + 4*s**2 - s + 0*s**2 + 2. Let o be v(2). Suppose 6*x - 3*x = 4*m - o, -4*x = 0. Does 5 divide m?
True
Suppose -2*m = -0*m, 3*t = -2*m + 6. Suppose -5*s = -t*a + 46, -3*a + 3*s + s = -62. Is 9 a factor of (-1*a)/(-2 + 1)?
True
Is 4110/21 + (-5)/7 + 1 a multiple of 28?
True
Suppose -4*w - 10 = -6*w. Suppose -1 = -h + 3. Suppose 21 = s + 5*b, 2*s + h*b - 41 + w = 0. Is s a multiple of 8?
True
Suppose 0 = 2*y - 679 + 141. Is 28 a factor of y?
False
Suppose 0 = 5*w - 3*b - 326, 2*w + 2*b - 58 - 82 = 0. Is 17 a factor of w?
False
Let t(u) = 3*u**2 + 4*u + 2. Let x be t(-4). Let l = x - 19. Is l a multiple of 15?
True
Suppose 8*a - 3 = 4*a - 5*k, 3*a - 1 = -5*k. Let z(v) = 9*v - 9. Let u be z(6). Is (a/3)/(6/u) a multiple of 5?
True
Suppose 4*c = -0*c + 16. Is 3 a factor of c?
False
Let u = -75 - -135. Is u a multiple of 15?
True
Let d(b) = b**3 + 6*b**2 + 3*b - 3. Let h be d(-5). Let j = 16 - h. Does 9 divide j?
True
Let q(b) = -b + 2. Let a be q(-2). Let z be -8*((-6)/a - -1). Suppose z = -d + 5*g - 1, 0 = -4*d - 2*g + 46. Is d a multiple of 7?
False
Let b(h) = -8*h + 2. Is b(-3) a multiple of 13?
True
Suppose 2*i + 2 = 3*h - 2*i, i = -3*h + 7. Suppose -1 = h*l + 3. Is (l - -4)/(-2) + 9 a multiple of 4?
True
Let o(v) = -5*v**2 + 10*v - 1. Let i(d) = 11*d**2 - 21*d + 3. Let h(j) = -2*i(j) - 5*o(j). Does 15 divide h(6)?
False
Let x = -121 - -172. Does 41 divide x?
False
Let k = 27 - 25. Let m be ((-15)/2)/3*-2. Suppose 0 = -k*u + 19 + m. Does 8 divide u?
False
Suppose 64*c - 63 = 63*c. Is 14 a factor of c?
False
Suppose -4*s + 330 = 5*p, -4*p + 2*p - s + 132 = 0. Is p a multiple of 22?
True
Let a(y) = 7*y - 8. Let i be (1 - (-2)/(-1))*-2. Suppose -3*k = -i*k - 6. Is a(k) a multiple of 13?
False
Let u(c) = -60*c**3 + 2*c**2 - 4*c - 5. Is 7 a factor of u(-1)?
False
Let v(p) be the first derivative of -11*p**2/2 + 3. Let a be (1 + 2)/(3/(-2)). Is 15 a factor of v(a)?
False
Suppose -444 = 2*b - 4*b. Suppose 6*v - 42 = b. Is 33 a factor of v?
False
Let l = 58 + -35. Let n = l + -8. Is n a multiple of 5?
True
Suppose -3*m - 142 = 83. Is 3 a factor of 270/m*(-5)/2?
True
Let p(c) = -19*c - 7. Let v(w) = 10*w + 3. Let o(t) = 2*p(t) + 5*v(t). Is o(2) a multiple of 16?
False
Suppose z - 4*z + 36 = 0. Let g be (-16)/z*(1 + 2). Does 11 divide 9/(g/6 + 1)?
False
Suppose -d + 50 + 85 = 0. Is 27 a factor of d?
True
Let t(b) = 3*b**2 - 6*b - 1. Let a(w) = 16*w**2 - 30*w - 4. Let v(p) = 2*a(p) - 11*t(p). Is 4 a factor of v(5)?
True
Let b = 191 + -161. Is 6 a factor of b?
True
Let y(r) = 3*r**3 - r**2 + r. Let p be 2*4/(-8)*-1. Does 2 divide y(p)?
False
Let z(k) = -k**3 + 13*k**2 + 18*k - 1. Let i be z(14). Suppose -2*q + i = 3*q. Is q a multiple of 9?
False
Let a(c) = c**2 + 3*c - 4. Let u be a(-4). Suppose -4*m + z + 78 = u, 0*m - 3*z = 3*m - 66. Is 15 a factor of m?
False
Suppose -13*p - 18 = -14*p. Suppose 2*k - p = -k. Is k a multiple of 2?
True
Let h(s) = -21*s + 6. Is h(-2) a multiple of 8?
True
Let l = -4 - -8. Does 8 divide (l/2)/(6/45)?
False
Suppose 4*j = -j + 25. Suppose -3*v = -x + 3