 0 = l - 3*b - 33 - 42, -3*b + p = 5*l. Is 24 a factor of l?
True
Suppose 3 = -3*u + 18. Let t = 156 - 48. Suppose t + 12 = u*l. Does 12 divide l?
True
Let k = 10 - 8. Suppose k = -2*p + 8. Suppose -p*x + 129 = 2*r, x - r + 85 = 3*x. Does 18 divide x?
False
Let c = -26 - -13. Is (-2)/c + 2896/104 a multiple of 4?
True
Suppose 8 = i - 0. Let a be (i/(-4))/(2 - 0). Is 13 a factor of (-1)/(a/39 - 0)?
True
Let r(u) be the first derivative of 4*u + 2/3*u**3 + 2*u**2 + 2. Is 6 a factor of r(-3)?
False
Suppose 2*v + 5*x = 6, -4*v + 3*x + 0*x = -12. Suppose -56 = -v*m + 4. Does 15 divide m?
False
Let f(j) = -j**3 + 7*j**2 - 5*j - 4. Let o be (-4)/(-12) - 28/(-6). Is 7 a factor of f(o)?
True
Suppose -g + 0*g + 3 = 0. Suppose -4*f + 252 = 3*p, 0 = -g*f + 4*p + 11 + 153. Is 16 a factor of f?
False
Let d = -160 - -394. Does 13 divide d?
True
Let a be (-1 + 4 + -3)/2. Suppose a = v - 2*p - 31, 0 = -3*p + 5*p + 10. Is 21 a factor of v?
True
Let d(q) = -q**3 + 9*q**2 + 2*q - 1. Let o be 4/((-1)/((-3)/2)). Let w be o - (0 - (-6)/(-2)). Is d(w) a multiple of 14?
False
Let b = -13 + 31. Is 18 a factor of b?
True
Let a(o) = 5*o + 1. Let n be a(1). Let q(i) = i - 6. Let x be q(n). Suppose 2*g = p + 91, -5*p = -g - x*g + 59. Is 22 a factor of g?
True
Let r(v) = -v**3 - 7*v**2 - 8*v - 9. Let g be r(-6). Suppose 0 = -2*j + 2*b + 38, -g*j + 0*j - b = -65. Does 11 divide j?
False
Let d(x) = -x. Let l(j) = -j**2 - j. Let n be (-1)/(14/(-6) - -2). Let c(u) = n*d(u) - l(u). Does 2 divide c(3)?
False
Let s = 4 + 10. Let m = s + -3. Does 13 divide (2 + m)/(2/4)?
True
Is (-24 - -2)/(3 - 28/8) a multiple of 6?
False
Suppose 0 = -p - t + 5*t - 18, 3*t = 4*p + 7. Suppose -p*y = 5*n - 179, -2*y + 0*n + 169 = 3*n. Let b = -44 + y. Is b a multiple of 12?
False
Suppose 44 = -0*j + 4*j. Suppose -3*i = 3*r - 6*r - 9, 3*r + i = j. Is r even?
True
Let w be (-2)/(-8) + (-29)/4. Let t = w - -12. Suppose -n - 100 = -t*n. Is n a multiple of 10?
False
Let k(r) = 2*r + 58. Is k(-18) a multiple of 3?
False
Let b = -2 - -4. Suppose b*s - 4*s = -8. Suppose -s*y = -5*y + 17. Is y a multiple of 17?
True
Let q = 80 + 13. Is 31 a factor of q?
True
Suppose 0*n = 4*n - 192. Suppose 3*q - n = -3*g, -5*g + 21 + 24 = -2*q. Is 4 a factor of g?
False
Does 15 divide ((-6)/(-5))/((-1)/(-30))?
False
Suppose -5*s - 5*v = -170, 5*s + v - 6*v - 130 = 0. Suppose i - s = -2*i. Is 5 a factor of i?
True
Let k = 32 + 1. Is k a multiple of 33?
True
Let i(a) = a**2 + 3*a + 3. Does 6 divide i(-7)?
False
Suppose -150 = -0*c - 5*c. Is c a multiple of 10?
True
Let v(j) be the second derivative of -j**3/6 + 5*j**2/2 - 2*j. Let y be v(4). Does 8 divide (4/4)/(y/16)?
True
Let p(m) = m**2 + 12*m + 45. Is 17 a factor of p(-18)?
True
Let l(t) = t**2 + 3*t + 4. Let h(x) = x. Let v(z) = 2*h(z) + l(z). Let s be v(-5). Suppose -i + 6 + 6 = 2*w, -s*w = 4. Does 11 divide i?
False
Let s(k) = 8*k**2 - 6*k - 7. Is s(-2) a multiple of 37?
True
Let t = 10 + 29. Let y = t + -28. Is y a multiple of 3?
False
Let f be -3*(-1 - -2) - -2. Let y be (-1 - -1 - f) + -6. Let d = 9 + y. Is 2 a factor of d?
True
Let d(p) = -p**2 - 4*p + 9. Let a be d(-9). Is 18 a factor of (2/(-4))/(1/a)?
True
Suppose 2*v = 4*v - 5*d - 119, 2*v + 5*d = 69. Does 16 divide v?
False
Let f = -11 + 23. Suppose -4*m + 3*j = -40, -3*m + j + 42 = f. Is 5 a factor of m?
True
Suppose p - 6*p + 3*c - 9 = 0, 0 = 4*p + 3*c - 9. Suppose g + 4*g - 125 = p. Is 7 a factor of g?
False
Let h be 7/5 - (-6)/10. Suppose 3 + 1 = -h*x. Is x*1*102/(-12) a multiple of 12?
False
Suppose 0*r = 4*r - 24. Let a be 33/7 - r/(-21). Suppose a*l + 3 = 83. Does 8 divide l?
True
Let c(r) = r**3 - 4*r**2 - 4. Let t be c(4). Let k = t - -6. Let i(w) = 3*w**3 - 2*w**2 - 3*w + 2. Does 12 divide i(k)?
True
Let h = -5 + 9. Suppose -2*v = 5*l - 190, -h*l - 5*v = -2*l - 76. Is l a multiple of 13?
False
Suppose 9*p = 674 + 127. Does 2 divide p?
False
Suppose 4*t - 42 + 18 = 2*c, t = -c. Suppose v = 3*v + 5*l + 6, 9 = -v - t*l. Is 7 a factor of v?
True
Let x = -41 + 22. Let r = x + 28. Suppose 2*g - 28 - r = -5*b, 0 = 3*g + b - 36. Does 4 divide g?
False
Suppose -4*b = -5*o + 30 - 106, 3*b = -4*o + 57. Is 3 a factor of b?
False
Suppose 2*y = 4*y. Does 4 divide (y - (-3 + 2))*16?
True
Let w(l) = -l**3 - 6*l**2 - 3*l - 15. Let s be w(-6). Suppose y = -4*k + 77, 3*k - 2*y = -s*y + 59. Is k a multiple of 9?
True
Let l(j) = -1 + 59*j**2 - 2*j - 11*j**2 + 8*j**2. Does 19 divide l(-1)?
True
Let o = 766 + -535. Is o a multiple of 50?
False
Let g = 10 - 3. Does 2 divide g?
False
Let b(h) = h**2 - 7*h + 6. Let q = -1 - -3. Suppose 2*n = q, -2 + 8 = t - n. Is b(t) a multiple of 6?
True
Let l be ((-6)/4)/(4/40). Let c be l/2*12/(-10). Suppose -d + c - 1 = 0. Does 6 divide d?
False
Let r = -137 - -17. Let k be (-4)/14 + r/(-28). Suppose 0 = -a + 2*b, 15 = -a + b + k*b. Is a a multiple of 5?
True
Let k(m) = 80*m**2 - 8*m - 11. Is 13 a factor of k(-2)?
True
Let j(b) = 7*b - 3. Suppose 14 = -2*o - 5*g, 0 = -0*g + 4*g + 16. Let l be j(o). Let w = l - 6. Does 6 divide w?
True
Let j = 91 + -49. Does 15 divide j?
False
Suppose -2*f + 4 + 12 = -4*p, f = 4*p + 12. Is f a multiple of 4?
True
Is (-23 - 1)*(-2)/3 a multiple of 8?
True
Let q be 66/6*(0 + 1). Is (-1004)/(-44) - (-2)/q a multiple of 12?
False
Suppose -2*t = -0*t - 4. Suppose 31 = -t*z + r, 0*r - 14 = z - 2*r. Let x = 48 + z. Does 12 divide x?
False
Is 2*(1 - (-27)/2) a multiple of 8?
False
Suppose -2*y - 2*x = -4, -4*y + 30 = -2*x + 10. Let q = y - 2. Is (12/(-16))/(q/(-8)) even?
False
Suppose 4*p = 54 - 18. Is 3 a factor of p?
True
Let r(p) = 8*p - 9. Is r(10) a multiple of 16?
False
Let d = -6 - -8. Suppose 3*x + 6 = -0*x - 3*z, 4*x = -d*z. Suppose -3*q - x*i + 42 = 2*i, -q + 3*i = -14. Is q a multiple of 12?
False
Let b(y) = 29*y**2 - y + 5. Is b(2) a multiple of 17?
True
Does 13 divide (-1)/2 - ((-197)/2 + -4)?
False
Let u = 167 - 99. Does 4 divide u?
True
Let m = 224 + -92. Is m a multiple of 11?
True
Let x = -4 - -5. Let i(s) = 21*s**2 + 2*s - 1. Does 22 divide i(x)?
True
Suppose -4*m = -2*i + 220, 2*m + 82 + 248 = 3*i. Does 22 divide i?
True
Suppose -3*a = -4*n + 22 + 10, -2*a = 8. Suppose -o - o = -5*g + 72, 0 = n*g + 2*o - 68. Is g a multiple of 6?
False
Suppose -q + i + 74 - 24 = 0, 98 = 2*q - 3*i. Is q a multiple of 26?
True
Let q(i) = 6*i - 2. Let p(c) = 5*c**3 + 2*c - 1. Let d be p(1). Does 18 divide q(d)?
False
Suppose -3*w + 4 + 29 = -3*y, 5*w - 67 = y. Suppose -m = -17 - w. Does 14 divide m?
False
Let x = 20 - -16. Does 12 divide x?
True
Let a be 10/(-5) + (-185)/(-1). Let w = -75 + a. Suppose 4*j - x = -2*x + w, -4*j - 3*x + 100 = 0. Is 14 a factor of j?
True
Suppose -a - 2*m + 27 = 0, -a - 5*m = -0 - 12. Let t = a - -10. Does 16 divide t?
False
Suppose -635 = -5*m + k, -2*m + 76 = 5*k - 151. Is 7 a factor of m?
True
Let h(b) be the third derivative of -b**6/120 - b**5/30 - b**3/2 - 2*b**2. Let v be h(-3). Let r = 13 + v. Is r a multiple of 16?
False
Suppose 50 = 5*c - 0*c. Let x be (26/(-5))/(2/c). Is x*(3/(-6))/1 a multiple of 13?
True
Let a(x) = x**3 + 9*x**2 + 8*x. Let f be a(-8). Suppose f = 2*h - 4*h + 52. Is h a multiple of 7?
False
Suppose i - 1 = 3*o + 4, 2*o = -3*i + 15. Suppose 0 = 4*l - o*l - 5*f - 15, 0 = 5*l - 5*f - 25. Does 3 divide l?
False
Suppose -6 = -2*h + 4. Is h a multiple of 4?
False
Let m(j) = -j**2 + 3*j - 6. Let w be m(4). Let l(r) = r**3 + 11*r**2 + r - 8. Is 31 a factor of l(w)?
False
Let p(t) = 2*t**2 - 13*t + 7. Does 13 divide p(9)?
True
Suppose -14 = -2*j + 70. Is j a multiple of 13?
False
Let v = 43 - 70. Let r = v - -9. Let w = r + 25. Does 2 divide w?
False
Suppose 4*w - 125 = -w. Suppose -3*g + 0*g = -4*n + 43, -3*n = 5*g - w. Suppose 0 = -3*s + 5*s - n. Is s a multiple of 2?
False
Let q(r) = -r**3 + 7*r**2 - 4*r. Let o be q(6). Suppose -m + 5*m = o. Suppose -16 = m*b + 3*a - 61, 4*b + 5*a = 62. Does 5 divide b?
False
Suppose 0*t = 5*n + 4*t, -4*n + 41 = -5*t. Suppose 0 = -3*g + n - 10. Let v = g - -21. Is v a multiple of 19?
True
Let g be 1/(-1) + -1 - -4. Suppose v = 4*o - 75, 3*o + 3*v = -2*v + 39. Suppose -o = -a - g*z, z = -2*a + 13 + 11. Does 10 divide a?
True
Let j(r) = -r**3 - 3*r**2 + 3*r - 2. Let h = -11 + 7. Let d be j(h). Suppose d = 2*l, l + l + 194 = 4*s. Does 25 divide s?
False
Let l be -71 - (-3 + 9/