 b?
True
Suppose 3*q + 44 = 7*q. Let s(u) = -4*u + 47. Let d be s(q). Is 11 a factor of 2/3 - (2 - 409/d)?
False
Suppose 1646529 + 1515071 = 190*a. Does 80 divide a?
True
Suppose 4*l - 3*z = -658 + 6489, 0 = -5*l + 2*z + 7294. Suppose 55*h - 59*h + l = 4*g, -5*h - g + 1805 = 0. Is h a multiple of 8?
True
Suppose 3372*v - 3376*v = 4*h - 267148, 333945 = 5*h + 3*v. Is 69 a factor of h?
True
Suppose 2*r + 2*r = -4, 0 = 2*l - r - 11. Let s(f) = -8*f + 3. Let k be s(l). Does 14 divide (k/(-3) + 9 + -12)*3?
True
Let q = -4045 + 8545. Does 15 divide q?
True
Let d = 112 - 104. Let v = -4 + d. Suppose 11*x - 175 = v*x. Is 2 a factor of x?
False
Let j(m) = -m**3 + 2*m**2 + 6*m - 4. Let t be j(3). Let b(l) = -t*l + 7*l + l. Does 3 divide b(5)?
True
Suppose 884*r - 882*r - x - 1043 = 0, -5*x + 1025 = 2*r. Is 20 a factor of r?
True
Suppose 0*y = 4*t - 4*y - 432, 4*t = -4*y + 432. Let z = t + 16. Does 30 divide z?
False
Is 2 a factor of 4/(80/24634) - (-4 - 296/(-80))?
True
Let b = 23240 - 5276. Does 9 divide b?
True
Let u(t) = 11*t**2 - 265 - 12*t - 3*t**3 + 259 + 2*t**3. Is u(8) a multiple of 30?
True
Suppose 12*c = -5*l + 15*c + 690, 4*c - 138 = -l. Does 38 divide l?
False
Suppose 3*d + u - 9 = 0, 0*u = 5*d - 2*u - 4. Let m = 5 - d. Suppose -o + 4*c + 36 = 0, c = m*o - 2*o - 42. Is o a multiple of 11?
True
Does 19 divide ((-1540)/(-80) + -5)/(-2 - (-6259)/3128)?
True
Suppose 0 = 2*n - 5*a - 26, n - 19 = a + 3*a. Let p be ((-1)/n)/(10/(-480)). Let y = 28 - p. Is 4 a factor of y?
True
Suppose -w - 14452 = -4*d, 5*d - 7909 - 10171 = 5*w. Is 40 a factor of d?
False
Let h(d) = d**3 + 17*d**2 + 19*d + 38. Let y be h(-16). Let w = y + 190. Is w a multiple of 12?
True
Suppose -5*t + 1794 = -4*h, -5*t = -13*h + 15*h - 1818. Is 35 a factor of t?
False
Suppose -46*h - 9540 = -25410. Suppose 0 = -0*w - 5*w + 1075. Let f = h - w. Does 26 divide f?
True
Let x = -474 + 479. Suppose 221 + 181 = 3*a + x*i, 0 = 3*a + i - 390. Is a a multiple of 9?
False
Suppose -5*g - 295*a = -291*a - 25416, -g + 5076 = -a. Is 10 a factor of g?
True
Suppose 2*u + 814 = 6*u + c, 5*u = c + 1022. Suppose 2*g - 1985 = -5*q, q = g + 200 + u. Is 21 a factor of q?
True
Let y be 11734/6 + 43/129 - 6. Let j = -1306 + y. Does 14 divide j?
True
Suppose 54853 = 3*i - 87*l + 83*l, 18271 = i - 4*l. Does 13 divide i?
True
Suppose 3*h - 63*k + 65*k = 41296, 2*k = h - 13744. Is 15 a factor of h?
False
Let r = 378 - 374. Suppose -3*w + 4*h = -131, 2*w + 29 = -r*h + 143. Does 49 divide w?
True
Suppose -s = 4 - 7. Suppose 2*f + s*g - 111 = -f, 3*g = -5*f + 189. Let k = f - -112. Is k a multiple of 16?
False
Suppose 10 = 3*n - 5. Let u = -17385 - -17394. Suppose u*c - n*c = 108. Does 12 divide c?
False
Let k = -619 + 3237. Does 74 divide k?
False
Suppose 81359 = 172*t - 333505. Does 4 divide t?
True
Suppose 2*k - 200*h - 5032 = -205*h, -4*k - 3*h = -10008. Is k a multiple of 7?
False
Is ((-103 + -1)/(-2))/(6*4/468) a multiple of 17?
False
Let c = 5516 + -2336. Is c a multiple of 12?
True
Let x(t) = -128*t**2 + t - 2. Let n be x(-2). Let p be n/16 + -3*1/(-12). Let y = -16 - p. Does 14 divide y?
False
Let k be 126 + 1 - (-81 - -91). Suppose -146 = 5*o - 3*o - 3*d, -4*o - 252 = 4*d. Let j = k + o. Is j a multiple of 25?
True
Let n be 144/32*4/9. Let l be -1*(n - (-1 - -5)). Suppose -4*h = 3*s - 209, 5*s - l*s = -2*h + 109. Is 5 a factor of h?
True
Suppose l - 4*l + 957 = 0. Suppose 6*n - 95 - l = 0. Suppose -2*z + n = -283. Is z a multiple of 44?
True
Let r(q) = -27*q**2 + 66*q**3 + 0 - 3*q + 26*q**2 - 5 + 3. Let k be r(-1). Let j = 78 + k. Is 2 a factor of j?
True
Suppose 13*o = 9*o - 4. Let l be -1*(14 - 2 - o). Let s(j) = -j**3 - 13*j**2 - 8*j + 16. Is 12 a factor of s(l)?
True
Suppose -5*l + 5655 = 3*n, -6*n = 3*l - 4*n - 3393. Let z = -663 + l. Does 13 divide z?
True
Suppose -1129 = -3*a - 5*h, 17*a - 1165 = 14*a + 4*h. Suppose -3*y + 196 = -b, 5*y - 2*b = -55 + a. Is 47 a factor of y?
False
Is 58 a factor of 4 + (-13 - (-13 - 750))?
True
Is 9 a factor of (15590/(-20) + 1)/(5/(-210))?
True
Let p be ((-6)/4)/(13/(-858)). Suppose -498 = p*t - 105*t. Is 8 a factor of t?
False
Let h = 11470 + -9383. Is h a multiple of 19?
False
Let t = 55 - 53. Suppose -t*d + 717 = d - 3*q, 0 = -2*d - q + 472. Let k = d - 137. Is k a multiple of 10?
True
Let q = 4 + -2. Let h be 6*(2 + 6/(-4)). Suppose -h*g + 2*i = -640, q*g - 420 = -i - i. Is g a multiple of 17?
False
Let n be (-165)/(-20) + 3/(-12). Let p(b) = -b**2 + 7*b + 2. Let j be p(n). Is (224/(-24))/(2/j) a multiple of 7?
True
Suppose 0*x - 25 = -2*w - x, 57 = 5*w - 3*x. Let t(m) = -m**3 - 9*m**2 - 20*m - 176. Let i be t(-9). Let l = w + i. Is l a multiple of 2?
True
Does 24 divide (-48)/(-30) + 1373699/185?
False
Let o(p) = 5*p + 217. Let g be o(-42). Does 44 divide (g/(-3) - 2/(-6)) + 1189?
False
Let h(i) = 3*i - 10. Let t(p) = 25*p**2 - 6*p**2 - 2*p - 10*p**2 - p**3 + 22. Let r be t(9). Is 2 a factor of h(r)?
True
Is 12 a factor of 5/(-9 - -5 - -5) + (20037 - 1)?
False
Let m be (7/(-2))/7*16. Let j(f) = -f**3 + 6*f**2 - 14*f - 9. Let n(c) = -3*c**3 + 13*c**2 - 27*c - 17. Let z(i) = -5*j(i) + 2*n(i). Is z(m) a multiple of 36?
False
Let x = -269 + 254. Does 16 divide x/4*(7488/27)/(-13)?
True
Let p be ((-392)/10)/(34/(-4845)). Is 18 a factor of p/27*2 - 28/(-126)?
True
Suppose a = 2*a - 16. Suppose -1202 + 2906 = 4*u + 2*y, 4*y - a = 0. Does 14 divide u?
False
Is 6 a factor of (-6)/(18/2 + (-270456)/30048)?
True
Suppose 2*n - 3*j = 1831, 3666 = 4*n - 0*j - 2*j. Does 36 divide n?
False
Let l(o) = -o**3 - 10*o**2 - 15*o + 11. Let c(x) = 2*x**2 - 11*x + 2. Let p be c(6). Let u be ((-2)/p*-8)/(1/(-4)). Is 2 a factor of l(u)?
False
Suppose 0 = -p + 1688 - 541. Is p a multiple of 29?
False
Let u = 91019 + -60802. Is u a multiple of 14?
False
Is 11 a factor of 820705/30 + 68/408?
True
Let y(b) = 3098*b + 7. Let g be y(-7). Let z be g/(-56) + (-3)/(-2 - -26). Let r = z + -267. Is 12 a factor of r?
True
Let k(y) = -11*y + 15. Let x(g) = 5*g - 7. Let w(u) = -6*k(u) - 13*x(u). Let p be w(-10). Does 2 divide (-1)/(-1)*1 - (p - 4)?
True
Suppose 3*d - 64685 - 50171 = -11*d. Is 14 a factor of d?
True
Suppose 4*t - 4*x - 5327 = -1411, 5*t - x = 4883. Is 4 a factor of t?
True
Suppose -6*c = -c + 8*c - 6825. Is 25 a factor of c?
True
Suppose -362884 = -16*y + 88753 + 144091. Is y a multiple of 43?
False
Let g(y) = -14*y**2 - 461*y + 76. Is 6 a factor of g(-16)?
False
Suppose 1705554 = 49*a - 1694654 + 733236. Is a a multiple of 24?
False
Let n = 190 - 130. Let z = 60 - n. Let q(u) = -u**2 + 2*u + 72. Does 18 divide q(z)?
True
Let c(l) = 26*l**3 - l**2 + 10*l - 21. Let b be c(2). Is (-14)/b - (-69840)/116 a multiple of 86?
True
Let f(b) = -b**3 - 7. Let w be f(0). Let q = -99 - -100. Does 9 divide (q/(-3))/(w/588)?
False
Suppose 3*t + 3*t = 9714. Suppose -4*b + 5*q - 2*q + t = 0, 1213 = 3*b - 2*q. Let a = b + -225. Does 14 divide a?
False
Suppose 42*b - 28*b - 3668 = 0. Let i = b - 118. Does 16 divide i?
True
Suppose 3*x + 5*y = 72292, -2*x + 44337 = 3*y - 3859. Is 8 a factor of x?
True
Let i be 0 + 6/(-3) - -23. Let w(f) = 654 + i*f - 650 + 23*f. Is 12 a factor of w(1)?
True
Suppose -111 = -4*s - 67. Suppose 0 = -s*a + 614 + 266. Is 38 a factor of a?
False
Suppose 2*z - 2*c - 2123 = 7361, 2*z - 9484 = 4*c. Does 19 divide z?
False
Let d be (1 - 1)/(15/(-15)). Suppose d = 8*b - 3147 + 235. Is 26 a factor of b?
True
Let n = -9 - -429. Suppose -18*d + 3702 = -n. Is 33 a factor of d?
False
Suppose -5295 = -9*a + 4380. Suppose 33*n - a = -10*n. Is n a multiple of 6?
False
Let k(m) = -15*m**3 - 9*m**2 + 40*m - 208. Does 16 divide k(-8)?
True
Suppose -3*c + 4*b = 5 + 14, 4*c = -3*b + 8. Is 14 a factor of 91/(c/(4 - 6))?
True
Let a(r) = -7*r**2 + 155*r - 76. Let i(h) = h**2 - 3*h. Let s(j) = a(j) + 4*i(j). Is s(38) a multiple of 38?
True
Let o = 346 + -141. Let s(h) = -33*h - 806. Let y be s(-35). Let p = y - o. Does 18 divide p?
True
Let k = -63 - -66. Suppose 9*y + k*y - 864 = 0. Does 24 divide y?
True
Suppose -609*x = -605*x - 1588. Suppose -1430 = -5*n - 4*v + 557, v - x = -n. Is 57 a factor of n?
True
Suppose 2*p - 2*y = -20, 0 = p + 13*y - 11*y + 19. Let q(h) = 3*h**2 - 7*h - 102. Is q(p) a multiple of 31?
True
Suppose 12*g = -102*g - 62*g + 7374224. Does 17 divide g?
False
Is (-70)