- 17. Let u(y) = -5*b(y) + 7*q(y). Let o be u(-6). Does 4 divide 19/o + (-6)/12?
False
Let m be 4*((-26)/8 + 4). Suppose 0 = m*x + 5*g - 33, -5*x - 5*g = -26 - 39. Is 13 a factor of x?
False
Suppose 4*q - 12 = -4*z + 88, 4*z - 65 = 3*q. Is 7 a factor of z?
False
Is 3 a factor of (35/70)/(1*(-2)/(-12))?
True
Suppose l - 84 = -3*j, j + 15 = 4*j. Let t = 116 - l. Is 27 a factor of t?
False
Is 1 - -136 - (-10 + 11) a multiple of 68?
True
Suppose -18902 = -4*o - 2*d, 5*o + d - 9747 - 13879 = 0. Is o a multiple of 25?
True
Does 33 divide ((-324)/(-126))/((-6)/(-476))?
False
Suppose -3*q = o - 6*o - 1156, -4*q + 2*o = -1560. Does 12 divide q/16 + 3/6?
False
Let s(k) = -10 - 4*k**2 + 10 - 6*k + k - k**3. Let v = -9 + 4. Is s(v) a multiple of 18?
False
Let q(c) be the first derivative of -c**4/4 - c**3 - 4*c**2 - 4*c + 6. Let j be q(-4). Let w = j - 25. Is w a multiple of 10?
False
Let p(v) be the second derivative of 5*v**3/6 - 19*v**2/2 + 11*v. Let k be p(-8). Let s = 89 + k. Does 15 divide s?
True
Let p(q) = -10*q + 5. Let s be p(-4). Suppose 3*x = x + 8. Suppose -s = -7*v + x*v. Does 5 divide v?
True
Suppose -4*c - c - 3*n + 8495 = 0, -c + 2*n + 1686 = 0. Is c a multiple of 16?
True
Suppose 27 = -0*l + 4*l - 5*a, l + 9 = -4*a. Suppose l*h = 28 + 14. Is 9 a factor of h?
False
Let a = -407 + 913. Is a a multiple of 46?
True
Let q = 92 + -90. Suppose q*m - 23 = f, 4*f = m + f - 19. Is m a multiple of 7?
False
Let w(q) = 10*q**2 - 3*q. Is w(1) a multiple of 7?
True
Suppose 2*z + 2*v - v = -4, -z - 13 = -5*v. Let i be z/2 - (-150)/12. Suppose -4*r - i = -5*r. Is r a multiple of 4?
False
Let t = -3 - -5. Let w be (0 - 28)*-1 - 4. Suppose w = t*h - 8. Is 11 a factor of h?
False
Let t = 380 - 230. Does 14 divide t?
False
Let k(v) = 3*v**2 - 5*v - 18. Is k(4) a multiple of 3?
False
Suppose -5 = 4*d - 1. Let x(b) = -12*b + 2. Does 7 divide x(d)?
True
Suppose 4*f = k + 2012, 524 = f - 2*k + 7*k. Is f a multiple of 72?
True
Suppose -3*o - 3 = -4*u, -3*u - 5*o + 0 - 5 = 0. Suppose 2*d - 8 = u, d = -3*f - 4*d - 37. Let i = f + 21. Is 2 a factor of i?
True
Suppose -24*p - 337 = -c - 19*p, -2*c + 2*p + 666 = 0. Is c a multiple of 87?
False
Let s(f) = 2*f - 17. Let t be s(11). Suppose 3*j - 4 = 4*u - 2*u, -t*u = -3*j + 1. Suppose 0 = -b - w + 72, -j*b + w = -w - 136. Is 10 a factor of b?
True
Is 3 a factor of 70/15 + 12/9?
True
Is 16 a factor of 186 - (-2 + 6) - 2?
False
Suppose 2*o - 81 = 5*z, 4*o + 4 = -5*z + 151. Suppose -2*b - o = -3*b. Does 19 divide b?
True
Let s = -25 + 28. Suppose -3*z - 2*f = -99, 4*f = s*z - 39 - 78. Does 19 divide z?
False
Suppose 3*y + 0*g - 4 = -g, 2*y = 4*g + 12. Suppose -4*z = 8, z - 34 - 28 = -4*u. Let n = u - y. Does 4 divide n?
False
Let d(l) = -65*l + 609. Does 19 divide d(0)?
False
Let x be (-7)/63 + (2 - (-2965)/(-45)). Let l be (-109 - 1)/((-2)/2). Let f = l + x. Does 11 divide f?
False
Let b(x) = -x**2 - 4*x + 2. Let u be b(-3). Suppose 3*z - u*g = 302, -z - 461 = -5*z - 5*g. Suppose 3*f = -10 + z. Does 11 divide f?
True
Let d = -284 + 196. Let f = d - -100. Does 9 divide f?
False
Let i(u) = -u**2 + 6*u + 2. Suppose -7*c = -6*c - 5. Is 4 a factor of i(c)?
False
Is ((-30)/7)/((-2)/42) a multiple of 30?
True
Let b(w) = 8*w + 147. Is b(0) a multiple of 9?
False
Let w = -37 + 17. Let r = w + 28. Is r a multiple of 8?
True
Suppose 596 = -14*v + 4698. Does 11 divide v?
False
Suppose 8*u - 6*u + 120 = 0. Suppose 2*l + 94 = 28. Let r = l - u. Does 9 divide r?
True
Let o be 4*(21/(-12) + 2). Let a(w) = -3*w**3 + 5*w**2 - 6. Let q(h) = -h**3 - h**2 + 1. Let d(j) = o*a(j) - 2*q(j). Does 14 divide d(6)?
True
Suppose 23*q = 28*q - 325. Is q a multiple of 3?
False
Suppose 4 + 14 = 9*s. Suppose 3*z = -7*w + s*w + 886, 4*w - 700 = 2*z. Is w a multiple of 8?
True
Let m(l) = -2*l + 21. Suppose -3*c = 2*k + 10, 4 + 8 = 3*k. Is 9 a factor of m(c)?
False
Suppose -4*m - 10*b + 6*b = -128, -26 = -m - 4*b. Suppose 4*j - 3*j = 0. Suppose j = -3*x + 29 + m. Is x a multiple of 7?
True
Does 33 divide (18/(-4))/((162/14652)/(-9))?
True
Suppose -2*l + 2 = -0*l. Let d(q) be the third derivative of 19*q**4/24 - 50*q**2. Is 3 a factor of d(l)?
False
Let j(v) = -v**3 + 2*v**2 - 2*v + 9. Let s(i) = -i**3 + i + 1. Let t(n) = j(n) - 2*s(n). Is 3 a factor of t(2)?
True
Let n = -12 + 10. Let z = n - -16. Is z even?
True
Is 24 a factor of (-132)/242 - 4758/(-11)?
True
Suppose -5*n - 70 = -5*w, -5*w = 3*n - 14 - 40. Suppose -2*g + w = 4. Suppose 0*d = d + g*q + 2, 2*d = -5*q + 5. Is 10 a factor of d?
True
Let y(n) = n**2 + 3*n + 2. Let x be y(-3). Let d be 3/((-3)/x) + 12. Let c = d + 3. Does 6 divide c?
False
Let x be 100*22/8*3. Suppose -4*p = -x + 57. Does 32 divide p?
True
Let k(o) = -2*o**3 - 4*o**2 + 6*o + 5. Let a(w) = w**3 + 6*w**2 + 6*w + 1. Let j be a(-3). Let x be 34/(-51) + j/(-3). Does 12 divide k(x)?
False
Let z(v) = v**3 - 5*v**2 + 1. Let c be z(5). Let m = 26 - 3. Let k = c + m. Is k a multiple of 12?
True
Let g = -208 + 220. Is 6 a factor of g?
True
Suppose q = -z + 2*z + 127, 2*q - 239 = 5*z. Is q a multiple of 12?
True
Suppose 3*u - j = 8*u - 628, 4*u + 2*j = 500. Is u a multiple of 42?
True
Let y(f) = -277*f + 812. Is 13 a factor of y(-5)?
True
Let v(o) = 227*o + 19. Does 43 divide v(2)?
True
Suppose 3*n = -w - n + 370, -w = 5*n - 371. Suppose -4*y - w = -7*i + 4*i, -3*i = -3*y - 369. Is i a multiple of 7?
True
Suppose 5*u + 3140 = 3*d, -16*d + 4175 = -12*d + 5*u. Is 48 a factor of d?
False
Let d = 152 + -127. Is d a multiple of 9?
False
Let t = 9 - -58. Is 35 a factor of t?
False
Suppose 0 = 3*a + 2*v - 2022, 5*a = -5*v + 741 + 2634. Suppose -4*x - 3*x = -a. Is x a multiple of 12?
True
Suppose 4*x - 4 = 2*a - 4*a, -4*a + x + 8 = 0. Suppose -a*c - n + 11 = -8, -5*c + 3*n = -64. Does 11 divide c?
True
Let d be (1 + -2)/(7/(-1015)). Suppose -x - 4*a = -d, 4*x - 5*a = -x + 800. Is x a multiple of 13?
False
Let j(z) = -4*z**3 - 28*z**2 - 2*z - 4. Is j(-7) a multiple of 5?
True
Let g = -72 + 74. Suppose 2 = s + 6, 0 = -2*p + g*s + 110. Is p a multiple of 12?
False
Let i(x) = -x**3 - 3*x**2 + 4*x + 2. Let l be i(-4). Is 5 a factor of 10/(-6)*-24*l?
True
Suppose -5*f + 451 = -2*a, 362 = 4*f - 2*a + a. Let h be (-25)/(-10)*(0 + (-124)/5). Let n = h + f. Is 8 a factor of n?
False
Suppose -198 = -2*s + m + 2*m, -300 = -3*s + 3*m. Let g = -4 + s. Is g a multiple of 25?
False
Let q(i) = 3*i**2 + 7*i + 22. Is 62 a factor of q(16)?
False
Suppose 13*s - 1305 - 86 = 0. Let o = -31 + s. Is o a multiple of 13?
False
Suppose 0 = -2*s + 4 - 6. Is (323/68)/((s/(-24))/1) a multiple of 13?
False
Let s be 2*(2 - 21/6). Is (1 + -2 - s) + (154 - 0) a multiple of 37?
False
Let q = -158 - -250. Suppose 0 = -3*l + 169 + q. Does 13 divide l?
False
Suppose 6*i + 21 = -75. Let w = i + 57. Is 41 a factor of w?
True
Let b(z) = -2*z**2 - 2*z - 7. Let c(q) = -q**3 - q**2 - q - 1. Let a(n) = b(n) - c(n). Suppose 5*k + x = 10*k - 22, 2*k - x - 10 = 0. Does 5 divide a(k)?
False
Suppose -9*c - 5*a + 600 = -4*c, -5*a + 354 = 3*c. Is 9 a factor of c?
False
Suppose -3*b - 3 = 0, -5*b + 19 = -t - 16. Let u = t - -94. Is u a multiple of 18?
True
Let b be ((-66)/(-18) - 1/(-3))/2. Let u be -1 + 2 + 1 - 2. Suppose u = -2*f - b*f + 216. Is f a multiple of 27?
True
Suppose -4*w - 3*v + 1168 = -945, -v = 3*w - 1591. Is 12 a factor of w?
False
Let o(i) = 34*i - 47. Let x be o(7). Let k = -161 + x. Is k a multiple of 5?
True
Let u(j) = -j**2 + 6*j + 16. Let q be u(8). Let f(l) = -l**3 + l**2 - l + 10. Let h be f(q). Suppose m - h - 22 = 0. Does 16 divide m?
True
Let s = -24 + 14. Let f be 2/s - (-41)/5. Suppose -13*m = -f*m - 100. Does 10 divide m?
True
Let d = 2262 - 1237. Is d a multiple of 30?
False
Let q(w) = 7*w**2 + 6*w**2 + 0*w**2 + 16*w**2 - 2*w. Let o be q(-2). Is 10 a factor of 2 + -2 - o/(-4)?
True
Does 33 divide (-2 - -11)/((-988)/(-488) - 2)?
False
Suppose -116*z + 12916 + 22580 = 0. Is z a multiple of 6?
True
Suppose -4*u + 4*a - 45 = -7*u, -u + 13 = 2*a. Suppose -u*d + 125 = -14*d. Is 23 a factor of d?
False
Let o = 25 - 13. Suppose 0*f - 50 = 3*f + j, -o = f - 2*j. Is 10*(-7)/(28/f) a multiple of 10?
True
Let t = 149 + 491. Does 64 divide t?
True
Does 5 divide (238/51)/((-2)/(-54))?
False
Is (1 - -251)*(-45)/(-10) a multiple of 81?
True
Is 9 a factor of (70/20 - 4)*-2090?
Fals