= 38, 0 = -l + j + v. Is l a multiple of 5?
False
Let z be (-1)/(-3)*-3*1. Suppose -h + 4*t = -1, h = -4*t - 3 - 4. Is z - (-43 + 0 + h) a multiple of 15?
True
Let t be (-2 - -21)*(2 + -1). Suppose 5*q = 5, 6*x + 4*q = x + t. Is x even?
False
Suppose 97 = l - 2*p, 2*l - 233 = -5*p - 12. Is l a multiple of 5?
False
Let b(r) = 4*r**3 - 3*r**2 + r + 2. Is 24 a factor of b(2)?
True
Let z(m) be the second derivative of -m**5/20 - m**4/4 + 7*m**3/6 + 5*m**2/2 - 2*m. Let p(b) = 2*b + 3. Let s be p(-4). Is z(s) a multiple of 20?
True
Suppose -4*q + 12 - 56 = 4*h, 23 = -5*q + 3*h. Let l(j) = j**3 + 8*j**2 + 5*j - 10. Let y be l(q). Suppose -y*k + 9*k = 50. Is k a multiple of 10?
True
Let p(d) = -3*d**3 - 4*d**2 + d + 2. Let z(k) = -k**3 - 4*k**2 - 2*k + 1. Let v be z(-2). Is 17 a factor of p(v)?
False
Let n = 2 + -1. Suppose -4*i - 3 + 19 = 0. Let t = n + i. Is t a multiple of 5?
True
Let h(o) = 7*o + 3. Let l(x) = -x**2 + 3*x + 3. Let m be l(3). Is 24 a factor of h(m)?
True
Let h(d) = 4*d**2 + 4*d - 7. Is h(6) a multiple of 21?
False
Let x(p) = -p**2 - 16*p - 9. Is x(-15) a multiple of 5?
False
Let q(n) be the third derivative of -1/60*n**5 - 2*n**2 + 0*n + 0 - 1/6*n**3 + 7/24*n**4. Does 10 divide q(4)?
False
Let w(c) = -2*c + 4. Let n be w(8). Let q be (-2)/n*-2*-6. Does 10 divide 301/21 - q/6?
False
Let j = 2 + -5. Let w = j - -9. Does 7 divide (3/2)/(1/w)?
False
Suppose 85 = 5*p + 5*u, p - 9 = -2*u + 13. Let m = p + 13. Is m a multiple of 25?
True
Let h = 164 + 90. Is 13 a factor of h?
False
Let g(h) = 8*h**2 + 3*h - 4. Let i be g(-3). Let r = 2 - -2. Suppose k + 1 = -3*o, 5*k - r*o = -3*o + i. Is k a multiple of 4?
False
Let a be 0 + 2*(-1 + 2). Let d(i) = -i**2 + i**3 - 2 + 4*i**2 + 0*i**2 - 2*i. Is d(a) a multiple of 7?
True
Let g(d) = 4 - 1 + 2*d**3 - 10*d**3 + d**2 + 4*d. Let n be g(-2). Suppose 11 = 2*i - n. Is i a multiple of 17?
False
Suppose -3 = 2*v - 1, 0 = -g + 4*v + 159. Suppose 5*z - 25 = 0, -4*k - z + g = k. Suppose 0*s - 3*s + 2*u = -25, -2*s + 4*u = -k. Does 5 divide s?
True
Let g = 4 - -15. Is 2 a factor of g?
False
Let v = 6 + -6. Let t be (-3 - 127) + v/(-1). Does 9 divide -1*3*t/15?
False
Suppose 2*w + 2*d - 6*d - 104 = 0, 4*d - 208 = -4*w. Is 7 a factor of w?
False
Let c be 1770/54 + (-2)/(-9). Suppose 14*n = 17*n - c. Is n a multiple of 7?
False
Suppose -124 = -8*i + 4*i + 4*d, -4*i - 2*d + 106 = 0. Does 7 divide i?
True
Suppose -3*d + 36 = -5*f, 3*f - 5*d + 14 = -7*d. Let s(q) = -q**2 - 6*q + 3. Let i be s(f). Suppose j - 9 + i = 0. Does 6 divide j?
True
Let i(h) = -h**3 - 10*h**2 - h - 1. Let x be i(-4). Is 2 a factor of (-2)/10 + x/(-15)?
True
Let f(b) = -b**2 + 6*b + 8. Let l be f(7). Suppose 0*x = x - l, 3*g + 38 = -4*x. Let r = g - -30. Is 8 a factor of r?
True
Suppose 0 = 4*d - 3*u - 2 - 8, 3*d - 5 = u. Let s be 6 - (2 - (-1 + d)). Is 4 a factor of (-2 + 0 - -2) + s?
True
Is (-1)/4 - (-162)/8 a multiple of 5?
True
Let v be 372/(-18) + 2/3. Does 3 divide (-248)/v + (-2)/5?
True
Suppose 3*z - 14*z + 2255 = 0. Is z a multiple of 49?
False
Let o(n) = 6*n**2 + 2*n + 4. Is o(-3) a multiple of 13?
True
Let t be 75/3 + 1 - -2. Suppose 4*a = 20 + t. Is 3*2/a*14 a multiple of 3?
False
Let x be 72/30 - 2/5. Let y = -2 + x. Is 23 a factor of (-54)/(y - 2) - 1?
False
Let f = 109 + -51. Does 12 divide f?
False
Suppose 3*k = -v, -4*k + v = k. Suppose -39 = 3*o - k*o. Is 13 a factor of 1*o*(-3 - 0)?
True
Let h(c) be the third derivative of 0 + 2/3*c**3 - 7/24*c**4 - 2*c**2 + 0*c. Does 15 divide h(-5)?
False
Let f(k) = -8*k**3 + k + 1. Does 2 divide f(-1)?
True
Let c = 60 + -40. Is 6 a factor of c?
False
Suppose 4*f + 90 = -178. Suppose -h - l - 76 = h, -4*h + l = 140. Let x = h - f. Does 14 divide x?
False
Let p(r) = 13*r - 5. Is p(5) a multiple of 12?
True
Let b = 288 - 198. Suppose 7*z - 2*z - b = 0. Is 6 a factor of z?
True
Let n = 67 + -42. Is n a multiple of 14?
False
Suppose -127 = -5*z - t, 2*t + 2 = -4. Does 4 divide z?
False
Does 5 divide (9 - 6) + (1 - -1)?
True
Suppose 0 = 4*z + 13 - 37. Let v(k) = -3*k**2 + 4*k + 3. Let a be v(z). Is 4*(a/12)/(-1) a multiple of 10?
False
Suppose j + 3*c = 17, -98 = -4*j + 2*c - 4*c. Does 8 divide j?
False
Let o(v) = 39*v**2 - 6*v + 13. Let q(c) = 20*c**2 - 3*c + 7. Let n(w) = 4*o(w) - 7*q(w). Is 18 a factor of n(2)?
False
Is -3 + 1/1 + 143 a multiple of 10?
False
Is 32 a factor of 2/(-6)*-3*83?
False
Let j be 20/(-6)*(-12)/5. Suppose 4*d = -j + 52. Is d a multiple of 11?
True
Let t = 28 - 20. Let d(h) = -6*h**2 - 6*h - 11. Let y(n) = 5*n**2 + 6*n + 10. Let x(g) = -6*d(g) - 7*y(g). Is 6 a factor of x(t)?
True
Suppose -b = 3*w - 5*w + 8, w = -2*b - 6. Suppose 27 = p - 5*c, 4*c = w*p + c - 61. Is 16 a factor of p?
True
Let f = 15 - 8. Let s = f + -3. Suppose -2*t + 80 = 2*u, 4*u = t + s*t + 142. Is 14 a factor of u?
False
Let p = -4 + 2. Is ((-1)/1 + p)/(-1) even?
False
Let w = 9 - 9. Suppose w = -2*t - 3 - 3. Let h(n) = 5*n**2. Is h(t) a multiple of 19?
False
Let u = -13 + 28. Is 5 a factor of u?
True
Suppose -25 = -6*q + q. Does 5 divide q?
True
Suppose 0 = -3*g + 58 + 50. Does 22 divide g?
False
Let u(h) be the third derivative of h**4/24 - h**3 + 2*h**2. Let v be u(7). Suppose -37 = -x + 5*s, -s + 29 = 2*x - v. Is 15 a factor of x?
False
Suppose s + f - 26 = 0, -f + 12 = 2*f. Does 7 divide s?
False
Does 6 divide (4/6)/((-4)/(-216))?
True
Let p(i) = -i**3 + 6*i**2 + 5*i - 5. Let c = 3 - -2. Is p(c) a multiple of 15?
True
Suppose 0 = -5*n + 11 + 4. Suppose -179 = -4*y + f + 44, 5*y - n*f - 270 = 0. Does 19 divide y?
True
Let m(d) be the first derivative of -3*d**2/2 + 6*d - 5. Suppose 4*a + 4*u = -32, a + u - 2*u = -2. Does 8 divide m(a)?
False
Suppose -5*t - 2*m = 3*m - 745, -m = -2*t + 286. Is 31 a factor of t?
False
Is (4 - 1)/(3/(3 + 0)) even?
False
Let j be (12/3)/(4/2). Let l be (j/1 - 19) + 1. Let x = l - -32. Does 8 divide x?
True
Let c(q) = -4 - q + 3 - 3*q**2 + q**2. Let i be c(-3). Let u = i - -28. Is 11 a factor of u?
False
Suppose -6*j + 68 = -46. Let d = j - -26. Does 15 divide d?
True
Suppose -3*l = -24 - 159. Is 37 a factor of l?
False
Suppose -2*u - 3*u + 35 = 0. Is u even?
False
Suppose 0 = 4*r - 1126 - 330. Is 52 a factor of r?
True
Let k = 47 - 17. Does 6 divide k?
True
Suppose -2*m + 15 = m. Suppose -3*p + m = -2*p. Is p a multiple of 5?
True
Let t(a) be the first derivative of -a**2/2 + 9*a + 1. Let g be t(4). Let j(m) = 2*m - 3. Does 3 divide j(g)?
False
Let r(l) be the third derivative of -l**4/12 + l**3/2 - l**2. Is r(-3) a multiple of 9?
True
Let h be (-12)/54 + 112/18. Is (-16)/h*(-84)/16 a multiple of 7?
True
Suppose -62 = 4*p - 74. Is p a multiple of 3?
True
Is ((-4)/6)/(1/((-108)/1)) a multiple of 12?
True
Suppose -4*i = -6 - 6. Suppose -i*r + 2*l = -0*l + 2, l - 12 = -4*r. Suppose j + 6 = 3*j, r*o = 4*j + 106. Does 20 divide o?
False
Let h = -11 - -13. Suppose -70 = -3*v - 4*d, h*v - d - 74 + 9 = 0. Is v a multiple of 13?
False
Suppose 2*o - g = -5*g + 20, 5*o - 4*g - 92 = 0. Is o a multiple of 4?
True
Let b(m) be the first derivative of -m**4/4 + 5*m**3/3 + 3*m**2 + 3*m - 2. Let j be b(6). Suppose 55 = j*i - 11. Is i a multiple of 11?
True
Let h(j) = j**3 - 4*j**2 + j - 1. Let k be h(4). Suppose 0 = -3*z + 5*t + 26, 4*t + 22 = k*z + 3*t. Does 4 divide z?
False
Suppose 5*j - 5*b - 20 = 0, 0 = -4*j - 5*b + 1 + 6. Suppose -h = j*h. Is 20 a factor of (56 - 2) + (h - -1)?
False
Let w = -91 - -224. Does 7 divide w?
True
Suppose g + g - 12 = 0. Is 6 a factor of g?
True
Let x be (-4)/(4 + (-2 - 1)). Let y = x - -12. Is y a multiple of 4?
True
Let w = 5 - 1. Let z be (w - 5)/((-1)/(-71)). Let b = -50 - z. Is b a multiple of 8?
False
Suppose 4 = 2*a - 0. Let w(d) = -1 + 2*d + 1 + 2 + 3*d**3 - 4 + d**2. Does 13 divide w(a)?
False
Suppose -3*z + z = 0. Suppose z = -c + 3*c - 18. Is c a multiple of 4?
False
Let c(n) = -7*n - 9. Let x be c(-6). Suppose k - x = -7. Is k a multiple of 13?
True
Let o be (-2 - (-4 + 2))*1. Suppose 0 = -o*a - a. Suppose a*b - 5 = -b. Is b a multiple of 3?
False
Suppose -3*f + 27 = 3*o + 2*f, -o = 5*f - 19. Suppose -2*g + g = -o. Let h(q) = q**3 - 3*q**2 + 6*q - 6. Is 17 a factor of h(g)?
True
Suppose -d + 7*h = 2*h - 31, -3*d - h + 45 = 0. Does 16 divide d?
True
Suppose -222 = 4*y + 30. Let p = -29 - y. Is p a multiple of 10?
False
Suppose