 v(q) = -7*q - 4. Let r(j) = 16*v(j) - 3*y(j). Does 10 divide r(c)?
False
Let f(u) = -u + 1. Let y be f(-2). Suppose -4*j + 9 = -y*x, -3*j = -2*j + 2*x - 16. Let c(h) = h**2 - 4*h + 2. Is c(j) a multiple of 10?
False
Let m(a) = -36*a - 4. Let i be m(-3). Let g = i - 31. Is g a multiple of 22?
False
Let s = -298 - -506. Is 26 a factor of s?
True
Suppose 3*b + 6 = 4*s - 5, -3*b + 5*s = 16. Suppose 0 = m + 3*w - 15, b*m - 29 = -6*w + w. Does 3 divide m?
True
Let l(d) = 18*d**2 + d + 1. Let p be l(2). Let g = -46 + p. Is 24 a factor of g?
False
Let l(n) = 46*n**2 + 2*n - 8. Is 22 a factor of l(2)?
False
Suppose 0 = -7*s - 479 + 1221. Is s a multiple of 15?
False
Let c = 5 + 0. Suppose -c*r = 240 - 835. Suppose -2*h = -3*d + 118, 4*d + 4*h = 5 + r. Does 17 divide d?
False
Let x be 2/(-7) - (-1740)/14. Is 7/((-42)/x)*-3 a multiple of 14?
False
Let z be 1/(1 - 50/48). Let s = 64 + z. Does 20 divide s?
True
Suppose 0 = -u + 4*u - 108. Is u a multiple of 18?
True
Let h = 0 - 10. Let p be 1 - h/(4/2). Is 16 a factor of -3 + p + 43*1?
False
Is 27 a factor of 4/(16/(-9))*-168?
True
Let b(g) = -4 + 13 + 13 + 2 - g. Let u be 1 + 2/(-2)*1. Is 12 a factor of b(u)?
True
Let o = 137 + -44. Let w be (1 + -38)/((-1)/(-1)). Let t = w + o. Does 19 divide t?
False
Let u(o) = o + 38. Suppose -3*p - 6 = 5*f, 0 = -2*f + 2*p + 7 - 3. Does 10 divide u(f)?
False
Suppose 3*i = 2*i + 8. Does 8 divide i?
True
Suppose -2*y - 5*g = -66, -y + 2*y + 4*g = 39. Is y a multiple of 23?
True
Suppose k = -5*w + 34, 7*k - 5*k + 2*w - 60 = 0. Suppose -t = x - k, 4 = 2*x + 2*x. Is 14 a factor of t?
True
Let n be (8/(-5))/((-4)/50). Suppose 0*y - 4*y + 80 = 4*c, -n = -5*c. Is 4 a factor of y?
True
Let h(r) = -r**3 - 13*r**2 - 2*r - 9. Is 17 a factor of h(-13)?
True
Let q = -3 + 6. Let p be 1*(-3 + -11 + q). Let w = 26 + p. Is w a multiple of 11?
False
Let v(q) = 2*q**2 + 2*q + 4. Is 14 a factor of v(3)?
True
Suppose -2*x + 420 = 4*f + x, -5*f = -5*x - 525. Is f a multiple of 7?
True
Suppose -5*c + 11 = b - 28, -3*c + 9 = -3*b. Let d(t) = t**2 - 5*t + 7. Is d(c) a multiple of 7?
True
Let u = 84 + -42. Suppose -3*b = m - 21, -7*m = -3*m - 2*b - u. Is 5 a factor of m?
False
Suppose 84 = 2*r - 42. Is 21 a factor of r?
True
Let w be -2*1*(-9)/6. Suppose 0 = w*g + 29 - 257. Does 19 divide g?
True
Suppose 0 = -2*k + 27 - 3. Is k a multiple of 10?
False
Is -9*(-5 + 366/(-18)) a multiple of 16?
False
Suppose -5*r + 0*r + 20 = 0. Suppose r*a + 3*s = 105, 2*s + 1 = -1. Is a a multiple of 19?
False
Suppose -2*d + 7*d - 3*v = 32, -4 = 3*d + 4*v. Suppose -72 = -4*q + d*g, g - 29 = -q - 3. Suppose 2*j = q + 30. Is 12 a factor of j?
False
Let p = 44 - 4. Let x = p - 19. Does 21 divide x?
True
Let k(y) = 2*y - 1. Let l = 88 - 38. Let r be l/12 - 6/36. Is k(r) a multiple of 4?
False
Suppose -3*a + 67 + 65 = 0. Let x = a + -1. Is x a multiple of 10?
False
Let a(m) = 2*m**2 - 2*m - 5. Does 6 divide a(-4)?
False
Let o = -30 + 52. Does 11 divide o?
True
Let d(p) = -p**2 - 3*p + 3. Is d(-3) even?
False
Let h = -6 + 12. Is ((-5)/2)/((-1)/h) a multiple of 9?
False
Suppose -15 = -2*p - p. Let x(l) = -l - 3. Let v be x(p). Is 9 a factor of ((-18)/4)/(4/v)?
True
Let c(l) = -12*l + 1. Let u = -10 - -9. Let s be c(u). Let y = s + -7. Does 4 divide y?
False
Let o(q) be the first derivative of 4*q**6/15 + q**4/24 - q**3/6 - q**2/2 - 2. Let z(p) be the second derivative of o(p). Does 16 divide z(1)?
True
Let m be (-72)/(-16)*(-34)/1. Let t = -78 - m. Is 20 a factor of t?
False
Suppose 12 = -o - 2*l, l + 15 + 0 = -o. Does 6 divide ((-12)/(-9) - 2)*o?
True
Suppose -3*x = -6 - 9. Let r(v) = v**2 - 4*v - 2. Let a be r(x). Suppose 0 = -5*n - 3*m + 74, -a*m + 0*m = -9. Is n a multiple of 8?
False
Does 12 divide 63 + 3 + -3 + -3?
True
Let d = -2 + 2. Let c(p) = -p + 2. Let x be c(d). Suppose u + 15 = n, -2*n - x*u = 2 - 24. Does 13 divide n?
True
Let i(n) be the second derivative of -n**5/20 + n**3/3 - 2*n. Is i(-4) a multiple of 15?
False
Let x = -175 + 394. Suppose -4*a = 5*t - x, -3*a + 43 = -4*t - 98. Is 17 a factor of a?
True
Let l be 1 - (-3*1)/3. Suppose -f + 62 = -l*i, -3*i + f = -4*i - 25. Let q = 47 + i. Is q a multiple of 8?
False
Let f be (-5)/(-10) - 7/(-2). Suppose 0 = x - f*x + 180. Is x a multiple of 15?
True
Let o = 46 - 34. Is o a multiple of 4?
True
Let b(f) = -f + 2. Let k(i) = -i. Let h(n) = 3*b(n) + 21*k(n). Is 34 a factor of h(-4)?
True
Let l = 54 - 26. Is 4 a factor of l?
True
Let q(r) = -r**2 - r + 2. Let w be q(0). Suppose -6 = -5*t - w*l + 10, 3*t - 3 = l. Suppose -t*y - 2*y = -8. Is y even?
True
Suppose -92 = -2*w + 198. Is 11 a factor of w?
False
Let m be (-2 + 12)*1/2. Suppose g = 4*b + 12, 2*g + m*b - 57 = g. Does 14 divide g?
False
Is 18 a factor of (-1 - -3)/((-5)/(-45))?
True
Let l be (-60)/(-8) - 2/(-4). Does 8 divide (8 + l)/(4/6)?
True
Suppose 703 = 5*i - 32. Does 21 divide i?
True
Let j(q) = q - 1. Let y be j(4). Suppose -f = y*f - 132. Is 12 a factor of f?
False
Let z = -6 - -14. Is z/24 + 262/6 a multiple of 11?
True
Let m be 2*(0 - (-23 - 1)). Suppose -r = -3*r - m. Let k = r - -40. Does 8 divide k?
True
Suppose 0 = 2*o - 4*k + 170, -2*o - 2*o - 4*k - 340 = 0. Let t = -145 - o. Does 5 divide (12/10)/((-9)/t)?
False
Let d = 145 - -15. Is 16 a factor of d?
True
Let a be (16 - 11)*(-4)/10. Let y(z) = 13*z**2 - 1. Is y(a) a multiple of 14?
False
Let v(h) = 3*h**2 - 2*h + 4. Does 25 divide v(3)?
True
Suppose 5*u + 0*i = -5*i + 90, 50 = 3*u + 4*i. Let n = u - 4. Is n a multiple of 18?
True
Let a(i) be the second derivative of i**3/6 + 3*i**2 + 2*i. Is a(6) a multiple of 6?
True
Suppose -4*p + 18 = 3*s, 12 = 2*s - 5*p + 2*p. Let m(w) = w**3 + 6*w**2 + 6*w + 4. Let l be m(-5). Is (-18)/(s/(-3) - l) a multiple of 10?
False
Let z(x) = 2*x**2 + 19*x + 25. Does 29 divide z(-13)?
True
Let l = 0 + 0. Suppose l = 3*s, 0*s - 3*s - 55 = -5*m. Is m a multiple of 5?
False
Suppose -7*n = -3*n - 528. Is 22 a factor of n?
True
Let t(i) = -3 + 9*i**2 - 1 + 2*i + 3. Does 3 divide t(1)?
False
Suppose -13*l - 18 = -15*l. Is 9 a factor of l?
True
Let s(i) be the second derivative of i**7/840 + i**5/120 + i**4/12 - i**3/3 - 2*i. Let f(k) be the second derivative of s(k). Is f(2) a multiple of 12?
True
Let f = -3 - -5. Let x be 1*2/f + 6. Let a(p) = 3*p + 7. Is a(x) a multiple of 14?
True
Let s be (-6)/9 - 118/3. Let f = s - -65. Let r = 17 + f. Is 20 a factor of r?
False
Let p(l) = 38*l**3 - l. Does 17 divide p(1)?
False
Suppose -116 = -q - 2*z, -2*q = -7*z + 8*z - 229. Does 18 divide q?
False
Suppose 0*i = -2*d + i + 32, -d + 5*i + 16 = 0. Is 16 a factor of d?
True
Suppose 295 = 6*h - 2*h - 5*n, -5*n = -5*h + 370. Let g = -54 + h. Is g a multiple of 7?
True
Let x be 4 + 3 + (0 - 2). Suppose 5*u + 3 + 2 = -x*h, 2 = 5*h - 2*u. Let l = h - -20. Does 7 divide l?
False
Let v be (-20)/(-70) - (-1376)/(-14). Let c = -65 - v. Is 11 a factor of c?
True
Let r be (-37)/(-1) + 2 + -4. Suppose 3*j - r = 73. Suppose 2*i - j = 20. Is 11 a factor of i?
False
Let o = -97 + 69. Does 16 divide o/(2/(-4 + 2))?
False
Is (0 + 52/36*3)*12 a multiple of 13?
True
Let z(s) = s**3 - 11*s**2 - 10*s + 18. Is z(12) a multiple of 15?
False
Let j = -18 - -150. Let m = -36 + j. Let l = m - 41. Is 21 a factor of l?
False
Suppose 48 + 180 = -4*f. Let a = f + 92. Is 25 a factor of a?
False
Suppose -4*k + 3 = -1. Let j be -1*(-56 - k) + 0. Let g = j + -29. Is 8 a factor of g?
False
Let r be 3 - (-2 - (0 + -1)). Suppose 0 = k + r*k - 10. Suppose -170 = -3*p - 0*p - 2*f, 95 = k*p + 5*f. Is p a multiple of 20?
True
Let k(m) = 2*m**2 - 2 + 2*m + 11*m**2 + 5. Is 17 a factor of k(-2)?
True
Let m(q) = -8*q + 10. Is 29 a factor of m(-6)?
True
Is 8 a factor of (-24)/(-9)*(8 + 1)?
True
Let n(m) = -7*m - 8. Let k(p) = 11*p + 12. Let o(v) = 5*k(v) + 8*n(v). Suppose -4*u + 2*z + z - 15 = 0, u = -z - 9. Is o(u) even?
True
Let f be (-6)/(-8) + (-63)/(-12). Suppose b - f - 7 = 0. Does 10 divide b?
False
Let y(c) = 49*c + 1. Let q be y(1). Suppose 5*f = -2*g + q, -5*g + 2*f = -4*g - 43. Does 13 divide g?
False
Suppose -d + 5 = 4*d. Suppose -2*b + d = -3. Does 14 divide (-62)/(b + -3 - 1)?
False
Let m(y) = 2*y + 7. Let q = 16 - 11. Does 17 divide m(q)?
True
Let q(w) = w + 10. Let p be q(0). Suppose 3*f - p = 3*i - 5*i, -3*i - 2*f + 20 = 0. Is 8 a factor of i?
Tru