 143 = 3*i, 2*i + 77 = -u*c. Let t = -25 - i. Is 6 a factor of t?
True
Suppose -h + 3 = 0, -4*y + y + 63 = -3*h. Suppose 0 = -2*o - o + y. Is o a multiple of 4?
True
Suppose 186 = 2*g - 60. Does 24 divide g?
False
Suppose -l - l = 18. Let o(r) = -2*r + 6. Is 18 a factor of o(l)?
False
Let k(z) = -13*z**2 - 8*z + 3. Let s be k(5). Is 6/(-30) + s/(-10) a multiple of 12?
True
Let u(d) = -3*d**2 + 3*d - 8. Let q(a) = -2*a**2 + 2*a - 7. Let m(n) = 4*q(n) - 3*u(n). Is m(-5) a multiple of 13?
True
Suppose 534 = 3*j + 3*l, 258 + 108 = 2*j - 3*l. Does 36 divide j?
True
Let q(y) = -y**3 - 2*y**2 + 13*y + 5. Is 32 a factor of q(-6)?
False
Suppose z - 69 = -5*n + 12, 2*z + 93 = 5*n. Let y = 41 - n. Does 6 divide y?
True
Let p(i) = i**3 - 7*i**2 - 5*i - 8. Let w = 16 - 8. Is p(w) a multiple of 8?
True
Let x(q) = 9*q + 5. Does 17 divide x(7)?
True
Suppose -8 = 5*s + 37. Let b(g) = -g**2 - 10*g + 10. Does 19 divide b(s)?
True
Suppose 2*w + 2*m + 88 = 5*w, 0 = 3*m + 6. Is 7 a factor of w?
True
Let u(l) = -l + 8. Let w be u(10). Let q be (3 + -6)/((-3)/w). Let n = q - -32. Does 21 divide n?
False
Let u(v) be the second derivative of -v**3 + 7/2*v**2 - v + 1/12*v**4 + 0. Is u(5) a multiple of 2?
True
Suppose -5*p + 2*c = -280, c + 2*c = p - 56. Is 7 a factor of p?
True
Let n(q) = -5*q**3 + 17*q**2 + q - 17. Let o(b) = 2*b**3 - 6*b**2 + 6. Let s(y) = -3*n(y) - 8*o(y). Does 12 divide s(-3)?
True
Let y = 14 + 4. Let t be 14/63 - 4/y. Suppose t*q - q = -48. Is q a multiple of 18?
False
Suppose -456 = -5*g + 4*j, -3*g = -8*g - 4*j + 424. Let q = 109 + g. Suppose 3*a - q + 59 = 0. Is 17 a factor of a?
False
Let p(m) = -m - 8. Let x be p(-11). Is (-1)/(x/(-54)) - -1 a multiple of 6?
False
Is (48/60)/((-2)/(-40)) + 3 a multiple of 4?
False
Suppose -k - 3 = -13. Is k a multiple of 5?
True
Let f(u) be the second derivative of u**6/360 + u**5/24 + u**4/8 + u**3/3 + 2*u. Let o(d) be the second derivative of f(d). Is 13 a factor of o(-7)?
False
Is ((-21)/(-3) - 2) + 3 a multiple of 4?
True
Let p be 28/6 + (-12)/18. Let g(a) = 2*a**2 - 3*a - 5. Does 11 divide g(p)?
False
Is 47 a factor of ((-1464)/(-20) - -2)*(-30)/(-12)?
True
Let g(d) = d**3 + 7*d**2 - 8*d - 9. Let h be g(-8). Let u = 0 - h. Is 9 a factor of u?
True
Let r(k) = -4*k**2 + 3 + 3*k**2 + 5*k + 2*k**2 - 2*k**2. Let a be r(3). Suppose 2 - 14 = -f + m, 0 = -f + 4*m + a. Does 6 divide f?
False
Let v = 20 + -1. Suppose v + 29 = 4*a. Is a a multiple of 12?
True
Is 86/2 + (-4)/(-2) + -1 a multiple of 11?
True
Suppose -4*c + 4*f = -8*c + 880, 0 = -3*f. Does 44 divide c?
True
Let g be (2 - (-2)/(-2)) + -2. Is (1*g)/(10/(-60)) a multiple of 6?
True
Suppose -4*q - 4 = x, 8 = 2*x - q - 20. Suppose 4*y + 3*r + 14 = 2*y, -5*y - 14 = -3*r. Does 10 divide (-81)/y + (-3)/x?
True
Does 12 divide (91 - -3) + 6/3?
True
Let k(w) = w**3 + 8*w**2 + 5*w - 1. Let z = -16 + 9. Does 5 divide k(z)?
False
Let z be (0/(-2) - 3) + 13. Suppose 5*d + 5*r = z, 0*r - 24 = -3*d + 3*r. Does 5 divide d?
True
Let i(p) = -3*p**3 - 1. Let w be i(-1). Suppose 4*o - 22 = w*o. Does 10 divide o?
False
Let w(y) = -5*y**3 - y**2 + 15*y - 23. Let j(u) = u**3 - u**2 - u + 1. Let k(f) = 6*j(f) + w(f). Is k(7) a multiple of 32?
False
Let q = -73 + 187. Does 38 divide q?
True
Let m be 3 + 12/(-4) + 75. Suppose -4*x + 109 = -m. Is x a multiple of 23?
True
Let t(k) = 7*k**3 - 3*k**2 + 10*k - 4. Let m(a) = 3*a**3 - 2*a**2 + 5*a - 2. Suppose 3 = -j + 8. Let x(z) = j*m(z) - 2*t(z). Does 19 divide x(5)?
False
Suppose 3 = 3*p + v, 2 = 2*p - 3*v - 0. Let s be (-808)/(-10) - p/(-5). Is 12 a factor of (-3)/2 + s/6?
True
Let c(p) = -p**3 + 2*p**2 + p + 2. Suppose 3*j = 2*j + 2. Let u be c(j). Suppose -u*b - 2*y + 28 = -0*b, 3*y - 6 = -2*b. Is b a multiple of 4?
False
Suppose 0*y + 6*y = 240. Does 8 divide y?
True
Let s be (4/(-3) - 0)*-3. Is s/(-10) - 560/(-25) a multiple of 22?
True
Is 19 a factor of (11*(0 - 1))/(4/(-28))?
False
Let v(r) = r**3 - 8*r**2 - 7*r - 13. Suppose -5*t + 27 + 18 = 0. Let h be v(t). Suppose h*w - 160 - 20 = 0. Does 16 divide w?
False
Suppose 4*g - 101 + 1 = -l, 5*g + 20 = 0. Suppose -k + l = 3*k. Is 10 a factor of k?
False
Let b = 13 + -21. Let j = 8 + b. Suppose j*z - 4*z + 48 = 0. Does 4 divide z?
True
Let m = 10 + -10. Let k(j) = -j**3 - j**2 + 4*j - 40. Let v(c) = -c**3 - c**2 + 5*c - 39. Let p(f) = -6*k(f) + 5*v(f). Does 15 divide p(m)?
True
Let j = -4 + 9. Suppose -j*p = 27 - 82. Does 11 divide p?
True
Suppose 4*z + 24 - 4 = 0. Is 5 a factor of 198/9 + (-2 - z)?
True
Suppose -3*r - 68 = -401. Does 15 divide r?
False
Let t(n) = 4*n**2 + 4*n + 1. Does 11 divide t(-3)?
False
Let u = -5 - -8. Let b(z) = z**2 - 2*z - 1. Let v be b(u). Suppose v*g + 0*g - 58 = 0. Is g a multiple of 29?
True
Let h = -13 + 18. Suppose -l - h = -2*l. Does 5 divide l?
True
Let n = 2 - -1. Let h(u) = 2*u + 1 - n*u - 4*u + 0. Is h(-7) a multiple of 16?
False
Let x(u) = -3*u**2 - 11*u - 10. Let c(s) = -4*s**2 - 16*s - 15. Let o(g) = 5*c(g) - 7*x(g). Does 13 divide o(6)?
True
Suppose -10*a + 390 + 330 = 0. Is a a multiple of 36?
True
Let s be 3 + (-2)/2 + -36. Let b = s - -59. Let c = b + -17. Is 8 a factor of c?
True
Suppose -5*r + 1 + 9 = 0. Let g(j) = 5*j + 20. Let b be g(-4). Suppose 4*i = -3*z + 1, -4*i = -b*z + r*z + 6. Is z a multiple of 3?
False
Let z(s) = -4*s**2 + 3*s. Let v be z(2). Let o = 4 - 6. Does 8 divide (4/v)/(o/40)?
True
Let n(i) = 3*i - 2 + 6 + 6. Does 18 divide n(7)?
False
Let y(l) be the first derivative of l**2/2 + l + 1. Let a be y(-7). Is (-194)/a + (-3)/9 a multiple of 15?
False
Let y = 4 + -4. Let j(u) = u + 17 + u - 3*u. Does 6 divide j(y)?
False
Suppose -c + 10 = 5*r, 2 = 5*c + r - 0*r. Suppose -5*k - 3*l - l + 23 = 0, c = -4*l + 8. Suppose -3*n = -k*d + 5 + 1, 0 = -n + 2*d - 6. Is n a multiple of 2?
True
Suppose 376 = 5*s - 9. Is 10 a factor of s?
False
Let x(z) = z + 5. Let k(i) = 2*i + 10. Let u(n) = -3*k(n) + 5*x(n). Let c be u(-8). Suppose -c*l - 25 = -8*l. Does 2 divide l?
False
Let h(x) = x**3 + x + 4. Let a be h(0). Suppose 0 = -a*m + m + 162. Suppose 6*d - m = 3*d. Is 5 a factor of d?
False
Let m = -24 - -16. Let n = 61 - m. Is 16 a factor of n?
False
Suppose -1 - 31 = -4*j. Let x(u) = 4*u**3 - 4*u**2 - 2*u - 3. Let f(g) = 5*g**3 - 3*g**2 - g - 2. Let z(q) = -3*f(q) + 4*x(q). Is z(j) a multiple of 6?
True
Let n be 6/21 - (-33)/7. Let q(i) = -2*i**2 + 3*i**2 + n*i - i. Is 5 a factor of q(-6)?
False
Suppose r + 14 = 2*r. Suppose 2*z - r = -2*s, 3*z - 2*s + 0 = -4. Suppose 0*l - 2*l + 110 = z*y, -5*y = -3*l - 299. Is 20 a factor of y?
False
Suppose -2*y = -z - 7 - 8, y = 3*z + 10. Is y a multiple of 3?
False
Let p(h) = -h - 1. Let n be p(-6). Suppose 5*a + 398 = -2*f - 1906, -n*f = -5*a - 2290. Does 23 divide (-8)/(-10)*a/(-8)?
True
Suppose 713 + 407 = 7*f. Does 15 divide f?
False
Let a(c) = -c**3 + 7*c**2 - 6*c - 5. Let j be a(5). Let n be (-10)/j + 104/3. Let i = 49 - n. Is 15 a factor of i?
True
Does 20 divide (-296 + 12/((-6)/2))*-1?
True
Let u = -31 - -57. Let w = -16 + u. Does 8 divide w?
False
Let f = -50 - -87. Suppose 0 = t - 0 - f. Is 14 a factor of t?
False
Let f = 26 - 8. Does 9 divide f?
True
Let v = 11 + -6. Suppose -5*j = 2*u + 5, -u + 5*j + 0 = -v. Suppose 5*q + 16 - 196 = u. Is q a multiple of 18?
True
Let z(c) = -c**3 - 15*c**2 - 18*c - 19. Is 10 a factor of z(-14)?
False
Suppose 53*a = 50*a + 39. Does 7 divide a?
False
Suppose -q - 2*a - 2*a = -26, 5*a + 41 = 4*q. Suppose -3*j + q = -97. Does 10 divide j?
False
Suppose 2 + 13 = 5*i. Suppose -i*y + 3 = -6. Suppose 0*v - 2*v = 5*r - 18, 0 = y*v - 5*r - 52. Is 12 a factor of v?
False
Let r(z) = z**3 + 6*z**2 + 3*z + 3. Let y(w) = 2*w**3 + 12*w**2 + 5*w + 6. Let n(a) = -5*r(a) + 3*y(a). Is n(-5) a multiple of 12?
False
Suppose 2*m = 4*m + 18. Is (4 - 82)/(m/6) a multiple of 26?
True
Let c be (-9)/(6 - 3) + 5. Suppose -c*o = -4*o + 12. Suppose -4*r = -o - 10. Is 2 a factor of r?
True
Suppose 0 = -j - 3*j. Suppose -2*i + 2*b + 2 = j, i + 5*b - 7 = -0*b. Suppose n + 2*r - 14 = -2*r, -i*r = -4. Is n a multiple of 5?
False
Suppose m + 19 = -0*m. Let i = m - -49. Does 6 divide i?
True
Let a(b) = -6*b - 58. Is 25 a factor of a(-18)?
True
Let m(a) = -9*a**2 - 4*a + 3. Let b be m(-4). Let o = -72 - b. Does 19 divide o?
False
Let s(o) = -o**3 - 7*o**2 - 6*o + 3. Let w be s(-6).