 be k(-5). Suppose -s*n + 12 = -12. Suppose 2*i - 110 = -n*u + 3*u, -i - 40 = -u. Is u a multiple of 10?
False
Let b(h) = h**2 - 13*h + 88. Is b(16) a multiple of 17?
True
Let r(q) = -11*q**3 + 2*q**2 + 7*q + 16. Is r(-2) a multiple of 98?
True
Suppose -10*z + 48060 + 4890 = 0. Is z a multiple of 15?
True
Let x = 1181 + -543. Is 29 a factor of x?
True
Let i(w) = w + 1. Let q be i(0). Let v = q - -1. Does 2 divide 3 + (0 - v) + 1?
True
Suppose 22*r + r - 17089 = 0. Does 25 divide r?
False
Suppose -911 = -3*v + 4*n - 311, 0 = -3*n. Is v a multiple of 45?
False
Let a = -5 - -2. Let j(c) = 3*c**2 + 6*c - 4. Let t be j(a). Is 21 a factor of (14/6)/(t/45)?
True
Let o = -170 - -394. Is o a multiple of 16?
True
Is 34 a factor of ((-27)/7 - -4) + 2378/14?
True
Does 21 divide 3 + 53 + -2 + (-2)/1?
False
Suppose 0*n + 4*n = -4*g + 124, 3*g + 77 = 2*n. Let d = n - 25. Is d a multiple of 4?
False
Suppose -1352*m + 1359*m = 5236. Is m a multiple of 22?
True
Let u be 0 - (3 - 5/1). Suppose 75 = 5*f - u*f. Is f a multiple of 11?
False
Let g be (36/15 - 2)/(5/(-25)). Is 5 a factor of ((-156)/24)/(g/20)?
True
Let l(a) = 167*a - 200. Is 51 a factor of l(11)?
False
Suppose -o + 68 = -16. Is o a multiple of 14?
True
Is 16 a factor of (820/(-20))/(1/(-2))?
False
Let l(d) = 3*d**2 + 9. Let h be l(3). Let q = -22 + h. Is 7 a factor of q?
True
Let u(c) = c**3 - 8*c**2 + 11*c - 10. Let v be u(11). Let o = v + -334. Does 28 divide o?
True
Let g(k) be the second derivative of k**4/12 + 17*k**3/6 - 7*k**2/2 - 7*k. Let f be g(-11). Let l = 124 + f. Is l a multiple of 14?
False
Suppose j - 4 = -0. Suppose -2*x = j*g + 1 - 3, g - 5*x - 6 = 0. Is 9 a factor of g/(-3) - 133/(-3)?
False
Let d = -27 - -109. Let a(s) = -s**2 - 5*s + 7. Let i be a(-10). Let b = d + i. Is 13 a factor of b?
True
Suppose 5*z + 3*d - 1192 = 0, -2*z - 3*d + 484 = -0*z. Suppose 3*r = z + 136. Is 31 a factor of r?
True
Let k be 4/(-14) - (-44)/7. Let j(c) = -c**3 + 7*c**2 - 2*c + 5. Is j(k) a multiple of 29?
True
Suppose -1 - 5 = 2*v. Let x be (-156)/(-6)*v/(-2). Suppose 0 = -p - 2*p + x. Does 9 divide p?
False
Does 8 divide (123 - -1)*((-2 - 9) + 16)?
False
Suppose -11*z = 795 + 470. Let h = -68 - z. Is 9 a factor of h?
False
Let a(o) = o - 3 - 4 + 33. Let t = -359 - -359. Is a(t) a multiple of 13?
True
Does 6 divide (0 + (-3)/(-3))*222?
True
Let k(s) = -s**2 + 0*s**3 - s**3 - 4 + 2*s**2 + s + 8*s**2. Let r be k(9). Suppose b = -5*j + 2*b + 108, 102 = r*j - 4*b. Does 11 divide j?
True
Let a(r) = -6*r**3 - 16*r**2 + 6*r + 169. Let g(z) = -z**3 - 3*z**2 + z + 34. Let h(c) = -2*a(c) + 11*g(c). Does 9 divide h(0)?
True
Let r(s) = -1373*s - 25. Is r(-3) a multiple of 23?
True
Let y = -18 - -7. Let f = -8 - y. Is 4 a factor of (4*9)/f + -3?
False
Let b(k) be the second derivative of -k**5/120 + 13*k**4/24 + k**3 + k. Let o(g) be the second derivative of b(g). Is 17 a factor of o(-11)?
False
Suppose 2*s - x - 83 = -2*x, -2*x + 6 = 0. Suppose 4*y + s = 340. Does 15 divide y?
True
Suppose 3*m - 1 = -10. Is ((-20)/7)/(m/21) a multiple of 5?
True
Let w(k) = -k**2 + 8*k - 9. Suppose 5*s = z + 3*z - 43, -2*s = 6. Let b be w(z). Does 12 divide (b/(-5))/((-8)/(-360))?
False
Let i = 1355 + -1285. Is 7 a factor of i?
True
Suppose -4*y = y. Let z = -15 - -28. Let s = y + z. Does 4 divide s?
False
Does 21 divide 1 + -1 + 0/(-1) - -1092?
True
Let w(y) = 6 + 3*y - 17 + 9 + 14*y**2. Does 26 divide w(2)?
False
Let d(m) = -2*m + 120. Is 69 a factor of d(-9)?
True
Let d(h) = h**2 - 4*h + 6. Let u be d(4). Let g(s) be the first derivative of s**3/3 - 5*s**2/2 + 7*s + 76. Is g(u) a multiple of 13?
True
Let k(l) = 2*l + 31. Let f = 35 - 35. Is k(f) a multiple of 15?
False
Suppose -h - 14 = -3*h. Suppose 0 = -5*u + 3*k + 732, -h*k - 160 = -u - 3*k. Suppose -7*n = -3*n - u. Does 12 divide n?
True
Let h(i) = -33*i + 35. Is 13 a factor of h(-8)?
True
Let q = -227 - -265. Is 5 a factor of q?
False
Suppose 4*q - 576 = 512. Is q a multiple of 15?
False
Suppose 4*d = -7*d. Is 5 + 213 + d - -4 a multiple of 17?
False
Let s = -41 + 31. Let d = 57 + s. Is 15 a factor of d?
False
Let r = 990 - 496. Does 33 divide r?
False
Suppose m - 43 = 4*l + 6, 0 = -5*m + 5*l + 185. Suppose -46 = -4*y + 2*p, 2*p = 2*y - p - m. Does 2 divide y?
False
Let s(c) = c**2 + 6*c - 17. Suppose 0 = 9*h - 10*h - 14. Is 19 a factor of s(h)?
True
Let m(z) = -5*z**2 + 9*z - 3. Let q(s) = -6*s**2 + 10*s - 2. Let u(j) = 7*m(j) - 6*q(j). Let y be u(-5). Is 28 a factor of y + -1 - 84*-1?
True
Let v = -178 + 171. Let o(r) be the first derivative of -5*r**2/2 - 8*r + 2. Does 9 divide o(v)?
True
Is (-4)/(-9)*(-22 + 25)*192 a multiple of 36?
False
Let i = 47 + -49. Is (-568)/(-22) + i/(-11) a multiple of 4?
False
Let d = 19 + -25. Let s = d + 23. Does 6 divide s?
False
Suppose -42 - 24 = -6*f. Let o = f + 16. Is o a multiple of 9?
True
Let b(z) = z - 2. Suppose -3 = -j + 1. Let q be b(j). Suppose -q*g = g - 12. Does 4 divide g?
True
Let i = -13 + 8. Let s(h) = -12*h + 11. Is s(i) a multiple of 8?
False
Let x be 10/3*3/12*78. Suppose -79 = -l + x. Is 18 a factor of l?
True
Let m(t) = 10*t - 20. Suppose -g + 20 = 3*g. Is 4 a factor of m(g)?
False
Let t(o) = -7*o**2 + 11*o. Let w(z) = -13*z**2 + 21*z. Let j(h) = -11*t(h) + 6*w(h). Let r be j(5). Suppose i + 41 - 108 = r. Does 19 divide i?
False
Suppose 11 = 3*h + 8. Does 36 divide (2 - 260)/(-2)*h?
False
Is 56 a factor of (2744/(-490))/((-2)/1480)?
True
Suppose 2*o = -3*q - 2*o + 6, 2*q = 3*o + 21. Suppose -5*i + a - 11 = 0, -i - 2*a = -q*a + 6. Is 6 a factor of 68/12 - i/6?
True
Let c(m) be the third derivative of -m**6/24 - m**5/30 - m**3/3 + 7*m**2. Does 27 divide c(-3)?
False
Suppose 17*l = 22*l - 20. Suppose 45 - 165 = -l*y. Is y a multiple of 11?
False
Suppose 4*i + 5*t = -0*t + 1420, -i - 2*t + 352 = 0. Is 60 a factor of i?
True
Let n(w) = 2*w**3 + 7*w**2 + 5*w. Let t be n(-2). Suppose 0 = t*o - 170 - 24. Is 26 a factor of o?
False
Let i = 71 - 66. Suppose -c = 2*k - 418, 0*k + i*c - 842 = -4*k. Is 19 a factor of k?
False
Suppose -3*y + 224 + 997 = 0. Does 37 divide y?
True
Let o(q) = q**2 + 15*q - 183. Is o(22) a multiple of 5?
False
Suppose -3*n - 344 - 151 = -3*z, -3*z + 5*n = -487. Let k = -2 + z. Is k a multiple of 8?
False
Suppose -4*y = -0*y + 5*t + 27, 0 = -y - 5*t - 3. Let z be (-7)/21 - y/(-3). Is (-150)/(-9) - 1/z a multiple of 6?
False
Suppose -2*c + 1957 = c - p, -3*p = 3*c - 1977. Is c a multiple of 10?
False
Is 70/21 + -4 + (-34856)/(-12) a multiple of 12?
True
Does 32 divide 1390/2 - (-9)/1?
True
Suppose 0 = -5*q - 4*q + 4806. Is 9 a factor of q?
False
Suppose 2*w + 5*m - 10085 = 0, -2*w = -15*m + 11*m - 10058. Is w a multiple of 158?
False
Suppose 111 = 4*x + 11. Suppose -4*y - 5 = -x. Suppose 124 = 2*r + 2*r - u, -y*r + u + 154 = 0. Is 10 a factor of r?
True
Suppose 4*w = 2*w - 4. Let c = w - -6. Suppose c*x = 6*x - 150. Is 25 a factor of x?
True
Let q(g) = 16*g**2 + 62*g + 4. Is 37 a factor of q(-11)?
True
Suppose -4*p = 6*p - 360. Suppose -h - 3*w = -0*w - 56, -2*w = -h + p. Is h a multiple of 7?
False
Let q = 197 + -141. Suppose q*y + 1008 = 60*y. Is 21 a factor of y?
True
Let o = -196 + 125. Does 9 divide (-9)/(-18) + o/(-2)?
True
Suppose -8 = 3*t - 4*k, 4*k = -5*t - 15 + 55. Suppose 4*l - 2*l - 5 = -3*q, -t*q - 2*l = -10. Suppose -2*u - u + 4*h = -15, 57 = q*u + 4*h. Does 6 divide u?
False
Let p(h) = h - 15. Let v(u) = -u. Let m(j) = -p(j) + 5*v(j). Let c be m(-7). Let l = -29 + c. Does 11 divide l?
False
Does 9 divide (931/2 - 6)*2?
False
Let l = 785 - -1061. Is 53 a factor of l?
False
Suppose -214*k = -208*k - 2238. Is k a multiple of 9?
False
Let b be 7 - 2/4*2. Suppose -5*u + 11 = -5*m + b, -5*u + 33 = 2*m. Does 2 divide m?
True
Let t(i) = -127*i - 8. Let q be t(-9). Suppose 0 = 5*m - q + 245. Is 17 a factor of m/6 + (-2)/3?
False
Suppose -18*d + 1144 = -5*d. Is d a multiple of 4?
True
Let h(k) = 15*k**3 - 18 + 19 + k**2 - 2*k + k**2. Is h(1) a multiple of 2?
True
Is (-2 - 0)/4 - (-5103)/14 a multiple of 14?
True
Let a = 738 - 478. Is a a multiple of 26?
True
Let k(m) = -75*m - 5. Let b be (-80)/(-20) - 1*5 - 2. Does 20 divide k(b)?
True
Let v be (-27)/6*(-2)/(-1). Let k be 12/9 + (-564)/v. Suppose q - 7*m - 26 = -2*m, -2*q = 2*m - k. Is q a multiple of 23?
False
Let b be 97/(-4) - 2/(-8). Le