28). Let u be 154/8 - (-3)/(-12). Let h = u - f. Does 25 divide h?
False
Let k(s) = s**3 - 2*s**2 + 3*s - 12. Suppose -5*i = 3*p - 18, -5*i + 4 = 5*p - 6. Does 15 divide k(i)?
True
Let g(d) = 23*d**2 + 6*d - 5. Is 12 a factor of g(5)?
True
Suppose -9 = -5*b + 41. Let g = 21 - b. Does 18 divide 250/14 + g/77?
True
Let n(z) = z**2 - 5. Let f be n(5). Let p = -28 + f. Does 6 divide (-47)/(-4) - 2/p?
True
Let j(f) be the second derivative of -14*f**3/3 - 4*f**2 + 8*f + 2. Does 20 divide j(-1)?
True
Let t = -103 + 104. Is (4 - -17 - 4)*(t + 3) a multiple of 34?
True
Suppose -52*b = -8730 - 14098. Is 47 a factor of b?
False
Suppose 2*z + z = 0, 0 = -3*m - 3*z + 885. Does 43 divide m?
False
Let j(k) = 2*k**2 - 12*k - 162. Does 117 divide j(-18)?
True
Suppose -3 = n - 2. Let l(k) = -55*k + 1. Let b be l(n). Let u = 161 - b. Does 18 divide u?
False
Let s(w) = -w**3 + 22*w**2 + 9*w + 176. Is s(22) a multiple of 22?
True
Let i = 442 - -32. Is 3 a factor of i?
True
Let o = 9148 + -5368. Is 28 a factor of o?
True
Suppose 3*f = -5*i + 3774, f + 3026 = 7*i - 3*i. Does 36 divide i?
True
Suppose 3*q = 5*l + 8, -3*q = -l - 4*q. Let v = 15 + l. Let n = 17 - v. Is n a multiple of 3?
True
Suppose -41*a = -40*a - 360. Is a a multiple of 15?
True
Let z(m) = 2*m**3 - 7*m**2 - 31*m + 102. Is z(9) a multiple of 75?
False
Let t(w) = -4*w + 35. Let a be t(14). Is (-6)/a - 40/(-7) a multiple of 5?
False
Let f = -31 + 56. Suppose -4*j = -9*j + f, -540 = -5*v - 4*j. Is 26 a factor of v?
True
Suppose 0 = -26*p + 768 + 1260. Does 13 divide p?
True
Suppose 5*u + 7*c = 12*c + 555, c + 450 = 4*u. Does 18 divide u?
False
Let i(d) = -5 + 21*d - 13*d - 4*d - 6*d. Let v be i(-4). Suppose 4*h + 2*f - 154 = 0, v*f + 82 = 2*h - f. Does 13 divide h?
True
Suppose -2*u = a - 34, -3*u = 4*a - 2*a - 53. Suppose 20*n = u*n + 85. Is n even?
False
Let g(j) = -j**2 + 6*j - 1. Let n(i) = i**2 - 5*i + 2. Let a(w) = 6*g(w) + 5*n(w). Let b = 290 - 282. Is 8 a factor of a(b)?
False
Suppose -14*f = -16*f + 254. Is f even?
False
Let s(d) = -85*d - 37. Does 19 divide s(-2)?
True
Suppose 2*b - 1105 = -5*w, -4*b + 547 = -3*b - 3*w. Is b a multiple of 10?
True
Let f(g) = -g**3 - 5*g**2 - 5*g + 1. Let t be f(-6). Does 22 divide 6/(t/33 - (3 + -1))?
True
Let o(q) = q**3 + 10*q**2 + 11*q + 7. Let x be -5*(-1)/(-1) - 3. Let t be o(x). Let h = t + -27. Does 5 divide h?
True
Let h = -224 - -728. Does 28 divide h?
True
Suppose -2*t - 2*t = -20. Let o(i) = 2*i**3 - 8*i**2 + 5*i - 7. Let u be o(t). Suppose -4*z = 4*m - 100, 5*m - 2*z - u = 78. Is 14 a factor of m?
True
Suppose -3*m + 0*m + 5469 = -2*w, 0 = m + w - 1828. Is m a multiple of 48?
False
Suppose 0*n - 5*n + 50 = 0. Suppose -1336 = 6*l - n*l. Suppose -4*j + l = 26. Does 21 divide j?
False
Let p = 32 - -23. Is 15 a factor of p - ((-2 - -1) + 3)?
False
Suppose -5*u + 6*u = 8. Suppose 4*s - u = 2*s. Is 9/s + (-12)/(-16) even?
False
Let o = 1964 + -1425. Is o a multiple of 3?
False
Let f(y) = -y - 13. Let x be f(-13). Suppose x*w + 40 = 2*w + 4*i, 0 = -2*w + 3*i + 75. Is ((-3)/(-9))/(1/w) a multiple of 3?
False
Let z be 0 - -22 - (1 + 2). Let m = z - 18. Is 22 a factor of 4 + (-316)/(-4) - m?
False
Let q = 721 + -406. Is q a multiple of 21?
True
Suppose 2*w - 3*w = 69. Let m = -49 - w. Suppose 0 = 3*o - 37 - m. Is o a multiple of 3?
False
Suppose -12*o = -4*s - 15*o + 409, -96 = -s - 2*o. Does 3 divide s?
False
Let k = -598 - -616. Is k even?
True
Let u be (80/(-3))/(5/(-15)). Let d = u + -32. Is 8 a factor of d?
True
Let z(x) = -92*x**3 + 3*x**2 - 2*x - 4. Is 46 a factor of z(-1)?
False
Let m be (-2)/(-4) - 155/(-2). Suppose -h + m = 2*h. Does 9 divide h?
False
Let x(j) = 6*j**3 + 10*j**2 - j - 3. Let r(k) = -7*k**3 - 11*k**2 + 2*k + 4. Let d(b) = -5*r(b) - 6*x(b). Let c be d(-3). Is 7 a factor of 36/(-14)*(c - -1)?
False
Let l(c) be the first derivative of -c**4/4 + c**3 - 5*c**2 + 9. Let x(y) be the second derivative of l(y). Does 36 divide x(-5)?
True
Let d(a) = 4*a + 14*a**2 + 0*a + 2 - 13*a**2. Let c be d(-4). Is 4 a factor of 3/((-21)/(-9) - c)?
False
Suppose t = -t + w + 100, -3*t - 4*w + 128 = 0. Is 4 a factor of t?
True
Is (-50760)/(-32) + (-3)/12 a multiple of 61?
True
Let a = -5 + 0. Let v(t) = 4*t + 5. Let z be v(10). Let y = a + z. Is y a multiple of 10?
True
Let z(o) = 7*o - 3. Suppose -2*l = -0*l - 6. Is 18 a factor of z(l)?
True
Let u be (-1 - 4/(-2)) + 0. Let n be -6 + 6 + u + 471. Suppose -4*d = 3*c - 383, 3*c = 6*d - d - n. Does 19 divide d?
True
Let x(z) = 6*z**2 + 4*z - 76. Is 12 a factor of x(10)?
True
Suppose 15*b + 3*b - 5040 = 0. Is 10 a factor of b?
True
Suppose 0 = -4*v + 280 + 80. Is v a multiple of 18?
True
Suppose 0*b + 2*x = 2*b + 6, 0 = 2*x - 10. Let z(l) = -l**3 + 2*l**2 + 4*l - 3. Let j be z(b). Suppose 5*h + 3*p = 27 + 29, -j*h + 50 = 5*p. Does 6 divide h?
False
Let l = 30 - 18. Suppose -6 = -3*p + j + 2, -2*p = -4*j - l. Suppose 100 - p = 2*b. Is b a multiple of 14?
False
Let v = -10 - 10. Let r = v - -40. Let o = r + 40. Does 20 divide o?
True
Suppose -9*i = -452 - 1591. Is 17 a factor of i?
False
Let b(y) = -5*y - 3. Let z = 0 - -7. Suppose 3*d = c - 13, 0 = -2*d - 0*c - c - z. Is 4 a factor of b(d)?
False
Suppose -2*u = -15 + 3. Suppose 0 = -o - o + u. Does 2 divide o?
False
Suppose -d + 3*d = -4*h + 404, 2*h = 5*d + 178. Suppose -5*u + 4*c + 228 = 0, 3*c = 2*u + 4*c - h. Is 13 a factor of u?
False
Let q = 428 + -349. Is 79 a factor of q?
True
Does 60 divide (-7)/(-70) + 62398/20?
True
Suppose 0 = -20*v + v + 4712. Is v a multiple of 16?
False
Let y(r) = -1 - 1 + 3*r + 1 + 2 + r**2. Let i be y(-4). Does 11 divide 7/((15/9)/i)?
False
Let b be ((-455)/(-14))/(-13)*18/5. Let v(p) = -p**3 - 7*p**2 + 9*p + 24. Is v(b) a multiple of 16?
False
Let r = 44 - 26. Suppose 38 = 9*f - 4*f + 2*p, -r = -f - 3*p. Let o(s) = 15*s. Is 30 a factor of o(f)?
True
Let r(j) = -3*j + 14. Let h be 3 + (-1)/(-1) + 1. Let t be -4 + (-4 - -2 - h). Does 23 divide r(t)?
False
Does 3 divide (-4)/(-6) - 26623/(-237)?
False
Is 22 a factor of (-1094)/((-5)/5) + 4 + -4?
False
Does 22 divide (80/3)/(10 + 1645/(-165))?
True
Let t(a) = -9*a**3 + 5*a**2 - 2*a + 3. Let b be t(2). Let y = 173 + b. Is 15 a factor of y?
True
Let c(n) = 2*n**3 - 3*n**2 - 5*n. Let j be c(-2). Let b = j + 20. Is 2 a factor of b?
True
Suppose -3*v + 4*v - 3*r = 18, 2*r = -3*v + 109. Let f = -12 + v. Is f a multiple of 21?
True
Let q be -12 - -1 - (-3 - -7 - 3). Is 9 a factor of 9*(-9)/(-6)*q/(-9)?
True
Let k(w) = 4*w**2 - 4. Suppose 2*o + 2*b + 4 = -3*b, -2*o = 3*b + 4. Does 2 divide k(o)?
True
Suppose 2*b = -b. Let y be 2/8*(b + 12). Suppose y*p - 4*p = -18. Is p a multiple of 18?
True
Let r be (3/(-5))/((-1)/5). Suppose r*z - 132 = -2*v, 2*v - z = -6*z + 140. Is v*(-4 + 3)*-1 a multiple of 20?
True
Suppose -310*b = -307*b - 1113. Is b a multiple of 53?
True
Let b be ((-9)/(-3))/((-6)/(-4)). Suppose 3*p - 499 = c - 2*c, -318 = -b*p + 3*c. Suppose v - 2*z - 48 = 0, 2*z + 99 + p = 5*v. Is 10 a factor of v?
False
Let h(l) = 59*l**2 + 17*l - 21. Is h(4) a multiple of 6?
False
Suppose 0 = -f + 19 - 9. Suppose 21 = -f*r + 141. Is 4 a factor of r?
True
Let b = 5 - -14. Suppose -2*h = -w - 1 - 0, 5*h - w = 7. Suppose -h*r + 3 = -b. Does 3 divide r?
False
Suppose 16*r = 11*r + 5860. Does 10 divide r?
False
Let k be (-2)/6 - 32/(-6). Suppose -k*d + 5 = 3*x - 7, -2*d = 2*x - 8. Let w = d - -21. Is 12 a factor of w?
False
Suppose 2*p + 1 = 4*w - 11, 2*p = -3*w + 9. Suppose 3*n - 4 + 1 = p. Let u = 15 + n. Is u a multiple of 8?
True
Suppose -3*q + i + 882 = 2*i, 0 = q - 4*i - 294. Is 21 a factor of q?
True
Let z(c) = c**3 + 9*c**2 + 11*c + 14. Let k be z(-8). Let q = -11 - k. Does 17 divide 1/((-150)/153 - q)?
True
Suppose -z + 4*z - 1377 = -5*t, -2*z + t + 931 = 0. Is z a multiple of 8?
True
Let r(k) = -k + 2. Let v(f) = -f + 1. Let c = -9 - -12. Let y(j) = c*v(j) - 2*r(j). Is y(-11) a multiple of 10?
True
Suppose -6 = -6*o + 18. Suppose 0 = -h - 3*t + 87, -179 - 212 = -5*h - o*t. Is 5 a factor of h?
True
Let k = -51 - -88. Suppose 0 = o + k. Let n = 17 - o. Is 27 a factor of n?
True
Let k = -1810 + 2736. Does 34 divide k?
False
Let a be 30/(-18) - 10/(-6). Suppose 92 - 19 = 5*s - 3*q, a = 4*s - 2*q - 60. Is 10 a factor of s?
False
Let j be 2/7 + (-286)/(-77). Suppose 2*x = x + j*t - 3, 