/(-42)*25527 + (-12)/84 a multiple of 85?
False
Let l(x) = -x**2 - 51*x + 40. Is l(-31) a multiple of 33?
True
Suppose -3*h - 3*g + 2*g = 3, 4*h = -g - 5. Let i(p) = p**2 - 3*p. Let u be i(h). Does 5 divide ((-4)/u)/((-1)/50)?
True
Let p = -47 + 26. Let n = -19 - p. Let v(x) = 12*x**2 - 4*x + 7. Is v(n) a multiple of 12?
False
Let a(n) = 14*n**3 + n**2 + 2*n + 2. Is a(2) a multiple of 30?
False
Let f = 16 + -14. Suppose -2*x + 660 = 5*i + 2*x, -5*i + f*x = -630. Suppose -i = -h - 4*j + 20, -5*j + 20 = 0. Is h a multiple of 33?
True
Let z(s) = -s**3 + 8*s**2 + s - 4. Let a be z(8). Suppose a*j - 4 = 92. Is 6 a factor of j?
True
Let x(j) = -j**3 - j**2 + j + 5. Let w be x(0). Suppose 3*r + 10 + w = 0. Is (28/(-5))/(r/25) a multiple of 14?
True
Let m(g) = -2*g**2 - 56*g - 2. Is m(-23) a multiple of 12?
True
Let x(d) = 7*d**3 + 13*d**2 - 3*d + 10. Let t(k) = 4*k**3 + 7*k**2 - k + 5. Let o(m) = 5*t(m) - 3*x(m). Is o(-6) a multiple of 2?
False
Let q be (-22)/33 + 16/6. Suppose -2*t + 187 = 4*z + 3*t, 91 = q*z + 3*t. Suppose 3*j - 77 = -p, -p = -5*j + 2*j - z. Does 23 divide p?
False
Let w(n) = -n**2 - n - 145*n**3 - 159*n**3 + 1 + 329*n**3. Is 8 a factor of w(1)?
True
Let u = 285 + -34. Does 43 divide u?
False
Suppose -2*p - 15 = -3*z, 0 = 4*p - 5*z + 36 - 11. Suppose p = -y + 2*b + 2*b + 43, -5*y + 279 = -4*b. Does 36 divide y?
False
Let m(l) = -l**3 + 12*l**2 - l + 39. Is m(10) a multiple of 45?
False
Let x be ((-2)/4)/(5/(-10)). Is 7 - -2 - 1/x a multiple of 8?
True
Let r = -8 - -11. Suppose -2*g = 3*h - 3*g + 7, -4*h - 5 = r*g. Is 5 a factor of 1/(0 + h/(-20))?
True
Let t = -76 - -121. Does 3 divide t?
True
Suppose 5 = -0*m + m. Let d(o) = 5*o**3 - 2*o**2 + 13*o - 4. Let a(w) = -14*w**3 + 5*w**2 - 38*w + 11. Let g(b) = -6*a(b) - 17*d(b). Is 6 a factor of g(m)?
True
Suppose -9 = 4*r + 7. Let w be r/6*60/(-8). Is 21 a factor of 330/w + (-2 - 1)?
True
Suppose -3*y - 288 = y. Let j = -24 - y. Does 8 divide j?
True
Let x be -3*(5 - 4)*-3. Does 25 divide x/((-11)/12 + 1)?
False
Suppose 0 = -21*w + 18*w + 15. Suppose 3*q + 144 + 99 = w*v, v - 46 = -2*q. Is 12 a factor of v?
True
Let o be ((-66)/(-55))/(2/(-10)). Let t be (o - -3) + 13 + 2. Suppose -t - 25 = -x. Does 22 divide x?
False
Let l(p) = 69*p - 95. Is l(3) a multiple of 16?
True
Let o(t) = 684*t - 323. Is o(3) a multiple of 19?
True
Let i(t) = 3*t - 24. Let x = 98 - 58. Suppose -3*h - 50 = -3*c - 7*h, 3*c = h + x. Does 9 divide i(c)?
True
Suppose 165 = a + 93. Does 6 divide a?
True
Suppose -5*d = 82 + 3. Does 18 divide -3 - -2 - -2 - d?
True
Suppose 4*d - 12 = -3*y + y, -5*y - 2*d + 30 = 0. Suppose -3*x + 15 = y. Suppose x*v = 290 - 56. Is 26 a factor of v?
True
Let y be (-84)/63 - 2/3. Is 23 a factor of (-19 + 16)/((-2)/(-36)*y)?
False
Suppose 4*v + 5*n = 73, v + n = 3*v - 19. Let a = -7 + v. Suppose a*f - 63 = 7. Is 9 a factor of f?
False
Let k = 227 + -330. Let x = -11 - k. Is x a multiple of 46?
True
Suppose 6612 = 53*u - 41*u. Does 58 divide u?
False
Let g(a) = -a**2 + 9*a - 16. Let c be g(6). Suppose 4*u = -5*m - 0*u + 404, -c*u = 8. Is 14 a factor of m?
True
Let y(d) be the second derivative of 5*d**4/12 - d**3/6 + d**2/2 + 5*d. Let g be y(6). Does 19 divide (g/(-10))/((-3)/6)?
False
Let w be (-4)/20*(-5)/(-2)*-152. Suppose 3*g - 383 - w = 0. Does 25 divide g?
False
Let q(x) = -264*x - 924. Does 20 divide q(-6)?
True
Let y = -9 + 5. Let u = 26 + y. Is u a multiple of 11?
True
Let o(l) = l**3 - 14*l**2 + 25*l + 1. Let j be o(12). Suppose -3*s = 3, 0 = 10*b - j*b + 3*s + 84. Is 26 a factor of b?
False
Let h = -2835 + 4271. Does 15 divide h?
False
Let f be 1/(3*3/(-45)). Does 11 divide (-428)/(-12) - f/(15/(-2))?
False
Suppose 9*d - 3891 = 5343. Is d a multiple of 57?
True
Let q = -161 + 113. Does 9 divide (0 + 1)*1*(15 - q)?
True
Suppose -23868 = 70*a - 87*a. Is a a multiple of 27?
True
Let g = 1528 - 1065. Does 33 divide g?
False
Let b = 5 - 17. Is 23 - (6/(-18))/((-1)/b) a multiple of 8?
False
Let p(x) = x**3 - 14*x**2 + 9*x + 13. Let r be p(13). Let y be (-1 + (-3)/(-2))*166. Let o = r + y. Is o a multiple of 22?
True
Let s(b) = 125*b - 29. Suppose -5*p + 12 = 2*k, 18 = 4*k - p - 28. Let a(f) = -25*f + 6. Let y(g) = k*a(g) + 2*s(g). Is y(-4) a multiple of 30?
False
Let a(v) = 10*v**2 - 9*v - 11. Is 37 a factor of a(-4)?
True
Let l be 3/(-2) + 39/6. Let c be (l/2)/((-1)/(-2)). Suppose -o - c = -26. Does 7 divide o?
True
Suppose -3*u = 3*t + 657, -5*t + 2*u - 1115 = -3*u. Let j = -37 - t. Is j a multiple of 13?
False
Suppose 6 = 2*l, -2*x + 6*l = 3*l - 155. Suppose -4*v - 55 = 73. Let z = x + v. Does 15 divide z?
False
Let q = -668 - -2490. Is 15 a factor of q?
False
Let m(z) = -z**3 - 5*z**2 + 6*z + 8. Suppose -3*g = 3*a + 36, 5*g + 12 = 3*g + 2*a. Let l = 3 + g. Is m(l) a multiple of 8?
True
Is (-4)/4 + 2 + -3 + 202 a multiple of 10?
True
Let l(b) = 5*b**3 + 6*b - 10. Does 21 divide l(2)?
True
Suppose -j = -5*s + 4152 - 324, 3*s + 4*j = 2306. Is 10 a factor of s?
False
Is -914*(-15)/40 - (-3)/(-4) a multiple of 9?
True
Suppose 5*d - 854 + 139 = 0. Is 9 a factor of d?
False
Is (1 + 32)*(-29 + 58) a multiple of 23?
False
Let d(w) = -w - 2. Let l be d(-2). Let v(g) = 13 + 16 + g + l. Does 5 divide v(-14)?
True
Does 3 divide 7*(-2 - (-329)/49)?
True
Let v be 2/3 - 85/15. Let h(j) = j + 8. Let z be h(v). Suppose -2*d + z*n + 92 = n, -n + 101 = 2*d. Does 16 divide d?
False
Let x(o) = -19 - 5*o - 6*o - 4*o + 0*o. Does 44 divide x(-13)?
True
Let v(l) be the first derivative of l**4/4 - 16*l**3/3 - 13*l**2 + 10*l - 5. Is 38 a factor of v(18)?
True
Let m be 0*3/12*1. Let v(r) = r**3 + r + 2. Let d be v(m). Suppose 39 = -l + d*l. Is l a multiple of 13?
True
Let s be (-1076)/(-18) - (-48)/216. Suppose s = -6*w + 10*w. Is 650/w*18/15 a multiple of 24?
False
Let t(b) = b**2 - 22*b + 118. Does 33 divide t(17)?
True
Suppose 3*c = 5*c. Suppose 3*n = -c*i + i - 65, 95 = 2*i + n. Is 20/i + (-256)/(-10) a multiple of 26?
True
Let l = -19 + 23. Suppose 5*p - 15 = 4*m, -l*p = -0*m + 5*m - 12. Suppose 3*b - 56 = -2*c - b, 0 = -p*c - 3*b + 81. Does 13 divide c?
True
Let u be 2 - (-1 - 5) - 4. Suppose -3 = u*r - 307. Is r a multiple of 19?
True
Suppose -3*r - 5*h + h + 22 = 0, -3*r - h = -10. Let j be 164/6 - r/6. Suppose -j = -0*z - 3*z. Is z a multiple of 5?
False
Suppose -4*v = -9*v + 65. Suppose 1206 = v*i + 270. Is 33 a factor of i?
False
Suppose -2*r = 3*s + 4, 2*r + 1 = -3. Suppose s = 2*o - 165 - 99. Does 19 divide o?
False
Let u be -3 + (-9)/(6/(-2)). Is (u + 92/6)/((-6)/(-27)) a multiple of 18?
False
Suppose 1 = 4*n - 3*n. Let k = n - 0. Is 13 a factor of -8*4*k/(-2)?
False
Let l(i) = i**3 - 11*i**2 + 9*i + 3. Let b be l(10). Let n = b + 10. Suppose 0 = -n*c + 17 + 40. Is 19 a factor of c?
True
Suppose -2 = -4*n + 34. Does 9 divide 72/28*(n + -2)?
True
Let y(w) = 65*w**2. Suppose j - 2 = -4*n - 4, 32 = 5*j - n. Let f be (8/(-12))/(4/j). Is y(f) a multiple of 11?
False
Let y = -17 + 32. Is 6 a factor of (-7)/(35/y) - -16?
False
Suppose 3*k + 0*k = 0. Suppose k = -0*r - 2*r + 40. Does 8 divide r*(9/4 + -1)?
False
Let v = 72 - 73. Is 17 a factor of (v*34)/(((-16)/(-18))/(-4))?
True
Suppose 0 = -2*j - 3*j - 75. Let g = 18 + j. Suppose -98 = -2*h - 2*f, 7*f = 6*f - g. Does 22 divide h?
False
Is 8 a factor of (0 - 1)*(35 - 118)?
False
Let m(h) = 6*h - h**2 - 177 + 13*h + 206. Does 3 divide m(20)?
True
Suppose 0 = -b + 6*b - 5. Suppose -4*d - 2*g = -18, 4*d + 4*g + 9 = 5*d. Suppose -d*j + b = -24. Is 5 a factor of j?
True
Suppose 2*x - 12 = -2*x. Let l be x + -3 + 4 + -2. Suppose 1 = -l*d - g + 8, 5*d + 4*g - 22 = 0. Is 2 a factor of d?
True
Let y = 40 + 70. Does 3 divide y?
False
Let d(t) = 308*t**2 + t - 5. Is 9 a factor of d(2)?
False
Suppose -j + 8 = 9. Is 34 a factor of (3 - j) + 203 + 2?
False
Let a(w) = w**3 - 3*w**2 - 8*w + 6. Let c be a(5). Let d be (-44)/c - (-6)/8. Let y(q) = -7*q. Is 10 a factor of y(d)?
False
Suppose 5 = 7*m - 6*m. Suppose 5*o - 15 = m*x - 0*x, 4*x = -4*o + 20. Is 26 a factor of (2/(-4))/(x/(-104))?
True
Suppose -5*z = -10 - 0, 3*u - 2*z - 311 = 0. Is u a multiple of 6?
False
Let g = 523 + -252. Is g a multiple of 21?
False
Suppose -5*x - 96 + 1094 = 3*q, 5 = 5*x. Suppose q = 19*z - 3754. Is 12 a factor of z?
False
Is 76 a factor of (4 - 497/35 - -3)*-195?
False
Let p(c) = 