q. Let n(r) = 2*d(r) + 44*w(r). Is 26 a factor of n(-2)?
False
Suppose 0 = -3*f + 4 + 410. Let g(b) = -b**3 + 7*b**2 - 5*b - 3. Let u be g(6). Is 18 a factor of u/4 + f/8?
True
Let a = 12 + 34. Does 23 divide a?
True
Let k be 10/4 + (-6)/(-4). Let p = -1 + k. Suppose q - p*z - 45 = 2*z, q - 15 = -5*z. Is q a multiple of 11?
False
Suppose 2*r - 75 = -3*z + 36, 0 = -5*r - z + 284. Is 11 a factor of r?
False
Let y(d) = 3*d - 3. Let j be y(-3). Let m = j - -55. Is 18 a factor of m?
False
Let c(y) be the second derivative of -7*y**3/6 - 5*y**2 + y. Does 6 divide c(-4)?
True
Does 30 divide (0 - -1) + -4 - -123?
True
Let z(q) = -q**3 + 8*q**2 + 3*q. Let f be (2/5)/((-1)/(-40)). Suppose l - f = -l. Does 12 divide z(l)?
True
Does 15 divide (-12)/(-16)*4 + 66?
False
Suppose 0 = -l - 0*l. Let y be (-2)/((1 + l)*-1). Suppose 3*s = y*s + 42. Is s a multiple of 21?
True
Let c(l) = l - 7. Let a(r) = 3*r - 14. Suppose -4*g = x - 7, 1 + 4 = g - 3*x. Let u(f) = g*a(f) - 5*c(f). Is u(-3) a multiple of 3?
False
Let f(z) = z**3 - z + 14. Suppose -2 = s - 5*s - 2*g, g - 1 = -5*s. Is 5 a factor of f(s)?
False
Suppose 5*i + 74 = 3*l, -18 = l - 2*l - 5*i. Let y = 27 - l. Does 4 divide y?
True
Suppose -i = 2*c - 33, 4*i = 2*c + 2*c - 96. Does 4 divide c?
False
Is -19 + 128 + (2 - -1) a multiple of 16?
True
Let k(c) = -2*c + 1. Let t(f) = 2*f + 1. Let x be t(-3). Let i(r) = -6*r + 2. Let s(d) = x*i(d) + 14*k(d). Is 7 a factor of s(5)?
True
Let s(l) = l**3 - 8*l**2 + 8*l - 5. Let x be s(7). Suppose -x*b = -2*n - 28, -b - 5*n = 2*b - 10. Is 10 a factor of b?
True
Suppose -3*o = -o - 60. Does 16 divide o?
False
Let b = -104 - -155. Suppose -21 = -4*w + b. Does 18 divide w?
True
Let o = -2 - -9. Is 3 a factor of o?
False
Let m(l) = 15*l**2 + 6*l + 6. Let q(h) = -16*h**2 - 7*h - 7. Let j be (-1)/2*1*-8. Let y(t) = j*m(t) + 3*q(t). Does 16 divide y(-2)?
False
Let m(r) = 137*r**2 + 3*r + 1. Is m(-1) a multiple of 45?
True
Is 15 a factor of -1 + (-2 - -1 - -32)?
True
Suppose 2*b + p = 21 - 5, -5*b + 40 = -5*p. Suppose 2*s - b = -2*s. Suppose -s*u = g - 55, 5*u - 118 = -5*g + 17. Does 14 divide u?
True
Suppose 5*b + 4*z = 5*z - 27, z = b + 7. Let o(t) = -t**3 - t**2 + 6*t - 5. Is o(b) a multiple of 13?
True
Suppose 3*i = 6, 4*b - 110 = -0*b - i. Does 13 divide 464/18 - (-6)/b?
True
Suppose -4*q - 166 = -5*n - 15, -5*n - 3*q + 158 = 0. Let a(t) = -8*t + 3. Let j be a(2). Let d = n + j. Does 9 divide d?
True
Suppose 0 = -5*r + 3*i + 81, 0 = -3*r + 2*i - 0*i + 48. Is r a multiple of 7?
False
Suppose 5*l = 0, 3*x + l = -0*x + 144. Is 6 a factor of x?
True
Let i be (-10)/(-25) + 13/5. Suppose i*q = -5*r - 9, 0 = 2*r + 3*r - 3*q - 9. Does 10 divide r*(-3)/6 + 10?
True
Let x(l) = -l**2 - 6*l + 2*l + 4 - 3*l + 0*l. Let i be x(-4). Let v = i - -5. Does 12 divide v?
False
Let u(k) = 4*k**2 + 2*k - 2. Let m = 0 - -3. Is u(m) a multiple of 20?
True
Let x = 118 + -70. Is x a multiple of 27?
False
Let h = -8 + -2. Let k be h/(-4) + 3/6. Suppose 6 = 3*c - k. Is c a multiple of 3?
True
Let o(f) = f**2 - 7*f + 1. Let t be o(7). Let i = t - -1. Does 20 divide 61 - (i - 2/2)?
True
Let d(k) = 3 + 0 + k - 5 - 2*k. Let t be d(9). Let r(v) = v**3 + 11*v**2 - v + 13. Does 16 divide r(t)?
False
Let s = -10 + 17. Does 6 divide s?
False
Let c(d) be the third derivative of d**5/60 + d**4/6 + 2*d**3/3 - 6*d**2. Does 13 divide c(-10)?
False
Let j(i) = -2*i - 6. Suppose 2 - 7 = z. Does 4 divide j(z)?
True
Let r(a) be the third derivative of a**5/20 - a**4/6 + 2*a**2. Let d be r(3). Suppose 4*o - o = d. Is o even?
False
Suppose -4*x + 15 = -2*g + g, -g - 4*x = -25. Suppose 0 = -g*q - z + 12, 0*q - 4*q = -4*z. Suppose q*r = 56 - 10. Does 10 divide r?
False
Suppose -5*v - 722 = 113. Let z = v + 255. Suppose -2*o = 4*w - 24, 0 = -5*o - 4*w - 16 + z. Is 15 a factor of o?
False
Let k(y) = -6*y - 6. Suppose 12*q - 10*q + 16 = 0. Is 11 a factor of k(q)?
False
Let n = 213 + -126. Is 16 a factor of n?
False
Let v(f) = 442*f - 7. Is 29 a factor of v(1)?
True
Let v(r) = -r**3 + 7*r**2 + 7. Let i be v(7). Suppose -3*s - 76 = -i*s. Is s a multiple of 19?
True
Suppose -2*p + 4*x = -8, -x = -0 + 1. Suppose 2*t - 4*m = -3*m + 2, -m + 2 = p*t. Suppose -87 - t = -4*o. Does 11 divide o?
True
Suppose -3*d = d - 32. Is 4 a factor of d?
True
Is (222/(-36))/(1/(-6)) a multiple of 11?
False
Let w(l) be the second derivative of 11*l**3/6 - 9*l**2/2 + 7*l. Suppose -14 = -3*m + 4. Is 22 a factor of w(m)?
False
Let i = 8 - 4. Suppose 10 = -5*r, 0 = -y + 2*y + i*r - 18. Is 26 a factor of y?
True
Let r(j) = -28*j**2 - j. Let f be r(1). Let w = f - -57. Does 14 divide w?
True
Suppose -10 = 3*p - 5*o, -4*o + 31 = 4*p - 9. Suppose l - 26 = -d, -4*d + d + 80 = p*l. Does 7 divide d?
False
Let f = -39 - -62. Is f a multiple of 9?
False
Let s(a) = 14*a - 3. Let t be s(5). Let w = t - 25. Is w a multiple of 11?
False
Suppose 0 = -r - 4*r + 95. Let x = -12 + r. Is 3 a factor of x?
False
Let h(d) = 4*d - 5. Does 2 divide h(3)?
False
Suppose 45 = 11*z - 8*z. Is z a multiple of 5?
True
Let c(o) = 4*o - 3. Let t be c(2). Suppose h + 48 + 4 = t*y, -5*y + 5*h = -60. Is y a multiple of 4?
False
Suppose 108 = -7*q + 25*q. Is q even?
True
Let t = 66 + -27. Suppose -t = -a - 9. Is a a multiple of 10?
True
Let q(l) = -4*l - 3. Let k be q(-3). Suppose 2*p + 5*w = 83 - k, 0 = -4*p - 2*w + 132. Does 12 divide p?
False
Suppose 4*m - 1070 = 3*a - 6*a, -675 = -2*a + 5*m. Does 25 divide a?
True
Let x = -17 - -17. Suppose 0 = -5*b - x*b + 35. Is b a multiple of 7?
True
Let u(f) = f**3 + 13*f**2 + 12*f + 24. Is 4 a factor of u(-12)?
True
Suppose -i + 4*i - 9 = 0. Let m = i - -2. Let d = m - 0. Is 2 a factor of d?
False
Let c(j) = -47*j**3 + 1. Let v be c(-1). Let l(k) = k**3 - 6*k**2 - 3*k - 2. Let b be l(6). Does 8 divide (v/10)/((-6)/b)?
True
Is 8 a factor of ((-232)/12)/(2/(-3))?
False
Suppose 5*i - 148 = -2*h, -2*h - 108 = -4*i - h. Does 6 divide i?
False
Suppose -5*h + 3*v = -19 - 26, 0 = 3*h - 3*v - 33. Let x(d) = d - 4. Let m be x(h). Does 18 divide (-1*m)/1 - -27?
False
Let v = 9 - 19. Is 17 a factor of (6 + -50)*v/8?
False
Let d(c) = -c. Is 2 a factor of d(-4)?
True
Let r = -19 - -28. Let t = 31 + r. Is 20 a factor of t?
True
Let q be 1 + -2*(11 - 2). Let s = 3 - q. Is s a multiple of 12?
False
Is (-53)/(((-2)/1)/(3 - 1)) a multiple of 30?
False
Let k = -21 - -51. Let b = k - 12. Does 9 divide b?
True
Let d be 168/27 - 6/27. Let a = d - -3. Let y = a - -3. Is y a multiple of 6?
True
Suppose 0 = -d + 2*k + 12, -2*k - 2 = -4. Let h(v) = v**3 - 15*v**2 + 15*v + 13. Is 13 a factor of h(d)?
False
Let w(h) = 9*h**3 + h**2 + h - 1. Suppose 3*l + 2*n - 9 - 1 = 0, -3*n = 5*l - 15. Suppose 2*i - 5 + 3 = l. Is w(i) a multiple of 10?
True
Let p(g) = g**3 + 10*g**2 + 12*g - 3. Let w be p(-9). Let k = w + 52. Is k a multiple of 11?
True
Suppose -2 = 5*f + v - 2*v, v - 2 = 2*f. Suppose 2*u = q + 68, f = -4*u + 3*q + 152 - 18. Suppose -d = 4*d - u. Is 4 a factor of d?
False
Suppose -7*f + 6*f = -56. Does 25 divide f?
False
Let p = -3 - -9. Suppose -5*y + p = 5*s - 3*s, s - 3 = 3*y. Let t(w) = -w + 9. Is 4 a factor of t(y)?
False
Let d(t) = 0*t**2 + 3*t + 4*t + t**2 + 10 - 2*t**2. Is d(7) a multiple of 4?
False
Let g(t) = -t**2 - 21*t + 16. Is g(-18) a multiple of 14?
True
Let d(m) = m**2 + 2*m + 2. Let q be d(4). Suppose q - 89 = -r. Is r a multiple of 21?
True
Let k(t) = -t**3 + 8*t**2 + 5*t - 2. Is 18 a factor of k(8)?
False
Let f = 137 + -51. Is f a multiple of 9?
False
Let y be (4 + 4/(-1))/1. Suppose y = -2*f - 3*f - 2*r + 194, 4*f + r - 157 = 0. Does 20 divide f?
True
Let i = 7 - 7. Suppose 2*j - j - 18 = i. Suppose -5 = -y + j. Is y a multiple of 18?
False
Let o(v) = v**2 - v - 5. Let a be 2/4 + 42/12. Does 5 divide o(a)?
False
Suppose 0 = -3*x - 9 - 15. Let b be (-132)/(-16) - (-2)/x. Suppose 2*d + b - 110 = 0. Is 17 a factor of d?
True
Let h = 165 - 99. Is 16 a factor of h?
False
Suppose 2*d + 19 = -21. Let x be 5/(-15) - (-284)/6. Let s = x + d. Does 12 divide s?
False
Suppose 75 = 3*g - 177. Is g a multiple of 7?
True
Suppose 3*c = c + 14. Is c a multiple of 3?
False
Let l(m) = 391*m**3 - 5*m**2 + 6*m - 2. Is l(1) a multiple of 10?
True
Let u(f) = -f**3 - 9*f**2 - 12*f - 2. Let z be u(-8). Suppose 2*p = p, -z = -t - 4*p. Does 11 divide t?
False
Suppose 110 + 