 -4) + 2. Let q = x - -37. Is q a multiple of 10?
True
Let t(n) = -n**2 + n + 3. Let q be t(0). Suppose -4*x + 5*w = 9, -32 = -0*x - q*x - 4*w. Let m(b) = 4*b - 2. Is 4 a factor of m(x)?
False
Let x = 111 - 83. Is 11 a factor of x?
False
Let o(c) be the first derivative of c**2/2 - 3*c - 2. Let w be o(5). Suppose 0 = 4*u + w*r - 46, 2*u + 8*r - 38 = 4*r. Does 2 divide u?
False
Suppose -4*i - 5*n + 20770 = 0, n = -3*i - 2*n + 15576. Does 15 divide i?
True
Let v be (-32)/(-12) - (-2)/(-3). Let l(r) = v - 8 + 7*r + 0*r. Does 11 divide l(4)?
True
Let g(w) = 5*w**2 + 15*w + 3. Let r be g(5). Let n = r - 137. Is 22 a factor of n?
True
Let a be (0 - 0) + -1 + 3. Suppose 0 = -a*t + 78 + 34. Does 31 divide t?
False
Let q = -2 - -3. Let z be 4/(-8)*(1 - q). Suppose z = 4*o - 2*o - 124. Is o a multiple of 19?
False
Suppose 0*t - 208 = -4*t. Let r = t + -31. Let z = 30 - r. Is z a multiple of 9?
True
Let d be (-40)/(-22) + 4/22. Suppose j + 138 = d*j. Let s = j + -66. Is 20 a factor of s?
False
Let d = -250 - -1681. Is d a multiple of 31?
False
Is 4 + 402 + 4/2 a multiple of 24?
True
Suppose -h - 483 = s, 4*h + 1339 = s - 618. Does 25 divide (4/(-16))/((-1 - -3)/h)?
False
Let i = 227 + -185. Is i a multiple of 3?
True
Let z(v) = -v + 14. Let m be z(14). Does 37 divide (-448 - m)/(-2) - 2?
True
Let g = 1739 + -454. Is g a multiple of 9?
False
Suppose f - y + 5 = -3*f, -4*y + 20 = -2*f. Suppose f = -q + 3*q. Is 8 a factor of (q/(-2))/(-2) + 24?
True
Let j(l) = 325*l - 10. Let h be j(-2). Is 5 a factor of ((-3)/(-6))/((-6)/h)?
True
Does 16 divide (122 - 116)/(6/368)?
True
Let w(r) = -2 - 5*r**2 + 3*r**2 - 4 + 8*r + r**2. Suppose 3*t - 30 = -4*y, -19 = -5*t + 5*y - 4. Does 6 divide w(t)?
True
Suppose 6*w = w + 5*x + 3625, -w = 5*x - 719. Is w a multiple of 15?
False
Suppose -9*b + 791 = 35. Let a = -65 + b. Is a a multiple of 7?
False
Suppose -3*c + 7*c = 4. Let p be c/2 - (-1)/(-2). Does 10 divide (1 + -2)*(-49 - p)?
False
Let i be (-143)/(-66) + 2 + (-26)/12. Suppose -2*z - 2*n + 274 = -0*n, -i*z + 275 = 3*n. Does 34 divide z?
True
Suppose 114 = -2*w + 8*w. Suppose -w + 359 = 4*g. Is 17 a factor of g?
True
Let u(v) = -20*v**2 - 5*v + 1. Let p(g) = 19*g**2 + 4*g - 1. Let s(x) = -6*p(x) - 5*u(x). Let q be s(-1). Does 6 divide -1 - q/(-4)*-2?
True
Let s = -20 - -17. Is 12 a factor of -2*(-135)/6 - s?
True
Let j(z) be the second derivative of z**4/12 - z**2/2 - 3*z. Is j(3) even?
True
Let j(s) = s**2 - s - 6. Suppose 4 = -5*u - 36. Is 10 a factor of j(u)?
False
Let t be (4 + -5)*5/(-1). Suppose 2 = m - t. Is m a multiple of 7?
True
Suppose -x = -4*m - 3*x + 2200, -x = -m + 553. Suppose -4*a = -3*b + m, 3*b = -b + a + 713. Suppose 4*u - 111 = b. Does 12 divide u?
True
Suppose -8846 = -8*l + 6242. Is 44 a factor of l?
False
Suppose -19*o = 9*o - 24528. Is 6 a factor of o?
True
Let i be ((3 - 4) + -3)*-1. Let g(b) = -b**2 + 6*b - 3. Let j be g(i). Suppose -j*d + f + 227 - 69 = 0, -4*d - 4*f + 136 = 0. Is d a multiple of 8?
True
Suppose -g = -5*j - 1059, 6*g - 3*j = 4*g + 2090. Does 8 divide g?
False
Suppose -7 = 5*u - 12. Let c = -1 + u. Suppose c = 2*j + 2, x - j - 121 = -2*x. Does 18 divide x?
False
Let r(j) = j + 2. Let m be r(3). Suppose 54*l = 62*l - 1648. Suppose 2*t + 98 = 2*b, -35 - l = -m*b + 4*t. Does 15 divide b?
True
Let d be 12/(-2)*7/2. Let p = -15 - d. Suppose 5*a - 50 = -h, -h = -p*h + 3*a + 278. Is 22 a factor of h?
False
Is 24 a factor of (42/105)/(1/720)?
True
Suppose -11*h = -h - 3670. Does 19 divide h?
False
Let b be 4/(-20)*-1*-35. Let r(a) = -8 - 2 - 4*a - 6*a. Does 12 divide r(b)?
True
Let i = -17 - -9. Let d(u) = -3*u + 7. Let m be d(i). Let p = -19 + m. Is 9 a factor of p?
False
Let w(b) = 7*b**2 + 10*b + 10. Let r(y) = -20*y**2 - 29*y - 29. Let q(k) = -6*r(k) - 17*w(k). Does 22 divide q(-10)?
False
Suppose 4*d = d - 54. Let s(g) = -g + 62. Is 20 a factor of s(d)?
True
Let t(l) = 2*l**2 - 23*l + 8. Let i be t(21). Let y = i - 214. Is y a multiple of 22?
False
Let r(t) = -3*t - 9. Let j be r(-4). Suppose -5*x + 156 = 3*v - 2*x, 3*v - j*x = 156. Let m = v + -24. Is 26 a factor of m?
False
Let b(x) = 18*x + 6. Let p be 160/70 + 4/(-14). Is b(p) a multiple of 7?
True
Let f(z) = -6*z**2 + 2. Let a be f(-2). Let s be a*2/(-2)*3. Suppose -2*c - 6 = -s. Is 15 a factor of c?
True
Let m(b) = -b**2 + 7*b + 11. Suppose 0 = 2*i + i - 24. Let o be m(i). Suppose o*k - 26 = k. Is 4 a factor of k?
False
Let z(u) = 18*u**2 - 2*u + 16. Is z(-5) a multiple of 21?
False
Suppose -12 = -4*n + 4. Suppose 0 = -5*d - h + 623, 109 + 133 = 2*d + n*h. Let s = d + -45. Is 23 a factor of s?
False
Suppose 0 = -b + 5*w - 1 + 11, 2*b + w = -13. Let h = b - -25. Is 8 a factor of h?
False
Let g(o) = -2*o - 16. Suppose c - 3 = -1, c + 9 = -x. Let s be g(x). Let h(m) = 2*m - 5. Does 7 divide h(s)?
True
Suppose 0 = -b + 5*s - 3, 11*b - 8*b - s = 47. Suppose 0 = m + 1, -2*o + 3 = -6*o + m. Let d = o + b. Does 8 divide d?
True
Suppose -4*t + 5*s = 1003 - 221, -2*s - 961 = 5*t. Let i = t + 276. Does 18 divide i?
False
Let d(p) = -p**3 - 49*p**2 - 11*p - 230. Is 20 a factor of d(-49)?
False
Let b be (-6)/(-3*1 - -1). Let c(u) = -u**3 + 4*u + 3. Let n be c(-1). Does 10 divide 4*(n - (-15)/b)?
True
Let x(d) = -d**2 + 13*d + 8. Let h(y) = -y**3 + y - 1. Let m(u) = -u**3 + 2*u - 2. Let c(o) = -4*h(o) + 3*m(o). Let a be c(2). Is 22 a factor of x(a)?
False
Suppose 5402 = 5*p + 4*u, 5*u - 4318 = -2*p - 2*p. Is 62 a factor of p?
False
Let w = -31 + -37. Is 17 a factor of -14*5/(40/w)?
True
Suppose 0*m - 186 = 3*m. Does 24 divide (-3 + 4)/((-1)/m)?
False
Let f = 6 + -3. Suppose -f*r = -0*r + p - 6, -4*r + 3*p + 21 = 0. Suppose -90 = l - r*l. Does 13 divide l?
False
Suppose -m = m. Let y be 210*(0 + (1 - m)). Suppose -5*a + y + 145 = 0. Does 18 divide a?
False
Let w(m) = -m**3 - 10*m**2 - 14*m - 4. Does 17 divide w(-15)?
False
Suppose -7*o = -4*o + 5*d - 72, 0 = -2*d. Suppose 12 = y + 4*k, 5*y - k + o = -0*k. Let p(l) = l**2 - 2*l - 7. Is 15 a factor of p(y)?
False
Let p(w) = -w**3 + 13*w**2 + 38*w - 37. Suppose -5*m - b = -71, -4*m - m - 4*b = -59. Is 3 a factor of p(m)?
False
Let k(q) = 0*q**2 + 2 + 1 - 3*q + 8*q**2 + 0*q. Is k(-3) a multiple of 13?
False
Let x(y) = 4*y**2 - 11*y + 17. Let o be x(8). Let b = o - 89. Suppose 0*h + b = 2*h. Does 23 divide h?
False
Suppose 2*h = 5*c + 30, 3*c + 5*h + 43 + 6 = 0. Does 5 divide 13 + 4/c*-6 + 4?
True
Let r = 15 + -5. Let b = -11 + r. Let x(h) = 11*h**2 + 2*h + 1. Does 10 divide x(b)?
True
Let n(y) = 7*y**2 - 3*y + 6. Let i be n(3). Suppose i = w + 2*w. Does 25 divide 8/w - 248/(-5)?
True
Suppose d - 2448 = -n, -4*n = 5*d - 11214 + 1422. Does 12 divide n?
True
Let m(v) = -v**3 + 11*v**2 - 21*v + 22. Let g be m(9). Let c(w) = -6*w - 1. Is c(g) even?
False
Let x(b) = -b**2 + b - 108. Let n be x(0). Suppose -z - z = 4. Is z - n - (0 + 3) a multiple of 23?
False
Suppose -7*q + 15 + 853 = 0. Is 17 a factor of q?
False
Suppose 2*r - 1728 = 2496. Does 44 divide r?
True
Let f(v) = -2 - 12 + 2 + 7*v + 3*v**2. Is f(-5) a multiple of 10?
False
Let l = 651 + -395. Suppose 0 = -t + l - 62. Suppose v = p + 34, -2*p + p + t = 5*v. Is v a multiple of 15?
False
Is (0 + 3/2)*(-312)/(-2) a multiple of 9?
True
Suppose 2*s = -2*k + 542, -402 = -4*k + s + 677. Does 10 divide k?
True
Let v = 379 - 141. Is v a multiple of 30?
False
Let w(v) = 402*v**2 + 4*v + 2. Let x be w(-1). Suppose -12*h + 4*h + x = 0. Does 5 divide h?
True
Let t = -298 + 517. Does 2 divide t?
False
Let l be (30/(-9) - -3)/((-3)/27). Let x(f) = 7*f**2 - 4*f + 2. Does 5 divide x(l)?
False
Suppose 0 = -9*c + 4011 + 3333. Is c a multiple of 51?
True
Let c(x) = 3*x - 13. Let u be c(10). Suppose -u = -g - 5. Is g a multiple of 6?
True
Let s = 23 + -43. Suppose 497 - 1907 = -47*a. Let z = a + s. Is 3 a factor of z?
False
Let m = -28 + 33. Let c(b) = b**2 + b. Let w be c(-2). Suppose -m*v + 87 = -w*v. Is v a multiple of 6?
False
Suppose -s + 5*k = -0*s - 18, s = -4*k. Suppose b = 2*b, s = 4*j + 2*b. Suppose 0 = -j*u + 78 + 78. Does 13 divide u?
True
Suppose 0*z + 5*z - 37 = -p, 27 = 3*z + 3*p. Let a(j) = j**2 + j + 23. Is a(z) a multiple of 48?
False
Suppose 2*a - 517 = -d + 159, 4*d + 5*a = 2710. Does 20 divide d?
True
Let r(n) = -50 + 99 + 6*n**2 + 3*n - 58. Is 17 a factor of r(4)?
False
Suppose -w