9290. Is n a multiple of 46?
True
Let o(n) = 14*n**2 + 2*n + 1. Let f be o(1). Is 8 a factor of (3 + f)*(3 + 305/20)?
False
Let h = -57 - -191. Suppose 5*p = -h - 161. Let l = -11 - p. Is 34 a factor of l?
False
Let c = 9471 + -4715. Is 64 a factor of c?
False
Suppose 3*b - 5*j = -2*b + 1870, -j = -2*b + 746. Is b a multiple of 4?
True
Let p(u) = 27*u - 34. Suppose 4*a + 128 - 156 = 0. Is 2 a factor of p(a)?
False
Suppose 3*b - n - 34631 = 0, 5*n - 12 + 37 = 0. Is b a multiple of 29?
True
Let z(i) = -53*i**2 - 2197*i - 30. Does 10 divide z(-40)?
True
Let q(o) = -19*o - 63. Let a be q(-4). Let r(j) = j**2 + 7*j + 6. Let t be r(-4). Let h = t + a. Is 7 a factor of h?
True
Let q(m) = -m**3 - 4*m**2 - 4*m - 12. Let w be q(-5). Let r = w + 123. Suppose 0 = 3*u - u - 5*d - r, -3*u = 5*d - 284. Is u a multiple of 44?
True
Suppose 0 = 5*t - 576 + 1596. Let q = t + 516. Is q a multiple of 26?
True
Suppose 4*x = 3*y + 63, 2*x - 13 - 20 = y. Does 9 divide (-6 - (8 - x)) + 106*1?
False
Suppose 84*h + 110139 - 144422 = 271141. Is h a multiple of 8?
False
Let h(f) = 234*f - 10. Let m be h(1). Let u = 1988 - m. Is 3/(-2)*u/(-18) a multiple of 49?
True
Let c(k) = -k**2 + 3*k + 10. Let x be c(5). Suppose x = 7*a + 98 - 364. Let o = 62 - a. Does 4 divide o?
True
Let d(o) = 36 + 56 + 1527*o - 1524*o. Is d(26) a multiple of 17?
True
Suppose -217*x + 300482 = -203*x. Is 35 a factor of x?
False
Let b(p) = p**3 + 5*p + 140. Suppose -z - 4*r + 6*r = 10, -25 = -4*z - 5*r. Does 10 divide b(z)?
True
Let h(l) = 4*l**2 + 46*l + 187. Does 58 divide h(-41)?
False
Suppose 33 = 3*f + 3*q, -25 = -11*q + 6*q. Let b = -442 + 667. Suppose -z + b = 3*d, -d + f*d + 472 = 2*z. Is 16 a factor of z?
False
Let x be (1590/2)/((-15)/20*2). Let w = x + 540. Does 2 divide w?
True
Does 56 divide ((-180)/(-50) - 6 - -2)*-3085?
False
Let i be (3*-102)/(-10 + 11)*-1. Suppose -2*o = -4*x - 1224, i = 2*o + 2*x - 918. Does 34 divide o?
True
Suppose -8*x - t - 39 = -13*x, -3*t = -3*x + 33. Let j(h) = -h**2 + 13. Let u(b) = 2*b**2 + b - 25. Let p(d) = -7*j(d) - 3*u(d). Is p(x) a multiple of 6?
True
Let p(r) = -3*r**3 + 343*r**2 + 63*r + 756. Does 18 divide p(114)?
True
Let s = 9052 - -3608. Is s a multiple of 6?
True
Suppose q - 31 = -4*i, -4*q + 19 = 2*i - i. Does 31 divide 241/(42/i + -5)?
False
Let t = -2785 - -4736. Is t a multiple of 16?
False
Let a be -1 + (5/1)/5 - 0. Let u(h) = 2*h**3 - h**2 + 167. Does 10 divide u(a)?
False
Let c = -6 - -12. Suppose 46*q + 5*q - 2033 + 248 = 0. Suppose -c - q = -r. Does 27 divide r?
False
Let z = 172 - 190. Is (-747)/(-21) - 8/(336/z) a multiple of 4?
True
Let v = 7652 + -3007. Is v a multiple of 5?
True
Let d(i) = -i**3 - i**2 + 4*i - 50. Let l be d(0). Let n = l - -74. Is (-306)/(-2)*(-3 - n/(-6)) a multiple of 14?
False
Let v = 4082 + -1819. Suppose -2*l - 2*h + 2966 = 0, 3*l - 2*h - 2181 = v. Is l a multiple of 55?
False
Let f = -29340 + 64017. Does 9 divide f?
True
Let n be 15/6 - (-5)/10. Suppose -n*x + x + y = -7, 3*x - 6 = 3*y. Suppose 5*o = 5*k + 645, -695 = -x*o - 3*k - 2*k. Does 20 divide o?
False
Let y(s) = -s**3 + 4*s**2 + s. Let w be y(4). Suppose 8 = 2*h - 4*k - w, 2*h - k = 3. Is 26 a factor of (10 - 5)*(h - 52/(-5))?
True
Suppose 4*d - 4*t - 136 = 0, -d - 4*t + 2*t + 19 = 0. Let f = -29 + d. Suppose -5*q + 2*q + 21 = f. Does 7 divide q?
True
Suppose 9*l + 11 + 70 = 0. Let x(j) = -j**2 - 12*j + 10. Let p be x(l). Suppose 2*k = -0*w + 3*w - 2, -5*k - 3*w = -p. Is 5 a factor of k?
True
Suppose -17*g = -0*g - 161156 + 40932. Does 32 divide g?
True
Let c be (-4)/18 + (-222)/(-27) + -12. Does 78 divide 1351488/912 - c/38?
True
Let n be ((-2)/(-4) + -1)*(45 - 3543). Suppose 0 = -24*j + 459 + n. Does 23 divide j?
True
Let m(n) = 123*n + 6566. Is m(35) a multiple of 80?
False
Let y = -182 + 184. Suppose -3*j = -2*g + 4*g - 345, y*j - 890 = -5*g. Does 20 divide g?
True
Suppose 121 = 10*t - 499. Let h = t - -145. Is h a multiple of 39?
False
Suppose -2477 - 3235 = -7*w. Suppose 6*k - 3*k - w = 0. Is k a multiple of 21?
False
Let n = -14 - -11. Let g(t) = -2*t**3 + t**2 + t - 5. Let b be g(n). Suppose 5*c - 65 = b. Is c a multiple of 14?
False
Let v(u) = -648*u - 1344. Is 53 a factor of v(-6)?
True
Let o be 216/60 + (-3)/5. Let y = 738 + -210. Suppose -5*j + y = -3*k, -o*j + 361 - 51 = 5*k. Is j a multiple of 15?
True
Let f be ((-76)/8)/(6/144*-2). Suppose -3*u = -4*u - h + f, 0 = -3*h. Is 6 a factor of u?
True
Let a = -436 - -469. Let y(c) = -c**3 + 32*c**2 + 46*c - 16. Is y(a) a multiple of 50?
False
Let b(f) = -f**3 + 30*f**2 + 63*f + 34. Let x be b(32). Suppose -7*o - x*r = -2*o - 2195, 422 = o - 3*r. Does 19 divide o?
True
Suppose 3*j + 2*z = 8*j - 4080, -3*j + 2437 = z. Suppose -9*n + j = 175. Does 6 divide n?
False
Let y = 361 - 98. Suppose j = 2*p + 138 + y, -p = -j + 401. Does 89 divide j?
False
Suppose -30*i = -10*i - 660. Suppose -35 = -w + 2*v, w - v = -0*w + i. Is 8 a factor of w?
False
Is 20 a factor of (-1080)/18*(1 - (-170)/(-3))?
True
Let l = 782 - 765. Let n(i) = -10 + 0*i**3 - 12 - 16*i**2 - 12*i + i**3. Is 9 a factor of n(l)?
True
Does 89 divide ((13721664/110)/(-24))/(2/(-5))?
True
Suppose 22 - 2 = 5*v. Suppose -v*n + 1263 = 3*q, -4*q + 303 = n + q. Is 53 a factor of n?
True
Let h(g) = 92*g + 72. Does 11 divide h(48)?
True
Is (-32448)/(-27) + 3 + (-40)/(-180) a multiple of 35?
False
Let i be (2 - -2) + (-3 - -3). Suppose -4*n = -q - 1482, -5*n + 3*q + 1572 + 277 = 0. Suppose -288 = -i*l + x, -5*l + n = 4*x - 8*x. Does 13 divide l?
False
Suppose 4*h = a + 265, 0 = h + 3*h + 4*a - 260. Let t(x) = h*x - 25*x - 48 - 31*x. Is 12 a factor of t(6)?
True
Let j(r) = -3*r**3 - 20*r**2 + 63*r + 29. Does 11 divide j(-18)?
True
Let a = 195 + -78. Suppose 0 = 5*i + 155 + 215. Let m = i + a. Is m a multiple of 9?
False
Let u(w) = -9*w - 23. Let l be u(-5). Let j(p) = p**3 - 23*p**2 + 21*p + 25. Let y be j(l). Suppose 0*r = -4*v - y*r + 247, 73 = v + 3*r. Does 29 divide v?
True
Suppose -88 = 4*p - 2*n, 5*n = -4*p + 5*p + 40. Let f = p + 48. Suppose 100 = 4*m - f. Is m a multiple of 8?
True
Suppose x - 4956 = 4*o - 832, -4*o - 20700 = -5*x. Is 56 a factor of x?
True
Let a(r) = 786*r + 914. Is a(27) a multiple of 208?
False
Let o = -249 - -285. Is 43 a factor of 9 + 15150/o - (-2)/12?
True
Is -16174*(-8)/(-12)*((-3)/(-2))/(-1) a multiple of 119?
False
Let k be (28/(-16))/(1/(-4)). Let f(v) = 4*v**2 - 9*v + 21. Is 22 a factor of f(k)?
True
Is 18/(-10)*(-43890)/66 a multiple of 19?
True
Let g(q) = 25*q + 50. Let k(x) = -23*x + 140. Let f be k(6). Is 10 a factor of g(f)?
True
Suppose -343 = 27*t + 22*t. Is 9 a factor of (-917)/t + -7 - -2?
True
Let n(a) be the second derivative of -4/3*a**3 + 0 + 5/6*a**4 + 6*a**2 + 4*a. Does 15 divide n(3)?
False
Let i = -103 + 125. Suppose i*h - 3264 = 14*h. Is h a multiple of 21?
False
Suppose -r = -3*m - 9, r - 5*r = 4*m - 4. Let k(q) = -124*q + 26. Does 13 divide k(m)?
False
Let u(b) = -b**3 - 21*b**2 - 31*b - 107. Let a be u(-20). Suppose 3*h - i - a = -2*i, -158 = -4*h - 5*i. Is h a multiple of 2?
False
Let i(o) = -129*o + 34. Let m be i(-10). Suppose m = -4*q - 0*q. Let v = -111 - q. Does 33 divide v?
False
Suppose 6*j - 17 - 1 = 0. Suppose -4*q - 3*y = -9, 2*y - 1 = -j. Suppose 4*i - 36 = q*i. Does 18 divide i?
True
Suppose 5*b - 15 = 0, -4*g - 353 = 4*b + 467. Does 52 divide (11 - (-423)/(-36))*g*4?
True
Suppose 2*m - 12*g = -7*g + 9327, 15*m = 2*g + 69775. Is m a multiple of 50?
False
Suppose 3*d = -15*d + 5076. Suppose -s - p + d = -3*p, 2*s + 4*p - 572 = 0. Is s a multiple of 18?
False
Let y(n) = n**3 + 5*n**2 - 10*n - 4. Let r be y(-7). Let x(c) = 26*c - 14. Let j be x(4). Let g = r + j. Is 14 a factor of g?
False
Suppose r + 350 = 365. Suppose 480 = r*k - 11*k. Is 10 a factor of k?
True
Let i be 2 - (-7)/(-7) - 7. Let x(w) = 25*w + 168. Is x(i) a multiple of 2?
True
Suppose -1203 = 34*y - 37*y. Suppose -y = 3*l - 3*q + 5*q, 2*q - 147 = l. Let c = -98 - l. Is c a multiple of 13?
True
Let h(i) = -i**3 - 3*i**2 - 7*i - 4. Suppose -2*d = 5*x - 3, 0*d + 12 = -d + 2*x. Is 19 a factor of h(d)?
False
Let a(i) = 83*i**2 - 68*i + 594. Does 15 divide a(7)?
True
Let s be (-82)/(-4)*(1 - 1/(-1)). Let q(o) = s*o - 1 + 43*o + 18*o - 54*o. Does 5 divide q(2)?
True
Let s = -48 - -29. Let j be (-76)/s - 0/(-2). Supp