 = 7*a(l) + 6*u(l). Is b(-2) even?
False
Suppose -3*j = -4*j + 50. Is 11 a factor of j?
False
Let o be (-5)/(-2) + (-1)/2. Let l be (10*1)/((-1)/o). Let t = 15 - l. Is t a multiple of 19?
False
Let m(o) = -o**2 - 9*o - 5. Let c be -3 + 0 - (1 - 0). Does 4 divide m(c)?
False
Let z be -1*(3 + -1 + -2). Suppose -4*p = v - z*p - 19, 4*p = 2*v - 38. Is 10 a factor of v?
False
Let m be 3*(40/6)/(-2). Let h = m - -15. Is 5 a factor of h?
True
Suppose -54 = -4*h - 26. Does 7 divide h?
True
Let a(d) = -3*d - 2. Let q be a(-2). Let o(z) = z - 3. Let k be o(q). Is k*36/(-2)*-1 a multiple of 9?
True
Suppose -2*b = -4 - 4. Let g be (-25)/b*1*-4. Let t = g - 4. Is 9 a factor of t?
False
Let w = 1 + -2. Is (-1)/(3/33*w) a multiple of 5?
False
Does 3 divide (40/(-4))/((-1)/4 - 0)?
False
Suppose -3*l = -0*l - 3*i - 393, -5*l - 5*i = -645. Does 10 divide l?
True
Let p be -1*2*(-2 + 1). Let x = -117 - -171. Suppose 0 = p*v + v - x. Is v a multiple of 18?
True
Suppose 0 = t - 0*t - 7. Suppose -5*n - 5 = 5*x, -3*n = 5*x - t*n - 31. Is x even?
False
Suppose 0*s + 12 = 3*s. Suppose -30 - 82 = -s*x. Is x a multiple of 14?
True
Suppose -5*d = 4*i - 70, 0 = i - 0*i + d - 18. Is i a multiple of 15?
False
Let k(o) = o**2 + o + 1. Let z be k(-2). Suppose -90 = -z*y - 0*t + 3*t, 0 = -t + 2. Is 8 a factor of y?
True
Suppose 0 = i + 3, w = -4*i - 9 - 11. Let u = -6 - w. Suppose 0 = -u*n - 10 + 40. Is n a multiple of 5?
True
Is 27 a factor of 83 - 5 - (0 + -3)?
True
Suppose -23 = 4*y - 5*v, y = 6*y - 5*v + 35. Let h be (124/y)/((-1)/(-3)). Is -2 - h - (-1 + 0) a multiple of 15?
True
Let b be 6/(-8) + (-74)/8. Does 12 divide 218/6 - b/15?
False
Let x(a) be the third derivative of 0 - 1/2*a**3 + 0*a - 2*a**2 - 1/6*a**4. Is 2 a factor of x(-2)?
False
Let i(p) = p - 1. Let d be i(0). Let f = d + 1. Suppose -5*c + 6 + 84 = f. Does 7 divide c?
False
Let f(j) = j**3 + 3*j**2 + 3. Let b be f(-3). Suppose p + 107 = b*h, -5*h + 4*p = -p - 175. Does 12 divide h?
True
Let d(g) = 9*g**3 - 3*g**2 + 4*g. Does 34 divide d(2)?
True
Let q = 21 + -11. Suppose -s - 4*s + q = 0. Suppose o = -s*o + 66. Is 22 a factor of o?
True
Let w = -10 - -12. Let s = w + 22. Does 6 divide s?
True
Suppose 0*l = 5*l + 4*r - 2321, -4*r = -3*l + 1399. Suppose -2 + 18 = -8*d. Is 13 a factor of d/(-12) - l/(-18)?
True
Let f(n) = -7*n - 5. Let s be f(4). Let k = -23 - s. Is 5 a factor of k?
True
Let c = 5 + 7. Is 12 a factor of c?
True
Let i = 2 + 10. Is 6 a factor of i?
True
Is 37 a factor of -2 + (-1796)/(-18) + (-4)/(-18)?
False
Let q be (2 - -1) + (3 - 4). Suppose -q*m = g - 35, 3*g + 2*m - 97 = -2*m. Is g a multiple of 11?
False
Let c = -3 - -10. Let a be ((-117)/(-6) - -2)*2. Let t = a - c. Is 18 a factor of t?
True
Let b = 509 - 67. Does 26 divide b?
True
Let b be (-4)/2*(-27)/(-6). Let j = b - -13. Is j even?
True
Let s(w) = w**3 - 5*w**2 + 4*w + 2. Let m be s(4). Suppose -m*d - 282 = -d. Is 19 a factor of 3/2*d/(-9)?
False
Let t(r) = r**2 - 4*r + 6. Is 11 a factor of t(5)?
True
Let q(k) be the second derivative of -k**5/20 - k**4/4 - k**3/3 + 3*k**2/2 - 2*k. Suppose -j + 3 = -2*j. Is 5 a factor of q(j)?
False
Does 6 divide (-18)/(-15)*3*(-5)/(-1)?
True
Let d(u) = -20*u**2 + 21*u + 56. Let v(t) = 7*t**2 - 7*t - 19. Let a(h) = 6*d(h) + 17*v(h). Let x be a(11). Let k = x + 52. Does 21 divide k?
True
Suppose 246 = 5*q - 4. Does 5 divide q?
True
Suppose 5*f - 120 = -0*f. Let m = 48 - f. Suppose t - 20 = m. Does 22 divide t?
True
Let q be 0*1/2*-1. Suppose q = b - 6 - 4. Does 3 divide b?
False
Does 13 divide (-2)/3*(-1521)/6?
True
Let h be (1 - 2/2) + -2. Let a be ((-2)/(-4) + h)*62. Let q = -63 - a. Is q a multiple of 15?
True
Let q = -5 - -6. Is (-6 - -8)*(q + 19) a multiple of 16?
False
Suppose 0 = 5*f + 13 + 12. Is (f - 4)*7/(-3) a multiple of 7?
True
Let x(w) be the second derivative of w**3/3 + 23*w**2/2 + 8*w. Is 6 a factor of x(0)?
False
Suppose 3*q + 2 + 1 = 0. Let w(b) = 45*b**2 - b. Let x be w(q). Let j = x + -18. Does 14 divide j?
True
Let h be ((-25)/15)/(1/(-3)). Suppose -4*k = k + 5*d - 5, 45 = h*k - 5*d. Suppose 4*r - 15 = -3*b, 0*b - 5*r = b - k. Is b a multiple of 4?
False
Let z be 2/(-2) + (-245)/(-7). Suppose 3*o + 2*o - 4*d - 46 = 0, -d - z = -5*o. Does 6 divide o?
True
Suppose 0 = -5*g + 5*b + 187 - 67, 74 = 3*g - 5*b. Does 3 divide g?
False
Let i(p) = -17*p - 6. Is 28 a factor of i(-4)?
False
Let u = 7 - 4. Suppose -3*h = h - 40. Suppose h + u = s. Is 11 a factor of s?
False
Let u = -51 - -119. Is u a multiple of 17?
True
Suppose -2*q - 62 = -d, 5*d = d + q + 241. Is 12 a factor of d?
True
Suppose 7 = 3*w + 1. Suppose -4*m + 2*m - 3*j + w = 0, 0 = 5*m + j + 8. Is ((-132)/9)/m*3 a multiple of 15?
False
Suppose m + 9 = -3*g, 4*g - 6 = -22. Suppose m*j + j = 108. Suppose 52 = 3*p + 4*s, 7 = -p - 2*s + j. Is p a multiple of 8?
False
Let d = 33 + -1. Is d a multiple of 4?
True
Is 6 a factor of 987/28 + (-3)/(-4)?
True
Suppose 77 = 2*z - 103. Is 9 a factor of z?
True
Suppose -16 = -4*a + 3*y - 4*y, -3*y = a - 15. Suppose a*d + o = 125, d + 4 - 34 = 2*o. Does 15 divide d?
False
Let v be (2/(-6) - 1)*-3. Suppose 5*d + 0*d - 15 = -3*y, -v*d + 4*y + 44 = 0. Is d a multiple of 6?
True
Let j = 7 + -2. Suppose -l = -j - 11. Is 16 a factor of l?
True
Let s = 866 - 466. Does 25 divide s?
True
Let o(j) = -j**3 - 2 - 2 - 25*j + 16*j + 9*j**2. Let k be o(8). Let c = k + 26. Is 7 a factor of c?
True
Let j = -7 - -15. Is j a multiple of 4?
True
Let w = -4 + 4. Suppose -30 = -w*d - 2*d. Is d a multiple of 5?
True
Let v(j) = j**3 + 4*j**2 + 2*j - 2. Let l be v(-2). Is 8 a factor of ((-32)/((-4)/l))/1?
True
Suppose 375 = 6*s - s. Is s a multiple of 16?
False
Suppose 6*h - 35 = h - 5*q, 2*h + 5*q - 11 = 0. Is h even?
True
Suppose -4*s = -15 - 1. Suppose 2*b = s*x + 8, 32 - 2 = 3*b + 3*x. Does 3 divide b?
False
Let q(t) be the second derivative of -43*t**5/20 + t**3/6 + t**2/2 - t. Let a(b) = b - 2. Let k be a(1). Is 15 a factor of q(k)?
False
Let r(g) = 11*g - 22. Does 11 divide r(10)?
True
Suppose -5*a = 899 - 3379. Does 62 divide a?
True
Let s(b) = -21*b + 1. Let x be s(-1). Let h be 174/(-12) - 3/2. Let m = h + x. Does 6 divide m?
True
Let s be (-1)/(-2 + 1 + 0). Does 21 divide 195/3 + -3 + s?
True
Suppose 0 = 5*n - 8*n + 135. Is n a multiple of 9?
True
Let k(o) = -o + 6. Let q be k(7). Let r be 1*q*(-1 - 47). Suppose 2*g = -2*g + r. Does 5 divide g?
False
Let f(d) = d + 9. Let a be f(-5). Suppose 109 - 25 = -a*x. Is 854/x*3/(-2) a multiple of 17?
False
Is -3 - ((-51)/1 + 2) a multiple of 23?
True
Let i be ((-80)/5)/(1/10). Let d = -103 - i. Is 19 a factor of d?
True
Suppose 2*m - 633 = -3*s - 251, s - 119 = m. Is 22 a factor of s?
False
Suppose 2*v - 142 = d, -3*v + 8*v - 368 = -4*d. Is 11 a factor of v?
False
Let a(n) be the first derivative of 3*n**2/2 + 8*n + 1. Let x be a(8). Suppose 4*u - 5*b = 59, 0*u + x = 2*u - 2*b. Is 21 a factor of u?
True
Suppose 3*j - 4*p + 10 = j, 0 = 5*j - 4*p + 19. Let f = -5 - j. Let r(m) = 6*m**2 - m. Is 13 a factor of r(f)?
True
Let f(n) = n**3 + 3*n**2 - n - 2. Let c be f(-2). Let x(r) = -2*r**2 - 2 + 2*r + 2*r**2 + r**2 + r. Is x(c) a multiple of 13?
True
Let m(c) be the third derivative of -c**5/30 + c**4/6 + c**3 - c**2. Let n(b) = b**2 - b - 1. Let h(k) = m(k) + 3*n(k). Does 9 divide h(-3)?
True
Let k(p) = 4*p**2 + 0*p + 2*p + 4*p**2. Is k(-2) a multiple of 7?
True
Let w(r) = 5*r + 6. Let k be (-1)/5 - 38/10. Let z(b) = 14*b + 18. Let s(i) = k*z(i) + 11*w(i). Is s(-12) a multiple of 5?
False
Suppose 52 + 8 = 5*f. Is 12 a factor of f?
True
Let n(y) = y + 2. Let z be n(0). Is (0 - -7*z) + -4 a multiple of 10?
True
Let w(l) = 275*l**3 + l**2. Is w(1) a multiple of 12?
True
Let u(t) = -t**2 + 12*t - 4. Let j be ((-21)/(-6))/((-2)/(-4)). Does 12 divide u(j)?
False
Let m(j) = j**2 + 2*j - 42. Does 3 divide m(-10)?
False
Let f = -21 - -46. Is 3 a factor of f?
False
Let l(v) = -v**3 - 6*v**2 + v + 2. Let r be l(-6). Is r/(105/(-33) - -3) a multiple of 11?
True
Let i(x) = -3*x - 6*x - 3 - 2*x. Suppose -4*s - 4*n - 17 = n, 2*s + 2*n = -8. Is i(s) a multiple of 15?
True
Suppose -3*r = -3*w - 22 + 142, 3*r = w - 36. Is 14 a factor of w?
True
Let h = 20 - 17. Suppose 0 = -4*y - 3*d + 231, 5*y + h*d - 187 - 104 = 0. Does 15 divide y?
True
Let g(u) = -10*u**3 - 2*u**2 - 3*u - 2. Le