a - 6 = -4*j. Let y be ((-6)/(-3) - 2)/(0 + j). Suppose -7*i + 103 + 86 = y. Does 4 divide i?
False
Suppose 60*s - 122315 = 43*s. Is 22 a factor of s?
False
Let s = 14 - 12. Suppose s*d - 269 = 5*i, -i + 2 = i. Suppose -23 = 3*w - d. Is 19 a factor of w?
True
Suppose -20225 = 13*j - 293394. Is 15 a factor of j?
False
Does 35 divide 408/272 + (4/(24/429639) - -2)?
True
Suppose 0 = 16*f - 10*f + 774. Let z = -30 - f. Is 9 a factor of z?
True
Let c(w) = 8*w**2 - 17*w + 41*w + 34 - 14*w - 3*w**2. Does 16 divide c(-4)?
False
Let k(n) = 209*n - 5595. Is 20 a factor of k(99)?
False
Suppose -5396*w = -5445*w + 584472. Is w a multiple of 56?
True
Let c(r) = -2*r**2 - 15*r + 77. Let s be c(-11). Let l(g) = -7*g**2 - g + 127. Does 4 divide l(s)?
False
Let r(d) = 33*d**2 - 5*d - 14. Let y be r(-3). Suppose -13*c = 5*b - 11*c - 717, 2*b - 2*c = y. Does 27 divide b?
False
Let a = 1799 + -1065. Suppose 5*p = -5*l + 5170, -p + 302 = 3*l - a. Is p a multiple of 14?
False
Let l(w) = w**3 - 3*w**2 + 3*w - 5. Let h be l(3). Let s(u) = -10*u**2 - 3*u**3 + 0*u**3 + 14*u - u**2 - 5 + h*u**3. Is s(10) a multiple of 23?
False
Suppose 199*o - 147 = 198*o + 48. Let s be 86/(-4)*-3*2. Suppose -6*j = -o - s. Is 6 a factor of j?
True
Suppose -3*j - j = 8. Suppose 90 = -13*a + 16*a. Does 4 divide a + -9 + (-4)/j?
False
Let v(t) = 15*t**2 + 43*t + 256. Does 10 divide v(-7)?
True
Suppose -b + 5*y = 13, 5*b + 0*b = 2*y + 4. Suppose 4*a - 121 = -3*s + 819, -b*s = 5*a - 629. Is 12 a factor of s?
True
Let g be 3*(5 + (-40)/12). Let n(k) = 5*k**3 + 6*k**2 + 10*k - 22. Is n(g) a multiple of 11?
True
Let x(t) = t**3 + 25*t**2 - 54*t + 6. Is x(10) a multiple of 36?
False
Suppose 0 = -185*u + 594639 + 58041. Is 126 a factor of u?
True
Let k be (-54)/(-8)*(-2 + (-246)/9). Is 48 a factor of (7/(84/(-8)))/(1/k)?
False
Let d(a) = 4*a - 16. Let g = -31 - -35. Suppose g*w - 28 = -0*w. Does 3 divide d(w)?
True
Let g be 396 - (1 - 0*(-1)/(-1)). Suppose 5*c - 2575 - g = 0. Is c a multiple of 38?
False
Let v be 2202/14 + 2 + (-10)/35. Suppose -5*b = 3*w - 824, w - 5*b - 89 - v = 0. Is w a multiple of 62?
False
Let y(m) = 2*m - 8. Let z(t) = 2*t - 8. Let p(u) = -7*y(u) + 6*z(u). Let o be p(6). Does 17 divide 114/o*(-6)/3?
False
Suppose 528 - 33 = 2*t - 3*j, -2*j = 10. Is t a multiple of 16?
True
Let n = -5871 + 8599. Suppose 11*m + 88 = n. Does 6 divide m?
True
Suppose y - 87145 = -3*k, -4*k + 70*y - 69*y + 116205 = 0. Is k a multiple of 35?
True
Let p be (-2934)/(-2) - (-30)/10. Suppose -2*m = 3*m - p. Is m a multiple of 41?
False
Suppose -62*g = -71*g + 5089 + 2570. Is g even?
False
Suppose 0 = 3*u + 2*k + 880, 3*k + 94 = -2*u - 501. Does 29 divide (u/20)/(2 + (-5)/2)?
True
Let d(q) be the first derivative of 2*q**3 - 11*q**2/2 + 14*q - 41. Is 55 a factor of d(-7)?
True
Let y = -81972 - -163571. Does 58 divide y?
False
Suppose -3*o = o. Let x(p) = 3*p - 5*p + 148 - p**3 + p + 3*p. Is 37 a factor of x(o)?
True
Let z(o) = -5*o**2 + 8 + 50*o**2 + o - 3*o**2. Let m be z(3). Suppose -25 = 5*j, -4*w + j + 48 = -m. Is w a multiple of 27?
True
Let v(l) = 67*l**2 + 320*l + 1888. Is 5 a factor of v(-6)?
True
Let j = 8929 + -8118. Is j a multiple of 10?
False
Let u = 130 - 74. Suppose d - 4 = 0, -2*j - d + u = -298. Is 45 a factor of j?
False
Let d(l) = -6*l**2 - 312*l + 98. Is 25 a factor of d(-34)?
False
Suppose 0 = 2*f + 3*f - 55. Let s = 8 - f. Does 20 divide -6 + (-4340)/(-21) + 2/s?
True
Let m = 2 - -3. Let r = 1085 + -359. Suppose -4*t - m*h + r = 202, 4*t = 4*h + 488. Is 21 a factor of t?
True
Let a(d) be the first derivative of d**4/12 + d**3/2 + 4*d**2 - 8*d - 4. Let b(i) be the first derivative of a(i). Is 8 a factor of b(5)?
True
Suppose -3*b + 2*o + 500 = 0, -4*o = o - 10. Let q be (7/3)/((-8)/b*-7). Suppose -q*c + 118 = -92. Does 6 divide c?
True
Let m = -105 - -19. Let f = 89 + m. Let o(g) = 62*g - 24. Is o(f) a multiple of 27?
True
Suppose -4*f + 24 = 2*l - 54, -2*l = f - 18. Suppose 3*h = -2*h + f. Suppose 2*d - 19 - 1 = 5*q, 2*d = -h*q + 20. Is d even?
True
Let h be 0 - (-34)/4*(-30)/(-3). Suppose -h*q = -81*q - 372. Is q a multiple of 4?
False
Let m(v) = 91*v**3 + v**2 - 4*v + 2. Let a = -3 - -4. Suppose 2*r - a = 1. Is m(r) a multiple of 15?
True
Let z be (2/5)/(5 + 26/(-5)). Let f be (z*4/(-24))/(2/(-12)). Is (2 - 1)*(f - -35) a multiple of 9?
False
Suppose 5*q = -h + 62, 39*q = 38*q - 5*h - 2. Does 3 divide q/39 + (-464)/(-12)?
True
Let c(n) be the second derivative of -13*n**3/6 + 6*n**2 - n - 38. Is c(-2) a multiple of 6?
False
Let s be 0/(2 + -8) - (-904 + 2). Let h = s + -579. Does 6 divide h?
False
Suppose -4*i + 5*i = 5*u + 3370, -2*u - 16804 = -5*i. Suppose 27*m = 12*m + i. Does 8 divide m?
True
Let y(g) = -230*g**2 + g - 1. Let r be y(1). Let k be (0 + 4/(-8))*r. Let o = k - 58. Is o a multiple of 19?
True
Let x be 5165/4 + 1 + (-7)/28. Suppose 16*r = x + 84. Is 9 a factor of r?
False
Suppose 0 = 32*j - 94862 - 72024 - 66586. Is j a multiple of 76?
True
Suppose 4*t + 0*t = 0. Suppose -u = -2*h + 11, -13 = 3*h - u - 28. Suppose 4*p - h*q - 410 = p, t = -2*p + q + 275. Does 46 divide p?
True
Suppose -19017 = 41*w - 50*w. Suppose 23*l - w = -204. Is 9 a factor of l?
False
Suppose -5*s + 142 = 3*m, 4*s - 5*m + 0*m = 121. Suppose -s*d = -13*d - 768. Is 12 a factor of d?
True
Suppose 3*j + 484 = 8*c - 3*c, -198 = -2*c - j. Suppose c + 28 = q. Does 9 divide q?
True
Suppose -17*r + 7*r - 10*r = 0. Suppose -2*y - 5*l = -r*y - 469, 2*y = l + 499. Is 13 a factor of y?
True
Let g be 11 + -4 - (-5 - -5). Let n(k) = 73*k + 35. Does 26 divide n(g)?
True
Let g be ((-14)/2 + 2)*(-13 + 1). Let s be ((-912)/(-72))/(2/g). Suppose 4*x - 2*x = s. Is 38 a factor of x?
True
Let h = 61 + -61. Let y = -35 + 45. Suppose -y*a + a + 1224 = h. Is a a multiple of 23?
False
Let g = 90 + -83. Suppose 3*p + s = g*p + 27, -2*p - 24 = -4*s. Is 7/(56/(-144))*8/p a multiple of 3?
True
Let y be 3043/2 - (12/(-8) + 1). Suppose -377 - y = -9*g. Is g a multiple of 39?
False
Let a = -152 - -154. Suppose 3*n = -a*t + 69, 2*t - 104 = -0*t + 4*n. Is t a multiple of 3?
True
Let b(t) = -t + 2. Let g be b(2). Suppose 5*u = 2*r + u + 10, g = -3*r - 2*u + 1. Does 33 divide (((-142)/4)/r)/(2/4)?
False
Let v be -5*(-96 + -5)*1. Suppose 7*u - 1175 = v. Does 24 divide u?
True
Let u(l) = -71*l**2 - l + 11. Let y be u(4). Let m = y - -624. Does 7 divide m/(-4) - ((-50)/(-8) + -6)?
True
Let j = -3329 + 6109. Is 18 a factor of j?
False
Let a be (0 - (-7)/4)*-4. Let j(o) = -14*o**2 + 11*o + 1. Let d(y) = 6*y**2 - 5*y - 1. Let n(w) = -9*d(w) - 4*j(w). Is 13 a factor of n(a)?
False
Let b(v) = -48*v**3 + 4*v**2 - 3*v - 36. Does 16 divide b(-3)?
False
Let t(c) = 6*c**2 - 253*c + 3066. Is 6 a factor of t(12)?
True
Suppose -4*m = -28 + 32. Is 2/(m + (-2322)/(-2310)) a multiple of 35?
True
Let r = 239112 - 170272. Is 63 a factor of r?
False
Let l(g) = g**3 + 3*g**2 - 2*g - 1. Let j be l(-3). Suppose -10*d = -j*d - 10. Is 9 a factor of (52/(-3) + 1)*(-6)/d?
False
Suppose -7 = 2*k + 5*k, -10657 = -4*c + 5*k. Is 5 a factor of c?
False
Let g(k) = k**3 + 16*k**2 + 15*k + 1. Let u be g(-15). Suppose 0 = 3*a + 5*m - u + 15, 2*m = -3*a - 2. Is (-2 - -1)*a - -51 a multiple of 17?
False
Let i(s) = -18*s**3 - 4*s**2 + 6*s + 7. Let w be i(-2). Suppose 0 = -113*k + 112*k + w. Is k a multiple of 41?
True
Let g(m) = m**3 + 20*m**2 - 12*m - 22. Suppose 5*c - 42 + 158 = 4*q, 3*c = -5*q - 40. Does 5 divide g(c)?
False
Let o(w) = -8*w - 61. Let z be o(-7). Let p(n) = -26*n - 7. Is 8 a factor of p(z)?
False
Let y = -599 - -6894. Is y a multiple of 10?
False
Let m be (15/(-24)*-4)/(2/(-24)). Let c be (-36)/m - (2/10)/1. Is 24 a factor of 2*(1 + -2)/(c/(-52))?
False
Let g be 50/18 + (-975)/(-135) + -7. Let d be 846/15 - 4/10. Suppose 5*j + d = g*h + 484, 4*j - 3*h - 340 = 0. Is 37 a factor of j?
False
Suppose -5*c = 5*w - 27470, -w - 36697 - 7183 = -8*c. Does 13 divide c?
True
Is (-22)/(((-26)/24 + 1)*279/558) a multiple of 2?
True
Let u = 7743 + -2782. Is u a multiple of 41?
True
Let i(q) = q**3 - 17*q**2 + 5*q + 13. Suppose 5*c = v - 0*v - 37, -4*v - 5*c = -48. Is i(v) a multiple of 12?
False
Suppose -30*i = 5*w - 28*i - 619, 5*w + 5*i - 595 = 0. Suppose 0 = -o - 2*p + 37, 5*o - 175 = -0*o - 5*p. Suppose 4*q - w - o = 0. Is q a multiple of 5?
True
Suppose