t**2 + 4*t - 10. Let u be w(6). Is 58/(-3)*(u - 7) a multiple of 10?
False
Let g = -143 - -147. Suppose -3*z - g*j + 92 = 0, -5*z - 5*j - 1 = -161. Is 5 a factor of z?
False
Is (-3)/(42/(-4)) - 9318/(-21) a multiple of 45?
False
Suppose 0 = -5*c - 4*g + 52, -4*g + 12 = -0*g. Let i(f) = -7*f**2 - f - 6. Let h(j) = -j**2 - j + 1. Let a(b) = 6*h(b) - i(b). Is a(c) a multiple of 17?
False
Suppose 109 = 12*v - 959. Does 5 divide v?
False
Let v(b) = -17*b - 45. Let z be v(-4). Let h = 8 + 32. Let o = h - z. Does 5 divide o?
False
Let m(h) = -3*h - 7. Let o be m(-4). Let g = o + -1. Let i(j) = 9*j + 3. Does 13 divide i(g)?
True
Suppose 3*r - 17 + 77 = 0. Let d = 24 + r. Suppose -d*j + 8*j - 2*z = 132, j = -2*z + 38. Does 17 divide j?
True
Let t(j) = j**3 + j + 1. Let s(q) = q**3 - 7*q**2 + 6*q. Let b be s(6). Let a be t(b). Let u(n) = 82*n**2 + 2*n - 1. Is 17 a factor of u(a)?
False
Let u(l) = -4*l**3 + 32*l**2 - 14*l + 12. Is 12 a factor of u(7)?
False
Let a(q) = -2*q. Let f be a(-1). Suppose 5*t - j = -f*j - 9, 5*t = -5*j - 5. Does 16 divide (-21 + 5)/(2/t)?
True
Let c(n) = 14*n**3 - 4*n + 7. Let i(s) = 9*s**3 - 3*s + 5. Let h(l) = -5*c(l) + 7*i(l). Suppose 9 = -12*p + 3*p. Is 8 a factor of h(p)?
True
Let h(b) = -77 - 28*b - 6*b - 27*b - 2*b. Is h(-6) a multiple of 59?
False
Suppose 10*k - 2740 = -5*q + 13*k, 3*k = -3*q + 1644. Is q a multiple of 73?
False
Let g(r) = -r + 3. Let u be g(-3). Suppose 0 = -3*c + 3, 0*x + 2*x = 5*c - 15. Let z = u - x. Is z a multiple of 11?
True
Let r(z) = -z**2 - 4*z. Is r(-3) a multiple of 3?
True
Suppose 0 = 3*d, 0 = -4*n + d + 522 + 38. Is n a multiple of 6?
False
Let l = 932 + -745. Is l a multiple of 2?
False
Let y = 98 - 44. Suppose -7*t + 13*t = y. Does 4 divide t?
False
Let b = -7 - -51. Let c = b + -19. Does 3 divide c?
False
Suppose -g - 1 + 4 = 0, -30 = -4*i - 2*g. Is 2 a factor of 8 - (-31)/1 - i/2?
True
Let q(g) = 2*g**3 + 4*g**2 - 5*g - 1. Let a(r) = -r**3 + 13*r**2 + 13*r + 17. Let f be a(14). Is q(f) a multiple of 61?
False
Let l be (-8)/(-16) + (-47)/(-2). Let m = l - 15. Let c(u) = -u**2 + 11*u - 2. Is c(m) a multiple of 8?
True
Suppose -4*o - 20 = -4*m, 7*m = 5*o + 3*m + 22. Let z be (26 + 8)/(1 + o). Let g = z + 62. Is g a multiple of 14?
True
Suppose -7 + 46 = -3*g. Let v = g + 17. Suppose -4*k - 107 = -2*n - 3, 4*n - v*k = 208. Is n a multiple of 33?
False
Let b(a) = 18*a + 50. Is b(-1) a multiple of 8?
True
Let x(g) = -3*g + 750. Is 30 a factor of x(-20)?
True
Is (-2)/3 + (3200/12)/4 even?
True
Suppose -19*t + 10 = -14*t. Suppose 3*f - 15 = -t*m, 4*m + 4*f - 25 = -f. Suppose -2*s = 2*s + 3*u - 316, m = -4*s + 5*u + 316. Is 17 a factor of s?
False
Let i(s) = -s. Let d(q) = -5*q + 15. Let x(m) = d(m) - 4*i(m). Let o be x(8). Let z = 20 + o. Does 9 divide z?
True
Let a(u) = u**3 - 6*u**2 - 4*u + 18. Let f be a(6). Let t(c) be the third derivative of c**5/20 + 3*c**4/8 + c**3 - c**2. Is t(f) a multiple of 18?
False
Is 11 a factor of (-3166)/(-12) - 2/48*-4?
True
Let r = 44 - -200. Is r a multiple of 4?
True
Suppose 3*m = 4*h + 5 - 13, 4*m + 9 = 5*h. Does 6 divide 56 + 18/(-3) + m?
True
Let b = 32 + -17. Let l(r) be the third derivative of r**6/120 - 7*r**5/30 - 5*r**4/8 + r**3/3 + 172*r**2. Is l(b) even?
True
Suppose -109*u + 146*u = 128982. Is u a multiple of 12?
False
Let h = -365 - -953. Is 12 a factor of h?
True
Let j(t) = -305*t + 471. Is 7 a factor of j(-5)?
False
Let m(l) = -14*l**3 + 5*l**2 - 3*l - 5. Does 50 divide m(-5)?
False
Suppose 10*d - 6*d = 4*v + 1268, -5*d = 4*v - 1630. Does 9 divide d?
False
Let o be (-8)/(-12)*45/6. Suppose -6 = -o*z - 1. Let c(v) = 15*v**2 + 2*v - 1. Does 16 divide c(z)?
True
Suppose -l + 1 = 13. Let b be (3 - l/(-3)) + -3. Is (4 - 1)/(b/(-12)) a multiple of 9?
True
Suppose 85 = 60*x - 275. Let k(a) = 9 + 3 - a**3 + 6*a + 6*a**2 + 2. Is 12 a factor of k(x)?
False
Let l(v) be the second derivative of v**4/12 - v**3/6 + 2*v**2 - 4*v. Let m be l(3). Is (12/10)/(m/475) a multiple of 19?
True
Let p(h) = h**3 - 8*h**2 + 12*h + 2. Let m be p(6). Does 24 divide (-648)/(-16) + (-3)/m?
False
Let x = -64 - -57. Let v = x - -11. Is v a multiple of 2?
True
Let v = 44 - 77. Is 8 a factor of (-2)/((v/(-120))/(-11))?
True
Suppose v - 42 = 57. Suppose -4*s = 5*a - 431, 2*a - 4*s + v = 3*a. Is a a multiple of 7?
False
Let l(f) be the second derivative of -11*f**3/6 - f**2 + f. Let h be l(-4). Let u = h - 18. Is u a multiple of 9?
False
Is 17 a factor of ((-3)/(-6) - 1) + (-4908)/(-24)?
True
Suppose -7*r + 20 = -3*r. Suppose 0 = r*t - 117 - 18. Is t/15*(-40)/(-6) a multiple of 3?
True
Suppose -2*t = -8, m - 15 = -0*m - 3*t. Suppose -2*g + g + 3 = -3*c, m*g = -5*c + 9. Suppose -4*v - 20 = c, 2*r = -2*r - 4*v + 76. Does 12 divide r?
True
Let p be 17/5 - (192/30 - 6). Suppose z + 2*y = 15, -p*y = -z + 4 - 14. Is 3 a factor of z?
False
Does 32 divide 1 + -10 - -13 - (-349 - -1)?
True
Let r(c) = 6*c**2 - 1. Let y be r(1). Suppose -4*n = -4, 106 = 2*m + y*n - 11. Does 8 divide -1 + -3 - m/(-2)?
True
Let h(g) = 8*g + 40. Is h(8) a multiple of 9?
False
Suppose 2*o - 461 = -3*p, 2*p - 5*p = 5*o - 1139. Let t = -152 + o. Is t a multiple of 11?
False
Let z(v) = -2*v + 20. Let x be z(10). Suppose 2*t + 18 - 96 = x. Does 7 divide t?
False
Suppose 521 + 19 = 4*t. Suppose -5*f - 277 - 198 = 0. Let q = t + f. Is 18 a factor of q?
False
Let s(g) = 53*g + 53. Does 53 divide s(5)?
True
Is -12 + (-25225)/(-7) + 8/(-14) a multiple of 57?
True
Let q be (9/5)/((-4)/(-60)). Suppose 0 = -4*a - 5*u + q, -5*a + 3*u + 3 + 3 = 0. Suppose -343 = -4*r - a*o + 6*o, -2*r = -o - 173. Is 23 a factor of r?
False
Let d = 294 + -202. Is d a multiple of 6?
False
Let k = 438 + 214. Is k a multiple of 47?
False
Suppose -3657 = -2*q + 715. Suppose 0 = 8*v + 794 - q. Is v a multiple of 58?
True
Let q be 2/6 + 34/6. Let p = 8 - 8. Suppose -2*h + t = -113, -q*t + t - 5 = p. Does 14 divide h?
True
Suppose 5*o = 0, o = 3*q + q - 196. Suppose -3*h = -4*p - 14 + 141, 4*h - 36 = -2*p. Let d = q - p. Is 7 a factor of d?
True
Let u(h) = -3*h**3 - 19*h**2 + 8*h - 30. Does 55 divide u(-10)?
True
Let c be ((-6)/4 - (2 - 6))*58. Let b = 248 - c. Is 12 a factor of b?
False
Let d(f) = 11*f**2 + 12*f + 357. Is d(-15) a multiple of 140?
False
Suppose -4530 = -10*j - 1190. Suppose -y - 295 = -4*q, -2*y + j - 48 = 4*q. Is q a multiple of 14?
False
Let u be -1*(-86)/(-2 + 3). Let v = -58 + u. Is v a multiple of 28?
True
Suppose 0 = -2*c + 158 - 40. Is 7 a factor of c?
False
Let o(m) = m**2 - 48*m - 235. Is o(57) a multiple of 7?
False
Does 2 divide (-726)/(-21) + (-32)/56?
True
Let c = -10 - -7. Let y be (-28 - c)*(-2)/5. Let z = y - -6. Is z a multiple of 10?
False
Let o be (1 + -2 + 0)*-53. Suppose o = f - 123. Does 44 divide f?
True
Suppose -5*t = -4*v - 162, -2*t = -3*v - 28 - 41. Let n(f) = 6*f - 54. Let q be n(9). Suppose 3*l - t - 6 = q. Is 3 a factor of l?
True
Is 5 a factor of ((-60)/16)/((-18)/528)?
True
Let h(u) = -2*u + 17. Let r be h(8). Does 6 divide 574/21 + r/(-3)?
False
Let n(o) = -o - 13. Let h be n(-13). Let s(t) = 7*t**2 + h - t + 16*t**2 - 1. Is s(-2) a multiple of 31?
True
Suppose 2096 = 5*i + 2*r, -5*i = -5*r + 2*r - 2106. Is i a multiple of 12?
True
Suppose 170 + 65 = 5*t - 5*m, -3*t = -4*m - 138. Is 25 a factor of t?
True
Suppose 5*o + 5*i - 1215 = 0, 2*o - 5*i = 3*o - 247. Does 4 divide o?
False
Suppose 0 = -4*u - 3*g + 304 + 11, -3*g = -u + 60. Let m = u + -31. Let s = -19 + m. Is s a multiple of 11?
False
Suppose 5*v + 193 = o + o, -311 = -4*o - 5*v. Suppose -2*r + o + 72 = 4*n, 0 = -3*r - 3*n + 243. Is r a multiple of 14?
True
Suppose 0 = 4*r - 4*k + 7*k - 555, 141 = r + 3*k. Is 23 a factor of r?
True
Let d(h) = -3*h**2 + 5*h - 1 - h**3 - 2*h**2 - 10*h. Let c be d(-4). Suppose 0 = i + 2*t - 17, -2*t - c + 38 = 3*i. Does 9 divide i?
True
Let p be (18/12)/(-2 - 385/(-192)). Let t = p - 152. Is t a multiple of 39?
False
Let n(v) = 2*v + 6. Let o be n(-3). Suppose 8*m - 27 = 3*m + h, o = 5*m - 3*h - 21. Is m a multiple of 3?
True
Let c(b) = -2*b**2 - 24*b - 2. Let w be c(-12). Let s be w + 9 + (-5)/5. Suppose -310 = x - s*x. Is 15 a factor of x?
False
Let s(o) = -o**2 + 21*o - 27. Is s(15) a multiple of 7?
True
Let c = -84 + 60. Is 13 a factor of (-1572)/c - 2/4?
True
Let b = -37 + 47. Is 5 a factor of ((16*5)/4