se 30*g - 14*g = 8784. Is 13 a factor of g?
False
Suppose -1031 = 4*s - 2987. Does 14 divide s?
False
Let a be (-813)/9 - 20/30. Let w = -3 - 155. Let l = a - w. Is 19 a factor of l?
False
Suppose 5*z = -0*m + 2*m - 19, 3*z = 3*m - 15. Suppose 5*b - 3*v - 597 = 0, -4*b + 486 = 3*v + 30. Suppose -d + b = m*d. Is d a multiple of 19?
False
Suppose -4*l + 10 = v - 0*l, v - 3*l = -11. Let o be (3/2 + -3)*v. Suppose -4*n - 7 = -g, -o*n = -g - 6*n + 14. Is 5 a factor of g?
False
Let f = 4416 + -744. Is 17 a factor of f?
True
Suppose -2*h - 835 = -y, y + 3*h + 279 = 1124. Does 19 divide y?
False
Suppose -h - 8 - 2 = -4*n, -3*h - 5*n + 4 = 0. Let w(a) = -45*a - 1. Is 18 a factor of w(h)?
False
Let i(w) = 12*w - 2. Let c(v) = -v**3 - v**2 + v + 1. Let l(t) = 4*t**3 + 3*t**2 - 5*t + 3. Let m(s) = 5*c(s) + l(s). Let b be m(0). Does 20 divide i(b)?
False
Let a(u) = 7*u**2 + 2*u. Let f = 0 + 2. Does 8 divide a(f)?
True
Suppose 0 = y + 2*y + 5*v + 14, 2*y = -v. Suppose 0*b + 90 = 5*n - b, -41 = -3*n - y*b. Is 17 a factor of n?
True
Suppose 4*r - 2*b = 1344 + 1302, 0 = 2*r + 4*b - 1338. Let d = r - 455. Is 8 a factor of d?
True
Let y = 277 - 186. Is 91 a factor of y?
True
Let g(v) = v**3 + 5*v**2 - 6*v + 4. Let o be g(-6). Let r = -38 - o. Is r/2*(-8)/6 a multiple of 14?
True
Let l(c) = c + 2*c - 2*c + c. Let a(i) = -1. Let r(w) = 10*a(w) + 2*l(w). Does 10 divide r(10)?
True
Suppose l - 1269 = -8*l. Is l a multiple of 11?
False
Let i = 129 - -23. Suppose 0 = 11*g - 7*g - i. Is 19 a factor of g?
True
Suppose -4*m = -1 - 11, 0 = -4*g + 3*m + 6163. Is 7 a factor of g?
False
Let c(y) be the third derivative of y**5/60 + 17*y**4/24 + 9*y**3/2 + 9*y**2. Is 11 a factor of c(-17)?
False
Let c(l) be the third derivative of l**6/60 - 7*l**5/60 + l**4/4 + 2*l**3/3 - 24*l**2. Does 10 divide c(5)?
False
Suppose 3*l = l - 5*c + 451, -5*l - 2*c + 1138 = 0. Is 2 a factor of l?
True
Suppose 4*v + 2 = -2, -3*z - 2*v + 43 = 0. Let u be (-30)/(-9) - (-10)/z. Is 8/(-3 - (-13)/u) a multiple of 6?
False
Suppose -189*k + 182*k + 84 = 0. Is 6 a factor of k?
True
Suppose 191 = 5*o - 589. Is 78 a factor of o?
True
Let o = -102 + 147. Suppose -9*m + o = -4*m. Does 6 divide ((-114)/m)/((-2)/3)?
False
Let d = -209 - -262. Does 17 divide d?
False
Suppose -2*u - 3*h + 207 = u, 0 = 4*u + 3*h - 280. Let z = u - -15. Is z a multiple of 15?
False
Let b = 124 - 75. Let o be (-427)/b + (-4)/14. Does 7 divide 2/o - 128/(-9)?
True
Let z(y) = -14*y**3 - 3*y**2 + 4*y + 2. Let f be z(2). Let t = -67 - f. Does 11 divide t?
False
Let s(f) = -f**2 + 3*f + 8. Suppose 0 = r + 5*h + 5, -5*r = -0*h + 4*h - 17. Suppose -4*k = -3*q - 5 - 14, 5*q = -r*k + 15. Is s(k) even?
True
Let f = 469 + -209. Is 52 a factor of f?
True
Let p be 3/(-18) - 57/(-18). Let h(b) = 9 - 6*b**2 - 2 + 7*b**2 - 4*b**3 + 5*b**p. Is 7 a factor of h(0)?
True
Let k = 91 + -91. Suppose 0 = -k*p - 7*p + 1015. Is 31 a factor of p?
False
Suppose 0 = 5*p - 2*m + 44, -32*p - 30 = -29*p - 3*m. Let o be 1*1*-1*-89. Let l = o + p. Is l a multiple of 12?
False
Let p(g) = 938*g**2 - 20*g - 20. Is 35 a factor of p(-1)?
False
Let o = 345 - 205. Is 20 a factor of o?
True
Let l(r) = 170*r - 2 + 2*r - 1 + 65*r. Is 13 a factor of l(1)?
True
Let s(o) = -3*o - 9. Let b be s(-7). Suppose 3*j + 3*g - b = 0, 5*j = j - 3*g + 14. Suppose -4*f = -5*h - 116, -4*h + 6 = f - j. Is 6 a factor of f?
True
Suppose 2*z + p - 6 = -0*z, 13 = z - 2*p. Let c(f) = 8*f + 6. Does 5 divide c(z)?
False
Let t be 1/1 - (184 - 3). Let f = -63 + 155. Does 23 divide t/24*f/(-6)?
True
Let g(k) = 2*k - 8. Let a be g(-8). Let w = 57 + a. Is 11 a factor of w?
True
Suppose 13*o - 3*o = 660. Suppose 5*u = 4*u. Suppose u*d + o = 3*d. Is 22 a factor of d?
True
Suppose 34*a - 554 = 32*a. Does 25 divide a?
False
Is 4/16 - (1113/(-12) + 3) a multiple of 10?
True
Let d(m) = 3*m**2 + 27*m + 96. Is 14 a factor of d(-17)?
True
Suppose 15*p + 164 - 16214 = 0. Is p a multiple of 13?
False
Suppose -2*c - 2*q = 3*q - 442, 5*c - 2*q - 1047 = 0. Let y = -5 + c. Is 14 a factor of y?
False
Suppose 22*w - 28 = 15*w. Is -1 - ((8 - w - 323) + 1) a multiple of 11?
False
Suppose 3*j - 2950 = -2*d, -12*j = -9*j + 5*d - 2965. Is j a multiple of 20?
True
Suppose -3*m + m = 3*v - 57, 5*m - 3*v = 90. Does 7 divide m?
True
Let f be 0/(-2*(-3 + 2)) - -2. Suppose -b + 498 = b + f*w, -3*w - 488 = -2*b. Is b a multiple of 14?
False
Let a(l) = -l**3 - 5*l**2 + 16*l + 10. Let t be a(-7). Let p be (t/(-2))/(1 - 3). Is 19 a factor of (-60)/p + 0 - -3?
False
Let a = 156 - 84. Is 36 a factor of a?
True
Let s = 4460 - 1746. Is s a multiple of 40?
False
Let m be 7 - 3*(-4)/(-6). Suppose -m*n - 4*c = -636, 2*c + 104 = n - 3*c. Does 25 divide n?
False
Let p(u) = u**2 + 3*u - 4. Let v be p(-5). Suppose -j + 4*x + 40 + v = 0, 65 = 2*j + x. Let s = j - 16. Is s a multiple of 8?
False
Suppose -4*f = -13 - 103. Let l = f + -7. Is l a multiple of 12?
False
Let n = 539 + -44. Does 41 divide n?
False
Suppose 0 = 2*z + 2*x - 10778, 2*z + 39*x - 10781 = 40*x. Does 49 divide z?
True
Suppose 4*h - 5*s = 33, -s - 4 - 1 = 0. Suppose 0 = -h*o - 3*d - 3, -2*o - 5*d - 12 = -o. Suppose 0 = 4*l - m - 77, -4*m + o = l - m. Is 6 a factor of l?
True
Suppose 0*c - 5*a = 4*c - 45, 5 = -4*c + 5*a. Is 17 a factor of (-5 - 44/(-10)) + 793/c?
False
Is (-2)/(-12)*2*(-120)/(-10) a multiple of 2?
True
Let b = -26 - -27. Suppose 0 = -u + 3*y + 7 + b, y = -4*u + 6. Suppose u*h + 0 - 6 = -m, h + 5*m - 3 = 0. Does 3 divide h?
True
Suppose k + 3 = 2*o - o, o - 3*k - 1 = 0. Suppose -72 = -2*i + 4*p, 29 + 3 = i + 2*p. Suppose -t + 21 = 2*l, 7*l = 4*l - o*t + i. Is 3 a factor of l?
False
Let h = -335 + 559. Does 14 divide h?
True
Let k(i) = 4*i - 5. Let w(t) = 9*t - 11. Let g(d) = 7*k(d) - 3*w(d). Let m be g(2). Suppose 4*j + m = -16, 2*j = 4*o - 216. Does 26 divide o?
True
Let u(v) = -15*v. Suppose -5*y + 2*z + 2 = -7, y + 3*z = -5. Let c be u(y). Let m(g) = g**2 + 13*g - 17. Is 13 a factor of m(c)?
True
Let o(y) = -y**3 + 9*y**2 + 10*y + 12. Let r be o(10). Suppose r*i = -2*i + 266. Is i a multiple of 3?
False
Let c be 1/5 - 280/25. Let t(m) = -m - 8. Let d be t(c). Does 10 divide (-2 - d*-2)*6?
False
Let w = 837 - 749. Is w a multiple of 4?
True
Let y = -184 + 692. Does 35 divide y?
False
Suppose 4*c + 39 = 2*j - 741, -j + c = -391. Is j a multiple of 4?
True
Is 10 a factor of -12*(-52)/(-18)*(-297)/12?
False
Suppose -5*i + w = -21, 11*w - 6*w - 40 = -4*i. Let a(o) = -36*o - 3. Let r be a(-9). Suppose -r = -i*z + 94. Is z a multiple of 18?
False
Let o be 1 + (4 - (2 + 2)). Suppose 0 = -4*k - 2*f + 12, -4*k + 5*f = o + 1. Suppose 3*x + 11 = 5, -k*i - x = -136. Is i a multiple of 23?
True
Suppose -5*j - 3*h = -2172, 3*h + 412 = j - 2*h. Let r = j - 300. Is r a multiple of 12?
True
Suppose n - 5*n - 2*u = 0, 4*n - 4 = -3*u. Is 4/(-6 - n) + 33 a multiple of 16?
True
Is 7 a factor of 10 - (-29 + 5) - -8?
True
Suppose -2*f = -2*s - 972, 3*f = 4*s + 720 + 735. Is f a multiple of 72?
False
Suppose -2*u + 7 = -u. Does 5 divide (15 - -1) + (u - 7)?
False
Let v(k) = -2*k**2 + 12*k + 8. Let g be v(8). Let t = g + 37. Suppose t*l - 9*l - 272 = 0. Is l a multiple of 36?
False
Suppose -21*a - 820 = -16*a. Let t = 411 + a. Is 22 a factor of t?
False
Let z = 9 - -5. Let a(n) = 14*n**2 + n**2 - n**3 + 1 - 12*n - 7. Does 9 divide a(z)?
False
Suppose -3*p + 3*a + 1797 = 0, -737 = -2*p + a + 462. Is p a multiple of 12?
True
Suppose 0 = -3*t + 2*g + 10, t + 5*g = 4*t - 7. Suppose 0 = t*a - 13 - 7. Is 5 a factor of a?
True
Suppose u = -0 + 95. Is 3 a factor of u?
False
Suppose 3*f = -5*r + 522, r - f = -4*f + 102. Is 35 a factor of r + 0 + (-5 - -2)?
False
Suppose 68 = -2*c - 4*r, -5*r + 0*r + 71 = -4*c. Let s = 41 + c. Is s a multiple of 4?
False
Suppose -4*t + 2*l + 0 = -12, -5*l = -2*t - 10. Suppose -5*u - 2*s - s + 34 = 0, t*u + 2*s = 31. Does 15 divide 206/u + (-8)/(-10)?
False
Let u = 13 - 12. Let b be (-10)/(2 - u/1). Let w = -6 - b. Is 3 a factor of w?
False
Is 4 a factor of 1/1 + 69/3?
True
Does 20 divide (-368)/(24/(-12)) + -4?
True
Is 27 a factor of 9/((-2)/28*(-13)/39)?
True
Let x be (-3 + 12)/(-3) + 8. Suppose 5*w = 3*w - b + 397, -x*w = -5*b - 1015. Is w a multiple of 40?
True
Let g = 89 + -40. Suppose -3*a = -4*y + 261, -4*a + 2*y - 407 = -g. Let m = -49 - a. Is 14 a fa