62214. Is j a multiple of 7?
False
Let s(i) = 47*i**3 - 16*i**2 + 31*i + 111. Does 51 divide s(6)?
False
Let b = 128 - 146. Does 8 divide (-7716)/b - 2/(-6)?
False
Let a = -86 + 156. Suppose -3*u = 13*u + 1280. Let c = a - u. Is 25 a factor of c?
True
Let i(k) = 3*k**2 - 2*k + 2. Let u be i(-6). Let y = -205 + 210. Suppose u = 4*n + v - 139, 2*n + y*v - 153 = 0. Does 9 divide n?
False
Suppose 3*f - 27*x + 22*x = -37, 0 = -f - 2*x + 6. Is 25 a factor of (-15058)/(-16) + (-5)/(-160)*f?
False
Suppose -903*s + 892*s + 13233 = 0. Is 3 a factor of s?
True
Let i = -199 + 445. Let c = 449 - i. Is c a multiple of 15?
False
Let o = 3846 + -2550. Suppose -m = 7*m - o. Does 9 divide m?
True
Suppose 3*q = 4*c + 32, 7*q + 4*c = 2*q + 96. Is q/(-5)*(56 - 136) a multiple of 8?
True
Let p(b) = 4*b - 37. Let g(s) = -15*s + 147. Let q(c) = 2*g(c) + 9*p(c). Let m(i) = i + 8. Let d be m(0). Is 3 a factor of q(d)?
True
Let k = -5501 + 5831. Is k a multiple of 5?
True
Let z(v) = -15*v + 17. Let l(y) = -8*y + 8. Let r(n) = -5*l(n) + 3*z(n). Let b be r(5). Is 4/b + 1833/21 a multiple of 7?
False
Let r(w) = -w**3 - w**2 - 1. Let j(s) = -4*s**3 + 2*s**2 + 14*s + 13. Let o(h) = j(h) - 3*r(h). Let q be o(7). Is 18 a factor of 60/q*4/(-10)*-36?
True
Let x(k) = 4*k + 58. Let j(c) = 38*c + 356. Let i(f) = -13*f - 119. Let z(u) = -11*i(u) - 4*j(u). Let t(r) = 11*x(r) + 6*z(r). Is 16 a factor of t(-18)?
True
Is 3 a factor of ((-140)/25)/(-14) + 0 - 83/(-5)?
False
Let u(l) = -3*l + 10*l**2 - 23 + 24*l**3 - 14*l**3 - 9*l**3. Let m be u(-10). Is (m/7)/((-2)/(-318)) a multiple of 8?
False
Let h(b) = b**3 + 12*b**2 - 11*b - 2. Let z be h(-13). Let m = z + 407. Is m a multiple of 20?
False
Let o(v) = 8*v**2 + 9*v + 561. Is 19 a factor of o(-22)?
False
Suppose -30 = -5*g + 5*h, g - 3*h - 37 = -27. Suppose -3*f = 4*b - 193 - 1986, -2*b + 1084 = -g*f. Does 32 divide b?
True
Suppose 2*j - x = -0*x + 40, -5*x = 4*j - 66. Let i be -15*1*(-8)/6. Suppose 0 = j*h - i*h + 52. Is h a multiple of 13?
True
Let w(u) = -13*u + 29. Let z(t) = -13*t + 26. Let g(j) = -3*w(j) + 2*z(j). Is g(6) a multiple of 6?
False
Suppose -4667 - 1806 - 1483 = -3*d. Is 13 a factor of d?
True
Let x(a) = 15*a**3 - 2115*a**2 + 163*a - 123. Does 45 divide x(141)?
True
Let l(t) = -t**3 + 41*t**2 - 78*t + 25. Let s be l(39). Suppose s*n = 1978 + 172. Is n a multiple of 22?
False
Suppose 7*p - 6*p = -4*s + 26, 0 = -3*s - 2*p + 22. Let m(x) = 4*x**2 - 12*x - 9. Is 8 a factor of m(s)?
False
Suppose 2*i - m = 30, i - 54 = -2*i - 3*m. Suppose y = i + 14. Is (y/9)/(2/27) a multiple of 21?
False
Let c(d) be the first derivative of 2*d**3 - 6*d**2 + 18*d - 88. Does 44 divide c(-7)?
True
Let j = -123 - -127. Let v be 99 - 7 - -2*(-2 + j). Let o = -84 + v. Is o a multiple of 6?
True
Let d = -1065 - -2112. Is d a multiple of 3?
True
Let d(i) = i**2 + 10*i - 6. Let f be d(-11). Suppose -t - t = -q + 1, 4*q + f*t = 30. Let h = q - -15. Is 20 a factor of h?
True
Let n be -4 + 4 + (-1 - (-3 - 0)). Suppose -n*j = -15*j - 26. Does 44 divide (8/3)/((16/(-660))/j)?
True
Suppose 4*n + 3*s - 3298 = 0, 0*s - 18 = -3*s. Is 41 a factor of n?
True
Let j(b) = 10*b + 2. Let y be j(0). Does 3 divide 44/10*((6 - -7) + y)?
True
Suppose -a - 76 = 2*t - 6*t, 0 = 5*a. Suppose 3*s + t = 85. Does 3 divide s?
False
Suppose 147 - 145 = -h, 5*b = -2*h + 58226. Is b a multiple of 73?
False
Let a(y) = 2*y**3 + 2*y**2 - y + 1. Let k be a(1). Does 34 divide (k/3)/(16/6120)?
True
Suppose 4*h - 326 = 214. Let t = 145 + h. Is t a multiple of 35?
True
Let g be (-12)/(-16) + ((-430)/8 - -1). Let d = -48 - g. Suppose -2*p + 2*r = -36 - 6, -d*p + 90 = -2*r. Is p a multiple of 12?
True
Let v = -12 + 0. Let g be v/(-12) + 4/1. Suppose -2*c - 108 = -g*a + 2*c, 4*a + 4*c - 72 = 0. Is 10 a factor of a?
True
Suppose -2*k + 5*o = 10, 0 = 3*k - o + 1 + 1. Suppose k = 7*u - 1452 - 550. Does 13 divide u?
True
Let n be ((0 + 61)*-1)/(-29 - -28). Suppose -223 = -4*v + z + 16, v = -z + n. Does 15 divide v?
True
Let s = 6119 - 5888. Is s a multiple of 8?
False
Suppose -392736 = -151*a + 156602. Is 31 a factor of a?
False
Is 3 a factor of 44979/21 + (2 - 5) - (-5)/35?
True
Suppose -6*f + 3*q = -4*f + 11, -19 = 3*f - 5*q. Suppose -k + 3*c + 185 = -1205, 5*k = f*c + 7015. Is k a multiple of 87?
False
Suppose 17*r = 18*r - 6. Let m be (-55)/(-33) + 2/r. Does 24 divide (-4 - -6) + 152 - m?
False
Let q(o) = 2*o**2 - 7*o. Let i be (-2 - (-3 + 10))*(1 + 0). Is 5 a factor of q(i)?
True
Let b(u) = u**2 + 26*u + 10. Let a be b(-26). Let j be (a + 5)*(-3)/(-9). Does 3 divide (78/4)/((-3)/(-30)*j)?
True
Let z(q) = -88*q - 861. Does 31 divide z(-18)?
False
Let l = 281 - 146. Suppose 45 = -2*p - 0*p + 3*m, 2*m = -4*p - 66. Let t = l + p. Does 9 divide t?
True
Let n = 6468 + -4870. Is 17 a factor of n?
True
Let b(c) = 93*c - 161. Suppose -w = 23 - 21, -5 = -m - w. Is b(m) a multiple of 35?
True
Let y(f) = 3*f**2 + 16*f - 1 - 7 - 2*f**2. Let l = -3268 + 3274. Does 14 divide y(l)?
False
Let x(c) = -11*c + 39. Let k(a) = 11*a - 17. Let v be k(12). Let f = 103 - v. Is x(f) a multiple of 19?
True
Suppose -20 + 8 = -3*o. Suppose 2*i - 9 = 4*u + 7, i + o = -2*u. Suppose -5*b + 3*b - 4*v + 230 = 0, -4*b + 450 = -i*v. Is b a multiple of 55?
False
Suppose 0 = 4*m + 4*d - 5180, 0*m - d = -4*m + 5205. Let j be (20/8 + -2)*0. Suppose m = 10*u - j*u. Does 13 divide u?
True
Let c be ((-30)/21)/((-28)/196). Suppose -2*u - 3*u = -50. Is (298/c)/(2/u) a multiple of 42?
False
Let c(o) = -o**3 - 129*o**2 - 3615*o + 60. Is c(-26) a multiple of 405?
False
Let c(z) = z**3 - 15*z**2 + 13*z + 7. Let t be c(14). Does 20 divide (-328)/t + 23/161?
False
Let h(m) = -5*m - 7. Let y be h(-2). Let r be (y/(-2) + 1)*(-130)/13. Suppose -3*s - s = 16, -r*a + 1043 = -2*s. Does 11 divide a?
False
Suppose -487*g + 482*g + 56334 = 2*u, -45112 = -4*g + 4*u. Is 27 a factor of g?
False
Suppose -5*c + 3*h + 27 = 0, -7*c - 5*h - 11 = -4*c. Let p(v) = 6*v**2 - 18*v - 21. Let z be p(4). Suppose -8 = u + z*u, -3*r + 600 = -c*u. Is 18 a factor of r?
True
Let l = 66 + 2000. Let x = -1179 + l. Is x a multiple of 51?
False
Let m(d) = -65*d**2 + 3*d + 5. Let t be m(-2). Let i = t + 451. Is 12 a factor of i?
False
Let y = 41 - 38. Suppose -x + 2*b + 64 = 0, 14 + 46 = x - y*b. Is x a multiple of 3?
True
Suppose 0 = -4*w - 5*w + 90. Let j(f) = 7*f + 6. Let o be j(w). Suppose 4*p - 3*p - o = 0. Is p a multiple of 16?
False
Does 60 divide -6 + (3070673/387 - 8/(-18))?
False
Let f(p) be the first derivative of -p**4/4 + p**3 + 2*p**2 - 2*p - 6. Let j be f(3). Suppose 3*u - 858 = -j*u. Is u a multiple of 17?
False
Suppose 2*g - 6078 = 1284. Does 62 divide g?
False
Let n = 22922 - 15090. Is n a multiple of 62?
False
Suppose 7*y = 11*y + 112. Let f = y - -27. Let c(k) = 36*k**2 - 1. Does 7 divide c(f)?
True
Let d = -210 + 200. Does 11 divide ((-432)/d)/((-52)/(-910))?
False
Let l be -3 + 2 - (17 - -5). Let u be (-1 + -3)/(1/10). Let o = l - u. Is 9 a factor of o?
False
Suppose 3*n - 300 = -5*f, 5*f - 5*n - 285 - 15 = 0. Suppose 57*p - 10*p - 987 = 0. Suppose c - f = p. Is c a multiple of 27?
True
Let q(h) be the second derivative of 1/12*h**4 + 0 - 34*h - 9/2*h**2 - 1/20*h**5 - 1/6*h**3. Is 3 a factor of q(-3)?
True
Let h(d) = -1081*d**3 - 5*d**2 - 19*d - 38. Is h(-2) a multiple of 14?
False
Let l(y) = -2*y**2 + 61*y + 9. Let b be l(31). Is 37 a factor of ((-14)/10 - b/55) + 223?
True
Suppose 5*k + 89*s - 18420 = 94*s, -3*s = -12. Is k a multiple of 171?
False
Suppose 0 = -6*b + 5*b + 25. Suppose -2052 = -29*d - 7*d. Let i = d - b. Is i a multiple of 3?
False
Let u(q) = -672*q + 4113. Does 191 divide u(-111)?
False
Let a(t) = 16*t - 459. Let f be ((-11)/3)/((-52)/468). Does 10 divide a(f)?
False
Let a = -3985 - -5741. Let w(x) = -x + 20. Let l be w(10). Is 22 a factor of (-10)/(-25) + a/l?
True
Let d(b) = -11*b + 12. Let y(i) = 5*i - 6. Let s(m) = -4*d(m) - 9*y(m). Let w be s(2). Suppose -7*r + 138 = -w*r. Is 15 a factor of r?
False
Let w be -4 + 1 + (-3)/((-21)/28). Is 7 a factor of w/4*(-2 - 2)*-327?
False
Is 8 a factor of (9/6)/(-5 - (-815)/160)?
True
Let a = 207 - 320. Let t be (-6)/39 - (3750/(-39))/1. Let x = t - a. Is 28 a factor of x?
False
Suppose -d + 15 = 5*p, -5*d = -p + 5*p + 9. Let s = -61 - -1257. Suppose t + s = 5*w - t, -p*w - t + 962 = 