t q be (-11)/44 + 255/(-20). Is 15 a factor of t(q)?
True
Let b(h) = -7*h**3 + 6*h**2 - h + 5. Let f(z) = -3*z**3 + 3*z**2 - z + 2. Let o(i) = -4*b(i) + 9*f(i). Is 11 a factor of o(-3)?
False
Let g = -16 + 21. Suppose g*a + 48 = 348. Is a a multiple of 12?
True
Suppose -4 = 4*d, 10*d - 12*d + 3214 = 3*m. Is 8 a factor of m?
True
Let k(s) = -s + 2. Let d(m) = 3. Let j(a) = -2*d(a) + 3*k(a). Let h be j(-1). Suppose 5*v - 213 = o, -h*v - 2*o - 90 = -5*v. Is 18 a factor of v?
False
Let i be 62/(-3)*9/(-6). Suppose x = -3*u + i, -2*u - 5*x = 3*u - 35. Is u even?
True
Suppose -4*l + 3*g = -0*l - 18, 3*g + 3 = -l. Let w be ((-4)/(-4) - 0) + l. Suppose 5*y + 4*h = 42, 3*y - w*h - 36 = -h. Does 5 divide y?
True
Let r = 955 + -499. Is 12 a factor of r?
True
Suppose 194*r - 191*r + 3*g = 2160, 0 = g. Is 7 a factor of r?
False
Let w(i) = -i**3 - 7*i**2 - 6*i + 4. Let v(h) = h**2 + 1. Let r(u) = -2*v(u) + w(u). Let n be r(-9). Suppose -3*f = 12, -f = -2*p - 0*f + n. Does 26 divide p?
True
Suppose 0 = 4*o - z - 0*z - 28, 3*z = 4*o - 28. Let t(b) = -21 + 20 + 0*b - o*b + 0*b. Does 13 divide t(-2)?
True
Is (226/3 - 4) + 4/6 a multiple of 2?
True
Let j be 1*(-3 - (-1 + -2)). Suppose j = -0*t + 2*t - 168. Let b = -55 + t. Is b a multiple of 16?
False
Suppose 0 = h + h, -4*x - h + 48 = 0. Suppose x = 2*a - 12. Does 6 divide a?
True
Let w(v) be the second derivative of 5*v**3/3 - 21*v**2/2 - 24*v. Does 42 divide w(7)?
False
Suppose 14*g - 118*g + 209456 = 0. Is 19 a factor of g?
True
Suppose 4*w - 2*o = 227 + 217, o = -2*w + 214. Does 29 divide w - (-3 - (-16)/4)?
False
Let k(j) = -j**3 + j**2 + 8*j + 23. Is 48 a factor of k(-5)?
False
Let i = -44 + 142. Suppose i = 5*x - 57. Does 8 divide x?
False
Suppose 7*g - 41 = 43. Is (-5 + 52/g)/(1/(-345)) a multiple of 39?
False
Suppose -2*h + 3*d - 147 = 0, 3*d = -2*h - 106 - 47. Let y be ((-8)/(-10))/((-10)/h). Suppose 0 = r - 30 + y. Is r a multiple of 7?
False
Let t(o) = o - 7. Let s be t(14). Suppose s = 4*m + 23. Does 4 divide -24*m/(-16)*-2?
True
Let v(l) = l**3 + 26*l**2 - 2*l + 17. Does 25 divide v(-26)?
False
Let y(f) be the second derivative of f**4/6 - 2*f**3/3 + 2*f**2 - f. Suppose 113 = 2*a + 111, h = 5*a + 1. Is 12 a factor of y(h)?
False
Suppose -q - 572 = -3*n + 879, 0 = -n - 5*q + 457. Is 41 a factor of n?
False
Suppose 5*n = -t - 405, -5*n + 2*t - 4*t - 410 = 0. Does 15 divide 4/(n/25)*-36?
True
Suppose -30 = 5*d - 5. Let t(a) = -a**3 - 7*a**2 - 7*a. Let y be t(d). Is 5 a factor of 144/15 + (-6)/y?
True
Let d(z) be the first derivative of 2*z**3 - 5*z**2/2 + 2*z + 4. Let m be d(2). Does 10 divide m/(-10)*(-12 + -3)?
False
Let v(k) = -298*k - 35. Is v(-4) a multiple of 28?
False
Suppose -8*q + 3*q + 165 = 0. Is -175*(6/27 - q/27) a multiple of 39?
False
Suppose r - 4 = 2*z, -2*r + 16 = -2*z - 7*r. Let n be 5/15 + 1/z. Let k = 12 - n. Is k a multiple of 4?
True
Suppose -5*n + 2*b = -3204, 2*n + 2*b - 1065 - 225 = 0. Is n a multiple of 12?
False
Suppose 0 = 5*g + 5*u + 190, 4*g + 2*u = 8*g + 158. Let l = 43 + g. Is l even?
True
Let z(m) = 8*m**2 + 2*m - 3. Let s be z(1). Suppose 5*a - s*a = -150. Is 5 a factor of a?
True
Suppose 0 = -17*q - 4528 + 12756. Is q a multiple of 22?
True
Suppose -13*f + 3*f = -4*f. Suppose 4*v - 343 = k, 85 = -f*v + v - k. Does 43 divide v?
True
Is 1082/24 - (-40)/(-480) a multiple of 4?
False
Suppose 0 = 132*d - 159*d + 42768. Is d a multiple of 33?
True
Let p = 330 + 136. Is 61 a factor of p?
False
Let d(l) be the second derivative of l**3/3 + 3*l**2 - 2*l. Let x be d(0). Let i(f) = 15*f + 6. Does 31 divide i(x)?
False
Suppose -5 - 22 = -5*d - 3*a, -d - 2*a + 11 = 0. Suppose -d*i - 3*o = 0, -2*i - 5 = i + 4*o. Is 5 a factor of i?
True
Let h be (63/14)/((-6)/(-8)). Suppose 0 = 8*y - h*y - 46. Is y a multiple of 5?
False
Suppose 3*a + 2*h + 3*h - 84 = 0, 4*h = -a + 21. Let t be 706/10 + (-20 - (-510)/25). Let r = a + t. Does 26 divide r?
True
Let r = -1043 + 1182. Does 5 divide r?
False
Let x(v) = -28*v - 32. Let o = -90 + 85. Is x(o) a multiple of 18?
True
Let v be 2*(14/4 - 2). Suppose 0 = v*q - 5 - 1. Suppose q*h = h + 60. Is 20 a factor of h?
True
Let m be ((-9)/(-5))/((-15)/(-50)). Suppose m*z - 280 + 58 = 0. Let s = -26 + z. Is 11 a factor of s?
True
Is 58 a factor of 1*12/42 - 29226/(-21)?
True
Suppose -24*u + 6 = -22*u. Suppose 7*z = 2*z + 90. Suppose y + u*r - z = 0, 2*y + 0*y = 3*r. Does 2 divide y?
True
Suppose 2*o = -4*o + 54. Suppose 4*w - o*w = -90. Does 5 divide w?
False
Is 14 a factor of ((-2128)/380)/((-1172)/585 + 2)?
True
Suppose -2 = -2*f, 0 = 5*p + 2*f - 125 - 242. Is 37 a factor of p?
False
Suppose 79 = 4*j - 93. Let v = 71 - j. Does 4 divide v?
True
Let h(u) = -17 - 2*u + 0*u**3 - 3*u**2 - u**3 + 3 + 10. Is 20 a factor of h(-4)?
True
Let t be ((-52)/(-12) + -3)*177. Suppose -4*o - r + 220 = 0, -4*r = -4*o - r + t. Is o a multiple of 7?
True
Let c = 14 - 13. Let f(j) = 17*j**3 - j**2 + 2*j - 1. Is f(c) a multiple of 7?
False
Is 2 a factor of 12 - 2 - (-54)/(-9)?
True
Let a(o) = o**3 - 2*o**2 - 4*o - 10. Suppose -4*k = 4*x - 32, -2*x - 2*x = -k - 17. Is 15 a factor of a(x)?
True
Let y(n) = 76*n + 18. Does 63 divide y(13)?
False
Does 15 divide -48*((-62)/20 - 36/(-60))?
True
Let f(j) = 42*j**3 - j**2 - j + 1. Suppose 0 = -3*c + 5*b + 4 - 1, 0 = 2*c + 5*b - 2. Is 23 a factor of f(c)?
False
Suppose -2*r + 0*b + 1130 = 3*b, 0 = -3*b - 12. Is r a multiple of 28?
False
Let r(h) = -6*h + 7. Let q be r(-9). Let m = q - 31. Let j = m - 18. Does 6 divide j?
True
Let p(c) = 5*c + 32. Suppose 3 = -4*d - 17. Is 6 a factor of p(d)?
False
Let t be (3 - 228/4)*(-20)/12. Let x = t + 169. Is 37 a factor of x?
True
Suppose 2*m - 72 = -q, -2*q = -0*m - m + 41. Suppose 4*t - 5*b - m = 8, t - 18 = -b. Suppose 0 = -a - 0*a + t. Is a a multiple of 6?
False
Let v(x) = x**2 - 12*x + 4. Let a = 96 - 81. Does 7 divide v(a)?
True
Suppose -15*m + 2641 + 2039 = 0. Is m a multiple of 23?
False
Suppose -62*b - 8*b + 78750 = 0. Is 75 a factor of b?
True
Let n(q) = -13*q + 4. Let f(c) = c**2 + 5*c + 4. Let m be f(-4). Suppose m = w - 3*w - 6. Is 13 a factor of n(w)?
False
Suppose 2*y - 2298 = 5*p, -2*y + 21*p - 23*p + 2326 = 0. Is 19 a factor of y?
True
Let z(p) = p + 9. Let y be z(-6). Suppose 0*f = y*f + 45. Let g = f + 35. Is g a multiple of 10?
True
Let f = 28 + -30. Let g be f/(-3)*24/4. Suppose -g*x + 52 = -4. Is x a multiple of 2?
True
Let g(f) be the third derivative of -29*f**5/20 + f**4/24 + 5*f**2. Let z be g(1). Let u = z + 168. Is u a multiple of 25?
False
Let a(p) = -107*p - 36. Is 8 a factor of a(-3)?
False
Suppose -3*z - 654 = -3*g - 0*z, -614 = -3*g - 5*z. Does 24 divide g?
False
Let y = -8 - -6. Let p be (-9)/(-2) + 3/y. Suppose -4*r = -p*r - 5. Does 2 divide r?
False
Suppose 2*f + x + 4369 = 7*f, -2*x - 3494 = -4*f. Is f a multiple of 23?
True
Suppose -q + 6*q - 1905 = 0. Suppose 5*f - f = 2*h + 162, q = -5*h + 4*f. Let z = -49 - h. Does 6 divide z?
True
Let j(x) = x**3 - 2*x**2 + 3*x - 2. Let o(s) = 1. Let k(l) = l**2 + 8*l + 5. Let v(h) = -k(h) + 2*o(h). Let w be v(-7). Is 16 a factor of j(w)?
False
Let d(o) = -o**3 + 12*o**2 - 6*o - 74. Is d(8) a multiple of 2?
True
Let v = 18 - 23. Let y(o) = -o**3 - 5*o**2 + 11. Is 11 a factor of y(v)?
True
Let k = -67 + 69. Suppose 4*w - 52 = f + 4*f, -k*f + 8 = 2*w. Is 4 a factor of w?
True
Let r = 9 + -5. Suppose 369 + 131 = r*j. Let n = j - 78. Is 19 a factor of n?
False
Let s(k) = 5*k**3 - 7*k**2 + 5*k - 2. Is s(2) a multiple of 15?
False
Let z(t) = 5*t**3 - t**2 - 6*t + 11. Let r(d) = -4*d**3 + 2*d**2 + 5*d - 11. Let a(k) = 6*r(k) + 5*z(k). Is a(-6) a multiple of 7?
False
Let x(a) = 26*a - 54. Is 4 a factor of x(7)?
True
Suppose -1 = k, -5*k - 7 = 2*s - 4*s. Is s + 0 + 21 + 0 a multiple of 11?
True
Let x(u) = -5*u - 7. Let r be x(-4). Let g = 41 - r. Is g a multiple of 10?
False
Suppose 5*u - 28 + 13 = 0. Suppose 76 + 47 = s - 2*g, 3*s = u*g + 357. Does 22 divide s?
False
Suppose 0*q = -2*q + 10. Let b(l) = -3*l - q*l**3 - l + 7*l**2 - 1 - l**3 + 5*l**3. Does 9 divide b(4)?
False
Let j be (-2)/(-4)*(1 - -3). Let i = 24 - 20. Suppose 0 = 4*a - j*h - 4 - 36, -i*a = -h - 44. Is 4 a factor of a?
True
Let v(c) = 2*c**2 - 22*c + 18. Let i(k) = k + 9. Let o be i(6). Does 17 divide v(o)?
False
Suppose 5*o = 5*a + 3270, -5*o - 2*a + 