= s**3 - 4*s**2 + 3. Let l be r(4). Suppose 0 = l*w - 6, -j + 3*w + 31 = 7. Does 20 divide j?
False
Let r(j) be the first derivative of j**3 + j**2/2 + j - 3. Is 2 a factor of r(-1)?
False
Let x = -1 + 2. Is 11 a factor of (-2)/x*1 - -13?
True
Does 16 divide 1 + 15/(-12) - (-942)/24?
False
Let i = 4 + -4. Let x(m) = m**2 + m + 224. Let l be x(i). Suppose 29 = -5*k + l. Is k a multiple of 13?
True
Suppose -5*o = -5*u - 110, -u = 4*o + 2*u - 102. Suppose -k = 4*g - 34, 3*g + 6 - o = 3*k. Is g a multiple of 7?
False
Let z = 8 - 5. Suppose 5 = z*q - 16. Is q a multiple of 7?
True
Suppose u - 297 = -2*u. Does 38 divide u?
False
Suppose -5*x + 4*c - 13 = -84, 3*x - 4*c - 41 = 0. Is x a multiple of 15?
True
Let w be 3*((-84)/9)/4. Let t = 57 + w. Is t a multiple of 20?
False
Suppose 3*c - 47 = -14. Suppose 2 = 3*a + 2*q + c, 5*a + 14 = -3*q. Let d = a + 10. Is 4 a factor of d?
False
Suppose -10*z + 232 = -6*z. Let y = z - 25. Does 10 divide y?
False
Suppose u + b = -4*b - 71, 2*u + 4*b = -124. Let n = 84 + u. Does 14 divide n?
True
Let a = 5 - 0. Suppose -41 = a*i - 131. Does 9 divide i?
True
Suppose 4*c - 5*z - 208 = 0, c - 73 = -0*z - 4*z. Does 19 divide c?
True
Does 25 divide 2/6 + (-672)/(-9)?
True
Let s(w) = -w**3 - 3*w**2 + w - 5. Suppose 5 = -2*f - 3. Is 7 a factor of s(f)?
True
Suppose -28 = -5*d - 8, -3*d + 222 = 3*c. Suppose -19*u = -21*u + c. Does 12 divide u?
False
Let t = -2 - -4. Suppose -k + t = 4. Is 11 a factor of k/(-8) + (-206)/(-8)?
False
Suppose -3*h + 7 = 1. Suppose 5*d - h*z - 212 = d, -5*z - 224 = -4*d. Is d a multiple of 20?
False
Let p(u) be the second derivative of -u**4/12 + 11*u**3/6 + 9*u**2/2 + 17*u. Let m(z) = z**3 + 2*z - 3. Let t be m(2). Is p(t) a multiple of 12?
False
Let f(i) = -2 - 3 + 54*i + 4. Let b be f(1). Suppose -19 = -2*h - 3*z - 0, 4*h + z - b = 0. Does 7 divide h?
True
Let d be (8/12)/((-2)/(-6)). Let o = -65 + 139. Suppose -o = -4*q - d. Does 6 divide q?
True
Let g = -15 + 45. Is g a multiple of 5?
True
Let q(s) = -5*s + 0*s - 1 + s**2 - 2. Is 15 a factor of q(-4)?
False
Let i(r) = 2*r - 5. Does 3 divide i(4)?
True
Let f = 19 + -14. Suppose f*m + n = 2*n + 45, -4*m = 5*n - 65. Does 6 divide m?
False
Let y(p) = 26*p - 13. Is 11 a factor of y(5)?
False
Suppose 2*f - 3*u - 83 = 0, -3*f + f - 4*u = -76. Is 10 a factor of f?
True
Suppose -5*j + 0*j - 17 = -2*c, 3*j + 7 = 2*c. Let i(n) = -n**2 - 8*n + 7. Is i(j) a multiple of 22?
True
Suppose -54 = -4*l - 4*q + 66, 4*q = -2*l + 58. Is 5 a factor of l?
False
Let i = -16 - -10. Let l(h) = h**3 + 5*h**2 - 6*h + 4. Is l(i) a multiple of 3?
False
Suppose 3*q - 9 = -0. Does 10 divide (-3 - 10*-2) + q?
True
Suppose 8*b + 63 = 5*b. Let m = 30 + b. Does 9 divide m?
True
Let p = 305 + -212. Does 6 divide p?
False
Let w(v) be the second derivative of v**3/2 + 5*v**2/2 + 2*v. Is 22 a factor of w(6)?
False
Let g be (0 + 2)*2 - 1. Suppose -4*z + j + 236 = 0, -2*z + j - 286 = -7*z. Suppose f - 2*f = g*d - z, 26 = d - 3*f. Is d a multiple of 10?
True
Let q = 20 + -33. Let w = 51 + q. Is 19 a factor of w?
True
Let m(i) = -2*i + 8. Let f be m(-6). Suppose 0 = -a + x, -4*x = -8*x + f. Suppose a = 3*k - 1. Is k even?
True
Let q = 644 + -439. Is q a multiple of 60?
False
Does 22 divide ((-88)/(-6))/((-38)/(-57))?
True
Suppose -2*v + 8*v = 180. Is (-288)/(-5) - 18/v a multiple of 19?
True
Suppose 2*h + r = 5*h - 17, -22 = -4*h + 2*r. Let v(m) = m. Is v(h) even?
True
Let o = 111 - 60. Is o a multiple of 20?
False
Let h = 0 - -3. Let k(n) = 65*n. Let j be k(h). Suppose 0*b + b - a - 39 = 0, -5*b + j = 3*a. Is b a multiple of 13?
True
Let a(s) = 0*s**2 - 4*s + 4 - s**2 + 3*s + 0. Let u be a(-4). Let w = 5 - u. Is 13 a factor of w?
True
Suppose 3*l - 4*k - 94 = -0*l, 0 = -5*l + k + 134. Suppose 2*j + 2*y = 32, -j = -3*y - 2 - l. Is 13 a factor of j?
False
Let w(b) = -b + 6. Let h(c) = c**2 - 8*c - 14. Let u be h(10). Let o be w(u). Suppose 5*q + t = 8, 5*q + 2*t + t - 4 = o. Is q even?
True
Let b(u) = u**2 - 5*u - 3. Does 10 divide b(9)?
False
Let p = 241 - 133. Does 36 divide p?
True
Let s(c) = c**2 - 6*c + 12. Suppose 2*x + 7 - 25 = 0. Is 13 a factor of s(x)?
True
Let g be (-94)/(-18) - 10/45. Let w = -8 + g. Let b(f) = f**2 + 3*f + 3. Is 3 a factor of b(w)?
True
Let m be (0/(1 - 0))/1. Suppose 5*o = 14 - 4. Suppose -o*i + 36 = -m*i. Is 9 a factor of i?
True
Let x(c) = -2*c**2 + 1 + c**2 - 9 - 18*c. Let v be x(-13). Let b = v - 39. Does 15 divide b?
False
Is (2/(-4))/((-14)/1288) a multiple of 5?
False
Suppose -y = -2*y - 90. Let c = -38 - y. Is 12 a factor of c?
False
Let x(g) = -g**3 + 8*g**2 + 8*g + 11. Let n be x(9). Let r(m) = -m**2 + 3*m - n - 5 + 4*m. Is r(5) a multiple of 3?
True
Let w(v) = -v**3 - 6*v**2 - 5*v + 3. Let a be w(-5). Is 13 a factor of 12 - a/(0 + -3)?
True
Suppose 3*y - 5*g - 127 = 0, 2*g + 83 = -3*y + 238. Is 7 a factor of y?
True
Let f(m) be the first derivative of m**4/4 + 13*m**3/3 - m**2/2 + 10*m + 3. Is 23 a factor of f(-13)?
True
Suppose -62 = -g + 5*r, 0*r + 232 = 5*g + r. Let s = g - 24. Does 9 divide s?
False
Let y(x) be the second derivative of -x**5/20 - 5*x**4/6 - 13*x**3/6 - 5*x**2 + x. Suppose h + 8 = -1. Is y(h) a multiple of 10?
False
Let x(d) = d + 1. Let s be x(5). Let g be 0/s - 3*-1. Is 29 - -1 - (g + -2) a multiple of 13?
False
Suppose -3*q = -7 - 5, -l = q - 4. Suppose 2*x - 128 = -2*x - 4*z, 3*x - 5*z - 136 = l. Does 12 divide x?
False
Let w be (42/9 - 1)*12. Let u = 17 + w. Does 26 divide u?
False
Let m(u) be the third derivative of 11*u**5/60 - u**3/6 + u**2. Let k be m(-1). Does 10 divide (52/k)/(2/10)?
False
Let h(o) = o**3 - 5*o**2 - 7*o - 5. Let j be h(7). Suppose 4*q - 5*q + j = 0. Does 15 divide q?
False
Let a(r) = r**3 - 6*r**2 - 8*r. Does 14 divide a(8)?
False
Suppose 11*j = 873 + 315. Is 5 a factor of j?
False
Let z(u) = 3*u**3 - 16*u**2 - u - 14. Does 20 divide z(7)?
False
Suppose 3*u = 2*u. Let h(f) = -f**3 + 8*f**2 + 3*f - 4. Let a be h(4). Suppose 5*q + 3*i + i - a = u, i = 3. Is 5 a factor of q?
False
Let r(q) = -30*q**2 - 2*q. Let x(f) = -f**2 - 1. Let p(m) = -r(m) + 2*x(m). Is 7 a factor of p(1)?
True
Suppose -3*f - 2*f - 3*k + 86 = 0, f + 5*k = 4. Is 2 a factor of f?
False
Suppose 0 = 3*l - 3*t - 930, -3*t - t = 8. Is l a multiple of 22?
True
Let y = -4 + 35. Let f = 55 - y. Is f a multiple of 8?
True
Suppose -3*h + 149 - 41 = 0. Is 10 a factor of h?
False
Let j be (-3 - -3)*(0 + -1). Let c(n) = -n**2. Let x be c(j). Suppose 0 = -5*p + 2*u + 50, x = -u - 2*u - 15. Does 4 divide p?
True
Suppose -x - 3*c + 31 = 4*x, 3*c = 5*x - 49. Suppose 2*i - x = -2*i. Is 9 a factor of ((-108)/30)/(i/(-10))?
True
Let d = 46 + -30. Suppose j = 3*o, -j - 2*o = -3*j + d. Is j a multiple of 6?
True
Suppose 0 = 5*h - 7*h + 96. Let g = 82 - h. Is g a multiple of 17?
True
Suppose 278 - 50 = 4*u. Is u a multiple of 5?
False
Suppose 6 - 2 = 2*a. Suppose n = -a*n. Suppose 0 = -n*t - 2*t + 10. Is t even?
False
Suppose 3*f - 2*f - 54 = -4*z, -3*f + 145 = -5*z. Is 13 a factor of f?
False
Let y be 10/(-4)*(-20)/25. Suppose -y*c = c - 15, 2*r + 5*c = 55. Does 12 divide r?
False
Is (-629)/(-9) - 2/(-18) a multiple of 7?
True
Let u = -16 + 34. Suppose q + 5 - 18 = -4*p, 2*p = q + 11. Is (u/(-4))/(p/(-24)) a multiple of 10?
False
Let r be (0/(-3))/(-1 - -2). Suppose b + b + 14 = r. Let t(x) = -2*x - 9. Does 4 divide t(b)?
False
Let o(b) = 2*b**2 - 3*b. Let z be o(2). Does 9 divide 16/(-4*z/(-8))?
False
Let m be (30/9)/5*51. Is 7 a factor of m*(-3)/12*-2?
False
Suppose 2*l + 2*l - 8 = 0. Suppose -3*b + 3*w = -105, -3*w = -l*b - 0*w + 70. Suppose 5*a = -2*n + 35, -6*a - n + b = -a. Is 7 a factor of a?
True
Suppose 0 = -r + 11 - 90. Let b = -43 - r. Is 12 a factor of b?
True
Let s(u) = 11*u. Is 11 a factor of s(4)?
True
Let p(b) be the third derivative of 11*b**7/1680 - b**6/720 + b**5/60 - 2*b**2. Let c(k) be the third derivative of p(k). Is 21 a factor of c(1)?
False
Let w(i) = -i - 1. Is w(-8) a multiple of 2?
False
Let q(j) = 3*j + 3. Let a(y) = y + 1. Let x(v) = 2*a(v) - q(v). Let h be x(0). Does 15 divide ((-9)/3)/(h/5)?
True
Is 20 a factor of ((-54)/21)/(3/(-70))?
True
Let y = 202 + -140. Is y a multiple of 29?
False
Let q(a) = -15*a**3 + a**2 - a - 1. Is 5 a factor of q(-1)?
False
Let c(p) = -32*p + 48. Let y(t) = 1. Let b(a) = -c(a) + 48*y(