-5*g + 250, 0 = 2*g - 3*k - 93. Does 9 divide g?
True
Suppose -5*c + c + 2*l = 6, -5*c - 2*l = -6. Let i(m) = -3*m + 91. Does 44 divide i(c)?
False
Let q(o) be the second derivative of o**4/12 + 3*o**2/2 + o. Let p be q(0). Suppose -2*t = 3*n - 0*n - 31, 32 = p*n + t. Does 3 divide n?
False
Let s = 2171 + -1391. Does 20 divide s?
True
Suppose -g + 74 = -0*g. Is 45 a factor of g?
False
Let h(j) = -j**2 - 11*j - 7. Let t be h(-10). Suppose 0 = -t*g + 2*r - 173, -r + 5*r - 126 = 2*g. Let x = g - -120. Is 13 a factor of x?
True
Let t(a) = -a + 3*a**2 - 2*a**2 + 4*a - 9. Let o(d) = d**3 + 14*d**2 - 11*d + 64. Let g be o(-15). Is t(g) a multiple of 12?
False
Suppose 1013 = 5*d - 1147. Is 48 a factor of d?
True
Suppose -5*l - 5 = -4*l. Let o(b) = b**3 + 2*b**2 - 6*b + 7. Let y be o(l). Let u = y + 54. Is 16 a factor of u?
True
Let d(f) = -f - 10. Suppose -15 = -5*n, -3*z + 2*n = -0*z + 24. Let v be d(z). Is 5 a factor of (0 - v)/((-6)/(-33))?
False
Suppose 11*v - 68 = 7*v. Let g(j) = j**2 - 15*j - 22. Is g(v) a multiple of 2?
True
Let p = 632 + 295. Is 10 a factor of p?
False
Let z(h) = h**3 + 6*h**2 + 5. Let p = -4 - 0. Let t be z(p). Suppose 0 = -0*x + 2*x + n - t, -4*n + 4 = 0. Is x a multiple of 15?
False
Is 23450/28 + (-1)/(-2) a multiple of 22?
False
Let t be (-12)/(-8) + ((-228)/8 - 2). Let b = 22 - t. Is 5 a factor of b?
False
Let j be (-4172)/70 + (-4)/10. Let b = j - -77. Does 3 divide b?
False
Suppose -38 = -16*w + 42. Suppose -s - 13 = -2*r + 19, w*r = -3*s + 102. Is r even?
True
Let d(b) = 27*b**2 + b + 4. Let w(p) = 55*p**2 + 2*p + 9. Let n(i) = 5*d(i) - 2*w(i). Does 20 divide n(-2)?
True
Let d(k) = 48*k**2 - 4*k - 12. Is d(-2) a multiple of 47?
True
Let b(d) = d**2 + 10*d + 15. Let v be b(-9). Suppose -2*s - 16 = -v, -s = 3*y - 16. Is 5 a factor of y?
False
Let h = 1716 + -366. Is h a multiple of 90?
True
Let t(f) = -f**3 + 5*f**2 + 8*f + 4. Let x be t(6). Suppose -6*j + 2*j + x = 0. Suppose 2*z = 5*n + 73, -3*z = -0*n + j*n - 121. Is 13 a factor of z?
True
Suppose -766 = -t + 3*l + 1500, -l = -5. Does 21 divide t?
False
Suppose 2*h - 4*k - 9228 = 0, 3 + 17 = 4*k. Is h a multiple of 17?
True
Suppose 0 = -12*y - 0*y + 84. Suppose 0 = 4*r - 193 - y. Is 9 a factor of r?
False
Suppose 69 + 1066 = 5*r. Suppose 0 = -3*o + 5*g + r, -104 = -o - g - 31. Is 13 a factor of o?
False
Is (-3 + -94)*-40*(-2)/(-4) a multiple of 62?
False
Suppose l + r - 23 = -5, 98 = 5*l + r. Suppose -4*p - 5*x = -0*x - 208, -5*x - l = 0. Does 15 divide p?
False
Let t(w) = 6*w**2 + w. Let j(i) = -3*i**2 + i**2 - 5*i**2. Let v(g) = 5*j(g) + 6*t(g). Is v(5) a multiple of 11?
True
Let i(z) = -z**2 + 5*z - 2. Let x(u) = -u**3 - 8*u**2 + 10*u + 13. Let k be x(-9). Let c be i(k). Suppose 10 = 5*p, -y = 2*y - c*p - 38. Is 7 a factor of y?
True
Let p(r) = r**2 + 20*r + 90. Is 15 a factor of p(-16)?
False
Suppose -4*m = 4*m - 768. Suppose -2*z = -136 - m. Is 29 a factor of z?
True
Let b(s) = -s**2 + 10*s + 3. Let z be b(10). Suppose -z*c = -5*a + 412, 0 = -a - 4*c - 19 + 83. Is 40 a factor of a?
True
Let q(c) = c**3 - 18*c**2 - 17*c - 28. Let t be q(19). Is 48 a factor of 173/6*t + (-9)/27?
True
Suppose w - 13 = -2*v, 48*v = 4*w + 51*v - 77. Is w a multiple of 23?
True
Is (-14162)/(-10) - 66/330 a multiple of 26?
False
Suppose 8*f - 1335 = 17. Is 14 a factor of f?
False
Suppose -4*s + 276 = -2*s - 4*p, 0 = s + 4*p - 156. Does 18 divide s?
True
Suppose -33*s + 7785 = 1812. Is 4 a factor of s?
False
Let l(b) = 12*b + 49. Does 17 divide l(20)?
True
Let b(j) be the second derivative of -j**3/6 + 45*j**2 - 3*j. Does 30 divide b(0)?
True
Let m = 1049 + -536. Is m a multiple of 13?
False
Let m be (-34)/10 + 4/10. Let u be (-3)/m*(-3 + 7). Suppose -5*i = -u*i - 33. Is 11 a factor of i?
True
Let j = 32 + -48. Let z = j - -20. Suppose z*m = i + 19 + 23, -3*m + 39 = 3*i. Is m even?
False
Suppose 13*c = 604 + 449. Is (c - (-6 - -3))/((-4)/(-6)) a multiple of 9?
True
Suppose -4*f - 20 = -0*f, -9 = -4*z + f. Suppose 4*a - 1 + 5 = 5*l, a = 3*l - z. Suppose l*t - 5*p - 234 = -3*t, 0 = p. Is 26 a factor of t?
True
Suppose -5*y = 3*p - 1966, -5*p + 2055 = 5*y + 85. Does 15 divide y?
False
Suppose 4*y - 3939 = p, -2*y - 79*p + 1953 = -74*p. Is 24 a factor of y?
True
Suppose 7*a - 6*a = 4. Is 11 a factor of (-30)/(2/(-5 + a + -1))?
False
Let d = -53 + 76. Let u = d - -17. Does 11 divide u?
False
Let v be (1 - -779)/(-3) + -2. Let a = -150 - v. Is 14 a factor of a?
True
Let b(x) = 20*x**2 - 14*x - 2. Let v(w) = -7*w**2 + 5*w + 1. Let q(l) = -2*b(l) - 7*v(l). Is q(4) a multiple of 23?
False
Suppose -1678 - 2966 = -12*j. Is 43 a factor of j?
True
Is 11 a factor of (-13 + 46)*17/3?
True
Let g(n) = -3*n - 29*n**2 + 16*n**2 + 11*n**2 - 7. Let v be g(-5). Let p = 12 - v. Is p a multiple of 23?
False
Let a(o) = 18 + 6*o - 8*o - 12*o. Is a(-7) a multiple of 18?
False
Let t(s) be the second derivative of s**5/20 + s**4/12 + s**3/6 - s**2 + s. Let l = 10 - 7. Is t(l) a multiple of 13?
False
Let d be (4/2)/((-8)/(-76)). Is 9 a factor of (-7 + 5)/((-2)/d)?
False
Suppose -113 - 175 = -4*c. Does 36 divide c?
True
Suppose -4*j = o - 2, 2*o = 5*o + 2*j - 36. Suppose 5*d = 3*d - n + o, 3*d = -3*n + 24. Does 3 divide d?
True
Let y = 44 - 35. Suppose -11*p + y*p + 58 = 0. Is 9 a factor of p?
False
Let o = -31 + 36. Suppose 172 + 128 = o*y. Is 12 a factor of y?
True
Is 4 - (7 + -59 + 8) a multiple of 26?
False
Let v(f) = f**2 - 2*f + 3. Let d be v(5). Let j = 4 + d. Suppose 2*r = -o + 44, o - j = -3*r + 43. Is r a multiple of 5?
False
Does 66 divide (-6 - (-3 + -2))*-1*154?
False
Let z(s) = -9*s**2 - 211*s + 43. Is z(-23) a multiple of 15?
True
Suppose -3*o + 12 = o. Suppose c + 0*p + o*p = 14, 23 = 2*c + 5*p. Let h(x) = 38*x**2 - x. Is 13 a factor of h(c)?
True
Let y(o) = 15*o - 23. Let q be y(9). Let n = 7 + q. Is n a multiple of 15?
False
Suppose 0 = -12*a + 6*a + 606. Is 13 a factor of a?
False
Suppose m + f - 22 = 16, 0 = 4*f + 20. Let i = 277 - m. Is i a multiple of 13?
True
Let n = 22 - -5. Suppose -3*d = -p + 15 - 36, 4*d + 5*p = 28. Suppose -n = -h - d. Is 11 a factor of h?
False
Let r(d) = 2*d - 21. Let b be r(9). Let i = 8 - b. Does 8 divide i?
False
Suppose o + 1036 = 5*f, -5*o = 11*f - 7*f - 852. Does 2 divide f?
True
Let p(s) = s**3 + 11*s**2 + s + 11. Let h be p(-11). Suppose h = 3*m, -4*m + 0*m = -3*c + 21. Is c a multiple of 3?
False
Let y(f) = 3*f - 12. Let i be y(5). Suppose k + 4*k - 28 = 2*d, -i*k = 3*d - 21. Suppose 0*v = k*v - 48. Is v a multiple of 4?
True
Let h be 278/5 + 10/25. Suppose 5*j = 2*m - 45, 4*j + h = 5*m - 31. Does 14 divide m + 2*(-2)/4?
True
Suppose -5*h + 35 = -95. Is 13 a factor of h?
True
Let g(j) = j**2 + j - 9. Let m be g(4). Suppose m*a - 496 = 7*a. Is 14 a factor of a?
False
Suppose y = 3, -2*y - 15 = -5*m + 24. Suppose -806 = -m*q + 139. Does 7 divide q?
True
Let w be (-9)/15*1*-1205. Suppose -w = -5*m - 133. Let t = m + -58. Is 16 a factor of t?
False
Suppose -3*r + 4*x + 627 = 0, r - x - 1045 = -4*r. Is 11 a factor of r?
True
Suppose -2*q + 2 = 3*n - 3, -q + 5*n = 4. Suppose -3*z - b = -0*b + q, -2*z + 2*b + 2 = 0. Suppose z*j - 4*j = -88. Is 22 a factor of j?
True
Let j be (36/(-14))/((-12)/56). Let g be (-2)/j + 218/12. Suppose 21*t - 36 = g*t. Is 6 a factor of t?
True
Is (146200/(-30))/17*-6 a multiple of 86?
True
Suppose -63*h - 15 = -60*h. Is 7 a factor of (h/(100/8))/((-2)/70)?
True
Suppose 2*s + 15 = 13. Is -16 - -53 - s/(-1) a multiple of 36?
True
Suppose 2*p + 2*w - 14 - 252 = 0, -w = -3*p + 379. Suppose -40 = 2*r - p. Does 11 divide r?
True
Let o be (45/10)/(1/4). Suppose -2*s + 54 - o = 0. Is 6/s + 231/9 a multiple of 26?
True
Suppose 2*r - f - 1890 = -3*f, 2*f - 10 = 0. Is 7 a factor of r?
False
Suppose 0 = 14*b + 7*b - 4935. Does 18 divide b?
False
Let h(f) = -f**3 + 6*f**2 + 7*f - 20. Let q be h(6). Is (q/(-33))/(6/(-297)) a multiple of 11?
True
Let g(h) be the first derivative of -h**4/4 + 20*h**3/3 + h**2/2 - 3*h + 23. Is g(20) even?
False
Let k(u) = -64*u - 72. Does 40 divide k(-3)?
True
Let b = 11 + -8. Let n = 7 - b. Suppose s - 1 = 0, n*s + 30 = -3*z + 124. Is z a multiple of 10?
True
Let p(g) = 10*g + 9*g - 18 - 2 - 2. Is p(4) a multiple of 6?
True
Suppose 12*f = 4*f + 1952. Is f*(1 + 15/(-20)) a multiple of 12?
False
Let z(m) = 2*m**3 - 5*m**