 Let i be c(z). Let h(q) = q + 2. Is 4 a factor of h(i)?
True
Suppose -11*f = -3574 + 472. Is f a multiple of 47?
True
Let s be 3 + ((-1)/1 - -3). Suppose 2*b - y - 41 = -0*b, 5 = -s*y. Is 20 a factor of b?
True
Let o = -27 + 18. Let r = o + 12. Does 10 divide 10/(r - (-15)/(-6))?
True
Let z = -61 - -86. Suppose 5*o - 65 - z = 0. Is 13 a factor of o?
False
Let f = 318 - -111. Suppose 5*j - f = 6*l - 5*l, 5*j - 413 = -3*l. Is j a multiple of 17?
True
Let l be (3 - (-3)/(-3))*3. Let j(z) = -z**3 + 3*z**2 - z + 1. Let y be j(2). Does 21 divide (-94)/(l/(y*-1))?
False
Suppose 2*y - 45 = -y. Is 9 a factor of y?
False
Suppose 0 = 9*a - 52 - 281. Does 5 divide a?
False
Let p = 5 + -1. Let u be (-2*2/p)/1. Is 9 a factor of (6 - 5)/(u/(-18))?
True
Let n = -8 - -12. Suppose n*m + 10 = 46. Suppose 0 = -s + 6 + m. Is s a multiple of 8?
False
Suppose 0 = f - 8 + 3. Suppose -3*n - 3*w + 40 = w, 2*n - f*w - 65 = 0. Suppose -c - 5*r - 20 = -2*c, -n = -c - 4*r. Is c a multiple of 10?
True
Let v(w) be the third derivative of w**5/12 - w**4/6 - w**3/6 + 3*w**2. Is v(-3) a multiple of 19?
False
Suppose -6*r + 3*r = -15. Is r even?
False
Suppose 0 = -i - 2*i - 3. Is 12 a factor of (-92)/(-8) - i/2?
True
Suppose 0 = -o - o. Let g be o*2/8*-2. Suppose -j = 2*r - g*r - 31, 0 = 4*j + 2*r - 124. Does 21 divide j?
False
Let b(o) = -o**2 + 7*o - 9. Let c be b(5). Suppose r + c = 19. Does 10 divide r?
False
Let x be 9/2 + 2/4. Suppose 0 = -s + 2*s - x. Suppose h = 5*m - 129, s + 24 = m - h. Is m a multiple of 10?
False
Let t be (0 + -1)*3/3. Let i be 1 + (t - -3)/2. Suppose 0 = i*j - 22 + 2. Is j a multiple of 10?
True
Suppose -2*b - 6 = 0, 0 = 3*h - 2*h + 3*b + 9. Suppose h*j - 5*j = -125. Is j a multiple of 5?
True
Suppose -3*w - 2*k - 14 = -39, -4*w + 4*k + 40 = 0. Does 3 divide w?
True
Suppose -3*v - 3*b + 88 + 98 = 0, 121 = 2*v + 5*b. Does 7 divide 2/(-1 + v/57)?
False
Let m(q) be the first derivative of -q**2/2 + 5*q - 1. Let n be m(5). Let h = n - -3. Does 2 divide h?
False
Let q(p) = -p**3 + 3*p + 3. Let h be q(-2). Let k = 7 + -3. Suppose -n - 40 = -h*n - k*g, -n = -2*g - 10. Is 10 a factor of n?
True
Let i = 10 - -2. Is i a multiple of 3?
True
Suppose 2*o + 1 = 5. Let v be o/8 + (-665)/4. Does 9 divide v/(-8) + (-1)/(-4)?
False
Let u(v) = -v**2 + 16*v + 18. Is u(11) a multiple of 11?
False
Suppose 2*y - y = 1. Is 14 a factor of -1 + y + (45 - 5)?
False
Let i(m) = -m**2 + 3*m + 5. Let w be i(5). Let u = w - -19. Is u a multiple of 13?
False
Suppose 4*f = c + 3*f - 134, 0 = f + 2. Does 33 divide c?
True
Let k(a) = -a + 1. Does 3 divide k(-2)?
True
Let r(p) = -p**3 + 8*p**2 - 13*p - 8. Let a be r(7). Let i = a - -86. Is i a multiple of 12?
True
Suppose 22*i - 2592 = 14*i. Is 54 a factor of i?
True
Suppose -v + 43 = -64. Does 12 divide v?
False
Let r(t) = 21 + 0*t - t + 0*t + 0*t. Does 13 divide r(0)?
False
Suppose -i = 3*k - 4, 30 = 5*i + 8*k - 3*k. Let q(v) = v**3 - 6*v**2 + v - 8. Is q(i) a multiple of 13?
False
Let z(d) = -d**2 - d + 2. Let a be z(2). Does 7 divide 107/5 - a/(-10)?
True
Let w(v) = -v + 6. Let s be w(4). Suppose 4*o - 16 = -f - 3*f, -s = 2*f. Suppose -o*n + 162 = -4*r - 0*r, n = -r + 27. Does 15 divide n?
True
Suppose 4 = 5*w - 6. Let a(g) = 2*g - 1 + 1 + 1 + 3*g**w. Does 5 divide a(-2)?
False
Let l = -7 - -9. Suppose 0*v - 3*r + 28 = l*v, -2*v + 8 = -2*r. Suppose -v = -o + 2. Is o a multiple of 10?
True
Suppose 0 = -5*v - 0*v + 5. Let f(d) = 3*d**2 - 2*d + 1. Let l be f(v). Suppose -2*t = -3*j - 7*t + 41, j - 10 = l*t. Is j a multiple of 5?
False
Let g(k) = -k**3 + 5*k**2 - k - 8. Let z be g(6). Let j = -23 - z. Is j a multiple of 11?
False
Let s = -393 - -569. Is s a multiple of 22?
True
Suppose -b = 3*b - 8, 0 = -3*y + 3*b + 282. Does 21 divide y?
False
Suppose -5*q = 3*j - 15, 2*j + 0*j = 2*q - 6. Suppose 0*h + 3*m + 45 = 3*h, 4*m = q*h - 40. Is 10 a factor of h?
True
Let k = -23 + 41. Suppose -5*a + 2*g = -50 - 4, a - 4*g - k = 0. Suppose -5*p - 100 = -a*p. Is p a multiple of 10?
True
Is 10 a factor of -7 - (-1 - 3) - (1 + -47)?
False
Suppose x = -4*x. Suppose 2*w + 5*z - 68 = x, -4*w - 3*z + 150 = -0*z. Does 16 divide w?
False
Let l = -83 + 38. Is 3 a factor of l/3*3/(-9)?
False
Let b(f) = f**3 + 3*f**2 - 3*f - 7. Let r be b(-3). Suppose 48 = l + r*l. Is l a multiple of 8?
True
Let b(a) = -15*a + 8. Does 6 divide b(-2)?
False
Let w(f) = -4*f + 6. Let k(o) = 3*o + 8*o - 11 - 2*o. Let l(j) = 4*k(j) + 7*w(j). Does 7 divide l(2)?
True
Suppose 2*a - a + 3*g = -7, -a = -4*g. Let i = a + 2. Does 3 divide (-4 - 0)/(1/i)?
False
Let g be (5 - -3)*14/4. Suppose 2*c + 70 = -x + 6*x, -2*x = c - g. Is x a multiple of 7?
True
Suppose k + 2 = 5. Suppose k*n - 69 + 6 = 0. Is 13 a factor of n?
False
Let l be 0*(-1 + -2 - -2). Suppose -6 = -2*y - l. Suppose -2*j - 5*p + 69 = j, j - 23 = y*p. Is 8 a factor of j?
False
Let h(a) = -2*a - 1. Let u be h(-1). Let i(r) = 3 + 2*r + u - r. Is i(0) a multiple of 4?
True
Suppose -2*h - 2*t = -0*h, 3*t = 2*h - 15. Let g(f) = 4 - 5 + 0*f**2 + 3*f**2 + h*f**2. Does 3 divide g(1)?
False
Let m be 14/49 - (-37)/(-7). Let n(v) = -v**3 - 5*v**2 - 7*v - 7. Is 5 a factor of n(m)?
False
Let q(w) = -w**3 + 2*w**2 + 3*w + 3. Suppose -r + 1 + 7 = 0. Suppose -r*o + 4*o = 8. Does 13 divide q(o)?
True
Suppose -1 + 0 = -n. Let h be -22*(3/(-2) - -1). Suppose -h = -z + n. Does 9 divide z?
False
Suppose 5*z - 3*x = 62, 3*z - 7*z + 54 = 2*x. Is (z*1)/(6/6) a multiple of 13?
True
Let d(y) = y. Let s be d(0). Let l = s + 4. Suppose 0 = l*f - 42 - 74. Is f a multiple of 11?
False
Let l(k) = -3*k**3 + k**2 + k + 380. Is 20 a factor of l(0)?
True
Suppose -4*t - w = -91, -6 - 22 = -t + 5*w. Is t a multiple of 4?
False
Suppose -4*z - 26 = -3*p + 9, p + 3*z = -10. Let i(x) = -2*x**3 + p*x**2 - 2*x**3 + 5*x**3 + 3*x. Does 7 divide i(-3)?
False
Let x(v) = -51*v. Let c be x(-2). Suppose 68 = 3*n + 3*h + 8, 3*h - c = -5*n. Is n a multiple of 7?
True
Let s(a) = a**3 + 16*a**2 - 4*a - 16. Does 16 divide s(-16)?
True
Suppose 5*z = -4*s + 14, -4*s = -z - 3*z + 4. Let m(j) = 20*j - 1. Does 7 divide m(s)?
False
Let s(v) = 11*v - 13. Does 20 divide s(9)?
False
Does 16 divide 125 + -2 + -4 + 2?
False
Let x = 208 + -106. Is x a multiple of 34?
True
Suppose 0 = -3*j + 6*t - 2*t + 41, -4*j - 4*t + 36 = 0. Suppose 5*y - 69 = j. Is y a multiple of 16?
True
Suppose 0 = 4*d + 5*k - 12, -k - k = 0. Suppose -p - 134 - 48 = -d*j, -5*j = -3*p - 298. Let x = j + -20. Is 15 a factor of x?
False
Let x be (6 + -7)/((-1)/2). Suppose 24 + 36 = x*z. Suppose 4*a = 2*p - 78, p + 0*p - z = -a. Is p a multiple of 17?
False
Is 3 a factor of (4/6)/(6/27)?
True
Is (1/2 + -1)/(4/(-816)) a multiple of 34?
True
Suppose -3*x + 5*d - 2*d = -3, 4*d = -4*x + 4. Let k(y) = -y**3 - 4*y**2 + 3*y - 11. Let r be k(-5). Is x - r - (-3 - 28) a multiple of 21?
False
Let s = -135 - -221. Is 16 a factor of s?
False
Let p = 4 + -6. Let q = p - -8. Does 6 divide q?
True
Let x(c) = -2 + 0 - 2 + 15*c. Is 19 a factor of x(4)?
False
Let b(o) = 2*o + 8. Let y be b(-7). Let u be (-20)/(-12) - 2/y. Suppose -5*i = 2*m - 29, 2*i - m = u*m + 23. Is 7 a factor of i?
True
Let u = -76 + 125. Let n = 89 - u. Does 13 divide n?
False
Is 1 - -80 - (-3 + 3) a multiple of 27?
True
Suppose 2*t = -t. Suppose 2*b - 36 = -y - 3*y, -2*b + 5*y = t. Is b a multiple of 6?
False
Let l(s) = -3*s - 9. Is l(-12) a multiple of 16?
False
Let d = 92 + -55. Let y = -9 + d. Does 15 divide y?
False
Let g(y) = 6*y - 1. Let u = 6 + -5. Let v = 3 + u. Does 9 divide g(v)?
False
Suppose -3*q - 5 - 4 = 0, 13 = o - 4*q. Suppose -4*k = -o - 7. Suppose -j + 1 = -2*j + p, -k*j + 10 = 2*p. Is j a multiple of 2?
True
Let a be (-2)/5 - (-112)/5. Let v = -14 + a. Is 3 a factor of v?
False
Let w(j) be the second derivative of -j**3/6 + j**2/2 + 3*j. Let a be w(-4). Suppose -c + 2 = 0, -a*i - 3*c = -0*c - 176. Is i a multiple of 17?
True
Let p = -112 + 30. Let l(d) = -17*d + 1. Let u be l(7). Let b = p - u. Is b a multiple of 18?
True
Suppose 2*t - 96 = -4*s, 5*s - 123 = 2*t - 3*t. Is s a multiple of 7?
False
Suppose 9*w + 108 = 5*w. Let h = w + 41. Is h a multiple of 14?
True
Suppose -2*q + 715 = 3*q. Suppose -q = 5*k + 12. Let x = k - -50. Is x a multiple of 19?
True
Let t = 2 + 2. Let s = 1 + t. Let c(k) = 3*k - 3. Is c(s) a multiple of 6?
True
Su