et n be r(8). Suppose -3*j + 0*z + 104 = 4*z, n*z = -5*j + 188. Is 5 a factor of j?
True
Suppose -v = 5*v + 24. Is 23 a factor of ((-1)/v)/(3/2364)?
False
Is (69/4)/(17/952) a multiple of 12?
False
Suppose -3*q + 33 = -y - 35, 0 = -5*y - 25. Suppose 2*f + 2*u - 6 = -0, -5*f - 2*u = -q. Is 2 a factor of f?
False
Suppose 3*a + 26 = -10. Let p = a - -5. Does 6 divide -2 - -17 - (p + 4)?
True
Suppose -2*i - 2*w + 147 + 33 = 0, -4*i + 364 = 2*w. Let g = -67 + i. Is 7 a factor of g?
False
Let v(s) = -s**3 + 8*s**2 - 5*s + 8. Let w be (-7)/((-2)/(-1 - -3)). Let o be v(w). Let d = o + -9. Is d a multiple of 5?
False
Let y(s) = -s**3 - 6*s**2 - 4*s + 9. Let l(z) = -5*z**2 - 2*z - 3. Let d be l(-1). Does 16 divide y(d)?
False
Let n be 0/((1 + 3)/2). Suppose -2*d + 0*d = n. Suppose p - 2*b = 2*b - 7, -3*b + 9 = d. Is 5 a factor of p?
True
Let s(t) = t**2 + 5*t + 7. Let u(k) = -k + 13. Let r be u(-12). Suppose -4*g - g = r. Is s(g) a multiple of 4?
False
Let b = -72 - -129. Suppose -5*a + b + 138 = 0. Is 39 a factor of a?
True
Suppose 3*m - 243 = -5*g, g - 203 = -4*m + 121. Is 6 a factor of m?
False
Let b(q) = -21*q - 36. Let u(n) = -4*n + 9. Let y be u(5). Is 24 a factor of b(y)?
False
Is 170*(-20)/(-250)*(-255)/(-2) a multiple of 17?
True
Let q(a) = a. Let i(n) = 5*n + 10. Let s(l) = i(l) + 4*q(l). Let y be s(7). Suppose y = -5*m + 333. Is m a multiple of 13?
True
Let o = 19 - 140. Let b = -58 - o. Is b a multiple of 21?
True
Let m(c) = 25*c - 6. Let h be m(4). Let n = -136 - -82. Let l = n + h. Is 11 a factor of l?
False
Suppose 4*j - 3258 = q - 2*q, 2436 = 3*j - 3*q. Does 42 divide j?
False
Let d(m) = 288*m - 301. Is 50 a factor of d(7)?
False
Suppose 7*d + 3*k = 4*d + 321, 4*k = -2*d + 224. Is 4 a factor of d?
False
Is 29 a factor of -3*(12991/(-33) + 7)?
True
Suppose 3*g = -4*p + 181, -2*p - 3*p = -g - 212. Let i(q) = -q**2 - 4*q + 12. Let u be i(-6). Let v = u + p. Is v a multiple of 25?
False
Suppose -5*o = -0*s - 4*s - 418, -89 = -o - s. Is o a multiple of 11?
False
Let t be (10/2)/(32/(-288)). Let j(c) = c**2 - 4*c - 1. Let g be j(2). Let z = g - t. Is 16 a factor of z?
False
Suppose 26 = 5*q + 36. Is 32 a factor of q/(-7)*14 + 126 + 1?
False
Let h = -23 - -37. Suppose 16*z = h*z + 62. Is z a multiple of 7?
False
Let d(o) = -9 - o**2 - 6*o + 1 - 7*o. Let a be d(-6). Let x = 18 + a. Does 18 divide x?
False
Let a = 9 + -14. Let h be (-1 - -1)/(a - -3). Suppose 2*y + i = 4*i + 59, y + i - 27 = h. Does 22 divide y?
False
Let z = -236 - -237. Suppose 4*k = 5*k - 5. Suppose -k*n + 155 = 5*w - 0*w, -z = -n + 5*w. Does 26 divide n?
True
Is 160 + (-1 - (-6 + 11)) a multiple of 4?
False
Let p(n) = -64*n**3 + n + 1. Let r be 5 + 5 + (-15)/5. Suppose l = -6*l - r. Is 32 a factor of p(l)?
True
Let n(z) = z**2 + 19*z + 3. Let i be n(-19). Suppose i*x - 19 = 41. Is 5 a factor of x?
True
Suppose -3*q - 494 = 4*p, 2*p + 2*q + 614 = -3*p. Does 5 divide 1/(-4 - p/30)?
True
Suppose -4*m + 57 = -3. Let b = -17 + m. Is 27 a factor of 4*b/(-12)*81?
True
Let c(j) = 84*j + 3924. Is c(0) a multiple of 36?
True
Suppose d - 12 = -7. Is 9 a factor of 16/20 - (-176)/d?
True
Let m(g) = -g**2 + 10*g + 15. Let z be m(11). Suppose 0 = -q + z*q - 2*u - 435, u - 3 = 0. Is q a multiple of 43?
False
Suppose 4*t + k - 64 = 5*k, -6 = -t - k. Suppose -c + 3*w - 9 = -4*c, 0 = -3*c - w + t. Suppose a - 5*j = 53, 3*a = j - c*j + 69. Does 7 divide a?
True
Let g(v) be the third derivative of -v**5/20 + v**4/6 - 7*v**3/6 + 14*v**2. Let h(t) = 6*t**2 - 9*t + 14. Let y(i) = 5*g(i) + 3*h(i). Does 30 divide y(-5)?
False
Let n be 25/(-5) + 3 + 10. Suppose -n*j - 2352 = -24*j. Does 36 divide j?
False
Suppose 0 = 4*f - 3252 - 22640. Is 84 a factor of f?
False
Let t = -110 + 608. Does 83 divide t?
True
Is 40*((-1 - -3) + 32) a multiple of 40?
True
Let y(p) = p**3 - 7*p**2 - 8*p - 3. Let h be y(8). Let v = h + 80. Does 11 divide v?
True
Suppose 2*t + 2 = -6. Let v(u) = -u**2 - 3*u + 3. Let a be v(t). Does 5 divide ((-27)/(-18))/(a/(-8))?
False
Let r(d) = -3*d + 15 + 19*d**2 - 26 + d**3 + 21. Is r(-19) a multiple of 8?
False
Is (-6)/93 + 126742/217 a multiple of 42?
False
Let n(s) = -s**2 - 12*s + 1. Let w(b) = b + 3. Let c be w(6). Suppose 3*t - c = 0, -5*g + 3*t + 11 = -7*g. Does 15 divide n(g)?
False
Let l(s) = -s**2 - 88*s - 153. Is 15 a factor of l(-41)?
False
Is 426 + (-2 - 4) - 4 a multiple of 63?
False
Let w = -22 + 9. Let j = -8 - w. Suppose j*q - 46 = 4*q. Is 23 a factor of q?
True
Suppose 2*b + 2*n = -2*n + 1292, 4*b = -4*n + 2604. Is b a multiple of 15?
False
Let k = -3083 + 5456. Does 47 divide k?
False
Suppose 4*j - 288 = -3*d, 6*d + 16 = 2*d. Is 60 a factor of j?
False
Let b be -3 - (-54)/(-3) - -2. Let r = -13 - b. Is 5 a factor of r?
False
Suppose c - 3*d + 12 = 0, -3*c + 4*d + d - 28 = 0. Let i be 15/c*40/(-25). Let o(t) = t**3 + t**2 + 4*t - 1. Does 20 divide o(i)?
False
Suppose -19*q + 1990 + 195 = 0. Is 23 a factor of q?
True
Let i = 537 + 349. Is i a multiple of 5?
False
Let u = 67 - -137. Is 34 a factor of u?
True
Let q be (1 - 1)/(-5 + (6 - 3)). Is q - 0 - (-88 + -10) a multiple of 14?
True
Let l(z) = -z**3 + 10*z**2 + 10*z + 16. Let m be l(11). Suppose 2*r + m*y = 2 + 154, -4*y + 152 = 2*r. Is r a multiple of 17?
True
Let z be 1 + (0 - 3 - 0). Let f(n) = -n**3 + 2*n**3 + 0*n + 2*n - 1 - 4*n**2 + 8*n**2. Is f(z) even?
False
Let b(n) be the third derivative of -n**5/30 - n**4/8 + 11*n**3/6 + 6*n**2. Let f(v) = -2*v**2 - 4*v + 10. Let x(o) = 4*b(o) - 5*f(o). Is 18 a factor of x(-6)?
True
Let s(c) = -23*c - 53. Let a(v) be the first derivative of -11*v**2/2 - 26*v + 1. Let m(q) = 13*a(q) - 6*s(q). Does 12 divide m(-16)?
True
Let g be 6/3 - (2 - (2 + 0)). Suppose 8*l - g*x - 282 = 4*l, 75 = l + x. Does 18 divide l?
True
Let m = 296 - 86. Is m a multiple of 15?
True
Let r = 124 - 59. Is 9 a factor of r?
False
Suppose -14*z + 3202 = -11302. Does 28 divide z?
True
Let n(d) = -d**3 - 12*d**2 + 5. Let v be n(-12). Let q = v - -3. Let g(r) = 3*r. Is g(q) a multiple of 24?
True
Let b(m) = -m**3 + 12*m**2 - 16*m - 13. Does 62 divide b(-6)?
False
Let x(t) = -2*t**3 + 35*t**2 - 6*t - 14. Does 28 divide x(17)?
False
Let q = -36 + 36. Suppose -2*s - 10 = q, 8*a = 3*a - s + 355. Does 12 divide a?
True
Let g be 2 - (8/2 + 4). Let c = 10 + g. Suppose -c*i - 16 = -6*i. Is 2 a factor of i?
True
Suppose 54*v - 58*v = -1376. Is v a multiple of 43?
True
Let k be ((-5)/((-50)/(-20)))/((-1)/1). Let i(j) = 22*j**2 - 5*j - 2. Let n be i(4). Suppose -k*a + n = a. Does 33 divide a?
False
Suppose 16 = 7*c + 2. Suppose 0 = n - 3*a - 0*a - 56, -144 = -3*n + 3*a. Does 5 divide c/(-4) + n/8?
True
Let h(k) be the first derivative of 25*k**3/3 - 3*k**2 + 3*k - 18. Does 13 divide h(2)?
True
Let f = -30 + -154. Let u = -107 - f. Is 29 a factor of u?
False
Let i = -9 + 20. Let k(w) = 8 + 3*w + i + 23. Does 14 divide k(0)?
True
Suppose 0 = 13*s - 12*s + 143. Is 21 a factor of 0/((9/(-3))/(-3)) - s?
False
Suppose 0 = 3*a + 11 + 13. Let z(s) be the third derivative of s**5/60 + 7*s**4/24 + s**3/3 + s**2. Is z(a) even?
True
Let p(n) be the second derivative of 3*n**5/10 - n**4/3 + n**3/3 + n**2 + 14*n. Does 17 divide p(2)?
False
Suppose -1518*o + 21460 = -1508*o. Is o a multiple of 66?
False
Suppose 4*v + 24 = 2*y + 3*y, -v + 4*y = 17. Is 24 a factor of 35*(54/40 + v/(-4))?
False
Suppose -4*f + 0 + 16 = 0. Let z = f + -7. Let q(c) = -2*c**3 - 4*c**2 - 2*c - 2. Does 4 divide q(z)?
False
Let c(n) = -4*n + 6. Suppose 3*t - 269 = -5*b - t, -t = 3*b - 160. Suppose 0 = 5*v + b - 8. Is c(v) a multiple of 21?
True
Let t = -92 + 131. Is 3 a factor of t?
True
Let c(m) = m**2 - 14*m. Let y be c(14). Suppose y = -5*l + 2793 - 563. Is 7 a factor of 14/63 + l/18?
False
Suppose -19*j = -17*j - 114. Is 2 a factor of j + -59 - 1*(1 + -22)?
False
Suppose 5*x - 2*j = 14088, -j = -2*x + 4265 + 1371. Is 51 a factor of x?
False
Let d(u) = 33*u**2 + 5*u - 37. Let g(v) = 8*v**2 + v - 9. Let r(s) = -2*d(s) + 9*g(s). Does 29 divide r(6)?
True
Let p(i) = 0 - 3*i - 3 + 4. Let k be p(-1). Does 15 divide (-24)/(k - 66/15)?
True
Let n be (-9)/27 + (-26)/(-6). Suppose a - n = 0, -2*q + 59 = 3*a - 9. Does 14 divide q?
True
Let z = -22 + 24. Does 22 divide 168/z + (2 - 2 - -1)?
False
Let m be (3 - 0) + 2 + -3. Let b be m/4 - 4/8. Suppose b = -5*l - 