*l - 22*l. Is l a multiple of 30?
False
Let l be 5/10*84/3. Is 7 a factor of -7*((-6)/l + -1)?
False
Let c(u) = -26*u - 2. Let i be c(-1). Suppose 27 = 3*z - i. Let f = z - 10. Is f a multiple of 7?
True
Let n(c) = -21*c**3 + 8*c**2 + 22*c + 6. Does 5 divide n(-3)?
False
Let o be (-1 - 1)*(2 - 3). Suppose 1 = d - 2, o*d = 3*c - 309. Does 20 divide c?
False
Let y(n) = n**2 + 8*n - 17. Suppose -7*p = -18*p - 209. Is y(p) a multiple of 12?
True
Let b be 240/28 - 8/14. Suppose 0 = -3*h + 5*j + 50, -9*h + b*h + 2*j = -16. Is h a multiple of 4?
True
Let j be (-21)/(-2) + 7/14. Let b = -6 - 1. Let m = b + j. Does 2 divide m?
True
Let j(u) be the second derivative of -u**6/360 - 13*u**5/120 + 5*u**4/12 + u**3/3 + 2*u. Let h(w) be the second derivative of j(w). Is h(-8) a multiple of 22?
False
Is 11 a factor of 6790/8 + (98/(-56))/(-7)?
False
Let l = -718 - -2379. Is l a multiple of 10?
False
Let u = -410 - -491. Does 5 divide u?
False
Suppose 9*q - 680 = -8*q. Is q a multiple of 20?
True
Let z(j) be the first derivative of 9*j**2/2 - 7*j - 11. Let y be z(-2). Is 97/6 + y/150 a multiple of 4?
True
Let m(n) be the second derivative of n**4/12 - 7*n**3/6 + 9*n**2/2 - 13*n. Suppose g - 4 = 3. Is 7 a factor of m(g)?
False
Let m(d) = -d**2 + 11*d - 1. Suppose 2*b + l = b + 18, -3*l = -b + 14. Let g = b + -7. Is 3 a factor of m(g)?
True
Let f(s) = -3*s**2 + 8*s - 2. Let d be f(2). Suppose -6*u + 3*r = -2*u - 34, 0 = -3*u + d*r + 26. Is u a multiple of 8?
False
Let v = 6 + -5. Let i = v - -24. Is i even?
False
Let h(p) = 6*p**2 + 5*p + 8. Let d be h(5). Suppose d = 4*q - m, 4*m + 192 = q + 3*q. Is 9 a factor of q?
True
Suppose 23*p = 17033 - 5648. Is p a multiple of 55?
True
Suppose -5*k + 5*q = 3*q - 8323, -k - q + 1666 = 0. Does 5 divide k?
True
Let u(y) = 7*y**2 + 3*y + 3. Let s(v) = -2*v + 12. Let n be s(4). Suppose -3*x - n = 5. Does 19 divide u(x)?
True
Suppose -15*g + 509 + 496 = 0. Is g a multiple of 67?
True
Suppose 0 = -14*y + 19*y - 4960. Does 32 divide y?
True
Let h(m) = 94*m**3 - 2*m**2 + m. Let g(i) = i + 3. Let s be g(3). Let x be 4/(-20) + s/5. Does 12 divide h(x)?
False
Suppose 5*z = 2*v + 7*z - 136, -4*v + 284 = -2*z. Is 14 a factor of v?
True
Let r be -2 + 6*(-4)/(-6). Let w = -7 - 3. Is 26 a factor of (-8)/r - (w - 48)?
False
Suppose -2*y - 9 = 2*i + 7, 0 = 3*y + 2*i + 19. Let j be (y/4)/((-15)/(-180)). Let l(z) = -4*z + 3. Does 5 divide l(j)?
False
Is 93 a factor of ((-1080)/200)/(1/(-565))?
False
Let z = -22 + 24. Suppose -206 = -z*n + 3*o, -2*o + 78 + 11 = n. Let j = n - 43. Is j a multiple of 27?
True
Suppose 3*t = 5*u + 2471, -t + 2*u = 3*t - 3276. Is t a multiple of 19?
True
Suppose -903 = -2*p - 51. Is 18/12*p/9 a multiple of 26?
False
Suppose 0 = 643*p - 642*p - 2300. Is 12 a factor of p?
False
Suppose -124*m + 118800 = -91*m. Is m a multiple of 120?
True
Suppose -704 = 4*u + 5*d, -2*u - 5*d = 499 - 147. Let a = u - -260. Does 14 divide a?
True
Is -348*(14/(-44) + (-20)/110) a multiple of 15?
False
Suppose -y = -6*y - 270. Is (7 - y) + -1 + 1 + -1 a multiple of 12?
True
Is 2 a factor of (-6)/33 - (-972)/22?
True
Let x be -2 + 32 + (0 - 0). Let v = -7 + x. Does 14 divide v?
False
Suppose 479*s - 39760 = 465*s. Is s a multiple of 76?
False
Suppose -4*s + 2126 - 774 = 0. Suppose -4*t = -s - 158. Does 21 divide t?
False
Suppose -2*k + 2 = -8. Suppose 2*y + 4 = 0, 5*y + 83 = k*n + y. Does 7 divide n/(-10) - (-41)/2?
False
Let o = 408 + 213. Does 69 divide o?
True
Let z = 376 + -263. Let j(t) = -3*t - 7. Let y be j(-5). Suppose y = -5*q + z. Is q a multiple of 6?
False
Let x(g) = g**3 + 6*g**2 - 1. Let f be x(-5). Let m = -20 - -106. Let l = m - f. Does 22 divide l?
False
Suppose 0 = 4*c + 2*c - 18. Suppose -49 - 131 = -c*a. Is 8 a factor of a?
False
Let j(w) = -6 + 2*w**2 - 14*w + 19*w - 11. Is 23 a factor of j(-7)?
True
Let b(k) = -2*k**2 + 13*k + 30. Let p(u) = -3*u**2 + 19*u + 45. Let i(h) = 7*b(h) - 5*p(h). Is 2 a factor of i(7)?
True
Suppose -38 = -2*o + 12. Suppose z - o = -4*z. Let r(u) = 12*u - 4. Is r(z) a multiple of 14?
True
Does 30 divide -45*(4 + (-26)/3)?
True
Let w(u) = 2*u**2 + 20*u - 15. Let z be w(-18). Suppose 0*k - 2*t = 5*k - z, k - 60 = 5*t. Does 15 divide k?
False
Suppose -22*k = -k - 14994. Is k a multiple of 26?
False
Let m = 50 - 14. Suppose -m - 192 = -12*q. Does 14 divide q?
False
Let i = -4 + 16. Is 2 a factor of i?
True
Suppose 0 = -4*j + 4*m + 4, 0*j - j - 4*m = -16. Let u(z) = 0 + 0*z + 6 - j + 8*z. Does 22 divide u(8)?
True
Let b(v) = -v**3 + 38*v**2 - 63*v - 104. Does 11 divide b(36)?
True
Suppose -4*r + 2*r = 0. Suppose -v - 20 = 4*v, g + 4*v + 9 = 0. Suppose -t = -g - r. Is t a multiple of 2?
False
Let y(d) = -d**3 + 0 + 0*d**3 + 6 - 6*d**2. Let k be y(-6). Suppose 2*s - 52 = 4*v, s - 5*v = k + 14. Is 15 a factor of s?
True
Let t = 21 - 22. Let d = 8 + t. Let n = 24 - d. Does 9 divide n?
False
Does 39 divide (-13372)/(-8) + 14/(-4)?
False
Let w(j) = j**3 - 3*j**2 - j - 48. Does 77 divide w(8)?
False
Let j(y) = 8*y**2 - 2*y - 3. Let s = -12 + 9. Is j(s) a multiple of 15?
True
Suppose 3*t - 522 = -6*t. Does 4 divide t?
False
Suppose -i - 70 = i - 3*c, -3*i - 5*c - 86 = 0. Is 10 a factor of ((-210)/4)/(24/i)?
True
Let l(i) = -9*i + 26. Is 14 a factor of l(-8)?
True
Let m(w) = -w**3 - 10*w**2 - 4*w - 3. Let n be (-43)/3 - -5 - (-4)/(-6). Is 10 a factor of m(n)?
False
Let o be (5/3)/((-5)/(-15)). Suppose -2*k - 1 + o = 0. Suppose 0 = -k*i + 20 + 8. Is i a multiple of 7?
True
Let k(l) = l**3 + 2*l + 350. Is 8 a factor of k(0)?
False
Suppose -4*d = -15 - 173. Let n = 60 - d. Is n a multiple of 6?
False
Suppose -5*a = -5*m, 7*a = m + 3*a + 6. Suppose v + 15 = 2*v - 2*i, -31 = -m*v + 5*i. Is v a multiple of 7?
False
Suppose -3074 = 7*p - 9325. Does 5 divide p?
False
Suppose 3*h + 30 = -3*s, 0 = -h + 4*s - 0*s - 15. Let c(u) = 15 + 6*u + u**2 - u**3 - 11*u**2 + 2*u. Is 27 a factor of c(h)?
False
Suppose 16*h - 324 = 10*h. Suppose 0 = -g + 45 + h. Is g a multiple of 35?
False
Suppose -3*j + 3 = -3. Suppose -86 = -2*y + j*o + 2*o, 5*o + 127 = 3*y. Is 13 a factor of y?
True
Let t be 10*1*(-68)/(-85). Suppose -t*k = -6*k - 104. Is 26 a factor of (3/2)/(3/k)?
True
Let b = -26 - -35. Does 14 divide (-3072)/(-27) - (-2)/b - 2?
True
Suppose -5*b + 2*r + 8 = -2*r, 4*b - 7 = 3*r. Let x be ((-36)/(-3))/b*1. Suppose x*t = u + 40, 5*t + u + 3 - 59 = 0. Is 4 a factor of t?
True
Suppose -124 = -4*y - 4*m, -3*y + 7*y - 119 = -3*m. Suppose -y*c = -27*c + 153. Is 15 a factor of c?
False
Let l = -20 + 264. Is l a multiple of 9?
False
Let i(x) = 2 - x + 3*x + 0*x - x**3. Let v = 449 - 453. Is i(v) a multiple of 20?
False
Let x(o) = -o**3 - 13*o**2 - 8. Let f be x(-13). Let b be (f/12)/(2/3). Is b/(-6) - (-2639)/42 a multiple of 12?
False
Suppose -c = 3*c. Suppose c = 5*r - 15. Suppose 0 = -5*w + 2*m + 127, 0 = -r*w - 6*m + m + 101. Is w a multiple of 11?
False
Let o = 569 + 1229. Is o a multiple of 67?
False
Let j(s) = 2*s**2 + 54 - s**2 - 4*s + 6*s. Is 18 a factor of j(0)?
True
Let n(i) = i**3 - 5*i**2 + 6*i - 1. Let f be n(4). Let g(o) be the second derivative of o**3/2 - 3*o**2/2 - 3*o. Does 5 divide g(f)?
False
Let m be -18*((-5)/15 + 1). Does 12 divide (m/8)/((-2)/48)?
True
Let d = 20 - 16. Is 12*(d/16)/1 a multiple of 3?
True
Let d be (-84)/(-22) + (-22)/(-121). Suppose -2*q + 61 + 102 = 3*x, d*q - 2*x = 318. Is 20 a factor of q?
True
Let b(w) be the third derivative of -w**4/8 - w**3/3 + 12*w**2. Is b(-2) a multiple of 4?
True
Let r(v) = 283*v**2 + 5*v - 4. Does 32 divide r(1)?
False
Let q(k) = 1. Let j(w) = 26*w - 23. Let c(y) = j(y) - 3*q(y). Does 26 divide c(10)?
True
Let z(c) = 2*c**3 - 47*c**2 + 4*c + 20. Does 5 divide z(25)?
True
Suppose -5*g + 6*g = 8. Suppose g*x - 72 = 6*x. Is 9 a factor of x?
True
Suppose -4*k + 137 = -411. Suppose -4*p - k = -7*p + 2*v, 183 = 4*p - 3*v. Is 2 a factor of p?
False
Suppose 5 = 3*f + g, -5*g - 32 = -4*f - 0*f. Let i = f - 18. Let s = 4 - i. Is s a multiple of 5?
False
Suppose 0 = 5*n + 20. Let l be (4 - 4) + 69 + -2. Let z = n + l. Is 18 a factor of z?
False
Suppose 0 = 2*u - 6*u + 5*i + 1452, -1089 = -3*u + 5*i. Is u a multiple of 33?
True
Suppose 2*h - o = 528, -5*o + 348 = 2*h - 204. Does 38 divide h?
True
Let z(c) = 841*c + 34. Is 39 a factor of z(1)?
False
Let s(o) = 7*o + 