Suppose -256 = -i - y*i. Is 19 a factor of i?
False
Let t(n) = -6*n + 8. Does 26 divide t(-16)?
True
Suppose 90 = 3*t + 5*n, 2*t - 5*t + 90 = n. Does 15 divide t?
True
Suppose 5*n - 111 - 164 = 0. Suppose 0 = -p + 9 + n. Is p a multiple of 32?
True
Let t(k) = 5*k**2 - 2*k + 1. Let a be t(1). Suppose 0 = a*z - 5*z + 36. Is 12 a factor of z?
True
Let k(a) = -27*a - 18. Is k(-8) a multiple of 9?
True
Suppose f + 4*f = 0. Suppose -3*p + 3*k + 201 = -f*p, -5*p + 341 = k. Let s = 105 - p. Is 17 a factor of s?
False
Suppose -4*m = 4*u - 976, -10*u - 5*m + 728 = -7*u. Is u a multiple of 36?
False
Suppose -5*p - 45 = -v, 4*v - p = 4*p + 105. Does 6 divide 24/v*(2 + 3)?
True
Let g = -52 - -160. Suppose -4*x + g = -12. Is x a multiple of 15?
True
Let p(t) = 3*t - 4. Let l be p(3). Suppose -l*y + 7*u - 162 = 3*u, 0 = 4*y + 2*u + 140. Let h = -20 - y. Is 14 a factor of h?
True
Suppose 3*h - 144 = 6*h. Let o = h + 5. Let s = -21 - o. Is 12 a factor of s?
False
Suppose 5 - 17 = -4*h. Suppose 15 = y + h*t, 2*y - t = 3*y - 15. Is 15 a factor of y?
True
Let c be 55/10 - (-6)/(-4). Suppose -c*y - 3*j + 68 = -4*j, 0 = 5*y + 5*j - 110. Does 7 divide y?
False
Let j = 187 - 123. Is 26 a factor of j?
False
Suppose 2*d + 90 = 7*d. Let q = d - 2. Suppose 4*m + 4*a - 38 = -a, 2*m + 4*a - q = 0. Is m a multiple of 12?
True
Suppose -2*p - 66 = -2*u, 174 = 5*u + 4*p + 36. Is 6 a factor of u?
True
Let b be 1 - (-4*1 + 3). Suppose 0 = 5*q + 25, 0 = b*u - q + 2*q - 43. Is u a multiple of 12?
True
Let p = -25 - -50. Suppose v + 15 = 4*v + 4*i, 4*i + p = 5*v. Suppose -v*f + 80 = -125. Is f a multiple of 28?
False
Let n(i) = -i**2 - 14*i - 2. Is n(-10) a multiple of 19?
True
Let y be ((-36)/10)/((-6)/20). Suppose -y = 4*b - 4*t, 5*t = 6*b - 2*b + 17. Suppose -b*f + 34 = 8. Is f a multiple of 5?
False
Let q(f) = 7*f - 5. Let z(a) = a**3 - 6*a**2 + a - 4. Let k be z(6). Let h(o) = 13*o - 11. Let i(c) = k*h(c) - 5*q(c). Does 15 divide i(-3)?
True
Suppose -4*a - m + 369 = 0, 2*a = -4*m + 204 - 30. Suppose a = 3*n - 0*n. Does 7 divide n?
False
Suppose -23 = -c + 9. Is 9 a factor of c?
False
Suppose -6 - 6 = -o. Suppose -4*b = -8 - o. Is b even?
False
Suppose k = -1 + 3. Let u = -7 + 8. Is 10 a factor of (0 + k)*u*9?
False
Suppose 132 = 5*p + 2*b + 52, -p + 16 = 3*b. Suppose 2*l - l - x - 27 = 0, 0 = -2*l - 5*x + 40. Let d = l - p. Is d a multiple of 3?
True
Let j(c) = 5 - 3*c - 1 - 3 + 0. Is 4 a factor of j(-3)?
False
Suppose i - 37 = 5*h, -h - h - 300 = -5*i. Suppose 9*g = 4*g + 15. Suppose 33 = 2*c - 3*x, -g*c - 3*x = -i - 25. Does 10 divide c?
False
Let a(t) = t**3 + t**2 + 12. Let j(m) = m**3 - 3*m**2 + m - 3. Let w be j(3). Does 3 divide a(w)?
True
Is 20 a factor of -1 + (-6 - -4) + 28 + 2?
False
Let l(o) = -o**2 + 11*o + 3. Let d be l(11). Suppose -t + d*u + 1 + 1 = 0, -3*t + 2*u = -41. Is t a multiple of 6?
False
Let r(g) = g**3 - 6*g**2 - 6*g - 7. Let m be r(7). Suppose 2*j - 15 = -5*k - j, -23 = -3*k + j. Let p = m + k. Does 3 divide p?
True
Suppose 4*q + t - 5 = -1, 4*q + 3*t - 12 = 0. Suppose 3*v - 42 - 12 = q. Is 5 a factor of v?
False
Suppose s + 5*g + 25 = 2*g, 4*s = 5*g - 83. Let w = s - -15. Let i(o) = -o**3 - 8*o**2 - 10*o - 7. Is i(w) a multiple of 14?
True
Let f(x) = 54*x**3 + 2*x**2 - 1. Does 11 divide f(1)?
True
Let r(g) = -g**2 - 12*g + 7. Let q(k) = 2*k**2 + 24*k - 15. Let i(v) = -3*q(v) - 5*r(v). Let u be i(-10). Let h = 44 - u. Is h a multiple of 7?
True
Suppose 0 = 5*w + 2*b + 4, -5*w + b + 0 = -2. Suppose -5*d - 20 = -5*o, -4*o + 2*d - 9 + 23 = w. Suppose -o*i = -4*n + 2*i + 30, 4*n + 4*i - 12 = 0. Is n even?
False
Suppose 70 = -4*q + 5*q + f, 4*q - 4*f - 272 = 0. Does 14 divide q?
False
Let y(q) = q. Suppose f + t = 7, 2*f + 5*t + 1 = 27. Let n be y(f). Suppose -2*p - n*x = -22, 3*x - x = -3*p + 23. Is p even?
False
Let a be 2/3 - 8/(-6). Let n(s) = a*s + s - 2*s. Does 7 divide n(8)?
False
Suppose -5*x = -5*l + 75, -2*l + 2*x - 90 = -6*l. Suppose 0 = -a - 5*m - 3 - 1, -2*m - 28 = -4*a. Suppose 2*q = a + l. Is q a multiple of 8?
False
Let k = -47 - -11. Let g = 18 + k. Let d = -6 - g. Does 12 divide d?
True
Let y(d) = d**3 + d + 151. Let c be y(0). Suppose 5*t - 119 - c = 0. Let j = t + -20. Is 17 a factor of j?
True
Suppose 0 = -2*p - 3*z + 309, -4*z + 161 - 491 = -2*p. Suppose 4*t - t - p = 0. Is 14 a factor of t?
False
Let f be (-26)/(1 - (5 - 2)). Suppose 4 = -2*t, 0 = -4*p + 5*t + f + 5. Suppose -p*o = 3*o - 105. Is 10 a factor of o?
False
Let h(v) = 2*v**2 - 2. Let p = 7 - 1. Let g = p - 10. Is h(g) a multiple of 18?
False
Let v = 91 + -37. Does 4 divide v?
False
Is ((-81)/18)/(2/(-192)) a multiple of 48?
True
Suppose -68 + 653 = 5*f. Is 15 a factor of f?
False
Let y(x) = 4*x - 7. Is y(7) a multiple of 6?
False
Suppose 0 = 4*o + 116 - 12. Let x = 40 + o. Does 10 divide x?
False
Let u = 6 - -1. Is u a multiple of 7?
True
Let f(g) = 6*g**3 - g**2 - g**2 + 1 + 2*g**2. Is 3 a factor of f(1)?
False
Suppose -b = -18 - 0. Let g be (b/8)/((-6)/(-16)). Suppose -4*k = -d + 47 - g, -120 = -5*d + 3*k. Is d a multiple of 7?
True
Let a be ((-12)/6)/(2/7). Does 12 divide (-178)/(-7) + 3/a?
False
Let u = 33 - 22. Does 5 divide u?
False
Let l(r) = -7*r + 2. Does 7 divide l(-2)?
False
Let n = -4 + 31. Is n a multiple of 9?
True
Suppose -5*h - 2 + 22 = 0. Suppose -2*j = 3*u - 6*u + h, -2*u - 5*j + 9 = 0. Suppose 20 = -5*i, d + u*i = -2 + 53. Is d a multiple of 15?
False
Let d(o) = o**2 + o - 26. Let b be d(0). Let w = 6 - b. Is w a multiple of 13?
False
Suppose 0 = -2*s + 5*x + 547, -5*s + 2*s + x = -788. Does 29 divide s?
True
Suppose 1658 = 6*x - 322. Does 22 divide x?
True
Suppose o = 45 + 42. Is 29 a factor of o?
True
Let b = -65 - -132. Is b a multiple of 16?
False
Suppose 3 = -5*t + 18. Suppose 40 = t*m - 8. Does 6 divide m?
False
Let a(n) = -2*n**2 - n**2 - 5 + 2*n - 2 + 2*n - n**3. Let u = 1 - 6. Is a(u) a multiple of 13?
False
Does 15 divide -3 - (-35)/10*18?
True
Let h(d) = d**3 + 5*d**2 - 5*d + 2. Is h(-5) a multiple of 9?
True
Let r(z) = z**3 + 6*z**2 - 6*z + 9. Let c be r(-7). Suppose c*q - 54 = q. Does 24 divide q?
False
Let f(m) = 10*m**2 + m - 13. Is 27 a factor of f(4)?
False
Let z be ((-18)/(-45))/((-2)/(-320)). Suppose 3*a - 5*a = -z. Is a a multiple of 8?
True
Let m = 46 - -22. Is 17 a factor of m?
True
Suppose 6 = 5*z + y - 1, -5*z + 4*y - 3 = 0. Suppose 0 = -2*l + z + 87. Let f = l + -17. Does 9 divide f?
True
Let c = 168 - 99. Does 23 divide c?
True
Let s = 155 + -78. Does 8 divide s?
False
Suppose 2*r = r + 3. Suppose 0 = -g - p + 10, p - 19 = -r*g + 19. Is 14 a factor of g?
True
Let s(c) = c**3 + c**2. Let w be s(2). Let t = -2 + w. Is 5 a factor of t?
True
Let p = -4 - -5. Is (8/8)/(p/9) a multiple of 4?
False
Let v be (-9*1 - -3)/(-2). Suppose v*d - 36 = -5*k + 2*d, 2*k - 24 = 2*d. Is 3 a factor of k?
False
Does 13 divide (-1 - (-3)/5)/(6/(-900))?
False
Is 10 a factor of 2*(69/6 + 3)?
False
Suppose -2*g - 19 - 39 = 0. Let r = -5 - g. Is r a multiple of 12?
True
Suppose 0 = 5*n - 9*n + 56. Is 7 a factor of n?
True
Let g = 398 + -263. Is g a multiple of 9?
True
Let c(j) = j**2 - 8*j + 3. Let d be c(8). Let w(s) = 2*s**2 + 3 + 0*s + 3*s**2 - 5*s - s**3. Is w(d) a multiple of 6?
True
Suppose -5*u - 4*f = -31, 2*f = -5*u + 32 - 9. Let w be (0 + -1)/(u/(-30)). Suppose b = 20 + w. Does 12 divide b?
False
Suppose -2*s + 4*s = 6. Let y be 5*1*2/5. Suppose -b + y*p + 70 = s*b, 5*b = -2*p + 65. Does 5 divide b?
True
Suppose 0*t = -5*v + t + 172, 0 = 5*v - 4*t - 163. Is v a multiple of 7?
True
Let x(m) = -m**3 - 3*m**2 + 3*m - 1. Let g be x(-4). Suppose -g*t = 4*z - 95, -t + 66 = 3*z - 4*t. Does 4 divide z?
False
Suppose 7 = -3*i + 4*i + 5*x, i + 7 = 2*x. Is i/(-2)*(-120)/(-9) a multiple of 8?
False
Let z = 19 - 16. Suppose z*p - 3*x = 189, 5*p - p + x - 227 = 0. Is 12 a factor of p?
False
Suppose 7*b = 8*b - 6. Suppose -b*r = -10*r + 88. Does 22 divide r?
True
Let v be (-15)/10 - (-11)/2. Suppose v*z - 120 = z. Is z a multiple of 20?
True
Suppose 4*n = n - 12. Let k be ((-20)/8)/(2/n). Let i = 11 - k. Does 3 divide i?
True
Suppose y = 3, 4*p + 3*y + 961 = -p. Is 7 a factor of p/(-22) + (-2)/(-11)?
False
Let j = 39 + 62. Is 14 a factor of j?
False
Let g(m) = -8*m**2 + m + 4. Let o(p) = -23*p**2 + 2*p + 11. Let b(j) = 8*g(j) - 3*o(j). Let r be b(-2). 