2?
False
Suppose -2*t + 3 = 4*o + 1, 2*o - 3 = -3*t. Let l(u) = u**3 + u**2 + u. Let z be l(o). Let h = z + 20. Is h a multiple of 8?
False
Let i = 136 + -3. Let m = -41 + i. Is (-3)/(((-30)/m)/5) a multiple of 23?
True
Suppose 3*n - 7*u = -3*u - 603, 4*n - u + 804 = 0. Suppose -5*c + 400 = -4*d, 0 = 6*c - 7*c - 4. Let k = d - n. Is 25 a factor of k?
False
Suppose -h + 5*b + 22 = 0, 5*h + 2*b + 17 + 8 = 0. Is 16 a factor of 2/h + -2 + (-1480)/(-15)?
True
Suppose d = -4, -3*y + 16 = 2*y - 4*d. Suppose y*i - i = -8. Does 8 divide i?
True
Let t = -21 + 20. Suppose 5*c - 2 = 3*c. Is c - (-3)/t - -37 a multiple of 8?
False
Let f(x) = x - 6. Let w be f(6). Suppose -2*z - 798 = -5*s, -5*s - 5*z + 614 + 156 = w. Does 12 divide s?
False
Let t(x) = -x**3 - 3*x**2 - 2*x + 2. Let v be t(-3). Suppose 0 = 3*g + 3*p - 61 - 14, v = 4*p. Is g a multiple of 8?
False
Suppose -6*q = 381 + 93. Let v = -72 - q. Is v a multiple of 7?
True
Suppose 4*k + 2*h = 2061 + 907, 4*k + 4*h = 2972. Does 13 divide k?
True
Let v be -5 + 10 + 1/(-1). Suppose -70 = -v*n - n. Is 7 a factor of n?
True
Suppose 4*j + 0*j = 20. Suppose -j*p = -2*y - 13 - 35, -5*p - 5*y = -20. Is p even?
True
Let o = 149 - -192. Is 20 a factor of o?
False
Suppose -2*z = 5*s + 26 - 113, 0 = s - 5*z - 39. Let q = 28 - s. Is q a multiple of 2?
False
Suppose 0 = 6*i - 28 - 8. Suppose 2*k = 4*k - i, 151 = 5*f - 3*k. Does 32 divide f?
True
Suppose g + 4*v + 380 = 5*g, -v = 5*g - 481. Does 25 divide g?
False
Let d(z) = -53*z + 28. Is 22 a factor of d(-8)?
False
Suppose 0 = x - 7. Suppose x*y = 2*y. Is (5 + 0)*4 - y a multiple of 12?
False
Let g(a) = -29*a + 9. Is g(-3) a multiple of 7?
False
Let m(y) = -y - 1. Let d be m(-5). Suppose d*f - 2*f + 8 = 0. Let j(x) = -x**3 - x**2 + 4. Is 26 a factor of j(f)?
True
Suppose -3*i - 49 = 5*p, 0 = -4*i + 4*p - 20 - 24. Let m = i + 13. Suppose 2*c + m*g = 2*g + 14, -4*g = 12. Does 3 divide c?
False
Suppose 35*k + 317680 = 123*k. Is 38 a factor of k?
True
Let g(c) = 3*c - 23. Let n be (-426)/(-42) - 1/7. Does 7 divide g(n)?
True
Let j(n) = 15*n. Let w be j(1). Let b be w/30*0/(-1). Suppose 11*m - 5*m - 234 = b. Is 13 a factor of m?
True
Suppose 3*y + s - 29 = 0, 5*y - s = 4*s + 15. Suppose u = -u + y. Suppose -a + 5*b = -41, -u*a + 63 = -a - 3*b. Is 7 a factor of a?
False
Suppose 0 = f + 5*v - 2, 4*f - 2*f + 5*v - 4 = 0. Let d be (-10)/(-15)*(f + -14). Does 10 divide -42*(-3 - 12/d)?
False
Let b = -249 + 345. Is 24 a factor of b?
True
Let r(c) = -c**3 - 8*c**2 + 10*c + 7. Does 19 divide r(-13)?
True
Suppose -4*y - 5 + 29 = 0. Suppose -y = 3*f - 27. Is f a multiple of 2?
False
Let o(f) = 5*f**3 + 6*f**2 - f + 5. Let p(k) = -k**3 + k**2. Let s(n) = o(n) + 4*p(n). Does 13 divide s(-9)?
False
Suppose -5*u + 15 = 5*n, 5*n + 2*u + 0*u = 12. Suppose -3 - 1 = -n*j. Suppose 2*y = -v + 2, -v + 6*y + 20 = j*y. Is v a multiple of 4?
True
Let s(a) = 13*a - 72. Does 21 divide s(12)?
True
Suppose -186 = -2*p + 3*r, -10*r = -5*p - 11*r + 499. Does 3 divide p?
True
Suppose -4*j = -0 - 12. Let f = -45 - -63. Suppose 2*a - f = -a - j*w, 5*w + 25 = 0. Is a a multiple of 11?
True
Let r be (-3 - -1)*(2 + (-42)/4). Suppose -5*g - 2*f + f - 58 = 0, 0 = -4*f + 8. Let c = g + r. Does 2 divide c?
False
Let l be (-3)/(-2) + 81/18. Let i be (14/21)/(1/l). Suppose -6 = -2*o, n - i*o = -n + 88. Is n a multiple of 18?
False
Suppose 4*t - 494 = -3*j + 135, -3*t = 2*j - 420. Let z = -127 + j. Does 16 divide z?
True
Let r be (-39)/(-6) + 12/(-8). Suppose 0 = 7*a - r*a - 148. Does 24 divide a?
False
Suppose 0 = -6*j + 304 + 212. Suppose 3*l - 127 = j. Let y = l - 49. Does 11 divide y?
True
Let h(r) = -r**2 - 17*r + 22. Let o be h(-20). Is 19 a factor of (o/(-5))/(((-9)/(-3))/45)?
True
Let i(z) = -z + 1. Let q(k) = -4*k - 2. Let g(x) = -6*i(x) - 2*q(x). Let f = 910 + -907. Does 19 divide g(f)?
False
Suppose 4*l - 4*z = 16, 2*l - 5*z - 8 + 0 = 0. Let s(u) = u**3 - u**2 - u + 1. Let p be s(l). Let w = -28 + p. Is w a multiple of 4?
False
Let h(z) = z**3 - 16*z**2 - 2*z + 551. Does 6 divide h(0)?
False
Let y(f) = -f**3 - 16*f**2 + 11*f - 43. Is 48 a factor of y(-18)?
False
Let t be (-4)/26 - 196/(-91). Suppose -o - 48 = -4*n - 224, -5*n + 365 = t*o. Is 60 a factor of o?
True
Let a(h) = 20*h - 9. Let w be a(4). Suppose -c = 10 - w. Does 12 divide c?
False
Suppose -4*w = 4*n - 148, 4*n + 49 + 83 = 3*w. Suppose -2*r + w = y - 17, 37 = 2*r - 3*y. Does 13 divide r?
True
Let h be 3/(-4) - (-75)/20. Suppose -5*k = -5*r - 30, k + 0*k - h*r - 10 = 0. Suppose 0 = -k*g + 8*g - 120. Does 12 divide g?
False
Let t(s) be the first derivative of -3*s**2 + 82*s - 3. Is t(-24) a multiple of 38?
False
Let x(p) = 29*p**2 + 16*p - 109. Is x(5) a multiple of 87?
True
Let y(h) = 5*h**3 + 12*h**2 - 20*h + 37. Let i(x) = 6*x**3 + 11*x**2 - 21*x + 36. Let n(s) = -4*i(s) + 5*y(s). Is 3 a factor of n(-17)?
True
Does 53 divide 1844/5 - (-3 - -4)/(-5)?
False
Suppose -7*b - 20 = -12*b. Suppose 0 = -3*f - 5*s + 41, 41 + 12 = b*f + 5*s. Let z(r) = r**3 - 12*r**2 + 6*r. Does 19 divide z(f)?
False
Suppose -p + 434 = -2*z, -3*p + 5*z = -139 - 1167. Is 14 a factor of p?
False
Let y(l) = 2*l**2 + 5*l + 4. Let v be y(-3). Let c(f) = f**3 - 7*f**2 + f - 7. Let s be c(v). Let d = s + 7. Does 7 divide d?
True
Suppose 0 = 30*j - 27*j + 144. Let y = j - -57. Is y a multiple of 2?
False
Let z = -3 - 4. Let p(n) = n**3 + 6*n**2 - 17*n - 4. Is p(z) a multiple of 11?
True
Suppose -2*y = -1864 - 440. Is y a multiple of 36?
True
Let y(w) = w**2 - 14*w - 18. Let v be y(15). Let i = 3 + 4. Let j = i + v. Does 3 divide j?
False
Suppose -5*h + 11 + 529 = 0. Does 8 divide h?
False
Let z(a) = -2*a**2 + 4*a - 5. Let d = -10 + 12. Let p be z(d). Is 4*-8*(p - -3) a multiple of 22?
False
Let w = 1918 - 1008. Does 14 divide w?
True
Suppose -4 = -3*y - 52. Suppose 3*x + 31 = 5*d - 11, 24 = 2*d - 3*x. Is ((-8)/y)/(1/d) a multiple of 2?
False
Suppose -5*y = -2*b - 7, y - 4*b = 2 + 3. Let s be (4/(-5))/(y/(-5)). Suppose -s*f + i = -33, i = f - 4*i - 32. Does 2 divide f?
False
Let y(w) = 2 - 6*w - 7*w**2 - 2*w + 4*w. Let g be y(4). Is 19 a factor of g/(-4) - (-5)/(-10)?
False
Suppose 2*s - 47 = 3*z, -4*z - 184 = -5*s - 49. Does 3 divide s?
False
Let q(x) be the third derivative of x**6/60 - x**5/20 + x**4/12 - 2*x**3/3 - 6*x**2. Is 20 a factor of q(3)?
False
Let r(g) be the third derivative of g**5/5 + g**4/12 + g**3/6 + 27*g**2. Does 22 divide r(-3)?
False
Let a(q) = 15*q + 181. Is 53 a factor of a(-5)?
True
Suppose 0 = -2*b + t + 21, 0 = 4*b - 0*b - t - 47. Let i = b - 10. Suppose -5*g + 120 = -5*d, 2*d = d - i. Is g a multiple of 16?
False
Let g(x) = -40*x**3 - x**2 - x. Suppose 4 = -4*d + 8. Suppose -9*f + d = -10*f. Does 20 divide g(f)?
True
Suppose 0 = -11*r + 13*r + 3*a - 606, -4*r - 4*a = -1220. Is 13 a factor of r?
False
Is 3/(-3 + (-63)/(-28)) + 136 a multiple of 11?
True
Suppose 3*w - 11 - 1 = 0. Suppose 45 = w*k + 17. Let i = 0 + k. Is 3 a factor of i?
False
Let o(a) = 2*a. Let l be o(1). Suppose -202 = -5*x - w + 173, -173 = -l*x - 5*w. Does 9 divide x?
False
Suppose 0 = -w + 7 - 3. Suppose 4*j + 3*z - 51 = 3*j, -3*j - 4*z = -163. Suppose w*h - 11 = i + j, 0 = 3*h - 5*i - 51. Is h a multiple of 4?
False
Suppose 4 - 14 = -2*i. Suppose -i*r - 32 = -4*r. Let w = r + 87. Does 11 divide w?
True
Let a(i) = -2*i**3 + 22*i**2 + 21*i - 14. Is 15 a factor of a(11)?
False
Let g = -464 + 319. Let c = g + 212. Is 13 a factor of c?
False
Let w be ((4 + -4)/5)/(1 + 1). Suppose w = 5*o + 3*r - 207 - 315, 3*r - 12 = 0. Is o a multiple of 17?
True
Let m = -867 + 863. Suppose 3*u - 4*g + 2 = 0, 0*u + u - 12 = -5*g. Is 7 a factor of u/(m + 138/33)?
False
Suppose 88*v - 322208 - 85760 = 0. Is 58 a factor of v?
False
Suppose 2*c = 1 + 7. Let g(x) = -c*x + 2*x**2 - x**3 + 0*x - 1 + 2*x + 3*x**2. Is g(4) a multiple of 4?
False
Let s = 149 - 155. Let i(k) = 3*k**2 + 5*k - 3. Does 9 divide i(s)?
False
Let p be (3 + -3)/(3 + -1). Suppose 3*b + 2*k - 276 = 0, p = 4*k - 12. Is b a multiple of 15?
True
Suppose 9*p = 2537 + 3763. Let m = -420 + p. Does 14 divide m?
True
Let n(m) = 159*m + 81. Let a(r) = -10*r - 5. Let i(f) = -33*a(f) - 2*n(f). Suppose 0*x - x + 5 = 4*h, -6 = -5*x - h. Is 2 a factor of i(x)?
False
Let w(m) = 21*m - 3 - 9 - 14 + 12. Does 28 divide w(6)?
True
Suppose x + 0*x