 Let m be z(g). Is 13 a factor of (2 - -1) + m + 3?
False
Suppose -7*k + 7 = -21. Suppose -4*b + 2*p + 230 = 0, -k*b + 120 + 113 = p. Does 17 divide b?
False
Let i = -19 - 33. Let q = 12 - i. Does 16 divide q?
True
Let x(y) = -y**3 + 12*y**2 - 21*y + 4. Let l be x(9). Let a = l - -1. Is a a multiple of 59?
True
Let a be (-2)/(-5) + (-28)/70. Suppose a*r - 3 = -3*r. Is r/(-6) - 1815/(-90) a multiple of 5?
True
Suppose -4455 = 4*l - 31*l. Is l a multiple of 33?
True
Let n(k) = 10 - k - 14 + 31*k + 4*k. Does 13 divide n(6)?
False
Suppose 5*s - 19 = 3*v, -v + s - 5 = -2*s. Let y = v - -8. Let a = 17 + y. Is 17 a factor of a?
True
Suppose 0 = -v - 5, -14 = -4*s - 5*v - 55. Does 19 divide (-16)/((-10)/(-15) - s/(-3))?
False
Suppose -n - 2*n + 718 = o, 726 = 3*n - 3*o. Is n even?
True
Let u(d) = 2*d**2 - 16*d + 25. Let b be u(6). Let s = 9 + -21. Is 10 a factor of 1*b/(-1) - s?
False
Suppose -2*v - 43 = r, 4*r = 7 + 5. Let f = v - 33. Let u = -28 - f. Does 7 divide u?
True
Suppose -4*c + 3*l + 224 = 0, -4*c + 3 = l - 221. Is c even?
True
Suppose -40 = -0*z - 5*z. Let d be 0 - 7/(14/z). Is 10 a factor of (d - 6)/(1/(-1))?
True
Let d(f) = -f**2 + 1. Let y(i) = -i**3 + 15*i**2 - 24*i + 16. Let a(g) = -2*d(g) - y(g). Is 6 a factor of a(12)?
True
Let k = 62 + 168. Suppose 14*g - 15*g + k = 0. Let h = -136 + g. Is h a multiple of 20?
False
Let w be -10 + (-3 - (-1 - -2)). Is (-2982)/(-98) - 8/w a multiple of 19?
False
Suppose 4*i + 4 = 5*i. Suppose 5*x - 80 = -i*b, -4*x + 2*b + 28 = -2*b. Is x/3 + (5 - -125) a multiple of 28?
False
Let q = -7 + 11. Let b = q + 14. Is 3 a factor of b?
True
Suppose 8 = -4*z + 20. Suppose 0*f - 11 = -2*m + 5*f, z*m = -f + 8. Suppose -4*c + 164 = m*a + a, 43 = a - c. Is 14 a factor of a?
True
Suppose 8053 - 28113 = -59*s. Does 8 divide s?
False
Suppose -6 = 4*p - 7*p. Suppose 2*a = -p*a + 168. Does 7 divide a?
True
Let w = -2 + -2. Let k = 105 + -98. Let j = w + k. Is 3 a factor of j?
True
Is -2 + 443 + -2 + -2*2 a multiple of 29?
True
Suppose -6*f + f + 3*m + 35 = 0, -4*m = 0. Suppose -2*w + f*w = -15, -3*t = 4*w - 180. Let g = t - 36. Does 14 divide g?
True
Let x(m) = 3*m - 15. Let l be x(6). Suppose -312 = -4*h + h - 5*v, -3*v + 312 = l*h. Is 23 a factor of h?
False
Does 10 divide -1 + -1 - 702/(-54)?
False
Suppose -5*w + 135 = 4*w. Let f(l) = -l + 7. Let t be f(8). Let o = w - t. Is o a multiple of 9?
False
Let z = -161 - -157. Let g(s) = -5*s**3 + 7*s**2 + 4*s - 6. Let x(i) = -4*i**3 + 7*i**2 + 4*i - 5. Let l(d) = -5*g(d) + 6*x(d). Is l(z) a multiple of 8?
True
Is (-68748)/(-11) + (-372)/(-2046) a multiple of 10?
True
Let a be (-2 - -6) + 0 + 4. Is 12 a factor of (a - 0)/(8/36)?
True
Suppose -2 = 2*v - v, -5*m + 15 = 5*v. Suppose -m*c - y + 25 = 0, -3*c + y + 4 = -3. Is -2 + 46/c*10 a multiple of 23?
False
Let w(n) = -121*n + 58. Is w(-5) a multiple of 39?
True
Suppose -4*b = b - 175. Let d = b + 70. Suppose -2*h = -5*i + h + 122, -5*h + d = 4*i. Is i a multiple of 25?
True
Let g(l) = -l**2 + 9*l - 8. Does 5 divide g(6)?
True
Let z(a) = -3 + 4*a + 3 - 2. Let o be z(1). Suppose w = -i - 0*i + 9, 27 = o*w + 5*i. Is 3 a factor of w?
True
Let c = -1318 - -1485. Is 3 a factor of c?
False
Suppose 3*s + 30 = b, -4*s + 101 = 3*b - 2*s. Let a = b + -13. Does 20 divide a?
True
Let p(z) = 67*z + 633. Is p(6) a multiple of 23?
True
Let f(y) = y**2 + 11*y + 3. Let m be f(-8). Let j = -18 - m. Suppose -j*o + 72 = 3*o. Is 3 a factor of o?
True
Suppose -47*f = -9879 - 24807. Is f a multiple of 18?
True
Let p = -48 + 53. Suppose 61 + 14 = p*t. Does 3 divide t?
True
Suppose 0 = -z + 4*n + 724, -3*z - 5*n = -1539 - 616. Is 48 a factor of z?
True
Suppose 726 + 238 = 2*j. Is j a multiple of 4?
False
Let b(n) = 2*n - 8. Let i be b(5). Suppose -100 = -0*q + i*q. Let k = -28 - q. Is k a multiple of 22?
True
Suppose -4*a + 5*m - 6*m = -3314, -1650 = -2*a + 3*m. Is a a multiple of 12?
True
Suppose -i - 5*o = -61, -5*i - 4*o = 117 - 464. Let z = i + -2. Is z a multiple of 16?
False
Suppose 2558 = 7*j - 1768. Is j a multiple of 3?
True
Suppose 90 = 9*o - 4*o. Let d = o - 8. Suppose -35 = 5*t - d*t. Is t a multiple of 7?
True
Let m(t) = -t**2 + 3*t + 61. Let o(k) = -2*k**2 + 7*k + 123. Let s(h) = 7*m(h) - 3*o(h). Suppose -a = 4*a. Is 14 a factor of s(a)?
False
Let x(j) = -516*j - 337. Does 11 divide x(-3)?
False
Suppose 45*l = 53*l + 5552. Is l/(-3) - 32/24 a multiple of 37?
False
Let y = 1554 + -889. Suppose -l = -8*l + y. Is 19 a factor of l?
True
Suppose 3*q - 4*a = 133, 5*a - 40 - 111 = -3*q. Let x = q - 7. Does 20 divide x?
True
Let x = -508 + 552. Is 11 a factor of x?
True
Let m(r) = 388*r + 18. Is 28 a factor of m(4)?
False
Suppose -u + 5*q - 1066 = 0, 0 = -2*u + 4*q - 1647 - 473. Does 12 divide (-1)/((-2)/9)*u/(-36)?
True
Suppose -13*y = -6*y - 70. Is 13 a factor of 26/(y/15*3)?
True
Let n(a) be the third derivative of a**4/24 + a**3/2 + 5*a**2. Let s be n(-4). Does 6 divide -2 + 4 + s - -5?
True
Let u(w) = -w**3 + 11*w**2 - 18*w - 19. Let d be u(8). Let t be ((-28)/(-3))/((-2)/(-9)). Let g = t - d. Is 13 a factor of g?
True
Let q(h) = -5*h**3 + 4*h**2 + 5*h + 2. Suppose -5*f - 4 = -2*x, -2*x = 2*x - 2*f + 8. Is q(x) a multiple of 37?
False
Let b(j) = -j**3 + 11*j**2 - 9*j + 10. Let s = 34 + -24. Does 4 divide b(s)?
True
Let n be 29*(12/5 + 3/5). Let s = -2 + 4. Suppose -s*j = -43 - n. Is j a multiple of 21?
False
Let f be (-38)/(-2) - (-6)/3. Let i be (-5 + 5)*4/12. Suppose i = -5*c - 20, 4*p - 3*c = p + f. Is p a multiple of 3?
True
Let v(k) = k - 9. Let c be v(6). Does 10 divide 4 + 12/c + 26?
False
Suppose 0 = -2*w - 3*j + 1733, -23*w + 26*w = j + 2627. Is 2 a factor of w?
True
Let b be (-4)/3*9/(-6). Suppose -b*s - 5*h = -21, -s - 4*h = -5 - 1. Does 18 divide s?
True
Let i be (-338)/(-2)*(2 + -1). Let l = i + -61. Suppose 3*o = o + l. Does 18 divide o?
True
Let y(t) = 3*t**2 + t - 9. Does 17 divide y(-9)?
False
Let d(r) = -2*r + 6*r - 15*r - 10*r. Let t be d(-5). Suppose 4*y + y = t. Is y a multiple of 21?
True
Does 35 divide ((-1)/(-2))/(15/7410)?
False
Let q(t) = -t - 12. Let h be q(2). Does 9 divide (-1272)/h + (-3)/(-21)?
False
Let k(p) = p + 16. Let h be k(0). Suppose -7*w = -h*w + 351. Is w a multiple of 4?
False
Suppose 0 = -5*v + 393 + 322. Suppose -m = -f - v - 45, 2*f - 179 = -m. Is m a multiple of 37?
True
Suppose 3*k - 93 = 2*g, 0*g = 2*k + 2*g - 52. Does 12 divide k?
False
Let n be (3 - -3)*2/6. Suppose n - 12 = 5*b. Is 22 a factor of (-600)/(-10) + b*1?
False
Let j be 4*1 - (-1 - -2). Suppose 67*y = 65*y + 8. Suppose a - 2*h - 49 = 0, a - j*h + 165 = y*a. Is a a multiple of 16?
False
Let p = -24 + 32. Let i be 97 - (8/(-2) + p). Suppose -3*z + i - 3 = 0. Is 15 a factor of z?
True
Let r(g) = 18*g + 2. Let v be 0 - (-3 - (-3 - -1)). Let w be r(v). Suppose 0 = j - 5 - w. Is j a multiple of 5?
True
Suppose 2*x - 3 + 4 = 5*f, 0 = 4*x + 5*f + 77. Let t(n) = n**3 + 14*n**2 + 15*n + 32. Is 4 a factor of t(x)?
False
Let k be 56/26 + 2/(-13). Let j be (-11)/(-4) + (-6)/8. Suppose 3*o + v = -j*v + 75, 4*o - k*v = 70. Does 13 divide o?
False
Suppose 0 = -5*b + o + 31 + 562, -363 = -3*b - 3*o. Is b a multiple of 4?
False
Let v = 816 + -431. Is v a multiple of 4?
False
Suppose 852*o + 150 = 853*o. Does 15 divide o?
True
Let m(o) be the second derivative of o**5/20 - 2*o**4/3 + 7*o**3/3 + 11*o**2/2 + 14*o. Is m(7) a multiple of 30?
True
Suppose -2*g - 83 = -r, 2*g - 71 = -2*r + r. Does 2 divide r?
False
Let g be (-188)/(-20) - (-8)/(-20). Let t = 15 + g. Does 3 divide t?
True
Suppose -5*j - 6*j = -5984. Does 15 divide j?
False
Is 5/(60/(-243))*(-80)/6 a multiple of 14?
False
Let k(z) = 2*z - 5. Let j be k(6). Suppose -302 + 29 = -j*t. Is 13 a factor of t?
True
Let x(y) = -230*y + 38. Is 21 a factor of x(-4)?
False
Let n = -1857 + 3158. Is 58 a factor of n?
False
Let s(q) be the first derivative of q**4/4 + 11*q**3/3 + 9*q**2 + 3*q + 1. Does 13 divide s(-6)?
False
Let d(h) = h**3 - 5*h**2 - 4*h - 7. Let f be d(6). Let j(o) = 5*o**2 + 11*o - 23. Is j(f) a multiple of 28?
False
Suppose -35 = 2*i + 21. Does 9 divide (218/10)/(i/35 + 1)?
False
Let b = -12 + -7. Let s be -1*(0 - -1) - b. Suppose -s = -t + 18. Is 18 a factor of t?
True
Let y(v) be the first derivative of v**4/4 + 7*v**3/3 + 5*v**2 + 4*v - 30. Does 3 divide y(-4)?
True
Suppo