?
True
Suppose -3*u - 5 = -4*u. Suppose 2*a + a = 4*h + 121, -97 = 4*h + u*a. Let g = h - -46. Is 7 a factor of g?
False
Suppose 7*a - 15 = 2*a. Suppose 0 = 4*x - 5*x - 3, 84 = 5*w - a*x. Is 5 a factor of w?
True
Let k = 23 + 43. Is k a multiple of 26?
False
Let x(q) = 5*q**3 - 20*q**2 - 2*q + 3. Let a(f) = 11*f**3 - 41*f**2 - 3*f + 5. Let j(d) = 6*a(d) - 13*x(d). Does 14 divide j(-13)?
True
Let n(w) = -w**2 - 9*w - 3. Let c be n(-8). Let u = c - 2. Suppose -u*v = -2*v - 20. Is v a multiple of 10?
True
Let d be 6/(-4) + 29/2. Let w = -1 + d. Does 13 divide w/10*160/12?
False
Let h = 5 - 2. Suppose 0 = -2*t + 2, 2*t - 146 - 15 = -h*z. Suppose -r = 5*i - z, 2*r = r + i + 35. Does 19 divide r?
True
Let g = 12 + 13. Is 168/(-20)*g/(-2) a multiple of 22?
False
Suppose 0 = -2*a + 7*a. Suppose a = -4*q + 15 - 3. Suppose 4*y - q*y - 16 = 0. Does 8 divide y?
True
Let u(a) = -8*a + 4. Is u(-3) a multiple of 14?
True
Suppose 4*g + 12 = 0, 3*i - 3*g - 15 = 2*g. Suppose 2*k - k - 9 = i. Suppose 4*c - 3*c - k = 0. Is 4 a factor of c?
False
Let v(n) = 13*n - 4. Is 9 a factor of v(1)?
True
Suppose 13*n = 8*n + 595. Is 21 a factor of n?
False
Let i = 138 + -36. Is i a multiple of 22?
False
Suppose 3*y = 11*y - 1160. Is 8 a factor of y?
False
Let h = -2 + 4. Let f be (1/h)/((-1)/(-10)). Suppose f*t - 75 = -0. Does 15 divide t?
True
Suppose -30 = -2*n + 3*k, k + 24 = 4*n - 36. Let l be -3*3/((-27)/n). Suppose -l*v - a = -114, -2*v + a + 18 = -v. Is 11 a factor of v?
True
Let s(v) = -v**3 - 12*v**2 - 2*v. Does 12 divide s(-12)?
True
Let m be (-4)/(-18) - (-102)/27. Let w(g) = g**2 - 5*g + 4. Let y be w(m). Let v(u) = -u**3 + u + 5. Does 5 divide v(y)?
True
Suppose h - 5 = -16. Let y = h + 35. Is 12 a factor of y?
True
Let a = 187 - 87. Does 25 divide a?
True
Let y(k) = 82*k**3 - k**2 - 3*k + 4. Does 14 divide y(1)?
False
Is ((-203)/(-14) - 2/4) + 1 even?
False
Let x = 1 + -1. Suppose x = 3*c - c. Suppose 4*q = 4*y + 128, c = q + 5*y - 2. Is q a multiple of 9?
True
Does 18 divide (0 + -8)/((-1)/3)?
False
Let t(m) = m**3 + 10*m**2 + 7*m - 8. Let k be t(-9). Let x = k + -9. Is (-23)/(2/(-2)*x) a multiple of 14?
False
Suppose 0 = -5*c - 125 + 5. Let v = -14 - c. Is v a multiple of 7?
False
Suppose 0 = -4*d + 3*d + 2. Let o be (-8)/d - 0/4. Let w = o + 15. Does 11 divide w?
True
Suppose g + 32 - 109 = 2*z, 5*z + 154 = 2*g. Let j be g/35 + (-1)/5. Suppose a - 51 = -j*a. Does 15 divide a?
False
Let q(v) = -v**2 + 2*v + 2. Let c(k) = k. Let g(l) = 2*c(l) - 2*q(l). Is g(3) a multiple of 8?
True
Let x(a) = -a + 10. Let k be x(8). Suppose 50 + 82 = 3*p + 4*b, k*p = 5*b + 65. Is p a multiple of 17?
False
Let q(h) = -h**2 + 8*h - 3. Is 4 a factor of q(6)?
False
Let f(n) = n. Suppose -5*j + 20 = -j. Let k be f(j). Suppose k*w - 12 = 3. Is w a multiple of 3?
True
Suppose -5*r + 21 + 39 = -2*o, -3*o - 4*r - 90 = 0. Let t = o - -58. Is 12 a factor of t?
False
Does 11 divide 1/(4/(-40)*10/(-105))?
False
Let n(k) = -2*k**3 + 5*k**2 - k + 4. Let c be n(6). Let m = 175 + c. Is (-6)/21 + m/(-7) a multiple of 11?
True
Suppose 3*l = -5*k + 451, 4*k - l - 359 = -4*l. Does 23 divide k?
True
Let v = 1 + 3. Suppose 84 = v*o - 0*o. Is o a multiple of 7?
True
Let n(i) = -i**2 + 9*i - 5. Let r be n(7). Suppose 5*o - g - 34 = -r, -2*o - 3*g + 10 = 0. Is o a multiple of 5?
True
Let y(z) = z**3 + 4*z**2 - 7*z - 5. Let f be y(-5). Let t(q) = 5 - 3 + 2*q - 3. Is t(f) a multiple of 6?
False
Let l(y) be the first derivative of 8*y**2 - y + 1. Is l(4) a multiple of 25?
False
Suppose 0*p = 5*p - 10. Suppose 0 = 2*v + 8, 4*v - p = -3*x + 3*v. Is x even?
True
Let g(z) = 84*z**2 + 4*z - 2. Is g(1) a multiple of 13?
False
Suppose -s + 6 = -q, -3*s - 20 = -5*s + 4*q. Suppose -m + 63 = s*m. Let j = m - 13. Is j a multiple of 4?
True
Let p(d) = -d**2 + d - 11. Let o(b) = 1 - 6 - 3 + 2*b - 4 - b**2. Let c(g) = 5*o(g) - 6*p(g). Is c(-5) a multiple of 7?
False
Let g(o) = 8 - o**2 + 0*o**2 - 4*o - 8*o. Let v be g(-12). Is (-8)/(-3)*12/v even?
True
Suppose -120 = -3*l - l. Is l a multiple of 10?
True
Suppose 5*a = -4*s + 369, s + 5*a - 31 = 50. Is s a multiple of 16?
True
Suppose -3*p + 587 = 4*o, 3*o - 5*p = -3*p + 419. Is 11 a factor of o?
True
Let m be (-4 - 1) + (2 - 0). Let g(j) = -6*j - 4. Is g(m) a multiple of 7?
True
Let f(i) = i**3 - 4*i**2 - i + 3. Let b be f(4). Let a be (-1 - b)/(3 - 1). Suppose a = 5*n + m - 87, -2*n = -4*n - 3*m + 40. Is 17 a factor of n?
True
Suppose -38 = c - 130. Suppose i + 0*i - 204 = -5*g, -2*g - 3*i = -c. Suppose 12 = 3*u, 0 = 4*s + 5*u - g - 8. Is 3 a factor of s?
False
Let r = -33 - -83. Is r a multiple of 25?
True
Suppose 0 = a + 3*a + 3*s - 32, -2*a + 2*s = -16. Let t = a + -6. Is t even?
True
Suppose -q - 3*q + 16 = -2*c, 5*q - 15 = 5*c. Let u be (-12)/(c + 0) + 0. Does 8 divide 100/(-8)*u/5?
False
Suppose -3 = -5*k + 12. Let v(c) = 3*c**2 + c + 1. Is 12 a factor of v(k)?
False
Let f(p) = 12*p - 1. Let n be f(2). Suppose -4*u - 2 + 10 = 0, -y + n = 3*u. Is 10 a factor of y?
False
Suppose 95 = -2*m + 403. Does 10 divide m?
False
Does 39 divide (-1 + -26)/3*65/(-3)?
True
Is (5 + (-258)/(-30))/((-4)/(-50)) a multiple of 10?
True
Is 8 a factor of (-3 + 2)/((-4)/124)?
False
Let n(w) = -w**2 + 4*w + 5. Let i be n(5). Suppose 3*v + v + 616 = i. Is 19 a factor of v/(-8) + 6/(-24)?
True
Suppose 8 = 5*t - 2. Let q(z) = z**2 + 3*z - 2. Does 8 divide q(t)?
True
Suppose -5*h + 253 + 339 = -2*q, -h = -5*q - 100. Is 40 a factor of h?
True
Is 15 a factor of (24 - (4 + -2))*2?
False
Let i(x) = -17*x + 1. Let w(n) = -n**3 + 12*n**2 - 10*n - 12. Let p be w(11). Does 18 divide i(p)?
True
Suppose 0*h - 2*o + 12 = 2*h, -5*o - 2 = -3*h. Let n(d) = 3*d**2 + d + 5. Let z be n(-4). Suppose 0 = -5*t + h*s + 118, 0*s - s = -2*t + z. Does 8 divide t?
False
Suppose -2*j + 41 = p - 25, 4*p - 264 = j. Is 10 a factor of (p/(-18))/((-1)/3)?
False
Let p be (10/8)/((-1)/4). Let s = 8 + p. Suppose s*c + 42 = 6*c. Is c a multiple of 14?
True
Let i(z) be the first derivative of -6*z**2 - 4*z + 6. Is 13 a factor of i(-4)?
False
Is 28 a factor of 0*(1 - 0) - 592/(-4)?
False
Let n be 7*(-3 - (-81)/21). Suppose -2*u = -n - 12. Is u a multiple of 4?
False
Let q = 8 - 21. Let z = 44 + q. Suppose -4*s = -33 - z. Is s a multiple of 10?
False
Let r(b) = b**2 + 8*b + 10. Let l be r(-7). Suppose -d - o + 39 = -2*o, -5*o = l*d - 109. Suppose -5*t = 3*u - 55, 4*u - d = -t + 41. Is u a multiple of 14?
False
Let h(z) = -5*z - 10. Let t be h(-7). Let x = -14 + t. Let r = 17 - x. Is 6 a factor of r?
True
Let n(m) = -m**2 + 3. Let q be n(0). Suppose q*r + 0 = -3. Is ((-2)/(-4))/(r/(-34)) a multiple of 16?
False
Let n = -18 + 22. Suppose -2*h - 4*t = -120, n*h + 4*t - 225 + 1 = 0. Does 14 divide h?
False
Let g(b) = b**2 - 10*b + 8. Let s be g(9). Is 27 a factor of (-483)/(-9) + s/(-3)?
True
Let u = 0 + 5. Suppose -u*r + 325 = -5. Is r a multiple of 22?
True
Let c(r) = -r**2 - 4*r. Let h be c(-3). Let w = 3 - h. Let l = 4 + w. Is l a multiple of 4?
True
Let b be 6/(-9)*(-18)/4. Does 15 divide (b - -54)/((-6)/(-4))?
False
Is -2 - (-9 - -4) - -21 a multiple of 12?
True
Is (-20)/(-3)*84/10 a multiple of 6?
False
Suppose 2*f + j - 4 = 0, -3*f = j - 5 + 1. Suppose f = -3*k - 2*k + 170. Is 16 a factor of k?
False
Let f(c) = -35*c**3 + 2*c**2 - 1. Is f(-1) a multiple of 12?
True
Suppose 3*a = 2*a - j + 15, 0 = -2*a + 2*j + 14. Is 3 a factor of a?
False
Let u = -7 + 11. Suppose u*h = -3*s + 2 + 6, -5*h + 4*s = -41. Is (3 - 2)/(1/h) a multiple of 2?
False
Let h(g) = -g**3 + 3*g + 2. Let f(p) = -1. Let v(m) = -6*f(m) - h(m). Let n be (-11)/(-22)*(-6)/(-1). Is 11 a factor of v(n)?
True
Let b be (-13 + 1)*(-2 - -3). Does 12 divide 3/(-12) - 147/b?
True
Suppose -4*z + 3*v = 8 + 16, 2*v - 8 = 0. Let u = 7 - z. Is 4/10 - (-236)/u a multiple of 9?
False
Let s(r) = -42*r**3 - r**2 + r + 2. Does 14 divide s(-1)?
True
Let r = 45 - 10. Is 34 a factor of r?
False
Let j(u) = -6*u - 7. Let v(p) = -p + 1. Let i be v(11). Is j(i) a multiple of 23?
False
Let f be 6 - -1*2/2. Let l = 120 - 35. Suppose 2*d + l = f*d. Is d a multiple of 17?
True
Let v(m) = 3*m**3 - m**2 - 2*m + 1. Let l be ((-4)/(-6))/(3/9). Does 10 divide v(l)?
False
Let s be (0 - (2 + -3)) + 18. Let p be -26*(1 - 2/4). Let a = s - p. Is 12 a factor of a?
False
Suppose -2*x + 5*u - 14 