. Suppose 4*c - 9 = 83. Let z = c + l. Does 7 divide z?
True
Let a be 21/(-2) - (-2)/(-4). Let c = 13 + a. Is 30*6/9 - c a multiple of 7?
False
Suppose 5*j = -j + 24. Is j even?
True
Let t(y) = -3*y**3 + 0*y**3 - 3 - 3*y**2 + 2*y**3. Let j be t(-3). Is j/(-2)*170/15 a multiple of 17?
True
Suppose 2 - 7 = -5*o. Suppose -o = -4*b - 5, 5*b - 15 = -4*d. Suppose -x + 10 = 4*x - d*y, 4*x + 2*y - 20 = 0. Is 2 a factor of x?
True
Suppose -15 = 3*w, w = -2*s - 52 + 239. Suppose 2*h = -h + s. Suppose 5*v = v + h. Is 8 a factor of v?
True
Suppose -3*m - 2*m + 5 = 0, 2*i - m = 9. Is i even?
False
Let k be -1 - ((-2 - -2) + -5). Let a be (-1)/4 - (-130)/8. Suppose -4*l - a = -2*c - 2*l, c - k = 2*l. Is c a multiple of 12?
True
Suppose -33 - 7 = -u. Is 6 a factor of u/3 - (-6)/9?
False
Suppose -s = 2*s - 6. Suppose -3*y - y = -n - 111, y + s*n = 39. Does 16 divide y?
False
Let b(t) = t**2 - 2*t - 2. Suppose -3*j + 4 = -3*o + 1, 0 = o + j - 7. Let r be b(o). Is 4 a factor of -3 + 9 - (2 - r)?
False
Let p(f) = 9*f - 2. Let b(z) = 5*z - 1. Let v(c) = 11*b(c) - 6*p(c). Does 3 divide v(2)?
True
Let o be (376/(-24))/(1/3). Let t be 2/5 + (-508)/20. Let j = t - o. Is 11 a factor of j?
True
Let u = -6 + 9. Suppose 0*l - 74 = -u*l + 5*w, -2*w - 24 = -l. Let n = l - 15. Is n a multiple of 8?
False
Let v(y) = -y**2 + 8*y + 7. Let q be v(7). Suppose -l - 2 + q = 0. Is (12/18)/(2/l) a multiple of 3?
False
Let s(f) = f**2 - 8*f. Let t be s(-6). Suppose -5*q + q = -t. Does 21 divide q?
True
Suppose -3 = 4*v - 2*h + 1, 4 = h. Is (v/1)/(1/6) a multiple of 3?
True
Let b = 7 - 3. Suppose -5*d = -231 - 409. Suppose 2*u = -4*j + 128, 0 = -4*j - u - b*u + d. Does 11 divide j?
False
Suppose f - 7 = -0. Let x be (-15)/2 - f/14. Let s(t) = -3*t - 2. Is s(x) a multiple of 11?
True
Is 12 a factor of (-15)/(0 - (2 - 1))?
False
Let w = -8 - -1. Does 5 divide (w + 2)*-1 + 1?
False
Let l = 13 + -8. Suppose -2*f - 281 = -l*o + f, -4*o + 220 = -4*f. Let s = -29 + o. Is 14 a factor of s?
False
Let w(c) = -c**3 - 2*c**2 + 2. Let q be w(-2). Does 7 divide 70/5*q/2?
True
Let g be 3 - (-6)/(-3)*1. Suppose 17 = h + g. Is h a multiple of 10?
False
Let k(h) = 26*h**3 - 8*h + 3. Let p(i) = -9*i**3 + 3*i - 1. Let u(w) = -4*k(w) - 11*p(w). Let n be u(-1). Suppose 4*d = n*d - 3. Does 3 divide d?
True
Let v be (-4)/(-14) - 104/(-28). Let i(n) = -n + 8. Is 4 a factor of i(v)?
True
Let l be 0 + 2/(-2) - 80. Let u = l + 117. Suppose -5*n - 2*t + 33 = 0, n + t + u = 6*n. Does 4 divide n?
False
Let a be 1/(-6)*2*-3. Does 13 divide 50/1 - a - -3?
True
Suppose t + t = 8. Suppose h + 8 = -2*n, -7 + t = -4*h - n. Suppose 4 + 10 = h*g. Does 6 divide g?
False
Let n be (-2)/(-7) + (-444)/(-14). Let w = n + -12. Is w a multiple of 20?
True
Let d = 57 + -29. Is 14 a factor of d?
True
Let n = 11 - -13. Does 24 divide n?
True
Suppose -4*c = 3*q - 60, q = 2*c - 13 - 7. Is 2 a factor of c?
True
Suppose 2*j + 10 + 15 = 5*n, 5*n - 3*j = 30. Suppose 20 = 4*v, -i - 4*i = n*v - 25. Suppose -4*z - 52 = -5*o, -i*z - z + 15 = 3*o. Is 4 a factor of o?
True
Does 11 divide 47 - (-4 + (-42)/(-6))?
True
Is 14 a factor of 3/(-5) - (-657)/45?
True
Suppose 0 = -3*v + 5*v - 3*w - 6, -5*v = -2*w - 26. Suppose 3*m - m = v. Is 3 a factor of m?
True
Suppose -2*m = m. Suppose -5*k + 83 = -4*n - m*n, -2*k + 3*n + 29 = 0. Is 13 a factor of k?
False
Suppose 2*n - 2*w = n + 13, -w = n - 28. Does 23 divide n?
True
Let n(i) = -i**3 - 9*i**2. Let y be n(-9). Suppose y = 4*m - 12, w - 4*m = -0*w - 13. Let t(k) = -15*k. Is t(w) a multiple of 12?
False
Let f(k) = k + k**2 + k + 8*k + 13. Let r be f(-10). Suppose -1 - r = -4*u - s, 5 = -u + 4*s. Is u a multiple of 2?
False
Let m be 8/(1 - (-3)/3). Let l(w) = -w**3 + 4*w**2 + 4. Let h be l(m). Suppose 2*d - 2*i = 12, -2*i - 15 = -h*d + 3. Does 2 divide d?
False
Suppose -4*t - 146 - 82 = -5*q, -2*t = -6. Is 10 a factor of q?
False
Suppose 0 = -7*f + 191 + 5. Does 7 divide f?
True
Let q(y) = 2*y**3 + 3*y**2 - 2. Let t(k) = k - 2. Let s be t(0). Let c be q(s). Let n(v) = -v**3 - 5*v**2 - v - 8. Does 16 divide n(c)?
False
Let q = 2 + 0. Suppose q*s - 2 = 2. Suppose -s*g + 3*g = 4*r - 24, -39 = -5*r - g. Is 4 a factor of r?
False
Suppose 3*y - 50 = 5*y. Is y/(-2) + (-2)/4 a multiple of 6?
True
Let k = 6 - 10. Is (k/5)/(1/(-60)) a multiple of 18?
False
Let n(s) = -s**3 + s**2 + 1. Is 7 a factor of n(-2)?
False
Suppose x = -2*x + 102. Is 17 a factor of x?
True
Let d be -1 - 1/(4/(-60)). Suppose -43 = -n - 3*n - 3*h, -2*n = 4*h - d. Does 6 divide n?
False
Let h be (0 - (-12)/(-4))/(-1). Suppose -n - 41 = -4*v, h*v - 4*v = n - 9. Is v a multiple of 3?
False
Suppose -p - 141 = -4*p. Let i = 112 - p. Is i a multiple of 20?
False
Let y(x) = -2*x - 8. Let b(w) = w**3 - 5*w**2 - 7*w - 1. Let n be ((-2)/3)/((-5)/45). Let o be b(n). Does 4 divide y(o)?
False
Suppose o = 3 - 0. Does 18 divide 474/9 - (-1)/o?
False
Let l = 36 - -13. Let w = l + -19. Is w a multiple of 15?
True
Let s = -13 + 13. Suppose -4*r - r = -5, s = 3*f - 2*r - 46. Does 8 divide f?
True
Let g be 2/(-4) - 76/8. Does 2 divide 9/2*g/(-15)?
False
Suppose 6*m + 172 + 104 = 0. Let c = 23 - m. Is 23 a factor of c?
True
Let b = 14 + -7. Let p(x) = -x**2 + 11*x - 6. Does 11 divide p(b)?
True
Let s(q) = 2*q**2 - 5*q - 9. Let g = -9 - -15. Is s(g) a multiple of 33?
True
Does 16 divide 197/3 - 16/(-12)?
False
Let n = -6 - -46. Is n a multiple of 16?
False
Suppose 9*i - 4*i - 3*o - 200 = 0, 3*o = -3*i + 96. Suppose 2*w - 75 = i. Is w a multiple of 12?
False
Suppose 4*b - 84 = -5*k + 16, -2*k = b - 40. Suppose k - 4 = n. Does 10 divide n?
False
Suppose 9 = -z - 2*z. Is 3 a factor of (3 + -7)/(2/z)?
True
Let x(a) = -117*a**3 - a**2 - a - 1. Is x(-1) a multiple of 29?
True
Is 13 a factor of 3 + (-3)/(6/(-52))?
False
Let o(x) = -26*x**3 + x**2 + 2*x + 1. Does 17 divide o(-2)?
False
Suppose 72 = -a + 3*a. Is 12 a factor of a?
True
Does 14 divide (-3 + 4)/2*364?
True
Let d(w) = -2*w + 10. Let s be d(8). Let k(m) = m**2 + 4*m - 7 + 2*m - 2*m. Is k(s) a multiple of 2?
False
Is 4 a factor of 13 - (1 - 1) - 1?
True
Suppose -4*r + 20 = 0, 0 = 4*x - 3*r + 4*r - 357. Is x a multiple of 8?
True
Suppose -2*r = -5*b - 433, b + 435 = 2*r - 2*b. Is 29 a factor of r?
False
Let h(s) = -6*s - 4. Let y(o) = -1. Let c(v) = -h(v) + 3*y(v). Is 8 a factor of c(2)?
False
Suppose 0*u - 100 = 5*u. Let c = u + 29. Is c a multiple of 3?
True
Suppose 0*q = -2*q + 30. Suppose 3*b - 2*b - 6 = -g, -q = -3*g - 2*b. Suppose g*u - 26 = 94. Is u a multiple of 12?
False
Let t be -31 + -2 - (1 - -2). Let a = -26 - t. Is 10 a factor of a?
True
Suppose 2 - 8 = -2*r - 2*y, 5*r + 3*y - 15 = 0. Is 2 a factor of r?
False
Suppose -5*h - 2*r + 5 = 3*r, -r = 5*h - 1. Suppose 5*p - p = -8, -2*m - 2*p + 44 = h. Is 6 a factor of m?
True
Let b(i) = -i**3 + 9*i**2 + 7*i + 17. Is b(9) a multiple of 20?
True
Let w = 304 + 166. Is 19 a factor of 2/8 + w/8?
False
Let k = 2 + 10. Let v = -4 + k. Does 4 divide v?
True
Suppose -3*r = -r - 3*a + 5, 2*a = -5*r + 16. Suppose -4*h + r = -6. Suppose 2*n - 2*q = 3*q + 7, -2*q = h*n - 14. Is 6 a factor of n?
True
Let c be (-23)/(-6) - (-6)/36. Suppose -c*o + 70 = -6. Is 16 a factor of o?
False
Suppose 10 = 2*m - 0*m - 2*f, 0 = -m + 3*f + 13. Let y(g) = -g**3 - 3*g**2 + 4*g + 2. Let x be y(-4). Suppose m = -x*u + 53. Does 13 divide u?
True
Let h(l) = -48*l**3 + l**2 - 1. Is h(-1) a multiple of 8?
True
Let i be (-6)/(-8) - 1275/(-12). Suppose 183 = 5*w + 2*b, 3*w - 4*b - i = -8*b. Is 10 a factor of w?
False
Let c = 77 - 62. Is c a multiple of 6?
False
Does 2 divide 1612/91 + (-4)/(-14)?
True
Let v(m) = 2*m**2 + 3*m - 2. Let k be v(-4). Let q = 21 + k. Is 1 - -1*(-2 + q) a multiple of 13?
False
Let m = -2 - -7. Suppose -2*x + 20 = 2*x, 0 = m*j - 4*x - 50. Is j a multiple of 14?
True
Let c(b) = b**3 - 2*b**2 + 2*b - 1. Let z be c(2). Let g be (2/z)/((-3)/(-9)). Suppose 0 = g*s + 3*s - 40. Is 6 a factor of s?
False
Let x(l) = -l**3 - 6*l**2 - 5*l. Let y be x(-5). Suppose -3*s = -y*s - 21. Is 7 a factor of s?
True
Suppose 2*b - 7 - 11 = 3*v, 8 = -2*v. Let m be (1/b)/((-2)/(-12)). Suppose -m*q + 26 = -q. Is 19 a factor of q?
False
Suppose 50 = 2*n - 406. Suppose 5*g - 25 - 45 = 0. Is 4/(-14) + n/g a multiple of 9?
False
Suppose 0 = -5*r - 2 + 32. Let t be 2 + 1 - (-38)/(-2). Does 6