 of 19?
False
Let u = -19 + 49. Does 19 divide u?
False
Let j = 2 + -2. Let t be 16 - (-2 + 0 - -1). Suppose -2*u + t + 15 = j. Is u a multiple of 8?
True
Suppose 2*b = s + 4*s + 17, 5*b + 15 = s. Is 4/(-20)*66*s a multiple of 22?
True
Let q = -119 + 172. Let c = q - 7. Suppose -c = -i - i. Is 7 a factor of i?
False
Let i(x) = 10*x - 54. Is i(8) a multiple of 16?
False
Let w(r) = 12*r**2 + 3*r. Let n be w(3). Suppose -139 = -4*l + n. Is l a multiple of 16?
True
Let p(h) = 3*h**2 - 4*h - 2. Let z(c) = c**2 - c + 1. Let x(q) = p(q) - z(q). Let l be x(-2). Suppose 4*t - l = 5, 3*k - t = 29. Is k a multiple of 8?
False
Let w(v) = v**3 + 5*v**2 - 2*v - 6. Let d be w(-5). Suppose -5*j - 3 + 123 = 0. Suppose -d*h - 8 = -j. Is h a multiple of 4?
True
Suppose 0 = -0*o + 3*o - 219. Suppose o + 2 = 3*r. Does 19 divide r?
False
Let c(k) = 2*k**2 - 20*k - 29. Is c(17) a multiple of 17?
False
Suppose 0 = -2*m - 2*m - 12. Let q = 43 - m. Is 13 a factor of q?
False
Suppose 2*d - d - w = 124, 3*d - 2*w = 369. Is 10 a factor of d?
False
Let k(u) be the third derivative of u**5/60 - u**4/6 + 2*u**3/3 + 2*u**2. Suppose b + 2*b + 12 = 0. Does 22 divide k(b)?
False
Suppose -3*r + 31 = -26. Suppose 5*s - 1 = r. Suppose d + 10 = -s*d, -72 = -2*z + 5*d. Does 8 divide z?
False
Let x(b) = b - 16. Let m be x(11). Let w(t) = t**2 + 5*t + 4. Is w(m) even?
True
Is 5 a factor of ((-392)/224)/((-1)/20 - 0)?
True
Let y(g) = -g**2 - 6*g + 6. Let t be y(-7). Let q(x) = -3*x**2 + 1. Let w be q(t). Let j = 9 - w. Is 4 a factor of j?
False
Let c(h) = -h**3 - 4*h**2 - 2*h + 5. Let k = 3 - -1. Suppose -14 - 2 = k*z. Is c(z) a multiple of 13?
True
Let u(p) = -3*p**3 + p. Let b be u(-1). Suppose -4*s = -4*y + 120, -2*y + b*s = -2*s - 56. Is y a multiple of 11?
False
Suppose 6*r - 5 = 37. Is r a multiple of 2?
False
Suppose 0*l + 276 = 4*l. Does 23 divide l?
True
Suppose 5*x - 20 = 0, b - 190 = -2*b + 5*x. Is b a multiple of 10?
True
Suppose 2*j - 2*r - 32 = 0, -4*j + r + 13 = -63. Is j a multiple of 12?
False
Does 17 divide (-56)/(0 - 2) + -2?
False
Let s(o) = o**3 - 10*o**2 - 7*o + 3. Does 8 divide s(11)?
False
Let m(u) be the first derivative of 2*u**2 + 7*u - 2. Does 31 divide m(6)?
True
Let a(m) = m**2 - 17*m + 22. Is 22 a factor of a(17)?
True
Let b = 107 - 155. Let k(h) = h**3 - 8*h**2 + h - 8. Let v be k(6). Let p = b - v. Is 13 a factor of p?
True
Let g(u) = 12*u + 6. Is 6 a factor of g(2)?
True
Let i = -28 + 103. Does 15 divide i?
True
Let c = 35 - 23. Let t = -33 + c. Is 3 a factor of 2/(-3)*t/2?
False
Suppose -113 = -3*d + 202. Is d a multiple of 6?
False
Let p be 2/7 + (-3465)/(-49). Suppose 0 = 2*v + v + 5*k - p, 2*v - 46 = -2*k. Is 11 a factor of v?
True
Let j(q) = 17*q**2 - q. Does 4 divide j(1)?
True
Let g be (-1)/(0 + (-4)/16). Let x(i) be the third derivative of -i**5/60 + 7*i**4/24 - 5*i**3/6 + i**2. Is x(g) a multiple of 7?
True
Let f(c) be the third derivative of c**6/120 + 3*c**5/20 - 7*c**4/12 - c**3/3 + c**2. Let i be f(-10). Let l = i - 17. Does 13 divide l?
False
Let v(o) = o**2 - 2*o - 9. Let s be v(-6). Suppose s = 4*l - 21. Does 5 divide l?
True
Let y(j) = j**3 - 5*j**2 - 6*j - 4. Let f be y(6). Let a(u) = -2*u - 1. Is a(f) even?
False
Let h = -664 - -1132. Suppose -h = 5*s - 8*s. Suppose a = 2*r + 34, 3*a = -3*r - 18 + s. Is a a multiple of 16?
False
Let j = 141 - -24. Is j a multiple of 50?
False
Let a(p) = -3*p**3 - p - 1. Let l be a(-1). Let o be (-3 + -3)*1/l. Is (20/(-6))/(o/15) a multiple of 16?
False
Let n(g) = 6*g**2 - 3*g + 19. Is n(5) a multiple of 14?
True
Let r(c) = 3 + 20*c - 1 - 1. Is 5 a factor of r(1)?
False
Is 25 a factor of 5/25*0 + 83?
False
Let g(b) = b**2 + 7*b + 6. Suppose 5*q + 41 = -4*d + 13, 0 = 4*d + q + 28. Does 3 divide g(d)?
True
Let v be 3/6*4 + -2. Let l be 12 + 2 + (0 - v). Let x = l + -6. Is x a multiple of 4?
True
Let s(r) = 27*r + 28. Is s(6) a multiple of 19?
True
Let s(v) = v**3 + 3*v**2 + 2*v + 2. Let u be s(-3). Let o be (-6)/u - (-6)/(-4). Suppose o*h - 18 = -h. Does 8 divide h?
False
Let y(u) = u**2 - 9*u + 10. Let v be y(8). Suppose -v = -4*m + 50. Does 7 divide m?
False
Suppose 0 = -2*o + o. Is (o + (2 - 4))*-4 a multiple of 4?
True
Let b(h) = -h**2 + 9*h + 16. Is b(10) a multiple of 6?
True
Let x = -13 - -4. Let c = x - -29. Does 5 divide c?
True
Suppose 0 = 4*i - 28 + 8. Let o = i + 3. Does 3 divide o?
False
Suppose 0 = -3*f + 4*j + 61, -2*f + 4*f - 42 = 2*j. Let t = f - 3. Is 6 a factor of t?
False
Suppose -4*f - 4 + 16 = 0. Suppose s - 16 = -f*m + 51, -4*s = -m + 31. Is 11 a factor of m?
False
Suppose -4*k + 324 = -48. Is k a multiple of 22?
False
Suppose 0 = -2*z + 121 - 15. Suppose 5*j - z - 107 = 0. Suppose -2*n + j = -s, 2*n - 3*s = 2*s + 48. Does 5 divide n?
False
Let z = -3 + 6. Let q(v) = -v + 3. Let a be q(z). Suppose -4*w + 102 + 6 = a. Does 14 divide w?
False
Suppose 648 = 4*w + 8*w. Is 9 a factor of w?
True
Let s be (-9)/(-12) + 102/(-8). Is 15 a factor of s/(4/(-10)*1)?
True
Let z be (-24)/20*220/6. Let o be (-2)/(-11) + (-520)/z. Does 4 divide 70/8 + (-9)/o?
True
Let x = 419 + -151. Does 58 divide x?
False
Suppose 0 = -0*v - v. Suppose -2*o = 2*u - 66, -u - 4*o + 15 + 9 = v. Is 8 a factor of u?
False
Suppose 4*x + 390 = 4*b - 670, -2*b + 527 = -3*x. Suppose -b = -0*r + 4*r. Let o = -29 - r. Is o a multiple of 19?
True
Let c = -178 - -269. Suppose 3*m = w + c, 4*m + 3*w = -w + 100. Is 29 a factor of m?
True
Suppose 0 = -3*q - q + 12. Suppose -7 = -q*i + 17. Does 3 divide i?
False
Let o = 22 - 22. Suppose 3*h - 2*p - 33 = 0, o = h + 5*p + 15 - 43. Is 13 a factor of h?
True
Let c be -139 - (3 - (-1 + 2)). Let h be c/(-3) - 0 - 1. Suppose 0 = 5*g + h - 116. Is g a multiple of 7?
True
Let m = 34 - -14. Is 48 a factor of m?
True
Let m = -44 + 66. Is m a multiple of 9?
False
Suppose -1 = 5*l - 3*i + 2, -4*l = -i + 1. Suppose 2*f - 3*f = l. Suppose -10 = -3*n - 2*h, -n + f*h + 2 = h. Is 6 a factor of n?
True
Suppose -3*r - 3*q + 81 = -0*r, -3*r - q + 89 = 0. Is 6 a factor of r?
False
Let j(x) = -x**3 + 5*x**2 + 4*x - 6. Does 3 divide j(5)?
False
Suppose -444 = -3*i + 5*x + 356, 3*x = -3*i + 816. Suppose 0*b + i = 6*b. Is 13 a factor of b?
False
Let d = -3 + 12. Let b = 13 - d. Is b a multiple of 4?
True
Let m(d) = 47*d**3 + d**2. Is m(1) a multiple of 5?
False
Suppose 3*p = -p - 24. Let u(w) = 28*w - 6. Let t(f) = -9*f + 2. Let q(j) = 16*t(j) + 5*u(j). Is 9 a factor of q(p)?
False
Let k(f) = f**3 - 5*f**2 - 8*f + 12. Let g be k(6). Let u = 98 + -26. Suppose 0 = -g*z - 2*z + u. Is z a multiple of 18?
True
Let j(v) = v**3 + 10*v**2 + 8*v + 10. Is j(-9) a multiple of 19?
True
Is (-3749)/(-23) + (-4)/(-2) a multiple of 13?
False
Suppose f = 2*w + 8, f - 5*f = -2*w - 20. Suppose q - f*i + 3*i = 17, -5*q = 2*i - 92. Does 18 divide q?
True
Let w(v) = 5*v**2 - v - 4. Let a be (-2)/(-10) - 70/(-25). Does 14 divide w(a)?
False
Let s(a) = a**2 - 7*a - 6. Suppose 0 = 2*j - 5*k - 26, -j + 20 = 2*j + 2*k. Let u be s(j). Suppose -4*p + 64 = u*m, -2*p + p = -5*m - 16. Is p a multiple of 6?
False
Suppose 4*n = -n. Suppose n = -c + 4*c - 171. Suppose -2*b + 8*t - 3*t + c = 0, -3*t - 3 = 0. Does 11 divide b?
False
Suppose 4*c - t - 24 = 0, -4*t - 8 = -24. Does 4 divide c?
False
Suppose -16 = -4*p - 0*p. Let h(n) = 5*n - 2*n - 2*n**2 - n**2 + 4*n**2. Is h(p) a multiple of 14?
True
Let o = 1 + 2. Suppose -o*k = -0*k. Suppose k*a + 3*a - 18 = 0. Is a a multiple of 3?
True
Suppose -3*t + 5*o + 60 = -t, -5*t = -2*o - 171. Let r = 57 - t. Is 22 a factor of r?
True
Let y(k) = -2*k - 6. Suppose 0*m - 21 = 3*m. Let j be y(m). Suppose -2*l + 12 + j = 0. Is l a multiple of 5?
True
Suppose 3*f + 0*f = 3. Let u = 11 - f. Is 10 a factor of u?
True
Suppose -2*t - 3*t + 25 = 0. Let a = -8 + 10. Suppose -t = a*y - 19. Does 7 divide y?
True
Suppose 0 = 2*f + 4*h, 5*h + 53 - 1 = 4*f. Let p = -6 + f. Does 4 divide 4 + p - 2/(-1)?
True
Let c be (6 - (0 - 1)) + -2. Suppose -x + 2*d + 41 = 0, x = -0*d - c*d + 69. Is 17 a factor of x?
False
Let f(t) = 3*t**3 - t**2 - 10*t + 8. Is f(3) a multiple of 50?
True
Suppose 15*d = 90 + 1620. Does 18 divide d?
False
Suppose 0 = -2*y + 2 + 6. Let h = 3 + y. Does 2 divide h?
False
Suppose -4*b + 5*b = 2. Suppose 2*k = t + 17, -t - b*k = -4*t - 31. Does 8 divide (-170)/t + (-6)/21?
True
Let y = 33 - 23. I