ppose -4*r + 35 = -w, -r = r + x*w - p. Does 3 divide r?
False
Let q = 286 - 250. Suppose 92*t + q = 94*t. Is t a multiple of 18?
True
Let k = -221 - -207. Let x(g) = -18*g - 184. Is x(k) even?
True
Let v = -284 + 276. Does 8 divide 8 + v + 0 - -91?
False
Suppose 77*g - 74*g - 1194 = 0. Is 2 a factor of g?
True
Is 50 a factor of (-12 - (13760/(-25) - -1))*5?
False
Suppose 41*d + 308 = 1538. Let f(j) = j**2 + 8*j + 190. Does 10 divide f(d)?
True
Let s = 65 + -63. Suppose 5*h - 16 = -s*t, -2*h = 2*t + t - 13. Suppose 4*x + 0*x + l - 123 = 0, 0 = -4*x + t*l + 143. Is 32 a factor of x?
True
Does 13 divide -124*-13*3/4?
True
Let k(q) = 2*q**3 - 18*q**2 + 7*q - 18. Let w = 240 + -231. Is 5 a factor of k(w)?
True
Let p(x) = 5*x**2 + 6*x - 20. Let m be p(5). Suppose -m*z + 138*z = 60. Suppose 1004 = 7*c - 4*c - d, -z = 4*d. Does 30 divide c?
False
Let o(p) = 8*p + 123. Let l be o(-10). Suppose 36*u = l*u - 1995. Is u a multiple of 15?
True
Suppose 3*s = 4*u + 4773, -4*s = -251*u + 247*u - 6372. Is 4 a factor of s?
False
Let n = 54 - 49. Suppose n*c - 2204 + 669 = 0. Let g = c + -181. Is g a multiple of 18?
True
Let c(f) = f**3 + 20*f**2 - f - 17. Let s be c(-20). Suppose -2*l - s*l = -130. Does 3 divide l?
False
Let v(m) = 6*m + 6. Suppose i = 3*f, 0 = 4*i - 4*f + 6*f + 28. Let n(j) = 5*j + 6. Let q(z) = i*v(z) + 7*n(z). Is 16 a factor of q(-10)?
True
Let i(v) = -9*v - 119. Let f be i(-13). Does 18 divide ((-3)/(-6))/(f/(-468))?
False
Let m(a) = -a**3 + 21*a**2 - 41*a - 18. Suppose -2*g + 38 = z, -z - 3*z = -8. Is m(g) a multiple of 12?
True
Is 10 a factor of (-9)/(-4)*(-31600)/(-237)?
True
Suppose 0 = -63*o + 61*o - 3*l + 48606, -2*o + 48638 = -5*l. Is 9 a factor of o?
True
Suppose 0 = 3*n + 3*h + 18, -3 + 27 = -3*n - 5*h. Let p(z) be the first derivative of -11*z**2 - 10*z - 754. Is p(n) a multiple of 19?
False
Suppose -4*r + 10*t + 32706 = 0, -5*r - 57*t + 40800 = -53*t. Is 11 a factor of r?
False
Suppose -10*t + 378 = -3*t. Let l = 83 + t. Is l a multiple of 11?
False
Suppose c = -3, 0 = -4*j + 7*c - 6*c + 19. Suppose 33*d + 2*o - 4264 = 30*d, j*o - 5684 = -4*d. Is 90 a factor of d?
False
Suppose 1492092 = -246*j + 437*j. Is 124 a factor of j?
True
Let d(l) = -2*l**2 + 16*l + 3. Let k be d(8). Suppose 0 = -5*m + k*t + 13, -25 = -m - 2*t - 3*t. Suppose -3*o + 74 = -p, 4*o - m*p = -4*p + 98. Does 6 divide o?
True
Suppose -4*h - 170 = -186. Is 2 a factor of (h*39/(-5))/((-14)/35)?
True
Let c(l) = 299*l**2 + 76*l + 332. Is 17 a factor of c(-5)?
False
Suppose s + 4*s - 145 = 0. Let v be s/(-4) - (-27)/(-36). Does 20 divide 4580/36 - v/(-36)?
False
Let s = -3 + 7. Let a(i) be the third derivative of 4*i**5/15 - i**4/4 - 4*i**3/3 - 9*i**2 + 45*i. Is 37 a factor of a(s)?
False
Let o(q) = 2*q**3 + q**2 - 8*q + 6. Let t be o(1). Is 2/(t/((1 - 3)*-3)) a multiple of 2?
True
Let i(d) = 192*d - 1788. Is 27 a factor of i(21)?
False
Let o(p) = 2*p**2 + 4*p - 3. Let n be o(-8). Let g = -51 + 54. Suppose 5*d - 244 = -g*c, 2*d + 2*d = -c + n. Is c a multiple of 17?
False
Let s(w) = -w**3 - 6*w**2 + 7*w - 11. Let r(i) = 1. Let m(v) = 5*r(v) + s(v). Let f = -1683 - -1675. Is 22 a factor of m(f)?
True
Let o be (-1020)/55 + (-90)/(-165). Let d = 10 - 0. Is 11 a factor of (o - -12)*d/(-4)?
False
Let t(x) = -83*x - 464. Is 10 a factor of t(-8)?
True
Let z = -8 - 70. Let w be (3/(-2))/((z/(-8))/13). Let h(d) = -52*d - 14. Does 30 divide h(w)?
True
Does 100 divide 0*(-8)/64 + (-1 - (1 + -3802))?
True
Suppose 7648 + 5456 = 13*m. Suppose 3*l + 12 = -2*g - 2*l, -2*l = -4*g. Is 16 a factor of (m/(-18))/(g/2)?
True
Let v(t) = t**2 - 13*t + 1176. Is v(50) a multiple of 44?
False
Let l be (6 - 6) + 3 + -3. Suppose -7*u + 3*u + 276 = l. Does 42 divide (-1 - u/12)*(-1008)/27?
True
Suppose -7*l = u + 4605 - 24157, -3*l = 3*u - 8382. Is 17 a factor of l?
False
Suppose 231*y - 131206 = 226*y - 2*z, -8 = 4*z. Is 44 a factor of y?
False
Suppose -2*v - 2 = 0, 2*j - 3*v - 54 = 53. Let s = j - 50. Let h(c) = 29*c**2 - 2*c - 3. Is 23 a factor of h(s)?
False
Let b = -137 + 139. Suppose 2*o - 42 = -j, b + 2 = -2*j. Is o a multiple of 22?
True
Let u(y) = -16*y - 46. Let f be u(29). Does 85 divide (f/9)/1*60/(-2)?
True
Suppose 403 = 18*t + 1249. Let n be (36/24)/((-1)/(-62)). Let i = n - t. Is i a multiple of 14?
True
Let i(g) = g**3 + 10*g**2 - 10*g + 23. Let r be i(-11). Suppose r*t - 4680 = -24*t. Is t a multiple of 13?
True
Let u = 76 + -74. Let h(b) = 19*b**3 + 2*b - 6. Is h(u) a multiple of 15?
True
Suppose -22*f = -8*f - 518. Let l(n) = -f*n + 5*n - 71 + 70. Is l(-1) even?
False
Let c = 270 - 279. Is (-85)/(-51) - (1 - (-381)/c) a multiple of 4?
False
Is 163 a factor of (-6 + (5836 - 5))/((-1)/(-3))?
False
Is 565*8/40 + 3 a multiple of 29?
True
Suppose 5*i + 7475 = 2*g, 3690 = 4*g - 5*i - 11255. Is g a multiple of 83?
True
Let r(n) = -1047*n - 38. Let h be r(4). Does 26 divide h/(-8) + 53/(-212)?
False
Let w be (-18)/(-12) - ((-693)/(-6) + 2). Let b = w + 177. Is b even?
False
Let w = -130 + 104. Let d = w - -26. Suppose l - 118 = -3*l + 2*s, d = -5*l + 4*s + 155. Is 7 a factor of l?
False
Let q be -1 + 2 - 2*(-201)/6. Let n = q + -37. Does 3 divide n?
False
Let a(n) = 2*n**2 - 37*n - 45. Let d be -44*1/((-2)/1). Is a(d) a multiple of 3?
False
Let u = -8119 + 14545. Suppose 14*j - 21*j + u = 0. Does 17 divide j?
True
Let w(b) = 10*b - 95. Let l be w(-16). Let v = 395 + l. Is 4 a factor of v?
True
Let h(i) = -i**2 - 16*i - 60. Let s be h(-9). Is 11 a factor of 7 - s - 733*(-2 + 1)?
True
Suppose 0 = -k + 6*k - 100. Let u = 22 - k. Suppose -46 = -u*h - 6. Is h a multiple of 4?
True
Suppose -12*c + 15*c = 3*k - 53202, 2*c + 17738 = k. Does 30 divide k?
True
Let j = -1201 + 3072. Is 6 a factor of j?
False
Does 4 divide (-99383)/(-116) + 7/(-4)?
False
Suppose -b = -5*z - 7, 2*z = -0*z + 3*b + 5. Let a(d) = 5*d**3 - 4*d**2 - 4*d - 2. Let y be a(z). Is 11 a factor of y*((-25)/(-5))/(-5)?
False
Let w(l) be the first derivative of 325*l**3/3 - 5*l**2/2 + 8*l - 167. Is 22 a factor of w(2)?
True
Let f(w) = w + 8. Suppose 6 = 3*x - 4*x. Let g be f(x). Suppose g*b = 18 + 4. Does 11 divide b?
True
Suppose -23*y = -6*y - 33490. Is y a multiple of 20?
False
Suppose -3*j + 61949 = -21*j + 212285. Is 48 a factor of j?
True
Suppose 107*s - 1624 = 103*s + 4*q, -2002 = -5*s - 2*q. Is 6 a factor of s?
True
Suppose 24*h = -1 + 97. Suppose 127 = -h*y + 859. Does 65 divide y?
False
Let n(c) = -c**3 - 24*c**2 + 23*c - 47. Let i be n(-25). Suppose 5*w - 734 = -3*j, -i*w = j - 0*w - 238. Does 11 divide j?
True
Let i(o) be the first derivative of 8*o**2 - 47*o + 7. Suppose -4*b + 30 = -9*l + 12*l, -4*l = 5*b - 38. Does 7 divide i(b)?
True
Let t = 131 - 123. Suppose t*n = 47 + 33. Is n a multiple of 5?
True
Suppose -23*m + 117205 - 47377 = 0. Is 12 a factor of m?
True
Suppose 12*j + 888 = 134688. Is j a multiple of 37?
False
Let y be 8/6*(-28)/(-8)*3. Suppose -v - 3*v + b = -y, -4*v - b + 18 = 0. Does 2 divide 1/(v - (-86)/(-22))?
False
Suppose 0 = 4*z - 4*q - 72, 3*z = 8*z - q - 86. Is 59 a factor of z/119 - 2890/(-7)?
True
Let b be 6/(6 - 0)*3248/4. Let m = -334 + b. Is m a multiple of 11?
False
Suppose 128 = -w + 3*w + 2*b, 127 = 2*w + 3*b. Let c be (-5)/(130/(-4)) + 315/w. Suppose 3*s + 3 - 32 = -c*a, -5*a - 2*s + 26 = 0. Is a a multiple of 4?
True
Is 49 a factor of (-2502)/417 - (11798/(-6) - (-3)/9)?
True
Suppose 3*v - 4494 = 2*i - 623, 0 = -5*i - 25. Is 33 a factor of v?
True
Let i(k) = 6*k**2 + 3*k - 11. Let o(c) = 2*c + 33. Let w(g) = -g - 16. Let a(m) = 6*o(m) + 10*w(m). Let v be a(-22). Is i(v) a multiple of 32?
False
Let f = 22912 - 9856. Is 24 a factor of f?
True
Suppose 3*y - 8*y + 15 = 0, 2*y - 131 = 5*b. Let i = -20 - b. Suppose i*v + 85 = r - 39, 5*r + 5*v = 530. Is 24 a factor of r?
False
Let v(l) = l**3 + 7*l**2 - 38*l - 6. Let u be v(-12). Let q = u - -327. Does 3 divide q?
True
Suppose 0 = -5*w - 5*p + 15030, 4*w + 0*p + 2*p = 12026. Suppose 20*n - 3533 = w. Is n a multiple of 11?
False
Is (0 - -1)*5545/((1 - -2)/3) a multiple of 35?
False
Let h(j) = 109*j - 11. Suppose 5*g + 85 = 230. Let k = 31 - g. Is 15 a factor of h(k)?
False
Let y be 2*(-12)/16*48/9. Let p be 0 + (2/4)/((-2)/y). Is (-1557)/(-27) + ((-4)/3)/p a multiple of 19?
True
Suppose -139*j - 6 = -136*j. Is 6 a factor of (28/(-40)*4