e 2*o = 5*o. Suppose o = -2*p + 5 + 1. Suppose 0 = 3*c + s - 124, 0 = -0*s - 3*s + p. Does 23 divide c?
False
Let g(l) = 3*l - 8 - 5*l - l. Let s be g(-6). Let n(f) = -f**3 + 9*f**2 + 11*f + 12. Is 14 a factor of n(s)?
False
Suppose -r + 147 = 53. Let c = r + -50. Does 22 divide c?
True
Suppose -2 = -2*m + 4. Suppose h - 2*h + m = 0. Is 3 a factor of h?
True
Suppose -3*x + 0*a = a - 296, -4*a - 316 = -3*x. Suppose 0*c - 4*c = j - x, -j = -c + 25. Is 10 a factor of c?
False
Does 14 divide -3 + -12*(-1)/2 + 140?
False
Let n = 40 - -57. Does 11 divide n?
False
Let m = -7 + 7. Suppose m = -2*q - 3*u - u + 20, 4*q - 5*u = 66. Is q a multiple of 7?
True
Suppose 2*b - 6 = -0. Suppose p = 4*z + 32, 2*p + b*z = p + 11. Does 11 divide p?
False
Let a(d) = 4*d**2 + 3*d - 5. Let q(u) = 3*u**2 + 3*u - 5. Let s(t) = -2*a(t) + 3*q(t). Is 5 a factor of s(-6)?
False
Does 11 divide (((-165)/(-9))/5)/(2/30)?
True
Let j(m) = 1 - 2*m + 0 + 3. Is 12 a factor of j(-4)?
True
Let r = -1 - -7. Let u(w) = -13*w - 1. Let y be u(r). Let a = y + 120. Does 12 divide a?
False
Suppose 4*m - 7 = 1. Suppose -3*f + m*f = 0. Let b(w) = w + 52. Is 26 a factor of b(f)?
True
Let i(h) = -h**3 + 7*h**2 + 2*h - 9. Suppose -x - 1 = -8. Let j be i(x). Suppose j*m - 4 - 91 = 0. Does 19 divide m?
True
Suppose -4*m - 216 = -5*d, 0*m = -3*d + m + 131. Does 11 divide d?
True
Let o(b) = 3*b - b - b - 1. Let u be o(3). Suppose -1 = u*c - 11. Does 2 divide c?
False
Suppose -4*x + 2 = m, 14 = 4*x - m - 4*m. Suppose 4*y - 55 = x. Let o = y + -6. Does 8 divide o?
True
Let l = 25 + 8. Let r = l - 21. Is 5 a factor of r?
False
Suppose 5*c - 15 = -2*y, -y - 15 = y - 5*c. Suppose 2*d - 4*a + 10 = y, -10 + 3 = -d - a. Suppose -d*r + 5*r + 3 = 3*o, r + 9 = 4*o. Is r a multiple of 2?
False
Suppose 276 = 3*w - 3*o, -o - 105 = -3*w + 173. Does 6 divide w?
False
Let r be ((-12)/(-18))/((-4)/(-18)). Suppose 3*v + 5 - 73 = 2*x, -r*v + 4*x + 58 = 0. Does 20 divide v?
False
Let q(z) = z + 5. Let c be q(0). Let p = c + -1. Suppose -p*d + d + 117 = 0. Is d a multiple of 19?
False
Suppose 156 = 6*c - 0*c. Is c + (1 - (-2 + 1)) a multiple of 10?
False
Let r(n) = 10*n - 14. Let f(v) = 29*v - 41. Let j(d) = -3*f(d) + 8*r(d). Does 19 divide j(-6)?
False
Let m be (76/(-8))/(2/(-16)). Let n = m + -46. Suppose 2*f + f - n = 0. Is 10 a factor of f?
True
Suppose 2*r - l = 85, r = -3*l + 12 + 27. Suppose -8 + r = -2*b. Is 0 - (b + (-2)/(-2)) a multiple of 8?
True
Suppose 5*d + y - 153 = 0, -2*d - 2*d + 108 = -4*y. Does 18 divide 6/5*(d + 0)?
True
Suppose -4*o - 12 = -5*b, 3*b + 0 = 2*o + 6. Let j(u) = u**2 + 1. Let c(g) = 3*g - 4. Let l(z) = c(z) + 3*j(z). Is 6 a factor of l(o)?
False
Let b be ((-3)/(-1))/((-4)/(-4)). Suppose -5*o = -4*a + 2, 2*o - b*a + 1 = -2*o. Suppose 0 = -o*g - g + 12. Is g a multiple of 4?
True
Let m(n) = 1. Let s(z) = z**2 - 6*z + 14. Let j(w) = -6*m(w) + s(w). Does 8 divide j(6)?
True
Suppose 12 = 4*o - 44. Suppose 3*w - o = 1. Suppose w*m - 2 - 88 = 0. Is m a multiple of 9?
True
Let c(z) = -z**3 + 8*z**2 + 6*z. Does 32 divide c(5)?
False
Suppose -2*t - 2 + 4 = 3*w, 0 = 2*t + 4*w + 2. Suppose v + t - 14 = 0. Is v a multiple of 7?
True
Suppose 0 = -5*t - 15, 0 = 2*l + 5*t - 10 - 27. Is 13 a factor of l?
True
Suppose 0*y + 3*y - 120 = 0. Is 14 a factor of y?
False
Let g be ((-40)/(-12))/((-4)/(-6)). Let s be g/10 - 91/(-2). Let l = -28 + s. Is 12 a factor of l?
False
Let p(o) = 2*o**2 + 30. Is p(9) a multiple of 32?
True
Let h be (0 - 1)*58/(-2). Let o = -93 - h. Is 4/14 + o/(-14) a multiple of 9?
True
Let i(n) be the first derivative of n**3/3 - n**2/2 + 3*n + 1. Let a(f) = -f. Let t be a(-5). Does 21 divide i(t)?
False
Let t be ((-6)/(-4))/((-12)/552). Let x = -23 - t. Is x a multiple of 13?
False
Let w = 85 - 26. Is w a multiple of 9?
False
Let o = -15 + -3. Let s = o - -32. Is s a multiple of 14?
True
Suppose 6*o - 1890 = -12*o. Is o a multiple of 8?
False
Let s be ((-12)/9)/((-2)/(-6)). Let d(y) = -62*y - 42. Let c(w) = -25*w - 17. Let x(k) = -12*c(k) + 5*d(k). Is x(s) a multiple of 17?
True
Let z be (-3)/6*(1 - 1). Suppose z = -q + 4*q - 135. Is 18 a factor of q?
False
Is 11 a factor of -3*4/(-36)*99?
True
Let d be (-2*2)/(4/(-2)). Let n(f) = -f**2 + 4*f + 4. Let v be n(4). Suppose 0 = 2*l + v*b - 0*b - 30, 20 = d*l - b. Is l a multiple of 11?
True
Is 47 a factor of 2/(-12) - (2258/(-12) + 0)?
True
Let q(y) = 15*y - 4 - 2 - 2*y**2 - 10*y + 3. Let z(p) = 9*p**2 - 21*p + 13. Let c(s) = 26*q(s) + 6*z(s). Is 15 a factor of c(-5)?
True
Let r(u) = -u + 8. Let z be r(6). Suppose 0 = 5*d + 20, -d - d - 26 = -z*c. Is c a multiple of 6?
False
Let u = 9 - 6. Let f(w) = -2 - 1 + 2 + 2*w. Is f(u) a multiple of 5?
True
Let k = -8 - -11. Suppose -4*a - q = -k*a - 19, 5*q - 25 = 0. Does 7 divide a?
True
Let k be ((-3)/3)/(2/(-10)). Suppose -j - f + k = -3*j, -4*f + 20 = -j. Suppose j = -d + 4*d - 60. Does 14 divide d?
False
Suppose 102 = 2*m - 66. Is 14 a factor of m?
True
Suppose -w + 0*w = 1. Let t be 1 + 0 - (-1 + w). Is (-2)/(-6) - (-113)/t a multiple of 18?
False
Suppose 17*f - 724 = 92. Is f a multiple of 4?
True
Suppose 4*l - 2*l = 164. Does 8 divide l?
False
Let q(y) = 5*y**2 - y + 2. Suppose -4*m + 19 = -9. Suppose -3 = 5*x + m. Does 12 divide q(x)?
True
Let u = 12 + -8. Suppose g + u*b - 40 = 0, b = -5*g + 2*b + 95. Does 11 divide g?
False
Let c = -4 - -8. Let y be 4/(-6) + 1 + (-2)/6. Suppose y = c*v - 20, -8 = -m - 3*m + 4*v. Does 4 divide m?
False
Let x(w) be the second derivative of w**4/12 - w**3/6 - 7*w**2/2 + 3*w. Let u be x(5). Suppose 29 = 3*p - u. Is p a multiple of 11?
False
Let l = 194 - 19. Is l a multiple of 22?
False
Let j(i) = i**2 - 6*i + 3. Let l be j(4). Let h = 10 + l. Is h a multiple of 5?
True
Let b be 4/14 - (-4)/(-14). Suppose b*q = -s - q + 4, -5*s + 2 = -4*q. Let n(l) = 2*l**3 + 3*l**2 - l + 1. Does 11 divide n(s)?
False
Let f(m) = m**2 - 3*m + 8. Let r be f(6). Suppose -4*o + r = 3*d - d, -3*o - 4*d + 32 = 0. Suppose -56 = -4*h + o*w, -4*h + 4*w + 53 = -w. Is 8 a factor of h?
False
Let y be 2/(-8) + (-222)/(-24). Let u(v) be the first derivative of 5*v**2/2 + 2*v + 4. Is u(y) a multiple of 18?
False
Suppose 0 = v + 2 - 6. Suppose -4*i + v*k = -2*i + 12, -5*i + 3*k + 5 = 0. Suppose -u - i*u + 145 = 0. Does 20 divide u?
False
Let f = -6 - -10. Let y be 7/f*(-12)/(-3). Suppose -47 = -3*x + y. Is x a multiple of 9?
True
Suppose 5*y - 15 = 0, -3*p - y = 2*p - 3. Suppose h + 4*h - 105 = p. Does 7 divide h?
True
Let p(x) = -1 + 2 + x + 6 - 4*x. Is p(-7) a multiple of 14?
True
Let s be 15*((-14)/(-10) + -1). Let k = s + -4. Suppose -x - 24 = -2*h - 6*x, 60 = k*h - 4*x. Is 11 a factor of h?
True
Let b = -15 - -215. Suppose 30*r - 35*r + b = 0. Does 8 divide r?
True
Let b(u) = -3*u**3 - u**2 + 3*u + 2. Let h be b(-2). Suppose -h = -4*i + 4. Suppose -3*f - 5*p = -5 - 3, 0 = i*f + p - 28. Is f a multiple of 6?
True
Suppose 0 = -3*s + 9 + 12. Let j = s - 7. Suppose r - 3*x = 60, -228 = -5*r - j*r - 3*x. Does 21 divide r?
False
Let d(y) = -y + 2*y**3 - 1 + 6*y - 3*y. Is d(1) a multiple of 3?
True
Suppose -517 = -4*n + 355. Suppose 4*g + 5*s = g + n, 4*g - 299 = -5*s. Is g a multiple of 18?
False
Let g be ((-2)/(-6))/((-1)/(-3)). Let d be 3 - ((-2 - -2) + g). Is 11 a factor of (-30 + d + 2)*-1?
False
Suppose 10 - 2 = -w. Let f(j) = j**2 + 5*j. Is 11 a factor of f(w)?
False
Let r(p) = -3*p**2 + p + 2*p**2 + p**3 + 0*p + 2*p**2 + 7. Does 7 divide r(0)?
True
Suppose -4*h = -4*t - 76, -3*h + 58 = -0*h - 4*t. Is h a multiple of 18?
True
Suppose 0 = 6*s - 9 - 27. Let d = s - -13. Is d a multiple of 5?
False
Suppose j = 2*j. Let i be j - -12 - 0/(-6). Suppose 2*w - i = -w. Is w a multiple of 3?
False
Let a(q) = 4*q**3 + 9*q**2 + 9*q + 2. Let z(g) = -11*g**3 - 28*g**2 - 28*g - 5. Let f(p) = 8*a(p) + 3*z(p). Is f(-11) a multiple of 6?
True
Suppose 4*r = -4*c + 24, c + 2*r - 3 = 2*c. Let i(x) = -x**2 + 8*x + 21. Let n be i(10). Let u = n + c. Does 4 divide u?
True
Let b be (-3)/(2/(40/(-12))). Suppose -29 = -b*g - 9. Does 3 divide g?
False
Let p be 1 + 0 + 3/3. Is (-88)/6*(-3)/p a multiple of 13?
False
Let o = 29 + -25. Is o a multiple of 4?
True
Is 19 a factor of 58 - -3*3/(-9)?
True
Suppose 0 - 2 = -j. Suppose j*v + 3 = 3*v + 3*p, -1 = -p. Suppose -4*q + 4*c + 95 = q, -4*c = v. Is 19 a factor o