rivative of -b**4/12 + 3*b**3/2 + 7*b**2/2 + 3*b. Does 21 divide i(7)?
True
Let o(k) = -3*k + 42. Is o(-6) a multiple of 17?
False
Let g be 56/(-10)*1250/(-20). Let x = -94 + g. Is x/10 - 10/(-25) a multiple of 13?
True
Suppose -k + 2*k = 3. Suppose 3 = k*f + 3*n - 3, -2*f - n + 6 = 0. Suppose -5*h + 82 = -6*t + 3*t, 4*t = f*h - 72. Is 11 a factor of h?
False
Is 8 a factor of (-2)/5*(-22 + 2)?
True
Suppose -4*s = 2*u - 76, -17 = 2*s - 3*s - u. Is 7 a factor of -1 + -3 + s + -1?
False
Suppose 3*m + m - 2*i = 18, i = -3*m + 1. Does 13 divide 696/27 - m/(-9)?
True
Suppose 3*w = 4*s + 205, 2*w = 4*w - s - 130. Is 25 a factor of w?
False
Let o = -6 + 11. Let w be 2 + -5 + o + -2. Suppose -n + w*n - 4*r = -31, -r - 56 = -4*n. Is n a multiple of 6?
False
Let l(f) = -2*f**2 - 22*f + 3. Does 12 divide l(-7)?
False
Let d(k) = 7*k - 7*k - 4 + 8*k. Let j be d(8). Suppose 45 = 4*g + p, -5*p + j = 2*g + 3*g. Does 11 divide g?
True
Let d = 68 + -39. Is d a multiple of 15?
False
Let c(l) = -22*l - 15. Does 15 divide c(-5)?
False
Let w(h) = 2*h + 46. Is 2 a factor of w(-19)?
True
Let y(w) = -w**2 - 4*w - 1. Let t be y(-3). Suppose j + 4*j - 195 = 0. Suppose -t*h + j = h. Is 13 a factor of h?
True
Suppose 22*p - 18*p - 168 = 0. Is p a multiple of 7?
True
Let o(r) = 6*r + 14. Let v be o(11). Suppose 5*c = 70 + v. Is 10 a factor of c?
True
Is 4 a factor of 24*(4/8)/1?
True
Let s be (-2)/(0 + 2) + 2. Let x be (-3)/(-3*s/(-2)). Does 2 divide (-5)/x + 3/(-6)?
True
Suppose -144 = 3*o + 39. Let r = o - -36. Let z = -13 - r. Is 12 a factor of z?
True
Suppose 5*u - 8*u + 21 = 0. Let m(p) = p**3 - 6*p**2 + 9*p - 5. Is m(u) a multiple of 27?
False
Suppose z + 168 = 5*z + 2*j, z + 5*j = 24. Is 15 a factor of z?
False
Let r(h) be the third derivative of -h**7/5040 + h**6/720 - h**5/60 + h**2. Let c(s) be the third derivative of r(s). Does 3 divide c(-5)?
True
Let o = -6 + 8. Suppose 5*h = -3*r + 294, h - o*r = -0*r + 51. Does 12 divide h?
False
Suppose 6*p - p - 2*v = -32, -3*p + v - 19 = 0. Let l = p + 22. Suppose l = m + 3. Is m a multiple of 8?
False
Let t be 2/(-7) + (-69)/(-21). Suppose -4*k = -3*k + 3*b - 16, t*b + 3 = 0. Does 11 divide k?
False
Is 4 + ((-20)/(-4) - 3) a multiple of 3?
True
Let y(q) = -4*q - 3. Let t(l) = -5*l - 4. Let h(i) = 3*t(i) - 4*y(i). Is 2 a factor of h(7)?
False
Suppose 0 = 3*o - 6*o + 3. Is 2*o*21/6 a multiple of 2?
False
Let a be -5*(-3)/(30/8). Suppose -y + a*c + 25 = 0, 2*c - c = -y + 5. Does 7 divide y?
False
Suppose 5*n - 1222 = -4*l, 9*l - 4*n = 4*l + 1548. Suppose -5*k - 3*c + l - 68 = 0, -k + 2*c + 35 = 0. Is k a multiple of 15?
True
Let h(n) = n**3 + n**2 + n + 5. Let v be h(0). Let t be (2/(-3))/(v/(-15)). Suppose -t*f = -3 - 5. Does 4 divide f?
True
Is 10 a factor of 2/(-4) - 1148/(-56)?
True
Let k(s) = -3*s**3 - 2*s**2 + 2*s + 2. Let p(t) = -3*t**3 - 3*t**2 + 2*t + 2. Let h(b) = 3*k(b) - 2*p(b). Is h(-2) a multiple of 11?
True
Let o be 1/(-2)*4*-1. Let z(f) = 118*f - 3. Let a be z(o). Suppose i = -5*w + a, -i - 45 = -2*w + 51. Does 17 divide w?
False
Let t = -2 - -5. Suppose 0 = -y - t*y + 20. Let w(z) = 9*z - 1. Is 15 a factor of w(y)?
False
Let x(n) be the second derivative of 5*n**3/2 - 4*n**2 + 5*n. Is x(4) a multiple of 14?
False
Suppose -u + 28 = -3*u - 3*p, -3*u = -3*p + 12. Let f(c) = -2*c + 7. Is 16 a factor of f(u)?
False
Let y = 6 + -5. Is 3/(y*6/44) a multiple of 8?
False
Suppose -z = 4*p - 681, -z = 2*p - 4*z - 323. Is p a multiple of 31?
False
Let s(t) = -t - 4. Let b be s(-6). Let p(h) = -h**3 + 6*h**2 + 37*h - 4. Let x be p(9). Suppose 0*c - x = -5*k + 3*c, -c - b = 0. Does 16 divide k?
True
Let a(o) = -2*o + 0*o + o + o**2 + 26. Let k be 2/7 + 2/(-7). Does 13 divide a(k)?
True
Suppose -4*s + d + 204 = 0, -3*s + 255 = 2*s - d. Suppose -6*x - s = -3*x. Is 7 a factor of (0 + x)/(-4 - -3)?
False
Is ((-56)/(-24))/(2/24) a multiple of 10?
False
Suppose 2*r = -3*r + 30. Let u = -5 + r. Suppose 4*g = u + 63. Is 16 a factor of g?
True
Suppose 2*o - 4 - 2 = 0. Suppose -o*l + 11 + 52 = 4*d, d + 103 = 4*l. Suppose 5*s = l + 5. Is s a multiple of 3?
True
Let t be (-6)/4*(-48)/9. Let a = -4 + t. Does 4 divide a?
True
Let v be (-4)/8*(-2 - 4). Let w(r) = 3*r**2 + 5*r - 4. Does 10 divide w(v)?
False
Does 11 divide (504/120)/((-1)/(-10))?
False
Let j(l) = 3*l**2 - 6*l - 36. Is j(-9) a multiple of 15?
False
Let t(a) be the first derivative of -7*a**3/3 - a**2/2 - a - 1. Let v(q) be the first derivative of t(q). Is 6 a factor of v(-1)?
False
Suppose -3*v = -v. Let r be (-1)/(-1) + v - -34. Suppose -5*x + 0*x + r = 0. Does 7 divide x?
True
Let i = -28 - -40. Does 4 divide (-2)/(-2)*-3 + i?
False
Let k(n) = -2*n - 6. Let a be k(-5). Suppose -a*v = 2*y + y - 95, -v = -3*y - 5. Does 18 divide v?
False
Suppose 0 = -4*v - 3*p - 5 - 2, -4*v + 4*p = -28. Suppose 0 = -v*m + 10, 2*u - m - 38 = m. Does 12 divide u?
True
Suppose 2*k - n + 4*n - 137 = 0, -5*n + 15 = 0. Is 16 a factor of k?
True
Let b be (6/18)/((-2)/(-102)). Suppose -b = -3*s + 37. Is s a multiple of 6?
True
Suppose -3*v = 2*r - 5*v - 56, 0 = -5*v - 10. Suppose n + m = 4*n - r, 3*m = -15. Suppose 10*u - 63 = n*u. Does 6 divide u?
False
Let r(m) = -m**2 - 5*m + 5. Let h = 9 - 14. Let u be r(h). Suppose -4*a - 4*w + 9 = -63, u*a - 5*w - 70 = 0. Is a a multiple of 8?
True
Suppose 0 = -d - 0 + 3. Suppose 4*f = 5*l - 415, -6*f + f - 249 = -d*l. Is l a multiple of 18?
False
Let s(m) = m**2 - 2*m - 1. Let g be s(3). Let f(y) = y**2 + 4*y + 4. Let t be f(-8). Suppose t = -g*u + 118. Is u a multiple of 13?
False
Suppose -j + 13 - 3 = -4*z, j - 4 = z. Let x be (22/6)/(j/18). Suppose 5*y - 67 = y + 3*a, -2*y + a = -x. Is 8 a factor of y?
True
Does 7 divide 43 + (-11 - -4) + 2?
False
Let a be 0 + 2 + 6/(-3). Suppose a = -5*g - 2*p + 82, p + 59 + 20 = 5*g. Is g a multiple of 16?
True
Let b = 69 - 49. Does 4 divide b?
True
Is 7 a factor of -12*(-2 - 6)*(-2)/(-2)?
False
Suppose -3*q + 23 - 2 = 0. Let k = q + 16. Does 15 divide k?
False
Let y = -46 + 62. Does 2 divide y?
True
Suppose 5*j - 133 = j - m, -4*j - 3*m = -143. Suppose -j = -z - 12. Is z a multiple of 20?
True
Let o(y) = -y**2 + 5*y. Let n be o(5). Let a(i) = -6*i + 1. Let t be a(3). Let c = n - t. Is c a multiple of 10?
False
Suppose -143 = -5*o - 33. Let m = o - 15. Does 7 divide m?
True
Suppose 14*d - 39 = 11*d. Is 5 a factor of d?
False
Is 38 a factor of -2 + 85 + -3 + -4?
True
Let t be (3 - 0)*(-2)/(-2). Let k = t + 2. Suppose -a - k*g + 37 = 0, -g - 2*g = 4*a - 97. Does 11 divide a?
True
Let x = 10 + 35. Is x a multiple of 9?
True
Let a(v) = 4*v. Let u be a(-2). Let l = 47 - 27. Let p = u + l. Is 12 a factor of p?
True
Let d(a) = a**3 - 8*a**2 + 9*a - 12. Is d(7) even?
True
Let v = -48 - -29. Let x = 6 - v. Suppose -a - x = -6*a. Does 5 divide a?
True
Suppose 0 = 3*u - 2*u - 192. Is u a multiple of 12?
True
Let u = -21 + 12. Let v = 11 - u. Let k = 4 + v. Is 12 a factor of k?
True
Suppose 3*m = 7*m - 16, -2*t + 8 = 2*m. Suppose 0 = -5*o + 4*p, t = o + p - 6*p. Let w(n) = -n**3 + n**2 - n + 36. Does 18 divide w(o)?
True
Let l = -86 - -156. Does 35 divide l?
True
Suppose 88 = 4*l - 0*l. Does 11 divide l?
True
Let j = 5 - 2. Suppose 3*v - 24 = -j*r, -v + 29 = 4*r - 0*v. Suppose x - 17 = -r. Is 5 a factor of x?
True
Let j(a) = 6*a**2 - 3*a + 4. Is j(2) a multiple of 11?
True
Let n(a) = a**2 + 4*a - 7. Let c be n(-6). Let l = 88 - 49. Suppose -l = -j - c. Is 13 a factor of j?
False
Does 9 divide 1/(-2)*3*498/(-9)?
False
Let u = -18 - -30. Is u a multiple of 12?
True
Let v(r) = -r**3 + 5*r**2 + 2*r + 1. Let y be -5*(-1 - -4)/(-3). Let f be v(y). Suppose -x + d + f = 3*d, -4*x = d - 51. Does 5 divide x?
False
Suppose t - 15 = -4*t. Let o = 4 - 2. Let z = t + o. Does 5 divide z?
True
Let v(w) = w - 1. Let a be v(8). Let i(b) be the second derivative of b**3/6 - b. Is 6 a factor of i(a)?
False
Suppose 0 = -4*i - 43 - 13. Let k be 1/((-18)/(-10) + -2). Does 5 divide (-1)/(i/k - 3)?
True
Does 12 divide (5/(-15))/(2/(-216))?
True
Suppose -3*l + 288 = 3*f, -3*f = -4*l - 188 - 93. Is f a multiple of 22?
False
Is (-3 - (-1)/1)/(4/(-82)) a multiple of 4?
False
Let b(y) = 2*y**2 - 16*y + 20. Let i(t) = 4*t**2 - 31*t + 39. Let k(d) = -11*b(d) + 6*i(d). Is k(6) a multiple of 26?
True
Let r = 6 - 8. Let k be 1 - (-197 - r)/3. Is 19 a factor o