)*k/1. Let i(f) = 8*f**2 + f - 6. Does 22 divide i(h)?
False
Suppose 5*j + 7 + 2 = -3*g, -j - 3 = 0. Is (-2 + 5)*(0 + g) a multiple of 4?
False
Suppose -3*k + 12 + 84 = 0. Suppose -k*t + 728 = -25*t. Is t a multiple of 13?
True
Is (-24)/(-2)*11484/144 a multiple of 33?
True
Suppose -5*q - 3*n = -64, 0 = 3*n - 9. Let c = -11 + q. Suppose c = -2*g - 2*g + 100. Is g a multiple of 19?
False
Let z = 115 + 208. Does 76 divide z?
False
Let m = -863 + 1591. Is 26 a factor of m?
True
Let q(s) = 4*s**3 - 3*s**2 - 4*s + 4. Let o be q(3). Suppose z - 83 - o = 0. Is z a multiple of 39?
True
Let o(s) = 98*s**3 - 97*s**3 + 2*s - 2*s**2 + 11*s**2 - 2 - 2. Is o(-8) a multiple of 20?
False
Suppose 0 = 2*u + 16 + 4. Let z(p) = -p + 13. Let o be z(u). Let b = o - 16. Is b even?
False
Let k(b) = 3*b**2 + 4*b + 4*b + 0*b - 5. Is 15 a factor of k(-6)?
False
Let h(j) = j**3 - 13*j**2 + 151*j + 10. Is 3 a factor of h(7)?
False
Let c(n) = 6*n**2 - 16*n + 4. Let q = -21 - -29. Let g be c(q). Suppose 80 = -4*y - 3*o + g, 3*y + o - 130 = 0. Is y a multiple of 14?
True
Suppose 0 = -n + 4*c - 2*c + 52, -4*n + 2*c = -184. Let o be (4/6)/(n/(-66)). Let d(w) = -69*w**3 - w**2 - 2*w - 2. Is 11 a factor of d(o)?
False
Suppose 0 = -4*d - 0*d + 616. Let m = 227 - d. Let l = m + -40. Is l a multiple of 11?
True
Let b(z) = -z**3 - 5*z**2 - 3*z + 1. Suppose 37*j = 42*j + 25. Is b(j) a multiple of 3?
False
Suppose -1380 = 170*f - 176*f. Does 23 divide f?
True
Let z(c) = 2230*c - 21. Does 17 divide z(1)?
False
Let x = -67 + 42. Let d be ((-18)/(-30))/((-1)/x). Let w(s) = -s**2 + 23*s - 19. Is 23 a factor of w(d)?
False
Let y(o) = -2*o + 18. Let h be y(0). Let x = 19 - h. Is (1/1 + 4)/x a multiple of 5?
True
Suppose -4*u + 11429 = 2*p - 2941, 14355 = 4*u - p. Is 49 a factor of u?
False
Suppose 3*k = -j + 174, 9 = -5*k - 1. Is j a multiple of 10?
True
Suppose 5*z = -3*a - 8, 4*a + 2 + 6 = -4*z. Let t = 63 + z. Does 31 divide t?
True
Let l(x) = 2*x**2 + 10*x - 8. Let y be l(-6). Suppose -y*v = -2*j - j + 303, 3*j + 2*v = 303. Is 28 a factor of j?
False
Let f be ((-9)/(-18))/((-2)/(-8)). Suppose 0 = 2*j - 3 + 5, 57 = f*n - 3*j. Suppose -d - 2*c = -5*c - n, 4*d - 40 = -5*c. Does 7 divide d?
False
Does 19 divide (-6)/4 + (-779)/(-38)?
True
Is 13 a factor of (-3 - (-21)/9)*(-624 - 0)?
True
Let j be (-3320)/(-320) + (-6)/16. Let t = 62 - 20. Suppose j - t = -2*n. Does 16 divide n?
True
Let c = 30 - 26. Suppose 0 = c*i + i - 205. Does 14 divide i?
False
Let i = 55 - 54. Is 3 a factor of (-1)/i - (3 - 10)*1?
True
Let p be 208 + 0 + 3 - 0. Suppose -3*t + p = 3*a + a, -3*a = -2*t + 118. Suppose -t = 5*g - 170. Does 9 divide g?
False
Let x = 69 + -57. Suppose 0 = -6*y + x*y - 1158. Is 12 a factor of y?
False
Let b = 161 + -102. Suppose 5*g = t - 50, b - 1 = t - g. Does 10 divide t?
True
Let l = 193 - 121. Does 4 divide l?
True
Suppose 0 = 3*f + 2*b, 2*f + b - 4*b + 13 = 0. Let o be f + (1 - 0) - -1. Suppose -134 = -2*l - o*l. Does 20 divide l?
False
Let l(h) = -h - 4. Let x be l(-6). Let u be (-2)/x - (1 + -1). Is u/((-3)/36) - 2 a multiple of 5?
True
Let t = -98 - -76. Let i = 22 - t. Does 7 divide i?
False
Let c(l) = 2*l**2 + 2*l. Let p be c(-2). Suppose -2*d = p*z - 352, 2*d = -2*d - 2*z + 710. Is 6 a factor of (-2)/(-10) - d/(-10)?
True
Suppose -4*u = -0 - 8. Suppose -u*b + 19 = 5*i, -b + 5*i = 9 + 4. Suppose -b*t + 135 = 3*y - t, -2*y - 3*t = -97. Does 22 divide y?
True
Let j(w) = 6*w - 2*w - 2*w + 16. Let z be j(0). Suppose -3*v + v = -z. Is 8 a factor of v?
True
Let w(g) = 52*g + 15. Is 16 a factor of w(10)?
False
Let m = 146 - -382. Does 8 divide m?
True
Suppose 10 = -2*r, 3*u + 5*r - 9*r - 761 = 0. Does 12 divide u?
False
Suppose 0 = 2*a + 5*a - 4291. Suppose -5*c + 57 = s - a, -3*c + 414 = 3*s. Suppose 151 = 4*u - c. Is 16 a factor of u?
False
Suppose -n + 4*w = -86, -6*n + 2*w = -2*n - 414. Let y = n + -11. Suppose y = 4*f - 29. Does 16 divide f?
False
Let j = -16 - -18. Suppose -b - 6 = -j*b - 5*k, -30 = -2*b - 4*k. Does 3 divide b?
True
Let d = 57 + -52. Suppose h = -b + 16, 0 = 3*h + d + 1. Is b even?
True
Suppose -f + 0*k - 3*k = -15, -2*f = 5*k - 26. Suppose 652 = f*w + z - 3*z, z = 2*w - 436. Suppose -3*c = -4*j + 175, 5*j - w = -0*j + 5*c. Is 14 a factor of j?
False
Let u(r) = 31*r**2 - 3*r + 30. Is 6 a factor of u(-6)?
True
Let l(m) = -7*m + 3. Let d(j) = 8*j - 2. Let k(y) = -5*d(y) - 4*l(y). Does 20 divide k(-8)?
False
Let s(t) = -14*t - 175*t**3 - 4*t**2 - 4*t**2 + 3*t**2 + 176*t**3. Does 8 divide s(8)?
True
Suppose -2*y + 27 = 5*r, 6*y - 3*y = -2*r + 13. Suppose r*t = -2*u + 67, 4*t - 73 + 9 = -2*u. Is u a multiple of 20?
False
Let u(d) be the third derivative of 0*d - 1/24*d**4 + 0 + 0*d**3 - 6*d**2 + 1/30*d**5. Does 15 divide u(3)?
True
Let r = -143 - -429. Is r a multiple of 26?
True
Suppose -8*t + 5*t + 2*y + 59 = 0, 0 = t - 4*y - 3. Suppose 4*o = t - 3. Suppose 17 = o*n - 153. Is n a multiple of 13?
False
Suppose 0 = -l + 4, 3*h + 5*l = 4*l + 553. Does 21 divide h?
False
Let n = -100 + 228. Let x = -105 + n. Does 12 divide x?
False
Does 36 divide 3 + (1 - (8 + -652))?
True
Suppose 2*h = 3*h - 3*j + 17, -3*h + 5*j = 31. Let o be (-1)/h + 12/8. Suppose 0 = 3*x - 4*b + o*b - 43, 5*x + 5*b - 55 = 0. Is 4 a factor of x?
False
Let p(j) = j**3 + 5*j**2 - 7*j - 2. Let k be p(-5). Does 4 divide (-95)/(-4) - (k/12 + -3)?
True
Suppose 2*j - a = 162, 4*j + 5*a = 4*a + 330. Suppose 3*u = -4*z + 97, 5*z = 2*u + 68 + j. Suppose -2*x + z = -x - 4*l, -x - 3*l = 0. Is 6 a factor of x?
True
Let u(x) = 3*x**2 - 21*x + 18. Let f(m) = -2*m**2 + 14*m - 12. Let v(t) = -7*f(t) - 5*u(t). Let b be v(6). Suppose 112 = 4*k - b*k. Does 7 divide k?
True
Let r(g) = -5*g**3 - g**2 - 7*g + 1. Let t(b) = 9*b**3 + 3*b**2 + 13*b - 1. Let n(w) = 11*r(w) + 6*t(w). Is n(6) a multiple of 6?
False
Let r = 30 - 22. Let z = 27 - r. Does 19 divide z?
True
Let a be -25 + 27 - (-44 - 0). Suppose -86 = -3*b + a. Is 44 a factor of b?
True
Suppose 0 = -0*n - 5*n - 40. Does 3 divide (-2 - n/6) + 1960/42?
False
Let x be 2/(-3) + 52/(-39). Let w be -62*x/(-4)*-1. Suppose -w - 29 = -5*l. Is l a multiple of 4?
True
Is 26 a factor of 1249 + -4 - (-3)/1?
True
Suppose -24*m - 180 = -28*m. Does 3 divide m?
True
Let l be (-35)/7*(-3)/5. Suppose l*f + 2*i - 297 = 0, 2*f - 413 = -2*f + 3*i. Does 16 divide f?
False
Is 12 a factor of (-13)/(-13) + 524/4?
True
Suppose 32*w + 2538 = 41*w. Is w a multiple of 15?
False
Let c(x) = -x**2 - 20*x - 10. Let g(w) = -12*w - 79. Let h be g(-6). Is c(h) a multiple of 12?
False
Let s(g) = -g + 21. Let m(u) = -3*u + 43. Let i(t) = -2*m(t) + 5*s(t). Let k be i(-10). Suppose k*j - 8*j - 5 = 0. Does 3 divide j?
False
Suppose 9*v = 6*v - 144. Let a = v + 142. Let u = a + -38. Is 13 a factor of u?
False
Let r(l) be the first derivative of l**4/4 - 7*l**3/3 + 3*l**2 + 5*l - 2. Let m be r(6). Suppose -m*p - 15 = -4*o, -5*o - p - p = -27. Is o a multiple of 5?
True
Let m(o) = o**3 + 17*o**2 - o + 100. Does 6 divide m(-13)?
False
Suppose -9 = -q - 1. Let h be 4/(q/(-6)) + 105. Suppose -h = -2*c - c. Is 34 a factor of c?
True
Suppose 7*c - 17 = 4. Suppose -4*r = -c*r - 16. Suppose h + r = 72. Is h a multiple of 14?
True
Let o = -4 - -2. Let g(f) = f**3 + 3*f**2 + f + 1. Let y be g(o). Suppose c = 2*c - y. Does 2 divide c?
False
Suppose -3*v = o - 13, 3*v = -5*o + o + 79. Let h = o - 16. Is h even?
True
Let j = 2 - 5. Let i = 5 + j. Suppose -d = 5*u - 51, 3*u + 66 = i*d + 4*u. Is 31 a factor of d?
True
Let m(k) = -24*k - 19. Let b be m(-4). Suppose -x + 196 = b. Does 25 divide x?
False
Let j(s) = -4*s**2 + s + 1. Suppose 5*b + 4 = b. Let u be j(b). Let v(m) = 3*m**2 + 4*m + 4. Is 9 a factor of v(u)?
True
Let x be (-4 - -3 - -5)/(-1). Let n be (x/12)/(3/(-36)). Suppose 3*d + 109 = n*r + 17, -5*r + 3*d + 118 = 0. Does 24 divide r?
False
Let r(g) = -154*g**3 - g**2 + 1. Let h(c) = c**3 - 8*c**2 - 8*c - 10. Let f be h(9). Let v be r(f). Suppose -8 + v = 2*p. Is 18 a factor of p?
False
Let q(g) = 3*g**3 - 7*g**2 + 8*g - 27. Is q(5) a multiple of 8?
False
Suppose -23*p = -19011 + 1186. Is 9 a factor of p?
False
Let m(i) = -17*i + 6. Let w be m(-10). Let y = w - 94. Is 33 a factor of y?
False
Is 14 a factor of (-2380)/(-90) - (-5)/(135/(-12))?
False
Suppose -3*a - y = -6217, 5*y = -5*a + 6*a - 2067. Is 18 a fact