g) = 2*g**3 - 6*g**2 + 2*g + 6. Suppose -3*c - 28 = -4*r - r, 5*c + 5 = 0. Let b be w(r). Suppose 2 = 3*i - 4*i, -4*i = -3*z + b. Is z a multiple of 18?
True
Suppose 23*s - 24*s + 7 = 0. Is s a multiple of 7?
True
Let c be 124 - (0 - (-1 - -2)). Let t = -72 + c. Does 21 divide t?
False
Let w(h) be the second derivative of h + 0 + 1/6*h**3 + 3/2*h**2. Does 10 divide w(7)?
True
Let t(c) = -2*c**3 - 9*c**2 - 9*c - 8. Is 22 a factor of t(-6)?
True
Let d be (7 - 5)*(-86)/4. Let z = d + 61. Is z a multiple of 8?
False
Let g = 4 - 0. Let o be 2/g*(-13 + -1). Let k(p) = p**3 + 8*p**2 + 5*p - 3. Is k(o) a multiple of 11?
True
Let q(s) = 7*s**2 - 2*s + 2*s + 0*s**2 + 2*s + 2. Does 15 divide q(-2)?
False
Let t = 47 - 33. Is t a multiple of 10?
False
Let v = -4 - -6. Suppose -l - 43 = -v*l. Does 19 divide l?
False
Suppose 220 = 5*c - u - 3*u, 5*u - 15 = -c. Let i = c - 25. Suppose -4*p + 1 = -i. Is 2 a factor of p?
True
Let g(z) = z**3 + 10*z**2 + 14*z + 17. Is g(-5) a multiple of 18?
True
Let z be 39/9 - 1/3. Does 6 divide z/(-14) - 186/(-14)?
False
Suppose -5*p - 4*u + u + 338 = 0, 0 = p - u - 66. Let k = p + -17. Is k a multiple of 24?
False
Let l(k) = 3*k**2 + 1. Let u be l(1). Suppose -2 = u*t - 14. Suppose -t*y = y - 84. Is 13 a factor of y?
False
Let i(h) = -9*h - 5. Suppose v = -3*z - 23, -2*z + 4*z + 2 = -4*v. Is i(z) a multiple of 20?
False
Suppose 4*w - 5*w - 14 = 0. Let k(o) = o**3 - 2*o**2 + 3*o + 3. Let r be k(3). Let p = r + w. Is p a multiple of 4?
False
Let g(t) = -11*t - 11. Is g(-14) a multiple of 10?
False
Let b = -5 + 10. Suppose -b*d - 12 = -3*d. Does 2 divide ((-16)/d)/(2/3)?
True
Suppose -20 = -4*c - 0*c. Does 2 divide c?
False
Let v = -220 + 321. Is v a multiple of 9?
False
Suppose 0 = -4*y + 49 + 143. Is 3 a factor of y?
True
Let x(k) = -k**2 + 2*k - 2. Let v be x(3). Let f be 1*(2 - (-1 + 0) - 4). Does 2 divide (v - (-2 - 0))*f?
False
Suppose 12 = m - 14. Is 13 a factor of m?
True
Let t(a) = -21*a. Is t(-4) a multiple of 28?
True
Let w be (-1510)/30 + 2/(-3). Suppose 2*r - 4*o + 28 = 0, 0*o + 4 = 2*r + 4*o. Let u = r - w. Is u a multiple of 12?
False
Let s = -1 - 0. Let j(g) = -4*g. Let t be j(s). Suppose -20 = -5*w - t*f, 7*f + 44 = 3*w + 3*f. Is w a multiple of 7?
False
Suppose 0 = 2*m - 218 + 64. Does 3 divide m?
False
Let m(q) = 16*q + 6. Does 19 divide m(2)?
True
Suppose 3*w + 2 = 5. Does 8 divide 3 + 9/w + 0?
False
Suppose 4*x = 3 + 9. Suppose 2*p = -x*a - p + 75, 110 = 4*a + 2*p. Is a a multiple of 11?
False
Suppose m + 2873 = 14*m. Does 20 divide m?
False
Let j(h) = h**3 - 8*h**2 - 19*h + 3. Is j(10) a multiple of 4?
False
Let r = 127 + -49. Is r a multiple of 7?
False
Let i(r) = 13*r - 40. Is 3 a factor of i(4)?
True
Suppose 0 = z + 2*y - 64, 0 = -4*z - 3*y - 99 + 345. Is z a multiple of 27?
False
Let d be 0 - ((0 - 1) + 1). Suppose 5*k - 20 = d, -l - 2*k = 4*l - 23. Suppose -2*b = -5*r - 84, l*b + 2*b - r = 164. Is 16 a factor of b?
True
Suppose 3*b - 8*b = 4*o - 110, b - 11 = -3*o. Is 5 a factor of b?
False
Let k(m) = -m**3 + m**2 + 3. Let l be k(2). Let x(c) = 21*c**2 + c + 1. Let b(z) = -20*z**2 - z - 1. Let i(h) = -6*b(h) - 5*x(h). Is i(l) a multiple of 8?
False
Is 11 a factor of 61 - (8/2 - 3)?
False
Let q(i) = 3*i**3 + 2*i**2 - 1. Let r be q(1). Let s = 12 - r. Does 3 divide s?
False
Suppose c = 6*c - 20. Suppose g + 22 = 5*j, 4*g = c*j - 5*j - 4. Does 11 divide 24/(-3)*(-9)/j?
False
Suppose q - 8 = -2. Let g = 4 - q. Is 10 a factor of (15*2)/((-3)/g)?
True
Let g(d) = d + 8. Let c be g(-5). Suppose -2*p - c = p. Is (-1 + 21 - p)/1 a multiple of 10?
False
Let v(a) = -a**3 + 2*a**2 - 5*a - 5. Let y(z) = -z**3 + 3*z**2 - 5*z - 5. Let f(c) = -5*v(c) + 6*y(c). Is 14 a factor of f(6)?
False
Suppose 4*f = 5*m - 137, -5*f - 163 = 4*m - 2. Let u = f - -59. Does 14 divide u?
False
Let r(n) = -n**3 - 3*n**2 + 3 - 3 + 7*n. Let q = -13 + 8. Is 5 a factor of r(q)?
True
Let p(q) = 4*q**2. Let m be p(-1). Suppose -2*x + m*x = 240. Suppose -z - x = -5*z. Does 15 divide z?
True
Suppose 22 = 3*g - 41. Suppose 0 = -2*x + g + 23. Is x a multiple of 11?
True
Suppose -3*h + 5*t = 669, -4*h + 5*t - 860 = 37. Is 19 a factor of ((-1)/2)/(6/h)?
True
Let i = 142 - 101. Is i a multiple of 11?
False
Let p = 208 + -118. Suppose p = 4*k + k. Is k a multiple of 9?
True
Suppose -4*l = -l + 4*x - 59, -12 = 3*x. Suppose c - l = -0*q - q, q - 3*c - 21 = 0. Suppose g - q = -u, 0*u + 2*u - 4*g = 36. Is u a multiple of 9?
False
Let a = 8 - 5. Suppose -2*r - 5 = -a*r. Suppose r*m - 18 = 22. Does 4 divide m?
True
Suppose -4*k - 14 = -5*k. Let f = k + -4. Is 7 a factor of f?
False
Suppose -6*f = -4*f - 52. Is f a multiple of 13?
True
Does 7 divide 6/(-4)*182/(-39)?
True
Suppose -164 = -5*r + 576. Is 22 a factor of r?
False
Let s(j) = -j - 6. Let m be s(-5). Let w = 0 + m. Is 4 a factor of w/(-3)*3 + 10?
False
Does 9 divide (175 - 4) + 0 - 0?
True
Let v(s) = -36*s**3 + 4*s**2 - 4. Is v(-2) a multiple of 50?
True
Let r(l) = l**3 + 9*l**2 + 3. Let h be r(-8). Is (-1)/3 - h/(-3) a multiple of 22?
True
Let f(q) = 126*q**2 + q - 2. Let z be f(2). Is 6/15 - z/(-15) a multiple of 16?
False
Is (-12)/(-24) - (-183)/2 a multiple of 28?
False
Let z = -181 + 349. Is 8 a factor of z?
True
Suppose a + 58 = 3*u, -a = 3*u - 8*u + 98. Let i be 1*(2 - 0)/2. Let b = u - i. Is b a multiple of 5?
False
Let s be (-1 + (-4)/(-2))*0. Suppose -u + 0*h - 3*h = -12, s = -2*u + 4*h + 44. Does 11 divide u?
False
Let a(q) = -q**2 + 10*q - 1. Let y be a(9). Is (-3 - -1) + (y - 0) a multiple of 6?
True
Let f(d) = -4*d + 11. Let k be f(9). Let u(z) = -z**3 + 6*z**2 + 3*z + 1. Let i be u(5). Let l = k + i. Does 8 divide l?
True
Suppose 4*k - 214 = -5*i, -4*k + 4*i + 228 = 2*i. Is k a multiple of 8?
True
Let z(f) be the second derivative of -f**4/12 - 5*f**3/2 - 11*f**2/2 + f. Let p be ((1 + 10)*-1)/1. Is 10 a factor of z(p)?
False
Is 14 a factor of (0 + -3)*(-7 - -2)?
False
Suppose -c + 6 = 2*l + 1, 5*l - 7 = 3*c. Let j(g) = 2 + 0 + 7*g**l + 3*g + g. Is 10 a factor of j(-2)?
False
Let j(v) = v - 2. Let d be j(5). Suppose -3*q + 141 = -3*y, 8*y - d*y - 17 = -q. Is 18 a factor of q?
False
Suppose -3*j + v = -219, 0*j - 4*j - 3*v + 279 = 0. Does 18 divide j?
True
Is 20 a factor of 1/(4 + (-2044)/512)?
False
Let j = 91 + -67. Does 4 divide j?
True
Suppose 4*z = 3*y - 18, 0 = -y - 4*y + 2*z + 30. Is 13 a factor of ((-3)/y)/(2/(-60))?
False
Let s = 10 - -15. Does 9 divide s?
False
Let x be 17/5 + 9/15. Suppose 1 + 19 = x*j. Does 2 divide j?
False
Let r(i) = -i**2 + 12*i + 15. Suppose 2*c = 4*l - 3*l - 11, 5*l - 5*c = 55. Does 14 divide r(l)?
False
Let v be 2/(-3) - 136/(-6). Suppose u + 22 = -3. Let z = v - u. Is 25 a factor of z?
False
Suppose 0 = -17*i + 14*i + 495. Is i a multiple of 15?
True
Let y = 98 - 49. Does 7 divide y?
True
Suppose -3*b + 8 - 131 = 0. Let f = -22 - b. Is 7 a factor of f?
False
Is (-6)/27 - (-497)/9 a multiple of 11?
True
Let r be ((-1 - 5) + -1)*7. Let g = -28 - r. Let h = 34 - g. Does 13 divide h?
True
Let k(h) = h**2 - 2*h + 7. Let w be k(6). Let j = w + 23. Is 18 a factor of j?
True
Let o(c) be the first derivative of -c**3/3 + c**2 - 2. Let j be o(2). Let u = 12 + j. Is 6 a factor of u?
True
Let g = 1 + 1. Suppose 3*b + 3 = 0, -g*b - 7 = -3*j - b. Suppose j*o + 3*o - 40 = 0. Is 8 a factor of o?
True
Suppose -v + 3 = -5*f - 3, 4*v = 5*f - 6. Is 10 a factor of 20/6*(-6)/f?
True
Suppose 0 = w + w + 3*n - 212, -3*w - 3*n + 312 = 0. Suppose 2*b - 56 = -5*r, -4*b = -5*r - w - 12. Does 14 divide b?
True
Suppose 4*m - 1 + 46 = -3*l, m + 2*l = -15. Does 10 divide 33 + m/(-6)*-2?
True
Suppose -3 = -5*u + 2*u. Let w be -2 + (2 - (u - -1)). Does 27 divide 2*34 - (w - -4)?
False
Suppose 0 = 53*d - 52*d - 47. Is d a multiple of 19?
False
Suppose 3*z + 3*v = 8*z - 1491, -5*z - v + 1483 = 0. Is z a multiple of 11?
True
Let o(s) = -s**3 + 5*s**2 + 2*s - 5. Let t be o(5). Suppose -t*a + 117 - 27 = 0. Is a a multiple of 9?
True
Let a(t) = -4 - t - 3 + 3*t + t**2. Is 12 a factor of a(-7)?
False
Let j be 2/(-11) + 1095/33. Suppose -9 = 2*r - j. Is 7 a factor of r?
False
Suppose -4*m + 4 = 2*o, 4*m = 2*m. Suppose 3*u - o*c = 104, -4*c + 29 = u - 1. Does 17 divide u?
True
Let q = -7 - -1. Is (-16)/q*(-189)/(-14) a multiple of 12?
True
Let p be 626/(-14) + 4/(-14). Suppose -3 = -3*j 