 2. Let z be o(0). Suppose 1 = z*v - 13. Is v a multiple of 2?
False
Suppose 3*k - 155 = 5*s, -65 = -3*k + 4*s + 86. Is k a multiple of 5?
True
Let l(g) = -g - 3. Suppose -11 = -n + 1. Suppose n - 39 = 3*a. Is 6 a factor of l(a)?
True
Suppose 0*l = -2*l + 14. Let o(m) = m**3 + 4*m**2 + 2. Let u be o(-4). Let k = l - u. Is 3 a factor of k?
False
Suppose w - 461 = -4*i, 4*w + 574 = 5*i + 6*w. Suppose -7*r - i = -3*r. Let t = r - -50. Does 9 divide t?
False
Suppose 150 = -11*b + 14*b. Is 15 a factor of b?
False
Let a(o) = o**3 + o - 2. Let i be a(3). Let g(p) = -6*p - 2. Let m be g(-7). Let t = m - i. Does 6 divide t?
True
Let t be (20/16)/(2/8). Suppose n + t = 2*n. Let b = -1 + n. Is b a multiple of 2?
True
Let a be (2/2 - 5)/1. Let h(b) = -b**3 - 2*b**2 + 5*b + 5. Is 9 a factor of h(a)?
False
Let s(v) = 2*v**2 - v - 2. Let x be s(2). Let i be -1 + -1 + x + 0. Is 1/((-5)/(-2) - i) even?
True
Suppose 4*n + 2*r - r = -8, 0 = -3*r. Is (-125)/n*(-4)/(-5) a multiple of 22?
False
Let f = -9 - -8. Let x(r) = -44*r**3 + r + 1. Is x(f) a multiple of 11?
True
Let n be 4/10 + (-52)/5. Let v = n + 22. Is 4/(v/69) + 1 a multiple of 12?
True
Suppose -3*c - 28 + 568 = 0. Suppose c = -n + 6*n. Is n a multiple of 18?
True
Does 3 divide 26 - (0 - (-3)/3)?
False
Let o(j) = j**2 - 3*j + 6. Is o(5) a multiple of 8?
True
Let i = 79 + 5. Suppose 2*f - i = -h + 3*f, f = 2*h - 166. Is h a multiple of 21?
False
Suppose -r + 13 = 4*u, -4*r - 4 = 2*u - 0. Suppose t = u*t. Let b(w) = -w + 5. Does 5 divide b(t)?
True
Suppose -4*c = -4*g - 188, -5*c + 3*g = -107 - 126. Let j = c + -25. Is j a multiple of 21?
True
Let z = -136 - -256. Is 20 a factor of z?
True
Suppose 0*g = -2*t + 4*g + 326, -4*t + 2*g + 640 = 0. Does 8 divide t?
False
Let x(f) = 2*f**3 - 13*f**2 + 4*f - 16. Is x(7) a multiple of 20?
False
Suppose z - 4*z + 309 = 0. Is 14 a factor of z?
False
Let a be -6*(0 + (-80)/6). Let s = a - 48. Is 16 a factor of s?
True
Let s(j) = -j**3 + j**2 + 4*j - 3. Let b be s(2). Suppose -5 = -5*l + 10. Suppose -c + l*h = -2*c - b, -h - 48 = -4*c. Is c a multiple of 11?
True
Suppose -4*c - 54 = -6. Is 3 a factor of (1 - -2)*c/(-9)?
False
Suppose -3*n - 8 = -2*o + 14, 12 = -3*n. Suppose o*l + 4 = l. Is 1/((-24)/25 - l) a multiple of 9?
False
Does 2 divide 0 - 0 - 18/(-6)?
False
Let z(l) = -l**2 - 7*l - 9. Suppose 4*s - 17 = -45. Let m be z(s). Let u = -1 - m. Is u a multiple of 4?
True
Let c(p) = -6*p - p**3 + 1 - 1 + 14*p - 5*p**2. Is 21 a factor of c(-7)?
True
Let f(i) = i**2 - 2*i. Let b be f(3). Let c be (b/9)/((-1)/(-6)). Does 7 divide 1*c*7 - 0?
True
Let d(i) be the third derivative of i**6/40 + i**5/60 - i**4/24 + 2*i**2. Let s be d(1). Is 11 a factor of (-2)/s - (-177)/9?
False
Suppose -3*j + p + 834 = 3*p, p + 549 = 2*j. Is 10 a factor of (-8)/(-28) + j/14?
True
Let j = 2 - -36. Does 11 divide j?
False
Suppose -5*i + 952 = 3*f, 6*f - 2*i = 5*f + 332. Suppose r = -4*o - 3*r + f, -4*o = -4*r - 324. Is 17 a factor of o?
False
Suppose 1 - 5 = 4*j. Let p = j + -4. Let b = p + 18. Is b a multiple of 13?
True
Suppose 5*x + 3*t = x + 33, -2*x = 2*t - 18. Suppose x*n = 2*n + 176. Is 18 a factor of n?
False
Let s = -16 - -20. Suppose 35 = y + s*y. Does 2 divide y?
False
Let o(y) = -y**3 + 11*y**2 - 9*y - 14. Let k be o(10). Let z = 16 + -34. Let g = k - z. Does 12 divide g?
False
Let p = -45 - -75. Is p a multiple of 8?
False
Let w(p) = p**2 + 7*p - 14. Does 19 divide w(-11)?
False
Let o = -54 - -96. Is 14 a factor of o?
True
Let s be 60/18*(-6)/5. Suppose 3*m + 48 = 7*m. Let g = m - s. Is 8 a factor of g?
True
Let d be 14/(3 - 5) - -4. Let x(y) = y**2 + y - 8. Let g(w) = w**2 + 2*w - 7. Let t(k) = -5*g(k) + 4*x(k). Is 6 a factor of t(d)?
True
Suppose -n + 1 = -4. Suppose 0 = -n*k + 4*k + 10. Is 15 a factor of 10/(-25) + 154/k?
True
Suppose 3*h = p + 14, h - 6 = -4*p + 3*p. Suppose 5*i = 5*r - 216 - 374, -r + 120 = -3*i. Suppose -h*o - 2 = -r. Does 9 divide o?
False
Suppose 2*s - 4*z + 8 = 0, 8 - 4 = -s - 5*z. Does 4 divide s/10*120/(-4)?
True
Suppose -u = 3*u - 20. Suppose -4*h + 2*j + j + 10 = 0, -u*j = -5*h + 10. Suppose 45 = 7*d - h*d. Does 15 divide d?
True
Is 26 + -5 + 7 + 2 a multiple of 30?
True
Let z = 7 - 2. Suppose z*a - 4*h - 145 + 28 = 0, 3*h - 81 = -3*a. Is 10 a factor of a?
False
Does 5 divide ((-2)/(-2) - 0) + 24?
True
Let s(o) = -5*o + 18. Is 17 a factor of s(-9)?
False
Let q = 47 - -14. Suppose 155 + q = 3*l. Suppose 2*y - l = -y. Is 12 a factor of y?
True
Suppose 32 = -3*h + 269. Is 0 + -2 + (h - 2) a multiple of 15?
True
Let s be (-7)/((-21)/(-8))*-9. Suppose -27 - 83 = -5*v. Let o = v + s. Is 19 a factor of o?
False
Suppose 5*f = -2*w + 17, 2*f + 0*f - 2*w = 18. Suppose -f*p + 139 = -2*m, m - 32 = -3*p + 2*p. Is 22 a factor of p?
False
Does 2 divide (-4)/(-4)*(10 - -1)?
False
Let z(g) = -g + 3. Let s be z(8). Let i be s/(-4) - (-1)/(-4). Let v(n) = 16*n**2 - 1. Is 10 a factor of v(i)?
False
Let o(q) = 3*q**3 - 14*q**2 + 8*q + 13. Let d(u) = -4*u**3 + 15*u**2 - 8*u - 14. Let v(k) = 4*d(k) + 5*o(k). Is v(-11) a multiple of 14?
True
Is 117/(-15)*(-6 - -1) a multiple of 22?
False
Let y(w) = -58*w**2 - 3*w + 57*w**2 - 6*w - w. Does 11 divide y(-5)?
False
Let u = 15 - 9. Let r be (u/(-12))/(2/(-12)). Does 19 divide 1/(r*(-3)/(-360))?
False
Suppose 5*d + 3*p - 85 = 0, 2*p + 75 = 5*d + 3*p. Suppose 0 = 4*f - 5 - 15. Let j = d - f. Is j a multiple of 9?
True
Let d be ((-8)/(-12))/(4/6). Let r = d + 2. Suppose -r*a + 33 + 57 = i, 5*i + 72 = 3*a. Does 15 divide a?
False
Suppose 70*o - 34 = 68*o. Let d be 4/(-6)*(-3)/2. Let s = o + d. Is s a multiple of 6?
True
Let s(x) = x + 86. Let h be s(0). Let b = 124 - h. Is b a multiple of 11?
False
Suppose -5*m - 36 - 24 = 0. Let c be 4/(-6)*m/(-8). Let w = c - -9. Does 4 divide w?
True
Suppose -5*w - 19 = -z, -4*w - 4 = -0*z + 2*z. Is (4 - 3)/(z/72) a multiple of 6?
True
Let u = 7 - 10. Let i = u + 5. Suppose -i*q - k = -79, 11 + 1 = 4*k. Is 15 a factor of q?
False
Let h(x) = -4*x + 5. Let l(t) = t**2 + 8*t - 5. Let b be l(-8). Is 12 a factor of h(b)?
False
Let i be ((-9)/2)/(2/(-4)). Suppose -i = -5*q + 6. Suppose -2*r + 1 = 5, q*r + 14 = 4*y. Does 2 divide y?
True
Suppose -4*w = -w - 12. Suppose 0*r + w*r - 108 = 0. Is r a multiple of 13?
False
Let i(o) = -144*o + 8. Is 19 a factor of i(-1)?
True
Let c(k) be the second derivative of k**5/20 + 5*k**4/12 - 7*k**3/6 - k**2/2 - k. Let q = 12 + -17. Is 17 a factor of c(q)?
True
Let k be 0 + 6/3 + 1. Suppose -n = 3*n - k*c - 13, n - 3*c - 1 = 0. Suppose 5*g = 2*z + 95, 9 - 92 = -n*g + 3*z. Is 10 a factor of g?
False
Does 13 divide 12/8 + 300/8?
True
Let s = -22 + 48. Is s a multiple of 13?
True
Suppose 2*f - 4*c + 13 + 11 = 0, -4*f = -5*c + 51. Suppose 0 = 6*i - 4*i - 5*q + 64, -q + 2 = 0. Let j = f - i. Does 6 divide j?
False
Let x(b) = 12*b**2 + b + 1. Is x(-3) a multiple of 16?
False
Suppose 0 = -2*v - 0*v + 3*q + 345, 4*q + 700 = 4*v. Is 5 a factor of (4/6)/(8/v)?
True
Let y(w) = -3*w**3 + w. Let z be y(-1). Suppose -t = z*t - 12. Suppose -5*o - 28 = -3*s + 21, o = -t*s + 50. Does 13 divide s?
True
Suppose 1859 = 6*x - 583. Does 57 divide x?
False
Let p(n) = 3*n - 2. Let s be p(2). Suppose 4*c - 3 - s = 5*z, 3*c = -2*z + 11. Suppose c*y + y - 32 = -4*u, y - 23 = 2*u. Is y a multiple of 13?
True
Does 2 divide -6*(0 + (-4)/6)?
True
Suppose 0 = 11*s - 14*s + 1176. Does 28 divide s?
True
Suppose f + f + 182 = 2*k, k + 4*f - 76 = 0. Suppose 5*i - k = 3*i. Is 20 a factor of i?
False
Does 7 divide (2 + 1)/(-3)*-43?
False
Let w = 86 + -46. Does 8 divide w?
True
Suppose -5*f = -k + 4*k - 254, 0 = -2*f - 2*k + 104. Is 6 a factor of f?
False
Let x(y) = 44*y + 10. Is x(2) a multiple of 4?
False
Let x be (2/(-4))/((-1)/22). Let a = -8 + x. Suppose -3*f = -4*i + 26 + 3, -a*f + 35 = 4*i. Does 3 divide i?
False
Suppose 7*a = 2*a + 150. Does 11 divide (-6)/a + (-111)/(-5)?
True
Let k be (-2)/4*0 + 6. Let z(f) = f**3 - 4*f**2 - 9*f + 7. Let o be z(k). Let v = 1 + o. Does 13 divide v?
True
Suppose 80 = -5*s - 2*v, 0 = s + 2*s - 4*v + 22. Let x = 13 - s. Does 27 divide x?
True
Let j(f) = 7*f**2 + 2*f + 1. Does 11 divide j(2)?
True
Let l(b) be the second derivative of 5*b**3/6 + b**2 - b. Let h be l(8). Let k = h + -10. Does 16 divide k?
True
Let s = 28 + -16. Is 4 a factor of s?
True
Suppose -3*