et m = 33 - 27. Let t(g) = 5*g - 3*g - m - 6*g + 5*g. Does 4 divide t(10)?
True
Let o be (1 + -8)*1 + 3. Let p be (-1 + o)/(-5) + -3. Is 3 a factor of -1*p/((-4)/(-22))?
False
Suppose 0 = -4*x + 8, q - 4*x - 6 = -2*x. Let n(g) = q - 3*g**2 + 4*g**2 + 2*g - 12 + 6. Does 13 divide n(5)?
True
Let c(r) = -4*r**2 + r. Let o be c(-8). Let f = -105 - o. Suppose 8*a - 177 = f. Does 7 divide a?
True
Let m(q) = 4*q**2 - 4*q + 6. Let v be m(5). Suppose 4*i + r - 152 = 0, 5*i - 3*r = i + 152. Let s = v - i. Does 11 divide s?
False
Let i be (-1)/(-4)*(-1 + 1). Let b be 0/10 + (-3 - i). Is 17 a factor of (-152)/b + (-4)/6?
False
Suppose 3*x = -4*i + 1009, 19*i = -2*x + 20*i + 669. Does 5 divide x?
True
Let o(c) = 2*c - 31. Let s(x) = -1. Let q(m) = -o(m) + 4*s(m). Is q(9) a multiple of 3?
True
Suppose -3*s + 93 = -5*j - 76, -232 = -4*s + 5*j. Is 9 a factor of s?
True
Suppose -5*p - 12*p = -33643. Is p a multiple of 7?
False
Does 4 divide 973/6 - 3 - 5/30?
False
Suppose 0 = 4*v + 3 + 1, 0 = -4*p - v - 1. Suppose 2 = 2*h, 4 = -q - p*q + 4*h. Suppose q = -4*z - z - 20, 4*x + z = 104. Does 9 divide x?
True
Suppose y + 22 = -y. Let k = -18 - y. Is 25 a factor of 48 - k/((-7)/(-2))?
True
Let s = -35 + 37. Is 256/6*(15/s - 6) a multiple of 16?
True
Suppose -5*c + 8*w = 7*w - 658, 4*c - 2*w - 524 = 0. Is 6 a factor of c?
True
Suppose 3*z - 14 = -2. Let p(x) = -x**3 + 6*x**2 - 6*x - 4. Let j be p(z). Suppose -j*g + 7 + 9 = 0. Is 2 a factor of g?
True
Let f = 2 + 6. Let o be (-165)/2*(f + -10). Let a = o - 56. Does 15 divide a?
False
Let c(j) be the first derivative of 7*j**2/2 - 9*j + 45. Let g = -4 - -16. Does 25 divide c(g)?
True
Suppose -4*x + 4*u + 348 = 0, 5*x - 160 = 3*x - 5*u. Is x a multiple of 16?
False
Let n(m) = 2*m**2 - 8*m + 13. Let c(r) = 3*r**2 - 12*r + 20. Let i(b) = 5*c(b) - 7*n(b). Let x = 647 - 642. Is i(x) a multiple of 14?
True
Let z(g) = 384*g - 66. Is 15 a factor of z(4)?
True
Suppose 113*o = 123*o - 3150. Is 3 a factor of o?
True
Let z(f) = -3*f - 6 + f + 3. Is z(-6) a multiple of 3?
True
Let k be ((-52)/6)/(4/6). Let w(m) = m**3 + 13*m**2 - 4*m - 18. Does 17 divide w(k)?
True
Let f(t) be the third derivative of -t**4/12 + t**3/3 - 10*t**2. Let b be f(0). Let u(v) = v**3 - v**2 - 4*v + 7. Is 3 a factor of u(b)?
True
Let x(g) = 49*g**2 - 3*g - 10. Let z be x(-5). Suppose 4*v + 2*v - z = 0. Is 49 a factor of v?
False
Suppose -5*d = -i + 2, 0*d + 2*i - 4 = 4*d. Let b(s) = 0*s**2 + 4*s**2 - 2*s**2 - s**2 + 27. Is b(d) a multiple of 15?
False
Suppose -3031 = -5*y + 3989. Is 27 a factor of y?
True
Let s(a) = -a**2 - 5*a - 23. Let n be s(-11). Let w = n + 290. Does 39 divide w?
False
Let a(u) = 11*u**2 + u + 1. Let z(n) = 2*n**2 - n - 1. Let s be z(-1). Let w be a(s). Suppose -2*g = -5*d + 267, -3*g + 130 + w = 3*d. Is 16 a factor of d?
False
Suppose -221*r = -250*r + 25810. Does 20 divide r?
False
Let g(u) = 5*u**2 + 47*u + 13. Let o(k) be the second derivative of -k**4/6 - 8*k**3/3 - 2*k**2 + 4*k. Let w(p) = 3*g(p) + 8*o(p). Does 21 divide w(8)?
False
Suppose -7*c + 225 = -2*c. Let v = c - 3. Is 14 a factor of v?
True
Let n(v) = -v**3 + 5*v**2 - 6*v + 2. Let q be n(4). Let m be 5/6 + q/(-36). Let d = 63 + m. Is 18 a factor of d?
False
Let y(g) = 24*g**3 + 12*g**2 - 25*g. Does 9 divide y(2)?
False
Let n(u) = 192*u - 4. Is 42 a factor of n(1)?
False
Let v(n) = -n**3 + 16*n**2 + 2*n - 23. Let l be v(16). Suppose 60 = 3*c + l. Is 6 a factor of c?
False
Suppose 38*c = -2699 + 10185. Does 6 divide c?
False
Suppose o + 4*p = -64, 134 = -5*o - 5*p - 216. Let i = -40 - o. Is i a multiple of 14?
False
Let p = -68 + 62. Is (p/(-8))/((-4)/(-480)) a multiple of 10?
True
Let v(s) = -2*s**3 + 5*s**2 - 3*s + 11. Let g(f) = 3*f**3 - 8*f**2 + 5*f - 17. Let u(m) = -5*g(m) - 8*v(m). Let o be u(-2). Does 5 divide (o/15)/((-5)/125)?
True
Let z(m) = 130*m. Let y be z(1). Suppose y = -5*o - 4*r + 467, 5*r = 3*o - 180. Suppose -o = 2*v - 173. Is 27 a factor of v?
True
Suppose 6*p + 78 = 318. Is p*2 - (-1 + 6) a multiple of 15?
True
Let t be ((63/4)/(-3))/(3/(-40)). Suppose -t = 3*i - 5*i. Is i a multiple of 35?
True
Suppose 1 = -11*g + 12*g. Is 8 a factor of (2 + -26)/(-1 - g/(-4))?
True
Let s(h) = -3*h + 35. Let u be s(10). Suppose u*p + 3*t - 243 = 0, -3*t = -0 - 3. Is 16 a factor of p?
True
Does 15 divide (3/3)/(13/481)?
False
Let a(r) = 34 - 9*r + 4 - 14*r + r. Is 38 a factor of a(-7)?
False
Is 9 a factor of 238/(-21)*-33 + 4?
True
Is 72 a factor of -5 + -15*(-435)/9?
True
Let x be -1 - 6*(-4)/8. Suppose -5*r - 15 = 0, x*r - 6 = -2*y + 158. Is 17 a factor of y?
True
Let h(s) = -2*s**3 - 7*s**2 - 4*s - 3. Let v be h(-3). Let d = 15 + v. Is d a multiple of 3?
True
Suppose v - 3*f = -0*v + 18, 0 = 3*v - 4*f - 39. Suppose -3*u + v = -5*z, 5*u - z - 15 = -5*z. Suppose 6*p + 12 = u*j + 4*p, j = 2*p + 4. Is j even?
True
Let v be ((-9)/(-21))/((-1)/(-7)) - -1. Let b(h) = -2*h + 24. Is b(v) a multiple of 3?
False
Suppose 24 = 2*l - 0*l. Suppose -q + l - 3 = 0. Let o = 38 - q. Is 6 a factor of o?
False
Let r = -1295 + 2166. Is 22 a factor of r?
False
Let r(c) = c**2 + 17*c - 28. Let o be r(-19). Does 16 divide (0 - 3) + 350/o?
True
Suppose 6*i = -42 + 210. Is i a multiple of 22?
False
Suppose 0 = 6*i - 11*i + 1365. Is i a multiple of 41?
False
Let i = -53 + 111. Let h = 78 - i. Does 4 divide h?
True
Let u = -5 - -7. Suppose u*z = -z + 276. Let s = -49 + z. Is s a multiple of 12?
False
Suppose 4*h - 4668 = 2*q, -4*h - 2*q = 443 - 5119. Is 19 a factor of h?
False
Let k(t) = 1397*t**2 - 4*t - 1. Is 14 a factor of k(-1)?
True
Let z(l) = -l**3 + 5*l**2 + 6*l + 6. Let r be z(6). Suppose r*u + 2*u = 880. Is 16 a factor of u?
False
Suppose -65*t + 54*t = -1672. Is t a multiple of 38?
True
Let o = -8 - -5. Let s be 9/27 + (-11)/o. Suppose -s*c = -c - 54. Does 6 divide c?
True
Suppose 420 = 11*w + 10*w. Is w even?
True
Is (-7 + 18 + -10)*965 a multiple of 4?
False
Let n = 44 - 40. Suppose 0 = -g - 3*g - 3*k + 36, -n*k - 2 = -3*g. Is 2 a factor of g?
True
Let f = 669 - 339. Let b be ((-2)/(-6))/(11/f). Suppose u - 70 = -b. Is 17 a factor of u?
False
Let g(o) = o**2 + 13*o - 19. Let x be g(-13). Let c = 11 - x. Suppose -5*i - 27 = -n, 2*i = -n + 3*n - c. Is 3 a factor of n?
True
Let g be 2/(-3 - -9)*48. Let z be 4/2 + g/8. Does 19 divide -4 + 1 + (45 - z)?
True
Let r(v) = -4 + 2*v - 1 - 8 - 3*v. Let x be r(-14). Is 6 a factor of (-1 - -8)/(x + 0)?
False
Suppose -o = -3*b + 44, -5*o + 23 = 3. Suppose 5*q - b = 3*q. Let h = 15 - q. Is 5 a factor of h?
False
Suppose -5*n + 4*g + 4 = 0, 0 = -2*n + g - 4*g + 20. Suppose -2*h - 5 = 3*o, o = 3*h + 6 - n. Let v = h - -9. Is v a multiple of 3?
False
Let g be 273/2 - (5 + (-55)/10). Let z = g + -17. Does 18 divide z?
False
Is 15 a factor of 1/(-5) - ((-2478)/(-5))/(-3)?
True
Let u = -7 - -9. Suppose -u*q = 2*q - 16. Suppose -q*i = -114 - 70. Is 17 a factor of i?
False
Suppose -q + 1133 = 3*u, -2*u + q + 298 = -454. Does 61 divide u?
False
Suppose 0 = 15*b - 12*b + 21. Let u = 25 + b. Is 18 a factor of u?
True
Let s be (-2)/6 - (-326)/6. Let g be 3/(12 - 21 - -10). Suppose -p = -g*p + s. Is p a multiple of 27?
True
Let v(i) = -i**2 - 6*i - 5. Let f = 1 + -4. Let a be v(f). Suppose a*g - 91 = -3*g. Does 13 divide g?
True
Suppose 0*j = -3*u - j + 44, 2*j + 16 = 2*u. Let m = u + -3. Let t = m - 0. Is t a multiple of 2?
True
Suppose -1262 = -11*b + 14952. Does 40 divide b?
False
Let o(j) = -j**2 + 7*j - 7. Let c be o(5). Suppose -c*t + 6 = 24. Let k = t + 13. Is k a multiple of 4?
False
Suppose -2*z + 86 = 5*j, -j - 32 - 4 = -z. Let m be -7 + (-2)/(-2) + 92. Let a = m - z. Is a a multiple of 21?
False
Let p(d) = 5*d - 8. Suppose 5*v + 4*j + 11 = 0, 0*j = -2*j - 8. Let t be (6/(-12))/(v/(-12)). Is p(t) a multiple of 10?
False
Does 101 divide -236*(-4 - 0)*(0 - -2)?
False
Suppose 16*q = -17*q + 75306. Does 68 divide q?
False
Let b(q) = -4*q**3 + 3*q**2. Suppose 0 = -v + 5*w - 23, -3 = -4*v + w - 0. Let m be b(v). Let r = m + 38. Does 18 divide r?
True
Let c(t) = 4*t**3 + t**2 - 3*t - 1. Let a be c(-2). Let f = 33 - -10. Let l = a + f. Is 10 a factor of l?
True
Suppose 5*n = -4*p + 30, -3*p + 0*n + 9 = -3*n. Suppose 4*i - 5*v = -42 - 79, -5*i - 145 = -p*v. Is (-618)/i - (-1)/4 a multiple of 13?
True
Suppose 2*v - j - 175 = 0, 3*j = -3*v + 5*v - 173. Is