ide r?
False
Suppose 0 = 3*o - w - 241, -2*o = 2*w - 137 - 21. Suppose 8*f = 4*f - o. Let g = f + 40. Is 9 a factor of g?
False
Let z = -13 + 15. Let r(l) = l - l**2 + 2*l**z + 6 + 0*l**2 + 0. Is 18 a factor of r(-4)?
True
Suppose 21*k + 2*v = 24*k - 1220, -3*k + 1210 = -4*v. Is 10 a factor of k?
True
Let m be 14/(-35)*(-5 + 0). Let k be 1 + 2 + (2 - m). Suppose 0 = 3*r + u + 2*u - 42, k*r + 5*u - 46 = 0. Is r a multiple of 4?
True
Suppose -514*q + 189 = -505*q. Suppose 3*l + 0 + 2 = -t, 0 = -5*l - 20. Let y = q - t. Is y a multiple of 3?
False
Let t(i) = -i**3 - 20*i**2 - 16*i + 7. Let j be t(-19). Is 16 a factor of (640/j)/((-4)/10)?
True
Suppose 14*x = 13*x + 10. Suppose x*c - 5*c - 280 = 0. Does 14 divide c?
True
Let d(y) = -2*y + 6. Let q be d(3). Suppose -302 = -s - q*s. Let c = s + -207. Is c a multiple of 19?
True
Let d = 1350 - 856. Is d a multiple of 26?
True
Let a(w) = -w**2 + w - 1. Let q(s) = 4*s**3 + 3*s**2 - 6*s - 2. Let k(m) = -2*a(m) - q(m). Is k(-2) even?
True
Let y be -1*(-2)/2 + (-4 - -550). Let f = y + -265. Is 47 a factor of f?
True
Suppose -1370 = 22*s - 8476. Does 17 divide s?
True
Let q be (4 - -1)*(-6)/(-10). Suppose -7*b = -q*b - 416. Suppose y = 3*z - b, -2*y + 10 = -7*y. Is z a multiple of 16?
False
Let t(s) = 68*s - 105. Is t(6) a multiple of 28?
False
Suppose 0 = -4*v - 16, 0*v - 2*v = 5*q - 17. Suppose -14 = -c - 3*c + 2*d, q*c + 2*d - 31 = 0. Suppose 2*b - 34 = -j, -c*b + 32 - 7 = 0. Does 15 divide j?
False
Let w(p) = -p + 34. Let t be w(0). Let o be t - (-2 + 3 + 2). Let n = o + -16. Is n a multiple of 5?
True
Let a = 257 - 237. Does 4 divide a?
True
Let p be 11*((-22)/(-18) + 10/(-45)). Let j(x) = x**2 - 11*x + 6. Is j(p) a multiple of 3?
True
Let p = -947 + 939. Let a(r) = -r**2 - r - 1. Let m(q) = -q**3 - 2*q**2 - 5*q + 3. Let j(f) = 6*a(f) + m(f). Does 17 divide j(p)?
True
Let v = 134 + 405. Is 18 a factor of v?
False
Let f be 1/(-2)*(-19 + 11). Suppose -5*y = -4*y - f*v - 60, -3*y + v + 180 = 0. Is y a multiple of 12?
True
Suppose 0 = -5*k - 5*z + 105, 2*z + 19 = 4*k - 35. Does 4 divide k?
True
Suppose 0 = 4*u + 354 + 286. Let t = u - -232. Is t a multiple of 9?
True
Let o be 8/6*3/1. Suppose -o*x = -8*x + 8. Suppose 6 = x*b - 14. Is 7 a factor of b?
False
Let z(p) = -p**3 + 9*p**2 + 14*p - 2. Let c be z(10). Let d = c + 37. Is 37 a factor of d?
False
Let b(h) = 2*h**2 + 14*h + 6. Let z be b(10). Suppose 5*u - 4*a - z = 0, 3*u + 2*a + a = 213. Is 7 a factor of u?
True
Let c = 5 + -15. Let z be (c/8)/(4/(-480)). Suppose 2*b = 54 + z. Is 22 a factor of b?
False
Let k(g) = g**3 + 16*g**2 - 2*g - 12. Is k(-14) a multiple of 17?
True
Let f(j) be the second derivative of j**5/20 + 11*j**4/12 + 3*j**3/2 - 6*j**2 - 25*j. Does 23 divide f(-9)?
True
Is 5 a factor of (24/(-48) - 22/(-4))*158?
True
Suppose b - 8 = -b. Let w be (0/b - 3) + 7. Suppose w*i - 56 = -0*i. Is 7 a factor of i?
True
Let a be -1 - ((-20)/(-2) + -2). Let t be (a/6)/((-1)/2). Suppose 134 = t*x + 44. Is 15 a factor of x?
True
Suppose -11 = 4*s + v, 3*s - 3*v + v = 0. Let f be (6/(-4))/(1/s). Is 35 + (-3)/f*1 a multiple of 17?
True
Suppose -928 = 4*p - 2324. Is 47 a factor of p?
False
Let s = -884 + 1114. Is 5 a factor of s?
True
Let r(o) = o**3 - 3*o**2 - o + 3. Let a be r(3). Suppose -3*d - 260 = 2*q, a*q - 3 = 3*q. Let x = 171 + d. Is x a multiple of 29?
False
Suppose -10 = u - 3*u. Let s = 164 - 108. Suppose -s = -u*i + 109. Is 11 a factor of i?
True
Let x be ((-10)/4 + 0)*-2. Let a be (-21)/(-4) + (-5)/20. Suppose 4*v - 2*h = 134, 140 + 65 = a*v + x*h. Is v a multiple of 24?
False
Suppose -30*x + 34800 = 10*x. Is 15 a factor of x?
True
Let l be 2 - -10 - (-2)/(-2). Let n = 17 + l. Is n a multiple of 7?
True
Suppose 0 = 21*i - 32*i + 21285. Is i a multiple of 9?
True
Suppose 4*h - 4 = 0, -3*w + 2*h + 12 - 2 = 0. Let g(p) = -p - w*p + 56*p**2 + 8*p - 2. Is 17 a factor of g(1)?
False
Let d(n) = -n**3 + 4*n**2 - n + 4. Let v be d(4). Let l = 0 - v. Suppose -a + p + 0*p = -36, -3*a - 3*p + 138 = l. Is 11 a factor of a?
False
Let h = -2065 - -2270. Is 12 a factor of h?
False
Let l(a) = a**3 + 6*a**2 - 2*a + 25. Is 7 a factor of l(-6)?
False
Let o = -23 - -37. Let k(f) = 16*f - 20*f - o*f + 4. Does 18 divide k(-3)?
False
Let k be (-7)/(-3) - 24/72. Suppose 0 = -k*u - 14*u + 944. Does 2 divide u?
False
Let i be (98/(-8))/(4/16). Let r = -71 - i. Is 6/33 - 304/r a multiple of 5?
False
Let f(n) = n**3 - 13*n**2 + 12*n - 14. Let l be ((-19)/(-38))/(2/48). Let j be f(l). Let z(b) = -3*b - 8. Is 25 a factor of z(j)?
False
Let u = -4 - -7. Let g = 6 - u. Suppose -36 = -2*t + 4*p, 0*p + g = -3*p. Is 8 a factor of t?
True
Suppose w - 324 = -0*s - s, 4*s = -5*w + 1618. Suppose -5*h + 1195 = d, -w - 156 = -2*h + 4*d. Is 21 a factor of h?
False
Let r be (-80)/(-7) - (-33)/(-77). Suppose -3*u + 82 = -4*n, 23 = -3*u + n + 120. Let y = u - r. Is 16 a factor of y?
False
Suppose 0 = -2*f - 0*f + 6. Suppose n - 216 = 5*c, 3*n = 4*n + f*c - 184. Does 14 divide n?
True
Let a(l) = -l**2 + 2*l - 3. Let b be a(0). Let x be 49/21 - (-1)/b. Suppose x*d - 49 = -15. Is 8 a factor of d?
False
Suppose 0 = -26*k + 28*k + 6, -3*z - k + 1107 = 0. Is 46 a factor of z?
False
Let h = 257 + -194. Is 3 a factor of h?
True
Is 3 a factor of (6 - -2) + 64 + -42?
True
Suppose -11*d = 4*d - 2340. Is d a multiple of 9?
False
Suppose -i + 8 = 4*u - 5*i, -2*i - 2 = -u. Suppose -u*r + 141 = 5*x, 4*r = 5*r + x - 72. Is 6 a factor of r?
False
Suppose -p = -3*u - 1665, 184*u = 5*p + 180*u - 8281. Does 62 divide p?
False
Let k = 22 + -17. Suppose 137 = k*m + 22. Is m a multiple of 23?
True
Suppose 2*a + 0*a - 12 = 0. Suppose 12 = -2*o + a*o. Suppose z - u - 5 = o, 5*z - 2*u = 52. Is z a multiple of 4?
True
Is (-2025)/900 - 4117/(-4) a multiple of 70?
False
Let x(o) be the second derivative of -31*o**5/10 + o**4/6 + o**3/6 + 8*o. Is 21 a factor of x(-1)?
True
Let t = 19 + -46. Let o = t + 25. Does 15 divide (-5)/((-20)/172) - o?
True
Suppose -7*x + 440 = -3*x. Let a = -87 + x. Is 20 a factor of a?
False
Let s = 190 + -113. Suppose 3*k - s = 169. Suppose 5*x = -7 + k. Does 5 divide x?
True
Let t(p) = p**3 - 9*p**2 - 35*p - 9. Let g be t(12). Let h(b) = 36*b + 13. Does 13 divide h(g)?
False
Let n(a) = -5*a**2 + 8*a - 7. Suppose 4 = -w - 3*v - 10, -v - 8 = w. Let c(h) = -4*h**2 + 7*h - 6. Let x(f) = w*n(f) + 6*c(f). Is x(5) a multiple of 11?
False
Let w = -9 - -22. Suppose r - 5*r = -p + w, -28 = -p + r. Does 11 divide p?
True
Let c(p) = -4*p + 4. Let m = -3 + 13. Let g = m - 16. Is c(g) a multiple of 13?
False
Suppose 5*m - 3*l = 28, 5*m + 6 = -2*l + 29. Suppose 166 - 41 = m*h. Is 17 a factor of h?
False
Suppose -n = 3*n + 4*s - 108, -2*n = 4*s - 62. Suppose 25*k - 126 = n*k. Is k a multiple of 18?
False
Let r(p) = -13*p + 13. Let g be r(-4). Let o = g + -39. Is 12 a factor of o?
False
Let d(o) = -o**3 + 18*o**2 - 37*o + 1. Is d(7) a multiple of 4?
False
Let k = -21 + 37. Suppose 2*l = -6 + k. Is 5 a factor of l?
True
Let h(f) = -2*f**3 - 8*f**2 - 16*f + 11. Does 14 divide h(-8)?
False
Let f = -3 - -23. Does 3 divide 29 - ((-18)/15)/(8/f)?
False
Let g = 526 - -806. Does 15 divide g?
False
Let n(d) = 2*d**2 - 20*d - 48. Is 3 a factor of n(-5)?
True
Suppose 32 = 2*f + 5*c, -f - 5*c - 1 = -2*f. Let t = f - 7. Let q = t + 6. Is 5 a factor of q?
True
Let n(k) = -11*k - 30. Let u be n(-5). Is -4*1/(-10)*u a multiple of 2?
True
Let w(p) = 9*p**3 - 9*p + 9. Does 9 divide w(2)?
True
Let u(p) = -14*p - 2. Let d(m) = m**2 - 7*m - 2. Let n be 99/15 + (-9)/15. Let b be d(n). Is 24 a factor of u(b)?
False
Let a(j) = 3*j**2 - 23 - 2*j**2 + 21 + 15 - 12*j. Let w be a(11). Let k = 8 - w. Is k a multiple of 6?
True
Let h = -1657 + 1770. Is h a multiple of 59?
False
Is 103 - ((-48)/(-4) + -6) a multiple of 8?
False
Let i = 2779 + -1895. Does 45 divide i?
False
Let u = 25 + -21. Suppose u*x + 7*s = 3*s + 36, -2*x + 3*s + 13 = 0. Does 2 divide x?
True
Let x = -151 - -243. Is x even?
True
Suppose 146*k - 141*k - 1305 = 0. Does 29 divide k?
True
Let z(r) = r**2 + 8*r + 5. Let u be z(-8). Suppose i - 4*a - 300 = -i, -i + u*a = -147. Is i a multiple of 9?
False
Let v be (-42)/4*8/6. Let o = v + 17. Suppose o*c = 23 + 79. Is 17 a factor of c?
True
Let x be (-158)/3*6/4. Let k = x - -167. Is 20 a factor of k?
False
Let f(y