l. Is b(-3) a multiple of 2?
False
Is 7 a factor of -3 + (4 - -20) - (0 - 0)?
True
Let f = -7 + 0. Let j = f + 9. Suppose 10 = n + n + 3*p, 3*n - 20 = -j*p. Is n a multiple of 4?
True
Suppose 2*x + 0*x = 4. Suppose x*w + 26 = 2*t, -3*t = 5*w + 21 - 92. Is t a multiple of 10?
False
Is 3 a factor of 2/(-1 + 75/69)?
False
Is (-256)/40*5/(-2) a multiple of 9?
False
Suppose 0 = -7*v + 187 + 23. Is v a multiple of 15?
True
Let x(s) = s**2 + 10*s + 13. Let o be x(-9). Suppose r - 90 = -o*r. Is r a multiple of 9?
True
Suppose 0 = -t - 4*t + 25. Let k = -3 + t. Suppose -28 = -4*o - k*m, -1 = 3*o - 0*o - 4*m. Is o a multiple of 2?
False
Let c be 2/2 + 0 - -2. Is 11 a factor of c/(-9) + (-200)/(-6)?
True
Let l(h) = h**3 - 9*h**2 - 2*h - 8. Let b be l(7). Let j = 173 + b. Is j a multiple of 14?
False
Let i be 15/((-9)/(-12)*-2). Let j(q) = -66*q + 64*q - 14 + 2. Is j(i) a multiple of 8?
True
Let f be 3/(-4)*720/(-3). Suppose -f = -3*r - 3*r. Does 6 divide r?
True
Suppose -5*o - 62 = -3*w, w + o - 66 = -4*w. Let r be ((-7)/w)/((-1)/2). Is 0/2 + r - -19 a multiple of 8?
False
Let m = 114 + -2. Is m a multiple of 14?
True
Suppose -2*k - 70 = -3*m, 5*k = -m - 0*k + 46. Is 10 a factor of m?
False
Suppose o = 6*o - 20. Does 3 divide o?
False
Let i(c) = c**3 + 3*c**2 + 5*c - 3. Is i(3) a multiple of 11?
True
Let s = -5 + 9. Suppose s*j + 9 = -i + 157, 2*j - i - 68 = 0. Does 12 divide j?
True
Let v(w) be the first derivative of 3 + 1/4*w**4 - 3/2*w**2 - 5/3*w**3 - 7*w. Does 11 divide v(6)?
True
Let y = 4 - 3. Suppose -y = -2*i + 33. Is 8 a factor of i?
False
Let n(g) = -g**3 - 6*g**2 + 3*g. Let a(h) = -h**2 + 3*h - 2. Let t be a(4). Let m be n(t). Let l = m + 28. Is l a multiple of 8?
False
Suppose -y + 70 = 6. Is 6 a factor of y?
False
Let z = 9 - 1. Let a = 6 + z. Is a a multiple of 6?
False
Let k(d) = -4*d + 16. Let g be k(7). Is 10/g*(13 - 19) a multiple of 5?
True
Let t(m) = m**2 + 7*m. Let i be t(-7). Let r(a) = a**3 + 2*a**2 - 2*a + i*a + 0*a**2. Does 2 divide r(-2)?
True
Suppose 3*x + 123 = 2*j - 5, 0 = 4*x - 3*j + 171. Let m = x - -64. Is m a multiple of 20?
False
Suppose -137 = 5*w + 4*s, -135 = 7*w - 2*w + 5*s. Let i(q) = -6*q**2 + 3*q - 1. Let u be i(2). Let z = u - w. Is 10 a factor of z?
True
Let b = 22 - 3. Is 11 a factor of -3 - (-3 - (b + 1))?
False
Suppose u = 2*d - 0*d - 13, d - 34 = 3*u. Let j be 2/u + 180/22. Let z(f) = 4*f + 1. Is z(j) a multiple of 11?
True
Suppose -a + 0*a + 1 = 2*l, 0 = -4*l + 5*a - 33. Is 2 a factor of l/(-12) + 232/48?
False
Let w be (-10)/(-15) - 8/(-6). Suppose 0 = g + 1, 5*n - w*g - 57 = 25. Does 8 divide n?
True
Let n be (2 - 3 - -4) + -2. Is 4 a factor of 8 + -3 - 0/n?
False
Let i be 9 - (4 - 1)*-1. Suppose 48 = 3*t + i. Does 12 divide 1/((5/t)/5)?
True
Suppose 5*n = -3*o + 1095, 4*n + 0*o - 5*o - 913 = 0. Is 8 a factor of n?
False
Let h be (-2)/(-6) + (-16)/(-6). Does 21 divide 42/(6/9*h)?
True
Is 10 a factor of (-6)/9*(-402)/4?
False
Let t(c) = -4*c - 4. Let z be (0 - 15)/(6/4). Does 18 divide t(z)?
True
Suppose 2*f = -3 + 5. Let b(i) = -60*i**3 + i. Let s be b(f). Let w = -33 - s. Does 13 divide w?
True
Does 14 divide ((-308)/(-12))/(3/9)?
False
Let p(g) = -g**2 + g + 43. Let o(t) = t**2 + 8*t. Let f be o(-8). Is 19 a factor of p(f)?
False
Let w be -2*(-3)/(-18)*3. Let s(i) = -15*i. Does 5 divide s(w)?
True
Let n(c) = -14*c - 3. Let f be n(-6). Let l = f - 45. Does 9 divide l?
True
Let n = -118 - -65. Let z = n + 112. Does 30 divide z?
False
Let z(x) = 4*x - 4*x**3 + 3*x**3 + 4*x - 5*x**2 - 3. Does 13 divide z(-7)?
True
Let c(j) = -2*j**3 + 9*j**2 + 8*j - 1. Is c(-4) a multiple of 19?
False
Suppose 2*q + 24 - 6 = 0. Suppose -3*x + 212 = x. Let m = q + x. Is 15 a factor of m?
False
Suppose 2*r - 182 = -4*c, -r - 5 + 50 = c. Is c a multiple of 15?
False
Let c = 75 - 7. Is (c/10)/(11/165) a multiple of 21?
False
Let t be ((-98)/(-3))/((-6)/(-18)). Suppose 4*p + m - 127 = 0, 6*p - 2*m = 3*p + t. Is 16 a factor of p?
True
Suppose 2*p + 512 = 6*p. Is 16 a factor of p?
True
Suppose 5*n - 14 = -5*p - 64, 32 = -5*n + 4*p. Let f be (n - -5) + 4*1. Is 6/(5/3 - f) a multiple of 7?
False
Suppose -x - o = -16 - 19, -2*x + 2*o = -70. Suppose -2*p = -3*r + 21, 2*r - 3*p - x = -3*r. Does 3 divide r?
False
Suppose 0 = -4*p + 8 - 28, 85 = q - 2*p. Is q a multiple of 5?
True
Suppose -5 = -5*w + 3*u + 9, 5*u + 15 = 0. Let s(k) = 3*k**2 + 3*k - 2. Does 2 divide s(w)?
True
Let s(r) = r**2 + 5*r + 20. Does 34 divide s(10)?
True
Let d = -1 - 0. Let o(u) = -3*u**2 + u + 1. Let p be o(d). Is 54/8*(-8)/p a multiple of 9?
True
Let w(l) be the first derivative of l**4/4 - l**3/3 + l**2/2 + 7*l - 2. Does 7 divide w(0)?
True
Let q(c) = 3*c**2 + c - 1. Let b be q(1). Let h = 5 + b. Suppose 3*t - 13 - h = 0. Does 5 divide t?
False
Let i(t) = -t**2 - 7*t - 1. Let g be i(-6). Let y = g + -1. Does 15 divide y/(-14) - (-522)/14?
False
Suppose 3*d - w - w = 76, 2*w - 2 = 0. Does 13 divide d?
True
Let w = 18 - 10. Let v = w + -16. Let l = 9 - v. Is 17 a factor of l?
True
Let u(f) = 2*f**3 + f**2 + 2*f + 2. Does 10 divide u(3)?
False
Let w = -93 + 63. Let r = -26 - 28. Let u = w - r. Does 12 divide u?
True
Let l(f) = f**3 + 15*f**2 - 4*f - 1. Is 10 a factor of l(-15)?
False
Suppose -3*a + 0*a + 18 = 0. Let w be a/(-15) - 34/(-10). Suppose 3*c = w*s - 66, -s + 5*c - 130 = -6*s. Is 18 a factor of s?
False
Suppose 4*f + 4*y - 456 = 0, -2*f - 5*y + 34 + 206 = 0. Suppose -f = -5*t + 3*b, -2*t + 5*t - 66 = b. Does 11 divide t?
True
Let x(b) = b**2 - 5*b + 4. Let u be x(5). Suppose u*p - n = -22, -5*n + n + 28 = -4*p. Is (7*-1)/(p/15) a multiple of 7?
True
Suppose 3*s = -5*w + 15, -w - 7 + 2 = -s. Suppose z - 17 - 17 = w. Is 22 a factor of z?
False
Let z(s) = 2*s**3 - 2*s**2 - 2*s. Let g be z(2). Let c be -1 - g*(1 + -2). Suppose -5*d = o + 2*o - 125, -4*d = c*o - 121. Is o a multiple of 15?
False
Suppose 69*d = 63*d + 1356. Is 34 a factor of d?
False
Let g = -315 + 492. Suppose -48 = -5*q + g. Is q a multiple of 16?
False
Let g be (-15)/2*(-8)/10. Suppose -1 = 4*z + 5*s, 0 = -z + g*z + 5*s. Let m(f) = 14*f**3 - f + 1. Is m(z) a multiple of 6?
False
Let n = 0 + -1. Let s = n - 9. Is (-4)/s*(18 + 2) a multiple of 5?
False
Let z(r) = 33*r**2 + r. Let p be z(-2). Suppose 0*w - 5*w + p = 0. Is w a multiple of 9?
False
Suppose q + 2 = 31. Does 7 divide q + 0 + 0 + 3?
False
Let h(f) = f**2 + 9*f + 2. Let g be h(-9). Let u(a) = -4*a - 1. Let z be u(g). Let m = z + 18. Does 5 divide m?
False
Suppose 0 = -5*s + 85 + 125. Is 14 a factor of s?
True
Let g = -33 + 41. Is g even?
True
Let x = -413 - -578. Is 33 a factor of x?
True
Let y(a) be the third derivative of a**6/40 + a**5/60 - a**4/12 + a**2. Suppose 3*h - 3*x = 12, -3 = 2*h + 4*x + 1. Is y(h) a multiple of 12?
True
Let p = 196 + -190. Is p a multiple of 6?
True
Suppose 14*r - 16*r = -58. Does 16 divide r?
False
Let v be 3/(9/21) + 0. Is 16*1 - (5 - v) a multiple of 6?
True
Let a(p) = p**3 - 2*p**2 - 2*p + 5. Let k = 10 + -6. Suppose 3*j + 3*d = 15, -2*j + 3*d = -k*j + 11. Does 8 divide a(j)?
False
Let h(x) = -x**2 - 5*x + 2. Let d be h(-5). Let r be 3*-1*d/(-3). Suppose 2*g - 4 = r*y + 10, 2*g = -3*y - 6. Is 3 a factor of g?
True
Suppose -3*o - 111 = -5*d + 2*d, 5*o = -d + 31. Does 9 divide d?
True
Let q = -11 - -19. Is q a multiple of 3?
False
Let o(v) = -v**2 - 6*v - 1. Let f be (2 - 1)/(3/(-15)). Is o(f) a multiple of 2?
True
Let w be ((-30)/4 - 0)*8. Let c = -15 - w. Is c a multiple of 15?
True
Let i(f) = f**2 + 2*f. Let g be (-3 - -3) + (-1 - 1). Let q be i(g). Let j = 2 + q. Is j even?
True
Let c = -3 + 73. Is 14 a factor of c?
True
Let x(l) = l**3 + 14*l**2 - 19*l - 11. Does 9 divide x(-15)?
False
Suppose -94 = 3*j - 4*j. Is 44 a factor of j?
False
Suppose v + 2*v - 21 = 0. Let g(m) = m**3 - 8*m**2 + 7*m - 1. Let c be g(7). Let b = v + c. Does 3 divide b?
True
Suppose -5*i + 215 = 5*o, 2*o - 5 = 5. Is i a multiple of 4?
False
Let c(h) be the first derivative of h**3 + 7*h**2/2 + h + 1. Is c(-5) a multiple of 24?
False
Let k(p) = p + 10. Does 6 divide k(8)?
True
Let z = -4 + 8. Suppose 2*u - z*u + 42 = 0. Does 6 divide u?
False
Suppose -5*o - l = 29, 2*o + 5 - 15 = 5*l. Does 29 divide (o - -4 - 57)/(-2)?
True
Let k(b) be the second derivative of -b**5/20 + 2*b**4/3 - b**3 - 3*b**2 - b. Let p be k(7). I