erivative of -y**3/3 + 9*y**2/2 + 5*y - 4. Is 3 a factor of u(v)?
False
Suppose -5*k - 20 = 0, -3*k = 3*r + 2*k - 10. Let o(c) be the second derivative of -c**5/20 + 11*c**4/12 - 5*c**3/3 + 13*c**2/2 - 6*c. Is o(r) a multiple of 13?
True
Let v = 10 + -4. Suppose -4 = -5*g + v. Suppose 2*n = -4*c + 94, -n - g*c = -6*n + 199. Is 19 a factor of n?
False
Let t(g) = -3*g + 1. Let p(u) = -1. Let i(w) = -2*p(w) + t(w). Is 5 a factor of i(-3)?
False
Let j = -4 + 13. Let k = 19 - j. Is k a multiple of 5?
True
Let p be (60/35)/((-1)/(-14)). Suppose -3*r + r = p. Does 9 divide r/(-10)*15/2?
True
Let g(l) = -l + 11. Let c be g(7). Suppose -2*m + 243 = 4*x + m, -4*m = c*x - 244. Is 13 a factor of x?
False
Let n be (-27)/(-7) + (-1)/(-7). Is 17 a factor of n/(-3) - (-88)/3?
False
Let b be (2 - 0) + (-12)/(-4). Suppose -3*o + 7*o - 15 = -b*n, 0 = o + n - 4. Is 4 a factor of o?
False
Suppose 0 = -4*z - 3*l + 2*l + 1218, -5*z - 4*l = -1517. Suppose -5*a = -40 - z. Does 23 divide a?
True
Suppose b - 9 = -2*b. Suppose -b*q = -q - 112. Let s = q + -30. Is s a multiple of 9?
False
Let h(x) = -x**2 + 7*x + 7. Let m be h(8). Is 29 a factor of (21/m)/((-3)/15)?
False
Does 21 divide (-1)/((-255)/(-522) + 7/(-14))?
False
Let u(m) = -2*m**3 + 3*m**2 + 2*m - 2. Is 11 a factor of u(-2)?
True
Let f(g) be the second derivative of g**4/6 + g**3/6 - 5*g**2/2 + 4*g. Is 4 a factor of f(-3)?
False
Suppose -2*t + 0*g = -5*g, -3*g + 2 = -t. Suppose 2*x + t = 7*x. Does 2 divide x?
True
Is -6 - -6 - (-2 + -13)/1 a multiple of 15?
True
Let m(n) = 2*n + 10. Is m(5) a multiple of 8?
False
Suppose 34 = 2*i - 0*i. Does 11 divide i?
False
Suppose 0 = 2*s - 5*s + 9. Suppose -3*i - 1 = 5*o - 5, 4*i = s*o - 14. Suppose -x + 1 + o = 0. Does 2 divide x?
False
Let n(s) = s**3 - 3*s**2 - 3*s + 4. Let p(b) = b**3 - 11*b**2 + 11*b - 5. Let c be p(10). Does 13 divide n(c)?
True
Let a(z) = z**2 - z + 5. Let d be a(0). Let g = d - 1. Does 4 divide g?
True
Let t be (-4)/(-6)*15/10. Does 13 divide (-13)/(-4)*(11 + t)?
True
Let t be (6 + -2 - 3)*-13. Let k = t - -22. Does 12 divide (-4)/(-6) - (-210)/k?
True
Let n = 431 - 225. Is n a multiple of 38?
False
Let q = -16 - -52. Is 19 a factor of q?
False
Let a(k) = -k**3 + 7*k**2 - k - 1. Let y be (4/3)/(2/3). Suppose -2*n = -4*n - 2, y*n = -3*v + 13. Is 22 a factor of a(v)?
True
Let g(x) = x**2 + 11*x + 34. Does 46 divide g(11)?
True
Let r = -5 + 7. Suppose -4*b + 40 = r*a, 0 = -a + b + b. Is 8 a factor of a?
False
Let g(v) = -v**2 - 6*v - 3. Let d be g(-5). Let u(w) = 3*w**d - 4 - w + 10*w**2 + 3. Is u(-1) a multiple of 12?
False
Let o(x) = 8 - 5 + 6*x**2 + 0*x**3 - x**3. Let v be o(6). Suppose 2*k - 104 = 4*s, -4*k + 184 = v*s + s. Is 18 a factor of k?
False
Does 13 divide ((-18)/(-8))/(36/1248)?
True
Let z be (-2)/(-6) - 1/3. Suppose -y - 4*f - 12 = z, 3*y - 2*f + 9 = 29. Suppose 5*q - 110 = -y*s, 5*q - 5*s - 95 = -6*s. Does 18 divide q?
True
Suppose 4*q = -b + 577, q - 734 = -4*q + 3*b. Does 29 divide q?
True
Suppose -2*x = -135 - 1. Does 12 divide x?
False
Let i = -4 - -4. Suppose i*z = 2*z - 6. Is z a multiple of 2?
False
Let c = 8 + 5. Suppose -62 - c = -3*f. Does 9 divide f?
False
Suppose -2*h - j + 0 = -3, j + 3 = 0. Suppose 0 = -h*o + 16 + 29. Is 8 a factor of o?
False
Let r = 57 + -30. Is r a multiple of 27?
True
Let r(j) = -3*j + 10. Let w(p) = -4*p + 10. Let l(g) = 5*r(g) - 4*w(g). Let t be l(-8). Suppose t*u = -0*u + 40. Is u a multiple of 10?
True
Suppose -4*r = 5*w - 4*w - 227, -3*r = 4*w - 180. Does 6 divide r?
False
Suppose -w = -2*h - 15, -w = -6*w + 3*h + 40. Is w a multiple of 2?
False
Let b be 2*((-1)/2 - -2). Is ((-34)/(-6) - -3)*b a multiple of 13?
True
Suppose -4*k - 93 = -4*h + 31, 3*h + k - 105 = 0. Is 17 a factor of h?
True
Let o(b) be the third derivative of -29*b**4/12 + b**3/6 - 3*b**2. Is 22 a factor of o(-1)?
False
Let b(j) = -49*j + 3. Let n be b(-3). Suppose 8 = 2*u + 4. Is 22 a factor of -3*(u + n/(-9))?
True
Let w = -113 + 60. Let h(r) = -12*r**3 - 2*r**2 - 3*r - 3. Let t be h(-2). Let c = t + w. Is 19 a factor of c?
True
Is (-8)/6 - (-80)/6 a multiple of 4?
True
Suppose -g - 2 - 2 = 0, -w + g + 8 = 0. Suppose -10 = 2*b - w*b. Is b a multiple of 5?
True
Suppose 2*h - m = 322, h + 2*m = 3*h - 324. Does 16 divide h?
True
Let d(m) = -3*m + m + 3*m. Does 3 divide d(3)?
True
Let z(h) = h**3 - 6*h**2 + 3*h - 8. Is 16 a factor of z(8)?
True
Let n be ((-6)/(-4))/((-2)/(-20)). Let p = n + -12. Is p even?
False
Let y(a) = 14*a + 17. Let n(t) = -5*t - 6. Let c(h) = -8*n(h) - 3*y(h). Suppose p + 3 = -2. Is c(p) a multiple of 4?
False
Let s = 33 - 16. Is 6 a factor of s?
False
Suppose 8*t + 8 = 4*t. Does 11 divide t/(3*(-6)/207)?
False
Suppose 4*l = v - 10, 5*l = -v - 2 - 6. Suppose -2*g + 7*m + 4 = v*m, -3*g - 2*m + 44 = 0. Does 4 divide g?
True
Let b be 113/4 + (-1)/4. Suppose -2*p + b + 32 = 4*t, 3*p + 5*t = 93. Does 18 divide p?
True
Let m(c) = -c + 16. Is 6 a factor of m(4)?
True
Suppose 2*k - 48 = 3*s + 17, 0 = -2*k + 5*s + 75. Is k a multiple of 3?
False
Let i(m) = -m**2 - 8*m - 2. Let y be i(-7). Suppose -62 - 158 = -y*h. Is h a multiple of 12?
False
Suppose 187 - 2914 = -9*q. Does 48 divide q?
False
Let m = 75 - 31. Is m a multiple of 22?
True
Suppose 3*u - 109 = -4*h + 26, 0 = -u - h + 44. Suppose -g = -4*o + 8 + 30, 5*o - u = -2*g. Is 7 a factor of o?
False
Let w = -42 + 13. Is 15/(-5) - (w + -1) a multiple of 7?
False
Let i(f) = 10*f**3. Does 10 divide i(1)?
True
Suppose -8 - 10 = -3*z. Is z a multiple of 2?
True
Suppose -296 = 12*m - 14*m. Is 22 a factor of m?
False
Let s(x) = 35*x**2 - x. Let h be s(-1). Suppose 3*b = 3*y + h, 5*y + 0*y - b = -44. Let p = y - -13. Is p even?
False
Suppose -2*l + 1 = -1. Suppose -2*d + l = -5. Suppose 3*t + 21 = h, 9 = -4*t - d. Is 6 a factor of h?
True
Let v(q) = q**3 - 7*q**2 + 7*q + 5. Let j be (-4 - -2)/(1 - -1). Let x(d) = 6*d**2. Let g be x(j). Is 5 a factor of v(g)?
False
Is 4 - (2 - -1) - -4 even?
False
Suppose 0*p - z = 5*p - 9, -4*p + 3*z + 11 = 0. Does 2 divide p?
True
Let j be (-2 - 2*3)/(-1). Let l(y) = -y**2 - 5*y + 2*y**2 - 3 - 3. Is l(j) a multiple of 11?
False
Let v(t) = t**3 + 4*t**2 + 9*t + 5. Let i be v(-6). Let r = -34 - i. Is 11 a factor of r?
False
Does 17 divide (-162)/(-4 - (1 - 3))?
False
Let c = 10 - 4. Is c a multiple of 5?
False
Let r(t) = t**2 - 8*t + 4. Let p be r(6). Let b be (-4)/p*(-8)/(-1). Suppose g - 137 = -4*q - 0*g, 5*g = -b*q + 157. Is 15 a factor of q?
False
Suppose 2*f - 2*v - 30 = -2*f, 0 = 4*f + 3*v - 5. Let l = 7 - f. Suppose 30 = 2*j - w, -2*j = l*j + 2*w - 68. Is 6 a factor of j?
False
Let l = 4 - 7. Does 10 divide (1 + (-16)/l)*3?
False
Let y(t) = t**3 + 13*t**2 + 11*t - 7. Let u be (-2)/(-2*(-3)/36). Let h be y(u). Suppose -3*q = -7*q + h*b + 169, 128 = 3*q - 5*b. Is 11 a factor of q?
False
Let a = 29 - 20. Let v = a - 18. Does 3 divide 2/v - 116/(-36)?
True
Suppose -b = -7*f + 2*f + 14, -3*b - 2*f = -43. Is b a multiple of 2?
False
Let y be -4 + 6 + (47 - -1). Suppose l + 4*l - 107 = t, 0 = 2*l - 4*t - y. Does 21 divide l?
True
Suppose -14 - 20 = 2*n. Let x = n + 35. Suppose 4*k = -6 + x. Does 3 divide k?
True
Suppose -4*a - 104 = 4*j, -3*j + 2*a + 44 = 117. Let z = -15 - j. Does 4 divide z?
False
Suppose -2*s + 4*f = -6, -36 = -3*s - s - 4*f. Suppose -p + s = -10. Is 10 a factor of p?
False
Let x = 9 - -36. Does 9 divide x?
True
Let g(r) = -r**3 - 7*r**2 + 7*r - 5. Let l be g(-8). Suppose -110 = -l*v + 2*h, v + 2*h = h + 30. Suppose -v = -3*b + 11. Is b a multiple of 5?
True
Suppose 0 = -5*o + 119 + 111. Is 17 a factor of o?
False
Let j be -1 - (6/3 - 9). Suppose -5*m + j = -29. Is 3 a factor of m?
False
Let l(q) = 5*q + 9. Let f be l(-7). Let a = 46 + f. Does 20 divide a?
True
Let r = -8 + 14. Let b = -6 + r. Suppose b*o - 2*o = -28. Is 7 a factor of o?
True
Suppose 5*g - z - 12 = 0, g = 2*g - 4*z - 10. Suppose 3*m - 16 = 5*y + 9, -m = -g*y - 9. Suppose 2*c - 4*a - 24 = 0, -6*c = -c + m*a - 75. Is 14 a factor of c?
True
Let f(r) = r**2 + 10*r - 13. Is f(-12) a multiple of 7?
False
Let p = 39 - 84. Let d = p - -21. Let j = -16 - d. Is j a multiple of 4?
True
Suppose 5*o - 137 = -0*r - 2*r, 4*r - 262 = 2*o. Does 11 divide r?
True
Let s be (3 - 1)/((-2)/7). Let a(c) = -c**3 - 7*c**2 + c. Let n be a(s). Let q = -3 - n. Is q a multiple