a**2 + 3*a + 4. Is w(-4) a multiple of 3?
False
Let c(v) = -v. Let b(m) = -4*m + 30. Let r(u) = b(u) - 3*c(u). Is r(0) a multiple of 10?
True
Let h(q) = -2*q**3 + 9*q**2 - 45 + 51 - 11*q + 3*q**3. Is 4 a factor of h(-10)?
True
Let f(c) be the first derivative of -3/2*c**2 - 4*c + 1/3*c**3 - 4. Is f(7) a multiple of 12?
True
Let h = 1 + 6. Suppose 23 = 5*l - h. Is l a multiple of 2?
True
Let j = 18 + -20. Let y = 0 - -5. Let d = y - j. Is 4 a factor of d?
False
Let a = -100 - -145. Does 9 divide a?
True
Suppose 0 = 2*c - 6*c + 64. Let g = -4 + c. Is 12 a factor of g?
True
Suppose 3*b - 2*j - 14 - 14 = 0, 24 = 4*b + 4*j. Let r(i) = -i**2 + 12*i - 20. Does 12 divide r(b)?
True
Let k(s) = -10*s - 13. Is 5 a factor of k(-5)?
False
Let p = 47 - 27. Suppose -2*v = 5*r - 7*v - p, -5*v = -3*r + 14. Let j = 7 - r. Is 2 a factor of j?
True
Let a(l) = -10*l + 4. Let j be a(7). Let v = j - -109. Does 17 divide v?
False
Let n = -265 + 535. Suppose n = 8*p - 3*p. Is 20 a factor of p?
False
Suppose -2*x = x - 624. Is 13 a factor of x?
True
Let t be ((-18)/(-5))/((-3)/(-1000)). Suppose -2*a - t = 3*a - 5*q, -3*q + 958 = -4*a. Is 5 a factor of a/(-22) + 8/44?
False
Let r(f) = f**2 - 6*f + 6. Let p(u) = -4*u + 1. Let b be p(-1). Let h be r(b). Suppose 0 = -3*a + h + 8. Is a a multiple of 3?
True
Suppose d - 10 = -4*d. Suppose o + 72 = 2*u - 2*o, 5*u + d*o = 218. Does 15 divide u?
False
Let x = 29 - 20. Suppose -10 = -2*i, n + 5*i = x + 24. Does 8 divide n?
True
Let c(x) = 3*x + 5. Let q be c(6). Let j = q - 3. Is 20 a factor of j?
True
Let q = 2 - 0. Suppose -q*h + y - 7 + 4 = 0, -y = -5*h. Suppose -4*v = -7 - h. Is v a multiple of 2?
True
Let v = -43 - -150. Suppose 5*w - 30 = -q, -2*w - v = -3*q - 0*w. Suppose -q - 29 = -4*a. Does 16 divide a?
True
Let a(v) = 2*v**2 + 9*v - 18. Let m(g) = g**2 + 4*g - 9. Let w(c) = -4*a(c) + 9*m(c). Let x be (2 + -1 - -6) + 0. Is w(x) a multiple of 14?
False
Let g(y) = 3*y - 23. Does 6 divide g(11)?
False
Suppose 0 = 5*g - 2*p - 56, 2*g = -3*g + p + 58. Is 8 a factor of g + (-9)/3*1?
False
Suppose -q = 5*z - 241, -3*z + 5*q + 145 = 6. Is z a multiple of 16?
True
Is 2 a factor of 6/14 - 875/(-245)?
True
Let p(b) = 3*b**2 + b - 9. Let y(o) = -o**2 + o. Let f(u) = -p(u) - 4*y(u). Is f(6) a multiple of 11?
False
Let h be ((-1)/(-3))/(4/12). Let p = h - -9. Let c(l) = -l**3 + 10*l**2 + l + 8. Is 9 a factor of c(p)?
True
Suppose 0*w - 3*w - 45 = -3*o, -5*w - 35 = 3*o. Is 10 a factor of (-9)/((-9)/w)*-2?
True
Let j(y) = 4*y**2 + 2*y - 2. Does 14 divide j(-3)?
True
Let q = -14 - -8. Let y(w) be the first derivative of -w**2 - 6*w - 3. Is 3 a factor of y(q)?
True
Suppose -i + 2*i = 2*s - 82, 0 = -3*s - 4*i + 123. Does 5 divide s?
False
Is 12/54 + ((-5178)/(-27) - -3) a multiple of 9?
False
Let y(j) = -4*j + 7. Let z(f) = -4*f + 7. Let q(u) = -5*y(u) + 4*z(u). Is q(10) a multiple of 11?
True
Let m = 21 + 30. Does 17 divide m?
True
Suppose 2*z - 130 = -3*z. Is 7 a factor of z?
False
Suppose 2*y - 39 - 25 = 0. Is y a multiple of 16?
True
Let f(l) be the third derivative of 1/6*l**3 - 1/12*l**4 + l**2 + 3/20*l**5 + 0 + 0*l. Does 4 divide f(1)?
True
Let a(l) = -l - 1. Let x be a(-6). Suppose 3*h - 8 = x*g + 17, h - 12 = -2*g. Does 6 divide h?
False
Is 36/16*(-1 + (-163)/(-3)) a multiple of 12?
True
Let g be (-642)/36 - 2/12. Let b = -10 - g. Is b a multiple of 3?
False
Is (44 + -1)/(14 + -13) a multiple of 5?
False
Let y(z) = -6*z**2 + z + 3*z**2 - z**3 + 10 - 5*z**2. Let j be y(-8). Suppose -23 - 15 = -j*b. Is 19 a factor of b?
True
Let g = -10 + 14. Is 18/g*(2 - 0) a multiple of 5?
False
Let v(h) = -h**3 - 7*h**2 - 4*h - 2. Let i be ((-14)/6)/((-2)/(-6)). Does 9 divide v(i)?
False
Let n = 11 + -6. Suppose -v + 57 = n*l, -5*l + v = -4*v - 45. Is 11 a factor of l?
True
Let d(m) = -m**3 + 6*m**2 + 7*m + 1. Let c be d(7). Suppose r - 6 - c = 0. Is 3 a factor of r?
False
Let i be 1/((-1)/3) + 9. Let v(w) = w**3 - 5*w**2 + w - 1. Is v(i) a multiple of 12?
False
Suppose -3*z + 8*j = 4*j - 817, -2*j = -5*z + 1357. Let g = z - 183. Suppose n - 66 = -3*c - 3*n, -4*n - g = -4*c. Is c a multiple of 11?
True
Is (-82)/(-4)*6 + 17/17 a multiple of 31?
True
Suppose 65 = 5*x - 5*f, 2*f = 5*x - 5 - 48. Suppose -3*q = -6 - x. Is q a multiple of 5?
True
Does 22 divide (-880)/6*(-1 - 5/25)?
True
Suppose -3*x - 2*x - 15 = 0. Let t(j) = 20*j**2 - j. Let m be t(x). Suppose -4*w + 177 = -5*g + 28, m = 5*w - 3*g. Is 12 a factor of w?
True
Suppose -1 + 6 = x. Suppose 0*a = x*a - s - 189, -110 = -3*a + 4*s. Is a a multiple of 11?
False
Let q be -1*12*15/(-10). Suppose 3*f = -3*r + q, -2*f = f - 9. Let j(p) = 3*p. Does 7 divide j(r)?
False
Let t be (0 - -65)*(1 - 2). Let s = -5 - -8. Does 8 divide (1 - t)/s - -1?
False
Suppose -3*c + 50 = 2*c. Is c*-2*(-3)/12 a multiple of 5?
True
Let y = -50 + 121. Is 18 a factor of y?
False
Let w(z) = -z**2 + 9*z - 9. Let s be w(6). Is 43/s - (-4)/18 a multiple of 2?
False
Let q = 5 + -1. Suppose -r + n - 1 = 1, 5*n + 17 = -q*r. Is (0 + r)*(-32)/12 a multiple of 8?
True
Let c = 82 + -53. Suppose c = 2*i + 1. Does 7 divide i?
True
Suppose 4*n - 8 = 0, 2*u = -2*n - 3*n + 4. Let t(v) = -2*v. Let z be t(u). Is 6 a factor of z + 1 + 1 + -2?
True
Suppose 3*h = -2*y + 194, -2*h + 96 = y - 0*h. Does 5 divide y?
True
Suppose 0*i - i = -62. Suppose 2*m = n + i, -4*m + 126 = -n - 2*n. Does 17 divide m?
False
Let j(m) = -m**2 - 3*m + 2. Let o be j(-3). Suppose -20 = -4*s, 4*s = -z - 0 + 17. Is 22 a factor of o/(-2 - z)*22?
True
Let g(b) = -b**2 + 6*b + 5. Let s = 9 - 3. Is g(s) a multiple of 3?
False
Let q(y) = -y - 1 - 3*y + 4*y**3 + 5*y + 3. Does 7 divide q(2)?
False
Let p = -23 + 30. Does 7 divide p?
True
Let s be 6/27 - 922/18. Let v = 86 + s. Suppose -4*a - 3 = -v. Is 4 a factor of a?
True
Let m(c) = c - 7. Let s be m(3). Let b(n) = -19*n - 9. Is b(s) a multiple of 15?
False
Let k(h) = -h**2 + 2. Let o be k(2). Does 11 divide (-20)/o + 1/1?
True
Let q(i) = -3*i**3 + 2*i**2 + 5*i + 1. Let t(d) = -16*d**3 + 9*d**2 + 26*d + 5. Let c(b) = 11*q(b) - 2*t(b). Let r be (-60)/27 - (-2)/9. Does 17 divide c(r)?
False
Let f(c) be the second derivative of -2*c**3 - 2*c. Let r = -1 + -1. Is 10 a factor of f(r)?
False
Let l be -3 + (3 - (-4)/(-2)). Let n be 12/54 + l/9. Suppose h - 5 - 1 = n. Is h a multiple of 6?
True
Let n(z) = -z**3 + 3*z + 70. Is 5 a factor of n(0)?
True
Suppose -6*y + y + 25 = 0. Is y a multiple of 5?
True
Suppose -v + 3*b = 14, -34 = 4*v - 3*b + 4. Does 13 divide -4*(68/v - -2)?
True
Let x be (3/(-3))/(2/10). Let w(h) = -7*h - 3*h**2 - 2*h**2 + 6 + 4*h**2. Is 16 a factor of w(x)?
True
Let t be (-6)/3 + -1 - -14. Let l(z) = -z**2 + 13*z + 10. Is 18 a factor of l(t)?
False
Let c = 9 + -9. Does 19 divide (-5 - -2 - c)*-19?
True
Suppose 0*k - 4*k = m - 44, 0 = 2*m + k - 53. Is 8 a factor of m?
True
Suppose 0 = 5*f - 2*o - 460, -f + 104 = -0*f + 2*o. Does 30 divide f?
False
Let l = 9 - -44. Does 3 divide l?
False
Suppose 3*r + 45 = 3*v, 5*r = -0*v - 4*v + 33. Let x = -4 + v. Is 8 a factor of x?
True
Suppose 2*m + 2*m = 44. Let o = m - -22. Does 12 divide o?
False
Is -80*(2 - 3)*1 a multiple of 6?
False
Let v be (-1 - 0)/(1/25). Let i = 57 + v. Does 11 divide i?
False
Suppose -280 = -4*b + 5*h, -7*h = 2*b - 3*h - 140. Does 7 divide b?
True
Let g(i) = 6*i - 4. Let n be g(6). Does 10 divide (-2)/(-2) - (-1 - n)?
False
Does 2 divide (-32)/(-18) - (-16)/72?
True
Let j = 12 - 8. Suppose 174 = j*i - c + 18, 0 = -3*c - 12. Suppose 0 = q + q - i. Is 19 a factor of q?
True
Let n = -70 + 112. Is 14 a factor of n?
True
Suppose 0 = 4*q - 8. Suppose 2*o - 120 = -q*o. Does 10 divide o?
True
Let o = 78 + 11. Does 25 divide o?
False
Let t(a) = -a**3 - 5*a**2 - 5*a + 1. Let b be t(-4). Suppose -5*u = -0*u - c - 226, -b*u - 5*c + 250 = 0. Is 23 a factor of u?
True
Suppose -490 = -2*q - 3*q. Suppose -z = z - q. Does 19 divide z?
False
Let t(r) be the third derivative of -r**4/24 + 2*r**3/3 + 4*r**2. Let n be t(-6). Suppose 0 = n*g - 7*g - 42. Is 14 a factor of g?
True
Suppose -4*n = 5*m - 32, -m + 4*m = -2*n + 18. Let c(p) = p**2 - 2*p - 1. Let v be c(n). Does 15 divide v/(-4) - (-62)/4?
True
Suppose 2*f + 3*f = -2*c + 115, -5*f - 3*c + 120 = 0. Does 7 divide f?
True
Suppose 3*p = -2*p - 20, 0 = 4*k - 4*p + 4. Let b(z) = 3*z**2 + 6*z - 5. Let y be b(