p - 187. Is b a multiple of 39?
True
Suppose -2*z + 995 = s - 3931, -2*z = 3*s - 14790. Does 36 divide s?
True
Let b = -69 + 72. Suppose -v = -4, -b*v + 272 = 2*j - 5*v. Let t = j + 4. Does 8 divide t?
True
Let z(t) be the second derivative of -t**4/12 + 11*t**3/2 - 14*t**2 - t - 11. Does 16 divide z(15)?
False
Let j = 758 - 1202. Is ((-13)/(-3) + -5)*j/8 a multiple of 9?
False
Suppose -17*r = -30*r + 44707. Is r a multiple of 59?
False
Is (5 - -10) + -15 + 6128 a multiple of 27?
False
Let s = -1215 - -2926. Is 5 a factor of s?
False
Suppose -51*c - 85*c + 2436295 = 157*c. Is c a multiple of 16?
False
Suppose -8*z - 5*r + 65 = -3*z, -3*z + 32 = -4*r. Let y(c) = -c**2 + 12*c - 2. Let o be y(z). Is (-153)/o*(-8)/(-3) - -4 a multiple of 16?
True
Let j(n) = -n**3 + 30*n**2 - 9*n - 200. Is j(19) a multiple of 16?
True
Suppose 3*u + 5*z - 859 = 0, 5*z = -2*u - 0*z + 571. Let g = u - 155. Does 17 divide g?
False
Let x(s) = -2*s**3 - 2*s + 3*s**3 - 81 + 3*s. Let k be x(0). Let o = -44 - k. Is 10 a factor of o?
False
Let n be (-2)/5 - 20412/70. Is (1 - n/28)*14 a multiple of 40?
True
Let w = 44 + -38. Let x(r) = -r**3 + 9*r**2 - 16*r - 6. Let t be x(w). Suppose -160 = -t*j + 692. Is j a multiple of 17?
False
Suppose 6*p - 36 = 3*p. Suppose d + 6 = -0*d + 3*b, -2*d - p = 4*b. Let i = d + 42. Does 9 divide i?
True
Let c(a) = a + 20 - 6*a**2 - 5*a - 58*a**3 - a + 59*a**3 - 9*a**2. Is 17 a factor of c(18)?
False
Suppose -82 = -l + 2*j, -76 = 4*l - 5*l + 5*j. Let s = l - -100. Is s a multiple of 17?
False
Let q(c) = 30*c**2 - 159*c + 851. Does 17 divide q(10)?
True
Let a = 96 + -53. Suppose -115 = -5*f + 3*p, 0 = 5*f + 5*p - 32 - a. Is (744/20)/(2/f*4) a multiple of 31?
True
Let f(m) = 2*m + 144 + 23*m**3 - m**2 - 15*m**3 - 9*m**3. Does 12 divide f(0)?
True
Is 35/(-28) + 1 - 2/(40/(-47245)) a multiple of 8?
False
Let x = -5115 - -8304. Is 7 a factor of x?
False
Suppose 52*l - 1182 = 4*y + 54*l, -3*y + 3*l - 891 = 0. Does 7 divide 3 - 0 - (y + 10)?
False
Let v be 4 + (2 - 2 - -18). Let r be (-8)/44 - 24548/v. Is 6 a factor of 6/(-4) + r/(-8)?
True
Let z(s) = s**3 + 5*s**2 - 14*s + 2. Let q be z(-7). Is 260/q*(5 - 63/15) a multiple of 16?
False
Let a(r) = -19*r + 68. Let j = -208 - -205. Does 5 divide a(j)?
True
Let d be ((-16)/32)/((-2)/(-168)). Let z = 44 + d. Suppose 2*n - 3*q + z*q = 65, 0 = 2*n + 2*q - 56. Is n a multiple of 7?
False
Let l = -696 + 694. Let n be (-1 - 2)/(1/2). Does 19 divide l*12/2*38/n?
True
Let t = 24193 - -655. Does 16 divide t?
True
Let c = 1902 + -1205. Suppose -10*h + 983 = -c. Is 14 a factor of h?
True
Let m be (-66)/11*285/(-10). Suppose -2*h + 333 = k, -h - 6*k + m = -k. Is 16 a factor of h?
False
Let g = 12 - 6. Suppose -g*s = -6*s + 4*s. Suppose -210 = -2*l - s*l. Does 21 divide l?
True
Let n = 4171 + -2297. Suppose -5*v = 5*k - 1850, 3*k + v = 8*k - n. Is 17 a factor of k?
True
Suppose c + 0 = -2*p + 5, -4*c - 28 = -4*p. Suppose -p*l + 4*u + 5 = -11, -3*u - 12 = -4*l. Suppose 0 = -x - 1, -x = m - l*x - 16. Does 3 divide m?
False
Let i(p) = p**3 + 8*p**2 + 6*p - 22. Suppose 0 = -5*v + x + 13 + 30, 3*v + 3*x - 15 = 0. Is i(v) a multiple of 70?
True
Suppose -u - 11*o + 631 = -8*o, 3*o = -3*u + 1911. Is 268 a factor of u?
False
Is 14 a factor of ((-165)/(-25) + -15)*(1 - (1797 + -1))?
True
Suppose -4*j - 72 = -4*z, -5*j = -2*z + 69 + 18. Let f = 25 + j. Suppose f*k = 4*k + 200. Does 10 divide k?
True
Let a = -45 - -50. Suppose a*l - 31 = -2*r, 5*l + 39 - 5 = 3*r. Suppose 15*g - 48 = r*g. Does 4 divide g?
True
Suppose 0 = 19*o - 4629 + 1133. Suppose -484 - o = 2*a. Let z = a - -541. Is z a multiple of 9?
True
Let r be 1/((-15)/(-99) + (-10)/(-55)). Suppose 353 = 4*g + r*l, 0*g = -3*g + 3*l + 249. Is 9 a factor of g?
False
Let d = -39 - -44. Is 4 a factor of (-2)/d + 64200/500?
True
Let h(q) = -q + 118. Let t(k) = 11*k + 79. Let b be t(-8). Is h(b) a multiple of 2?
False
Let q = 19895 + -8440. Is 79 a factor of q?
True
Let b = -386 + 2962. Does 6 divide b?
False
Suppose 3*c + 333 = -75. Let h = -1025 - -813. Let i = c - h. Is i a multiple of 47?
False
Suppose -5*y + 17647 = 5*a + 632, -3*a + 10201 = -y. Does 6 divide a?
False
Let w = 1406 - -1596. Suppose w - 26 = 8*a. Does 4 divide a?
True
Let g = 210 - 210. Suppose g = 2*t + 2*h - 1504, 0*t + 3*t - 2280 = 3*h. Is t a multiple of 27?
True
Suppose 89*d + 10 = 94*d. Is 333/d - (4 + (-35)/10) a multiple of 41?
False
Let c(f) = 23*f**2 - 105*f + 457. Does 9 divide c(-23)?
True
Let z be -4*(-4)/(-16) - 1. Is 10 a factor of (-3178)/(-14) - 3/z*2?
True
Let j be ((-2)/4)/((-7)/280). Let q = 23 - j. Suppose n - 5 = -2*o, -3*n = -3*o - 27 + q. Is n a multiple of 6?
False
Suppose -5*x + 2*x = 3, -5*p - x - 31 = 0. Let v be ((-3)/p - -1)*-2. Is 8 a factor of 0/(-3) + 43 + v?
True
Let q = 24 + -21. Let k be 4/q*9/6. Suppose 4*b = -k*b + 234. Is 8 a factor of b?
False
Let c(r) be the third derivative of -13*r**4/24 - 7*r**3/2 + 40*r**2. Is c(-9) a multiple of 12?
True
Let v(a) = 13 - 2*a - 2*a - 10*a - 2. Let y(i) = -1. Let o(u) = -2*v(u) - 4*y(u). Is o(6) a multiple of 30?
True
Let b = 5386 + -5226. Is b a multiple of 5?
True
Is (48/(-7))/(84/(-173264)) a multiple of 136?
True
Let p = 21 - 85. Let n = 68 + p. Let h = n - -160. Does 18 divide h?
False
Let j(i) = -77*i**2 + 17*i + 7. Let v be j(3). Let w = 1052 + v. Is w a multiple of 12?
False
Is (-10)/80*-10076 - ((-5)/10 - 0) a multiple of 90?
True
Suppose 42*m - 47*m - 10 = 0, -t + 270 = 3*m. Is 6 a factor of t?
True
Suppose -3*i = 3*r - 1404, -30*i - 6 = -27*i. Does 18 divide r?
False
Let b(v) = v**3 - 4*v**2 + 2*v - 3. Suppose 30 = -4*z + 42. Let f be b(z). Let a = 12 + f. Is a a multiple of 2?
True
Suppose -3 = o - 0*o. Let u(q) = -q**2 + 4*q + 3. Let i be u(-2). Is 24 a factor of (i/6)/(o/80)?
False
Suppose -4*c - 3*m + 4*m + 65240 = 0, 2*m + 8 = 0. Is c a multiple of 6?
False
Let n = -11080 - -35262. Does 10 divide n?
False
Suppose 3*l + 2*l - 3 = -2*u, -u = 3*l - 1. Suppose 3*q - 407 = 4*z, -2*z = -7*z + u*q - 510. Let i = z + 172. Does 27 divide i?
False
Let g(n) = -8*n + 57. Suppose 2*d + 2*a - 38 = 0, -4*a - 111 = -4*d - a. Let s be g(d). Let u = s + 224. Is 62 a factor of u?
False
Let w(j) = 91*j - 256. Is 22 a factor of w(9)?
False
Suppose -693 = -3*i + 3*f, f + 930 = 113*i - 109*i. Is i a multiple of 2?
False
Let b(q) = 6*q**2 + 30*q - 31. Let g(h) = h**2 + 6*h - 6. Let t(y) = 2*b(y) - 11*g(y). Let v be t(2). Is ((v/6)/(-1))/(26/3471) a multiple of 35?
False
Suppose -h + 5*h - 10 = -2*q, -4*q - 15 = h. Let r(o) = -2*o**2 + 2*o - 14. Let p be r(q). Let x = 11 - p. Does 17 divide x?
True
Suppose -3*c - 4*y + 236 = 0, -201 + 67 = -2*c + 2*y. Suppose 69*a + 8 = 71*a. Suppose -2*q + c = a*q. Is q a multiple of 12?
True
Let s = 9 - 9. Suppose 3*y + 3 - 15 = s. Suppose 48 = -0*w + y*w. Is 5 a factor of w?
False
Let r = -115 - -79. Let p = 39 + r. Suppose 85 = 4*f - p*f. Is 17 a factor of f?
True
Let g(z) = -171*z - 76. Suppose 0 = -2*v - u + 3, 2*v - u = -4 - 3. Let f(l) = 2*l + 1. Let s(b) = v*g(b) - 95*f(b). Is s(-5) a multiple of 19?
True
Let t(l) = 99*l**2 - 6*l - 74. Does 19 divide t(-13)?
False
Let k = 297 - 305. Does 10 divide 2 + k/((-56)/343)?
False
Let v(u) = 3*u**3 + 2*u**2 - 17*u - 14. Suppose 0*o + 13 = 3*o - 2*n, -3*o - 4*n + 19 = 0. Does 11 divide v(o)?
False
Let v(l) = -3*l**3 - 62*l**2 - 29*l - 62. Does 21 divide v(-26)?
True
Let c(y) = y + 81. Let g(b) = b**2 + 32*b + 275. Let q be g(-16). Is c(q) a multiple of 25?
True
Let y(u) = u**2 - u. Let d be y(8). Suppose -2*a - d = -4*a. Suppose 5*v = 3*v + a. Is v a multiple of 10?
False
Let l(c) = -43*c - 7. Let s be l(-3). Let n be 8*5/60 - 7/(-3). Suppose 7*v + 80 = 3*d + 2*v, -5*d - n*v = -s. Is 10 a factor of d?
False
Let h(u) be the first derivative of -u**3 - 1/4*u**4 - 13*u - 29 + 11*u**2. Is 55 a factor of h(-9)?
True
Suppose 2*g = -4*b + 26148, -3*g + 12730 = 3*b - 6887. Suppose 33*x - b = 5741. Is x a multiple of 22?
False
Let o be (1 - -2581)*(-26)/52. Let x = -505 - o. Is 6 a factor of x?
True
Suppose -20 = -5*u - 10. Suppose 0 = -5*z + 3*i + 714, 2*z - u*i = 3*z - 135. Suppose 7*w - 3*w = 3*j - 71, 0 = 5*j - w - z. Does 29 divide j?
True
Suppose -48 - 79 = k + 2*l, 2*k + l + 248 = 0. Let o = 241 + k. Does 6 divide o?
False
Suppose 32*t + 376966 - 23536 = 6