b a multiple of 4?
True
Let b = -1024 + 2134. Let c be 21/(-42) - (-1)/2. Suppose 5*a = -c*a + b. Is 37 a factor of a?
True
Is 81 a factor of -20*16/(-32) + (4 - -23557)?
True
Let k(b) = b**3 + 3*b**2 + 4*b + 7. Let v be k(-4). Is (-1 - v/(-2))/((-30)/60) a multiple of 27?
True
Let b(t) = -26*t - 16. Suppose 4*w + 5*c = -63, -4*w - 41 = c + 42. Is 73 a factor of b(w)?
False
Is 31 a factor of (15 + 9)*((-32)/144 - 1511/(-36))?
False
Let q = 36777 - 23897. Suppose 28*l - 36*l + q = 0. Does 115 divide l?
True
Suppose 45*w = -b + 44*w + 30887, 2*b + w - 61775 = 0. Is 11 a factor of b?
True
Let d(u) = -u**2 - 59*u - 190. Is d(-19) a multiple of 20?
False
Let f be (9 - 12)*(-2)/(-6). Suppose 0 = 2*s - 4*s + 58. Let t = s + f. Does 4 divide t?
True
Does 11 divide ((-45)/54)/((-9)/25542)?
True
Let z(x) = -30*x + 1 + 2 + 1. Let j(h) = -10*h + 1. Let g(q) = 14*j(q) - 4*z(q). Is g(-1) a multiple of 5?
False
Let v = 17761 + 34555. Does 22 divide v?
True
Let m = -5326 + 6575. Does 9 divide m?
False
Let y be -1 + 3 + (3 - 2). Suppose 0 = 5*x - 4*j - 1515, 2*j + y*j = x - 282. Let h = x + -219. Does 11 divide h?
True
Suppose -4*h + n = -51657, 5*h + 5*n - 3848 = 60717. Is 10 a factor of h?
False
Suppose 3602*p - 3619*p + 21437 = 0. Is 162 a factor of p?
False
Let y be -3 - (2/(-6))/((-2)/(-18)). Suppose 32*j - 30*j - 796 = y. Let u = 557 - j. Is u a multiple of 16?
False
Let z(d) = -d**3 - 2*d**2 - 18*d - 10. Suppose -9*w + 18 = 90. Does 30 divide z(w)?
False
Is ((-958)/30*-24)/((-2)/(-20)) a multiple of 16?
True
Let p(m) = m**3 - 24*m**2 + 24*m - 77. Let u be p(23). Does 46 divide u/18 + 233*1?
True
Let q(j) = 2*j + 33. Let b be q(-14). Suppose 3*a = 2*h + b - 256, -2*h + 5*a = -253. Is h a multiple of 4?
True
Suppose 98*u + 705 = 101*u. Let z = -5 + 5. Suppose z = -5*l + 5*r + u, -l - 2*r + 41 = -0*r. Does 19 divide l?
False
Let z(q) = -7*q**3 + 19*q**2 + 63*q - 15. Let b(p) = -3*p**3 + 10*p**2 + 31*p - 7. Let w(l) = 5*b(l) - 2*z(l). Is w(14) a multiple of 3?
True
Let u be 1148/21*6/2. Suppose -3*v + u = -4*b + v, v - 185 = 5*b. Is (-3)/(8 + -2)*b a multiple of 6?
True
Let l(o) = -10*o - 2*o**2 + 6*o - 11 + 0*o. Let g be l(-2). Let w = 47 + g. Is w a multiple of 18?
True
Let h(w) = 7*w**3 - 13*w**2 + 2*w + 101. Let z(p) = 2*p**3. Let j(q) = h(q) - 4*z(q). Is 10 a factor of j(-13)?
False
Let h(u) = u**2 + 11*u - 30. Let i(s) = -18*s + 43. Let c be i(2). Does 12 divide h(c)?
True
Let x(b) be the third derivative of -b**6/120 + 3*b**5/20 - 3*b**3 + 97*b**2. Does 20 divide x(7)?
True
Let z be 1 - 12/(-2 - 0). Let v(c) = -100*c + 2399. Let j be v(24). Is 5 a factor of (-202)/(-2) + (z + j - 6)?
False
Suppose -24*t = -18*t - 2*k - 137042, 0 = 2*t - 3*k - 45676. Does 61 divide t?
False
Suppose -5*h = -5*q - 27480, 286*h - 3*q = 291*h - 27528. Is h a multiple of 21?
True
Let g = -374 - -3278. Is 11 a factor of g?
True
Let q(f) = 1661*f - 4655. Is 73 a factor of q(5)?
True
Let p be ((-128)/28 - -5) + 67/7. Suppose p = -3*s + 100. Is 9 a factor of s?
False
Suppose 7*x - 2*x - 450 = 0. Let a be (-5 - (-4 - -1)) + -40. Let k = x + a. Does 48 divide k?
True
Let i be (2/8 - 0) + 931/196. Suppose -i*j + 3504 = -181. Is 67 a factor of j?
True
Suppose -75*f = -2*t - 77*f + 42276, -t + 3*f + 21154 = 0. Does 32 divide t?
False
Let w(r) = -3*r - 43. Let x(t) = 3*t + 44. Let b(h) = -7*w(h) - 6*x(h). Let l be b(17). Suppose -3*n = 3*z - 93, 2*n + 31 - l = -3*z. Is n a multiple of 26?
False
Suppose -2*z = -3*s + 2, -3*s + 67 - 55 = 3*z. Suppose 0 = 2*p - s*w - 1372, -25*p + 21*p - 5*w + 2780 = 0. Is 6 a factor of p?
True
Suppose 0 = -55*m - 57*m + 117*m - 10035. Is m a multiple of 10?
False
Let x(a) = -3*a - 29. Let s be x(-11). Suppose -c + 6 - 3 = 0. Suppose 144 = f - 4*b, c*f + 2*b - 392 = s*b. Is f a multiple of 29?
False
Let u = -4 + 6. Let m(f) = 2 - 268*f**2 - 268*f**2 - 275*f**2 + 830*f**2. Is m(u) a multiple of 13?
True
Suppose -4*a + 0*z - z + 25 = 0, -4*a + 5*z = 5. Let o be (7 - (0 + (0 - 3))) + 1. Suppose o*y - 162 = a*y. Is y a multiple of 6?
False
Let h = -85 + 30. Let b = h + 41. Let j = b + 113. Is j a multiple of 11?
True
Suppose 13*l - 1144 - 65 = 0. Does 17 divide (l/27 - 3) + 93588/108?
True
Let p be (14/4 - 0)/(11/(-22)). Suppose -c - 4*c - 195 = 0. Is (c/(4 + p))/1 a multiple of 13?
True
Let g(w) = w**2 + 13*w + 19. Let t be g(-13). Suppose 3*f = -2*d + 1250, -t*f + d + 2105 = -14*f. Is f a multiple of 20?
True
Let k = -207 + 210. Suppose k*i = 6*i + 5*s - 160, -3*i - 2*s + 154 = 0. Does 9 divide i?
False
Is 58 a factor of (1/(2/(-14)))/(11/(-2167))?
False
Suppose 0*v + 4*t - 10 = v, -4 = -t. Suppose -v*x - 36 = -3*x. Is 29 a factor of 8/x + 1 + 292/6?
False
Let w = 5409 + -2639. Does 52 divide w?
False
Let m = 574 - 256. Does 2 divide (-14 + m/24)/((-2)/24)?
False
Suppose 5*x + 5*k = 2*k + 34, 2*x = 4*k - 2. Suppose -2*w = x*y - w - 768, -3*y = w - 462. Let r = y + -78. Is 15 a factor of r?
True
Suppose -13*b - 48 = -b. Let o(r) = -2 - 1 + 9 - 56*r + 10. Is 20 a factor of o(b)?
True
Let v(g) be the third derivative of g**5/60 - 5*g**4/24 + g**3/6 - 40*g**2. Let p be v(4). Is 10 a factor of (p - -2 - 1)/(6/(-111))?
False
Suppose -n = -3*g - 0*g + 232, 306 = 4*g - 2*n. Let m = -75 + g. Is 3150/40 + 1/m a multiple of 6?
False
Is 25 a factor of 18617/2*(-16 + 32 + -14)?
False
Let q be 63/(-28)*(-2236)/3. Let x = q - 627. Is 46 a factor of x?
False
Suppose -4*l - 332 = -4*d, 3*d - d = -3*l - 259. Is (-12)/(-32) - l/8 a multiple of 11?
True
Suppose 7*r = r + 6. Let l(a) = 533*a**3 + 10*a - 9. Does 34 divide l(r)?
False
Suppose -4*u + 5 + 47 = 0. Suppose -6*f + 17 = -u. Suppose f*r - 189 = 81. Is 7 a factor of r?
False
Let h = -196 + 169. Is 11 a factor of (-22624)/(-21) - 18/h?
True
Suppose 11*v = v - 14*v + 38376. Does 13 divide v?
True
Suppose -k + 5*k - 12772 = -2*h, 3*h + 15954 = 5*k. Is k a multiple of 7?
True
Suppose 12*p - 5144 = 3340. Let x = p - 330. Does 49 divide x?
False
Does 13 divide 4*((-1015224)/(-32))/21?
False
Suppose 4224 = 7*j + 122. Let x = 1006 - j. Is 12 a factor of x?
True
Let w = 153 - 150. Suppose -3*g - 317 = -3*s + 1183, -s - w*g = -500. Is 20 a factor of s?
True
Suppose -4 = 11*d + 172. Is ((-3960)/32)/((-42)/d - 3) a multiple of 21?
False
Let p = 171 - 377. Let s = p + 486. Suppose 3*b + 7 = s. Is b a multiple of 13?
True
Let p be 1/6 + 5263/(-114). Let o = 112 + p. Is o a multiple of 3?
True
Let k(y) be the second derivative of 5*y**4/12 - 2*y**3 + 7*y**2/2 + 8*y + 5. Is k(7) a multiple of 14?
True
Let d be 295/(1*2/4*2). Let x = -94 + -41. Let r = d + x. Is 9 a factor of r?
False
Let a(f) = f**3 - 7*f**2 - 11*f - 8. Let y be a(12). Suppose 3*m + y = 2*s, 3*s + 8*m - 6*m = 870. Is 23 a factor of s?
False
Suppose 144*i - 1618637 = -270797. Does 60 divide i?
True
Is 12 a factor of 92/6*-2*(8 + -38)?
False
Suppose 3*q + 4 = 2*h, -4*h + 2*q + 1 = -15. Let x(n) = 10*n**2 - 9*n + 15. Is x(h) a multiple of 4?
True
Let p = 9019 + -7689. Is 35 a factor of p?
True
Suppose -2*y + 3813 = 3*t + 1556, -2*t + 4518 = 4*y. Suppose -3*w + y = -a - 634, -5*w + 4*a = -2940. Does 42 divide w?
True
Let b = 19730 - 13477. Is 63 a factor of b?
False
Let r = -23 - -29. Suppose 0 = 6*n + r*n. Is 6 a factor of ((-12)/(-10) + n)/(12/160)?
False
Suppose -2*n - 2 = 10. Let g be (n/5)/(12/(-80)). Suppose -g*v + 820 = 140. Does 11 divide v?
False
Let s(o) = -135*o - 65*o - 34 - 11 - 167*o. Let p be s(15). Is 7 a factor of (p/(-14))/5 - 2/7?
False
Let i(x) = -x**3 - 11*x**2 + 10*x + 26. Let z be i(-13). Let k = 18 + z. Does 42 divide k?
True
Suppose 24*k - 74238 = 20*k + 2*n, -2*k = 5*n - 37173. Is 221 a factor of k?
True
Let f(a) = -13*a - 13. Let g be f(-3). Suppose 5*n + 1 - g = 0. Suppose 7*t - 2*t = -5*j + 545, n*j + 2*t - 548 = 0. Is j a multiple of 21?
False
Does 4 divide (-8 + -5)/(-39)*6*2995?
False
Let t = -155 + 161. Suppose 3*q - 291 = -2*c + t*q, -2*c + 2*q = -290. Is c a multiple of 41?
False
Let v = -178 - 647. Does 2 divide 4/24 - v/18?
True
Let r(y) = 7*y**2 - 48*y + 741. Does 31 divide r(14)?
False
Let a(p) = 2*p**2 + 19*p - 6. Let q be a(-4). Is 60 a factor of (-140)/((10/q)/((-3)/(-5)))?
True
Let j(q) = 1060*q**2 + 27*q + 6. Does 6 divide j(6)?
True
Let v = 14590 - 6802. Does 12 divide v?
True
Let c be 3/(26/12 - (-16)/(-24)). Suppose 3*x