 p(-4). Let m(a) = -a**2 - 24*a + 41. Does 16 divide m(y)?
False
Let g(x) = -3*x + 30 - 2*x**2 + 2*x - 29. Let k be g(1). Is 10 a factor of (12 - 0/(-1)) + k?
True
Suppose 2*c - 4*n - 118 = 0, -15*n + 11*n = -c + 49. Is 8 a factor of c?
False
Let l be 1/(0 + (-2)/(-6)). Suppose -14*o = -8*o - 36. Suppose -2*b = -l*b + o. Is 3 a factor of b?
True
Suppose -2*j = -0*j - 2*i - 64, 2*i + 124 = 4*j. Suppose -27*w = -j*w + 402. Is 15 a factor of w?
False
Let k(z) = 6*z. Let h be k(1). Suppose -h = l - 2*l. Suppose -2*j + 96 = l. Does 16 divide j?
False
Suppose 393 + 95 = -4*z - 5*j, 355 = -3*z - j. Let k = -27 - z. Let t = -52 + k. Is t a multiple of 10?
False
Let l be ((-12)/(-36))/(1/30). Let j be (34/(-10))/((-2)/l). Let c = j - 2. Is c a multiple of 15?
True
Is 17 a factor of ((-8)/(-10))/(28/7140)?
True
Is (1*-1)/((-48)/64704) a multiple of 81?
False
Let l(y) = 130*y - 3. Is 8 a factor of l(1)?
False
Suppose 0 = d + 5*j - 4, -2 = d + 4*j - 4. Let o(m) = -24*m + 8. Let k be o(d). Suppose a - 5*a + k = 0. Is a a multiple of 19?
True
Does 23 divide 69/2*(12 + -2)?
True
Suppose 6*s - 12*s + 23834 = -5*n, 0 = s + 2*n - 3978. Does 36 divide s?
False
Let x(r) = -2*r**2 + 19*r - 27. Let k(g) = g - 1. Let a(v) = 5*k(v) - x(v). Is a(5) even?
True
Suppose -j - 2*h = 96, 0*h = -5*j - h - 489. Let i = j + 200. Does 17 divide i?
True
Let g be ((-3)/(-2))/(3/400). Suppose -g = -6*s + s. Is 20 a factor of s?
True
Let x = -68 + 116. Does 3 divide (-2)/6 + 160/x?
True
Suppose 3*d - 613 = 1385. Is d a multiple of 3?
True
Let a = -529 + 977. Is a a multiple of 12?
False
Let s = 10 - 6. Let c = -13 - s. Let y = c - -29. Is y a multiple of 6?
True
Suppose 0 = -5*v + p + 22, 4*v - 2*p - 26 = 3*p. Suppose 2*z - 21 - 10 = -3*d, -2*z - v*d + 32 = 0. Is z a multiple of 3?
False
Let t(b) be the third derivative of 1/60*b**5 + 0*b - 1/24*b**4 + 0 - 2*b**3 - 2*b**2. Does 5 divide t(-6)?
True
Let q(h) = 12*h. Let x be -4*4/8*-9. Let n(c) = c. Let z(d) = x*n(d) - 2*q(d). Does 14 divide z(-7)?
True
Let q = 106 - 2. Is q a multiple of 7?
False
Let x(b) = -3*b**3 - b + 3 - 3 + 9*b**2 - 1 + 2*b**3. Is x(6) a multiple of 12?
False
Let j(b) = 72*b**2 + 4*b + 4. Let o be j(-4). Let d be o/26 + 2/13. Suppose -r = r - d. Does 17 divide r?
False
Suppose 4*j + 36 = 4*s, -2*j - 28 = -3*s - s. Suppose -2*g + s*g = 135. Does 5 divide g?
True
Let y = 2 + 14. Does 4 divide y?
True
Let o be -5 + (-45)/(-6 - -1). Suppose -2*h - o*y + 288 = 0, h - 4*h + 422 = y. Is h a multiple of 28?
True
Suppose -5*w + 2*q + 18 = 0, -2*w - w = -3*q - 18. Suppose -w*v = 6*v - 720. Is 9 a factor of v?
True
Is 87 a factor of 2916/(-216)*1076/(-6)?
False
Let u(h) = -3*h**3 - 12*h - 17. Does 3 divide u(-2)?
False
Let i = 41 - 32. Suppose -i*d + 8*d = -24. Is 6 a factor of (-100)/(-6) + 8/d?
False
Let g be 6 + 105/(-33) + (-4)/(-22). Suppose 0 = y + g*l - 8 + 2, -6 = 2*l. Is 15 a factor of y?
True
Let a = -78 + 80. Suppose -a*t + 6*t = 244. Does 5 divide t?
False
Let v(u) = -u + 1. Let s be v(-9). Does 10 divide (5*s)/((-5)/(-5))?
True
Suppose -5*u = u - 24. Suppose -u*w = -8*w + 116. Is w a multiple of 8?
False
Suppose 4*n = -3*a + 6 + 21, 5*n - 40 = -5*a. Let v(t) be the first derivative of -t**3/3 + 9*t**2/2 + 4*t + 1. Does 7 divide v(a)?
False
Let k = -40 - -25. Let d be (-412)/(-10) - (-3)/k. Let j = d + -22. Does 5 divide j?
False
Does 28 divide (-217 + 154)/(6/(-8))?
True
Let a(y) = -y**2 + 8*y - 8. Let l be (7/(-14))/(1/86). Let r = -38 - l. Is a(r) even?
False
Suppose -2*w = r - 3341, -22*w + 3*r = -19*w - 5016. Does 46 divide w?
False
Let q = -829 + 987. Does 5 divide q?
False
Let z(p) = 2*p**2 + 54*p + 59. Let w(h) = -h**2 - 27*h - 29. Let j(r) = 13*w(r) + 6*z(r). Does 15 divide j(-22)?
False
Suppose 149*b = 143*b + 10524. Is b a multiple of 41?
False
Let t = -1051 - -1241. Does 7 divide t?
False
Let a(u) be the first derivative of 4*u**3/3 + u**2 + 6*u - 8. Is 12 a factor of a(-3)?
True
Let d(h) = 3*h**3 - 5*h**2 - 4*h. Let l(o) = o**3 - o. Let k(r) = -d(r) + 2*l(r). Suppose -2*y + 5*w - 13 = -1, 0 = 4*y - 5*w + 4. Is 6 a factor of k(y)?
True
Suppose 4*g - 2*g - 130 = 0. Let i be (-2)/(2 - 4) + g. Suppose -6 = -3*a + i. Is a a multiple of 12?
True
Suppose 2*j + 5*s = 318, -j + 3*s + 137 = -0*j. Let d(c) = 6*c - 348. Let o be d(43). Let z = o + j. Is z a multiple of 11?
False
Suppose 3*z = -2*t + 923, 8*t - 5*t + 1513 = 5*z. Is z a multiple of 9?
False
Let z = -501 - -543. Does 6 divide z?
True
Let v(k) = -170*k - 543. Is v(-8) a multiple of 19?
True
Suppose b = 7 + 1. Let f be 40/18 + b/(-36). Is 3*f/12*8 a multiple of 4?
True
Suppose 2*n = -3*n. Let x = 13 - n. Is ((-12)/3 - -4) + x a multiple of 5?
False
Suppose 3*y - b + 150 - 19 = 0, 0 = 3*y - 5*b + 139. Let i = 17 + y. Is 141/2 - (-13)/i a multiple of 11?
False
Let o(c) = c**3 - 11*c**2 + 14*c - 16. Let k be o(11). Suppose -s - k = -2*s. Is s a multiple of 33?
False
Suppose 2*r = -z - 12, 3*r = 5*r + 5*z - 4. Let c(k) = -2*k + 20. Is c(r) a multiple of 12?
True
Suppose -8 = -8*s + 6*s. Suppose 4*x + 3*d = 27, -2*x - 3*d + 17 + s = 0. Suppose q + x*q - 144 = 0. Is 11 a factor of q?
False
Suppose -11 + 3 = -4*u. Suppose u*i - 10 = -0*i. Suppose g + 5*r - 50 = 0, -r - 146 = -0*g - i*g. Does 15 divide g?
True
Suppose -12 = 12*z - 16*z. Suppose -z*u = r + 11 + 7, -9 = -2*r + 3*u. Is 1536/18 - (-1)/r a multiple of 17?
True
Let s(y) = 0 - 5 - 3 - 4*y. Let k = 315 - 321. Is 16 a factor of s(k)?
True
Let d = 267 + -190. Suppose 5*w + 95 = 5*z, d = 3*z + z - 5*w. Suppose 2*j - z + 2 = 0. Is 8 a factor of j?
True
Let a(m) = -m**3 + 3*m**2 + 7*m - 9. Let o be a(4). Does 4 divide 0 - (o - 1 - 14)?
True
Let z(w) be the first derivative of w**5/30 - w**4/3 - w**3/6 + w**2/2 - 5. Let f(j) be the second derivative of z(j). Does 19 divide f(7)?
False
Suppose -5*t + 4*a + 3539 - 809 = 0, 0 = 5*t + 4*a - 2690. Does 7 divide t?
False
Suppose -5*z + 2*z = 0. Let u be (-4)/(-2) - z - 1. Let v = u - -30. Is 22 a factor of v?
False
Let w(t) = -2*t - 2. Let i be w(-2). Suppose i*z - 5*u - 35 = 0, 0*u - 15 = -4*z - u. Is 2/z + 56/10 a multiple of 3?
True
Let k(a) be the third derivative of a**8/10080 - a**7/504 + 7*a**6/720 - 2*a**5/15 - 7*a**2. Let y(u) be the third derivative of k(u). Is 10 a factor of y(7)?
False
Suppose 0 = -3*u - 3*m - m - 28, 65 = -5*u - 3*m. Is (-3 - -8)*u/(-2) a multiple of 10?
True
Let j(a) = 1. Let q(c) = -20*c - 20. Let t(h) = j(h) + q(h). Is t(-7) a multiple of 43?
False
Let x be -1 + 4/(-4)*-314. Suppose 2*d = 5*z + x, -4*d - 2*z = -391 - 175. Suppose -10*j = -4*j - d. Is 9 a factor of j?
False
Let x = -65 - -316. Suppose 795 - x = 4*k. Does 19 divide k?
False
Let n = 10 - 7. Suppose -2*u = 2*q - 142, n = -2*u - u. Does 9 divide q?
True
Let w = -1 + 10. Suppose -3*t + 6 = -2*r, -3*t = -4*t + 3*r + w. Suppose t = -0*h + h - 12. Does 6 divide h?
True
Suppose -13880 = -17*v + 179. Does 57 divide v?
False
Let n(z) = 45*z + 30. Does 14 divide n(62)?
False
Suppose 0 = -0*m - 5*m - 325. Let y = m + 191. Does 21 divide y?
True
Is 29 a factor of 9 - 5 - (-774 - -5)?
False
Let k(p) = p + 13. Let f be k(-6). Suppose 18*o = 5 + 175. Is (o - f)*(-61)/(-3) a multiple of 14?
False
Let r be (-10)/(-55) + (-72)/33. Let u = 27 + r. Is u a multiple of 5?
True
Does 11 divide (0 - 156)*176/(-24)?
True
Suppose -83 = -a + 159. Does 15 divide a?
False
Suppose 10 = 3*u + 2*c, 3*c - 25 = 4*u - 2*c. Suppose -4*j - 66 = -3*p, u*j - 110 = -5*p - 2*j. Suppose 4*v = 3*v - 2*g + 21, v - p = -3*g. Is 17 a factor of v?
False
Suppose 11*f - 340 = 6*f. Suppose -3*n = n + f. Let v = n - -21. Is 3 a factor of v?
False
Let s be 0 + -1 - (-13 + 12). Suppose i - 120 = d, i = -s*i - 4*d + 145. Does 7 divide i?
False
Let a(r) = 15*r - 9. Let u be a(10). Let z(b) = -55*b - 19. Let v be z(-13). Suppose 5*g - v = -u. Does 32 divide g?
False
Suppose -5*h + 14 = -6. Suppose -c - 3*c + 5*u + 91 = 0, 4*u - 100 = -h*c. Suppose 2*x + 2*x - c = 0. Is x a multiple of 4?
False
Suppose 0 = -6*q - 4520 + 5756. Does 89 divide q?
False
Let q(j) = 9*j**3 + 2*j**2 - 3*j + 2. Let x be q(1). Suppose -6*z = -z + 5*i + x, 2*z = -i - 4. Does 8 divide (-351)/(-12) - z/(-8)?
False
Let v(u) = -4*u - 35. Let g be v(-22). Let j(m) = 5*m**2 + m + 1. Let d be j(-4). Let q = d - g. Is q a multiple of 4?
True
Suppo