 3*y - 8*y + t*v. Is y a multiple of 6?
True
Let o(r) = -5*r**2 + 5*r - 19. Let m(z) = -14*z**2 + 14*z - 56. Let p(d) = -4*m(d) + 11*o(d). Is p(0) a multiple of 4?
False
Let h = 13 + -10. Suppose m + 46 = 4*i, -i + 56 = h*i + 4*m. Is i a multiple of 4?
True
Is (-3 + 4/(-12))*-30 a multiple of 7?
False
Let z(w) = w**2 + w + 1. Let l be z(-1). Suppose -3 = -2*k - l, 2*g - 10 = -4*k. Suppose -g*q = q - 100. Is 10 a factor of q?
False
Let j(f) = -f + 18. Let q be j(12). Does 18 divide 24/(4 + (-22)/q)?
True
Suppose -3 = l + 16. Let g = 79 + l. Does 20 divide g?
True
Let h = 160 - 103. Is 21 a factor of h?
False
Suppose 3*t - 13 = 71. Is t a multiple of 28?
True
Let c be 1/3*(-27)/(-3). Suppose g = 4*n + 213, -106 = 2*n - c*g + 3. Let o = n - -87. Does 17 divide o?
True
Let w(o) be the first derivative of 3*o**2 + 3*o - 2. Let u be w(-5). Let a = u + 48. Does 8 divide a?
False
Suppose -6*h = x - h - 190, -4*x - 2*h = -670. Is x a multiple of 33?
True
Let w(s) = 6*s**3 + s**2 - 1. Let o be -3 + (2 - 1) - -4. Let m be -1 - (3 - o) - -4. Does 20 divide w(m)?
False
Suppose -24*h + 22*h = 22. Let f = h + 25. Is f a multiple of 14?
True
Let g be (1 - -9)*(-12)/(-30). Let m be 1645/9 + g/18. Does 8 divide 4/6 + m/9?
False
Suppose 5*m + 2 = -38. Let h = 4 - m. Is 6 a factor of h?
True
Suppose -2*q + 2*i - 16 = 0, -i = 2*q + i - 4. Let l = q + 15. Is 6 a factor of (l/(-7))/(2/(-14))?
True
Let u(g) = 31*g**3 - 1. Let k be u(-1). Let x = k - -48. Is x a multiple of 8?
True
Let y(c) = 9*c**2 + 2*c + 2. Let i(x) = -4*x**2 - x - 1. Let r(o) = -7*i(o) - 3*y(o). Let j(p) = -5*p**2 - 3*p - 1. Let n(m) = -j(m) - 4*r(m). Is n(3) even?
False
Let p(o) = 5*o**3 - 13*o**2 + 10*o + 2. Let v(d) = 4*d**3 - 12*d**2 + 10*d + 1. Let g(l) = 5*p(l) - 6*v(l). Let k be g(-8). Is 4/(-6) + k/3 a multiple of 3?
True
Let u = -8 - -13. Suppose -4*h = -u*h - 4. Does 9 divide (-37)/h - 1/4?
True
Let h = 122 - 42. Does 32 divide h?
False
Let j = -7 - -5. Let s be (-4)/((-8)/(-3))*j. Suppose -s*d - 3*n + 39 = 0, 2*d = -d + 3*n + 9. Is 5 a factor of d?
False
Suppose -3*n + 24 = 5*m, 0*n = -n + 3*m - 6. Let x = 15 - n. Suppose -x - 9 = -c. Is c a multiple of 7?
True
Let z(d) = d**3 - 2*d**2 - 6*d + 2. Does 10 divide z(6)?
True
Let d be (-8)/6*18/(-4). Let k = 0 + d. Suppose -21 = -3*b - k. Is 3 a factor of b?
False
Let f = -3 + 6. Suppose -8 - 13 = s + 4*r, -4*r = -s + f. Let m = 9 - s. Does 18 divide m?
True
Let g be 2/(-7) + (-96)/(-42). Suppose d + g*d = 0. Suppose d = 4*o - o - 24. Does 8 divide o?
True
Suppose 2*p + 4*x = 4, 0 = -4*p - 3*x + 5*x + 38. Suppose t = -3 + p. Suppose 0 = -5*i + 2*y - 3*y + 110, -3*y - 110 = -t*i. Does 7 divide i?
False
Let d = -14 + 8. Let f(r) be the first derivative of -5*r**2/2 - 3*r + 2. Does 7 divide f(d)?
False
Let a(g) = 4*g**3 - 2*g**2 + 2*g - 1. Let j be ((-176)/55)/(4/(-10)). Let y be j + -6 + (-2 - -1). Does 3 divide a(y)?
True
Is 14 a factor of (3 - 155/15)*-6?
False
Suppose -5*l + 41 = 3*t + 3, -2*t + 16 = 2*l. Is l a multiple of 7?
True
Let x be (-74)/(-2) - 8/8. Let d = 78 - x. Is d a multiple of 17?
False
Suppose 0 = -5*f - 4*z + 413, f - 37 - 33 = -5*z. Suppose 3*u = 38 + f. Is u a multiple of 17?
False
Suppose -3*p + 15 = 3*g, -g - g + 4 = -p. Suppose g*o + 43 = -2*i + 4*i, 0 = -i - 3*o - 1. Is i a multiple of 4?
False
Let r = 126 - 42. Let x = 1 + -42. Let d = x + r. Does 18 divide d?
False
Let b(g) = -2*g**3 - 13*g**2 - 17*g + 17. Is b(-8) a multiple of 52?
False
Let n(k) = k**2 - 4*k - 2. Let g be n(4). Let j(l) = -l**3 - 2*l**3 - 2 - 3*l**3 + l - 2*l**2 + l**3. Is 14 a factor of j(g)?
True
Let a(f) = -f. Let n be (-2)/(-6) + (-14)/(-3). Suppose 3*v + n = -4. Does 3 divide a(v)?
True
Let c be 25 + 2*3/(-6). Suppose k + 12 = 2*a - 0*a, 0 = -5*k + a - c. Is 4 a factor of (10 - 1) + k + 3?
True
Let f(b) = 2*b**3 - 2*b**2 - 3*b - 2. Let p = 0 + 3. Is f(p) a multiple of 14?
False
Let z(q) = -q + 3*q - 2*q + q + 3. Is 6 a factor of z(3)?
True
Let r be ((-3)/2)/(6/(-40)). Let p be 24/r + (-12)/(-20). Let j = p + 8. Does 11 divide j?
True
Let h(z) = -z + 29. Is h(5) a multiple of 12?
True
Let v(u) = u**3 + 26*u**2 - 7*u + 21. Is 44 a factor of v(-26)?
False
Suppose 5*p + 16 = -4*q, -2*q = q - 5*p + 12. Does 11 divide -3 + q + 8 + 43?
True
Let o(f) = 2*f**3 - 3*f**2 + f - 1. Let x be o(2). Let u = x - 3. Is 2 a factor of u?
True
Let x(j) = j**3 + 5*j**2 - 7*j. Let s be x(-5). Suppose 3 - 3 = 7*z. Suppose -5*h + z = -s. Does 7 divide h?
True
Let i = -51 - -71. Suppose 0*x - i = -4*x. Suppose -x*p = -101 - 89. Is p a multiple of 13?
False
Is 23 a factor of 3/(-4) - 2910/(-40)?
False
Is 905/4 + 1/(-4) a multiple of 34?
False
Suppose 2*n + 0*n = 8. Does 13 divide 24/(((-30)/n)/(-5))?
False
Let c = -8 + 12. Suppose c*k = -k + 65. Let q = k + -7. Is q a multiple of 3?
True
Let d be 1*-8*(-2)/4. Suppose 3*x + 30 = 5*w, -6*x - 18 = -3*w - d*x. Is 2 a factor of w?
True
Let s = -1 + 6. Let k(j) = -4*j**3 + 2*j**3 + j**3 - 4*j + 7*j**2 + 2 - 8. Does 9 divide k(s)?
False
Let r(z) = -z**2 - 8*z - 8. Let o(t) = -t**2 - 11*t - 5. Let p be o(-11). Does 7 divide r(p)?
True
Let g(z) = 3*z - 11. Let j be (-12)/(-10)*40/6. Let q be g(j). Let r = q - 8. Is r even?
False
Suppose -5*o + 1 + 4 = 0. Suppose 5*h = -5*u - o + 26, -u = -h + 3. Is (u/2)/(1/26) a multiple of 11?
False
Let y(v) = 11*v**2 + 2*v - 1. Does 12 divide y(1)?
True
Suppose 25*t + 32 = 29*t. Is t even?
True
Let s(o) = -o. Let j = 13 - 20. Is 7 a factor of s(j)?
True
Does 19 divide ((-174)/(-145))/((-6)/(-100))?
False
Let m be (-2)/6 + 21/9. Let d = 59 + -25. Suppose -4*t + d = -m*t. Does 9 divide t?
False
Let p(q) = -q**2 - 5*q + 8. Suppose -4*y + 28 = -5*w - 3*y, 0 = -w - 5*y - 16. Let i be p(w). Suppose -s = i*s - 12. Does 2 divide s?
True
Let j(o) = 2*o**2 - 10*o - 89. Does 12 divide j(16)?
False
Let k be 3/(2/(4/3)). Let d = -1 + 6. Suppose -j + d*l = -5*j + 90, 5*l = k*j - 30. Does 10 divide j?
True
Suppose 4*x + 4 = 380. Is x a multiple of 47?
True
Let x(w) = 2*w + 18. Let i = 0 - 0. Does 9 divide x(i)?
True
Let i be (-5 + 0)*(-2 + 1). Let s = 46 - 28. Suppose i*l = -y + 128, -2*l - y + 32 = -s. Is 13 a factor of l?
True
Suppose 3*x + 0*x + 3 = 0. Does 17 divide ((-1)/(-3))/(x/(-51))?
True
Let s = -37 + 57. Suppose -3*a = -3, -3*a + s = 3*y - a. Does 13 divide (-296)/(-10) + y/15?
False
Let q = 262 - 19. Let v(y) = y**2 + 7*y + 10. Let d be v(-5). Suppose 49 = j - 3*g, d = 5*j - 4*g + 42 - q. Is j a multiple of 10?
False
Let w be 6/10 - 114/15. Let v(b) = -b**3 + 7*b**2 - 5*b + 6. Let a be v(6). Let g = w + a. Is 2 a factor of g?
False
Let c(s) be the first derivative of s**6/180 - 3*s**5/40 - s**4/24 - 2*s**3/3 - 1. Let y(b) be the third derivative of c(b). Is 17 a factor of y(7)?
True
Suppose -7*g + 5*g + 182 = -2*t, 0 = -g - 4*t + 116. Is g a multiple of 24?
True
Let d(y) = y**3 + 11*y**2 - 15*y. Is 12 a factor of d(-12)?
True
Suppose -5*b + s - 113 = 0, 3*b + 53 + 10 = 3*s. Let h = b + 32. Is 9 a factor of h?
True
Let w(o) = -o**2 - 6*o + 2. Let q be w(-5). Suppose 20 = -q*n + 3*n, -3*p + 5*n + 46 = 0. Is 7 a factor of p?
True
Let a(i) = -2 - 6*i**2 - 8*i + 14*i**2 + 5*i + i**3 + 7*i. Let l be a(-8). Let r = -20 - l. Is r a multiple of 14?
True
Let n be (2 - 1)*5/5. Suppose -a = -n - 1. Suppose 3*q - 65 = -2*x, 3*q + x - 106 = -a*q. Does 14 divide q?
False
Let y(f) = -2*f + 83. Is y(0) a multiple of 25?
False
Suppose -148 = 26*u - 28*u. Is 29 a factor of u?
False
Suppose -2*k + 108 = -4. Does 14 divide k?
True
Suppose -j + 5 = -1. Suppose 4*w + 12 = 0, 2*y + 0*y + 8 = -4*w. Is ((-9)/j*y)/(-1) a multiple of 3?
True
Let z be -1 - (-5 - (-1 + -1)). Let n be -1*(-9)/6*z. Is 7/2*(n - -3) a multiple of 14?
False
Suppose s - 1 = -4*c - 3, -6 = -s - 2*c. Does 3 divide s?
False
Suppose 0 = -0*w - 3*w + 9. Is 127/3 - w/9 a multiple of 21?
True
Suppose 0 = -4*g - 5*i - 105 + 36, i + 60 = -5*g. Let q = 19 + g. Is q a multiple of 4?
True
Is 149 + 0 + (-2)/2 a multiple of 21?
False
Let t be (-3)/1 + 28/4. Let j be ((-4)/5)/((-2)/10). Suppose -j*n - 2 - 6 = -t*a, 0 = -4*a + 2*n + 14. Does 3 divide a?
False
Suppose -3*d + 22 - 7 = 0. Let p = d - 1. Is p even?
True
Suppose -2*g = -5*i + 135, 3*i - g = g + 77. Is i - 0/(3 - 0) a multiple of 9?
False
Let d = -52 + 6. Let r = 2 - -2. Is 7 a factor of d/(-4)