 d = -27 - -45. Let q = 28 + d. Is q a multiple of 23?
True
Is 9 a factor of (-1 - 2) + 22 + -4 + 1?
False
Suppose 0 = -4*t + 27 - 7. Suppose 0 = 2*l + 5*y - 35, 2*y + 3*y = t*l - 70. Does 15 divide l?
True
Suppose -4*k - 5*f = -110, -2*k + k + 29 = 2*f. Is 5 a factor of k?
True
Let o(r) = r - 3. Let i be o(7). Suppose -2*y = -i*h + 32, -2*h + h - 4*y = 10. Let f = 23 - h. Is 9 a factor of f?
False
Let z be (-19)/2 + (-4)/(-8). Let j be (-146)/(-9) + 2/z. Is 12 a factor of (1 - 10)*j/(-6)?
True
Let x = -10 + 14. Suppose -3 = -5*w + 2, -3*p = 5*w - 92. Suppose 5*q + x*y - 66 = 0, -5*q + y = -3*q - p. Is 5 a factor of q?
False
Let c = 32 - 13. Suppose -4*q = 5*i - 11 - 28, -2*i = 5*q - c. Does 6 divide i?
False
Suppose -5 = -3*q + 4*d, -3*q + 5*d + 7 = q. Let o be 4/(-24) + 10/(-12). Does 2 divide 7 + o + (1 - q)?
True
Suppose 3*v + 23 - 2 = 4*t, 31 = 5*t + v. Let r = 6 + t. Does 12 divide r?
True
Suppose 4 = 3*h - h, 3*h = -3*q + 171. Is q a multiple of 6?
False
Suppose 0 = k - 0*b - b - 64, -3*k + b = -188. Let r be 3 + ((-16)/(-120) - 1174/30). Let g = k + r. Does 10 divide g?
False
Let g(d) = d**2 + d - 3. Let c = 0 + 3. Let f be g(c). Suppose -4*r = -f*r + 95. Is r a multiple of 9?
False
Let c = 3 - 7. Suppose 10 = 2*g + 4, 2*g - 13 = -n. Does 13 divide c*(-1 - -1 - n)?
False
Let o(x) be the second derivative of -5*x**3/6 - x**2/2 + 3*x. Let m(l) = 4*l + 1. Let k(w) = 6*m(w) + 5*o(w). Is k(-6) even?
False
Suppose -198 = -3*a + 3*u, a = -5*u + 120 - 24. Is 35 a factor of a?
False
Let k = 247 - -153. Does 5 divide k/30 + (-1)/3?
False
Let o(h) = -2*h**2 + 24*h - 8. Is 14 a factor of o(7)?
False
Let q(p) = 45*p**3 + 2*p**2 - 2*p + 1. Let g = 4 - 3. Does 16 divide q(g)?
False
Is (-5245)/(-15) + -5 - (-8)/6 a multiple of 18?
False
Suppose -10 = 12*h - 17*h. Suppose 5*a = 4*d + 190, 0 = -h*a - 4*d + 66 + 38. Is 10 a factor of a?
False
Let s(i) be the second derivative of -3*i**2 - 1/3*i**3 + 0 + 2*i. Is s(-4) even?
True
Let t = -1 + 13. Does 4 divide t?
True
Suppose a - 59 = 30. Is a a multiple of 4?
False
Let s(o) = o**3 + 7*o**2 + 2*o + 9. Let f be s(-6). Let g = f - -16. Does 18 divide g?
False
Suppose -11*k = -10*k - 42. Is k a multiple of 21?
True
Let o be 0 - (-3 - -2 - -2). Let y(t) = t - 1. Let m(f) = -f**2 + 5*f - 8. Let w(c) = o*m(c) + 6*y(c). Is 17 a factor of w(4)?
False
Suppose -5*u - 3*z + 236 + 258 = 0, 5*u = -2*z + 496. Is 9 a factor of u?
False
Suppose -t - 36 = 2*b + 2*b, 4*b + 36 = -4*t. Let a = -11 - b. Is 0/a + 26 + -1 a multiple of 8?
False
Let w(m) = 1 - m**3 + 9*m + 6*m**2 + 0*m**2 - 3*m**2 + 5*m**2. Let j be w(9). Suppose j + 4 = -l, 0 = 2*v + 5*l + 11. Does 3 divide v?
False
Let t(v) = -2*v - 6. Let o be t(3). Suppose k + 7 - 51 = 0. Let f = k + o. Is 11 a factor of f?
False
Suppose 270 = -3*a + 8*a. Does 9 divide a?
True
Let b(l) = l - 1. Let o be b(2). Suppose 3*j = o + 5. Suppose 5 = j*m - m. Is 4 a factor of m?
False
Let h = -93 + 223. Is 35 a factor of h?
False
Let c(y) be the second derivative of y**8/6720 - y**7/360 + y**6/80 - y**5/30 + y**4/12 - 2*y. Let f(l) be the third derivative of c(l). Is 5 a factor of f(6)?
False
Suppose 3*i - 2*i - 704 = 0. Suppose 0 = -0*r - 4*r + i. Suppose -3*t - r = -5*s, 0 = -s - 2*s + 2*t + 105. Is s a multiple of 17?
False
Suppose x - l = -2*x + 37, -x + 19 = 3*l. Is 5 a factor of x?
False
Suppose 2*b = 4*g + 16 + 30, 0 = -2*g - 2. Suppose -3*u + b = -0*u. Is u a multiple of 7?
True
Is 10 a factor of (-2 - -33)/(-5*2/(-10))?
False
Suppose -63 = -2*w - w. Let f = -13 + w. Is 1*f + 0/1 a multiple of 8?
True
Let s = -73 + 260. Is s a multiple of 36?
False
Let i = -5 + 7. Suppose -4*k - 5*s = -60, 30 = i*k + 2*s - 0*s. Does 6 divide (-3)/k + 36/5?
False
Suppose 2*x + 5*h - 16 = 23, 3*h = -3. Let a be (-64)/11 + (-4)/x. Does 9 divide a/(-4)*(-12)/(-1)?
True
Suppose -2*l - 7 = -c, -3*c - 2*l + 31 = 10. Is c a multiple of 7?
True
Let j(y) = -y**3 - 4*y**2 - y + 7. Let b(o) = -o**3 + 11*o**2 - 12*o + 15. Let p be b(10). Is j(p) a multiple of 9?
False
Let b = -13 - -5. Let k(a) = 7*a + 2. Let y(q) = 20*q + 6. Let u(f) = 14*k(f) - 5*y(f). Does 7 divide u(b)?
True
Suppose 4*i - 16 = 3*i. Is i a multiple of 4?
True
Let b(g) = g**3 + 2*g**2 + 6. Let u(w) = -2*w**3 - 5*w**2 + w - 11. Let j(l) = 5*b(l) + 3*u(l). Let a be j(-5). Does 9 divide 2*3/(-4)*a?
True
Let r(m) = -m**3 + 3*m**2 + 4*m. Let z be r(4). Suppose 5*f + 2*l = 280, -4*f + 5*l + 105 + 152 = z. Is 29 a factor of f?
True
Let g(p) = 4*p + 4. Suppose 3*x - 25 = -1. Suppose 5*v = 4*v + x. Is 14 a factor of g(v)?
False
Let v be 3/2 - 60/(-8). Does 7 divide v - 3/((-12)/(-8))?
True
Let s be 2/4*(1 - 1). Suppose -3*o + s - 2 = -4*a, 8 = 5*o - a. Is o even?
True
Is 12 a factor of (-2)/(-8) + (-5385)/(-60)?
False
Suppose 2 = -5*p + 3*l, -7*p - 5*l = -2*p + 10. Let q(m) = -6*m**3 - m - 1. Is q(p) even?
True
Let s(r) = 2*r**3 - 4*r**2 + 3*r - 2. Let c be s(2). Suppose -c*g = -5*m + m - 96, -m = 0. Does 13 divide g?
False
Suppose -3*m + 17 + 7 = 0. Let j(z) = z**2 - 7*z + 7. Does 5 divide j(m)?
True
Let u = -259 + 184. Let m(w) = -w**3 + w**2 + w - 41. Let k be m(0). Let l = k - u. Is l a multiple of 17?
True
Let z = 0 + 9. Is 3 a factor of z?
True
Let a(h) = h**3 + 6*h**2 + 4*h. Let d be a(-5). Let r(w) = -w**2 + 9*w - 5. Is r(d) a multiple of 9?
False
Let t(o) = 65*o**2. Is 13 a factor of t(1)?
True
Let c = -59 + -51. Let l = 200 + c. Does 27 divide l?
False
Suppose 0 = -3*l + 2*l + 44. Suppose -l = -4*c - 0*c. Is 11 a factor of c?
True
Suppose 2*m = -0*m + 12. Suppose -f - 2 = r, 4*r - r = -m. Suppose f = -7*c + 2*c + 140. Does 14 divide c?
True
Let n be (-1 - 5)*(-3)/6. Suppose -3*g + 105 = 36. Suppose -g + 63 = 2*v + n*f, -36 = -2*v - 4*f. Is 15 a factor of v?
False
Let p(w) = 87*w**3 - 2*w**2 - 2*w - 1. Let f be ((-1)/(-3))/((-1)/3). Let h be p(f). Let s = -60 - h. Is s a multiple of 14?
True
Let u = 116 - -10. Is 13 a factor of u?
False
Let c be (-3)/(2 + 22/(-8)). Let l(d) be the second derivative of 7*d**3/3 - 2*d**2 + 16*d. Is l(c) a multiple of 14?
False
Suppose z = 2*z - 4. Suppose z*w + 5*a = -199, -a + 56 - 197 = 3*w. Let f = w + 74. Is f a multiple of 14?
True
Suppose 0 = m - 15 + 38. Let n = 6 + -18. Let a = n - m. Is a a multiple of 11?
True
Suppose f + l - 101 = -f, -3*f + 5*l = -145. Is f a multiple of 10?
True
Let a = 21 + -13. Is a a multiple of 2?
True
Suppose 0 = -o + 14 + 10. Suppose 5*f - 3*f - o = 0. Is f a multiple of 3?
True
Let z(i) be the second derivative of 11*i**4/12 + i**3/2 + 9*i. Suppose 5 = 4*a + 13. Is 19 a factor of z(a)?
True
Let c = 0 + 2. Let a = -5 + c. Is (-6)/(2*a/39) a multiple of 15?
False
Let k(n) = 41*n - 1. Let l be k(1). Suppose -5*d = -60 - l. Is 5 a factor of d?
True
Suppose 4*t + 3 = 19. Suppose 2*i - 3 = -1, -2*g + t*i + 96 = 0. Suppose 18 - g = -y. Is 16 a factor of y?
True
Suppose -1 + 37 = 2*d. Let k = d - -33. Suppose -9 = -4*p + k. Does 6 divide p?
False
Let k be (-4*7 + -3)*-1. Is 14 a factor of k + -3 + 0/2?
True
Suppose -2*u - 4*z - 9 = -u, -4*z = -4*u - 96. Suppose 0 = -k - 1 - 8. Let y = k - u. Does 6 divide y?
True
Let j(b) = b + 1. Let g(f) = 2*f + 2. Let t(v) = v + 2. Let q(m) = 6*g(m) - 5*t(m). Let h(n) = -2*j(n) + q(n). Does 11 divide h(5)?
False
Let z be 3 + -7 - -2 - -3. Suppose 0 = 5*i - 5*b - 310, z = 3*b + 7. Is i a multiple of 19?
False
Suppose -7*z + 4*g = -2*z - 10, 0 = -g - 5. Let j = z - -4. Does 20 divide 39 - (-2 + -1 + j)?
True
Suppose 0 = -4*p + 26 + 54. Let x(c) = c + 8. Let r be x(-6). Suppose -2*j = -4*j - r*o + p, -j = 4*o + 2. Does 14 divide j?
True
Let n = 7 - 4. Suppose -3*y + 0*g - n*g = -60, -4*y = -4*g - 72. Let w = y + -12. Is 3 a factor of w?
False
Let m(y) = -y**3 - y**2 + 4*y. Let x be m(-3). Suppose -2*u - 28 = -x*u. Suppose 0 = 5*b - 4*t - u, -2 = 3*b + 5*t - 21. Does 3 divide b?
True
Let r(k) = -5*k + 2. Suppose 0*h - 2*h = 4. Is 12 a factor of r(h)?
True
Is -138*(-1 - -2)/(-3) a multiple of 26?
False
Suppose -3 = -5*y + 2*y, -5*p + 4*y = -6. Let r(z) = 13*z - 2. Is r(p) a multiple of 12?
True
Let h = 1208 + -704. Is h a multiple of 42?
True
Let g = -2 + 7. Suppose g*q + 3 = -s - 0, 0 = 4*s - q - 9. Does 5 divide 11 + (-1)/(-1) - s?
True
Suppose 2*o - 36 - 58 = 5*y, -2*y - 49 = 3*o. Let s(h) = -h**2 - 5*h - 1. Let j be s(4). Let c = y - j. 