 33. Suppose z = 2*b + 5*b - 14. Does 2 divide (12/(-12))/(b/(-10))?
False
Suppose 3*p = y - 0 - 7, 0 = y + p - 7. Suppose -1218 = y*u - 5264. Is 17 a factor of u?
True
Let m = -2802 - -6158. Does 261 divide m?
False
Let r = 6316 + -4200. Is r a multiple of 24?
False
Let a(m) = 3*m**3 - 3*m**2 - 16*m + 6. Suppose 0*b - 8 = -b. Let d be a(b). Suppose 14*y - d - 122 = 0. Is y a multiple of 9?
False
Is 50 a factor of ((40 - 37) + (-3581)/2)/((-6)/24)?
True
Suppose -2*b - 5*v + 31 = 0, -2*b + 2*v + 0 = -10. Suppose -s + 4*j = -296, 3*s + 3*j - b*j = 860. Is 11 a factor of s?
False
Suppose -4*s + 2*w - 5618 = 0, -1878 + 472 = s + w. Let i = -973 - s. Is i a multiple of 16?
True
Let j(g) be the first derivative of g**4/2 - 2*g**3 - 21*g**2/2 + 21*g - 131. Does 11 divide j(8)?
False
Let i = -8121 + 15193. Does 26 divide i?
True
Let w(b) = -3*b**3 + 11*b**2 - b + 7. Let u(z) = 3*z**3 - 9*z**2 - 6. Let t(f) = -4*u(f) - 3*w(f). Is t(-3) a multiple of 6?
True
Let h be -1*6*18/(-24)*18. Suppose -80*u + h*u = 438. Is u a multiple of 26?
False
Let l(r) = 86*r + 3. Let w(f) = -f + 1. Let d(o) = 38*o + 6. Let h(a) = d(a) - 5*w(a). Let j(v) = 13*h(v) - 6*l(v). Is 35 a factor of j(5)?
True
Is -8 - (-2628 + -13 + -2) a multiple of 26?
False
Does 20 divide (-11)/55 - (-891022)/110?
True
Let k be (31/4 - 1)/((-54)/(-4176)). Suppose 3*z + k = 2*c, -35*c + 33*c + 502 = 2*z. Does 10 divide c?
False
Suppose 11*l = 26*l - 105. Suppose 0 = -5*j + q + 907, -3*j - 743 = -l*j - 5*q. Does 6 divide j?
False
Suppose 1 = 3*d - 3*o - 5, -o = 5*d - 16. Suppose 2*h + 2*h + 4*z = 16, -3*h + 4*z = 16. Suppose -t + d*m - m = -118, h = m + 5. Is 16 a factor of t?
False
Suppose 5*a - 15 - 10 = 0, -2*t = -4*a - 48. Let x = t - 34. Suppose x = 34*k - 35*k + 296. Is 37 a factor of k?
True
Let x = 351 + -331. Suppose -18*j + x*j = 428. Does 6 divide j?
False
Suppose -37*x + 505 = 2170. Let g = 55 + -115. Let y = x - g. Does 15 divide y?
True
Let s(m) = 6*m**2 + 6*m + 5. Let t be s(-1). Is 8 a factor of (-2)/9 - (t + (-4616)/36)?
False
Let y(w) be the second derivative of -w**5/4 - 5*w**4/4 - 3*w**3/2 - 9*w**2 + 254*w. Is y(-6) a multiple of 9?
True
Suppose -2*c = -3*w + 584, -10*w + 401 = -8*w + c. Suppose -104 = 4*o - 6*o. Let d = w - o. Is d a multiple of 16?
False
Suppose 4*z = 3*j + 2*j - 22, 4 = 2*z. Is 3 a factor of 34 + (-6)/j*1?
True
Does 23 divide 339/904 - (-156394)/16?
True
Let p(l) = l**2 - 44*l + 9. Let r(o) = 3*o**2 - 87*o + 18. Let j(b) = 5*p(b) - 2*r(b). Is 3 a factor of j(-11)?
False
Let g = 6 + 2. Suppose -3590 = -g*k + 74. Does 17 divide k?
False
Suppose -2*i = 124*r - 125*r + 3419, -4*i + 17039 = 5*r. Does 9 divide r?
True
Suppose -4*l + 678 = 3*n, 512 = 3*l - 14*n + 18*n. Is l a multiple of 6?
True
Let b be (-998)/(-14) + -1 - (-12)/(-42). Let j = 550 - b. Is j a multiple of 20?
True
Let h(j) = 177*j**2 - 19*j + 203. Is 9 a factor of h(11)?
True
Let c = -146 - 100. Let o = 1078 + c. Does 52 divide o?
True
Suppose 0 = n - 5*b - 113, -2*n + 2*b + b + 205 = 0. Suppose -5*p + 3*p + 2*v = n, p + 52 = 4*v. Let f = p - -84. Is f a multiple of 7?
False
Let a(k) = 67*k**2 - 423*k - 3447. Is 13 a factor of a(-8)?
True
Let v = 17 - 10. Suppose -v*c + 1686 = -c. Suppose -3*f - c = -5*y + 214, -3*f = 0. Is y a multiple of 33?
True
Let y = -324 + 345. Suppose 4*k = y + 27. Does 6 divide k?
True
Let y(l) = 463*l - 1274. Is 15 a factor of y(20)?
False
Let h(j) = 3*j**2 + 9*j + 1598. Is h(49) a multiple of 54?
False
Suppose -25 = -5*v, 12*v = 5*t + 11*v - 3395. Let r = t - 510. Is r a multiple of 9?
False
Suppose -5*k = -4*z + 2*k + 826, 4*k + 617 = 3*z. Let r be 2/11 - 3287/(-11). Let o = r - z. Is o a multiple of 28?
False
Let n be (0 + 0)/(11 - 15). Suppose -h - 8 + 12 = n. Suppose -5*b + 0*v = -v - 176, 0 = -v + h. Is b a multiple of 5?
False
Suppose -q - 98 = -2*c, -6*q + 210 = 4*c - q. Let l = c + -43. Let x(g) = 2*g**2 - 7*g + 7. Is x(l) a multiple of 13?
False
Suppose 30566 = 32*s - 15*s. Is 76 a factor of s?
False
Let n(r) = -2*r**2 + 2*r - 196. Let i(t) = 4*t**2 - 4*t + 391. Let a(o) = -2*i(o) - 5*n(o). Is 22 a factor of a(0)?
True
Let o be -2 + 12/5 + (-2108)/(-5). Suppose -o = -15*p + 553. Let x = 26 + p. Does 10 divide x?
False
Let g = 23266 - 9611. Suppose -35*c + g = -13295. Does 11 divide c?
True
Suppose 549874 = 135*s + 90162 - 20213. Is s a multiple of 18?
False
Let o = 4083 - 3472. Does 96 divide o?
False
Is 1355920/51*3/2 - (-2 - 2) a multiple of 226?
False
Let a(u) = -108*u**3 + 11*u**2 - 15*u + 14. Is 14 a factor of a(-6)?
True
Let h = -8466 + 17156. Is 85 a factor of h?
False
Let n(h) = 2*h**2 + 2*h + 5. Let s be n(-5). Suppose -4*a - a - s = 0. Is 27 a factor of (a/(36/68))/((-1)/2)?
False
Let v(l) = -12*l + 38. Let g(t) = t. Let b(d) = 2*d - 19. Let m(x) = -b(x) - 4*g(x). Let h(r) = 7*m(r) - 4*v(r). Does 12 divide h(20)?
False
Let j(a) = -6*a**2 + 131*a + 2. Let p = 890 - 871. Is j(p) a multiple of 4?
False
Let w(y) be the third derivative of 2/3*y**3 + 20*y**2 + 0*y + 1/60*y**5 + 13/24*y**4 + 0. Is w(7) a multiple of 24?
True
Let x be 31 + -34 - (-1)/(1/6). Suppose d + x = -0, -387 = -3*o + d. Is 32 a factor of o?
True
Let w(h) = -16*h**3 - 8*h**2 + 7*h + 200. Is 48 a factor of w(-8)?
True
Let z(w) = w**2 + 2. Let t be z(17). Suppose -t = 4*m - 3*i - 1216, 2*i = -m + 223. Let y = m + -132. Is 14 a factor of y?
False
Let n(a) = 8*a**3 - 17*a**2 + 84*a - 31. Is n(9) a multiple of 14?
True
Suppose -14*s + 9*s + 5*a = -85500, -4*s + 68400 = 2*a. Is 190 a factor of s?
True
Suppose -10*l + 150 = 20. Suppose -l*p + 1213 = 147. Does 17 divide p?
False
Let x = 39 - 33. Suppose 0 = 25*u - 20*u - 960. Suppose 2*g + u = x*g. Does 23 divide g?
False
Let v be 8/(1 - 5)*3/(-2). Suppose -r = 5*y - 21 + 2, 0 = -v*r - 5*y + 27. Suppose 0*i = -r*b + 5*i + 195, 0 = -3*b + 3*i + 150. Is 12 a factor of b?
False
Let a(m) = -6*m + 26. Let h(x) = 5*x - 26. Let u(s) = -2*a(s) - 3*h(s). Let o be u(7). Suppose o*g - 290 = 5*k, 3*k - 182 = -3*g + 2*k. Is g a multiple of 21?
False
Suppose -5*m = -4*b + 541, 4*m + 134 = b - 301. Let n = -220 - m. Does 37 divide (n/12)/((15/(-3))/140)?
True
Let d = 1267 + 1344. Is 39 a factor of d?
False
Let r(b) be the third derivative of -b**6/120 + 13*b**5/60 + b**4/8 - b**3/3 + 16*b**2. Let f be r(13). Suppose f*w - 40 = 32*w. Is 2 a factor of w?
True
Let c(r) = -4*r**2 + 66*r + 22. Let d be c(17). Is 174/9*-3*102/d a multiple of 12?
False
Let g be (-14661)/(-21) + (-4)/28. Is g*4/8 + 1 a multiple of 14?
True
Let w be (4 - (-36)/(-2))*-5. Let s = -64 + w. Is (s - 3) + 186 + 2 a multiple of 16?
False
Let p(t) = -2*t**2 + 2*t + 2. Let m(i) = -i**2. Let c(a) = m(a) + p(a). Let k be c(-1). Let o = 77 - k. Is o a multiple of 8?
True
Suppose 4*o + 9 = 33. Does 8 divide 12/o*326*4/16?
False
Let d(m) = 4*m**2 + 41*m - 79. Let w(o) = o**2 + 10*o - 20. Let c(z) = -2*d(z) + 9*w(z). Let f(v) = v**2 + 9*v - 11. Let h be f(-9). Does 2 divide c(h)?
False
Let j(h) = 2*h**3 + 23*h**2 + 31*h + 15. Let z be j(-10). Does 14 divide (-7293)/(-51) - (0 - -2 - z)?
False
Let x be 1 + 3 + 8 - 0. Let l be (x/3)/1 - (-6 - -6). Suppose 5*j - l*b - 329 = 0, 3*b - 228 = -5*j + 129. Is j a multiple of 23?
True
Suppose 18*s = 15*s + 39. Suppose 488 + 968 = s*v. Is v a multiple of 7?
True
Suppose -27815 = -28*x + 26645. Suppose 3*p + 5*n = 855, -5*n - x = -2*p - 5*p. Is p a multiple of 70?
True
Suppose 5381*q - 5409*q = -394005 - 230843. Does 70 divide q?
False
Let d(l) = l**3 - 4*l**2 - l + 2. Let v be d(5). Let g(x) = 2*x - 55. Let n be g(36). Let a = v + n. Is a a multiple of 24?
False
Is 87 a factor of -8 + 285375/15 - 1*4/(-1)?
False
Suppose -2*c = 5*b - 28, -4*b - 3*c + 17 = -11. Let j(l) = -2*l + l**2 + 10 + 7*l + b*l + l. Is j(-20) a multiple of 15?
True
Let f(c) = 2*c**2 + 3*c - 3. Let s be f(1). Suppose -s*m = 25 - 41. Suppose m*k - 7*k - 29 = 0. Is 10 a factor of k?
False
Let v = 55196 + -31880. Is v a multiple of 174?
True
Suppose 0 = 109*g - 15391 + 2856. Is 115 a factor of g?
True
Let q = 177 + -21. Suppose -8*s + 404 + q = 0. Is s a multiple of 10?
True
Let f = -678 - -680. Suppose -2*b + 2*x = -970, -b + 240 + 242 = -f*x. Does 8 divide b?
True
Let r = 0 - -14. Suppose -20*k = -146 - r. Is k a multiple of 7?
False
Suppose 0 = -46*j + 199 + 31. Suppose 5*o + 5*h = 7*o