e 25 = 5*l, 0 = -3*t + m*t - 3*l + 23. Is t a multiple of 3?
False
Suppose -1 - 16 = -x. Does 5 divide x?
False
Let s be ((-52)/6)/(4/(-60)). Let a = s - 79. Does 17 divide a?
True
Let p(t) = 96*t - 28. Is 13 a factor of p(3)?
True
Suppose -4*x - x + 147 = 2*a, 3*a + 84 = 3*x. Is 12 a factor of x?
False
Suppose -7 = 5*d - 2. Let p = 6 + d. Does 5 divide p?
True
Let m(a) = -17*a - 5. Let u be m(-5). Let j = -40 + u. Does 8 divide j?
True
Let b = -2 + 5. Suppose -59 = -2*i - 5*l, i - 43 = -b*i + 5*l. Let p = i - 6. Is 11 a factor of p?
True
Suppose 0 = -2*a - 2*x + 12, -5*x - 3 = -6*x. Let u(o) = -2 + 6 - 3*o**a + 0*o**2 - 8*o**2 + 2*o**3. Is 4 a factor of u(-8)?
True
Let w(i) = i. Let p(c) = c**2 + 18*c. Suppose 0 = -4*a - 4, 2*m + 0*a = -4*a - 6. Let j(k) = m*p(k) + 5*w(k). Is 13 a factor of j(-6)?
False
Let d = -27 + 69. Does 5 divide d?
False
Let a(j) = 12*j. Let k be a(1). Suppose 0 = -3*z + 5*z - k. Does 6 divide z?
True
Let l = 251 - 87. Is 16 a factor of l?
False
Let z(x) = x**2 + 6*x - 1. Is z(7) a multiple of 15?
True
Let u(h) = h**2 + h - 4. Suppose -5*b - 15 = -2*b. Is u(b) a multiple of 8?
True
Let i(j) = -j**2 - 8*j - 3. Let p be i(-7). Suppose -p*y - 112 = -8*y. Is y a multiple of 6?
False
Suppose 0 = v + 9 - 61. Suppose g + v = 4*k - g, -3*g = -5*k + 67. Is k a multiple of 3?
False
Let q(o) = o**2 - 6*o + 2. Let z be q(3). Let c(f) = -f**2 - 9*f - 4. Does 10 divide c(z)?
True
Let k = 18 + -10. Let v be (15/4)/(2/k). Let u = v - 10. Is u a multiple of 5?
True
Suppose 5*n - 25 = -r, 3*n + r + 4*r = 37. Suppose -4*v = 4 + n. Let u = v + 20. Does 9 divide u?
True
Is 6 a factor of (-6)/2 + (13 - -8)?
True
Let q(j) = -j**3 - 4*j**2 + 2*j. Let b(t) = t**3 + 4*t**2 - 5*t - 5. Let z be b(-5). Is q(z) a multiple of 15?
True
Suppose 3*b + 34 - 124 = 0. Is b a multiple of 15?
True
Suppose -2*y = -3 + 1, -53 = -3*i + 4*y. Is 19 a factor of i?
True
Let i(s) = -s**3 + s - 23 + 7 + 0*s + s**2. Let a be i(0). Let d = a - -24. Is 4 a factor of d?
True
Let a = -143 + 31. Let n = -76 - a. Is n a multiple of 9?
True
Let d(n) be the second derivative of n**5/20 + n**4/6 - 2*n**3/3 + 3*n**2/2 + 4*n. Let s be d(2). Let w = 21 - s. Does 10 divide w?
True
Is 13/(-91) + 422/14 a multiple of 12?
False
Suppose 5*a + 0 - 10 = 0. Suppose 3*q - 5*b - 7 + a = 0, 4*q + 3*b + 3 = 0. Suppose q = 2*h - 6*h + 44. Is h a multiple of 11?
True
Let p = -11 - -15. Suppose 0*j = 3*j + p*g + 16, -20 = -2*j + 5*g. Suppose -t + 3 = -j*t. Is t even?
False
Let y(i) = i**3 - 15*i**2 + 4*i - 18. Does 7 divide y(15)?
True
Let c(j) = -13*j - 19. Is 36 a factor of c(-7)?
True
Let l = -96 - -223. Let x = -67 + l. Is 10 a factor of ((-8)/(-5))/(8/x)?
False
Let d(u) = u + 5 + 7 - 1. Let z be d(-10). Is 6 a factor of (2 + -13)/(-1*z)?
False
Let o = 12 + -7. Suppose t + 0*a = -4*a + 21, -3*a - 220 = -o*t. Is 16 a factor of t?
False
Let s = -33 + 50. Is s a multiple of 11?
False
Let k(x) = 2*x**2 + 8*x + 6. Let a(v) = v**3 + 3*v**2 + 3*v + 4. Let r be a(-3). Is 16 a factor of k(r)?
True
Suppose 0*h = 2*h - 22. Let i = h - 4. Does 7 divide i?
True
Let k = -54 + 51. Let u = -3 + 8. Let o = k + u. Is o a multiple of 2?
True
Let x(w) = w. Let s(c) = -c**2 + 2*c + 7. Let g(b) = s(b) + x(b). Let z be g(5). Let m(u) = u**2 - u + 2. Does 8 divide m(z)?
False
Let y(x) = 6 - 1 + 4*x - 3*x + 1. Is y(0) a multiple of 3?
True
Is -2 + 21*28/6 a multiple of 16?
True
Suppose -5*f - 3 = l, 4*f + 9 + 3 = -4*l. Suppose 4*x = 4*v + x - 3, -4*v - 2*x + 18 = f. Suppose 0*g = v*g - 45. Is g a multiple of 9?
False
Let b = 69 + -40. Is b a multiple of 9?
False
Suppose 5*h - 242 = -4*x + 250, 3*x = -4*h + 370. Does 31 divide x?
False
Let b(x) = 10*x + 8. Let v be b(7). Suppose l = -2*l + v. Is l a multiple of 7?
False
Suppose 0 = -0*w - 3*w + 90. Let g = w - 15. Is g a multiple of 12?
False
Let q(p) = p**3 + 6*p**2 - 3. Let b be q(-6). Is 18 a factor of 4/6 - 82/b?
False
Let t(a) = a**3 - 3*a**2 - 4. Let g be t(3). Let d(r) = -r + 1. Let p(m) = -m**2 - 5*m - 1. Let x(b) = 2*d(b) - p(b). Does 7 divide x(g)?
True
Suppose 0 = 5*k - 2*s - s - 120, 0 = -3*k - 4*s + 43. Let m = -9 + k. Is m a multiple of 4?
True
Let h be 7/2 + 1/(-2). Suppose h = -2*d - d, 0 = 5*s - d - 201. Suppose c - s = 5*v, 3*v - v = -5*c + 173. Is 9 a factor of c?
False
Suppose 0 = -0*b + 4*b + 2*s - 62, 0 = 4*b - 4*s - 56. Does 15 divide b?
True
Let i be 2/5 - 53/(-5). Suppose i + 5 = -2*t. Let l(a) = -a**2 - 10*a - 5. Is 11 a factor of l(t)?
True
Let m(h) = 9*h. Let a = -9 - -13. Does 13 divide m(a)?
False
Let m(c) = c**2 - 2. Let l = 7 + -11. Is 11 a factor of m(l)?
False
Let q(z) = z**2 - z - 1. Let u be 1*(5/1 - 1). Let p be q(u). Suppose -36 = -5*j - p. Does 2 divide j?
False
Let t = 3 + 17. Does 6 divide t?
False
Suppose 5*z + 0*z = 2*w - 211, 2*z - 3*w + 80 = 0. Let j = z + 115. Suppose s - 5*s = -j. Is 7 a factor of s?
False
Let o be 1/3*(-3)/1. Let f = 17 - o. Is f a multiple of 18?
True
Is (4/(-10))/((-5)/375) a multiple of 15?
True
Suppose 4*d - 2*t = -28, 3*t = 3*d - 0*t + 27. Let k(c) = -3 - 1 - 16*c - 4 + 3. Is 26 a factor of k(d)?
False
Let i(f) = f - 10. Let h be i(10). Suppose 4*w = -16, -4*t + h*w + 20 = w. Suppose -4*d = b - 5*b - 40, -d - t = -5*b. Does 14 divide d?
True
Suppose -i = n - 7, 8*n - 4*n = -8. Is 9 a factor of i?
True
Let a(r) = r**2 - 5*r - 13 - 2*r + 12. Let l be a(6). Let k = 16 - l. Is 11 a factor of k?
False
Suppose 2*s + x - 32 = 0, -65 = -4*s - s + 5*x. Is 5 a factor of s?
True
Let j = 59 + -41. Does 8 divide j?
False
Let f = -7 + 12. Suppose -5*s + 7 = -h - h, -f = -s. Does 2 divide h?
False
Let s(v) = -9*v**3 + v**2 + 2*v + 2. Is s(-1) even?
True
Is 46 a factor of (36 - 0)*((-23)/(-3) - 0)?
True
Suppose -141 = -2*t - 3*a, 5*t = -a + 4*a + 405. Is t a multiple of 13?
True
Let h be (52/(-16))/((-1)/4). Let i(o) = o**3 - 2*o**2 + o + 1. Let n be i(2). Suppose b + n*b + 3*c = h, 5*b - 19 = -c. Is b even?
True
Let a(c) = 18*c**2 + 4*c + 2. Let l(o) = 3*o + 1. Let r be l(-1). Does 22 divide a(r)?
True
Let p = -20 + 60. Is p a multiple of 20?
True
Suppose -4*s - y + 5*y = -204, 5*y = s - 71. Does 23 divide s?
True
Let m(z) = -z**2 - 9*z + 6. Let l be m(-7). Suppose 0 = 2*f + 2*f - l. Is 3 a factor of f?
False
Suppose -5*q = -6*q + 23. Suppose -5 - 20 = -5*w. Suppose 0 = w*t - 32 - q. Does 5 divide t?
False
Suppose b = -4*b + 5. Suppose -b - 7 = -4*z. Suppose 26 + 18 = z*h. Is h a multiple of 9?
False
Let k be 1*-4 - -1 - -3. Suppose i + i - 96 = k. Does 20 divide i?
False
Let u(z) be the third derivative of -z**6/120 - z**5/20 + z**4/6 + 2*z**3/3 - z**2. Let a be u(-4). Suppose -a - 24 = -2*j. Is 7 a factor of j?
True
Let z = 34 - -11. Let r = z - 23. Does 11 divide r?
True
Suppose 7 = -3*n + n - j, -3 = -3*j. Let l = n - -20. Is l a multiple of 8?
True
Let s = -33 - -68. Is s a multiple of 6?
False
Suppose 4*a = 6*a - 10. Let p(f) = -2*f + 2*f + a*f. Is 3 a factor of p(1)?
False
Let i = 7 + -2. Let h be (-2020)/(-15) - (-2)/(-3). Suppose 0 = -i*u + h - 24. Is 11 a factor of u?
True
Suppose 0 = -v - 1 + 5. Let g = v + -2. Suppose -3*a = -4*p - 24, 4*a - 3*p - 31 = g*p. Does 4 divide a?
True
Let v = 150 + -228. Let l = 110 + v. Is l a multiple of 23?
False
Let c = 61 + -36. Is 10 a factor of -2 + (-1 - 2) + c?
True
Suppose -x + 6 = k, 2*k = x + 4*k - 8. Suppose 4*s - x = 4*a, -5*s = -0*s - a - 9. Is 2 a factor of s?
True
Suppose -4*d - 4 + 12 = 0. Let q(t) = -2*t + 3 - 3*t + 2*t + d*t. Is 3 a factor of q(-3)?
True
Suppose 5*h - 2 - 4 = -4*b, 3*h + 5*b = 1. Let g(q) = -q**3 + 0*q - 7*q + 1 - 2*q**h + 9*q**2. Is 8 a factor of g(5)?
True
Suppose -i - 4 = -4*y, 2*y - 5*i + 9 + 7 = 0. Let p be (y/3)/(4/84). Suppose -o + p = o. Is o a multiple of 7?
True
Let i be 1/(3 + 114/(-39)). Let h = -3 + i. Does 4 divide h?
False
Let n(h) = h + 14. Let i be n(-14). Suppose i*o - 4*o = -24. Does 2 divide o?
True
Let s be 2/(-3 + 1) + 3. Is s + -4 + 1 + 64 a multiple of 18?
False
Let k(p) be the second derivative of p**5/20 - p**4/4 + 2*p**3/3 - p**2 + 3*p. Is k(3) a multiple of 5?
True
Let n be 1*137 - (-12)/4. Let j = -68 + n. Does 19 divide 3472/j + 2/(-9)?
False
Suppose 5*c - 34 = 41. Does 15 divide c?
True
Suppose 0*q - 10 = -2*q. Suppose -q*t - 44 = -154. Is t a multiple of 11?
True
Let l = 126 - -1. Is 19 a factor of l