+ 40, 0 = -3*p + z*c - c + 168. Is 18 a factor of p?
False
Let d be 1/(1*(-2)/12). Let c be d/4 - 4/8. Does 5 divide 11*(c + 3) + 2?
False
Suppose -w = -7 - 20. Suppose 26*r = w*r - 90. Is 10 a factor of r?
True
Let n = -41 + 30. Suppose 2*v - 61 = 73. Let c = v - n. Does 15 divide c?
False
Suppose -370 = -4*p - 2*y, 3*p + 2*y - 100 = 2*p. Suppose 3*l - 6*l + 5*r - p = 0, 5*l + 178 = -r. Does 2 divide 21/l - (-28)/5?
False
Suppose -3*b = o - 655, 5*o = o + 16. Is b a multiple of 13?
False
Let k(m) = 231*m**2 + m + 11. Is 17 a factor of k(-2)?
False
Suppose 2*i - 2*m - 119 = i, -3*i = -m - 352. Is i a multiple of 9?
True
Let o be -3 + 386*(-6)/(-12). Suppose 14*n - o = 9*n. Is n a multiple of 5?
False
Does 22 divide 8/8 + 44/3*15?
False
Let k be (1/1)/(4*4/80). Suppose -2*q + k = -q + 5*a, 2*a = -10. Is q a multiple of 3?
True
Does 44 divide (88/(-7))/(24/(-84))?
True
Suppose -800 = -6*u + 184. Does 9 divide u?
False
Let k(b) be the third derivative of 0 + 0*b + 1/3*b**3 - 1/8*b**4 + 2*b**2. Does 6 divide k(-6)?
False
Let i be (-1)/(-4) - 642/8. Let d be 3/(-30) - 10968/i. Suppose 5*x = 113 + d. Is x a multiple of 25?
True
Suppose -3*l = 15, -2*t = 3*l - 0*l - 237. Let k = t + -57. Does 10 divide k?
False
Let m(a) = 2*a**2 + 22. Is 6 a factor of m(6)?
False
Let z = 665 + -423. Does 18 divide z?
False
Suppose h - 4*o - 2 = -6*o, 0 = -3*h + 2*o + 38. Let j = 39 + -37. Suppose f - j = h. Does 6 divide f?
True
Let s = 8 - -19. Let n = s - -19. Is 23 a factor of n?
True
Suppose 9188 = 3*l - 4*p, -6*l = -10*l + p + 12268. Does 8 divide l?
False
Let q = 50 + -87. Let j = q + 116. Is j a multiple of 8?
False
Let y(c) = 2*c**3 + 3*c + 5. Is y(5) a multiple of 27?
True
Let l be 4/18 + 1235/(-171). Let d = l - -9. Suppose d*x - 305 = -59. Does 32 divide x?
False
Let p = -15 + 42. Let f = 27 - p. Let k(t) = 2*t + 42. Is k(f) a multiple of 21?
True
Let z(q) = q + 54. Let a(p) = -p**2 + 6*p - 5. Let n be a(5). Is z(n) a multiple of 18?
True
Let j be -6 - (-16)/4 - (1 - 34). Let l = 111 - j. Is 20 a factor of l?
True
Suppose -74 - 1 = 5*g. Let f = 29 - g. Does 5 divide f?
False
Suppose 4*a + 110 = r, 5*r - 37*a - 534 = -33*a. Is 3 a factor of r?
False
Let c be 444/(-10) - 9/15. Let s = c + 77. Let u = s - 22. Is 5 a factor of u?
True
Let m = 57 - 27. Let d be (20 - 26) + (-1)/((-2)/8). Let a = m + d. Is 15 a factor of a?
False
Let i(o) = -8*o - 4. Let c(x) = 9*x + 3. Let d(m) = -4*c(m) - 5*i(m). Let y(z) = -z. Let b(t) = -d(t) + 4*y(t). Is 8 a factor of b(-4)?
True
Let x(i) = -4*i**3 - 8*i**2 - 39*i + 11. Does 22 divide x(-5)?
True
Does 5 divide -9 - (-104 - (-6 + -3))?
False
Suppose -9 = -5*m + 1. Suppose p - 3 + 0 = 0, -m*p = o - 32. Is o a multiple of 18?
False
Suppose -4*x - 646 = 5*n - 4313, 0 = x - 4*n - 922. Is 34 a factor of x?
True
Suppose -4*b + 2*b = 12. Let m(w) = -2*w**2 - 40*w + 24. Let q be m(-20). Is 2096/q - (-2)/b a multiple of 29?
True
Let g = 10 + -14. Is 11 a factor of -66*(-5 - g)/2?
True
Let k = 2585 + -1402. Does 7 divide k?
True
Let r(l) = -11*l - 19. Let f(j) = j - 6. Let z(p) = 4*f(p) + r(p). Suppose 3*m - 4 + 61 = 0. Is 13 a factor of z(m)?
False
Let a = 376 - 178. Let j = 319 - a. Is 13 a factor of j?
False
Let k = -241 + 447. Does 21 divide k?
False
Suppose 2*d + 5*h = 775, 332 + 72 = d - 3*h. Is d a multiple of 4?
False
Let s(w) = -2*w**2 + 1824. Is 32 a factor of s(0)?
True
Let d = -54 - -248. Let t = d - 92. Is 34 a factor of t?
True
Suppose 5*s + 3*c = 7*c + 15, -s - 3*c = -22. Suppose -1 = 2*q - s, -5*i - 3*q = -284. Is 1 + i + 1 + 2 a multiple of 18?
False
Suppose 2*r = 8*r - 162. Suppose 10*n - 53 = r. Is n even?
True
Let u = 23 - 12. Suppose u*z + 83 = 12*z. Suppose z + 157 = 4*a. Is a a multiple of 15?
True
Let q(g) = -g**2 - 8*g + 14. Let t be q(-9). Let c = 26 + t. Is c a multiple of 8?
False
Is (2/4*2)/(32/4448) a multiple of 3?
False
Is (-70)/15*(6*51)/(-6) a multiple of 7?
True
Does 11 divide 2 + ((-1080)/5)/(-2)?
True
Let t be (-294)/5 - 1/5. Let y = 212 + -103. Let f = t + y. Is f a multiple of 25?
True
Suppose 3*k + 3*k - 24 = 0. Suppose 0 = -2*a + 7*a + 5*t - 195, k*t = 0. Is 4 a factor of a?
False
Suppose 32*p + 25*p - 55404 = 0. Does 25 divide p?
False
Let k = 23 + -11. Let m = k - 10. Suppose 2*r = -m*r + 184. Does 13 divide r?
False
Let a(b) = 19*b + 1. Let z be a(6). Let v = 213 - z. Is 5 a factor of v?
False
Suppose 27 = -2*o + 5*x, 5*x - x - 16 = -4*o. Let n be 21/6 + o/2. Suppose -6 = -2*z - 5*g + 28, n*z - 51 = 3*g. Does 5 divide z?
False
Let d(s) = -2*s - 313*s**3 + s**2 + 4*s + s**2 + 314*s**3 + 1. Let x be d(-2). Let p(l) = -4*l**3 - 8*l**2 - 3*l - 1. Is p(x) a multiple of 11?
True
Suppose -2*b = -0*f - 3*f - 2905, -3*b - 4*f + 4315 = 0. Does 85 divide b?
True
Let q(w) = w**3 + 6*w**2 - 4. Let j be q(-6). Let a(z) be the first derivative of z**4/4 + 5*z**3/3 - z**2/2 - 2*z - 3. Is a(j) a multiple of 18?
True
Let f(z) = -z**2 + 6*z + 4. Let a be f(6). Does 23 divide (-126)/(-2) + -4 + a?
False
Let i = -1161 - -1345. Is i even?
True
Does 47 divide 54/(-5)*(-10)/4*17?
False
Suppose 697 - 193 = 4*f. Let v = -90 + f. Does 6 divide v?
True
Let n(i) be the second derivative of -i**4/12 - 2*i**3 - 17*i**2/2 - 10*i. Is 4 a factor of n(-8)?
False
Let q be ((-48)/36)/((-2)/(-6)). Let o(n) = -2*n - 5. Let y be o(q). Suppose -m + y*m = 24. Does 6 divide m?
True
Let b(t) = 888*t**2 - 6*t - 6. Is 12 a factor of b(-1)?
True
Let l be 228/30 + (-6)/10. Suppose -l*j + 312 = -164. Does 17 divide j?
True
Let p = 21 - 19. Suppose 0 = q + p*w + 20 - 117, -5*q + w = -540. Is q a multiple of 19?
False
Let m = 72 + -68. Suppose 5*w - 2*w - 78 = -m*r, -3*r = 4*w - 97. Does 11 divide w?
True
Suppose 6*k + 18 = 8*k. Suppose 3*u + 2*f = 3*f + k, -u + 3*f = -3. Does 9 divide -1 + 75/u + 3?
True
Let i(s) = 0*s - s**2 + 8 - 6*s + 0*s + 3*s**2. Let t be i(-6). Let n = 162 - t. Does 12 divide n?
False
Let i = -14 + 84. Let s be (-12)/5*i/(-21). Suppose -13*d + 360 = -s*d. Is d a multiple of 18?
True
Let l(a) = 4*a + 72. Does 4 divide l(0)?
True
Let a(s) = -s**3 - 7*s**2 - 9*s - 25. Let b be a(-9). Suppose -u + 30 = -3*k + 692, -3*u - b = -k. Is 17 a factor of k?
True
Is 16 a factor of (17/2)/(6/300)?
False
Suppose 2880 = 25*g + 7*g. Does 16 divide g?
False
Let c(o) = -2*o**3 - 37*o**2 - 20*o - 27. Let p(z) = z**3 + 18*z**2 + 10*z + 13. Let u(w) = 6*c(w) + 13*p(w). Does 3 divide u(-11)?
True
Suppose -20 = -4*s + w, 2*s + 4*w + 6 = -2. Suppose s*v - 216 = 228. Does 29 divide v?
False
Let v(a) = 24*a + 221. Does 29 divide v(-8)?
True
Is (-2)/(-5) - (-1244061)/1085 a multiple of 37?
True
Let v = 2 - -3. Suppose v*j + 13 = -32. Let g = 24 + j. Is g a multiple of 5?
True
Let c be (-6)/(-9) + 1/3. Let k(o) = -44*o**3 - 2*o**2 + 2*o - 3. Let y(z) = 87*z**3 + 3*z**2 - 3*z + 5. Let d(a) = 5*k(a) + 3*y(a). Is d(c) a multiple of 13?
False
Let n(d) = d**3 + 7*d**2 + 3*d - 3. Let i be n(-6). Let h = i - 15. Suppose h = -2*o + 18 + 24. Is o a multiple of 3?
True
Let a = 1587 - 1428. Is 4 a factor of a?
False
Suppose -3*c = -2*c - 1, -5*g = -2*c - 8. Suppose 4*z - 4*u - 77 = 79, 5*u + 84 = g*z. Suppose 0 = -4*m + 3*l + z, -m - 2*m - 3*l = -33. Is 4 a factor of m?
False
Let n be 3 + 2 + -7 + 5. Suppose 0 = -0*j + n*j. Let t = 7 - j. Is t a multiple of 4?
False
Let r = -3362 + 5078. Is r a multiple of 12?
True
Let a(m) = -4 - m**2 - 8*m - 7*m + 9 + 6*m. Let x be a(-9). Suppose 5*r + 172 = 3*d, -d - 4*d + x*r + 300 = 0. Is 17 a factor of d?
False
Suppose 106 = 5*i + v - 371, 486 = 5*i - 2*v. Is i a multiple of 6?
True
Let x be -1 - 6/(-10) - (-416)/40. Is (-1 + 0)*-88 + (10 - x) a multiple of 22?
True
Let b be (-5224)/(-40) + 6/(-10). Suppose -10 + b = d. Suppose 24 - d = -3*t. Is 19 a factor of t?
False
Suppose -6 = 2*o, -6*o = -3*m - o + 615. Suppose -5*p - m = -p. Let d = -33 - p. Is 3 a factor of d?
False
Is (-10)/(-30) - 3/18*-346 a multiple of 4?
False
Let b be 1/(4*(-1)/(-388)). Let a = -67 + b. Does 5 divide a?
True
Is 7 a factor of (12/(-10))/((-96)/274400)?
True
Suppose -8*w = -6*w - 34. Suppose -7 = -2*a + w. Is 2 a factor of a?
True
Let t(f) = f**2 + 8*f + 3. Let r be t(-9). Suppose 48*o - 45*o - r = 0. Is o even?
True
Let y(l) = -l**3 + 4*l**2 - l + 3. Let q be y(4). Is 13 a factor of (q/(-3))/((-2)/(-78))?
True
Let p(k) be the third d