0844. Is c a multiple of 142?
False
Suppose 12*q - 11*q - 2 = 0. Suppose w + h + 19 = 4*w, -q*w = 2*h - 2. Suppose d + d = 0, 3*s = -w*d + 48. Is s even?
True
Let y be ((-9)/(-12))/(-1 + (-6)/(-8)). Let g be y/((-9)/2131) - (-30)/45. Suppose 0 = -2*u + 3*p + 292, -u - 2*p = 4*u - g. Is u a multiple of 7?
False
Suppose 16335 = 11*s - 9163. Is s a multiple of 38?
True
Suppose -4*g = -7*g + 942. Suppose 3*r = -4*c - 628, -2*c - 4*r - g = -2*r. Let o = -55 - c. Is 51 a factor of o?
True
Suppose 46769 = -12*n + 166577. Does 24 divide n?
True
Let i be (39 - 29)*(-2)/(-10). Is 12 a factor of 384*((-99)/(-88))/(3/i)?
True
Is 105 a factor of ((-60)/9 - -4) + 62664/9?
False
Let q be -92*6/(-4) - (-2 + 5). Suppose -10 + q = o. Does 10 divide (-1 + (-18)/10)/((-5)/o)?
True
Let d = 37 - 52. Let p = 20 + d. Is 68/p - (-6)/15 a multiple of 6?
False
Suppose 0 = -14*u + 18*u. Let g(r) = 5*r**2 + 2*r + 19. Is 4 a factor of g(u)?
False
Is 36 a factor of 414 + (4*(-1)/(-26) - 2/13)?
False
Let s(b) = -167*b - 17. Let f(y) = -83*y - 9. Let u(g) = 5*f(g) - 3*s(g). Does 14 divide u(4)?
True
Let f = -826 + 558. Does 67 divide (f/(-6))/((-6)/(-36))?
True
Let y be (-22)/3*9/6. Let x be -1 + -2 - (-1628)/y. Let n = -87 - x. Does 32 divide n?
True
Is 10 a factor of (13 - 33)*1389/(-6)?
True
Suppose 5*s + 5*r = 26920, -13*s + 18*s - 26938 = r. Does 18 divide s?
False
Suppose -d + 5*m + 15963 + 297 = 0, d = 2*m + 16257. Is d a multiple of 124?
False
Suppose 156*b - 135*b = 1037715. Does 84 divide b?
False
Suppose 44*b + 38*b - 4838 = 0. Is 2 a factor of b?
False
Let o(s) = -9*s**3 + 13*s**2 + s - 27. Is o(-7) a multiple of 82?
True
Let u(o) = 840*o - 8. Let b be u(2). Does 11 divide (6*(-1)/(-3))/(8/b)?
True
Let q = 6035 - 4907. Is 11 a factor of q?
False
Let z = -163 + 167. Suppose -j + 117 = z*w, -4*j = 4*w - 3*w - 468. Is 15 a factor of j?
False
Let l(u) = -2916*u**3 - 5*u**2 - 12*u - 1. Is 9 a factor of l(-1)?
False
Let v(x) be the second derivative of x**4/2 - 35*x**3/2 + 21*x**2/2 + 20*x. Is 28 a factor of v(19)?
False
Let a = 18332 - 11932. Is a a multiple of 40?
True
Suppose 33*l = 26*l + 42. Suppose -l*j + 7*j - 249 = 0. Does 8 divide j?
False
Suppose 4*m = 2*z - 2460, 111*z - m - 1235 = 110*z. Does 8 divide z?
True
Let t(l) be the first derivative of -l**4/4 + 20*l**3/3 + 13*l**2 + 30*l - 4. Let y be 3*((-80)/(-8) + -3). Does 47 divide t(y)?
False
Does 77 divide (4 - -22)/(14/4851)?
True
Let c = 24549 + -17290. Does 61 divide c?
True
Let p = -24 - -28. Suppose p*f - 12 - 4 = -z, -22 = -2*f - 4*z. Is (f/(-2))/(-1*4/128) a multiple of 16?
True
Suppose 5*w = 2*m - 21955, -11*w + 8*w - 43931 = -4*m. Does 13 divide m?
True
Suppose 0 = d + 5*c - 3, 0*d - 2*c = d - 3. Let p be (1 + -11 - -1) + d. Let b(y) = -12*y + 3. Is b(p) a multiple of 15?
True
Let l(c) = 2*c**3 - 5*c**2 - 2*c + 12. Suppose 41 - 2 = 13*i. Is 3 a factor of l(i)?
True
Let v(b) = 16*b + 14*b + 16*b + 76 - 86*b. Is 56 a factor of v(-9)?
False
Suppose -3*q - 9896 = -13*q + 31584. Is q a multiple of 62?
False
Suppose -k = 4*o - 193, 0*o + 53 = o + 5*k. Let d = 51 - o. Suppose 2*z = d*z - 54. Is z a multiple of 9?
True
Suppose -4*g + g - 4 = 4*p, -4*g + 24 = -2*p. Suppose 0 = -5*l - 2*x + 35, -g*l = -0*l + 5*x - 11. Suppose -l*r - 3*r = -1104. Does 3 divide r?
False
Suppose 2*i - 4075 = 3*g + 18365, g = -5*i + 56049. Is i a multiple of 13?
False
Let z(v) = 6*v**3 - v**2 + 9*v + 2. Let k be z(-4). Let j = -295 - -39. Let a = j - k. Is a a multiple of 20?
False
Suppose -4*a = -3*x - 85 - 112, 5*a - 4*x = 245. Suppose -a = -y + 324. Is 44 a factor of y?
False
Suppose 384 = 2*f - 0*f. Suppose 2*w + 4*u + 22 + 12 = 0, -2*u - 26 = 2*w. Is f/w*(-54)/8 a multiple of 48?
True
Suppose -167 = 3*i - 857. Does 68 divide ((-33)/(-440)*8)/(2/i)?
False
Let h = 169 + -165. Suppose -4*l = 5*v - 4050 - 245, -3445 = -h*v - 5*l. Does 15 divide v?
True
Let f(x) = x**3 - 11*x**2 + 20. Let w(j) = j**2 + j - 2. Let d(y) = f(y) + 4*w(y). Is 15 a factor of d(11)?
True
Suppose -110*v = -123*v + 56589. Is 18 a factor of v?
False
Let z = 3252 - 1372. Is 4 a factor of z?
True
Let o(t) = 3*t + 31. Let q be o(-8). Let w be 16 + -4 + q + -6. Suppose -8*r + w*r = 195. Is r a multiple of 3?
True
Let p be 6 - (-20 - -18)*2210/4. Let u = 2220 - p. Is 31 a factor of u?
False
Let c(r) = r + 3. Let q be c(0). Let f(b) = -b**3 + 2*b**2 + 4*b. Let k be f(q). Suppose 5*s + 202 = k*u, 0*u = -4*u + 5*s + 271. Does 14 divide u?
False
Let y = -1591 + 49873. Does 211 divide y?
False
Let v = -3336 + 3365. Let h(j) = -48*j - 2. Let o be h(-5). Suppose 0 = -3*m + o + v. Is 29 a factor of m?
False
Suppose 417*b - 1448 = 421*b. Is b*27/(-9) - 8 a multiple of 10?
False
Let l = -26 + 43. Let g(b) = 0*b**2 - b**2 - 2*b + l*b + 0 - 4. Is 9 a factor of g(14)?
False
Suppose -21 = -6*p + 9. Suppose -p*q + 261 + 3199 = 0. Suppose -6*a = -8*a + 5*w + 318, 4*a + 4*w = q. Is a a multiple of 27?
False
Let j(l) = -676*l**3 - 2*l**2 + 1. Let a be j(-1). Suppose -753 = -6*m - a. Is m a multiple of 13?
True
Suppose 10*q - 4*q + 1453 = -83. Suppose 1371 + 989 = 5*a. Let i = q + a. Is 24 a factor of i?
True
Let p(a) = -a**3 - a**2 + 81. Let x be p(0). Let h be 2/(-11) + (-1)/(33/(-6)). Suppose 3*s = 4*q + 221 - x, -4*s - 4*q + 168 = h. Is s a multiple of 8?
False
Let u(t) be the second derivative of t**5/20 - 2*t**4/3 - 6*t**3 + 31*t**2/2 - 214*t. Is u(15) a multiple of 82?
True
Let n(l) = -l**3 - 10*l**2 - 4*l - 12. Let w = 30 - -28. Suppose -w = 5*s - 4*c, 0 = 3*s + 5*c + 9 + 11. Does 14 divide n(s)?
True
Let k be 0/(-2) - (16 + -1524). Let r = 2124 - k. Does 77 divide r?
True
Suppose 0 = -240*k - 2016027 + 5266827. Does 129 divide k?
True
Suppose 3888 = 12*r - 9*r. Suppose -3*n - 3*n + r = 0. Let m = n + -154. Does 19 divide m?
False
Suppose 3*y - 18 = -3. Suppose -j - 1878 = -4*m, -4*m + y*j = -m - 1417. Let x = m + -259. Does 14 divide x?
True
Let z(h) = 3*h**2 + 16*h + 23. Let m be z(-2). Is 18 a factor of ((5 + -2)/m)/(17/2448)?
True
Let d(a) = a**3 + 6 - 4 + 1 - 3*a - 1. Is d(4) a multiple of 13?
False
Let u = -258 + 455. Suppose 5 = -0*j + 5*j, -2*j = 5*y - u. Is y a multiple of 13?
True
Is 13 a factor of -47 - -544 - (1 - -6)?
False
Suppose 4*k + w - 5 = 69, -2*k + 2*w + 32 = 0. Suppose -20*c + k*c + 378 = 0. Suppose c + 59 = 5*o - 4*g, 3*g = -6. Does 12 divide o?
True
Suppose -78 = -6*p - 0*p. Let f be (-10659)/(-247) + (-2)/p. Suppose -624 = -47*d + f*d. Is d a multiple of 13?
True
Suppose 0*i + 5*i = -16*i + 14343. Is 47 a factor of i?
False
Does 36 divide ((-60)/(-3) - (63 + -47)) + (25223 - 1)?
False
Let x(z) = -z**2 + 18*z - 17. Let g be x(17). Let d = g + 0. Suppose 4*u - 4*h - 48 = 0, -3*h + 7*h = d. Is u a multiple of 5?
False
Let n = -10 + 14. Let m(c) be the second derivative of 7*c**3/3 + 4*c. Is m(n) a multiple of 30?
False
Suppose 5*w - 22 = -4*n, 3*n - 7*n - 2*w = -16. Suppose 0 = -n*k - 333 - 129. Is k*3/(-12)*2*2 a multiple of 24?
False
Let b(c) = 3*c**2 + 7*c + 5. Let f = -13 + 18. Suppose 0 = s - 6*s + 5*v + f, 3*s = -2*v + 28. Is 19 a factor of b(s)?
False
Let n = -73 - -34. Let h = n + 40. Does 10 divide 8*(h + 5 + -1)?
True
Suppose -3*g + 108 + 217 = -5*z, z + 93 = -5*g. Let t = -43 - z. Is t a multiple of 5?
True
Suppose -z = -2*b - 22145 + 6781, -3*b + 3 = 0. Is z a multiple of 20?
False
Suppose 106*v - 104*v + 62 = 0. Is (2/4)/(v/(-85932)) a multiple of 17?
False
Let d be ((-21)/35)/((1/5)/(-1)). Let n(w) = -w**3 - 1 + 7*w**2 - 2*w - 2 - 2*w + 0*w**d. Is 29 a factor of n(4)?
True
Let v = 2585 - 857. Is 48 a factor of v?
True
Let b(m) = -8*m + 132. Let l be b(16). Suppose -d - 5 = -5*n - 20, -l*n + 45 = 3*d. Is 4 a factor of d?
False
Let u = -21 - -24. Suppose -2*j + b - 24 = -6*j, u*b - 6 = -j. Does 9 divide (-40)/(-6)*63/j?
False
Suppose -72*u + 70*u + 216 = 0. Is u a multiple of 36?
True
Let y(v) = -3*v**2 + 12*v - 3. Let d be y(-2). Let r be (-478)/6 - 10/(-15). Let q = d - r. Does 6 divide q?
False
Is 39 a factor of ((-92)/(-6))/(31/(14508/8))?
True
Suppose -531*s + 79*s = -14745596. Is 14 a factor of s?
False
Let q(o) = -o**2 - 39*o - 109. Let m be q(-36). Is 10 + m + 4*14 a multiple of 5?
True
Let a(g) be the second derivative of 2*g**4/3 + 7*g**3 - 5*g**2/2 - g + 22. Is a(-16) a multiple of 20?
False
Let h(r) = 9*r - 4. Let g be h(