0. Is 38 a factor of s?
False
Suppose -6818 = 33*x - 19*x. Let f = 684 + x. Does 28 divide f?
False
Let m be (-242)/(-110) + 1/(-5). Suppose 651 + 657 = m*b - 4*y, -5*y - 3280 = -5*b. Does 14 divide b?
True
Let g(p) = p + 58. Let z be (-13)/(-1) + 6/(-3) + 0. Let y be g(z). Let d = -33 + y. Is 9 a factor of d?
True
Suppose 6429 = -3*p + 1461. Let r = -1072 - p. Suppose 3*u + r = 7*u. Is 19 a factor of u?
False
Let t(i) = i**2 + i - 1. Let y(l) be the second derivative of -l**5/20 + l**4 - 5*l**3/6 - l**2/2 + 8*l. Let n(p) = 5*t(p) - y(p). Does 33 divide n(7)?
True
Let g = -2085 - -3081. Suppose -5*t + 1179 + g = 0. Is 7 a factor of t?
False
Let l(n) = -4*n**3 + 2*n**2 + 2*n + 4. Let z be l(3). Let q = 85 + z. Let x(v) = 2*v**3 - 7*v**2 + 15. Does 12 divide x(q)?
False
Let o be 35 + 6 + (-3 - (-9)/(-3)). Is 37 a factor of -1 + -1 + (331 - o)?
False
Suppose 3305*v = 3290*v + 185130. Does 17 divide v?
True
Let j(d) = 3*d**2 + 14*d - 9. Let y = -56 - -47. Let c be j(y). Suppose -c = -23*x + 22*x. Does 18 divide x?
True
Suppose -7089 + 34409 = 20*c. Is 32 a factor of c?
False
Let h(c) = 11*c - 25. Suppose -72 = -43*i + 39*i. Suppose 11*v - i = 8*v. Is 4 a factor of h(v)?
False
Let x(a) = 3*a - 20. Let y(l) = 39*l - 261. Let v(g) = -27*x(g) + 2*y(g). Let j be v(6). Suppose j = -9*i + 853 + 668. Is 14 a factor of i?
False
Let b be 2*-5 - (4 - 7). Let q be -5 + b/(28/(-16)). Is ((-21)/(-63))/(q/(-246)) a multiple of 12?
False
Suppose -40*o + 5040 = -8240. Does 3 divide o?
False
Suppose -6*o - 4*u - 563 = 651, 402 = -2*o - 4*u. Is 17 a factor of -8 + 13 - (-3 + o + 0)?
False
Suppose 0 = -93*h + 26432 + 66382. Does 181 divide h?
False
Let p = 32 + 56. Let y = -85 + p. Suppose 0 = 3*n + y*h - 120, 5*n + 9*h - 190 = 6*h. Is 7 a factor of n?
True
Let a = -2690 + 17584. Does 58 divide a?
False
Let q(l) = l**3 - 30*l**2 - 68*l - 223. Is q(33) a multiple of 20?
True
Let c = 342 + -128. Let b = 216 - c. Is b even?
True
Let j(v) = 5*v**3 - 4*v**2 - v + 3. Let y = 609 - 604. Is j(y) a multiple of 12?
False
Let r(b) = -b**3 - 36*b**2 + 52*b - 81. Let t = 223 + -261. Is 45 a factor of r(t)?
False
Does 27 divide (-179)/((-6)/(-612)*-6)?
False
Does 172 divide (3394/2)/(15 + -12 + -2)?
False
Suppose 2*y - 5*k - 297 = 0, -2*k + 105 = -3*y + 567. Let h = 324 - y. Is h a multiple of 42?
True
Does 12 divide 2160*(7 + (-30)/(-27) + (-24)/(-108))?
True
Let g = 40801 - 7129. Is 244 a factor of g?
True
Let t(n) = -n**2 - 8*n - 4. Let p be t(-7). Let k(r) = 14 + 8*r**2 + 3 - r - p*r**2 - 4*r**2. Is 7 a factor of k(6)?
False
Let a(v) = 75*v**2 + 181*v - 22. Does 60 divide a(7)?
True
Suppose -23512 = 17*m - 59*m + 4208. Is 2 a factor of m?
True
Let v = 7338 - -6038. Is 19 a factor of v?
True
Let c(l) = 2*l + 1404. Let b be c(0). Suppose b = 8*d + 5*d. Does 18 divide d?
True
Suppose -5*i - 10 = -5*m, 14 = 2*i + m + 3. Suppose j - 2 = 5*g + 13, g = 4*j - i. Is 16 a factor of (j + (-384)/(-20))/(3/10)?
True
Is 80 a factor of (((-4)/(-20))/(2/5))/((-30)/(-57600))?
True
Is (-168)/14 - (-2602 + -10) a multiple of 50?
True
Let j = 487 + -484. Suppose -206 = -2*i - i - 4*b, -j*i + 215 = -5*b. Is i a multiple of 70?
True
Let v = 2149 + 1428. Is v a multiple of 4?
False
Suppose -3*l + 14651 = -3349. Is l a multiple of 16?
True
Suppose -2*x + 32048 = -16112. Is x a multiple of 43?
True
Let q = -66 - 89. Let i = 275 + q. Does 8 divide i?
True
Let v(o) = o**3 - 36*o**2 + 64*o + 4. Let g be v(32). Let w = -831 - g. Is w a multiple of 30?
False
Suppose -d + 2*x = -21709, 4*d - 18*x - 86822 = -17*x. Is d a multiple of 15?
True
Let c(k) = 27*k**3 - 5*k**2 - 12*k + 45. Is 39 a factor of c(4)?
False
Let x = -2674 + 30409. Is 7 a factor of x?
False
Is 8/(-10) + 5307080/475 a multiple of 10?
False
Let q = -52 + 125. Suppose -q*d + 57*d + 13472 = 0. Is d a multiple of 68?
False
Let i be ((-2)/(-6))/(2/18). Let g(y) = 12*y + 3. Let v be g(i). Let x = 48 - v. Is 9 a factor of x?
True
Let r(f) = -f**2 + 16*f - 5. Let j be r(10). Let i = 40 - j. Is 4 a factor of i/10*(112/6)/(-4)?
False
Suppose 4*t - x - 72 = 0, -2*t + 2*x + 27 = -3. Suppose 26728 = t*f + 7*f. Is f a multiple of 11?
False
Let k = 60 + 38. Is (-2)/(((-1160)/k)/(-4) + -3) a multiple of 49?
True
Suppose -29 = -3*l + 4*o, -4*l + 3*o - 7*o - 8 = 0. Suppose 5*p = -l*y + 2390, 7*y = 3*y - 4*p + 3192. Is 8 a factor of y?
True
Let a be ((-7)/2)/(2/(-36)). Suppose 52*p - 49*p = 105. Let k = a - p. Is 7 a factor of k?
True
Let q = -401 + 593. Suppose 4*j - q = -4*j. Is j a multiple of 4?
True
Let f(m) = -m**3 + 3*m**2 + 4. Let r = 0 + -4. Let t be (r + 3)/1 + 4. Does 4 divide f(t)?
True
Let z(b) = -61*b**3 + 7*b**2 - 27*b + 12. Is z(-7) a multiple of 123?
False
Let v(g) = 2*g**2 + 11*g + 11. Let f be -6*2/(-16)*(-8)/(-2). Suppose 0 = l + 9 + f. Is 14 a factor of v(l)?
False
Suppose 7*q - 3*q - 12 = 0. Let f(w) = -q - 4*w**3 + 0*w - w**2 + 2*w**2 - 2*w. Does 6 divide f(-2)?
False
Suppose 0 = 13*r - 14 - 38. Suppose r*u - 1619 + 299 = 0. Does 55 divide u?
True
Let m(s) = -s**3 - s**2 - s + 2. Let z be 0/(6/3 + -1). Let l be m(z). Does 2 divide (l - (-1 + 0)) + 4?
False
Suppose 14*u + 43*u = 15*u + 394254. Is u a multiple of 7?
True
Suppose 349*i + 281123 = 422*i. Is 22 a factor of i?
False
Is 45 a factor of (17224/5)/(3*(-2)/(-15))?
False
Suppose l - 3*u - 75 = 0, 28*u - 80 = -l + 30*u. Is 9 a factor of l?
True
Let m(s) = 94*s + 14. Let n = 55 + -54. Is 27 a factor of m(n)?
True
Let s = 473 + -429. Suppose -2*c = f - 336, -4*f + s*c + 1335 = 49*c. Does 5 divide f?
True
Let m(g) = g**3 - 43*g**2 + 88*g + 98. Let f be (-2)/(166/(-41) + 4). Is m(f) a multiple of 21?
False
Let s(c) = -c**3 - 19*c**2 - 16*c - 23. Let j(g) = 19*g**3 + 2*g + 2. Let k(v) = v - 12. Let w be k(11). Let b be j(w). Is 19 a factor of s(b)?
False
Let h be 1 + -4 - -138 - -2. Let x = -89 + h. Let a = 73 - x. Is 20 a factor of a?
False
Let f(u) = u**3 - 13*u**2 - 2*u - 18. Let h be f(14). Suppose 172*c - h*c = 1980. Is 6 a factor of c?
True
Suppose 0 = 3*z - 3, 0*h + z = 2*h - 11. Suppose 0 = -4*q + w + 1877, 0 = -w + 9 - h. Suppose 5*o - q = 3*m, -510 = -4*o + 5*m - 121. Is o a multiple of 50?
False
Let d = 128 - 126. Suppose -d = 7*s - 30. Suppose u - s = -t + 11, -4*u - 4 = 0. Is 3 a factor of t?
False
Let m(z) = -62*z**3 - z**2 + z + 3. Let h(t) = -t**3 - 3*t**2 - t. Let q(r) = 6*r + 11. Let o be q(-2). Let v be h(o). Does 9 divide m(v)?
True
Is 20 a factor of -3 - (9/24 + (-635217)/88)?
False
Suppose r - 6852 = -t, 203*r - 206*r = 4*t - 27415. Is 22 a factor of t?
False
Let m = 41 + 30. Suppose u + m = 5*t - 2*u, 0 = 2*t - 4*u - 20. Suppose b = 44 - t. Does 14 divide b?
True
Suppose 5 = -y + 3*o, -4*y + y = -4*o + 5. Let i be (21 + y)*(-3)/(-6). Suppose -15*n + 28 = -i*n. Is n a multiple of 2?
False
Suppose 0 = -3*u + 3 + 15. Let j(x) be the third derivative of x**6/120 - x**5/20 - x**4/4 - 11*x**3/6 - 2*x**2 - 647. Is 6 a factor of j(u)?
False
Let b(l) = -l**2 + l. Let m(d) = -7*d**2 - d - 8. Let u(w) = -6*b(w) + m(w). Let v be u(-3). Suppose -v*n = n - 115. Is n a multiple of 3?
False
Let b = -7 - -9. Suppose b*r = -11*r - 52. Does 20 divide 5 - (r + 8) - -79?
True
Let c(z) = 61*z - 2 - 2 + 3 - 59*z. Let k be c(9). Is k/5 + 2/(-5) a multiple of 2?
False
Suppose 25*g + 6249 - 35834 - 6015 = 0. Is g a multiple of 19?
False
Suppose -i = 4*i - 15. Let m = 34 + 28. Suppose -j = l - 16, 0 = -2*l + i*j - 10 + m. Is 8 a factor of l?
False
Suppose -3*p + 72*f - 75*f = -22281, -2*p + 14836 = -4*f. Does 18 divide p?
False
Let w = 5844 - 4258. Does 64 divide w?
False
Suppose -34*y = -58*y - 112*y + 3320576. Does 112 divide y?
True
Let n(a) = 608*a**2 + 8*a - 84. Is 12 a factor of n(-4)?
True
Does 59 divide 236*(-3 - (-3 + -1))?
True
Let l be ((-2)/(-4))/(7/70). Suppose -l*u + 5*s = -5, s = 3*u + 2*s + 1. Suppose r - 205 - 51 = u. Does 55 divide r?
False
Suppose -1 = 2*z + n - 3, 5*n = 3*z - 16. Suppose 2*a - 5 = 4*c + a, 5 = 5*c + a. Suppose c = -5*d + 4*i + 88, -z*d + 0*i = 5*i - 55. Is 10 a factor of d?
True
Is -6 - -2 - 0 - (-12581 - -85) a multiple of 12?
True
Suppose -2*n = 4*b + 196, 2*n - 4*b = -6*b - 206. Let d = n + 325. Is d a multiple of 10?
False
Let o(a) = -107*a + 8. Let d(y) = 2*y - 48. Let r be d(23). Is o(r) a multiple of 6?
True
Suppose -7837 = -4*k + 5*s, -k = 29