- 4*x**2 - 2*x + 8. Let i be 8/(1/(3 + (-20)/8)). Let y be m(i). Suppose 2*h - f - 31 = y, 34 = h + 2*h - 4*f. Does 9 divide h?
True
Suppose 9*o + 20784 = 58395. Let k = -2052 + o. Does 56 divide k?
False
Suppose -3*h = -4*n - 12344, 4*h - 2188 = -2*n + 14300. Is h a multiple of 20?
True
Let w be (-368)/(-64) + 2/8. Suppose -2*x + w = 2*x + 5*j, -2*x + 5*j = -18. Let h = x + 22. Is h a multiple of 26?
True
Let y(b) = 189*b**2 - 4*b + 5. Let f(r) = r**2 + r - 1. Let w(s) = 5*f(s) + y(s). Is 12 a factor of w(-1)?
False
Suppose 88*b - 84*b + 4*z = 15216, b + 3*z = 3798. Is 27 a factor of b?
True
Is (-45)/(-10) + (-106370)/(-20) a multiple of 138?
False
Suppose 3*j - 2*j = -2*w + 103, 2*j - 204 = -2*w. Let q = 210 - j. Is 4 a factor of q?
False
Suppose -684189 = -55*u - 92774. Is 13 a factor of u?
False
Is 29132 - ((-8)/4 - 14) a multiple of 19?
False
Suppose -t + 2*h = -9992, -5*t + 3*h + 29259 = -20666. Is t a multiple of 14?
True
Let z = 3065 + 51. Is z a multiple of 41?
True
Suppose 0 = 3*h - 3*h + 4*h. Suppose 2*v - 130 - 380 = h. Is 6 a factor of v?
False
Let m be 13/78 + (3 - (-57)/(-18)). Let h(n) be the third derivative of n**5/60 - n**4/12 + 101*n**3/6 - 2*n**2. Does 30 divide h(m)?
False
Suppose 14*d = 8*d + 30. Suppose -5*r + 3*r + 116 = -2*n, -d*r + 286 = -4*n. Is r a multiple of 27?
True
Let z(v) = 28*v**2 + 33*v - 205. Is 11 a factor of z(5)?
True
Let a(x) = x**3 + 4*x**2 + x - 4. Let s be a(-3). Suppose -3*f = s*f - 2520. Is 72 a factor of f?
True
Suppose 0 = 4*b + 2*q - 42, -3*b + 0*b = 4*q - 44. Let z(s) = 36*s + 22. Is 62 a factor of z(b)?
True
Suppose -6*m = -12*m - 18. Let y be (20/(-3))/(2/m). Let z = y + 3. Is 9 a factor of z?
False
Let s(q) be the third derivative of -q**6/120 + q**5/3 - 13*q**4/24 - 19*q**3/6 + 113*q**2. Does 7 divide s(19)?
False
Let y(j) = 30*j**2 + 72*j - 98. Is y(16) a multiple of 11?
True
Let s = -8585 + 10720. Is 61 a factor of s?
True
Is 74 a factor of 3748/6*(7 + 10/5)?
False
Let j(i) = -i**3 - 2*i**2 + i. Let m be j(1). Let k be (-1)/(m/(-32)*4) + 0. Is 30 a factor of (-4 + 3)/4 + (-361)/k?
True
Let b(z) be the second derivative of -z**5/20 + 3*z**4/4 + 13*z**3/6 + 9*z**2/2 - z. Let u be b(10). Let d = u + -21. Is d a multiple of 9?
True
Let a be (-4)/14 - 2/(-7). Suppose a = 2*b - 0*c - 2*c - 380, b - 2*c - 193 = 0. Suppose 8*z - 5 = b. Is z a multiple of 2?
True
Let h(r) be the second derivative of -5*r**3/2 + 225*r**2/2 - 55*r - 1. Does 40 divide h(-15)?
False
Let j(q) = 5*q**2 - 10*q + 2. Let v be j(-8). Suppose 3*h + 701 = -5*u + 17, 2*h - 264 = 2*u. Let n = u + v. Is 22 a factor of n?
False
Let m = -1034 + -112. Let u = -666 - m. Is u a multiple of 30?
True
Let c be 18/2 + (694 - 82). Suppose -6*n - c = -7*n + p, 639 = n + 5*p. Is n a multiple of 8?
True
Suppose 65 = -2*q - 5*v, 7*q - 2*q + 206 = 2*v. Let a = 44 + q. Suppose d = a*f - 297, -34 = -f + 4*d + 29. Is 7 a factor of f?
False
Suppose o - 2 = 0, 0 = 6*a - a - 5*o - 1875. Let c = a - 329. Does 36 divide c?
False
Suppose 616 = 4*l + 3*l. Suppose 616 = c - l. Suppose c = -10*u + 18*u. Is 8 a factor of u?
True
Let l = 281 + 21. Let b = l - 164. Does 46 divide b?
True
Let c = 2187 - 3923. Is 3 a factor of c/16*24/(-14)?
True
Suppose 0 = 4*n - 2*r + 158 + 350, 4*r = 5*n + 632. Is 12 a factor of -24*(2 + 0)/(16/n)?
True
Let o(j) = 10*j + 141. Let z be o(-10). Let k = z + -34. Is 3 a factor of k?
False
Let g = 158 - -183. Suppose g = 11*d - 825. Does 8 divide d?
False
Suppose -13 = -4*m + 5*l, -m + 4*l + 4 = 9. Suppose m*f - 2 = 6*f. Suppose -f*w - 22 = -3*r + 22, 22 = r + 3*w. Is 7 a factor of r?
False
Suppose -27*t + 1118112 = 153*t - 793488. Is t a multiple of 90?
True
Let o be 1/3*(4 + -2)*63. Suppose -30 = -4*s + o. Suppose 0 = -3*j + 5*b + 65, -2*j + 5*b = -s - 17. Does 6 divide j?
True
Let t(p) = 139*p + 2434. Is t(4) a multiple of 10?
True
Suppose 0*r + r + 149 = 5*x, -x - 4*r = -13. Let u = x + -26. Suppose 0 = -5*s - m + 204, -2*s - 38 = -3*s - u*m. Does 9 divide s?
False
Let s be 344/(-84) + 4 + (-340)/(-42). Does 9 divide ((-162)/s)/((-10)/80)?
True
Let l be ((-1488)/(-3))/2*(-6)/(-4). Let r = l - 28. Let y = r - 219. Is 31 a factor of y?
False
Let l(v) = v**2 + 3*v - 16. Let k be -1 - (-1)/(5/(-25)). Let x be l(k). Does 14 divide -5 + x + 2 - -113?
True
Let s = -50 + 50. Suppose s = -g - 5*g + 1284. Let q = -34 + g. Does 36 divide q?
True
Suppose -19*h + 54 = -3. Suppose 2*p - 1980 = -h*p. Is p a multiple of 80?
False
Let d = -83 + 110. Let c be -126 + -1 + (-81)/d. Let u = c + 252. Is u a multiple of 9?
False
Let f(b) = 3*b**2 + 17*b + 12. Let p be f(6). Suppose 1144 = 5*i - 3*t, 2*i - 3*t - 232 - p = 0. Is 46 a factor of i?
True
Let i = -195 + 347. Suppose -1984 = -i*j + 144*j. Is 33 a factor of j?
False
Suppose 2*q + 2*q - 52 = 0. Suppose -q*u + 94 = -11*u. Let z = -42 + u. Is 4 a factor of z?
False
Let t(g) = 2*g**3 - 79*g**2 - 107*g - 196. Is t(42) a multiple of 3?
False
Let l(s) = -846 - 850 + 10*s + 3*s**2 + 1718 - 2*s**2. Let w(h) = -h**2 - 2*h. Let v be w(3). Is l(v) a multiple of 11?
False
Let c be ((-6)/5 + -2)/(16/(-19800)). Suppose 12*v = 7*v + c. Is v a multiple of 33?
True
Let w(t) = t**3 - 54*t**2 + 249*t + 227. Is w(49) a multiple of 3?
True
Let b be -8 - 0/((0 - -1)*-2). Let j(n) = n + 10. Let h be j(b). Suppose 2*t = 4*l - 3*t - 391, 0 = h*l - 5*t - 193. Is l a multiple of 11?
True
Suppose 0 = w + 6*o - 8*o - 6008, w + 4*o = 5972. Is w a multiple of 77?
False
Suppose 0 = -0*k + 2*k - 6. Suppose -5*o + k*o = -5*q, 10 = -5*q + 4*o. Is (-1)/q - 1/((-6)/243) a multiple of 11?
False
Let j be (-10)/3*3/(-2). Suppose j*g - 45 = -5*v, g - 2*v - 34 = -g. Suppose -g*d + 992 + 997 = 0. Is d a multiple of 23?
False
Let z be (117472/10)/2 + (-394)/(-985). Let c = -3974 + z. Is 38 a factor of c?
True
Suppose -3*g = 4*i + 2 + 2, -3*i - 3 = -g. Let w be -3 - (-9 - -2) - g. Suppose 3*d - 399 = -5*n, -w*n = -8*n + 3*d + 303. Is 39 a factor of n?
True
Let c(g) = -g**2 + 12*g - 7. Suppose 6*s - 272 = -10*s. Let f be c(s). Let i = f + 112. Is i a multiple of 2?
True
Let s(y) = 5*y**2 + 11*y + 9. Let g be s(9). Suppose -2*v = -5*q + g, -5*v + 2 = 22. Suppose 0 = -m - 3*w + q, m = -2*w + 3*w + 81. Is 29 a factor of m?
False
Suppose 3*u = 7*u. Suppose -5*d + u*d = -15. Suppose -5*x + 415 = -d*t - 2*t, 4 = t. Does 41 divide x?
False
Let f(j) = 990*j + 1584. Does 33 divide f(17)?
True
Suppose -4*u + 3*f + 22 = 0, 2*u = -0*u - 4*f. Suppose 578 = u*t - 106. Is t a multiple of 20?
False
Suppose -z - 12 - 11 = 0. Let r = 17 + z. Is 25*r/(-4)*168/63 a multiple of 10?
True
Suppose 4*q = 5*a + 51717, 3*q + 3*a - 46263 = -7482. Is q a multiple of 121?
False
Let j(w) = -16*w - 8. Suppose -h - 9 = 3*g + 2*h, 2*g = 5*h - 34. Does 26 divide j(g)?
True
Let x(s) = -6*s**2 - 14*s + 2. Let g(m) = -5*m**2 - 14*m + 3. Let t(z) = 5*g(z) - 6*x(z). Let k(w) be the first derivative of t(w). Is k(4) a multiple of 19?
False
Let b = 216 + -215. Suppose -5*w + 245 = 3*g, -b = -4*g - 5*w + 319. Is g a multiple of 5?
True
Let q = -33 - -44. Let t(d) = 8*d + 5*d**3 + 4*d**2 - q + 3 - 6*d**3. Does 3 divide t(5)?
False
Suppose -2*j - 1304 = -4*x + 5960, 0 = -2*j + 4. Does 23 divide x?
True
Is 40/(-340) - (-116622)/17 a multiple of 10?
True
Suppose o - k = 12 + 8, -5*k + 5 = 0. Does 48 divide 56/o + (-745)/(-3)?
False
Suppose 331*j + 168 = 332*j. Suppose -j = -363*d + 360*d. Does 7 divide d?
True
Suppose -12*k = -13*k + 2. Suppose -28 = 9*g - k*g. Is 24 a factor of 271 + -14 - 3/(3/g)?
False
Does 9 divide (6/(-4))/(-14 + (-421552)/(-30112))?
False
Let c(w) be the first derivative of -w**4/4 - w**3 + 9*w**2/2 + 3*w + 4. Let t be c(-6). Suppose -5*s - 36 = -3*f, s = 3*f + 3*s - t. Is 17 a factor of f?
True
Suppose -201*k + 1546083 - 441387 = 0. Is 15 a factor of k?
False
Suppose 0 = -3*l + 62*v - 67*v - 141, 5*l + 222 = -4*v. Suppose 0 = 4*t - 107 - 113. Let p = t - l. Is p a multiple of 17?
False
Let a = -201 + 202. Let p(x) = 365*x**2 - 13*x + 13. Does 8 divide p(a)?
False
Let l = 20550 - 11870. Does 62 divide l?
True
Let n(a) = 20*a**2 - 7*a - 46. Let c be n(-4). Suppose 4*q - c - 286 = 0. Does 21 divide q?
True
Suppose 113*z - 32200 - 47465 = 0. Does 30 divide z?
False
Let l(p) = 7*p**2 - 4*p - 6. Let x be l(-3). Let i = -246 - -201. Let w = x + i. Is w a mul