s 8 a factor of d?
True
Let c = 14 - 11. Is c a multiple of 2?
False
Let o(l) = l**2 + 5*l - 3. Suppose -2*j = 3*q + 18, -3*j + 4*q = 3 + 7. Let d be o(j). Suppose d*z + 2*z = 240. Is 21 a factor of z?
False
Suppose 0 = 2*w - 4*j - 134, -3*w + 4*w + 4*j = 91. Is w a multiple of 15?
True
Let i(a) = 51*a - 47*a + 4 - 4 + 2. Does 12 divide i(5)?
False
Let l = -64 + 113. Is 11 a factor of l?
False
Let k(n) = n**2 - n - 5. Let q be k(4). Let b = 10 - q. Suppose i - b*i = -44. Is 6 a factor of i?
False
Let n(t) = 5*t + 1. Let x be n(2). Suppose -2*h = -1 - x. Does 5 divide h?
False
Suppose 3*y = -5*m + 4, 3*y + 5 - 1 = -m. Suppose -m*x - 3*s = -35, x - 6 - 39 = 4*s. Does 6 divide x?
False
Does 32 divide ((-12)/(-18))/(1/96)?
True
Suppose n = -4 - 0. Let c(h) = h**3 + 5*h**2 - 2*h - 2. Is c(n) a multiple of 6?
False
Suppose 0 = -8*v + 7*v + 3*s + 60, -v - 3*s + 42 = 0. Is v a multiple of 45?
False
Let l = 14 - -3. Is 17 a factor of l?
True
Suppose -4*i + 368 = 5*o, i - 2*o + 21 = 100. Suppose -2*p = 5 + 1, 5*p = 3*c - i. Is 6 a factor of c?
True
Let v(f) = -2*f**2 + 18*f - 15. Let s be v(13). Let b = -58 - s. Does 11 divide b?
False
Let l(f) be the third derivative of 5*f**4/24 + f**2. Let x be l(4). Suppose -2*d = 2*d - x. Is d a multiple of 2?
False
Let r = -161 + 297. Does 13 divide r?
False
Let s be (-1)/2 + (-12)/(-8). Is 2 + (18 + s - 2) a multiple of 19?
True
Suppose u = 181 - 60. Is 14 a factor of u?
False
Suppose 4*f + 42 - 226 = 0. Is 3 a factor of f?
False
Suppose 2*y - 38 = 2. Is y a multiple of 10?
True
Suppose -4*u + 257 = 9. Let b = 9 - 4. Suppose 2*m + 5*h - 25 = m, b*m - u = -4*h. Does 5 divide m?
True
Suppose 3*g + g - 4*i - 12 = 0, 0 = -5*i - 25. Is (28/(-5))/(g/20) a multiple of 19?
False
Let c(g) = -g**3 + 7*g**2 + 11*g + 3. Is c(8) a multiple of 15?
False
Suppose -3*w = w - 244. Suppose -3*v - 4 + w = 0. Does 19 divide v?
True
Does 11 divide 28/20 + -1 - 53/(-5)?
True
Let h(a) = 15*a - 20. Is h(8) a multiple of 19?
False
Suppose 3*i = 3*b - 2*b + 487, -651 = -4*i + b. Is i a multiple of 39?
False
Let r = -63 + 123. Is r a multiple of 30?
True
Suppose -2*g = -3*r - 10, -5*g + g + r = 0. Let p(f) = 23*f**3 - f. Let t be p(g). Let i = t + 36. Does 14 divide i?
True
Does 8 divide (-4 - -6)*(-11)/(-2)?
False
Suppose -u = -35 - 74. Does 23 divide u?
False
Let y be (-6 - 0)/3 + 9. Does 4 divide (-7)/(y/(-12)) + 3?
False
Let k(p) = -21*p**3 + p**2 + p. Let z be k(-1). Let c = z - 10. Is c a multiple of 11?
True
Let u(k) = 191*k**2 - 1. Let q be u(-1). Suppose 4*d = o + q, -2*d + 5*o + 94 = 4*o. Does 26 divide d?
False
Suppose 124 = -3*v - v. Let k(s) = 8*s + 10. Let x be k(-3). Let d = x - v. Does 14 divide d?
False
Let a(t) = t + 7. Let n be a(-9). Is (-16)/3*3/n a multiple of 5?
False
Let g = 21 + 13. Suppose -2*n + 2*r + g = 0, -3*r - 79 = 3*n - 8*n. Does 5 divide n?
False
Let k(l) = 11*l. Is 22 a factor of k(4)?
True
Let w(c) = 4*c + 4. Is 16 a factor of w(23)?
True
Let r(b) be the third derivative of 5*b**4/24 - 25*b**3/6 - 5*b**2. Is 11 a factor of r(12)?
False
Suppose -5 = f - 29. Suppose 4*g + 0 - f = 0. Suppose -u - 3*u + b = -191, 2*b = -g. Is u a multiple of 14?
False
Let p = -11 - -16. Suppose p*o - 116 - 104 = 0. Is 31 a factor of o?
False
Let t = -4 + 4. Suppose t = 5*g - 2*r - 6 - 13, -5*r = 4*g - 2. Suppose -4*n = -3*o - 45, 5*o + 20 = g*n - 0*o. Is n a multiple of 15?
True
Let t be (2 + 0 - 4)*-1. Suppose -2*y = a - 71, 5*a - 307 = -0*a + t*y. Is a a multiple of 25?
False
Suppose r - 9 = d, 4*r + 0*d - 38 = 3*d. Does 2 divide r?
False
Let k = -5 + 3. Let r = k - -1. Does 8 divide 2 - 21*(0 + r)?
False
Is 6 a factor of ((-25)/50)/(2/(-100))?
False
Let c be 4/3 + (-260)/15. Let x = c + 30. Is 11 a factor of x?
False
Suppose 0 = v + 3*w - 18, w = -5*v + 5*w + 14. Is v a multiple of 6?
True
Suppose 4*w = 8*w - 320. Let l = -54 + w. Is l a multiple of 14?
False
Let s(n) = 31*n - 3. Does 45 divide s(3)?
True
Let d(s) be the second derivative of -s**8/6720 + s**7/630 - s**6/720 + s**5/30 + s**4/4 - s. Let k(u) be the third derivative of d(u). Does 10 divide k(3)?
True
Let b(g) = -2*g. Let y be b(7). Let c = y + 2. Let k = -1 - c. Is k a multiple of 11?
True
Suppose -2*b + 4*b - 82 = 0. Is b a multiple of 12?
False
Let t(j) = -j**3 + 13*j**2 + j - 8. Let k(d) = -3*d**3 + 38*d**2 + 4*d - 23. Let c(y) = -6*k(y) + 17*t(y). Does 10 divide c(8)?
True
Let z = 21 - 13. Let y = z + 2. Does 3 divide y?
False
Suppose 2*o = 6*o - 20. Let c = 10 - o. Suppose -d - 2*l + 0*l = -9, -3*d - c*l = -25. Is 3 a factor of d?
False
Let s = -25 - -42. Let f = s + -24. Let m = 45 + f. Does 18 divide m?
False
Let m = 13 + -7. Let f(t) = -2*t**3 - 3*t**2 + 8*t - 13. Let i(w) = -w**3 - w**2 + 4*w - 6. Let a(s) = 6*f(s) - 13*i(s). Is a(m) a multiple of 12?
True
Suppose 0 = y - 11 - 15. Suppose 3*v - 5 = -y. Let m(g) = g**3 + 6*g**2 - 9*g - 6. Does 3 divide m(v)?
False
Suppose -4*y + 96 = 2*z, -5*z - 273 = -10*z + y. Is z a multiple of 9?
True
Let b = 27 - 40. Is 15 a factor of (b - -1)*(-20)/16?
True
Let q be ((-44)/(-55))/(1/5). Suppose -4*r = -2*p + 20, p - q*r - 10 = 6. Suppose -p*o + 57 + 43 = 0. Does 25 divide o?
True
Let d(l) = 19*l - 1. Does 4 divide d(1)?
False
Suppose 2*n - 17 = -7, -5*g = -2*n - 55. Suppose -r = 6 - g. Suppose 0 = -4*f - v + r + 51, 34 = 2*f - 2*v. Is f a multiple of 4?
False
Suppose 3*c - 2*r - 67 = 2*c, c = -4*r + 49. Is c a multiple of 21?
False
Suppose 2*n - 6*n = -44. Does 11 divide n?
True
Is 52 a factor of (-10)/(-55) - (4560/(-22))/4?
True
Let w(d) = 2 - 4*d**2 + 2*d**2 + 10*d**3 - 3*d - 3*d**3. Let v(l) = -l**2 - 8*l + 2. Let t be v(-8). Is 26 a factor of w(t)?
False
Let j(o) = 0 - 39*o**3 + 1 + o + 13*o**3. Does 11 divide j(-1)?
False
Let m(i) = i**3 + 9*i**2 + 5*i. Does 24 divide m(-8)?
True
Let s(d) = d**2 - 7*d + 8. Let n be s(9). Let u = n + -13. Is u a multiple of 6?
False
Let t(l) = -l**3 + 10*l**2 + 10*l + 12. Is t(10) a multiple of 14?
True
Let c(f) be the first derivative of 13*f**2/2 + 4*f + 1. Is c(3) a multiple of 20?
False
Let n be 92 + -1 + 2 + 0. Suppose -3*l + 6*l = n. Is l a multiple of 15?
False
Let c(x) = 12*x**3 - x**2 + 2*x - 3. Let i be c(2). Let y = -50 + i. Is 13 a factor of y?
False
Let t(a) = a**3 - 16*a**2 + 3*a - 23. Let f(y) = 2*y**2 + 2*y + 4. Let k be f(-3). Does 10 divide t(k)?
False
Is 25 a factor of (-2548)/(-39) + (4/3)/2?
False
Let y(k) = k**3 + 5*k**2 + k - 6. Let a be y(-6). Let z be 1 - a - (-2 + 4). Suppose d - z = -2*r, 5*r - 2*d + d = 114. Does 17 divide r?
False
Let x(r) = -7*r + 7. Let l be x(7). Let b = -30 - l. Is 17 a factor of 4/b - 292/(-6)?
False
Let g be (-4)/(-18) + (-10304)/36. Let x = g - -506. Suppose w - 5*w + x = 0. Is 20 a factor of w?
False
Suppose 0*w = -5*w + 5. Is (-332)/(-4)*w - 1 a multiple of 25?
False
Let d be (-3)/(-1 - (-3)/6). Suppose 0 = -d*g + g + 20. Suppose g*n + n = 25. Is n a multiple of 5?
True
Let n be (-4 - -6) + (-14 - 0). Let j = n + 23. Is j a multiple of 11?
True
Suppose -5*d = -y + 97, 15 = -3*d - 2*d. Suppose 0 = h - 2*h + y. Is 24 a factor of h?
False
Is 10 a factor of 0 - (4/2 + -53)?
False
Suppose -4*o + 145 = -59. Does 17 divide o?
True
Let d = 0 - -8. Suppose d*g - 4*f - 35 = 3*g, -f = -5*g + 20. Is g even?
False
Let c(u) = -2*u + 3 + 3*u + 2. Is 7 a factor of c(8)?
False
Let c(w) = -17*w - 7. Let m(y) = 42*y + 18. Let o(j) = -12*c(j) - 5*m(j). Does 18 divide o(-4)?
True
Suppose -39 - 9 = 3*o. Suppose 3*y = 3, 2*i - 6*i + 107 = -5*y. Let t = i + o. Does 5 divide t?
False
Let u = -221 - -381. Is 16 a factor of u?
True
Let l(w) = -4*w - 1. Suppose 3 = -f + 2. Is l(f) a multiple of 2?
False
Suppose 463 = 2*t - 167. Is 9 a factor of t?
True
Suppose 2*l - 118 = -5*r, -4*l + 2*r = r - 236. Suppose l = -3*w + 230. Suppose 3*v - w = 3*s, 9*s - 105 = -5*v + 4*s. Does 10 divide v?
True
Suppose -2*t = u - 298, -84 - 47 = -t - 5*u. Let s = t + -91. Let b = s + -14. Is 13 a factor of b?
False
Let f = -5 + 7. Suppose 3*t + f*t = -15. Is 17 a factor of 33 + t*1/(-3)?
True
Suppose p = -p + 4. Suppose -17 = -f - 2*l, -4*f = -2*f + 2*l - 28. Suppose -2*o + 2*b = -6, -5*o + p*b = b - f. Is 2 a factor of o?
True
Is 8 a factor of 15*4*(-45)/(-36)?
False
Suppose -3*w + 15 = -0*w. Suppose 0 = 2*f + l - 3, 2*f - w*l = 6*f + 9. Is 2 a factor of f?
Tru