- z*l = 3*o - 49. Does 13 divide o?
False
Suppose -14*z + 10*z + 264 = 0. Is 26 a factor of z?
False
Let b(j) = 2*j**3 - 5*j**2 + 5*j - 3. Suppose 4*s = s + 9. Let w be b(s). Suppose -k + w + 27 = 0. Does 13 divide k?
False
Let v(l) = -l**3 + 12*l**2 + 7*l + 9. Is v(12) a multiple of 14?
False
Suppose -69 = 4*v - 7*v + 3*b, -5 = 5*b. Does 7 divide v?
False
Let o(b) = b**3 + 9*b**2 + 8*b + 2. Let t be o(-8). Let m(g) = 2*g - 2. Let v be m(t). Suppose 36 = 3*j + j - 2*u, -u + v = 0. Is j a multiple of 5?
True
Let w = -55 + 107. Is 39 a factor of w?
False
Let f(x) = -24*x**3 - x**2 - x - 1. Let y be f(-2). Is 51/68 + y/4 a multiple of 16?
True
Let i(s) = -15*s - 1. Let y be i(1). Let u be 2*(-1)/2*-2. Is (u - 4)/(2/y) a multiple of 16?
True
Let f = -2 + 0. Let b be f/9 + 552/54. Let a = b + 18. Is a a multiple of 14?
True
Let u = -238 + 451. Is u a multiple of 22?
False
Let q(f) = -10*f - 4. Is 4 a factor of q(-2)?
True
Suppose 0 = -6*s + 2*s + 320. Suppose -3*a = -8*a + 20, 0 = 5*t + 4*a - 31. Suppose -b + s = t*b. Is 10 a factor of b?
True
Let m be 1/3 + 4/(-12). Suppose -q + 6*q - 5 = m. Does 6 divide (-72)/(-4) - 2*q?
False
Let v(t) = t**2 - 3*t - 2. Let d be v(3). Let c be d + (-1 - 0 - -22). Suppose c = 2*r + q - 56, r - 50 = 2*q. Does 20 divide r?
True
Suppose -3*z + 2*u - 58 = 0, -3*u - 19 = -5*z - 116. Let o = z - -14. Is 30/(o/(-8)*2) a multiple of 16?
False
Let t(w) = w + 11. Let d be t(-8). Let l(v) = -d + v**2 + 3. Does 3 divide l(-2)?
False
Let v(q) = -41*q - 16. Does 22 divide v(-4)?
False
Suppose 3*b + 78 = 5*b. Suppose 0 = -2*c - 7 - b. Let k = c - -34. Does 3 divide k?
False
Suppose 0 = 22*q - 2575 - 4091. Is 50 a factor of q?
False
Suppose -j - 5 = 3. Let q(g) = -12*g - 18. Does 26 divide q(j)?
True
Suppose -2*c = -t - 61, c + 4*t - 34 = 8*t. Is c a multiple of 27?
False
Let a = -5 + 9. Suppose a = -4*v + 28. Is v a multiple of 6?
True
Suppose -3*h + 76 = h. Suppose -2*o + 11 = -h. Suppose 5*w + n = -0*n + 72, -2*w - 5*n + o = 0. Does 15 divide w?
True
Let g = 27 - 24. Suppose -g*u + 28 = -47. Is u a multiple of 10?
False
Let i(r) = -11*r + 19. Is i(-3) a multiple of 5?
False
Suppose 2*s = -2*s + 16. Suppose -151 = -s*v - 3. Is v a multiple of 9?
False
Suppose 4*v - 181 = -5*t + 112, 5*v - 365 = -5*t. Suppose 0 = -3*n - 4*x - 136, 5*x + v + 163 = -5*n. Does 20 divide 3*(n/(-6) - 2)?
True
Let u(a) = -a**2 - 8*a + 3. Let x = 6 - 2. Suppose 3*r + 0*r + 41 = x*c, -r = c + 2. Is u(r) a multiple of 3?
False
Let r = -5 - -20. Suppose -5*i + 6 = 2*u - 3*u, 10 = i + 2*u. Is 3 a factor of 1/(i - 27/r)?
False
Let u(c) be the second derivative of c**3/2 - 2*c**2 + c. Let r = -1 - -6. Is 8 a factor of u(r)?
False
Let t = -46 - -25. Is (28/t)/(2/(-87)) a multiple of 17?
False
Let c(q) = 4*q + 1 - 5*q - q**2 + 0 + 10*q**3. Let o be c(1). Is 15 a factor of (6 + 0)*24/o?
False
Suppose 2*j - 2*d - 4 = 0, 5*j - 23 = -2*d + 1. Is 2 a factor of j?
True
Let y(a) = 20*a**2 + 3*a - 1. Is y(-3) a multiple of 13?
False
Suppose -4*p + 67 = j, 76 = 2*j + 3*p - 43. Is 11 a factor of j?
True
Suppose 128 = 4*i - 320. Let c = i + -76. Is 18 a factor of c?
True
Let z = -9 - -12. Is (z/2)/(3/18) a multiple of 2?
False
Let z(o) = -o**2 - 6*o - 4. Let p be z(-4). Suppose -4*g = -16, -2*v - p*g + 18 = -66. Suppose i - v - 3 = 0. Is i a multiple of 16?
False
Suppose 4*p + p + 4*j - 36 = 0, -5*j + 36 = 4*p. Suppose p = -b - b. Does 15 divide (4 + b)/(-2) + 26?
False
Let r(s) = -3*s + 6. Let m(o) = -3*o + 6. Let b(w) = 3*m(w) - 2*r(w). Let j be b(-8). Suppose -70 = -4*n + q, q + j = 2*n + 3*q. Is 10 a factor of n?
False
Let v(w) = 8*w**2 - w - 6. Let m be v(-3). Let a = -24 + m. Does 9 divide a?
True
Let y(c) = -5*c**2 + c - 2. Let s(j) = -2*j + 6. Let o be s(5). Let k(v) = v**2 + v - 1. Let b(w) = o*k(w) - y(w). Is 11 a factor of b(6)?
False
Suppose 3*x + 45 = 4*z - 2*x, 3*z + 2*x = 51. Suppose 0 = 3*b - 6*b + z. Suppose -b*a = -6 - 34. Is a a multiple of 4?
True
Let h(n) = 2*n**2 - 8*n + 4. Is 14 a factor of h(6)?
True
Let k = 242 - 156. Suppose -2*o = 2*o + 216. Let i = o + k. Is i a multiple of 16?
True
Suppose 450 = 4*m - 2*g - 0*g, 0 = -4*m + 5*g + 465. Does 26 divide m?
False
Let j = -16 + 24. Let u = 17 - j. Let o = u - 1. Is o a multiple of 5?
False
Suppose 6*i = 2*i. Is 10 a factor of (-5 - -4)*(-30 - i)?
True
Let c(h) = h**2 - 6*h - 8. Let u be c(7). Let r = u - 28. Let z = r - -43. Is 5 a factor of z?
False
Let q = 113 - 54. Does 19 divide q?
False
Suppose -103 - 17 = 3*a. Is 20 a factor of (-764)/(-10) - (-16)/a?
False
Suppose f - 165 = -3*k - 17, -3*k + 2*f = -136. Does 12 divide k?
True
Let y = 50 - 36. Is 3 a factor of y?
False
Suppose 179 = 2*t - 69. Does 23 divide t?
False
Let u(h) = h**3 - 6*h**2 - 6*h - 3. Let q be u(7). Suppose 4*r = 32 + q. Is (-3)/(r/120*-2) a multiple of 19?
False
Let d = 82 - 42. Is 13 a factor of d?
False
Let k = -2 + 10. Let x be 4/(-10) - k/5. Does 5 divide 58/4 + x/4?
False
Let l be 3 - 3 - 0/(-2). Suppose -2*g + z = -l*z - 49, -2*g = 5*z - 43. Does 12 divide g?
True
Let o(k) = 10*k - 2. Is o(3) a multiple of 14?
True
Let r(s) = -s**3 + 10*s**2 - 9*s. Let f be r(9). Suppose f*a + 4*a = 20. Suppose -2*k + d - a*d = -60, 4*k = 5*d + 81. Is k a multiple of 12?
True
Let d = 56 + -24. Is 14 a factor of d?
False
Let o be 65/3 - 2/(-6). Suppose -3*j = -o + 4. Does 3 divide j?
True
Suppose -2*d = -0*d - 4. Suppose -d*q = -2*z, 0*z = q + 2*z - 9. Suppose 0*v = -q*v + 75. Is v a multiple of 9?
False
Suppose 188 = 3*n + 59. Let t = 63 - n. Is 15/5 + 1*t a multiple of 12?
False
Suppose g + 3 = c, 2*c + 2 = g + 6. Let h be -2 + (c - 0) + 3. Suppose -2*v = -h*r + 3 + 1, 4*r + 5*v = 17. Is 3 a factor of r?
True
Suppose 2*v + 4*x = 24, 5*x + 62 = 5*v - 43. Is 4 a factor of (-28)/3*v/(-12)?
False
Suppose -m - 5*g = 20, -3*m = -5*g + 7 - 47. Suppose -15 = -2*x + 3*a, -2*x + x - m*a - 12 = 0. Is 9 a factor of 14*(-3)/(-9)*x?
False
Let a(g) be the first derivative of -g**7/840 - g**6/180 + g**4/6 + g**3/3 - 1. Let x(v) be the third derivative of a(v). Does 12 divide x(-3)?
False
Let s = 50 - 23. Is s a multiple of 18?
False
Let j be ((-8)/6)/((-10)/(-45)). Let m be (-3)/j + 9/2. Suppose -m = -3*h + 1. Does 2 divide h?
True
Let d = -23 - -11. Does 16 divide (-46)/(-3) - d/18?
True
Is 19 a factor of ((-3)/(-2))/(12/608)?
True
Let v(s) be the second derivative of -s**4/12 + s**3/6 + 3*s. Let y(i) = 2*i**2 - 12*i + 8. Let h(a) = v(a) + y(a). Is 5 a factor of h(11)?
False
Suppose 5*c - 4*o - 70 = 275, -2*c + 3*o + 131 = 0. Suppose d + m + c = -3*d, m = -3*d - 56. Let n = -5 - d. Is 6 a factor of n?
True
Let i(f) = -f**3 + f - 82. Suppose 2*c = 4*c. Let y be i(c). Does 5 divide (-1)/4 - y/8?
True
Let w(q) = -6*q - 6. Is 12 a factor of w(-3)?
True
Let q = 7 + -2. Suppose 305 = q*u + 15. Suppose -5*o - 59 = -5*s - 3*o, -4*s = 2*o - u. Is s a multiple of 10?
False
Suppose 0 = 5*t - z - 58, t = 3*z - 0 + 6. Let m = t + 2. Let x = -2 + m. Is 12 a factor of x?
True
Let h = -5 + 9. Suppose 7*i = 2*i - 60. Let u = h - i. Does 16 divide u?
True
Let o(y) = y**2 + 9*y - 12. Let i be o(-10). Is 21 a factor of (-195)/(-5) - 2/i?
False
Is 25 a factor of (-11)/((-66)/100)*6/4?
True
Let q(x) = -41*x - 1. Does 20 divide q(-1)?
True
Let z(x) = 10*x**2 + 2*x - 1. Let d be z(1). Let i = d + 64. Does 25 divide i?
True
Let q = -2 - 1. Let c = q - -8. Is c even?
False
Let l = 96 - 38. Suppose -13 + l = 5*q. Does 6 divide q?
False
Let t(w) = w**3 - 4*w**2 + w - 2. Suppose 0 = 3*s - 12. Let i be t(s). Suppose -g + 90 = i*g. Is 11 a factor of g?
False
Suppose -3*l + 5*a - 3 = -1, -2 = l - 3*a. Let j = l - -5. Is j a multiple of 6?
True
Suppose 5*w - 4*w = 5*j - 278, 0 = -3*w - 9. Does 11 divide j?
True
Let r be (0 - 2) + (3 - 2). Let p be -1 + r + (-2)/2. Let a(d) = 2*d**2 + 4*d + 2. Is 3 a factor of a(p)?
False
Suppose -10*p + 1664 - 444 = 0. Is 8 a factor of p?
False
Suppose -103 = -5*m + 3*w, -2*m - 97 = -7*m - 3*w. Is 15 a factor of 50/m*74/5?
False
Suppose f + 3*c = 37, 4*f - c - 148 = -5*c. Let z = f + -19. Is 4 a factor of 6/z - 35/(-3)?
True
Suppose -5*g = -0*g - 5. Is 12 a factor of g/(-5) - (-1086)/30?
True
Let q = 9 + -5. Suppose -q*a - 10 = 2*o, 4*a - 2*o - 6 - 4 = 0. Suppose a = -v - v + 4, -56 = -5*b + 2*v. Is 6 a factor of b?
True
Suppose h + 268 = 3*o,