 = -154. Is s a multiple of 7?
False
Let c = 9 + -3. Is ((-69)/(-9) - -3)/(c/9) a multiple of 4?
True
Let x(p) = 300*p**2 + 13*p - 10. Is x(2) a multiple of 32?
True
Suppose -2*f + 22 = 2*l, 4*f - 2*l = -0*f + 14. Suppose 2*i + f = -0*i. Is 2 + -1 + i - -8 a multiple of 6?
True
Suppose 0 = -a - 3*l + 39, 2*a - 70 = 2*l - 6*l. Let h be 1/(1 - 0)*a. Let u = 51 - h. Does 6 divide u?
True
Let n = -1 + 289. Is 72 a factor of n?
True
Let t(v) = v**3 + 2*v**2 + 4*v - 1. Let b be t(-2). Let d = b + 14. Suppose -184 = -d*p + 151. Does 22 divide p?
False
Suppose -6*c = -0*c - 12. Suppose -i = -c*o + 206, -6*o + 2*o = 2*i - 412. Is o a multiple of 5?
False
Is 180 - (-8 - (-4 + 4)) a multiple of 6?
False
Does 10 divide -117*((-5)/(-10))/(1/(-20))?
True
Is 7/(-2)*(-36)/(-30)*-5 a multiple of 21?
True
Let a be 1/(-3) + 1235/15. Suppose -80*j = -75*j - 25. Suppose j*o - 218 - a = 0. Does 13 divide o?
False
Let c = -500 - -560. Does 14 divide c?
False
Let f = 1571 - 770. Is 13 a factor of f/6*6/9?
False
Let u = 1 - -65. Suppose u = -11*v + 12*v. Is 22 a factor of v?
True
Let w = -760 - -1330. Suppose -d + w = 4*d. Is 13 a factor of d?
False
Suppose 0 = 3*c - 3*y - 12, 4*c = 2*c + 4*y + 16. Suppose c*j - 3*j = 0. Suppose -2*x + 5*x - 15 = j. Does 5 divide x?
True
Let b(w) = -4*w**3 + 22*w**2 + 7*w + 22. Let l(a) = -3*a**3 + 15*a**2 + 5*a + 15. Let r(y) = 5*b(y) - 7*l(y). Does 4 divide r(-4)?
False
Suppose -2*d - 2*t = -178, -d + t - 817 = -908. Does 2 divide d?
True
Let t = -496 + 508. Is 6 a factor of t?
True
Suppose 0 = 4*v - 11 - 37. Does 6 divide v?
True
Suppose 335 = s - n, s - 3*s - 4*n = -670. Is 9 a factor of s?
False
Let u(z) = -10*z**2 + 8*z + 8. Let t(v) = -9*v**2 + 8*v + 7. Let k(f) = -7*t(f) + 6*u(f). Let j(n) be the first derivative of k(n). Is 8 a factor of j(6)?
False
Suppose 3*p - 116*m + 114*m = 1085, -373 = -p - 5*m. Is p a multiple of 33?
True
Let h(y) = 8*y**2 - 8*y - 19. Is 7 a factor of h(-4)?
False
Let o(b) = b + 4. Let z = -4 + 9. Suppose h + 3 = 3*w, -5*h = -z*w + 2*w - 21. Does 8 divide o(h)?
False
Let t = -9 - -21. Let f be t/8*-2 - -5. Does 11 divide 170/4 - (-1)/f?
False
Let s = 1258 - 906. Is 16 a factor of s?
True
Let z be 42 + (-2 + -1 - (-21 - -18)). Is z/(-2)*30/(-35) a multiple of 4?
False
Let s(h) = -h**2 + 6*h + 736. Is s(0) a multiple of 10?
False
Suppose 771*j - 762*j = 11862. Is j a multiple of 93?
False
Let b = 29 - 64. Let i = 59 + b. Does 12 divide i?
True
Suppose 5*n - 200 = -50. Let f = 41 - n. Does 11 divide f?
True
Let r be (-8)/6*(-12)/(-8). Let p be (-138)/(-24) - r/8. Does 11 divide -2*(-57)/p + -3?
False
Let g(z) = 197*z + 6. Is 18 a factor of g(1)?
False
Does 24 divide (-400 - 20)*(-8)/10?
True
Let h = 2359 - 887. Is 32 a factor of h?
True
Suppose -21*y - 390 = -23*y. Is 15 a factor of y?
True
Let c be 720/(-27)*6/(-4). Let t(x) = -x**3 + 8*x**2 - 7*x. Let o be t(7). Suppose o = 2*m - 4*m + c. Does 10 divide m?
True
Let g be (-3)/3 - 8*1. Let c be (117/12)/(g/(-24)). Suppose 2*z - c = -0*z. Does 13 divide z?
True
Suppose 3*q = 5*b - 1, 2*q = -4*b + 9 + 5. Let u be (-240)/(-108) + b/(-9). Does 8 divide 1/(-4*u/(-304))?
False
Let m(t) = -t**3 - 34*t**2 + 190*t + 22. Is 8 a factor of m(-39)?
False
Suppose -924 = -18*r + 12*r. Suppose 7*j - 794 = 2*j - 4*i, -j + r = 2*i. Is j a multiple of 27?
True
Suppose 5*h + 5*k = 3645, 2*k = -k - 9. Is 91 a factor of h?
False
Is 12 a factor of ((-686)/3)/(-1) + (-76)/114?
True
Suppose 2*a + 2*c = 526, 0 = -7*c + 3*c - 4. Suppose 0 = -6*u + 3*u + a. Suppose t - u = -3*t. Is t a multiple of 11?
True
Let j = 8 - 8. Suppose -3*n + 3 = -j. Suppose -2*z - y + 7 + n = 0, -2*z = -y - 12. Is 5 a factor of z?
True
Suppose 16*g = 17*g - 9. Suppose 2*j = 11 + g. Suppose 15*u = j*u + 435. Is u a multiple of 20?
False
Let f(s) = -218*s**3 - 1. Let l be f(1). Let y be 1 + -2 - -2 - l. Suppose -5*t = 4*k + k - y, 4*t + 5*k - 175 = 0. Is 11 a factor of t?
False
Suppose -h + 11*v - 12*v = -1246, -h + 1244 = 2*v. Is h a multiple of 104?
True
Let k = 1 - 1. Suppose 3*v - 5*v - 2*s - 38 = k, -3*v - s - 59 = 0. Is 96/v*(-4 + -1) a multiple of 12?
True
Suppose -4*c - 4*q + 1976 = 0, 5*c + 4*q = 523 + 1950. Is 51 a factor of c?
False
Suppose -3*d - 185 = -v, -4*v - 2*d + 554 + 144 = 0. Does 45 divide 32/v - 790/(-11) - -4?
False
Let l be (-3442)/(-18) - (-4)/(-18). Let b(v) = v**3 - 12*v**2 + 27*v + 5. Let n be b(9). Suppose 4*t + 7*h - l = 2*h, -211 = -n*t + 3*h. Is t a multiple of 11?
True
Let v be -259 - -1*(5 - 4). Let m = 378 + v. Is m a multiple of 12?
True
Let b = -4 - -5. Suppose -2*s = b + 15. Let f = s + 11. Is f even?
False
Let g(f) = 6*f - 5. Does 32 divide g(10)?
False
Let j = -53 + 349. Suppose -4*r + 69 = -2*t - 235, 4*t = 4*r - j. Does 7 divide r?
False
Let h be (2 - -25)*(-3)/9. Let k = 5 - 19. Let n = h - k. Is n a multiple of 5?
True
Suppose -8 = h + 14. Let w = 42 + h. Does 5 divide w?
True
Suppose 15 = 10*y - 11*y. Is (y/3)/(2/(-6)) a multiple of 10?
False
Suppose -2*y = -6*y + 3*z + 8, -5*y - 1 = -z. Let u be (-2)/(-10) - 468/(-60). Does 19 divide ((-14)/u)/(y/12)?
False
Let z be (9/(-3))/(3/9). Let l(a) = -a**3 - 10*a**2 + 2*a - 3. Let m be l(z). Let y = m + 156. Is 18 a factor of y?
True
Let o(g) = -29*g. Let w be o(-2). Let r = w + 6. Let i = r - 19. Is i a multiple of 15?
True
Let n be (-1)/(-2*5/(-20)). Let h(o) = 14*o**2 + 3*o + 4. Is 54 a factor of h(n)?
True
Suppose -2*f = -49 - 181. Suppose 5 = i - f. Does 30 divide i?
True
Suppose -3*c = a - 8*c + 35, -4*a - 44 = 4*c. Let b = a - -31. Is 308/b - (-4)/(-16) a multiple of 19?
True
Let i(z) = -20*z + 7. Let r(a) = a**2 - 8*a + 7. Let p be r(6). Let g be i(p). Let k = g - 68. Is 15 a factor of k?
False
Suppose 7*x + 20 = 12*x, -4*x = 4*j - 668. Is 4 a factor of j?
False
Let i(b) be the first derivative of 3*b**2/2 + 5*b + 5. Let o be i(-3). Let y = o - -22. Is y a multiple of 14?
False
Let b(f) = -f**3 - 7*f**2 - 6*f - 1. Let p be b(-6). Let h = p + 7. Is 19 a factor of h/(-12) - 298/(-4)?
False
Let u(c) = 26*c - 54. Does 29 divide u(11)?
True
Does 8 divide (2/9 + 70/(-45))*-54?
True
Does 8 divide (-18)/(-3) - (-124 + -26)?
False
Suppose 0 = 5*h - 24 + 19. Let q(u) = 14*u**2 - 2*u + 2. Is 7 a factor of q(h)?
True
Let y(x) = -x**3 - 13*x**2 + 13*x. Let i = 427 - -41. Let b be i/(-33) - (-10)/55. Does 7 divide y(b)?
True
Is 6/21 - (22495/(-35) - -5) a multiple of 58?
True
Let a(f) be the third derivative of -f**5/60 - f**4/24 + 3*f**3 + 8*f**2. Is a(0) a multiple of 12?
False
Let p = -198 + 81. Let t = 185 + p. Does 14 divide t?
False
Let c = 2026 + -1895. Is c even?
False
Suppose -45 = -203*n + 198*n. Does 9 divide -22*7/((-42)/n)?
False
Let s = -148 - -463. Is 16 a factor of s?
False
Let r(y) = -y**3 - 9*y**2 + 8*y - 13. Let q be r(-10). Suppose -q*z + 4*z + 30 = 0. Let i = z + -5. Is 5 a factor of i?
True
Suppose c + 3*c - 16 = 0. Suppose 0 = c*w - 3*n - 37, 3*w - 3 - 6 = -4*n. Let d = 2 + w. Is d a multiple of 5?
False
Let f be 1 - (1 + 14)/3. Let v(l) be the second derivative of -5*l**3/3 - 7*l**2/2 - l. Does 11 divide v(f)?
True
Suppose 0 = -5*c + 2*c + d, -5*c - 2*d = 0. Suppose -4*t + 2*z = 24 - 68, 3*z - 6 = c. Does 5 divide t?
False
Suppose -1 = -2*t + 3*b - 6*b, 5*t - 22 = -b. Suppose -4*z - 482 = -5*s - 155, -t*s - 2*z + 339 = 0. Is 25 a factor of s?
False
Let q = -2367 + 2441. Is q even?
True
Let v(w) = -2*w + 22. Let n be v(9). Suppose -n*y + 93 + 11 = 0. Is y a multiple of 13?
True
Let x(b) = -b**3 + b**2 - b + 3. Let a(l) = -5*l - 3. Let w be a(-2). Let y(k) = k**2 - 7*k - 3. Let c be y(w). Is 21 a factor of x(c)?
True
Let q(p) = 170*p + 291. Does 86 divide q(7)?
False
Let v(d) = d - 7. Let p be v(7). Let o = 23 - p. Let l = -16 + o. Is l even?
False
Let t(m) be the third derivative of -7*m**4/12 - 23*m**3/6 - 19*m**2. Is 12 a factor of t(-8)?
False
Suppose 4*x - p - 180 = -x, 145 = 4*x - p. Let r = 59 - x. Let w = 48 - r. Is w a multiple of 15?
False
Suppose 0 = -3*d + 6*k + 3776 + 1669, 0 = 4*d - 2*k - 7254. Is 49 a factor of d?
True
Let d = 28 - 38. Let n = d - -21. Let j(h) = -h**2 + 11*h + 4. Does 4 divide j(n)?
True
Suppose -2*y + 6 + 2 = 0. Suppose -y*h = -5*b - 327 - 165, 5*h - 615 = 3*b. Suppose -2*f + 9 = -h. Does 22 divide f?
True
Let r(a) be the second derivative of a**3/3 - 11*a**2/2 + 2*