be 1120/(-21)*6/(-5). Let a = 89 - v. Let b = a - 10. Is b a multiple of 5?
True
Let c(n) = 35*n**2 - 2*n - 3. Is 5 a factor of c(-1)?
False
Let h be (1 - 1)/(0 + 2). Let q = 54 + -51. Let j = q + h. Is j even?
False
Let r(c) = -c**3 + 29. Let v be r(0). Suppose -6*p - v = -p - 3*f, -28 = 4*p - 4*f. Is 26/2 - (-8)/p a multiple of 6?
False
Let d = -67 - -139. Is 24 a factor of d?
True
Let s be (-6)/(-4)*(-30)/(-9). Suppose -s*z + 3*z + 128 = -4*l, -4*l + 88 = z. Suppose z = 3*a + q, 57 = 3*a - 6*q + 2*q. Does 12 divide a?
False
Is (-30)/2*(-36)/45 a multiple of 5?
False
Let c(n) = 2*n - 8. Is c(8) a multiple of 8?
True
Suppose 0*r - 4*r = p - 117, 0 = 5*p - 5. Is r - (-2 - (-3 + 3)) a multiple of 11?
False
Let t = 26 - 16. Let m = t - -2. Does 12 divide m?
True
Let x(h) = -2*h**2 - 4. Let l be x(-5). Is 9 a factor of (l/(-8))/(6/16)?
True
Let m(y) = 4*y**2 - y - 4. Let j be m(-4). Suppose -j = 4*x - 168. Is x a multiple of 13?
True
Let v(l) be the first derivative of l**4/4 + 2*l**3 + l**2 + 2*l - 3. Does 11 divide v(-4)?
False
Let z(v) = 2*v**2 - 5*v - 3. Let o(p) = 0*p**2 - 5*p + 2 + 3 - p**2. Let b be o(-5). Does 11 divide z(b)?
True
Let w be ((-3)/3)/(2/(-6)). Let x(m) = w + 4*m**2 + 5 + 2*m**2 + m**3. Does 4 divide x(-6)?
True
Suppose 5*i = -4*p, -4*i + 2*p - 5 = -31. Suppose -i = -2*u, -3*d + 2*u + 76 = d. Suppose 3*q - 45 = -3*g, 4*q = -2*g + 32 + d. Is 3 a factor of q?
False
Let f(v) = 2*v**2 - 15*v + 3. Let h be f(10). Let q = -21 + h. Is 32 a factor of q?
True
Suppose -k + 6 = -4*j, 0 = 2*j + 3*j - 10. Suppose a = y - a - k, -4*a = 4*y - 32. Suppose -y = -4*t + 46. Is t a multiple of 14?
True
Let v = 10 - 6. Let u be -34 - 1/((-2)/v). Is (-6)/(-8)*u/(-1) a multiple of 10?
False
Suppose 10 = 5*f - 5*j, 2 + 4 = 5*f - 3*j. Suppose -2*w - 4*c + 60 = 0, -3*c + c - 90 = -3*w. Suppose -t = -f*t - w. Does 15 divide t?
True
Let m(t) = -8*t + 1. Let r be m(2). Suppose 0*j - 588 = 2*j. Does 17 divide 2/5 + j/r?
False
Suppose -2*f = -135 - 119. Does 18 divide f?
False
Let v(o) = 2*o**2 + o - 2. Let k be v(2). Suppose 0 = d + 5*y + 13, 3*d = -y + 23 + k. Is 14 a factor of (-1)/4 + 375/d?
False
Suppose -2 = -0*k - k. Suppose 0 = -j + k*j - 36. Is j a multiple of 25?
False
Suppose 4*b = -s + 10, -2*s - s = -5*b + 4. Suppose -s*x - 2*x - 232 = 0. Let k = x - -88. Does 9 divide k?
False
Let u(q) = -q**3 + 3*q**2 + 2*q - 2. Let f be u(3). Let h(y) = y**3 + 8*y**2 + 7*y - 7. Let a be h(-6). Suppose a = f*j - 25. Is j a multiple of 5?
False
Let y(f) = 3*f**2 - 3*f - 3. Let s be y(4). Let v = s + -14. Let b = -10 + v. Is 6 a factor of b?
False
Let w = 2 + -7. Does 16 divide 15/w - 4*-18?
False
Let k(l) = 2*l**2 - 11*l - 1. Let y be k(9). Suppose 3*t = t + y. Does 12 divide t?
False
Suppose 3*o - 1 = 14. Suppose 9 = o*r - 21. Does 2 divide r?
True
Let k = -207 + 357. Does 6 divide k?
True
Is (-1552)/(-12) - 4/12 a multiple of 39?
False
Let d(b) = -7*b - 8. Let r(a) = -a + 1. Let h(k) = -d(k) - r(k). Is 16 a factor of h(6)?
False
Suppose 0 = q - 5*q + 20. Let a = q + 15. Is 10 a factor of a?
True
Let c be 60/2*(-22)/55. Let t = c - -25. Is 13 a factor of t?
True
Let b(g) = -13*g + 3. Let v(a) = -3*a**3 + 2*a**2 - 2*a**3 + 4*a - 3 + 4*a**3 - 5*a**2. Let q be v(-4). Does 21 divide b(q)?
True
Let k be 568 + -1 + 1 + 2. Is 11 a factor of k/24 + 1/4?
False
Does 15 divide (-10)/(-3)*(-1)/2*-18?
True
Let h(n) = -4*n**2 - 2*n - 1. Let c be h(-1). Does 19 divide c*3/3 + 41?
True
Let t(g) = 5*g**2 + g. Let p be t(-1). Let r be (p + -101)*(-2 - -1). Suppose 0 = -2*w - 21 + r. Is 16 a factor of w?
False
Suppose 4*q - 2 = 3*q. Suppose 0 = -3*c + 2*c + q*t - 3, c + 3 = -3*t. Is 16 a factor of 1*c/6*-58?
False
Let t be 168/(-20) + 4/10. Let r = 10 + t. Suppose 2*m + 0*m - 3*f - 42 = 0, -14 = -r*m - 4*f. Does 15 divide m?
True
Suppose -2*n = 22 - 4. Let l be -3*((-6)/n)/(-2). Let a(i) = 7*i**3 - i**2 - i + 1. Does 6 divide a(l)?
True
Suppose 2*r - 1 = 5. Let c = 8 - r. Suppose -x = 2*p - 45, c*x = -4*p - 26 + 131. Is 13 a factor of p?
False
Suppose 5*s - 8 = 12. Suppose -s*p - b + 277 = 4*b, 5*b - 214 = -3*p. Does 21 divide p?
True
Suppose -2*j + 3 = -1. Let n be 0 + (3 - (j + 0)). Suppose -r + n = -21. Is r a multiple of 11?
True
Let f = 36 + 9. Suppose -i + f = -4. Is 14 a factor of i?
False
Let c(d) = 3*d**3 + 3*d**2 - 4*d + 2. Does 27 divide c(3)?
False
Let m = -4 + 5. Let g = 20 - 47. Does 15 divide m/(-2)*(-3 + g)?
True
Let s(o) = 22*o**2 - 6*o - 6. Let g be s(-4). Suppose 0 = -5*y + 495 + g. Suppose -2*r = 5*i - y, r = 1 - 2. Is i a multiple of 12?
False
Let k(s) be the first derivative of -s**3/3 + 7*s**2 + s - 3. Let n = 30 - 18. Is 25 a factor of k(n)?
True
Let a = 0 + -75. Suppose 5*g - 8 + 23 = 0. Is a/(-9) - (-1)/g a multiple of 8?
True
Let d = 164 - 89. Does 25 divide d?
True
Let l(o) = o**2 - 12*o + 12. Let s be l(11). Is (7 + -9)/(s/(-3)) a multiple of 6?
True
Suppose 73 = 2*c - 23. Let q = c - 27. Is q a multiple of 9?
False
Let a(k) = -11*k + 1. Is 6 a factor of a(-1)?
True
Suppose -3*h + 215 = 2*h. Suppose -2*q = -3*q + 29. Let j = h - q. Is j a multiple of 6?
False
Is 4/(4/61) + 1 a multiple of 23?
False
Suppose 0*b - 2*b = -84. Suppose 3*m - b = -0*m. Does 8 divide m?
False
Let z be (9/(-6))/(6/16). Let b be (21/z)/((-1)/4). Suppose 0 = j - 6 - b. Is j a multiple of 11?
False
Let d be (-2)/3 + 14/3. Suppose 2*x + 0*x + 3*v = 8, 0 = x - d*v - 4. Suppose -3*c + 16 = 2*a, x*c = 3*c. Is a a multiple of 8?
True
Suppose -4*d + 130 = -42. Suppose -39 - d = -r. Is r a multiple of 19?
False
Suppose 0 = -2*o - 3*o - 15. Let n(d) = 4*d**2 + 2*d - 2. Is n(o) a multiple of 7?
True
Suppose 5*r = -r + 210. Is r a multiple of 5?
True
Suppose 0 = 5*r - 15. Suppose -g + 5 + r = 0. Is g a multiple of 4?
True
Suppose 3*c - 176 = -c + 3*g, -29 = -c - 3*g. Does 13 divide c?
False
Suppose 0 = -y - 5*d + 7, -5*y + d = 3*d - 104. Is 11 a factor of y?
True
Suppose 7 = 3*i - 2, -2*c + 3*i = 3. Let g = -1 - -1. Suppose j - 2 + 5 = c*l, g = 3*j + l - 41. Is j a multiple of 8?
False
Does 3 divide (-9)/(-6)*1*6?
True
Suppose 0 = 4*s - s - 870. Suppose -3*d + 167 = 3*i - 4*d, -4*d = -5*i + s. Does 21 divide i?
False
Suppose 4*s = -16, 3*b + 28 = s + 98. Let q(a) = 7*a - 2. Let n be q(5). Let j = n - b. Is j a multiple of 11?
True
Let p be 0/(-2 - 0) - -3. Suppose -3*x = g - 125, p*x = 8*x - 4*g - 180. Suppose z = 3*z - x. Is 10 a factor of z?
True
Let h(y) = 23*y - 7. Does 27 divide h(5)?
True
Suppose 0 = -4*u + 16, 4*u + 4 = -3*m + 29. Suppose t + 39 = 4*t + m*h, 2*t = 3*h + 1. Is 4 a factor of t?
True
Let w(j) = 8*j**2 - j + 1. Is 25 a factor of w(-2)?
False
Let m(g) be the second derivative of -g**3/6 + 3*g**2 + 2*g. Let p be m(6). Is 20 a factor of 57*(-2 + (p - -3))?
False
Suppose -i - 72 = -4*i. Suppose 0 = -4*a - 0*w + w + 30, -4*w = 2*a - i. Suppose -2*f + f = -a. Is 5 a factor of f?
False
Suppose 2*y = -3*y + 315. Suppose y = -v + 2*v. Suppose -2*j + 38 = -n, 2*n + v = 5*j - 32. Is j a multiple of 7?
False
Let k(m) = m**3 - 4*m**2 - 2*m + 3. Let p be k(3). Is (45/p - -3)*-48 a multiple of 18?
True
Let w(n) = -1 + 4*n**2 + 0 + 6 - 18*n**2 - 2*n - n**3. Is 15 a factor of w(-14)?
False
Let y(z) = 2*z**2 - 2 - 6*z**2 + 7 - z**3. Let r = -4 - 0. Is 2 a factor of y(r)?
False
Let c(z) = -15*z**2 - 9*z - 25. Let l(b) = -8*b**2 - 4*b - 13. Let o(d) = -6*c(d) + 11*l(d). Is 19 a factor of o(-6)?
True
Suppose -o + 207 = -176. Suppose -p - 4*c = c - 65, 4*c = 5*p - o. Is 23 a factor of p?
False
Suppose 0 = -3*h - 0*h - 9. Is (-28)/h*(-12)/(-8) a multiple of 5?
False
Let c be -6 - (-3 + 0) - 74. Does 13 divide 4/8 + c/(-2)?
True
Let w be 1*((-3)/3 - -1). Let j be (w - -74)*1/2. Let b = -22 + j. Is b a multiple of 5?
True
Let m(b) = 25*b**2 - b + 3. Is m(1) a multiple of 21?
False
Suppose 2*h + h + 5*v - 435 = 0, -v + 597 = 4*h. Does 5 divide h?
True
Suppose 0 = 4*w - 5*c, 0*w - 2*c = -w. Suppose 4*z - i + 2*i - 10 = w, 0 = 4*z + 3*i - 14. Suppose 0 = -4*t - 5*p + 87, z*p + 4 = -2*p. Is 23 a factor of t?
True
Let l(c) = -c - 19. Let j be l(-13). Let b = j + 21. Does 13 divide b?
False
Suppose -4*f + s + 25 = -0*s, -2*f - 3*s + 23 = 0. Let b = f + -2. Suppose -t = b - 31. Does 11 divide t?
False
Let x = -11 + 32. Is 9 a factor of x?
False
Let h(w) be the second derivative of w**7/2520 