 30*y**2 + 2*y - 1. Let l be b(1). Let w be l/((-2 - -5)/(-3)). Is 4 a factor of w/(-4) + 4/16?
True
Suppose r - 2*r = -2, 511 = 5*d - 2*r. Suppose -4*b + 4*c - 205 = -c, 3*c = 2*b + d. Let q = -34 - b. Is 10 a factor of q?
False
Let m = -4 - -4. Suppose -c - 4*i - 41 = m, -2*c + 3*i - 4*i = 68. Is 15 a factor of (4 + -1)/((-3)/c)?
False
Let k(u) be the third derivative of -u**5/60 + u**4/3 + u**3/6 - u**2. Is 5 a factor of k(7)?
False
Let y = 180 - 126. Suppose 4*o + 22 - y = 0. Let p = o + 7. Does 5 divide p?
True
Let r(g) = 2*g + 3*g - 23*g + 13 - 19*g. Let d(v) = -18*v + 7. Let p(z) = 11*d(z) - 6*r(z). Is 9 a factor of p(1)?
False
Does 9 divide 3/(-1)*(-114)/18?
False
Suppose 3*i = -4*f + 4 + 19, -f = 4. Suppose -13 = -3*m + b, -m + i = 2*b + 2*b. Let z(u) = 7*u - 7. Is 14 a factor of z(m)?
True
Suppose -8*p = -3*p - 630. Does 35 divide p?
False
Suppose 0*u = -5*u + 260. Suppose 5*g = 5*l + 180, 0 = 3*g - 5*l - 56 - u. Suppose 2*n = -0*n + g. Is 18 a factor of n?
True
Suppose -4*p - 4*j = -268, -3*p - 2*j + 201 = -0*j. Suppose -23 = -3*m + 2*m - v, p = 3*m + v. Does 11 divide m?
True
Is 20 a factor of 1/(-2) + (-729)/(-18)?
True
Let z be 3/1 + 2 + -5. Suppose 0 = -z*d - 4*d + 104. Does 13 divide d?
True
Let x = 58 - 23. Does 8 divide x?
False
Suppose -2*h = -2*c - 64, -c + 67 + 9 = 3*h. Does 11 divide h?
False
Does 28 divide 224/(-12)*2*-3?
True
Let a(w) = 1 - 4*w + 3 + 4 + w. Is 7 a factor of a(-6)?
False
Let g be 552/10 + (-1)/5. Suppose 0 = 3*p - g - 44. Is 17 a factor of p?
False
Suppose 0 = -2*p + 7 + 3. Suppose p*r + m = 350, 2*m - 138 = 5*r - 473. Does 19 divide r?
False
Is (47 - 1)*189/54 a multiple of 15?
False
Let b(i) be the second derivative of i**6/180 + i**5/15 - 5*i**4/12 + i**3/2 + i. Let u(n) be the second derivative of b(n). Is 16 a factor of u(-7)?
True
Let o = -3 - -6. Suppose 5*a = -o*m + 2, -a + 4*m = 22 - 4. Let h(w) = -2*w**3 - 3*w**2 - 2*w. Is 3 a factor of h(a)?
False
Is 26 a factor of 104*4*(-3)/(-24)?
True
Suppose 51 = -i - 2*i. Let g = -11 - i. Is 6 a factor of g?
True
Suppose 2*o - 216 = 4*l, 540 = 5*o - l + 3*l. Is 12 a factor of o?
True
Suppose -7*z + 45 = -2*z. Is z a multiple of 4?
False
Let g(i) = i**2 + 7*i + 6. Let b be g(-6). Does 29 divide 30 - b/(-3)*1?
False
Suppose 14*h + 1126 = 3576. Does 23 divide h?
False
Is ((-21)/(-2))/((-5)/2 - -3) a multiple of 6?
False
Let k(s) be the second derivative of -39*s**5/20 - s**3/6 - s. Is k(-1) a multiple of 20?
True
Let n be 348/16 - (-1)/4. Suppose -2*g = -4*g + 5*k + 7, 4*k - n = -3*g. Is g a multiple of 5?
False
Let p(i) be the third derivative of i**4/24 + 4*i**3/3 + 3*i**2. Does 5 divide p(9)?
False
Let t = 184 - -161. Suppose 96 = -5*h + 3*y + t, 2*h - 100 = y. Does 19 divide h?
False
Let a = 12 - -2. Let x = 2 + a. Is 8 a factor of x?
True
Let s(y) = y**3 - y**2 - y + 1. Let u(r) = r + 3. Let v be u(-2). Let x be s(v). Suppose x = 5*j - 99 + 29. Is j a multiple of 5?
False
Let q(x) = 2*x**2 + 8*x. Let z be q(7). Suppose -b - 4*b + z = 4*t, -t = -4*b + 140. Is 8 a factor of b?
False
Let j = 401 - 238. Is 11 a factor of j?
False
Suppose l = 6*l - 65. Let c = -8 + l. Is (1 - 0) + 4 + c a multiple of 5?
True
Let z = -116 + 179. Does 21 divide z?
True
Suppose -3*b + 105 = -2*h, -2*h + 161 = -5*h + b. Let q = 112 + h. Is 16 a factor of q?
False
Let i(m) = -m**3 + 9*m**2 + 12*m - 5. Let w be i(10). Suppose u = 6*u - w. Is u a multiple of 3?
True
Let z(v) = 62*v - 1. Is z(1) a multiple of 16?
False
Suppose 2*v - 38 = 2*u, -v = -0*v + 5*u - 31. Suppose 0 = 3*q + 3*t - 3, -3*q = 2*t + 2*t - 5. Let x = v + q. Is x a multiple of 10?
True
Suppose 0 = -5*y + 118 + 162. Suppose 0 = t - 3*t + y. Is 14 a factor of t?
True
Suppose -3*k - 136 = -c, 0*c - 4*k + 496 = 4*c. Let b = c - 60. Suppose 4*q - b = 1. Is 9 a factor of q?
False
Suppose 5*v = 3*g + 63, -g - 37 = v - 4*v. Does 12 divide v?
True
Is (-2)/((-6)/(-195)*-1) a multiple of 15?
False
Suppose -5*h - 45 = -k + 32, -148 = -2*k + 4*h. Is k a multiple of 18?
True
Let t(x) = -3*x**3 + x**2 - 9*x + 3. Let i(w) = 8*w**3 - 4*w**2 + 26*w - 8. Let l(g) = 4*i(g) + 11*t(g). Does 7 divide l(-6)?
True
Let j(v) = v**3 + 6*v**2 - 2*v - 7. Is 2 a factor of j(-6)?
False
Let n(j) = 5*j + 1. Let f be n(3). Let k = 2 + f. Does 9 divide k?
True
Suppose -5*k + 46 = -4. Is k a multiple of 2?
True
Suppose -4*o + 430 = 2*f, 3*o - 409 = -5*f - 69. Is 35 a factor of o?
True
Let d be (-204)/(-54) + 4/18. Let n = 8 + d. Does 4 divide n?
True
Let s be (-2)/4 + (-2)/(-4). Let k be s/(3 - 0) - -14. Let o = k - -2. Does 8 divide o?
True
Let b = 296 + -170. Does 20 divide b?
False
Is 274/6 - 12/18 a multiple of 5?
True
Let y be 3*((-102)/(-9) - -2). Suppose -3*c = 2*c - y. Is c a multiple of 8?
True
Suppose -20 = -3*w - 2*w. Is 3 a factor of (56/(-12))/(w/(-6))?
False
Let f(d) = d**3 + 12*d**2 + 12*d + 13. Let x be f(-11). Suppose -x*t + 5*w + 14 + 5 = 0, 5*t - 5*w = 55. Let o = t - -2. Is 6 a factor of o?
False
Suppose 0 = 4*g + 5*b - 469, -2 = -5*b + 3. Does 11 divide ((-2)/4)/((-2)/g)?
False
Suppose 0*h - 2*h + 8 = 0. Does 9 divide 32 - (1 + -3 + h)?
False
Let m = 89 + 19. Is 15 a factor of m?
False
Let h = 10 + -6. Suppose h*a + t = 36, 5 = 5*a + 2*t - 43. Suppose 2*j + 4*p = j - a, -33 = -4*j - 3*p. Is j a multiple of 10?
False
Let u = -65 + 117. Is u a multiple of 12?
False
Let u(v) = 8. Let i(b) = -b - 17. Suppose 4*d - 2 = -22. Let f(l) = d*u(l) - 2*i(l). Does 7 divide f(10)?
True
Let c(t) = t**3 + 15*t**2 - 18*t - 22. Does 2 divide c(-16)?
True
Let s = 7 + -5. Suppose -2*o + 59 = 5*f, 5*f + 20 = s*o - 89. Suppose -41 = -2*v - 3*t, 0*t = -3*v + 2*t + o. Is 9 a factor of v?
False
Let n(q) = -q**3 - 15*q**2 - 13*q + 20. Let v be n(-14). Let k = v - 0. Does 6 divide k?
True
Suppose -6 = j + 9. Let b = j - -8. Let a(w) = w**2 + 7*w + 10. Does 10 divide a(b)?
True
Let j(d) = -d**3 + d**2 + d + 103. Is j(0) a multiple of 6?
False
Suppose q = 2*p - 7, q - 22 = -3*p - 4. Suppose 0 = q*x + 6, 120 = -w + 5*w + 4*x. Is w a multiple of 12?
False
Suppose -2*h = -0*h - 28. Is 14 a factor of h?
True
Let a be 2/(-8) + (-219)/(-12). Suppose 0 = -3*w + 2*s + 87, w + 3*s = -0*w + a. Let t = w - 8. Does 11 divide t?
False
Let a(z) = -z + 3. Let r be a(-7). Suppose -x = -2*x - 3*w, 5*x = -w - 14. Is 9 a factor of x/2*-1*r?
False
Suppose u - 93 = -p, -3*p - 4*u + 291 - 9 = 0. Does 15 divide p?
True
Let c be 13/2 + (-1)/2. Let r = c - -67. Suppose -4*q + 3*t + r = -2*t, 85 = 5*q - 5*t. Is 12 a factor of q?
True
Is 6/(-2) + 42/2 a multiple of 4?
False
Suppose t + 1 = 2*t. Suppose -4*d = -3*u + t - 9, 6 = 3*d - 3*u. Is (-33)/(-6) + (-1)/d a multiple of 5?
True
Let i(w) = 13*w + 11. Is 16 a factor of i(7)?
False
Suppose 9*o = 192 + 600. Is o a multiple of 12?
False
Let u(f) = f**3 - 6*f**2 - 7*f - 7. Let q = -4 + 11. Let y be u(q). Let i = y - -31. Is i a multiple of 19?
False
Let v(z) = 2*z**3 - 7*z**2 + 6*z + 5. Let u(l) = 8*l**3 - 28*l**2 + 25*l + 20. Let p(h) = -2*u(h) + 9*v(h). Is 21 a factor of p(4)?
False
Let q = 37 + -16. Is q a multiple of 4?
False
Let y(g) = g + 1. Let z be y(-4). Is 2 a factor of 0/((-2)/2) - z?
False
Let a = -4 + 4. Suppose -3*c + a*c + 3*j = -3, 0 = 4*c + j - 24. Let u = c + 27. Is 11 a factor of u?
False
Suppose -19*h = -16*h - 306. Is 28 a factor of h?
False
Suppose 11 = 3*y - 1. Let f(d) = 2*d**2 + 2 - y + 0*d - 8*d. Is f(6) a multiple of 11?
True
Let q = -2 + 6. Suppose 2*i + q*w = 26 + 2, -3*i + 2*w + 66 = 0. Is 18 a factor of i?
False
Let g be (-6)/(3 - 46/14). Is 7 a factor of (-3 - g/(-9))*-21?
True
Suppose 5*w = 6*w - 8. Does 2 divide w?
True
Let u = 141 - 88. Is 26 a factor of u?
False
Let x = -7 + 10. Suppose 5*s + 4*q - 52 = s, 44 = x*s - 2*q. Is s a multiple of 6?
False
Let x = -90 - -180. Suppose -x = -2*y - 3*y. Is y a multiple of 7?
False
Suppose 5*k + 19 = 119. Is k a multiple of 2?
True
Suppose 4*p - 29 = -3*y, 0*p - y - 17 = -4*p. Let i(j) = -j + 3. Let s(v) = -v + 3. Let u(m) = p*s(m) - 6*i(m). Is u(9) a multiple of 3?
True
Suppose -5*r + 1 - 21 = 0. Let c = 14 + r. Does 10 divide c?
True
Let w(o) = -o. Let i be w(-3). Suppose 0 = -i*v + 21. Let l = 11 - v. Does 2 divide l?
True
Suppose -100*z + 95*z = -430. Does 7 divide z?
False
Suppose -25 = -5*o, 1 + 28 = -3*c + 4*o. Let s = c - -7. Is s a multiple of 4?
T