10. Suppose 3*b - w = 5. Suppose -b*i = 3, a - 32 = -2*a - 4*i. Is a even?
True
Let y(i) = 26*i - 14. Let k be y(-8). Let a = -104 - k. Is a a multiple of 21?
False
Let r(m) = -m**3 + 5*m**2 + 2*m - 4. Let i be r(5). Suppose i*u - 2*u = 0. Suppose u = -5*l + 32 + 28. Is l a multiple of 6?
True
Let i(y) = 15*y + 4. Let f be i(8). Suppose -4*a = -184 - 572. Let j = a - f. Is 23 a factor of j?
False
Suppose 3*x - 16 - 161 = 3*z, 0 = -5*x - z + 307. Suppose 0 = -4*y + 3*y + x. Is y a multiple of 13?
False
Let u = 120 + 480. Is 50 a factor of u?
True
Let g(s) = -2*s**2 + 11*s + 210. Is g(0) a multiple of 35?
True
Let x be (10/(-6))/((-3)/9). Let u = x - -22. Let a = -15 + u. Is a a multiple of 12?
True
Let r = 928 + -673. Is 7 a factor of r?
False
Let v = -1791 + 3330. Suppose 9*r + 459 = v. Does 30 divide r?
True
Does 119 divide (37 - (-4)/(-2))/(142/9656)?
True
Let d = 6 + -6. Suppose 6*k - k - 410 = d. Does 15 divide k?
False
Is 13 a factor of (-1 - -6) + 199*(-14)/(-7)?
True
Let u(f) = 7 - 3*f + 8*f + 2*f**2 + 0*f - 4. Is 3 a factor of u(-3)?
True
Let y be (-1*2/(-4))/(12/2232). Suppose -p = -2*h - y, -2*p + 107 + 47 = 4*h. Does 5 divide p?
True
Let q(w) = w + 26. Let t be (4 - (-4 + 5))*3. Let i be (-19 + 1)*6/t. Does 7 divide q(i)?
True
Suppose -6*b = 26*b - 640. Does 12 divide b?
False
Is 24 a factor of (204/14)/((-4)/(-112))?
True
Suppose 104 = 11*o + 27. Suppose -12*d + o*d = -545. Is d a multiple of 21?
False
Suppose l + 3*q - 111 = 2*q, 4*q - 558 = -5*l. Suppose -l = -8*p + 166. Is 7 a factor of p?
True
Let z = 35 - 40. Is 4 a factor of (0/(-3))/z + 11?
False
Let j = -51 + 69. Suppose -2016 = -j*p + 4*p. Is p a multiple of 9?
True
Is 12 a factor of (-6)/33 - (-1 - (-3484)/(-44))?
False
Let o(p) be the second derivative of p**5/10 - p**4/3 + p**3/6 - 3*p**2/2 + 20*p. Does 6 divide o(3)?
True
Let w be (42/70)/((-1)/(-25)). Let l = w + 81. Suppose 4*n = 5*j - 15 + l, -3*n + 57 = -3*j. Is 7 a factor of n?
True
Suppose w = 4*w - 6. Is (4/w)/((-1)/(-20)) a multiple of 20?
True
Suppose 0 = l + 32 - 36. Let f be -11*(2 - (-1 + 4)). Let w = f - l. Is w a multiple of 7?
True
Suppose -18*j - 516 = -21*j. Does 16 divide j?
False
Let i = -48 - -50. Suppose -3*o + 156 = w + i*w, 4*w - 2*o = 238. Is w a multiple of 7?
False
Let s be 78/(-9)*(-10 - -4 - 3). Suppose 3*o - 167 - s = -t, 5*t - 5*o - 1205 = 0. Is t a multiple of 56?
False
Suppose 3*a - 3*p = -2*p - 14, 3*a = -p - 10. Let d be 6/a - (-225)/10. Suppose -7*r = -10*r + d. Does 7 divide r?
True
Let l be 55/3 + 1/(-3). Let p = l + -13. Suppose -100 = -p*r - u, u + 73 + 16 = 4*r. Does 10 divide r?
False
Let j(x) = 6. Let y(h) = -2*h + 5. Let n(s) = 6*j(s) - 7*y(s). Let q(v) = v**3 - v**2 + v + 3. Let u be q(0). Is 14 a factor of n(u)?
False
Let p(x) = 20*x**2 - x - 2. Let f be p(3). Suppose 29 = 2*u - f. Is 17 a factor of u?
True
Suppose 6 = 2*q - 2. Suppose 3*v + m = 167, 0 = q*m - 2*m - 10. Does 27 divide v?
True
Let x = -1434 - -1824. Is 65 a factor of x?
True
Suppose 0 = 65*p - 51*p - 4872. Does 29 divide p?
True
Suppose 5*l - 17*x - 325 = -22*x, 4*l - 4*x = 252. Does 64 divide l?
True
Let d = -2 + 3. Let g be -8 + d*(-1)/(-1). Does 10 divide (10/g)/((-3)/21)?
True
Suppose 6*l - 4*l = 0. Suppose 0*a + 3*a - 9 = l. Suppose -a*n + 278 = 95. Does 12 divide n?
False
Suppose 3*n + 2*s = 7*n - 1088, -1088 = -4*n + s. Does 64 divide n?
False
Let m(h) = 2*h - 8. Let w(v) = v - 7. Let y(d) = 3*m(d) - 2*w(d). Let i = -4 + 11. Is y(i) a multiple of 9?
True
Suppose 2*s - 5*s = -4*x - 410, -s + x + 135 = 0. Does 10 divide s?
True
Let o(q) = -20*q + 1. Suppose 0 = 5*a + 4*f + 14, 7 = -a - 5*f - 0*f. Let w be o(a). Suppose -5*d = -39 - w. Does 7 divide d?
False
Let h = 134 + -258. Let p = h - -182. Is 15 a factor of p?
False
Let v = 143 - 226. Let z = v - -123. Is z a multiple of 3?
False
Let c be 242*(-2)/(-5) - (-14)/70. Suppose 5*r + 636 - c = 2*g, g - 5*r - 282 = 0. Is g a multiple of 13?
False
Let b(n) = 0*n + 4*n - 2*n - 7*n - 2 - n**2. Let k be b(-6). Let g = 11 + k. Does 3 divide g?
True
Let j = 45 - 43. Is 24 a factor of (j/6)/((-5)/(-1365))?
False
Suppose -3*h = 5*k - 758 + 206, 0 = 2*k - 5*h - 196. Let c = -19 + k. Is 20 a factor of c?
False
Suppose 3 = 5*q - 7. Let m be (6/q)/(3/45). Suppose 0 = -i - 4*l - 3, -4*i = -6*l + 3*l - m. Is i a multiple of 9?
True
Suppose 2*z + 0 = -2. Does 37 divide ((-92)/69)/(z/(531/2))?
False
Let p(q) = -39*q + 14. Let c be p(-10). Suppose -o = 5*m - 670, 0 = m + 2*m + o - c. Does 23 divide m?
False
Suppose -10*r = -9*r - 44. Suppose 3*a + r - 254 = 0. Does 10 divide a?
True
Suppose 0 = -3*w + y + 110 + 18, -4*w + 160 = -4*y. Suppose w*g + 1020 = 47*g. Is 68 a factor of g?
True
Suppose 3*t = t + 5*c + 16, -4*t + 18 = -3*c. Let q(v) = -v. Let k(l) = -l**2. Let i(h) = -k(h) - 2*q(h). Is 3 a factor of i(t)?
True
Let k = 906 + -633. Is 21 a factor of k?
True
Suppose 2*y + 500 = v, v = 3*y + 399 + 106. Is 60 a factor of v?
False
Suppose 297 = 4*k - 5*c, -c - 288 = -4*k - 5*c. Let o = 33 + k. Does 25 divide o?
False
Let z be 1*(-1 - 4 - 4). Is (-492)/z*(-6)/(-4) a multiple of 19?
False
Let r(y) = 3*y**3 + y**2 - 4*y. Let l(i) = i**2. Let a(q) = 2*l(q) - r(q). Is a(-3) a multiple of 18?
False
Suppose -6*n + 3254 + 442 = 0. Is n a multiple of 11?
True
Suppose -4*q - 8 = -0*q, 224 = 2*x + 2*q. Is x a multiple of 3?
True
Suppose 45507 = -36*d + 69*d. Is 11 a factor of d?
False
Let d(y) = 2*y**3 + 63*y**2 - 36*y + 12. Is d(-32) a multiple of 10?
True
Let g be ((-1)/2)/(8/(-48)). Suppose 5*d - 3*j - 58 = g*d, -3*d + 3*j = -87. Is d a multiple of 8?
False
Suppose 212*m - 30200 = 202*m. Is m a multiple of 18?
False
Let c = -28 + 19. Let u = 11 + c. Suppose u*f + 52 = 3*m - 2*f, 2*m - f - 43 = 0. Is 12 a factor of m?
True
Let r(f) = f**3 + 2*f**2 - 4*f - 4. Let g be r(-3). Does 14 divide (g/(-2) - (-1023)/18)*3?
False
Let m(b) = b**3 + 4*b**2 - 5*b - 15. Let y be m(-6). Let g = 160 + y. Does 15 divide g?
False
Let v = 2 - -1. Suppose 35 = v*w - 11*z + 6*z, 5*z = 2*w - 20. Suppose 0 = -w*m + 13*m + 48. Is m a multiple of 8?
True
Suppose -19*c = -4*h - 18*c + 11841, 0 = -h - c + 2959. Is 88 a factor of h?
False
Suppose -n + 28 = n + 4*c, 0 = -n - 4*c + 22. Suppose -19*p = -18*p - n. Does 2 divide p?
True
Let o be (78/(-12))/(1/14). Let w = o - -158. Let q = -41 + w. Does 13 divide q?
True
Suppose 116*d = 121*d - 935. Is d a multiple of 17?
True
Let a be (252/45)/(4/10). Let l be 6/(-18) - a/(-6). Suppose -l*j + j = -36. Does 12 divide j?
True
Let d(b) be the second derivative of b**4/12 - 5*b**3/3 - 15*b**2/2 + 12*b. Does 6 divide d(13)?
True
Suppose 5*u - 2746 = -4*f, 3717 - 979 = 5*u + 2*f. Is 21 a factor of u?
True
Let o(f) = -f**3 + 13*f**2 + 17*f + 14. Suppose 0*h = -2*h + 8. Let d be -28*1*h/(-8). Is 14 a factor of o(d)?
True
Let t = -16 - -53. Let s = t - 21. Does 8 divide s?
True
Let t(w) be the first derivative of -w**4/4 - 19*w**3/3 - 11*w**2/2 - 11*w - 14. Does 32 divide t(-19)?
False
Suppose -35*f + 50*f = 9255. Is 27 a factor of f?
False
Suppose l - 11 = -3*l - 3*z, -2*l + 4*z = -22. Let x = -34 - -140. Suppose -4*s = -4*k + 96, 9 + x = l*k - 4*s. Is k a multiple of 8?
False
Let s = 1964 + -1399. Is 26 a factor of s?
False
Suppose -65*r = -74*r + 23490. Is 48 a factor of r?
False
Suppose 0 = -255*w + 267*w - 5400. Is 90 a factor of w?
True
Is (-24)/(-60) + 6266/10 a multiple of 19?
True
Suppose 0 = -0*k - 5*k. Suppose k = -8*s + 5*s. Suppose -2*f + 29 + 3 = s. Is f a multiple of 8?
True
Let v = 1 - -24. Suppose -5 = 5*c - v, c + 124 = 2*l. Is l a multiple of 16?
True
Suppose -2769 + 304 = -5*w - 5*c, 2*w - 5*c = 1021. Is 9 a factor of w?
False
Let d(a) = a - 5 - 14 - 6*a + 5. Let j(b) = -b**3 + b. Let k be j(2). Is d(k) a multiple of 16?
True
Let s(v) = -v**3 + 4*v**2 + 8*v - 11. Let j be s(5). Suppose 7*h - 12*h + 3*k = -101, j*h = -3*k + 97. Is 14 a factor of h?
False
Let v = 34 + -69. Does 16 divide (-7)/(-3)*(-2 - v)?
False
Is (1 - -1692) + 2 + 2 + -5 a multiple of 6?
True
Let t(h) = -4*h + 1086. Does 4 divide t(73)?
False
Does 11 divide (10989/(-36))/((-9)/12)?
True
Let l be (357/34)/((-1)/(-14)). Let i = l - 98. Is 26 a factor of i?
False
Suppose 0 = 3*k - 4*x - 102 - 763, 5*k = -2*x + 1485. Is k a multiple of 12?
False
Let p(h) = 4*h + 13 - 58*h**3 + 7*h**2