*l - o*w - 8, 0 = 3*w - 12. Is l a multiple of 3?
True
Let g = -18 + 11. Let w = g + 3. Is 12 a factor of (-245)/(-20) - (-1)/w?
True
Let y = 8 + -6. Let z(f) = -f**3 + 3*f**2 - 2*f + 2. Let c be z(y). Suppose 0 = c*p + 2*b - 22, -4*b + 17 + 21 = 3*p. Is 6 a factor of p?
True
Suppose -3*r + 12 = 0, 3*a - 2*a = 5*r - 18. Suppose -a*p = 5*k - 0*p + 10, 0 = -k - 3*p - 15. Suppose i + k*i - 29 = 0. Is i a multiple of 9?
False
Let j be 7/(28/(-8)) + -30. Is 138/8*j/(-12) a multiple of 15?
False
Suppose 9*q - 25 = 8*q. Does 5 divide q?
True
Let q = 3 + -2. Let h be 18*(q + -4)/(-6). Suppose a + 3*c = h, -4*c + 8 = -0*c. Does 3 divide a?
True
Suppose -18 = 4*b - 3*m, -3*b + 8*b = 3*m - 24. Let y(g) be the second derivative of -g**4/12 - g**3 + 2*g**2 + 2*g. Is 2 a factor of y(b)?
True
Suppose -4*y = -h - 13 - 1, -5 = y + 4*h. Let d(g) = 57*g - 3. Let p be d(y). Suppose -z - 3*z = -p. Is 21 a factor of z?
True
Let n(q) be the first derivative of -1/3*q**3 + 7/2*q**2 + 1 + q. Is n(3) a multiple of 8?
False
Suppose -2 = 4*t + 2*i, 0 = 2*t + 2*t + i + 5. Let x = -10 - -11. Does 4 divide (t - x)/(6/(-16))?
True
Let q be 2 + 48/((-3)/(-3)). Let c = -30 + q. Is c a multiple of 4?
True
Suppose 4*k = 5*y - 2*y - 48, y - 2*k - 14 = 0. Does 10 divide y?
True
Suppose b = 4*b + 3, b - 9 = -5*u. Suppose -h = -u*o + 11, 6*o + 5*h = 3*o + 49. Does 8 divide o?
True
Let l(h) = h - 10*h + 11*h + 12*h. Let a be l(3). Suppose -a = 3*x - 6*x. Does 7 divide x?
True
Suppose 13 = 3*x - 4*p - 57, 0 = 3*x - p - 58. Suppose -4*f + x = -f. Is f a multiple of 3?
True
Suppose -6*w = -4*c - 4*w - 16, -5*c + 10 = 5*w. Let q be 0/3 + (-4)/c. Suppose -q*n + 11 + 9 = 0. Does 8 divide n?
False
Let r = 80 - 38. Is 14 a factor of r?
True
Let j(r) be the first derivative of r**2 + 10*r - 2. Let s be j(7). Suppose s = 2*a - 2*h, -4*a + 52 = -4*h - h. Is a a multiple of 8?
True
Suppose 0 = 2*c - c - 5. Suppose 0*b + 5*b + 2 = t, 2*b + 10 = c*t. Is t even?
True
Let i = 149 - 76. Does 19 divide i?
False
Suppose -3*a = -c + 63, -3*a + 204 = 4*c + a. Does 27 divide c?
True
Suppose 79 = a - 64. Let t = a - 83. Is 20 a factor of t?
True
Is (-3)/12 - (890/(-8))/1 a multiple of 11?
False
Let o(z) = -28*z**3 + z - 1. Let a(k) = -29*k**3 + k - 1. Let r(u) = 2*a(u) - 3*o(u). Is 13 a factor of r(1)?
True
Suppose -2*c + 59 = -2*m + 3*m, -5*m + 295 = -5*c. Is m a multiple of 21?
False
Let s = -16 - -9. Let k be -1 + (-7)/(s/6). Suppose k*w + 12 - 132 = 0. Is w a multiple of 18?
False
Let d = -3 + 0. Let i be 20/6*4*d. Let q = i - -56. Is q a multiple of 16?
True
Let p = 61 - 43. Is 6 a factor of p?
True
Suppose 0 = 4*h - 10 - 22. Does 2 divide h?
True
Suppose -7 = -c - 4. Suppose c = -b + 51. Is b a multiple of 17?
False
Let r = -7 + 10. Suppose 92 = 5*z - r*z. Is 23 a factor of z?
True
Suppose -13 + 37 = 8*l. Is l a multiple of 3?
True
Let y = 3 - 3. Let b = -12 + 19. Let w = b - y. Is 3 a factor of w?
False
Let g(v) be the first derivative of -v**4/4 - 2*v**3 - v**2 + 7*v - 2. Let c be g(-6). Suppose 110 = 3*u - c. Is 18 a factor of u?
False
Suppose y = 2*p + 2*p - 21, y = 3*p - 16. Suppose 4*n - 22 - 20 = -p*a, 0 = 3*a - 5*n - 3. Is 2 a factor of a?
True
Let z(u) = 7*u**2 - 19*u + 10. Is 10 a factor of z(7)?
True
Suppose 5*z - 2*v - 10 = 3*z, 5*z + 5*v - 65 = 0. Let m = 112 - 73. Let l = m - z. Is l a multiple of 10?
True
Let m = -145 - -103. Let k = -13 - m. Does 25 divide k?
False
Suppose -2*m + 6 - 2 = 0. Let g(s) = -3 - 2*s + 2*s**m + 0*s + 5. Does 12 divide g(3)?
False
Suppose 0 = -19*y + 24*y - 1270. Is 8 a factor of y?
False
Let k = -49 + 83. Is 32 a factor of k?
False
Is 39 a factor of (0 - -3 - 4)*-209?
False
Suppose -4*f = f + 5, -f - 97 = -4*i. Let s = i + -14. Suppose 5*t - 3*t - s = 0. Does 2 divide t?
False
Let k = 4 - 21. Let f = k + 29. Is f a multiple of 12?
True
Let n be (-3 + 2 + 1)/3. Does 17 divide (10 - -40) + 1 + n?
True
Is 5 a factor of (32/(-20))/(-4) - (-223)/5?
True
Suppose 24 = 5*u + 69. Let q(f) = -3*f + 9. Does 18 divide q(u)?
True
Let t(u) = -u**3 + 11*u**2 - 9*u - 7. Let q be t(10). Let r = -1 + q. Is (5/r)/(1/10) a multiple of 9?
False
Does 34 divide -3*(46/23 + (-194)/3)?
False
Let m(p) = 3*p + 3. Let a(k) = k + 1. Let d(f) = -7*a(f) + 2*m(f). Let z(c) = -c + 2. Let o(g) = 3*d(g) - z(g). Is 4 a factor of o(-5)?
False
Let v(d) = -8*d - 3. Let w(n) = -n - 12. Let s be w(-9). Does 21 divide v(s)?
True
Let a(p) be the third derivative of -p**7/1260 - 7*p**6/720 - p**5/30 - 2*p**2. Let n(b) be the third derivative of a(b). Does 7 divide n(-5)?
False
Let l = -7 + 13. Is 3 a factor of l?
True
Let m(i) be the third derivative of i**6/120 + i**5/6 - 5*i**4/8 - 5*i**3/2 + 2*i**2. Does 10 divide m(-11)?
False
Let z(m) = m**3 - 7*m**2 + 7*m - 2. Let g be z(6). Suppose 2*r - 6 = -2*d, -g*r - r = -20. Is 2 a factor of 2 + 0 - d - -2?
False
Suppose -4 = -n + 4*w + w, 0 = n - 2*w - 7. Is n a multiple of 9?
True
Does 12 divide (-4)/((-1)/((-12)/(-1)))?
True
Let d = -10 + 15. Suppose 16 - 136 = -d*p. Is p a multiple of 12?
True
Suppose 0 = -0*r + 2*r + 156. Suppose 2*q + 62 = -42. Let o = q - r. Is o a multiple of 9?
False
Let l be (-1)/(-2) - (-3)/(-6). Suppose 2*y - 56 = 4*j, -y + j + 29 = 4. Suppose l*t + y = t. Is t a multiple of 11?
True
Let i = -179 - -313. Is 12 a factor of i?
False
Let g(o) = o**3 + o**2 - 2*o + 1. Let a be g(-2). Let r be a/(-3 + (-7)/(-2)). Is 5 a factor of r*(0 + (-10)/(-4))?
True
Suppose 0 = 4*u + 5*j + 2, -u = 3*u + 4*j. Suppose u*d = 5*d - 48. Is d a multiple of 16?
True
Is (-3730)/(-35) + (-3)/(-7) a multiple of 7?
False
Suppose 125 = 2*z + 15. Is 6 a factor of z?
False
Let q = 25 - -37. Is 31 a factor of q?
True
Let v = -149 - -17. Let d = v - -212. Suppose d = 5*t + 5*c, -c - 12 = -5*c. Does 5 divide t?
False
Let a(v) = 4*v**2 - 2*v**2 - 6*v - 3*v**2. Is a(-3) a multiple of 3?
True
Let l be (4/6)/(2/15). Suppose 2*h + l*c = 57, -3*c = -5*h + 3*h + 33. Is h a multiple of 7?
True
Let d = -4 + 7. Let k(i) = i**2 - 3*i - 5. Let c be k(-4). Suppose 5 = -d*p + c. Is p a multiple of 6?
True
Let b = 4 - 1. Suppose -b*x + 337 = 127. Let c = -34 + x. Does 18 divide c?
True
Let d(n) = -n**3 + 6*n**2 + 3*n - 9. Let i be d(6). Let g = i + 3. Is g a multiple of 6?
True
Let p = 41 - 11. Is 30 a factor of p?
True
Does 13 divide (2 - 1078)*((-3)/4)/3?
False
Suppose z - 92 = -z - 4*q, 0 = 5*z - 4*q - 244. Is z a multiple of 4?
True
Suppose -o - 18 = -88. Suppose -3*r + f = 21 - o, -3*f = -3*r + 39. Is 18 a factor of r?
True
Suppose -48 = -3*b + 4*t, -5*b - 2*t = -3*t - 63. Let f = -3 + 2. Let c = b - f. Does 13 divide c?
True
Let y(s) = s**3 - 6*s**2 - 3. Let x be y(6). Let o(m) = 1 + 2 - 4*m - m. Is o(x) a multiple of 9?
True
Let k be -2 - -9*(4 + -5). Let m(h) = -4*h - 12. Is m(k) a multiple of 16?
True
Is 375/5 + 1*4 a multiple of 24?
False
Let g(l) = -l**2 + 2*l + 5. Let x be 1 - -2 - 4/(-2). Let f be g(x). Is (-154)/f + (-4)/10 a multiple of 10?
False
Let m(n) = n**2 + 6*n - 11. Let z be m(-8). Suppose -w + 4*o + 29 = 0, -z*o + 116 = w + 3*w. Does 8 divide w?
False
Let c(w) = 7*w**2 - 18*w - 1. Is c(5) a multiple of 21?
True
Let r(z) = 2*z - 6. Let t be r(5). Suppose 85 = t*y - 3*m + 6*m, 5*m + 23 = 2*y. Is y a multiple of 6?
False
Let t(k) = 5*k**2 + 15*k + 25. Let o(x) = x**2 + x + 1. Let l(h) = -6*o(h) + t(h). Is l(8) a multiple of 9?
True
Suppose 9*f = 5*f + 176. Does 11 divide f?
True
Is 2 a factor of 1/(4/80*4)?
False
Suppose 4*d - 45 = -5. Is 3 a factor of d?
False
Let p(j) = -2*j + 2. Let h be p(2). Let m = 2 - 5. Is 2 a factor of (8 - h)*m/(-6)?
False
Let m(r) = -6*r + 8. Let c be m(6). Let f be (-4)/18 + c/36. Is 12 a factor of -3*(f - (5 + -2))?
True
Let c(r) = -r + 1. Is c(-7) a multiple of 7?
False
Let g = -6 + 6. Let h(j) = j - 2. Let l be h(6). Suppose g*z + 38 = 3*z + l*q, -5 = 5*q. Does 7 divide z?
True
Is 1419/11 - 3/(-1) a multiple of 12?
True
Let i = 24 + -42. Let z = 1 + 0. Is 6/i*(-74 - z) a multiple of 9?
False
Let x(j) = 9*j + 4. Let t(d) = -5*d - 2. Let o(b) = 9*t(b) + 4*x(b). Is o(-3) a multiple of 19?
False
Suppose 15 = -0*h + 5*h. Let w = h - -9. Let m = -2 + w. Is 7 a factor of m?
False
Suppose p + 32 = 4*h - 34, -5*h - 4*p + 72 = 0. Is 16 a factor of h?
True
Suppose -5*d + 9 = 29. Does 6 divide (d/8)/((-2)/48)?
True
Let x(v) = -2*v