. Suppose 14 = c*x - 42. Is x a multiple of 6?
False
Suppose -b + 10 = 5*s + 4*b, -s + 4*b = -17. Suppose 9*f - 4*f = -5*d + 80, s*f = -3*d + 46. Does 7 divide d?
False
Let n(j) = -j**3 + 10*j**2 + 13*j - 3. Let y be n(9). Is 8 a factor of y/12 + 2/(-8)?
True
Suppose 5*n + 4 + 1 = 0. Is 27 + n/((-2)/6) a multiple of 15?
True
Suppose 8*s - 2416 = 3*s + 4*m, s = 3*m + 492. Is s a multiple of 66?
False
Suppose 2*l + 0*l = -4, 2*l + 229 = 3*t. Suppose 0 = -5*v + t - 20. Is 5 a factor of v?
False
Let q = -9 - -12. Suppose u + 72 = q*u. Does 20 divide u?
False
Let z(v) = -3*v - 3. Does 3 divide z(-4)?
True
Suppose d + 3 = -3*n + 3*d, n - 4 = -d. Suppose -n = j - 3. Suppose j*u = p - 2*p + 48, 0 = u - p - 18. Is u a multiple of 9?
False
Let c = -2 - -2. Suppose -4 = -3*m + x + 91, m + 4*x - 10 = c. Suppose 0 = -3*u - m + 189. Is 18 a factor of u?
False
Does 25 divide (-9 - -59) + (-1)/(-1)?
False
Let j be 1*(-87)/((-3)/3). Suppose -2*c + 13 = -j. Is 12 a factor of c?
False
Let j = -13 + 4. Is 3 a factor of (12/18)/((-2)/j)?
True
Is 1201/6 - (3/18 - 0) a multiple of 10?
True
Let z be 36/(-24)*4*-4. Suppose t + t + 15 = x, -z = -x + 5*t. Is x a multiple of 3?
True
Suppose 6*x = 12 + 72. Is x a multiple of 4?
False
Suppose 5*j - 9*j + o + 512 = 0, o - 640 = -5*j. Suppose -5*l + j = -l. Is l a multiple of 16?
True
Let t(w) = 7*w**2 - 3*w + 2. Let n be t(2). Let v be -3*2/(-9)*(-18 - -6). Let m = n + v. Is 12 a factor of m?
False
Let x(m) = -3*m**2 + 7*m - 1. Let k be x(6). Let b = k - -110. Suppose 7 = 5*a + 2*o - b, -10 = 2*o. Is a a multiple of 6?
True
Suppose 0 = 3*k - 0*k - 66. Does 22 divide k?
True
Suppose p + 4 - 12 = 0. Let i(b) = 3 + 7 - 5*b**2 - 3*b**2 - p*b - b**3. Does 17 divide i(-7)?
True
Suppose -2 = 2*k + 10. Let s = 12 + k. Suppose -4*q = -s*q + 20. Is q a multiple of 10?
True
Let g(i) = -3*i + 18. Is 21 a factor of g(-8)?
True
Suppose 0*y = -2*y + 4. Suppose 3*f - 16 = y*f. Is f a multiple of 8?
True
Let m = -3 + 5. Suppose -2*t + m*j = t - 59, 5*j + 90 = 5*t. Is 23 a factor of t?
True
Suppose -u = -5*u + 2*w + 144, -158 = -4*u - 5*w. Suppose -5*o + k + 154 = u, -102 = -4*o - 2*k. Is o a multiple of 12?
True
Let t be (-18)/(-4)*10/(-15). Let x(b) = b**3 + b**2 + b + 3. Let c be x(t). Let d = c + 55. Is 12 a factor of d?
False
Let n(t) = t - 7. Let x be n(7). Let o = 4 - x. Does 3 divide o?
False
Let i = -13 + 18. Suppose 300 = i*x - x. Is x a multiple of 25?
True
Is (-4)/3 + (-4)/((-60)/1085) a multiple of 7?
False
Let y = -29 + 44. Let l = y - 10. Does 3 divide l?
False
Suppose 0 = y - 2*y + 3*s + 13, 4*y = -5*s - 16. Let m = 1 + y. Suppose -m*p + 18 = 2*b, 2*b - 8 - 9 = -p. Is 7 a factor of b?
False
Let n(h) = -2*h - 4. Let z be n(-3). Suppose -z*f - 3*f + 105 = 0. Does 17 divide f?
False
Let m(n) = -n**2 + n + 3. Let u(y) = 1. Let l(c) = -m(c) + 2*u(c). Let s be l(-9). Suppose -k = 3*x - s, -2*x + 6*x + 3*k - 127 = 0. Is x a multiple of 14?
True
Suppose 0 = -7*t + t + 252. Is t a multiple of 7?
True
Suppose 1660 + 734 = 9*n. Does 19 divide n?
True
Suppose -5*n + 3*n = 3*q + 3, -4*q - 4 = -3*n. Let c(l) = -2*l + 27. Let x be c(13). Is 7*(x - (0 - n)) even?
False
Is 8 a factor of (-3)/18 - (-290)/12?
True
Suppose -4 = -2*l - 2, 3*q - l - 11 = 0. Suppose -q*n - 2*m = -76, -m - 59 = -3*n - 3*m. Let o = n - 8. Is 3 a factor of o?
True
Let y(o) = o**3 + 6*o**2 - 8*o - 6. Let w be y(-8). Let x = -35 - w. Is 8 a factor of x?
False
Suppose -m + 3*r + r - 5 = 0, 25 = -5*m - r. Is 0/(-1) - (m - -2) even?
False
Suppose 0 = 5*i - 14 - 316. Does 33 divide i?
True
Suppose y - 13 = 2. Let v = 25 - y. Suppose 0 = -f + 3*f + v, 0 = 3*x + 4*f - 16. Is x a multiple of 5?
False
Let u = 151 + 187. Is u a multiple of 13?
True
Let z(d) = -d**3 - 16*d**2 - 18*d + 6. Does 4 divide z(-15)?
False
Let z = 27 - -87. Is z a multiple of 31?
False
Let r = -6 - -19. Let c(x) = x**3 + 7*x**2 + 3*x + 5. Let z be c(-5). Let t = z - r. Is t a multiple of 13?
False
Suppose 8 = 2*x + 4. Let k = x - -5. Suppose -4*l + n - 2 = -k*l, 3*l = 5*n + 26. Is l a multiple of 2?
True
Let f(d) = d**3 - 17*d**2 - 15*d - 20. Is 9 a factor of f(18)?
False
Let i be (-16)/88 + 57/11. Let z(s) = s**2 - 2*s + 3. Let t be z(2). Suppose -y + t = -i. Does 8 divide y?
True
Suppose -19 = -s + 4*l - 8, -4 = 2*s + 5*l. Let v = s + -1. Suppose 0 = -p - j + 11, -3 = -v*p - 5*j + 28. Is 6 a factor of p?
False
Let a(q) be the third derivative of -q**4/8 - 7*q**3/6 - 2*q**2. Is a(-8) a multiple of 6?
False
Suppose -2*b = 4*w - 472, 291 + 647 = 4*b + 2*w. Is b a multiple of 39?
True
Let a(d) = -d + 1 + 13*d - d. Let q = -2 + 3. Does 6 divide a(q)?
True
Suppose 3*g = 2*g + 3. Suppose -52 = -g*i + 50. Does 17 divide i?
True
Suppose -5*u = -5*v - 10, -3*v - v + 3*u - 4 = 0. Let l be (-3)/2*v/(-3). Is 14 a factor of (-330)/(-24) - l/(-4)?
True
Suppose 6 = -w - 4*m + 20, 4*m = -5*w + 118. Is w a multiple of 8?
False
Suppose -12 = -3*v - v. Suppose v*f = 3*z + z + 58, -2*z + 34 = 3*f. Is f a multiple of 10?
False
Let d be (-2 - -1) + 0 + 151. Suppose 5*u = 2*u - d. Let h = u + 84. Is 13 a factor of h?
False
Let b(z) = 2*z**2 - 4. Let o be (-1 - -5)/(-5 - -4). Does 18 divide b(o)?
False
Suppose 47 = m - 4. Is m a multiple of 17?
True
Let z = 31 + -10. Is 21 a factor of z?
True
Let h(p) = 4*p**2 + 2. Does 6 divide h(-2)?
True
Suppose t = 5*x - t - 1196, -5*x - 5*t = -1210. Does 40 divide x?
True
Let x(d) = -19*d + 4. Let u be x(4). Let m = u - -11. Let t = -30 - m. Does 11 divide t?
False
Let b be 4 + -4 + 2*1. Let g(w) = 5*w**2 - w**2 + 3*w - b - w**2 - w**3. Does 7 divide g(3)?
True
Suppose 2*q - 12 = -2*m, 4*q - 3*q = -3*m + 10. Suppose 0 = q*f - 61 - 51. Is 14 a factor of f?
True
Suppose 0 = 2*z - 3*j - 227, 4*j + 143 = z + 27. Suppose -4*c + z = 2*a, -5*c - 79 = 4*a - 291. Suppose -3*u - 8 = k, -4*u - a = -2*k - 2*k. Is 7 a factor of k?
True
Suppose x - 239 = k - 0*k, 479 = 2*x - k. Is 40 a factor of x?
True
Let v(o) = o - 8. Let s be v(11). Suppose -2*k + 2 = 0, 2*k + 7 = -3*x + s. Is 3 a factor of x*6/(-9)*3?
False
Let v be (-17)/(-3) - 10/15. Suppose -g + v*g = -92. Let j = g - -40. Is j a multiple of 14?
False
Suppose 5*f + 40 = 9*f. Let b(v) = 3*v + 10. Is b(f) a multiple of 10?
True
Let y be ((-8)/(-6))/((-12)/(-72)). Suppose 4*w + 0*w = 0. Is 5/(5/y) + w a multiple of 7?
False
Suppose 22 = -2*d + 116. Is 10 a factor of d?
False
Suppose 2*b - 8 = -60. Let a = b - -45. Does 17 divide a?
False
Let i(w) = w**3 + 5*w**2 - w + 1. Let s be i(-5). Suppose -2*h = 3*h. Suppose -f + s = -l, h = -l - 3*l. Does 6 divide f?
True
Let t(n) = n**2 + 10*n - 1. Let d be -1 + 21/(-3 + 0). Let v be t(d). Let o = 7 - v. Is o a multiple of 12?
True
Let u = 144 + -84. Is 10 a factor of u?
True
Let w = 19 + -48. Let z = -10 - w. Let y = -3 + z. Is y a multiple of 16?
True
Let w(z) = z**3 - 5*z**2 - 5*z + 9. Is w(6) a multiple of 5?
True
Suppose -m - m + 240 = 0. Is 12 a factor of m?
True
Suppose 4*y - 100 = -8. Does 19 divide y?
False
Suppose r = -0*r + 3. Let l(p) = -3*p - 2 - r - 2*p. Does 12 divide l(-5)?
False
Suppose -h + 6*h = 10. Suppose 5*i + z - 131 = 0, 2*i + h*i = z + 103. Is i a multiple of 19?
False
Let f = -113 - -71. Let q = f - -6. Let z = q + 84. Is z a multiple of 20?
False
Let c = -12 + 50. Is 8 a factor of c?
False
Let w(o) = -o**2 + 7*o + 3. Let d be w(7). Let z(g) be the second derivative of g**4/12 + g**3/6 - 2*g**2 + g. Is z(d) a multiple of 4?
True
Let x(j) = -j**3 + 6*j**2 - j + 8. Let k be x(6). Suppose -5*z - 46 = -k*b, z = 8*b - 4*b - 110. Is 6 a factor of b?
False
Let n(r) = -r**2 - 8*r - 4. Suppose -24 = 4*j + 2*f, 4*f - 38 = 4*j - f. Does 2 divide n(j)?
False
Let h be 3 - (3 + -1) - -14. Let x = 24 + h. Does 13 divide x?
True
Let b be (4 - -1)*12/15. Suppose j + b*j - 65 = 0. Is j a multiple of 11?
False
Suppose -4 = -2*s + 52. Let j(m) = -m**3 + 2*m**2 - 2*m + 4. Let o be j(3). Let z = s + o. Does 17 divide z?
True
Suppose -5*b + 2*b + 528 = 0. Suppose 2*r - b = 3*n - 6*n, 83 = r - n. Is r a multiple of 18?
False
Suppose -3*o + 15 + 0 = 0. Is 2 a factor of o?
False
Let o(g) = -g - 7. Let c be o(-9). Suppose 0 = c*d + 4 - 0. Does 5 divide d/6 + 86/6?
False
Let c be 0 + (-6)/((-6)/(-3)). Let q(j) be the third derivative of -j**4/12 - j**3/3 - j**2. Is 4 a factor of q(c)?
True
Let c = -3 - 