 = 4 - r. Is i a multiple of 10?
True
Let a be ((-28)/42)/((-4)/(-18)). Is 2/(-1 - a) - -44 a multiple of 33?
False
Let c = 66 - 40. Is 13 a factor of c?
True
Let o(v) be the first derivative of 16*v + 0*v**3 + 1/2*v**2 + 1/4*v**4 - 3. Does 6 divide o(0)?
False
Let n = 24 - 12. Let h be (-6 + 4)/((-1)/n). Is 2/16*14*h a multiple of 14?
True
Let k(v) = 6*v - 10. Let o(d) = -7*d + 10. Let w(p) = -6*k(p) - 5*o(p). Let b be (0*2/4)/1. Is w(b) a multiple of 10?
True
Suppose 3*n = 4*t + 59, 2*n - 62 = -4*t + t. Suppose -2 = -3*v + n. Does 9 divide v?
True
Suppose -3*b - 5*g + 117 = -2*g, 4*b - 131 = g. Suppose 3*x - 129 = 4*u, -b + 96 = x + 5*u. Is 11 a factor of x?
False
Let g(s) = s + 1. Let n = -10 - -5. Let a be g(n). Let y = a - -6. Is y even?
True
Suppose 0*w = -4*l + 2*w + 66, 0 = 3*l + 5*w - 43. Is l a multiple of 8?
True
Let c be (-804)/(-10) + 6/10. Suppose 3*q - c + 9 = 0. Does 10 divide q?
False
Let p(w) = -w**2 + 6*w - 5. Let g be p(4). Suppose -2*y - 1 = g*f - 5, -4*f + 2*y = 4. Suppose f = -o + 3*j + 19, 0*o + 3*j = 3*o - 33. Is 2 a factor of o?
False
Suppose 4*s + 3 - 35 = 0. Suppose -s*m + 42 = -6*m. Is 7 a factor of m?
True
Suppose 5*i - 340 = -3*u, -i + 72 = u - 42. Suppose -2*z = 3*z - 3*c + 169, -5*c - u = 3*z. Let n = z - -55. Is n a multiple of 15?
False
Let i(s) = s**3 + 7*s**2 - 7*s - 8. Suppose -l + 7 = -2*l. Does 11 divide i(l)?
False
Suppose -3*p - p - 16 = 0. Let y be (-3)/p + 41/4. Suppose y - 1 = 2*l. Is l a multiple of 2?
False
Suppose 0 = -p - 0*p + 3. Suppose p*w = -4*u + 18, 3*u - 6*u = -2*w + 12. Is 6 a factor of w?
True
Let m = -72 + 149. Is 20 a factor of m?
False
Let i = 3 - 64. Let o = -37 - i. Does 8 divide o?
True
Let p(c) = 27*c**2 - c + 2. Is p(-2) a multiple of 11?
False
Let g(y) = -11*y + 6. Let z be g(-4). Let w = z + -26. Does 22 divide w?
False
Let x = -7 - -17. Let u(z) = -14*z - 10. Let o be u(-5). Does 22 divide (32/x)/(4/o)?
False
Let n = -1 - -8. Let r(j) = -j**3 + 10*j**2 - 4*j - 9. Let g be r(n). Suppose o - 6*o = -g. Does 10 divide o?
False
Suppose -6 = m - 0*m. Is (4 - 1)*(-20)/m a multiple of 10?
True
Let i(o) = o - 4. Let b be i(5). Is 44/b + (-6)/(-6) a multiple of 14?
False
Let g(k) be the second derivative of k**4/12 - k**3 + 5*k**2 + 3*k. Let w be g(10). Let q = w - 28. Does 9 divide q?
False
Let r(a) = 2*a + 1. Let o be r(2). Let t(w) be the first derivative of w**3/3 - 3*w**2/2 + 5*w + 4. Is t(o) a multiple of 15?
True
Let n(c) = c**3 - 6*c**2 - 5*c - 8. Let z be n(7). Let i(b) = 4*b + 0*b + b - 3*b + 2. Does 5 divide i(z)?
False
Let a(s) be the first derivative of s**4/4 + 8*s**3/3 - 9*s**2/2 + 11*s - 1. Is a(-9) a multiple of 3?
False
Suppose r = -r - 14. Let u(t) = -6*t - 10. Does 16 divide u(r)?
True
Let w(a) = -a - 4. Let x be w(-6). Suppose -q - 107 = -4*d, -d + 0*q = x*q - 20. Does 10 divide d?
False
Let s(h) be the second derivative of -h**5/5 - h**4/4 + h**2 - h. Let b(d) = d**3 + 6*d**2 + 4*d - 7. Let c be b(-5). Does 11 divide s(c)?
True
Suppose 0*u + 25 = 3*j - 2*u, -j = 5*u + 20. Suppose -6*r = -j*r + 5. Let k(v) = -v + 5. Is 4 a factor of k(r)?
False
Let w be 129/(-2) + 2/4. Let f = -21 - w. Suppose -4*t = -3*q - t + 69, 2*q = -t + f. Is q a multiple of 11?
True
Let a = 62 - 28. Is a a multiple of 7?
False
Suppose -4*w + 31 = -3*l, 3*l - 2*w = -0*w - 29. Does 15 divide 19 + 0 + l/3?
False
Let y(k) = -13*k**3 - 5*k**2 - 2*k + 2. Let h be y(-5). Let f be ((-1)/2)/((-2)/h). Is f/30 + 2/5 a multiple of 13?
True
Suppose 2*k - 4*h = h + 4, 0 = 3*k + 5*h - 31. Is k even?
False
Suppose -4*i - 262 = -x - 53, -4*x - i = -887. Is 58 a factor of x?
False
Suppose -8 = -4*a - 0*a. Suppose 0*h = a*h + 38. Let u = h - -29. Does 4 divide u?
False
Suppose 3*h + 4 = -h. Is (-84)/(-18)*(h + 4) a multiple of 4?
False
Let h(k) = k**3 + 10*k**2 - 7*k + 3. Is 12 a factor of h(-10)?
False
Suppose 17*z = 16*z + 29. Suppose -3*d = -37 - z. Does 20 divide d?
False
Is 20 a factor of (-4)/(-3)*(26 + -11)?
True
Suppose 2*d + 0*d = 0. Suppose d = h + 5 - 23. Is h a multiple of 6?
True
Let l be 5/10*(0 - 44). Let c = l - -43. Is 15 a factor of c?
False
Is 2 + (-12)/5 + (-4020)/(-50) a multiple of 40?
True
Suppose 3*j - 51 = 2*q - 5*q, -j - 5*q = -29. Is j a multiple of 12?
False
Let x(g) = 2*g**2 + 5*g - 1. Suppose 2*d - 25 = 7*d. Does 12 divide x(d)?
True
Let t = 93 + -51. Does 26 divide t?
False
Suppose r + 5*u = 50, 59 = 3*r + 2*u - 26. Let t = r + -22. Is t a multiple of 3?
True
Suppose 0 = -2*i + i + 4. Suppose 0 = -i*c + 12 + 4, -c + 11 = y. Suppose 1 = 2*o - y. Is o a multiple of 4?
True
Suppose -3*g + 2 + 7 = -2*w, 0 = -3*w - 2*g + 19. Is 3 a factor of w + 0 + 0/(-1)?
True
Let c(l) = l + 1. Let b(r) = -11*r - 10. Let d(p) = b(p) + 5*c(p). Let j = -15 + 9. Is d(j) a multiple of 13?
False
Let x be (158/(-8))/(4/(-16)). Suppose 4*h - 125 = x. Is 18 a factor of h?
False
Suppose 4*p - 3*m - 350 = 160, -2*p - 2*m = -248. Suppose p = 4*v + 10. Suppose -4*f + 59 = -v. Is f a multiple of 16?
False
Suppose 5*g - 822 = -242. Does 29 divide g?
True
Suppose -4*z = -4, -5*w - 556 = -0*z + 4*z. Is 28 a factor of -3*1*w/12?
True
Let d(h) = -10*h**2 + 8*h + 17. Let x(f) = -3*f**2 + 3*f + 6. Let w(g) = 2*d(g) - 7*x(g). Let a = 12 + -5. Does 6 divide w(a)?
True
Is 7 a factor of (-1)/(-5) + (-69)/(-5)?
True
Let o(q) = -q**2 + 8*q - 3. Let p be o(7). Suppose 0*s = -p*s + 3*j + 359, 76 = s + 2*j. Suppose 0 = -3*v - 4*y + s, -2*y = v - 3*v + 34. Is 10 a factor of v?
False
Let w(i) = 3*i**2 + 3*i - 14. Is 14 a factor of w(6)?
True
Suppose 6*b - b = 55. Does 11 divide b?
True
Let m be 2/(-6) - 20/(-6). Suppose -n + 32 = m*n. Let c = -3 + n. Does 4 divide c?
False
Let f = 22 + -10. Is f a multiple of 6?
True
Suppose n = 4*i - 4*n - 65, -4*n - 70 = -5*i. Let j = -7 + i. Is j even?
False
Suppose -2*a - 3*p + 245 = 0, 0 = 2*a - a - p - 125. Is 31 a factor of a?
True
Let w(z) = 4 - 26*z - 7 + 4. Does 7 divide w(-1)?
False
Suppose 0*b + 5*d - 555 = -4*b, 0 = 2*b + 2*d - 276. Does 27 divide b?
True
Suppose -7*f + 4*g = -3*f - 308, 2*g = -10. Is f a multiple of 24?
True
Let u(q) = -q**2 - 12*q + 5. Let i(m) = -m**2 - 13*m + 5. Let p(f) = 4*i(f) - 5*u(f). Let y be p(-9). Is 9 a factor of (-332)/(-12) + y/(-6)?
True
Suppose x + 3*o - 4 = 11, -5*x = -3*o - 21. Is 7 a factor of 0 - -3 - x*-3?
True
Suppose 3*o - 12 + 28 = -4*c, -4*c + 4*o - 44 = 0. Is 6 a factor of (-43)/c - (-3)/(-21)?
True
Let s = 41 - 13. Is s a multiple of 14?
True
Let n(a) = a + 14. Let j be 4/(-1) - 1 - 2. Does 7 divide n(j)?
True
Suppose -4*t + 5*t + 2 = 0. Let v be (-30)/9*3/t. Let o = 10 + v. Does 4 divide o?
False
Suppose 0 = -l - w + 12, -35 = -3*l - w - 3*w. Is l a multiple of 11?
False
Suppose 56 + 24 = k - 5*j, -5*j + 195 = 4*k. Suppose -z - 5 = 4*q + 23, 5*q + 2*z = -35. Let i = k + q. Is i a multiple of 21?
False
Suppose 0 = -5*i - m + 7 + 17, -3*i + 16 = -m. Suppose 0*t + 4*y - 5 = 5*t, -i*t = -2*y - 5. Let q = 11 - t. Is q a multiple of 3?
False
Suppose -13 = -5*h + 2. Suppose h = u + 1. Suppose u*s - 7 = 9. Is 4 a factor of s?
True
Let p(v) = 4*v**3 - 2*v**2 - v. Let c(y) = 5*y**3 - y**2 - y + 1. Let n(s) = 3*c(s) - 4*p(s). Is 16 a factor of n(3)?
False
Suppose -6*s + 11*s = 0. Suppose 4*w - 96 = -s*w. Does 14 divide w?
False
Suppose -9*o = -7*o. Let i be o + (-1)/(1/(-4)). Suppose 3*t - i*t = -16. Is t a multiple of 8?
True
Suppose -20 = 5*y, 3*f = -2*f - 3*y - 77. Let z = -1 - 0. Is 18 a factor of (5 + -1)*z*f?
False
Let o be -1 - (-1)/((-1)/(-35)). Suppose 0 = -2*v - 0*v. Suppose v*n + 4*d + o = 2*n, 2 = -d. Does 13 divide n?
True
Suppose 2*s + 205 = 5*d - 2*s, 0 = 3*s - 15. Does 15 divide d?
True
Let s(y) = y**2. Let i(d) be the second derivative of d**4/12 + d**3/6 - d**2/2 - d. Let x(a) = i(a) + s(a). Is x(-2) a multiple of 3?
False
Let d be (-226)/(-8) - (-4)/(-16). Suppose -3*h = -7*h - 4*j + d, -h + 2*j - 8 = 0. Let g = 5 - h. Is g a multiple of 3?
True
Let n(c) = -c**3 - 9*c**2 + c + 12. Let d be n(-9). Let t = 25 - d. Is t a multiple of 7?
False
Let l(g) = g + 34. Is l(14) a multiple of 26?
False
Suppose 4*m + 24 = -5*n + 3*m, -5*n - 3*m = 32. Let d = n - -1. Is 7 a factor of ((-2)/d)/((-4)/(-132))?
False
Let h = 136 - 80. Is 11 a factor of h?
False
Suppose 3*d = 4*d - 13. Let l = 20 - d. Is l a multiple of 6?
False
Let b = 38 - -6