 + g + 10. Does 15 divide l(4)?
True
Suppose -2*l + 4 = -0. Let v(c) = -c + 1. Let p be v(-4). Is (1 + 1)*p + l a multiple of 9?
False
Let c(z) = z**3 - 7*z**2 - 6*z - 6. Does 9 divide c(8)?
False
Let b = -17 - -19. Suppose -c + 10 = b. Does 4 divide c?
True
Let r = -17 + 8. Let x be 4/(-6) + 183/r. Let k = x + 41. Is k a multiple of 10?
True
Let g be 250/(-6) - (-1)/(-3). Is (20/(-14))/(6/g) a multiple of 5?
True
Suppose -3*w = 5*o - 354, -2*o = -5*o - 2*w + 213. Is o a multiple of 23?
True
Let s(q) = q - 11. Let g be s(9). Let i(j) = 2*j**2 - 4*j - 3. Is 5 a factor of i(g)?
False
Let q = 55 + 21. Is q a multiple of 19?
True
Suppose 2*k - 19 = 5. Suppose 4*f + 3 - 15 = -5*l, 0 = 2*l - 2*f - k. Does 2 divide l?
True
Suppose 2*c - 240 = -2*c. Let s = -2 - -2. Suppose -c = -s*q - 4*q. Does 15 divide q?
True
Suppose 2 + 2 = t. Does 2 divide t?
True
Let d(s) = 13*s - 5. Suppose b + 20 = -5*y, 0 = -b + 3*y + y + 25. Let r be b/((-10)/(-4)) + 2. Does 14 divide d(r)?
False
Let c(x) = x**3 - 12*x**2 - 13*x + 4. Let l be c(13). Suppose 0 = -3*v - 4*q + 110, -4*v = l*q - 139 - 13. Is 20 a factor of v?
False
Suppose f + 63 = -2*f. Suppose 0 = 3*a - 3*t - 13 - 116, 4*a + 4*t = 140. Let m = f + a. Does 6 divide m?
True
Suppose 2*i - 4*d = 190, -4*i + 9*i - 445 = -5*d. Does 12 divide i?
False
Suppose 2*z - 5 = -1. Suppose -38 = -z*s - 10. Is s a multiple of 4?
False
Let b(p) = 17*p**2 - p + 2. Let x be (-18)/(-14) - (-8)/(-28). Does 4 divide b(x)?
False
Suppose 73 - 1 = 3*l. Does 11 divide l?
False
Let p = -3 + 19. Let a = p - 10. Is 2 a factor of a?
True
Suppose -3*a + 2*x + 2 = -2, 5*x + 33 = -4*a. Is 8 a factor of 0 - a - 3 - -9?
True
Suppose k - 4*l = 4, -2*k + 3*l + 3 = -0*l. Suppose 4*a - 3*n - 113 = k, -143 = -4*a - 0*n - 3*n. Is 9 a factor of a?
False
Let g = 422 - 235. Does 17 divide g?
True
Let h(a) = 2*a + 12. Let g(c) = -2*c - 13. Let i(y) = -4*g(y) - 5*h(y). Let m(q) = q**3 + 6*q**2 + 3*q + 11. Let t be m(-6). Is 6 a factor of i(t)?
True
Suppose -5*j + s = -38, -2*j - 5*s + 0 - 1 = 0. Suppose 3*n - 1395 = 3*h, -j*n = -3*h - 2*n - 1389. Is (-2)/7 - h/21 a multiple of 14?
False
Let w(m) = -m**2 + 29*m - 12. Is w(9) a multiple of 12?
True
Let b(c) = 2*c**2 - 5*c - 23. Does 41 divide b(12)?
True
Let t(c) = -2*c - 15. Let h be t(-9). Suppose 4*m = y - 96, -2*m - 3 = h. Does 23 divide y?
False
Let z(w) = w**2 + 8*w + 4. Let h be z(-6). Let b(p) = -4*p + 8. Let x(n) = -5*n + 7. Let u(y) = 3*b(y) - 2*x(y). Is 13 a factor of u(h)?
True
Let u = 41 - 20. Let m = 42 - u. Is 7 a factor of m?
True
Let a(s) = 2*s - 13. Is 3 a factor of a(11)?
True
Let d(q) = q**2 + 8*q + 7. Suppose 0 = 2*s - 7*s - 35. Let w be d(s). Suppose 0*m - m + 26 = w. Is m a multiple of 13?
True
Is (12/(-7))/((-8)/28) a multiple of 3?
True
Let v(b) = b**2 - 12*b + 8. Is v(13) a multiple of 7?
True
Let j = 75 - 114. Let v = 149 + -90. Let x = j + v. Is 12 a factor of x?
False
Let u(z) = -z**3 - z**2 + 7*z - 4. Is 3 a factor of u(-4)?
False
Let u(r) = r + 10. Let a be u(0). Suppose 0*j + 2*j = 14. Let s = a - j. Is 3 a factor of s?
True
Let v = 6 - 1. Suppose v*o = o + 60. Is (-65)/(-3) + 5/o a multiple of 15?
False
Suppose p - b = 6*p - 54, 5*b = 5*p - 30. Let i(o) = -o**3 + 9*o**2 + 11*o - 7. Let g be i(p). Suppose -3 + 1 = -g*j - 4*m, -3*m = 12. Is j a multiple of 3?
True
Let j(v) be the second derivative of v**3/3 - 5*v**2/2 + 3*v. Let m be j(5). Suppose m*w - 78 = -23. Is 3 a factor of w?
False
Let w(y) = y**3 - 18*y**2 - 14*y + 16. Is 33 a factor of w(19)?
False
Suppose -17 = -b + 16. Suppose 14 = -k - k + 4*o, 3*k + 1 = 2*o. Suppose 0*s = k*s - b. Does 11 divide s?
True
Suppose -j + 213 = 4*k, 4*k + 4 - 192 = 4*j. Is k a multiple of 4?
True
Let o = 10 + -7. Let q be 5*(2 - -1)/o. Suppose 3 = -5*m - 4*n + 27, 2*m = 3*n + q. Is m a multiple of 3?
False
Suppose 2 + 14 = 4*h. Suppose h*k - 99 = -5*d, -5*k + 62 + 37 = -2*d. Is k a multiple of 15?
False
Let b(c) = -c**2 - 8*c - 5. Let d be b(-5). Let r(h) = 5*h - 17. Let m(u) = -2*u + 6. Let f(o) = -7*m(o) - 2*r(o). Is 16 a factor of f(d)?
True
Suppose -2*m + 59 = -17. Is m a multiple of 19?
True
Let n(f) = f**2 - 5. Let s be n(0). Is 9 a factor of 90/4*(7 + s)?
True
Suppose 4*z - 8 = -2*r, 2*r - 3*z - 4 = 11. Let c(n) be the third derivative of -n**6/120 + n**5/12 + n**4/4 + 4*n**3/3 - n**2. Is c(r) a multiple of 3?
False
Suppose -f = -3*z - 2*z + 469, -101 = -z + 2*f. Is z a multiple of 16?
False
Suppose 6*x = 2*x + 28. Is 3 a factor of x?
False
Let j be (-4)/16 + (-26)/(-8). Let q = 4 - j. Does 9 divide (-16)/(-10)*10*q?
False
Let n(w) = 3*w**2 + w - 3. Let j be n(3). Suppose 0 = 3*a + 73 - 19. Let k = j + a. Does 9 divide k?
True
Let t(c) = -c - 4. Let d be t(-5). Let h(k) = 6*k**2 + 4*k + 5 - 5*k**2 - d + 1. Is h(-9) a multiple of 16?
False
Let t = -112 - -195. Is t a multiple of 20?
False
Let l = -3 + 6. Let k be (-3 - -2)/(2/(-34)). Let j = k - l. Is 14 a factor of j?
True
Let a = -273 + 399. Does 21 divide a?
True
Suppose 3*m - 18 - 36 = 0. Is 18 a factor of m?
True
Let h = -8 + 2. Does 12 divide (-20)/h*(-18)/(-5)?
True
Suppose 2*c + 901 = 5*p + c, 0 = -p + c + 177. Is p a multiple of 16?
False
Suppose -4*u + 20 = 4*r, 3*r - 39 = -0*u + 3*u. Is r a multiple of 3?
True
Let o = -5 - -46. Is 22 a factor of o?
False
Let k(w) = 10*w - 1. Suppose 0 = 2*f - 3*r - 0 - 4, -4*f + 3*r + 8 = 0. Does 6 divide k(f)?
False
Suppose 0*l - 15 = 3*l, -3*l = 5*m - 10. Suppose 0 = 4*c - m*c. Is (-4)/(c + 2) + 46 a multiple of 18?
False
Let p be (8 - 26) + (1 - 3). Does 3 divide 8/p - 111/(-15)?
False
Let m be 3 + -1 + 15 - 2. Let f(i) = i**2 + 7*i + 2. Let z be f(-3). Let n = z + m. Is n a multiple of 3?
False
Let g be 3 + 2*(-3 - -4). Let y(o) = -o**3 + 7*o**2 - o - 6. Is 10 a factor of y(g)?
False
Let l be (-52)/(-12) + (-1)/3. Suppose l*k - 30 = 2. Is 4 a factor of k?
True
Let k = -40 + 88. Is k a multiple of 25?
False
Suppose -10 + 74 = 2*d. Does 8 divide d?
True
Let p = 64 - 11. Is p a multiple of 31?
False
Let p = -40 - -66. Does 20 divide p?
False
Suppose 15*x + 2*g = 12*x + 860, g - 574 = -2*x. Does 24 divide x?
True
Let v be 6*(3 - (1 - -3)). Let x = 13 + v. Suppose 3*j = x*j - 44. Is j a multiple of 8?
False
Let t = 66 + -4. Does 6 divide t?
False
Suppose 0 = s - 3*b - 23, 3*s - 5*b = 13 + 36. Let m be (s/(-2) + -1)*1. Let o(w) = w + 7. Does 2 divide o(m)?
True
Suppose -c - c = -5*k - 74, 4 = -k - 5*c. Let g = -3 - k. Suppose -j + g = -9. Is j a multiple of 10?
True
Suppose i + 0*i + 3*q = 77, 4*q - 236 = -3*i. Is i a multiple of 8?
True
Let w = -6 + 9. Suppose 0 = 4*h - 4*j - 416, -13 = -4*j + w. Is 36 a factor of h?
True
Is -1 - (-1 - (-4 - -15)) a multiple of 2?
False
Let x(m) = -m**2 + 9*m + 5. Let u(g) = g**2 + 5*g + 2. Let a be u(-6). Is 6 a factor of x(a)?
False
Let k = 5 - 3. Let g(o) = 2*o. Let d be g(k). Suppose 5*l - 10 - 17 = -3*b, -b - 25 = -d*l. Does 4 divide l?
False
Suppose n - 10 = -5. Suppose -n*v - 5 = -20. Is 3 a factor of v?
True
Let t be 68/(-85)*50/4. Is 2 a factor of (t + 17)*20/14?
True
Let i be -1*3*40/30. Suppose 5*r - 47 - 3 = -5*o, -5*r + 8 = -2*o. Is 56/(-6)*o/i a multiple of 14?
True
Is 1748/10 + -8*7/(-280) a multiple of 25?
True
Is 8/(-4) + -6*1*-64 a multiple of 15?
False
Suppose -23 = -y - 3*f, -2*f + 11 = 4*y - 81. Is y a multiple of 7?
False
Let u = -49 + 64. Is 3 a factor of u?
True
Let s(p) = 4*p**2 + 14*p - 1. Does 22 divide s(9)?
False
Suppose -2*s + 93 = -17. Is s a multiple of 11?
True
Let w be (3*-3)/(3/(-4)). Let k be 14/(-3) - 4/w. Is 4 a factor of -2*k/2*1?
False
Suppose 4*u = 5*a - 70, a - 8*u = -4*u + 30. Suppose -4*y = y - a. Suppose y*r - 33 = 19. Is 13 a factor of r?
True
Suppose t + 9 = 5*o, -2*t + 1 = -3*t + o. Is t*(7 + (1 - 1)) a multiple of 7?
True
Let p = 89 + -54. Let g = 17 + p. Suppose -5*l = -4*w - l + g, -5*w + 61 = -l. Does 12 divide w?
True
Let i = -3 - 2. Let f be i/2 + (-5)/(-10). Is 17 a factor of ((-4)/(-2))/(f/(-43))?
False
Suppose -3*n - 6 = -5*n + 2*a, 0 = -n + 2*a + 1. Suppose 7 = n*b + 22. Does 18 divide (b + -9)/(2/(-9))?
True
Let v(b) = -4*b - 1. Let o be v(-1). Suppose -o*z + 242 = -z. Suppose -z = -3*l - 37. Is 17 a factor of l?
False
Let c = -25 + 35. Is 7 a factor of (c/(-15))/(1/(-27))?
False
Suppose 0 = 2*w + 5*n - 64 - 41, -3*n + 171 = 3*w. Suppose 0 =