(d) = 78*d**2 - 60*d + 401. Does 99 divide q(7)?
False
Let d = 1499 - 979. Is 12 a factor of d?
False
Suppose 26 = f - 176. Suppose -x - 328 = -5*i - 0*x, -3*i = 2*x - f. Let m = i - 23. Does 21 divide m?
False
Let z(b) = -b**2 - 5*b + 16. Let o be z(-7). Suppose 3*c - 15 = 6*c, -1300 = -5*g + o*c. Is g a multiple of 43?
True
Let i(x) = -x**2 - 7*x - 1. Let c(u) = u**3 - 8*u**2 - 10*u + 4. Let q be c(9). Let g be i(q). Let p = 5 + g. Does 14 divide p?
True
Suppose 3*i = 2*s - 444, 0*s - 204 = -s - 3*i. Is 12 a factor of s?
True
Let z(m) = -24*m**3 - 4*m**2 + 9. Is 23 a factor of z(-3)?
True
Let n(j) = 8*j**2 + 7 + 8 - 17 - 2*j. Is n(-3) a multiple of 38?
True
Let u = 7 + 3. Let s be -44 - 5/(u/8). Is 12 a factor of 146/6 + 16/s?
True
Let w = -103 - -50. Suppose 5*d + 385 = 5*z, 119 + 266 = 5*z - 4*d. Let l = w + z. Is 11 a factor of l?
False
Suppose -2*t + 60 = t. Suppose -t - 5 = -5*v. Suppose 4*j - 2*j = 6, -235 = -5*q + v*j. Is q a multiple of 23?
False
Let u(o) be the second derivative of o**4/12 - o**3/3 - o**2 - 2*o. Let p(v) be the first derivative of u(v). Does 3 divide p(4)?
True
Suppose 0 = w - 9*s + 6*s + 4, 5*w - 16 = 3*s. Suppose -2*b + 138 = 5*k - 149, 3*k = -w*b + 746. Is 24 a factor of b?
False
Suppose 0 = n + 3 - 18. Let p be ((-4)/5)/((-3)/n). Suppose -7 = p*l + 1, -3*f - l = -79. Does 10 divide f?
False
Let j be 1/(-2) + (-42)/(-12). Let a be (-376)/(-10) - j/5. Let d = 0 + a. Does 15 divide d?
False
Suppose 3*z - 8*z = 0. Suppose z = 2*f + u - 3*u + 22, -5*u = -2*f - 34. Let t = f - -59. Is t a multiple of 13?
True
Let s = 16 + 80. Suppose 5*a - a = s. Is a a multiple of 6?
True
Suppose -5*h + y = -1311, -1046 = -5*h + h - 2*y. Is 11 a factor of h?
False
Let n(f) = -f**3 + f**2 + f + 1. Let h(p) = -4*p**3 - p**2 + 13*p + 13. Let s(d) = -h(d) + 3*n(d). Is s(-5) a multiple of 8?
False
Suppose 28*w + 2*x = 23*w + 16722, 2*x = 3*w - 10046. Is 14 a factor of w?
True
Suppose 0 = 2*t + 3*u - 77, 5*t - u = 205 - 21. Does 3 divide t?
False
Let g be (-1905)/(-20)*-1*(-1 + -3). Suppose -16*q = -13*q - g. Does 14 divide q?
False
Let u(l) = l**3 + 9*l**2 + 9*l + 3. Let r be u(-8). Let i(y) = 4*y - y + 5 + 4*y**2 + 2*y**2 - 4*y**2. Does 8 divide i(r)?
True
Let v(q) = -62 + 9*q + 35 + 34. Does 35 divide v(7)?
True
Let g = 40 - 18. Let o = g - 13. Let k = o + -3. Does 6 divide k?
True
Let p = -997 + 1920. Is 71 a factor of p?
True
Let c = -41 + 31. Is 16 a factor of (-15)/c*1*36?
False
Let x = -3765 + 6561. Suppose 0 = 12*w - 0*w - x. Is 40 a factor of w?
False
Let g = -6 - 0. Is 33 - 3/g*-2 a multiple of 7?
False
Let h(m) = m - 6. Let n(l) = -1. Let f(w) = h(w) + 2*n(w). Let k be f(11). Let g(j) = 6*j + 3. Is 7 a factor of g(k)?
True
Let w be 10/(-6)*(-9)/(-3). Let m(l) = 2*l**2 - 11*l + 2. Does 17 divide m(w)?
False
Let n(b) = b + 1. Let v be n(-3). Let s be (-4)/10 - 6/10. Is 8 a factor of 34 + (v - -1) + s?
True
Let g = 9 + 56. Let b = -61 + g. Is b even?
True
Let c(h) = -h**3 + 8*h**2 + 3*h + 9. Let l be c(8). Suppose 7*i = -2*i + 63. Suppose i*r - l = 51. Is r a multiple of 3?
True
Suppose c + 0*c = 2*p, -2*p = c + 12. Let z be ((-9)/c - 0)*2. Let o = z - -4. Is 3 a factor of o?
False
Let u = 2168 - 219. Is u a multiple of 22?
False
Suppose 0*r = -8*r + 1088. Suppose 0 = 3*y - 0*y - 2*v - r, -196 = -4*y - v. Suppose -2*n + k = -3*k - y, -k = 1. Does 4 divide n?
False
Let g(u) = 3*u**2 + 4*u - 8. Let q be g(4). Suppose 0 = 2*h + 2*a + q, 2*h - 2*a + 69 = -h. Is 9 a factor of (15/h)/(3/(-90))?
True
Let f = -118 + 238. Is 12 a factor of f?
True
Suppose -47 = -3*k + 19. Suppose k*a - 60 = 20*a. Does 30 divide a?
True
Let k = 718 - -85. Let p = -442 + k. Suppose 0 = 4*z - s - p, 1 = 5*s + 6. Is 18 a factor of z?
True
Let m = 1109 - 762. Let i = m - 203. Suppose h - i = -h. Is 24 a factor of h?
True
Suppose -4*g + 1 = -11. Suppose -2*f = 5*c - 380, -5*c + 380 = g*f - 6*f. Does 17 divide c?
False
Let x = -12 + 12. Suppose x = 5*l - 25. Suppose -l*v + 10 = -3*v. Is 2 a factor of v?
False
Let h(w) = 46*w - 16. Is h(4) a multiple of 21?
True
Suppose 2*z - 10 = 2. Suppose -94 - 56 = -z*h. Is 11 a factor of h?
False
Let y(g) = -19*g - 20. Let z = 63 + -68. Is y(z) a multiple of 15?
True
Let z = 41 - 43. Let y(c) = -c**3 - 2*c**2 - c. Let m be y(z). Suppose w - 1 = m. Is w a multiple of 2?
False
Suppose 2*k = -5*s - k + 685, 0 = 2*k. Let r = 39 - s. Let p = -53 - r. Does 10 divide p?
False
Let x(m) = -m + 14. Let y be x(12). Suppose -2*r = -3*o + 336, -y = -r + 1. Does 19 divide o?
True
Let w(g) = 13*g + 3. Let r be w(-3). Let n = 115 + r. Is 14 a factor of n?
False
Let p(v) = -v. Let o(i) = -4*i - 12. Let k(z) = o(z) + 2*p(z). Suppose 2*w - 5*d + 15 = 0, -2*w - 6 = 2*d + 2. Does 6 divide k(w)?
True
Suppose -1509 = -39*t + 36*t. Is t a multiple of 23?
False
Let f = -57 + 67. Suppose 4*y - f = -3*o + 199, -260 = -5*y - 4*o. Is y a multiple of 14?
True
Let w(r) = -r + 3. Let z(h) = -5*h + 11. Let g(t) = 26*w(t) - 6*z(t). Is 10 a factor of g(7)?
True
Let x(m) = 20*m - 3. Let p be x(2). Suppose -3*g - p = -r - 4*g, r = 2*g + 22. Does 14 divide r?
False
Suppose 0*o - 2*o + 854 = 4*l, 4*o = -l + 1715. Does 13 divide o?
True
Suppose 0 = 10*m + 1351 - 3771. Does 8 divide m?
False
Suppose 3*o = -12*o + 3315. Suppose 0 = 8*w - o - 1139. Does 30 divide w?
False
Suppose 0 = -y - 1, 2*y = k - 7 - 0. Suppose 0 = -k*a + 3*a. Suppose a*n + 5*n - 160 = 0. Does 14 divide n?
False
Let s = 1 + 6. Is (120/(-2))/(s/(-7)) + 1 a multiple of 19?
False
Suppose 8 = -2*k, -4*a + 5*k - 120 = a. Let g = a - -26. Does 12 divide 52/(g + 4) - 2?
True
Let y be ((-3 - -3)/4)/(-3) + 21. Let s = -80 + 129. Let z = s - y. Is 14 a factor of z?
True
Suppose -3*a = -7*a + 4, -y + a + 25 = 0. Let f = y - 7. Is f a multiple of 17?
False
Let w(v) = -3*v - 4. Let q be w(-4). Suppose 5*l - 3 = -q. Is (-156)/(-30) + l/5 a multiple of 2?
False
Let k(o) = 14*o**3 - 2*o**2 + 24*o + 14. Does 7 divide k(5)?
True
Let c = -10 - -10. Suppose c = -0*s + 4*s + 12. Does 15 divide (-4 - (s + 5))*-5?
True
Suppose s - 18 = 6. Suppose 0 = -3*b - b - s. Let z(t) = 2*t**2 + 4*t + 9. Is 9 a factor of z(b)?
False
Suppose -24 = 3*w + 165. Let z(p) = 2*p. Let r be z(1). Is 3/(3/r) - w a multiple of 13?
True
Let n(v) = v**3 + 4*v**2 - v + 7. Let h be (15/6)/((-4)/8). Let q be n(h). Let i = 2 - q. Does 3 divide i?
True
Let w(f) = 7*f - 17. Let u be w(3). Suppose u*b - 80 = 2*b. Does 5 divide b?
True
Let q = 1523 + -607. Does 17 divide 2/(-10) + q/5?
False
Suppose 72 = 3*y + y. Let m = 21 - y. Suppose m*r - 62 + 8 = 0. Is r a multiple of 11?
False
Suppose 37 - 11 = 2*f. Suppose 0 = -4*j - 4, f = -2*h - 2*j + 41. Is h a multiple of 5?
True
Suppose 4*y - 2*r = -3*r + 555, -5*y + 4*r = -720. Does 14 divide -5*(y/(-4) - 2)?
False
Let s(h) be the second derivative of 4*h + 0 + 1/12*h**4 + h**2 - 11/6*h**3. Is s(11) a multiple of 2?
True
Is 15 a factor of -79*(0 + -1)*2?
False
Suppose -9384 = 11*b - 34*b. Does 6 divide b?
True
Is 9 a factor of 43 + 1716 + (-1 - 4)?
False
Let p(l) = 180*l - 65. Does 10 divide p(5)?
False
Suppose 2*n + 0*n + 5*i = 218, -102 = -n + i. Is 13 a factor of n?
True
Suppose 5*u = 4*l + 1300, 23*l = -2*u + 25*l + 518. Is 24 a factor of u?
True
Let v be (-2)/(1 - (-12)/(-8)). Let q be (v/3)/((-20)/(-150)). Suppose 7 = z - q. Is z a multiple of 5?
False
Suppose y = 5*u + 15, u - 4*u = -2*y + 9. Suppose -4*h + 413 + 83 = y. Is h a multiple of 28?
False
Let x = -55 + 32. Let m = 18 + x. Let i(d) = -4*d + 1. Does 3 divide i(m)?
True
Let i be 4/2 + 96/2. Suppose 602 = 21*j - 14*j. Let y = j - i. Does 25 divide y?
False
Suppose 0 = -16*f + 7 - 71. Does 14 divide 15*4 - (-16)/f?
True
Suppose 4296 = 19*v - 1404. Does 6 divide v?
True
Let b(m) = -m**3 + 63*m**2 - 72*m**2 + 6*m + 2*m**3. Is b(9) a multiple of 10?
False
Let c = -19 + 22. Suppose 0 = -4*p - 2*l + l + 42, -c*p = 3*l - 36. Is 3 a factor of p?
False
Suppose 4*k - 3*k - 166 = 2*y, 0 = 5*k - 2*y - 806. Is k a multiple of 40?
True
Let q(t) = t**3 - 11*t**2 - 10*t - 56. Is 19 a factor of q(13)?
True
Let a be 56/16*(4 + -2). Suppose -a*y + 5*y + 8 = 0. Is 4 a factor of y?
True
Let t be (-3)/(3*3/(-120)). Suppose 0 = -4*a - 4*x + t, -2*a - 16 = -4*a - 4*x. Let d = 23 - a. Does 9 divide d?
False
Let t = -1100 - -2623. Does 13 divide t?
False
Suppose