l be o(-3). Suppose -2*w + l*n = -140, 5*w - 3*n - 2*n - 355 = 0. Does 24 divide w?
True
Suppose 399 = -252*m + 259*m. Is m a multiple of 10?
False
Let p = -1740 - -3721. Is 21 a factor of p?
False
Let v(q) = q**3 - 4*q**2 - 23*q + 81. Is 13 a factor of v(7)?
False
Is 37 a factor of ((-48)/(-20))/((-2)/(-185))?
True
Suppose 0 = 12*r - 1013 - 43. Does 22 divide r?
True
Let v(t) = t**2 - t. Let r be v(3). Let b(m) = -8*m**2 - 24*m + 9. Let w(p) = -3*p**2 - 8*p + 3. Let h(y) = 6*b(y) - 17*w(y). Is h(r) a multiple of 21?
True
Let l(y) be the second derivative of -2*y**5/5 + y**4/6 - y**2/2 + 5*y. Is l(-1) a multiple of 2?
False
Suppose -c + 1 - 4 = -3*t, 12 = 4*c. Suppose 0 = -w + 1 - 4, -5*x = -t*w - 6. Suppose 85 = 2*n - f, 0 = 4*n - 5*f - x*f - 161. Does 8 divide n?
False
Suppose -5*h + 802 = -2*i, -8*h + 3*i = -13*h + 822. Does 18 divide h?
True
Suppose -2*x + 4*b - 4 = -4*x, 0 = -2*x + b + 4. Suppose -2*m + 338 = 3*l - 0*m, x*l - 224 = -m. Does 22 divide l?
True
Let m(l) = 15*l + 3 - 5*l + l**3 - 6*l**2 + 16*l**2 + 6. Let s be m(-9). Suppose s = -5*z - 5*d + 105 + 115, 0 = 2*z - 2*d - 108. Is z a multiple of 20?
False
Let w = 50 + -20. Suppose -w*j = -29*j - 7. Does 2 divide j?
False
Let w(c) = -10*c**2 - 3*c. Let x be w(-5). Let u = x + 371. Is 27 a factor of u?
False
Suppose 0 = -z - 3*d + 38 + 351, 4*z + 3*d - 1529 = 0. Is 14 a factor of z?
False
Suppose 5*z = -2*t + 37, 2*z = 5*t + 4 + 5. Suppose -z*h + 84 = -3*h. Is 7 a factor of h?
True
Suppose -3*v + v - 4 = 0. Let w(j) = -5*j. Let z be w(v). Let h = 8 + z. Does 4 divide h?
False
Is 10 a factor of (-2888)/(-32) - 5/20?
True
Let f(y) = 44*y - 2. Let g be f(1). Suppose -49*z = -g*z - 1442. Is 34 a factor of z?
False
Does 13 divide -516*((-20)/(-6) - 4)?
False
Let q(w) be the third derivative of w**6/120 - w**5/10 + 5*w**4/12 - 7*w**3/6 + 8*w**2. Is q(7) a multiple of 16?
True
Let h(q) = -q + 1. Let z be h(1). Let p(b) = 201*b - 189*b - 2 + z. Is p(2) a multiple of 5?
False
Let q = -307 - -321. Is 2 a factor of q?
True
Let y(f) = 16*f - 23. Let j be y(2). Suppose -13*g + 8 = -j*g. Is g even?
True
Suppose a = d + 1, -a = -3*a + 10. Suppose 495 = 5*m - d*f, -402 = -4*m - 0*f + 2*f. Is m a multiple of 16?
False
Let z = 15 + -12. Let o be (-1)/4*0 + z. Let p = o - -7. Is p a multiple of 9?
False
Let x(v) = -2*v - 22. Let i be x(-12). Does 9 divide (4/(-1) + i)*(-104)/8?
False
Let t be 2 - ((1 - -1)*-2 - 0). Suppose 0 = -5*c + 2*c. Let u = t + c. Does 3 divide u?
True
Let h be (-14)/(-2) + -2 + -1. Let y = h + -1. Is 36/(-10)*(-40)/y a multiple of 24?
True
Let h(i) = 4*i**2 - 5*i + 4. Let p = -17 - -20. Let u be h(p). Suppose u = d + 2*s - 51, 4*d = 4*s + 268. Is d a multiple of 14?
True
Let y(d) = -d + 26. Let o be y(-5). Suppose 270 = o*p - 16*p. Does 2 divide p?
True
Let r(v) = 3*v**2 - 15*v + 108. Does 30 divide r(5)?
False
Let b be (-22)/(-55) + 36/10. Suppose -4*i - 42 = -2*v, -2*v + b*i = -6*v + 132. Does 14 divide v?
False
Suppose -2*v + 17 = 3*z, 2*z - 2*v = 3*z + 1. Let y = -7 + z. Is 1467/15 + y/10 a multiple of 31?
False
Let i(z) = 5*z**2 + z + 5. Let y(l) = -9*l**2 - 2*l - 9. Let c(k) = 11*i(k) + 6*y(k). Let j(v) = 5*v. Let o(d) = 3*c(d) + j(d). Is 11 a factor of o(-2)?
True
Let m(o) = 13*o**2 + 1 + 5*o**2 + o - 7*o**2. Let h be m(-2). Suppose 2*z - h = z. Is 17 a factor of z?
False
Let m(g) = 6*g**3 - 8*g**2 + 19*g - 37. Is m(4) a multiple of 5?
True
Let o(k) = -4*k**3 - 6*k**2 + 10*k + 18. Is o(-7) a multiple of 13?
False
Let k = 10 - -4. Let n(l) = -l**2 + 16*l + 8. Is 12 a factor of n(k)?
True
Let o be 4/8*(0 - 0). Suppose -j - 2*w + 5*w - 2 = o, 2*w = -3*j + 16. Suppose -v = j*s + 6, 2*s = v + 4*s. Does 5 divide v?
False
Let x = 2324 + -1428. Is 28 a factor of x?
True
Suppose k - s - 8 = -k, -3*k + 10 = -2*s. Let h be (-4)/(-14) - 216/(-126). Suppose -h*m - 164 = -k*m. Is 16 a factor of m?
False
Let q = -15 - -20. Let v = q + 14. Is v a multiple of 12?
False
Let r(d) = 165*d - 308. Does 15 divide r(14)?
False
Let n(u) = 22*u**2 + 18*u + 10. Let o(h) = -h. Let k(z) = n(z) - 6*o(z). Is 19 a factor of k(-4)?
True
Let d(g) be the second derivative of -g**4/12 + g**3/2 - 3*g**2 + 3*g. Let q be d(6). Let h = q - -40. Is 16 a factor of h?
True
Is (2 - (-2)/4)/(39/624) a multiple of 5?
True
Suppose 4*k - 5*k = -223. Is k - 1*((-1)/(-1))/1 a multiple of 38?
False
Let l(o) = 3*o**3 + 4*o**2 + 3*o - 4. Let q be l(-2). Let x be -1 + (-1)/((-3)/(-90)). Let p = q - x. Is p a multiple of 7?
False
Let b = -115 + 196. Suppose 2*t - b - 73 = 0. Is 19 a factor of t?
False
Let o(c) = -5*c + 2. Let n be o(1). Is 40*(n/9 - (-34)/12) a multiple of 25?
True
Let v(h) = -h**2 + 15*h - 11. Is 3 a factor of v(4)?
True
Let j(r) = -r**3 + 3*r**2 + 3*r. Let y be j(-2). Is 4/y - (-103)/14*2 even?
False
Let b be ((-54)/(-45))/((-2)/(10 + 0)). Let h(k) = -6*k - 27. Does 2 divide h(b)?
False
Suppose -4822 = -13*t + 5058. Suppose 0 = -7*r + 3*r + t. Does 32 divide r?
False
Suppose -4*o - 5*t + 5333 + 22391 = 0, t = 5*o - 34684. Is o a multiple of 17?
True
Suppose 0 = -5*t + 9*t + 20. Let y(b) = -b**3 - 5. Let v be y(t). Suppose 3*j + j - v = 0. Is 26 a factor of j?
False
Suppose -6 + 21 = 5*v. Suppose -v*i + 531 = -0*i. Is i a multiple of 14?
False
Let s(h) = -h + 7. Let x be s(5). Suppose 0 = y - x*y - 13. Let b = -7 - y. Does 3 divide b?
True
Suppose 3557 = 5*s - 4038. Is 31 a factor of s?
True
Let b be (-19)/(-3) + (-12)/9. Is ((-2)/(-5))/(b/250) a multiple of 4?
True
Suppose 0 = 6*p - 380 - 1720. Let s = p + -215. Is 27 a factor of s?
True
Is (2167/(-22))/((-11)/44) a multiple of 111?
False
Suppose x - 399 = 555. Does 76 divide x?
False
Let d(o) = -o**2 + 19*o + 5. Let j(m) = m**2 - 18*m - 4. Let g(f) = 3*d(f) + 4*j(f). Suppose 6*u + 228 = 324. Is 15 a factor of g(u)?
True
Let v be 815/3 + (-4)/6. Suppose 5*a = 3*p - v, -p - 3*a + 44 + 23 = 0. Is 14 a factor of p?
False
Suppose -3*f + 10 = 4*c - 1, -5*f + 3*c + 57 = 0. Let k = f - 2. Let m(l) = -l**2 + 10*l - 15. Is 3 a factor of m(k)?
True
Suppose 2*g - 1438 = 2*l, g + l = 1143 - 418. Is g a multiple of 19?
True
Let n be (-19 - -12)/(2 + (-202)/100). Let h = n - 200. Is h a multiple of 30?
True
Let u = -35 - -40. Suppose 325 = u*q - 0. Does 14 divide q?
False
Suppose 360 = -3*z + 4*z. Is z a multiple of 18?
True
Let n(x) = x**2 - 3*x - 55. Is 19 a factor of n(25)?
False
Let q be 0/(-2)*(-1)/(-2). Suppose q = -7*j + 9*j + 18. Let g = j + 39. Is 7 a factor of g?
False
Let a = -886 - -988. Is 15 a factor of a?
False
Let b be (((-9)/(-3))/(-3))/1. Let t(k) = 80*k + 10. Let m(z) = 53*z + 7. Let y(w) = 7*m(w) - 5*t(w). Is y(b) a multiple of 13?
False
Let g(x) = -2*x + 13. Let a be g(4). Does 20 divide a/(-2)*(-21)/(168/320)?
True
Suppose 2*u + 23 = o, 5*o - u + 4*u = 102. Is 21 a factor of o?
True
Let m = -3696 + 6538. Is m a multiple of 14?
True
Suppose -2086 + 61 = -3*g. Is g a multiple of 15?
True
Let k = -54 + 147. Let l = k - 55. Does 14 divide l?
False
Let o be ((-25)/10)/(1/106). Let s = -22 - o. Suppose -4*h - 83 + s = 0. Is h a multiple of 11?
False
Suppose -19*l + 5660 - 1670 = 0. Is l a multiple of 7?
True
Suppose 4*s = -2*o - 87 + 447, o = -5*s + 195. Is o a multiple of 12?
False
Let z = -656 - -1509. Does 4 divide z?
False
Let g(o) = -o**3 + 2*o + 4. Let m be g(0). Suppose m*r - 108 = -5*h, 0*h - 108 = -4*h + 4*r. Does 12 divide h?
True
Let w = 2 + 6. Let t be (w + -1)*12/21. Let l = t - -46. Is l a multiple of 19?
False
Let o be (2/(-3))/(4/(-90)). Suppose -o*n = -18*n. Let q = n - -2. Is 2 a factor of q?
True
Suppose -7 = -3*j - 31. Let m(o) = -o**2 - o + 10. Let b be m(j). Let k = 89 + b. Is k a multiple of 30?
False
Suppose -2*o + o + 11 = j, 0 = 5*j + o - 35. Suppose 5*n - j = a, 0*n = -5*n - 3*a + 22. Suppose 2*c = 2*z + 2*z + 30, 5*c = n*z + 91. Is 19 a factor of c?
True
Let v be (-1)/(-5) + (-322)/35. Let b be (-5 + -1)/(v/(-279)). Let l = -121 - b. Does 29 divide l?
False
Suppose -3*s = 2*b - 175, 16*s - 19*s + 145 = -4*b. Does 7 divide s?
False
Suppose 4*c = 5*l + 6, 0 = 4*l - c - 2*c + 4. Suppose l*v - 6*v + 12 = 0. Let z(f) = 2*f**2 + 3*f - 1. Is 6 a factor of z(v)?
False
Suppose -51*o + 82*o - 153915 = 0. Is 25 a factor of o?
False
Is 36 a factor of (-114)/(-627) - (-8787)/11?
False
Let a = 1632 + -1009. Is 6 a factor of a?
False
S