uppose -3*c - 12 = y, j - 22 = -0*c + 4*c. Is (-4)/j*-6 + 16 a multiple of 7?
False
Let m = -1 + 1. Let z = 577 + -570. Let h = z + m. Is h even?
False
Let s = 166 + 109. Is s a multiple of 55?
True
Let g(n) = 7*n**2 - n. Let r = -373 - -589. Let t be (-2)/8 + r/96. Does 3 divide g(t)?
False
Suppose -h + 3*h = -m - 8, -2*h = 2*m + 6. Suppose -m*b + 118 = -122. Is 30 a factor of b?
True
Does 19 divide ((-1)/(-2)*19)/((-18)/(-108))?
True
Let p(t) = t**3 + 7*t**2 - 8*t + 7. Is 25 a factor of p(5)?
False
Let a(t) = -7*t + 59. Let d(x) = x**2 + x. Let r be d(-3). Does 12 divide a(r)?
False
Is 11 a factor of ((-14976)/585)/(-1 + (-109)/(-110))?
True
Is 30/(-240) - 39003/(-24)*1 a multiple of 85?
False
Suppose -2*w = -3*y + 596 + 4849, 3*w - 9094 = -5*y. Is y a multiple of 8?
False
Suppose -6*p + 2*p + 11 = s, -3*p + s = -10. Does 26 divide 1 + p*(12 + -2)?
False
Is 5 + ((-42)/(-18) + -2)*243 a multiple of 54?
False
Let f(y) = 5*y**2 + 26*y - 148. Is 19 a factor of f(8)?
True
Let y be (4 + -4)*(-1)/2. Suppose 5*a - x - 301 = 0, -3*a - x = -y*a - 179. Is a a multiple of 12?
True
Suppose 1326 = 4*x - 474. Is 9 a factor of x?
True
Let j = -105 + 103. Let q(h) = -17 + 10 + 5 - 19*h. Is q(j) a multiple of 5?
False
Let b be 30 - (-4 + 0 + 4) - -3. Suppose 5*n + b = 313. Is n a multiple of 12?
False
Let b = 127 + -64. Suppose -b = -6*m - m. Does 9 divide m?
True
Suppose 4*z - 1888 = -w, -95*z = -98*z. Is w a multiple of 26?
False
Let r = -24 - -25. Let b be 145 + 0*r/(-4). Suppose -4*z - 5*d = -b, 0*d = d + 3. Does 8 divide z?
True
Suppose -3*p + 6*p - 18 = 0. Let c be (-218)/(-4) - p/4. Let u = 131 - c. Does 26 divide u?
True
Let r be 13 + (1 - 4) - 2. Is 27 a factor of (-560)/(-15) + r/12?
False
Let p(h) be the third derivative of h**5/30 + h**4/24 - h**3/6 + 4*h**2. Let g be p(1). Let i(k) = 3*k**2 + 2*k - 3. Is i(g) a multiple of 13?
True
Let y(i) = -8*i + 12*i + 63 - 5*i + i**2. Does 29 divide y(0)?
False
Let l(g) = 248*g - 128. Does 12 divide l(4)?
True
Suppose -1 = -o - 9. Let i be (-3)/12*2*o. Suppose -5*t - c = -t - 10, -i*c - 14 = -2*t. Is t a multiple of 3?
True
Suppose 5*h + 21 = 3*z, -2 + 1 = z + h. Let y = z + 34. Suppose -y + 5 = -x. Is x a multiple of 31?
True
Does 17 divide -34*(-49)/(2*(-2 - -3))?
True
Let s(z) be the first derivative of 43*z**2 + 5*z + 7. Is s(1) a multiple of 12?
False
Suppose -z + 45 = 4*m, 2*z - 3*m + 6*m - 100 = 0. Suppose 5*w + z = 328. Is w a multiple of 5?
True
Let m = 35 - -1. Is (m - (0 - -1)) + 3 a multiple of 14?
False
Suppose -5*g + 2765 = -s, 5*s + 75 = 3*g - 1606. Is g a multiple of 59?
False
Suppose 0 = -35*o + 40*o + 1790. Let s = o + 657. Is s a multiple of 43?
False
Suppose 0*c + a = 2*c - 7, -4*c + 4*a + 8 = 0. Suppose -5*s + 3*s + 43 = c*b, -47 = -4*s + 3*b. Does 3 divide s?
False
Let f(c) = -19*c**2 - 10*c + 13. Let q(k) = -6*k**2 - 3*k + 4. Let s = -30 + 32. Let w(d) = s*f(d) - 7*q(d). Is w(4) a multiple of 11?
True
Let n = 173 + -91. Is n a multiple of 41?
True
Is 32 a factor of ((-24)/(-20))/((-2)/(-1145))?
False
Let d(h) = -h**3 - 6*h**2 + 4*h - 3. Let n be d(-6). Let q = 12 + n. Is 21 a factor of (-12)/20 - 954/q?
True
Let z(u) = -u**3 + 4*u**2 + 6*u - 5. Let r be z(5). Suppose r = -8*a + 4*a - 12. Let x(g) = g**3 + 5*g**2 + 3*g. Does 9 divide x(a)?
True
Let c = 8 - 13. Let y(i) = i**2 - 18. Does 7 divide y(c)?
True
Let b be (-25)/10*(-4)/5. Let h(o) = -3 - 8*o**2 - b*o**3 + 5 + 5*o**2 + 0*o**3. Is h(-2) a multiple of 5?
False
Let o(f) be the second derivative of -f**5/20 - f**4/6 - 4*f**3/3 - 9*f**2/2 + f. Suppose -20 = 3*n - 4*p, 5*n + 14 = -5*p + 2*p. Is 7 a factor of o(n)?
False
Suppose 0 = -9*y + 2375 + 1117. Suppose 7*m - 228 = y. Is 10 a factor of m?
False
Suppose -5*t - 5*m + 6 = -64, 4*t = m + 61. Suppose -5*k = -0*k - t. Is 4 a factor of 32 - 5 - k/1?
True
Let q(v) = -34*v**3 + 4*v**2 - v. Does 36 divide q(-2)?
False
Suppose 5*z = -0*o - 5*o + 35, 2*o - 4*z + 16 = 0. Suppose -3 + 59 = o*b. Does 6 divide b?
False
Suppose 3*r + 4*z - 37 + 1 = 0, 0 = -5*r - 3*z + 71. Is r a multiple of 8?
True
Suppose 2*f - 1127 + 253 = 0. Does 17 divide f?
False
Let u(s) be the second derivative of 1/4*s**4 - 1/2*s**3 + 1/20*s**5 - 3/2*s**2 + 0 - 6*s. Is 3 a factor of u(-2)?
False
Suppose -2 - 3 = 3*n + l, -2*n + l + 5 = 0. Suppose n = 7*m - 2*m - 20. Is ((-66)/4)/(m/(-16)) a multiple of 22?
True
Let w be 4*3*(-1 + 7). Suppose -3*r = -r - w. Is (-130)/(-18) - 8/r a multiple of 2?
False
Let p(d) = -d**2 - 19*d - 7. Let o be p(-19). Let l(t) = -t**3 - 10*t**2 - 24*t - 2. Is l(o) a multiple of 11?
False
Let i(x) = -5*x**3 + 16*x**2 - x - 4. Is i(-4) a multiple of 24?
True
Let z(m) = -7*m - 15. Let u be z(-7). Is 16 a factor of 3812/u + 4/(-34)?
True
Let u(m) = -6*m**3 - 6*m + 2. Let w(s) = 5*s**3 + 5*s - 1. Let f(p) = -6*u(p) - 7*w(p). Let x be f(0). Is ((-1)/(-3))/(x/(-165)) a multiple of 2?
False
Let w = 25 + -23. Let u be 3/w + (-94)/(-4). Suppose -l = -3*p + u, -l + 10 = 4*l. Is p a multiple of 3?
True
Suppose -5*v + 1106 = 2*z, 5*v + 5*z - 212 = 4*v. Is v a multiple of 23?
False
Suppose -11*x = -32*x + 3423. Is 5 a factor of x?
False
Let z = 987 + -305. Is z a multiple of 38?
False
Suppose 975 + 201 = 6*v. Is 49 a factor of v?
True
Let q(h) = 23*h**2 + 9*h + 15. Is 7 a factor of q(-2)?
False
Suppose 29*w - 3155 - 122 = 0. Does 4 divide w?
False
Let b = 804 + 126. Is 8 a factor of b?
False
Suppose l - 52*w + 49*w = 2019, 3*w - 4056 = -2*l. Is 9 a factor of l?
True
Let c = -17 + 22. Suppose c*a + 10 = 0, 2*x + a = -4*a + 208. Does 24 divide x?
False
Is 13 a factor of (2/(-2))/(19/(-1976))?
True
Let u(s) = 72*s - 9. Let v be u(-10). Let p = -454 - v. Suppose -5*d + 10*d - p = 0. Is d a multiple of 24?
False
Let p = 350 + 95. Is p a multiple of 26?
False
Suppose -4*k - t = -3, k + t = -5 + 2. Is k a multiple of 2?
True
Does 14 divide (-2401)/(-4) + 3/12*-1?
False
Is 5/(-50) - ((-11244)/40 - -5) a multiple of 6?
True
Let x = -18 + 19. Let z be 21 + (x - (-2 + 4)). Let n = z + -2. Is 18 a factor of n?
True
Let g(i) = i**2 - 3*i + 2. Let m be 2/(-2 - -2 - 2). Let p = 6 + m. Does 3 divide g(p)?
True
Let a be ((-3)/(6/28))/(-2). Let l(o) = 2*o**3 - 15*o**2 + 10*o - 8. Does 2 divide l(a)?
False
Let i = 1198 - 1015. Does 3 divide i?
True
Let y(u) = -u**2 - u. Let n(d) = 5*d**2 - 4*d - 3. Let h(z) = n(z) + 6*y(z). Suppose 13 - 43 = 5*p. Is h(p) a multiple of 7?
True
Let y = -32 + 34. Suppose -y*g + 29 + 1 = 0. Is g a multiple of 2?
False
Suppose -5*y + y - 607 = d, 2*d + 143 = -y. Let k = y + 220. Is k a multiple of 10?
False
Let z(y) be the second derivative of y**3/6 - 8*y**2 - 7*y. Let a be z(15). Let g = a + 9. Is g a multiple of 2?
True
Suppose 0 = -5*n + 1 - 6, -a + n = -13. Let s(r) = -4*r + 7*r - 4*r + a. Does 6 divide s(-6)?
True
Let o(q) = q**3 - 2*q**2 - 4. Let y be o(3). Let l be 0/y - (-8)/2. Suppose 0 = l*t - 2*z - 22 - 2, -2*t - 3*z + 28 = 0. Is t a multiple of 4?
True
Let a be (25/(-4))/(13/(-260)). Suppose 2*d - l + a = 4*d, -3*d + l = -175. Is d a multiple of 15?
True
Let r(w) = w**3 - 5*w**2 - 5*w - 4. Let u be r(6). Let c = -1919 + 1976. Suppose 147 = u*y + c. Does 9 divide y?
True
Let y(a) = -a**2 + 5*a + 20. Suppose -20 + 2 = -3*o. Let s be y(o). Let i = -7 + s. Is i a multiple of 3?
False
Let p(u) = -6*u**2 + 85*u. Is 7 a factor of p(14)?
True
Suppose -80*i - 8005 = -44565. Is 6 a factor of i?
False
Let c(d) = -d**3 + d**2 + d + 1. Let i(t) = 2*t**2 + t + 22. Let v be (3/(-12))/((-2)/8). Let m(h) = v*i(h) - c(h). Is m(0) a multiple of 11?
False
Is (-3)/(12/(-880)) - (15 + -20) a multiple of 20?
False
Is 5 a factor of (-3)/(-2*(-7)/(-1008))?
False
Is (-3280)/(-8)*-5*12/(-30) a multiple of 5?
True
Suppose -26*m + 1166 = 27*m. Does 5 divide m?
False
Suppose 94 = -f + 487. Is f a multiple of 37?
False
Suppose 3*j + 8 = 4*v, -4 = -j + 4*v - 6*v. Suppose -8 = -b - b - w, j = 4*w - 16. Does 14 divide b/4 - 330/(-12)?
True
Let s(y) = -y**2 + 2*y + 4. Let u be s(4). Let n be (-4 - -2) + (-12)/u. Does 13 divide (-232)/(-6) + n/3?
True
Let d(u) = 3 + 3 - 2*u**2 - 7 + 2. Let n be d(3). Does 4 divide (-408)/n + (-1 - 3)?
True
Let d = -54 + 144. Is -1 + (1 - d/(-1)) a multiple of 15?
True
Suppose 0 = 19*i - 30940 - 17510. Does 5 divide i?
True
Let u = -420 + 618. Is 7 a factor of u?
False
Let z = -178