7 = -0*u + 5*u, k - 3*u - 184 = 0. Is k a multiple of 12?
False
Let t = -17 - -31. Let l = 1864 - 597. Is l/t + 1/(-2) a multiple of 18?
True
Suppose -3*g + 111 + 74 = 5*c, g = 0. Is 3 a factor of c?
False
Suppose 1923 - 175 = 4*j. Is j a multiple of 17?
False
Let t(p) = -p**2 + p**3 - 26*p + 28*p + 3*p**2 + 1. Is t(3) a multiple of 6?
False
Let b be -3 - (2 + -5 - 2). Suppose b*m + 36 = -m. Let q = m + 26. Is q a multiple of 14?
True
Suppose 4 = 2*m - 2. Suppose 2*s - 9 = -t, 0 = -3*t + m*s - 2*s + 13. Suppose -4*q + 3*y + 433 = 0, 4*y - t + 17 = 0. Is 31 a factor of q?
False
Suppose 0 = -5*f - 4*n + 406, -5*f + 83 = 2*n - 325. Is 41 a factor of f?
True
Suppose -2*r - k + 2 = 0, 3*k + 2*k + 4 = 4*r. Let s be 4/((-1 + 2)*r). Does 5 divide (2 - -2)*6/s?
False
Suppose -3*p = -3, -5*n + 2*p = 4*p + 48. Let i(o) = -12*o - 7. Is i(n) a multiple of 21?
False
Let v be (3 + 3)*(-2)/9*3. Let y = 20 - v. Is y a multiple of 8?
True
Let i = 1085 - 750. Is i a multiple of 5?
True
Let z = 291 - 240. Is z a multiple of 4?
False
Suppose 2*p = -p - 147. Let v = p + 125. Suppose 3*o - v = -o. Does 11 divide o?
False
Suppose 5 = 5*b - 10. Suppose 2*v = 4, 3*s - b*v - 151 - 83 = 0. Suppose 4*a + 4*o - 180 = o, -2*a - 4*o = -s. Does 28 divide a?
False
Suppose 6*g - 2591 = 2653. Is 21 a factor of g?
False
Does 42 divide (258/(-172))/(2/(-728))?
True
Suppose -2 = -j + 2, -j = -3*g - 7. Let a be (4 + -2 + g)*35. Suppose -2 = 3*r - a. Does 11 divide r?
True
Let x = 43 + 58. Suppose 4*m + 300 = -5*l, 4*l = 2*m - 0*l + 124. Let i = x + m. Is i a multiple of 9?
False
Let c(q) = 19*q**2 - 17*q + 120. Is 54 a factor of c(14)?
False
Let x = 610 - 297. Let c = x + -163. Suppose 0 = -3*w + c - 27. Does 9 divide w?
False
Suppose -2 + 42 = s. Is 6 a factor of s?
False
Let f(q) = -2 - 5 + 1 + 2*q - 3*q. Let t be f(-15). Suppose -2*h + 7 = -t. Does 8 divide h?
True
Let w = 2 - -2. Suppose 2*x = -2*x + 3*t + 6, 0 = 4*x - w*t - 4. Let i = 11 + x. Does 13 divide i?
False
Let m(h) = -h + 60. Let l be m(0). Suppose -88*d + 86*d + l = 0. Is d even?
True
Is (27 - -210)/((-3)/(-9)) a multiple of 17?
False
Let x(q) = 7*q**2 - 2*q + 3. Let t be x(1). Let b(i) = i**3 - 5*i**2 - 4*i - 8. Let m be b(6). Suppose -m = -f + t. Is f a multiple of 2?
True
Let r(q) = 2*q + 17. Let x be r(-8). Let b = 31 + x. Is 11 a factor of b?
False
Let m(v) = -38*v**3 + 2*v**2 + v. Let x be -2*5/(-10) + -2. Does 13 divide m(x)?
True
Let r(g) = -g + 2. Let o be r(-3). Suppose o*l - 3*q - 14 - 7 = 0, -2*l - 3*q + 21 = 0. Suppose 0 = -0*h - 3*h + l, 5*j + 2*h - 354 = 0. Is j a multiple of 14?
True
Let x(t) = 40*t. Let y be x(-3). Let r = y - -168. Does 24 divide r?
True
Suppose -5*u = 2*a + 700 + 7, -5*a = u + 123. Let t = u - -234. Is t a multiple of 13?
True
Is (2 - -3)*((-2184)/(-10))/2 a multiple of 26?
True
Suppose -11 = 5*u + 2*s - 43, 3*s + 27 = 5*u. Is 16 a factor of 4110/(-10)*2*(-1)/u?
False
Let u(z) = -13*z - 103. Is u(-28) a multiple of 3?
True
Let c(f) = -17*f - 17. Is 13 a factor of c(-18)?
False
Let i(o) = -3*o - 12. Let v be i(-5). Suppose -5 = -y - 3*n - 0, -v*y = -n - 55. Let u = 19 + y. Is u a multiple of 24?
False
Suppose d + 2963 = 6*d + q, 3*d = -q + 1777. Is 34 a factor of d?
False
Let g(j) = j**2 - 14*j + 17. Let n be g(13). Let r be (-1424)/(-12) - n/6. Suppose -4*u = 3*p - 171, -2*p - 4*u = -0*u - r. Is 17 a factor of p?
False
Let c(j) = -j**3 + 7*j**2 + 8*j + 17. Let z be c(8). Suppose 5*y - z = 53. Does 14 divide y?
True
Suppose 8*u - 275 = 445. Does 5 divide u?
True
Suppose -l - 3*u - u = -937, -2*l + 3*u + 1896 = 0. Is 105 a factor of l?
True
Let f(n) = -2*n**3 - 2*n**2 - n - 1. Let b(j) = 5*j**3 + 4*j**2 + 3*j + 3. Let z(d) = 4*b(d) + 9*f(d). Suppose 2*w - 3 = 3. Is 24 a factor of z(w)?
True
Let s = -38 - -40. Suppose -z + 560 = s*a + 137, -4*a + 834 = -2*z. Is a a multiple of 13?
False
Let l(n) = -n**2 + 47. Let c = -30 + 30. Is 24 a factor of l(c)?
False
Let g(w) = -w**2 - 17*w - 14. Let q be g(-16). Let r(z) = 3*z**2 + 2. Is r(q) a multiple of 4?
False
Let o = 11 + 1. Let l = o + 84. Does 35 divide l?
False
Let b(i) = 3*i**2 - 8*i - 7. Is b(7) a multiple of 4?
True
Let m be ((-93)/1 - -1) + 2 + 0. Let s = m + 180. Does 55 divide s?
False
Suppose 17*t = 12*t + 30. Let z(n) = 5*n + 10. Is z(t) a multiple of 4?
True
Let i = -138 - -712. Suppose -b + 5*b = -p + 770, 3*b - p = i. Does 24 divide b?
True
Let y be (-38)/3*(-11 + 5). Suppose 5*t + 89 = -y. Is 14 a factor of 0 + (3 - 3) - t?
False
Let h be ((-12)/(-9))/(4/186). Suppose 3*k = 2*q + h, q - 91 = -4*k + 2*q. Is k a multiple of 8?
True
Suppose 2*x - 5*x + 5*r = 1, 2*x + 3*r = 12. Let o be -3 + 6 - x - 2. Does 13 divide (o + 17)/(9/24)?
False
Let t(v) = -11*v**2 - 9*v + 4*v - 6 + 3*v**3 - 4*v**3. Is 11 a factor of t(-11)?
False
Let r be 1/(-4) + 13/4. Let k = 23 - 19. Suppose -3*q = k*v - 72 - 3, 3*v - r*q - 30 = 0. Does 15 divide v?
True
Suppose 0 = 3*w + 15, 5*w + 6001 = 5*m - 8004. Is m a multiple of 9?
False
Let i be (-1 - -5) + (0 - -14). Let u = -1 + i. Is u a multiple of 10?
False
Suppose -4*w + 2317 = -691. Is 33 a factor of w?
False
Suppose -2*n - 836 = -6*n. Let s = n + -136. Is s a multiple of 19?
False
Suppose 2*d - 5*o - 219 = 0, 2*d + 3*o - 143 = 36. Does 2 divide d?
False
Suppose 314 + 62 = 8*h. Suppose 0*y - 3*y = -f + h, 2 = 2*y. Does 13 divide f?
False
Suppose -3*d - 9 = 0, d + 910 = 5*j + 357. Suppose -5*k = -4*y - y - 345, -4*y + k = 279. Let o = j + y. Does 8 divide o?
True
Let x(q) = -q**2 + 9*q + 5. Suppose -5*o = -54 + 9. Let g be x(o). Does 2 divide g*2 - 12/6?
True
Let i be 1/((-9)/(-47)) + 2/(-9). Does 10 divide i/(-25) + (-802)/(-10)?
True
Let b be (-16)/56 - (-131)/(-7). Let r = b + 84. Does 17 divide r?
False
Suppose u = -q - 80 + 465, -4*q = 5*u - 1541. Is 16 a factor of q?
True
Let d(w) be the third derivative of 17*w**4/24 - 19*w**3/2 - 26*w**2. Is 32 a factor of d(9)?
True
Suppose 261 + 609 = 15*k. Does 3 divide k?
False
Suppose f + 2*g = -4, -g + 3 - 6 = 0. Suppose 4*i = 2*r + 15 - 1, 7 = f*r + 3*i. Is (111/9 + r)*3 a multiple of 8?
False
Let y = -14 + 126. Is 14 a factor of y?
True
Let h = 29 + 6. Suppose -h*m - 65 = -40*m. Is m a multiple of 2?
False
Suppose -2*k + 20 - 6 = 2*m, 0 = -3*m + 5*k - 3. Suppose 4*l + 22 = 5*y - 3*y, 5*l + 8 = -4*y. Suppose y*o - 34 = -m. Is o a multiple of 10?
True
Let n(f) = 2*f + 11. Suppose 4*k = -4*b - 32, -2*b + 4 = -k - 4. Let u be n(k). Is 4 a factor of 10/(-25) - 27/u?
False
Let r(l) = l**3 - 9*l**2 + 5*l + 1. Let h be r(8). Let u(p) = -p**3 - 23*p**2 + 12. Is u(h) even?
True
Let p = -1073 + 1339. Is p a multiple of 7?
True
Suppose 3*u - 89 - 13 = 0. Let a be 2/(3 - u/10). Is 11 a factor of (-1)/(((-10)/(-88))/a)?
True
Is 11 a factor of ((-1800)/42)/((-3)/21) - 3?
True
Let h(w) = -64*w - 56. Is 89 a factor of h(-5)?
False
Let k(r) = 3*r + 36. Let h be k(-11). Suppose 5*w + 25 = 0, 4*q - q - 291 = h*w. Does 23 divide q?
True
Suppose x + 0*x - 2 = 0. Let j(a) = 47*a - 5. Let h be j(x). Let k = h - 58. Is 23 a factor of k?
False
Let t(k) = k**2 - 23*k - 5. Let b(d) = d**2 + d + 1. Let i(p) = -2*b(p) + t(p). Is i(-14) a multiple of 24?
False
Let o = 5 - 3. Let a(v) = 3*v**2 - 2*v - v**2 + 19 - v**o. Does 6 divide a(0)?
False
Suppose -6*b + 147 = -3*b. Is b a multiple of 9?
False
Suppose -x - 3*f = -1 - 2, -3*f = -4*x - 18. Does 20 divide x/3 + (3 - (1 - 115))?
False
Let f(l) = -l + 16. Let a be 1/1*(5 - 5). Let p be f(a). Suppose 5*g - g = -p, t - 11 = 2*g. Is t a multiple of 3?
True
Suppose -5*m = l - 990, 5*l = 3*m - m - 396. Is m a multiple of 11?
True
Let a(w) = w**2 + 8*w. Let u(c) = -c**2 - 7*c + 1. Let z(b) = -4*a(b) - 3*u(b). Let s be z(-9). Let p(y) = y**3 - 16*y**2 + 20*y - 20. Is p(s) a multiple of 17?
False
Let q(r) = 12*r**2 - 5*r + 113. Does 29 divide q(8)?
True
Let y = 26 + -38. Is 29 a factor of (y/(-4))/1 - -84?
True
Suppose 2 = 4*q - 2*l, q = -0*l - 4*l + 23. Suppose 0 = 4*y + 4*m - 308, q*m + 193 + 176 = 5*y. Is y a multiple of 25?
True
Let m be (2 + 14)/(14/35). Suppose -z + v = m, -v + 5*v + 56 = -2*z. Does 5 divide (-1)/9 + (-436)/z?
False
Let z(u) = 16*u**2 + 12*u + 4. Is 16 a factor of z(-8)?
False
Let x(z) = -7*z**3 - 11*z**2 - 20*z + 2. Is 15 a factor of x(-5)?
False
Suppose -2*f = -1769 + 173. Is 32 a factor of f?
False
Let p(l) =