) a multiple of 14?
True
Let z(l) = l**3 - l + 4. Suppose 2*m - 7 = -1. Let g be z(m). Let c = g - 9. Does 10 divide c?
False
Suppose -2*z = -4*z - 6. Let g be (1 - -4) + z + 0. Suppose g*t = -3*t + 4*o + 69, -5*t + 77 = -2*o. Does 17 divide t?
True
Let l(w) = -7 - 7*w + 3 + 10. Is 9 a factor of l(-3)?
True
Let k = 66 - 32. Is k a multiple of 13?
False
Does 25 divide 556/14 + (-4)/(-14)?
False
Let k(t) = t**2 - 8*t + 3. Does 12 divide k(11)?
True
Let w(s) = 2*s + 5. Let l be w(-7). Let z = -2 - l. Let y(m) = 2*m**2 - 4*m - 7. Is 24 a factor of y(z)?
False
Suppose -5*p + 40 = -5*h - 145, 0 = 4*p + 2*h - 154. Is p a multiple of 38?
True
Let s be 134 + 6*4/12. Let a = -75 + s. Is a a multiple of 33?
False
Suppose x + 4*d = 27, -x + 4*x = -2*d + 51. Does 9 divide x?
False
Let u be ((-4)/12)/((-2)/354). Let v = 99 - u. Does 20 divide v?
True
Let w(f) be the third derivative of f**4/6 + f**3/3 - 2*f**2. Is 9 a factor of w(4)?
True
Let j be 2/6 + 10/6. Suppose j*h = p - 0*h - 28, -2*h = -4*p + 130. Let m = p - 18. Does 8 divide m?
True
Let f be (3 - 44/4)/(-2). Let j(l) = 5*l - 4. Does 5 divide j(f)?
False
Let d = -6 - 5. Let x(l) = -7*l**2 - 26*l - 14. Let b(y) = 3*y**2 + 13*y + 7. Let h(o) = -5*b(o) - 2*x(o). Is 8 a factor of h(d)?
False
Let z(q) be the third derivative of -q**5/60 + 7*q**4/24 + q**3/6 + q**2. Is 11 a factor of z(5)?
True
Let o(l) = -2*l + 1. Suppose 4*u - 4*t = -6 - 10, u + 3*t - 4 = 0. Let y be o(u). Suppose -4*v + j + 19 = -0*j, 5*v + y*j = 5. Is v a multiple of 4?
True
Let r = 88 - -29. Is 8 a factor of r?
False
Let b(i) = i**2 - 7*i + 8. Let h be b(7). Let q(v) = v**3 - 7*v**2 - 7*v + 4. Is 5 a factor of q(h)?
False
Suppose -u + 93 = -4*n, 3*u = 2*u + 5*n + 98. Is u a multiple of 13?
False
Suppose 7*l - 81 - 164 = 0. Does 12 divide l?
False
Suppose 0 = 5*c - 0*c + 2*m - 34, 5*m + 55 = 5*c. Suppose y + 0*y + c = 0. Let q = y + 27. Is 9 a factor of q?
False
Let c = 28 + -20. Does 5 divide c?
False
Let t = 12 - 8. Suppose 6*i - 30 = -5*y + 4*i, t*y - 24 = 3*i. Is 3 a factor of y?
True
Let w = -4 + 5. Suppose -w - 3 = -2*z. Suppose 0 = -z*t + t + 15. Is t a multiple of 10?
False
Let s(n) = n**2 - 3. Let w(i) = -2*i**2 + i + 5. Let q(f) = 11*s(f) + 6*w(f). Let g be q(4). Suppose g*k - 72 = -b, 4*k - 3*k - 24 = -5*b. Is 14 a factor of k?
True
Suppose 0 = -3*n + 39 + 27. Suppose 4*t - 3*q - 156 = 0, 2*q - n = -2*t + 56. Is 13 a factor of t?
True
Suppose 3*f + 5*o - 3*o = 27, -f + 2*o = -9. Does 3 divide f?
True
Suppose -13*m = -6*m - 161. Let o = 6 + -4. Is 23 a factor of o*m*5/10?
True
Let c(n) = -n**2 + 3*n + 3. Does 3 divide c(3)?
True
Let g = 8 - 5. Let u = g + -3. Suppose u = -d - 2*v + 7, 14 = 3*d - d - v. Does 7 divide d?
True
Let g(j) = 32*j**2 + 3*j + 4. Does 57 divide g(3)?
False
Is 9 a factor of 3/(-6)*108/(-2)?
True
Let n be -1 + 0 - (-3)/1. Let c be 1 - 9/(-3) - n. Is 7 - 4 - c/2 even?
True
Let a(c) = c**3 + 9*c**2 - 3*c + 6. Is a(-9) a multiple of 11?
True
Let v(c) = -c. Let x(w) = -w. Let s(k) = 4*v(k) - 3*x(k). Let l be s(-1). Suppose -20 - l = -3*t. Does 7 divide t?
True
Suppose -2*h - 2*c + 3*c + 22 = 0, 4*c = 3*h - 23. Let q = 80 - 51. Let k = q - h. Does 14 divide k?
False
Suppose -5*i + 45 = 2*g, i = -2*g - 2*g + 45. Let j = g - 4. Does 4 divide j?
False
Does 34 divide (36/(-30))/((-1)/85)?
True
Let j(b) = -b**3 + 12*b**2 + 7*b + 6. Let q(v) = v**2 + 1. Let x(h) = j(h) - 6*q(h). Let u be x(7). Suppose s = -u*s + 9. Is s a multiple of 9?
True
Let v = 5 - 3. Suppose -2*k + 2*b + 44 = -v*b, b - 80 = -3*k. Does 26 divide k?
True
Let u(t) = 2*t**2 - 7*t - 5. Let a be u(4). Is 8 a factor of 2/(-3 - a) + 25?
True
Let w = -22 - -51. Is w a multiple of 25?
False
Let r(x) = 9 + 2*x**2 - x**3 - 7*x**2 - 4*x**2 + 11*x. Let i be r(-10). Is 17 a factor of 36/i*(-6)/9?
False
Suppose 0 = 4*k - 69 - 83. Let d = k - 25. Is 11 a factor of d?
False
Let f(b) = 0 - 3 + 1 + 2*b. Let a be 8/(-20) - (-66)/15. Does 3 divide f(a)?
True
Suppose v + 2 = 14. Is v a multiple of 3?
True
Let b = 109 - 39. Is b a multiple of 23?
False
Suppose -18*l + 21*l = 123. Is l a multiple of 11?
False
Let g(l) = l**3 - 10*l**2 + 13*l - 12. Is 8 a factor of g(9)?
True
Suppose 3*h + 8 = 7*h. Suppose -43 = -5*w - 3*x, -h*w + 12 = -x - 3*x. Is 4 a factor of w?
True
Is 8 a factor of (32/6)/((-7)/(-21))?
True
Let h be (-3)/(-2) - 1/2. Let z(w) = 113*w**2 + 15*w + 13. Let c(r) = -56*r**2 - 7*r - 6. Let o(y) = -13*c(y) - 6*z(y). Is 23 a factor of o(h)?
False
Let l(x) = x**2 + 17*x - 56. Is l(-24) a multiple of 16?
True
Let w = -4 - -3. Let g = 16 + -10. Is w/(-1)*(g + 4) a multiple of 10?
True
Suppose 0*q = -q + r + 6, -2*q = r - 3. Suppose -q*m - m + 4 = 0. Is m/(-2) - (-124)/8 a multiple of 5?
True
Let b(p) = -p**3 - 11*p**2 - 12*p - 15. Let v be b(-10). Let y(j) = 13*j - 8. Is y(v) a multiple of 16?
False
Let d = 18 - 16. Suppose 16 + 4 = d*z. Is z a multiple of 7?
False
Let j(g) = g + 9. Does 8 divide j(15)?
True
Suppose w = 3*w + 4*y - 16, 5*w + y - 4 = 0. Suppose -5*a + 8 = -7. Is 13 a factor of a/6*w - -13?
True
Suppose 0 = 4*t, -4*y + 2*t + 20 = -0*t. Let h(m) = 3*m**2 - m + 5. Is h(y) a multiple of 19?
False
Suppose -62 = -2*o + 14. Suppose o = 5*p - 12. Let d = 25 + p. Is d a multiple of 14?
False
Let v(j) = -1 + 5*j - 3 + 2*j**2 + 5*j - 2. Does 25 divide v(-9)?
False
Is 30/135 + 349/9 a multiple of 13?
True
Is 15 a factor of ((-44)/5)/((-3)/15)?
False
Let c(h) = h**2 - 13*h - 16. Suppose 8*o + 70 = 4*a + 3*o, 5*a = -5*o + 65. Is c(a) a multiple of 10?
False
Let k = -162 + 272. Is k a multiple of 22?
True
Let k(i) = -86*i - 6. Let t(q) = -17*q - 1. Let u(s) = -2*k(s) + 11*t(s). Does 8 divide u(-1)?
True
Suppose 2*l - 5*t = -10*t + 327, -t = -3*l + 465. Is l a multiple of 13?
True
Suppose -4*i + 0 = -20. Let s(y) = 2 + 14*y + 0 - i. Does 13 divide s(2)?
False
Let h(s) = -s**3 - 5*s**2 - 4*s + 2. Let o be h(-4). Suppose -4*k = 4*a + 16, -o*a + 6*a + k = -7. Let x(q) = -6*q**3 + 2*q**2 - 1. Is x(a) a multiple of 4?
False
Suppose -5*p - 3 = 7. Is 1/p + 125/10 a multiple of 12?
True
Suppose -10*j + 51 = -9*j. Is 17 a factor of j?
True
Let h be 4*(-1 - 19/4). Let b = h - -40. Let s = b - 6. Is 11 a factor of s?
True
Suppose 192 = m + 2*i, 3*m - 703 = -5*i - 123. Does 18 divide m?
False
Suppose -3*p - 170 = -r - 59, -p = 0. Let u = r - 24. Is 29 a factor of u?
True
Suppose 4*q - 72 = q - 3*h, -h = -q + 16. Is 5 a factor of q?
True
Suppose 3*i - 340 = -2*i. Let a = -40 + i. Does 14 divide a?
True
Let j(i) = -2*i + 1. Let g be j(-2). Suppose 0*p = g*p - 10. Suppose -p*a + 26 = 2*k, 2*a - 26 = -0*k - 3*k. Is a a multiple of 6?
False
Let c(a) = 0*a**3 - 9 + 2*a - 10*a**2 + a + a**3. Let d(i) = -i**3 + 7*i**2 - 4*i - 2. Let w be d(6). Is 15 a factor of c(w)?
False
Suppose 0 = j + 225 - 636. Does 46 divide j?
False
Suppose 4*y - 6 = 10, 0 = 5*w + y - 34. Let u be 2*1/(-6)*-9. Suppose -u*b + 9 = 3*r, w - 27 = -5*r - 2*b. Does 2 divide r?
False
Let y = -10 + 12. Suppose 0 = -y*v + 13 + 19. Is v a multiple of 8?
True
Let r = -92 - -149. Is 19 a factor of r?
True
Is (-18)/(-81) + (-104)/(-18) a multiple of 2?
True
Let q(p) = -p + 11. Let l be q(6). Let b(a) = 5*a + 10. Does 22 divide b(l)?
False
Let r(f) = f**3 - 4*f**2 + 2*f - 3. Let o be r(4). Suppose 4*k + 3*x - 35 = 0, 12 + 30 = o*k + 2*x. Is 3 a factor of k?
False
Let q(g) = 15*g**2 - g + 11. Let a(k) = -5*k**2 - 4. Let y(w) = 8*a(w) + 3*q(w). Let u = -8 + 11. Is y(u) a multiple of 15?
False
Let c = 19 - 86. Let q = c + 124. Is 19 a factor of q?
True
Let z = 17 - -25. Is z a multiple of 21?
True
Let v = -17 - -32. Suppose 0 = 3*r + v - 117. Is r a multiple of 9?
False
Suppose 0 = h + 3*h + 8. Is (-1)/h*0 + 14 a multiple of 8?
False
Let x be (-6 - 6/(-3))/(-2). Let v = 12 - x. Does 10 divide v?
True
Suppose -4*q = -3*q. Let p(x) = q*x**2 + 6 - x**2 - 8*x - 13. Is 4 a factor of p(-6)?
False
Suppose d = -2*f + 11 - 4, -3*d - f = -16. Does 5 divide d?
True
Let w(n) = n**2 - 2*n - 10. Suppose 0 = -o - 8. Does 13 divide w(o)?
False
Let h be (2/(-8))/(5/(-20)). Let z(m) = m**2 + 8*m + 6. Let g(v) = 1. Let i(j) = h*z(j) + 2*g(j). Does 8 divide i(-9)?
False
Is (-1235)/(-20) - 15/(-12) a multiple of 21?
True
Suppose 0 = -i - 3 + 6. Suppose -i*c = -226 - 89. Is c a multiple of 35?
True
Suppose 0 = -4*n + 19 + 217. Is n a m