*z - 2*z - 2 + 0*z + 5*z**2. Is v(3) a multiple of 19?
True
Suppose 17 = w - 3*m + 6*m, 5*m = -5*w + 85. Is 13 a factor of w?
False
Let a = 7 + 8. Is 3 a factor of a?
True
Suppose 4*p + p + 2*w = 156, -4*w + 102 = 3*p. Is 30 a factor of p?
True
Let m be (-86)/(-8) - (-5)/20. Let u = 21 - m. Is 3 a factor of u?
False
Let t(a) = -4*a**2 + 2*a - 2. Let m be t(2). Suppose -37 + 105 = 2*l. Let r = l + m. Is r a multiple of 16?
False
Suppose 11 = 3*k + 2. Suppose 2*r + 12 = k*c - 18, 0 = 3*c + 5*r - 30. Does 5 divide c?
True
Let l(f) be the first derivative of 3*f**4/2 + 10*f**3/3 - 3*f**2/2 + f - 1. Let y(t) = 7*t**3 + 11*t**2 - 3*t. Let x(m) = 6*l(m) - 5*y(m). Does 9 divide x(-5)?
False
Suppose 10*j = -0*j + 1500. Is j a multiple of 14?
False
Suppose 2*l + 90 = 6*j - j, 0 = -5*l. Let a be ((-4)/(-5))/((-6)/(-15)). Does 18 divide j + a/6*0?
True
Let v(o) = 16*o**2 - 3*o + 1. Let d be v(3). Let x = -79 + d. Does 19 divide x?
True
Let z be 10*-6*6/(-15). Suppose 3*h = 6 + z. Is (35/h)/(1/4) a multiple of 7?
True
Let a(i) = 4*i - 2 + i + 5. Let s be a(3). Let u = 40 - s. Does 11 divide u?
True
Let c(p) = p**2 + 2*p. Let f be c(-2). Suppose f = 4*k - 5*d - 0*d + 302, -2*d - 394 = 5*k. Is (-4)/3*k/4 a multiple of 13?
True
Suppose -2*d + 155 - 34 = 5*u, -6 = 3*d. Let f be 315/u - 6/10. Is 7 a factor of 3 - (f*3)/(-2)?
True
Let l(q) = -3*q. Let p(v) = v + 1. Let c(s) = -l(s) - 4*p(s). Suppose 0 = -8*w + 3*w - 45. Does 2 divide c(w)?
False
Let i = -5 + 8. Suppose 81 - 3 = i*f. Is 14 a factor of f?
False
Let k = -45 - -139. Is 7 a factor of k?
False
Suppose -3*k = 9 - 42. Suppose -a + 9 = 5*x + 3*a, 3*x = -3*a + 6. Let j = x + k. Does 12 divide j?
True
Is 10 a factor of 30/8*(-8)/(-2)?
False
Let l(g) = 2*g - 9. Let z be l(9). Suppose -4*o = 4, -5*o - 10 - z = -w. Is w a multiple of 7?
True
Does 39 divide (-40 + 1)/(-3 + 2)?
True
Let j(c) be the second derivative of -c**5/20 - c**4/2 - 5*c**3/6 + c**2/2 - 3*c. Is j(-6) a multiple of 21?
False
Suppose 0 = 4*f - 9 - 7. Suppose -s + 2 = f*y, -y - 8 = 3*s - 7*s. Suppose -s*b = -3*b + 34. Does 11 divide b?
False
Suppose 5*w - 68 = -n, -3*n + 171 = 2*w + 2*w. Let y = n + -38. Is 9 a factor of y?
False
Is 36 a factor of (-5154)/(-36) + 2/(-12)?
False
Suppose 9 = -4*j + j. Let r(u) = u**3 + 5*u**2 + u - 2. Let l be r(j). Suppose l = h - 0. Does 7 divide h?
False
Let z(x) = -2*x**3 - 3*x**2 + 4*x + 3. Is z(-3) a multiple of 11?
False
Suppose -4*h + 484 = 2*x, -8*x = -4*x + h - 1003. Is 12 a factor of x?
True
Let h = 2 - 2. Suppose -5*r + 111 + 54 = h. Suppose 2*m - 24 = -3*o, -5*o - 3*m + 2*m + r = 0. Is o a multiple of 3?
True
Let u be (-9)/12 - (-6)/8. Suppose u = 5*a - 33 - 2. Is 7 a factor of a?
True
Suppose -5*s - 8 = -18. Is -118*s/4*-1 a multiple of 15?
False
Suppose 0 = -5*s + 110 + 235. Is 39 a factor of s?
False
Suppose 5*c + 31 = 411. Suppose -s = -j - 56, -s + c = -2*j - 3*j. Is 18 a factor of s?
False
Suppose -4*b + 2*n = -146, 3*b + 2*n - 82 = b. Let l = b - 11. Does 7 divide l?
False
Let f(l) = -l**2 - 4*l + 5. Let y be f(-5). Suppose g - 122 = -y*b + 3*b, -2*g - 4*b = -234. Does 26 divide g?
False
Suppose 5*i - 15 = -o, -i - 8 = o - 3*o. Let x = 4 - o. Is 5 a factor of 3 - -6 - (x + 1)?
False
Let k(a) = a**3 + a**2 + 2. Suppose 0 = 3*v - 8*v - 10. Let s be k(v). Is -1 + 2*(-13)/s a multiple of 12?
True
Let n be -2 + (12/3 - -1). Let s(a) = a**2 + a - 4 + 0*a**n + 3*a**3 + 3. Is s(1) a multiple of 4?
True
Let z(n) = n**3 + 2*n**2 - 2*n. Let q be z(-3). Let g be (-3)/(q*2/(-4)). Is -1 + 5 + (-4)/g a multiple of 6?
True
Let w(b) = 5*b - 3*b**2 - b**2 + 0*b + 5*b**2. Let k = -7 - -12. Does 25 divide w(k)?
True
Suppose -2*a - 30 = 3*a. Does 6 divide (2/4)/(a/(-120))?
False
Suppose 3*w + 24 + 132 = 0. Let j = 94 + w. Suppose 0*k = 3*k - j. Is k a multiple of 7?
True
Let j(a) = -a**3 - 10*a**2 + a + 11. Let m be j(-10). Is (-28)/(-1) - m - 0 a multiple of 16?
False
Let n(i) = -5*i - 2 + 2 + 3 - i. Does 10 divide n(-3)?
False
Let o = 111 - 63. Is o a multiple of 15?
False
Suppose 0*z + 2*z - 48 = -2*w, w = 2*z + 24. Is w a multiple of 7?
False
Suppose 0 = -3*m + 2*l + 3*l + 125, 0 = 3*l + 3. Does 7 divide m?
False
Is 12 a factor of 2 + (-8)/2*-3?
False
Does 13 divide 1/(-5) + (-292)/(-10)?
False
Suppose g - 2*g + 19 = 0. Is 9 a factor of g?
False
Let u = -135 + 140. Is 2 a factor of u?
False
Suppose -11*o + 14*o = 321. Does 18 divide o?
False
Suppose -3*b = 2 - 11. Let h = b - 3. Suppose h = -i + 16 - 0. Is i a multiple of 6?
False
Let x = 24 - 10. Is x - (0 + 2 - -1) a multiple of 11?
True
Is 6 a factor of (-3 + 54/(-12))*(-12)/5?
True
Suppose -84 = -6*r + 2*r. Suppose -3*h + r = -15. Is 12 a factor of h?
True
Let j be (-3)/(-9) + (-1)/3. Let s(k) = -k**3 + k**2 + 36. Is 18 a factor of s(j)?
True
Let g(v) = -7*v + 15. Let d(k) = -3*k + 7. Let w(x) = -13*d(x) + 6*g(x). Let p be w(3). Does 12 divide 6/15 + (-266)/p?
False
Suppose 0*f = 4*f - 84. Suppose -a + z = -0*a + f, -2*a + 5*z = 36. Let j = -14 - a. Is 9 a factor of j?
True
Suppose 19*v = 13*v + 168. Does 28 divide v?
True
Let t(h) = 4*h**2 + h + 7. Is 21 a factor of t(4)?
False
Let j(f) = 2*f**3 - 6*f**2 + 4*f - 2. Suppose -4*t + 7 = -9. Is 19 a factor of j(t)?
False
Let s(i) = -i**3 - 12*i**2 + 11*i. Suppose -2*q + 65 + 7 = 0. Suppose -4*y + q = -4*p, -2*y = -2*p - 3*y - 30. Is s(p) a multiple of 7?
False
Let z(q) = 2*q**3 - 5*q**2 + 10*q - 4. Does 55 divide z(5)?
False
Let d(m) = -m - 1. Does 8 divide d(-9)?
True
Suppose 0 = -3*o + 3 + 6. Let i(a) = -o*a + 4*a + a**2 - 4 + 0*a. Does 4 divide i(-4)?
True
Let v(g) = -g**3 + 4*g**2 + 18*g - 10. Does 26 divide v(-6)?
False
Let q = -3 - -4. Let j be 27/(-6) - q/2. Let u = j - -11. Does 6 divide u?
True
Suppose -3*p = -3*t - 57, -3*p + p + 62 = 4*t. Is 5 a factor of p?
False
Suppose -2*r - 3 = 1, 4*r = -5*t + 17. Suppose -2*x - t*m = -69, -3*x + 2*x - 4*m = -39. Is 9 a factor of x?
True
Let c(q) = q**3 - 27*q**2 - 44*q + 2. Is c(29) a multiple of 16?
False
Let a = 10 + -6. Suppose a*c + 16 = -4*v, 4*c + 11 = 2*c - v. Let k = -2 - c. Is 2 a factor of k?
False
Let s be (31/(-2))/(2/4). Let g = 22 + s. Let a = 1 - g. Is a a multiple of 6?
False
Let q(n) = -n**3 + 7*n**2 - 3*n - 3. Let k(w) = -4*w - 3. Let o be k(-2). Does 16 divide q(o)?
True
Let t(l) = 2*l**2 + l - 1. Let p(o) = -o + 1. Let y be p(-2). Suppose -y*b - 17 = 5*h, -b + 13 = -3*h - 0*h. Is t(b) even?
True
Let c(i) = -i**2 + 5*i. Let h be c(4). Suppose -h*d - 50 = -2*d. Let w = d + 36. Does 6 divide w?
False
Does 5 divide (0 - 10)*(-3)/2?
True
Let a(n) be the third derivative of -n**5/20 - n**4/24 - n**3/6 + n**2. Let d be a(3). Let x = d + 43. Is x a multiple of 6?
True
Suppose 3*l = -4*m + 537, -4*l = -3*l + 1. Is 11 a factor of m?
False
Let n(s) = -s**2 - 6*s + 5. Suppose 0 = 4*w + 3*j + 53 - 17, 0 = -5*w + 3*j - 18. Let q be n(w). Suppose -38 + 8 = -q*h. Is h a multiple of 3?
True
Is 11 a factor of (-2)/(-5) - 4075/(-125)?
True
Suppose 0 = 5*u + 3*n - 24, 2*u - 4*n + 8 = 28. Let w = u + 11. Is 12 a factor of w?
False
Let s(n) be the first derivative of n**4/4 - n**3/3 + 16*n - 3. Is s(0) a multiple of 16?
True
Let q = 12 + -7. Let t(n) = -q*n**3 + 1 - 2 - 14*n**3. Is t(-1) a multiple of 9?
True
Let f(j) be the second derivative of 0 - j**2 + 1/3*j**3 + 2*j + 1/20*j**5 + 1/3*j**4. Is 2 a factor of f(-2)?
True
Let z be 13/(((-2)/1)/(-4)). Suppose -4*d = -z - 30. Suppose h - d = v + 3*v, 3*v - 70 = -5*h. Does 5 divide h?
False
Let x = -128 - -188. Is x a multiple of 20?
True
Suppose 0 = 2*i + i - 24. Let d(c) = -c**2 - c - i*c + 8 - 4*c. Does 19 divide d(-10)?
True
Suppose -5*r - 15 = -115. Suppose -2*h + r = -h. Does 10 divide h?
True
Let h(n) = -n**2 - 10*n + 14. Let t be h(-11). Let m(z) = z**2 + 3*z + 2. Does 20 divide m(t)?
True
Suppose 56 = 3*v - 4*o, 2*v - 6 = 5*o + 36. Is 5 a factor of v?
False
Suppose 3 = 4*c - 1. Let v(p) = -p**3 + p**2 + 4*p - 2. Let o be v(3). Let n = c - o. Does 9 divide n?
True
Let r(p) = 7*p + 70. Does 5 divide r(-9)?
False
Suppose -5*h + 4*g = -78, -g - 5 = -2*h + 25. Let u = 22 - h. Does 2 divide u?
True
Let n = 27 + -48. Let p be 54/n*(-14)/(-3). Let s = p + 21. Does 6 divide s?
False
Let p be -1 - 0/(4 + -1). Let y be ((-225)/3)/p + 0. Let a = -34 + y. Does 15 divide a?
False
Let t be 1 + (2 - 0)*-1. Let v 