l?
True
Suppose 3*m + 61 = 3*f - 98, -4*f + m = -215. Does 22 divide f?
False
Suppose s - 3 = -5*l - 8, -5*s + l = -1. Suppose -2*k + 124 = -s*k. Does 31 divide k?
True
Suppose -4*d - 6 + 30 = 0. Let u = -1 - -1. Suppose d = c - u*c. Is 5 a factor of c?
False
Let k(i) = 121*i**2 - 1. Let w be k(-1). Let x = w - 62. Let d = x - 40. Does 13 divide d?
False
Let g(r) = -3*r**3 - 5*r**2 + 3*r + 1. Suppose 12 = -2*s - j, 5*s + 0 + 24 = -j. Let x be g(s). Suppose 5*o - 2*o - 15 = 0, 4*b - x = -o. Is 9 a factor of b?
False
Let l = 34 - 19. Does 6 divide l?
False
Let i = -59 + 107. Suppose 4*m + i = 3*p, 56 = -3*m + 5*p + 9. Let q = m + 13. Is q a multiple of 4?
True
Does 32 divide (6/(-1))/(45/(-240))?
True
Let a = -4 + 4. Suppose a = 2*b - b + 3*x - 39, 3*b = -2*x + 96. Does 5 divide b?
True
Let h(w) = -w**2 - 1. Let t(k) = 3*k**2 - k + 1. Let a(v) = h(v) + t(v). Does 2 divide a(-1)?
False
Let y(n) be the third derivative of -1/2*n**3 + 1/6*n**4 + 1/60*n**5 + 0 - 2*n**2 + 0*n. Does 9 divide y(2)?
True
Let q be ((-6)/3 - 13)*-1. Suppose -n = -4*o + 25, -4*n - 4*o = -3*n - q. Is 3 a factor of 5/n*(1 + -4)?
True
Suppose 4*o + j = 2*o + 9, -o = 5*j. Suppose 2*i + 3*q + 39 = 6*i, o*i = 5*q + 55. Does 3 divide i?
True
Let z(q) = q**3 - 8*q**2 + 6*q + 2. Let r be z(7). Let h(c) = -2*c - 3. Is 2 a factor of h(r)?
False
Is (20/(-8))/(2/(-76)) a multiple of 19?
True
Does 7 divide 549/15 + (-6)/10?
False
Suppose 0 = 4*j - 9*j - 5*k - 5, k = 4*j - 21. Suppose -u = -j - 4. Is u a multiple of 4?
True
Suppose -d - 22 = 29. Let j = d + 100. Does 18 divide j?
False
Let d(a) = -a**2 + 19*a - 11. Suppose 0 = -0*j - 2*j + 30. Is d(j) a multiple of 17?
False
Suppose g + 0 = j + 5, 9 = -3*g. Let k = j - -54. Is 16 a factor of k?
False
Suppose w + 230 = 3*w. Let y = 52 + w. Suppose 4*r + q = y, -q = -4*r + 37 + 132. Is r a multiple of 14?
True
Let p = -6 + 5. Is ((-42)/(-9) - p)*3 a multiple of 12?
False
Suppose -30 = -4*x + x. Is x a multiple of 4?
False
Suppose 0 = -5*q + 15, -2 = 4*i - 2*q - 4. Suppose 9 = i*v + v. Is v even?
False
Suppose 5 = -4*f + 3*v - 0*v, 4*f = -4*v + 16. Let m be (54/(-4))/(f/(-10)). Suppose 0*n + 2*d = -3*n + m, 5*d = 4*n - 180. Does 13 divide n?
False
Let u(f) = 3*f**2 - 5*f + 3. Let v be u(-9). Suppose -3*k + o + 2*o = v, 0 = -3*k + o - 293. Is (3/(-2))/3*k a multiple of 21?
False
Suppose 3*p + 12 = -4*i, 5*i + 3*p = -11 - 1. Suppose -4*c - 11 + 67 = i. Is c a multiple of 7?
True
Suppose -4*s + 11 = -5. Let l = -20 + s. Let d = l - -36. Does 8 divide d?
False
Let a(z) = 9*z**3 - 3*z**2. Is 11 a factor of a(2)?
False
Suppose 0 = -m - 3*j + 1, 4*m = 3*j - 0*j + 19. Is (10/6)/(m/12) a multiple of 2?
False
Let j(c) = -2*c + 4. Let u be j(-3). Let q = 20 - u. Is q a multiple of 10?
True
Let m be 1 - (-3 + (0 - -2)). Suppose m*v - 35 = 31. Is 13 a factor of v?
False
Let s be (0 + 3)*(-4)/4. Is 3 - (-26 + s)*1 a multiple of 9?
False
Let f = 139 - 38. Is f a multiple of 5?
False
Let i = -83 + 59. Let o = i + 46. Suppose -t - 4*t + b = -73, 2*t = 4*b + o. Does 15 divide t?
True
Let o = -6 + 6. Suppose -3*q + o = -30. Is 3 a factor of q?
False
Let h(i) = i**3 - 36 + 30 + 8*i**2 + i**2 + 5*i. Is 9 a factor of h(-8)?
True
Suppose 0*h = -2*h - 2. Let k be -9 + 1 + 1 - 4/(-4). Let f = h - k. Is 3 a factor of f?
False
Suppose 4*a + 4*g - 137 = a, 4*a + 4*g = 188. Is 4 a factor of a?
False
Let q be 2/2 - (-4 + 3). Suppose -46 = -0*v - q*v. Is 7 a factor of v?
False
Suppose 4*p - 1 + 5 = 0. Let t = p - -3. Suppose t*j = -2 + 10. Is j a multiple of 2?
True
Suppose -7*j = -4*j - 420. Suppose 0*y + 2*y = j. Does 14 divide y?
True
Let u be (-2)/(-7) - 156/7. Let n = 62 + u. Is n a multiple of 13?
False
Let a = -46 - -31. Let r = -8 - a. Does 7 divide r?
True
Suppose 6*s - 4*s = -3*r + 52, -5*r + 78 = 3*s. Is s a multiple of 13?
True
Suppose -5*o = 10, -2*o + 7*o + 205 = 5*z. Suppose -d = 3*r - 4*d, -2*r + 12 = 4*d. Suppose r*c - z = -c. Is 6 a factor of c?
False
Suppose 17*z = 15*z + 38. Is 2 a factor of z?
False
Let k = -17 + 28. Suppose 2*d - k + 29 = 4*x, 0 = 2*x - 3*d - 11. Suppose -a - a = 4*u - 60, -x*u + 4*a = -84. Is 11 a factor of u?
False
Suppose 3 - 39 = -6*a. Is a a multiple of 6?
True
Let p(y) = 29*y - 4. Let a = 3 + 1. Let d be p(a). Suppose 34 = -3*k + d. Is 13 a factor of k?
True
Let z(s) = s**3 + s**2 + 2*s + 4. Let p(k) = -2*k - 7. Let g be p(-5). Is z(g) a multiple of 25?
False
Let b(s) = -4*s**3 - s. Suppose 4*n = 2*k + 18, 2*k - 7 = -n - 0*n. Let t be b(k). Is (4/t)/(3/(-75)) a multiple of 20?
True
Let s = -114 + 213. Does 33 divide s?
True
Let v = -5 + 0. Let n = v - -7. Suppose 0 = -2*d + n + 58. Is 26 a factor of d?
False
Suppose c + 198 + 298 = 2*o, 3*o - 3*c = 741. Suppose -d + 41 - 326 = -5*x, -4*x + 5*d = -o. Does 19 divide x?
False
Suppose -6*n = -277 - 197. Is 6 a factor of n?
False
Suppose 4*f = 3*f + 37. Is f a multiple of 12?
False
Let g = 9 - 6. Let o = g - 0. Let a = o + 21. Does 12 divide a?
True
Is 63/(-4)*80/(-15) a multiple of 18?
False
Suppose -5*s + x + 91 = 2*x, 0 = 4*s + 3*x - 75. Suppose 2*g = -g + s. Does 3 divide g?
True
Let z(n) be the second derivative of n**5/20 + n**4/4 + 3*n**2/2 - 12*n. Suppose 1 + 8 = -3*k. Is z(k) even?
False
Let m(g) be the first derivative of g**3/3 - g**2 + 4*g - 2. Let v = 5 + 0. Is 10 a factor of m(v)?
False
Let r(u) = u**3 - 6*u**2 + 2*u - 12. Let a be r(4). Suppose -31 = -4*m - 2*w - 1, 3*m = w + 20. Is (m/3)/((-2)/a) a multiple of 14?
True
Let f = 153 - 86. Suppose -3*q + 4*g = -155, -103 = -4*q - 2*g + f. Is 15 a factor of q?
True
Suppose -3*m = -m - 4. Let o = -3 - -15. Is (o/(-15))/(m/(-40)) a multiple of 6?
False
Let x(w) be the second derivative of 7*w**4/6 - w**3/6 - 2*w. Does 13 divide x(1)?
True
Let p(w) = -w**3 + 5*w**2 + 2*w - 7. Let l be p(5). Suppose l*c - 41 = 79. Is 19 a factor of c?
False
Let z = 1 - -12. Is 8 a factor of z?
False
Let x(l) = 3*l + 5. Let n be x(4). Suppose -k + 37 = -5*o - 14, o = k - 39. Let m = k - n. Does 14 divide m?
False
Suppose v + f - 70 = 0, 2*v + 5*f - 176 + 33 = 0. Let n(m) = -12*m + 5. Let u be n(4). Let r = v + u. Is r a multiple of 13?
True
Let a = 11 + -13. Is 1 - (a - 1 - 67) a multiple of 26?
False
Let t(h) = -h + 16. Does 3 divide t(9)?
False
Let g(p) = p**2 + 5*p - 8. Let x be g(-7). Suppose 0 = x*q - 164 - 100. Is q a multiple of 7?
False
Let l = -13 - 8. Is 9 a factor of l/(-2) - 6/12?
False
Let z(n) = n**2 + 5*n - 3. Let t = -14 + 6. Is z(t) a multiple of 21?
True
Suppose 0 = 3*i - 26 - 409. Does 10 divide i?
False
Suppose 0*b = -4*b + 192. Is 12 a factor of b?
True
Suppose -4 = 3*b - 19. Suppose 0 = -3*x - 2*m + 10, -b*x - 1 + 25 = -4*m. Suppose -x*n = -2*n - 24. Is n a multiple of 12?
True
Suppose -4*a + 220 = a. Does 7 divide a?
False
Suppose 1 = 2*o - 1. Let l(f) = 2*f**2 + f - 1. Let w be l(o). Suppose -y - w*g = -6*y + 264, 3*y - 5*g - 166 = 0. Does 14 divide y?
False
Let v(z) = 3*z**3 - 2 - z**2 + 2*z - 1 - 4*z**3. Let j be v(-3). Let o = 19 - j. Is o a multiple of 10?
True
Let l(o) be the second derivative of o**3/3 - 2*o**2 + 4*o. Let k be l(3). Suppose -k*r - 13 + 61 = 0. Is r a multiple of 8?
True
Is (-110)/7*35/(-5) a multiple of 6?
False
Suppose -3*j + 2*p = 6*p - 296, 0 = -4*j - 5*p + 396. Is j a multiple of 30?
False
Suppose 0 = -4*u - 0 + 4, 0 = -3*m - 2*u + 35. Let y(t) = 2*t - 2. Let s be y(m). Suppose -2*w = 5*d - 12, -2*d + 9 = 3*w - s. Does 11 divide w?
True
Suppose -3*z = -2 - 82. Suppose 6 = 2*x, m = -m + 5*x - 11. Suppose -m*h = -6 - z. Does 8 divide h?
False
Let j = 11 + -3. Does 7 divide (42/j + -3)*8?
False
Let l be (6/5)/(4/10). Let v(k) = -12*k - 16. Let a be v(-10). Suppose r = -l*r + a. Is 10 a factor of r?
False
Let c(x) = 2*x**2 + 2. Let d be c(3). Suppose -2*y = 3*y - d. Is 7 a factor of (1 - y)/((-9)/60)?
False
Let u(d) = -d**2 + 22*d - 21. Is 9 a factor of u(12)?
True
Suppose -5*f = -15, -4*l + 18 = l + f. Suppose -2*p + 424 = 2*p. Suppose -l*c + p = 22. Does 14 divide c?
True
Let o(k) = -k**2 + k + 2. Let l be o(0). Let w = l + 12. Is 6 a factor of w?
False
Let o(k) = 92*k**2 + 1. Does 5 divide o(-1)?
False
Let d(w) = -7*w - 4 + 4 - w**2 + 6. Let s be d(-9). Let b = s - -36. Is b a multiple of 12?
True
Let k(d) = 2*d**2 - 3*d + 2. Let y be k(2). Does 2 divide y - 0 - 2 - -1?
False
Let h(r) = 