 + y**2. Let q be k(-1). Suppose d + d + 78 = q. Let s = -16 - d. Does 16 divide s?
False
Suppose -4*z + 506 = -990. Suppose -4*x + 2*x - k + 147 = 0, 5*x - z = 4*k. Let n = x + -51. Does 19 divide n?
False
Suppose 375 = 8*a - 3*a. Does 15 divide a?
True
Let t(c) = -c. Let i be t(8). Let o = -4 - i. Is o/(-10) + (-368)/(-20) a multiple of 18?
True
Let b(i) = 4*i - 2*i + 2*i - 1. Let q be ((-2)/(-4))/(10/20). Is b(q) a multiple of 2?
False
Let r = -148 + 106. Let h = r - -82. Does 20 divide h?
True
Suppose 6*p - 4*v = p + 23, -3*v + 9 = 5*p. Let z(q) = q**2 - 2. Does 7 divide z(p)?
True
Let t = -81 - -129. Is 8 a factor of t?
True
Suppose -6*x - 432 = -14*x. Is 18 a factor of x?
True
Suppose 25 = -0*r + 5*r. Suppose -5*w - r = -0*w. Is 4 a factor of -2 + 5 - 1/w?
True
Let p be (-1)/(-1)*(0 + 193). Suppose 4*t + t + 2*w = p, w = -1. Let c = -27 + t. Is c a multiple of 12?
True
Suppose 0 = -7*x + 3*x + 84. Is 21 a factor of x?
True
Suppose 10 = y + 2. Let c(p) = y*p + p - 2 + 0*p. Is 9 a factor of c(2)?
False
Suppose -2*z + 4 = -2*b, -6*b - 4*z = -b + 10. Is 14 a factor of 4/b*(-1 - 18)?
False
Suppose -5 = -c - 2. Suppose 3*l = 2*j + 82, -c*l = -2*j + j - 86. Does 15 divide l?
True
Suppose 0*c - 70 = -2*c. Suppose p - b = 17, -3*p + c = 2*p + 5*b. Is 6 a factor of p?
True
Let n be ((-2)/4)/(3/(-18)). Suppose 0 = -n*z + 12, 0 = 5*l + 3*z - 14 - 13. Does 21 divide 1*(-14)/(-2)*l?
True
Let m(u) = -u + 1. Let j be m(-1). Suppose -j*k - 41 = -3*k. Is k a multiple of 18?
False
Is 23 a factor of 5*-3*184/(-20)?
True
Does 12 divide (2/(-6))/((-1)/591)?
False
Let f(j) = -183*j - 1. Let a be f(-5). Let g be a/8 + (-9)/(-12). Suppose -70 = -5*d + g. Is 11 a factor of d?
False
Let m(q) = -q**2 + 8*q + 13. Let b be m(9). Is 12 a factor of b/10 + 326/10?
False
Suppose 3*t + 15 = 0, 3*b - 3*t + 19 = -5*t. Let m = 15 - b. Is m a multiple of 12?
False
Suppose -1 - 3 = c + 3*l, -c = 2*l + 2. Suppose 3*a - 7*i - 20 = -c*i, -i + 65 = 4*a. Is 6 a factor of a?
False
Let j(s) = 11*s**2 - 5*s + 1. Is j(6) a multiple of 26?
False
Suppose -5*q = -25, 5*w + 0*q = -5*q + 780. Is 26 a factor of w?
False
Let f be -7 - 3/(-3)*2. Let g = 6 - f. Is 4 a factor of g + 1 - (-5 + 6)?
False
Let c be 28/12 - 4/(-6). Suppose 3*t = 2*w + 7*t - 60, -66 = -c*w + 2*t. Does 12 divide w?
True
Let w = 135 + -85. Is w a multiple of 15?
False
Let i(d) = -2*d**2 - 32*d + 28. Is i(-15) a multiple of 12?
False
Let f = 8 - 2. Let a = f + 0. Does 2 divide (12/(-10))/(a/(-15))?
False
Suppose -16*l = -11*l - 315. Is 13 a factor of l?
False
Is (3 - 6)*(-5)/3 a multiple of 2?
False
Suppose 0 = -3*n + 264 + 735. Is 23 a factor of ((-4)/6)/((-6)/n)?
False
Let a = 23 - 7. Let o = -26 + a. Is 3 a factor of (4 + o)*(-1)/1?
True
Suppose 0 = 3*w + 2*a - 6*a - 28, 0 = 3*w + a - 8. Suppose 3*f - 2*p = -w*p - 1, -4*f + 37 = -5*p. Is f even?
False
Let q be 150/18 + 2/(-6). Suppose 5*i - 123 = -q. Is i a multiple of 12?
False
Suppose 3*j - 2*j - 4*y = 8, -4 = -4*j + 2*y. Suppose -r = 3*s - 4, 14 = 3*r + 2. Suppose -4*f = -s*f - 2*z - 30, z - 5 = j. Is f a multiple of 5?
True
Let j = 190 + -120. Does 42 divide j?
False
Let h = 62 + -37. Suppose h = 3*q + 7. Let v(t) = t**3 - 4*t**2 - 9*t + 2. Is v(q) a multiple of 10?
True
Let q(c) be the second derivative of -c**3/6 - c**2/2 + 2*c. Let x(v) = 15*v + 5. Let u(o) = -2*q(o) - x(o). Is 23 a factor of u(-4)?
False
Suppose 47 = 5*g + 7. Suppose -g = -2*h - 0*h. Suppose -24 = -0*c - h*c. Does 6 divide c?
True
Let a(d) = d - 4. Let z be a(4). Suppose 4*y - 68 = r, z*y + 2*y = 5*r + 52. Is y a multiple of 12?
False
Suppose -h + 8 = 4*s - 2*s, 0 = 4*h + 4*s - 36. Is h even?
True
Is 44 a factor of 1322/10 - 4/20?
True
Let o(y) = y**2 - 6*y - 5. Let c be o(7). Let q(i) = 3*i**3 - 3*i**2 + i - 2. Is q(c) a multiple of 3?
True
Suppose 2*g + 8 = 0, -172 = -2*v + 4*g + 54. Does 7 divide v?
True
Let d = -19 + 9. Let n = 5 + d. Let t = 20 + n. Does 15 divide t?
True
Let b(v) = v - 1. Let g be b(5). Suppose g*u - u = 27. Suppose 0 = -3*r + u + 42. Is 12 a factor of r?
False
Let w(c) = -108*c. Let d be w(-3). Suppose 5*p - 3*n = 407, -4*p + 4*n + 0*n + d = 0. Is 12 a factor of p?
False
Let t be ((-2)/(-3))/((-1)/(-6)). Is 18 - (t - 3)*3 a multiple of 5?
True
Is 3/(-18) + 3325/42 a multiple of 38?
False
Let r be 3/(7/2 - 2). Let t = r + -2. Suppose t = -7*z + 8*z - 12. Does 4 divide z?
True
Let h(o) = -3*o - 5*o**3 + 4*o + 6*o**3 - 7 + 6*o**2 + 0*o**3. Does 13 divide h(-5)?
True
Let u(l) = 2*l - 4. Let s be u(3). Let y = 4 - s. Suppose -11 = -y*m + 3. Is m a multiple of 7?
True
Suppose -2*f + 5*f - 63 = 0. Is 13 a factor of ((-84)/49)/((-1)/f)?
False
Let m = -2 - 1. Let g(t) = t**2 + 3*t - 3. Let y be g(m). Let p(b) = -b**3 - b**2 - 2*b + 2. Does 13 divide p(y)?
True
Suppose 3*u + 0*u = 9. Let g(b) = b**2 - 2*b + 1. Let f be g(u). Is (6/9)/(f/30) a multiple of 5?
True
Let k(x) = 3*x - 2. Let g be -1*(-2 - (-2)/(-2)). Let n = g - 1. Is k(n) even?
True
Suppose 80*p = 74*p + 2046. Is 31 a factor of p?
True
Let d(n) = -2*n + 8. Let u be d(-7). Suppose 5*m = 10 - 0. Suppose -u = -m*r + r. Is 11 a factor of r?
True
Suppose -t = -5*t + 4. Let f be (t - 6/2) + -4. Let r = 8 + f. Is 2 a factor of r?
True
Let a(h) = -3*h - 21. Is 6 a factor of a(-13)?
True
Let q(d) = 7*d**2 - 2*d - 3. Let g be q(-3). Is (4/3)/(4/g) a multiple of 8?
False
Suppose 2*v = 5*c + 29, -3*c + 5 = -3*v + 44. Is 7 a factor of v?
False
Let d(t) = -4*t + 154. Is 14 a factor of d(0)?
True
Let l(r) = -r**2 - 4*r - 8. Let f(z) = z**2 + 3*z + 7. Let p(m) = 6*f(m) + 5*l(m). Let u be 2 + (0 - (-2 + 1)). Does 2 divide p(u)?
False
Let m be 0 - 1 - (-3)/1. Let l be 93/33 - m/(-11). Does 2 divide (-10)/(-15) + 10/l?
True
Let l(j) = -j**2 - j. Let o be l(-3). Let k(b) = b**3 + 6*b**2 - 2*b + 2. Is k(o) a multiple of 7?
True
Suppose 0*v = -6*v + 156. Is v a multiple of 13?
True
Suppose 4*y - 401 = -165. Is y a multiple of 16?
False
Suppose o - 5*o = -300. Does 8 divide o?
False
Suppose 16 - 1 = 5*n. Is 4 - n - 0 - -23 a multiple of 24?
True
Let y = 334 + 146. Is y a multiple of 13?
False
Let u(z) = -z**2 - 4*z + 5. Let y be u(-5). Suppose y = 5*d - 8*d. Suppose -x + 1 + 1 = d. Is x a multiple of 2?
True
Suppose -11 = -3*s - 2. Is s even?
False
Suppose -l + 2*l - 3 = 0. Suppose 155 = 4*b + b - l*d, -b + 5*d = -31. Is b a multiple of 8?
False
Let c be (-9)/(-21)*-2*7. Let s be -3*4/c + -3. Does 15 divide ((-6)/(-8))/(s/(-48))?
False
Suppose 4*v - 4*d = 169 - 1, 5*d = -v + 42. Is v a multiple of 6?
True
Let l = 47 + -41. Let w(g) be the third derivative of g**4/12 + g**3/2 + 2*g**2. Is w(l) a multiple of 9?
False
Let s = 9 + -8. Is 132/1*s/2 a multiple of 14?
False
Suppose 0 = -6*l + l + 15. Suppose -l*a + 9 + 13 = 4*n, 4*n = 3*a - 62. Is a/1 + 2 + -2 a multiple of 7?
True
Let s = 17 + -15. Suppose 0*g - 64 = -s*g. Is 16 a factor of g?
True
Let f be 2/(-8) - 1362/(-8). Suppose 0 = -2*w - 3*w - f. Is 10 a factor of ((-1)/(-2) + -1)*w?
False
Let j(m) be the third derivative of m**6/80 + m**5/30 + m**4/12 + 5*m**2. Let v(h) be the second derivative of j(h). Is 11 a factor of v(4)?
False
Let d be 1/((-1)/24*2). Let k = d - -10. Is (-5 - -6)/(k/(-8)) a multiple of 4?
True
Suppose -3*b + 384 = -0*b. Does 32 divide b?
True
Suppose -34 = v - 5*v + 5*m, 6 = 2*v + 3*m. Let p = v - 1. Does 2 divide p?
False
Let a(x) = 61*x - 4. Does 10 divide a(1)?
False
Let k(j) = -j + 13. Is k(7) a multiple of 3?
True
Suppose 0 = -5*b + x + 102, 0*b - 2*x + 76 = 4*b. Suppose 5*q + v - b = 0, -3*q + 26 = 5*v - 8. Is q a multiple of 3?
True
Suppose -r - 3*r + 8 = 0. Suppose 81 = r*a + 23. Is a a multiple of 10?
False
Let o(s) = 21*s**3 + s**2 - s + 1. Let r(n) = n**3 + 2*n**2 - 4*n - 2. Let d be r(-3). Is o(d) a multiple of 6?
False
Let n(p) = p**3 - 13*p**2 - 15*p + 17. Let z be n(14). Suppose z*y = 19 + 11. Is y a multiple of 9?
False
Let l = -74 + 114. Does 8 divide l?
True
Let w be ((-2)/(-1))/(2/(-5)). Let v be (w/2)/((-2)/52). Does 13 divide 4/5*v/2?
True
Let d be (84 - 2/1)/2. Suppose -3 = 2*f - d. Does 19 divide f?
True
Let c(l) = 31*l - 12. Is 27 a factor of c(3)?
True
Let o be (-7)/(-1) - 1/1. Is 18/5*15/o a multiple of 4?
False
Suppose 0 = -5*k - 5*n + 15, -2*k + n + 7 = -k. Suppose 4*s = -5*d + 42, s + 38 = k*d - 14. Is 5 a factor of d?
True
Let z(o