pose 0 = 4*f - l - 33, 39 = 2*f + f + 4*l. Suppose -d - f = i + 4*d, -4*i = 5*d - 9. Is i a multiple of 2?
True
Let p(a) = -a**3 - 19*a**2 + 19*a - 6. Let h = -101 + 81. Is 3 a factor of p(h)?
False
Suppose 0 = 3*n - 0*n - 72. Suppose -o + 0*t - 16 = 5*t, 0 = -o + 5*t + n. Suppose -o*r + r = -198. Does 22 divide r?
True
Let w(c) = -5*c + 3. Let l be (3 - (-12)/(-4)) + 8. Suppose 3*j + l = -7. Does 9 divide w(j)?
False
Suppose 5*j - 265 = -q + 326, 2*q - 4*j - 1140 = 0. Does 30 divide q?
False
Suppose -16 = -3*q - 5*h, -2*q + 2*h - 31 = -3*h. Let g(r) = -34*r - 4. Let v be g(q). Is (v - -1)*(-3)/(-9) a multiple of 15?
False
Suppose 3*q - 2*c - 2961 = 0, -2*q + 2532 - 577 = 5*c. Is 5 a factor of q?
True
Does 15 divide 309 + (-8*2/4 - 0)?
False
Suppose -4*x = -7*x + 108. Let y be x/4*(-17)/3. Let s = y - -78. Is 10 a factor of s?
False
Let a(j) = 7*j**2 + 5*j - 152. Is 42 a factor of a(-13)?
True
Suppose -339*h - 21280 = -367*h. Is h a multiple of 5?
True
Let h be (5 - 4) + (-14)/2. Let b be (h/(-9))/(2/(-15)). Is ((-4)/b)/(10/325) a multiple of 9?
False
Suppose -2*v - 7 = -31. Suppose 4*l - v = l - y, -15 = -4*l - y. Let b(g) = 2*g**3 - 2*g**2 - g + 3. Is 14 a factor of b(l)?
False
Let v be -3 - (2 - 3) - -14. Let d be ((-9)/(-12))/(3/v). Is -1*d - (-6 + -3) a multiple of 6?
True
Suppose -3*o = 5*a - 7*o + 1023, 4*a + 813 = 5*o. Let t = a + 306. Let z = t + -44. Is z a multiple of 22?
False
Suppose -22 + 7 = -m + 3*u, 4 = 4*u. Let q = -18 + m. Suppose q = 6*s - s - 240. Is s a multiple of 12?
True
Let p be 97/1 - (-4 - -7). Suppose -2*m - 5*z + 115 = 0, -2*m - z = -3*z - p. Is m a multiple of 10?
True
Suppose -3896 = -4*p + 12*c - 8*c, -4*p + 3*c = -3891. Is p a multiple of 23?
False
Let u(x) be the first derivative of x - 5 + 5/2*x**2. Is u(2) a multiple of 6?
False
Let w = 43 - 34. Suppose -2*y + 0*m + m + 32 = 0, y = -3*m + w. Does 3 divide y?
True
Suppose 0 = 2*l - 16*l + 1680. Is 4 a factor of l?
True
Let q(b) = -7*b**3 - 2*b**2 + 5*b + 12. Is q(-2) a multiple of 5?
True
Let f(p) = p**2 - 14*p - 11. Let z be f(15). Suppose 0 = v - 0*h + z*h - 16, 5*v = 3*h + 57. Is v a multiple of 10?
False
Let h(p) = 2*p**3 + 32*p**2 - p - 2. Let f be h(-16). Let s = f + 28. Is s a multiple of 8?
False
Suppose 0 = 4*k - 737 - 223. Does 23 divide k?
False
Let o(t) = -7*t - 3. Let g be o(-4). Suppose -p + g = -53. Suppose 4*u + 4*f - f = 66, -p = -4*u + 3*f. Does 18 divide u?
True
Suppose 2226 = -1038*h + 1045*h. Is h a multiple of 55?
False
Let p(u) = u**2 - u + 36. Is 17 a factor of p(9)?
False
Is 5 a factor of ((-4)/5)/((-5)/1600)?
False
Let j be 3 + (-1 - -1)/4. Let k(y) = j + y**2 - 21*y**3 - 2 + 7*y - 5*y + 0. Is k(-1) a multiple of 8?
False
Let d be 6/(-4)*696/36. Let q = d + 37. Is (272/(-64))/((-2)/q) a multiple of 3?
False
Suppose -3*u - 4492 = -4*i, 30*i - 29*i - 3*u - 1132 = 0. Does 10 divide i?
True
Let m = -171 - -407. Is 10 a factor of m?
False
Suppose -4*f + 16 = -4. Suppose -7 = -2*q - 5*t, -f*q + 34 = t - 5*t. Does 3 divide q?
True
Suppose 12*g = 4*g + 1024. Suppose -b + 3*r = -g, -2*r + 1 = 5. Is b a multiple of 32?
False
Let o be -4*(3 - (-39)/(-12)). Suppose -r = -4 - o. Suppose -2*n = -r*b - 130, -4*n = -5*b - 143 - 117. Does 24 divide n?
False
Let y = -2405 - -3157. Is 9 a factor of y?
False
Suppose -798 = -8*h - 6*h. Is (760/h)/(4/6) a multiple of 10?
True
Let m(v) = v**2 - 8*v - 3. Let z be m(12). Suppose 5 = -5*b + z. Does 4 divide b?
True
Let o be 1722/30 - 2/5. Let t = o + -17. Suppose b = 3*b - t. Does 10 divide b?
True
Let m(r) = 5*r**2 - 3*r**2 + 5*r**3 - 5*r + 7*r**3 - 5*r**3 + 3. Is m(2) a multiple of 19?
True
Let p = -157 - -189. Is p a multiple of 16?
True
Suppose -1563 + 8043 = 45*w. Is 8 a factor of w?
True
Suppose 462 = -16*o + 19*o. Let j = o + -85. Does 8 divide j?
False
Let s(a) = 136*a - 10. Is 6 a factor of s(3)?
False
Suppose 4*c - 2*r = -888, -3*c + 2*c - 2*r - 227 = 0. Let n = -98 - c. Is 25 a factor of n?
True
Let k(q) = 9*q + 1 - 10*q + 5 + 3. Suppose 4*n - 6*n - 14 = 0. Is 6 a factor of k(n)?
False
Suppose 14*i - 8*i = 804. Is 11 a factor of i?
False
Let s = 2687 + -1589. Is s a multiple of 45?
False
Let y = 33 - 14. Let f = y + 43. Suppose -133 = -3*x + t - 3*t, -2*x + f = -4*t. Does 12 divide x?
False
Let v be ((-12)/15)/((1/(-20))/1). Let p(f) = -f**2 + 150. Let s be p(0). Is 25 a factor of (s/(-8))/((-4)/v)?
True
Suppose 3*r = d - 2409, 4*d + 22*r - 9671 = 27*r. Is 12 a factor of d?
True
Suppose -20*t - 3*v = -19*t - 222, 2*t - 2*v = 452. Is 25 a factor of t?
True
Let s = -2402 - -3617. Is 27 a factor of s?
True
Suppose -194*a + 201*a = 1323. Does 84 divide a?
False
Let o = -280 - -510. Is o a multiple of 18?
False
Let m(j) be the second derivative of -11*j**3/3 + 4*j**2 - 15*j. Does 24 divide m(-4)?
True
Is -33*(-13)/6 - 10/4 a multiple of 69?
True
Let a(i) = -9*i + i + 3*i + 4. Suppose 3*d - 7*d = 64. Is a(d) a multiple of 28?
True
Let o = -246 - -666. Does 15 divide o?
True
Let t = 750 - 462. Is 9 a factor of t?
True
Let j(d) = d + 30. Does 5 divide j(4)?
False
Let b(r) = 175*r + 606. Does 41 divide b(12)?
True
Suppose 0*y - 5*y = 3*c - 5, 0 = 5*c + 5*y - 5. Suppose -a + 1 = -2. Suppose 2*t + c*t + a*q = 73, -t = 5*q - 47. Does 9 divide t?
False
Let i(q) be the first derivative of -3 + 2*q + 10*q - 5*q**2 - 26*q + 2. Is i(-8) a multiple of 13?
False
Let z(v) = 6*v**2 - 38*v + 73. Does 37 divide z(19)?
True
Let d = -1 + 3. Suppose 0*o - b = -d*o + 175, -3*o + 258 = -3*b. Does 13 divide o?
False
Let p be (-6)/(-14) + (-204)/(-14). Let s = p - 10. Suppose -37 = -g - 3*v, s*g - 2*v + v = 137. Does 11 divide g?
False
Let h be (-3 + 2)*(-4 - -2 - 194). Suppose 6*l - h = -l. Is 7 a factor of l?
True
Suppose 12*v = 18*v - 24. Is v/4*(6 - -126) a multiple of 33?
True
Suppose -2*a + 3*a = -4*u - 5, -2*u - 16 = -4*a. Suppose -a*y - 90 = -15. Let z = y + 40. Is z a multiple of 15?
True
Let n(c) = c**2 - 11*c + 6. Let i(a) = 2*a + 2. Let v be i(4). Let u be n(v). Is ((-27)/2 + 3)*u a multiple of 14?
True
Let t(f) = 10*f - 129. Let n be t(19). Let p be (1/(-2))/(2/(-36)). Suppose p = -4*l + n. Is 5 a factor of l?
False
Let a(j) = 2*j**2 - 13*j + 12. Let g be 2 + 0 + (-4)/(-1). Does 5 divide a(g)?
False
Let k(m) = 1665*m**2 + 9*m - 7. Is 60 a factor of k(1)?
False
Let f = -1548 + 1813. Is 2 a factor of f?
False
Suppose -p = -2*p + 10. Let r = -100 + 88. Does 4 divide (p/(-8))/(3/r)?
False
Let q(t) = 3 + 0*t**2 + 0*t - 3*t**2 + 3*t + 6*t**2. Is 2 a factor of q(-2)?
False
Let q be (-34)/(-10) + 6/(-15). Suppose -u = -q*x - 126, 0 = -x - 2. Is u a multiple of 25?
False
Let n = -7 + -12. Let w = -16 - n. Is 24 a factor of (48/(-9))/(w/(-54))?
True
Let p = -298 + 398. Does 10 divide p?
True
Let c(h) = -11*h**3 - h**2 + 2*h + 1. Let w(m) = m**3 + 6*m**2 - 5*m + 13. Let n be w(-7). Let d be c(n). Let z = 16 - d. Is z even?
False
Let v(t) = t**3 + 27*t**2 - 43*t - 34. Does 64 divide v(-28)?
False
Let c(p) = 27*p + 181. Is 22 a factor of c(21)?
True
Suppose 2*f = c + 10, -5*f + 2*c - 5 = -32. Suppose -10*i + f*i = -93. Does 6 divide i?
False
Let o(t) = 6*t**3 + t**2 - 5*t + 5. Let q(d) = d**2 + 10*d - 9. Let m be q(-11). Is o(m) a multiple of 15?
False
Let t = -187 + 343. Is t a multiple of 10?
False
Let q(m) = -m**3 - 4*m**2 + 5*m - 1. Let h be q(-5). Let n be h + 0 + 1 + 52. Suppose -5 + n = w. Is w a multiple of 9?
False
Let j(o) = -o + 8. Suppose 16 = -3*s + 2*r + 2*r, 12 = 3*s + 3*r. Let g be j(s). Let l = 0 + g. Is l a multiple of 4?
True
Suppose -18*l + 7*l = -1969. Let j = -103 + l. Does 10 divide j?
False
Suppose 4*a + 5*m = -3*a + 7074, 0 = a - 3*m - 1018. Is 22 a factor of a?
True
Suppose 2 = -4*k - 6. Does 8 divide k/(-7) - (-324)/42?
True
Let j(c) = 14*c**2 - 13*c - 46. Is j(11) a multiple of 35?
True
Let a be (-44)/(-16) - 9/12. Suppose -k - k + a*w + 8 = 0, -2*k - w = -2. Suppose 0*y - k*y = 8, c - 51 = -y. Does 21 divide c?
False
Suppose -5*l + 167 = d, -328 = -2*d - 0*d - 4*l. Does 28 divide d?
False
Let p = 196 - -249. Is p a multiple of 12?
False
Suppose 0*d - 2*p + 8 = -d, -3*d = p + 10. Let j be (2/d)/((-6)/(-276)). Let b = 77 - j. Is 15 a factor of b?
False
Let k = 41 - -118. Suppose -2*s + 17 = 5*o, -2*o - s + 7 = 1. Suppose o*j - k = -34. Is 12 a factor of j?
False
Let k = 1377 - 1157. Is 20 a fact