, l + x = 4*m + 4*l. Does 19 divide m?
True
Suppose 0*g = 3*g. Suppose g*i = -i + 43. Suppose -2*l = -3*n + i, 0 = 3*n + l + 4*l - 71. Is n a multiple of 5?
False
Let c be (-34)/(-8) - (-1)/(-4). Let q be 2/c + 29/2. Let p = -9 + q. Is p a multiple of 4?
False
Let f(h) = 25*h - 82. Is 24 a factor of f(11)?
False
Let t(o) = 4*o**3 - o**2 - 2*o + 4. Let c be t(4). Suppose -3*k + c = 4*i, k + 0*k - 284 = -5*i. Is i a multiple of 18?
False
Let n = 2 + 0. Suppose s = -j + 14, -j - 4*j - n = -s. Suppose -u = 1 - s. Is 4 a factor of u?
False
Suppose -3*h + 3956 = -2881. Does 53 divide h?
True
Let d(f) = -1. Let m(y) = -y**3 + 18*y**2 - 20*y + 11. Let s(h) = 6*d(h) - m(h). Let r be s(17). Suppose -2*a + r = -26. Is 16 a factor of a?
False
Let n(a) = -42*a. Is n(-6) a multiple of 13?
False
Let h(i) = i - 1. Let o(c) = 5*c + 27. Let a(z) = -6*h(z) + o(z). Is 3 a factor of a(9)?
True
Let b be 2 + 1 + (-4)/4. Let g be 36 + 2/b + 0. Suppose 0 = -p + 3*a + 33, -4*a = p - 2*p + g. Does 7 divide p?
True
Let z = 2321 + -492. Does 59 divide z?
True
Suppose -3*q - 4 = -7*q. Suppose -b + 3*x = 4*b - 2, -3*b + 4*x - q = 0. Suppose d - 31 = -b. Is 9 a factor of d?
False
Suppose 7*i = 4*i + 33426. Is 19 a factor of i/108 - 2/12?
False
Let s(v) be the second derivative of v**3/2 - 6*v**2 - 6*v. Let c be s(5). Suppose 3*b = -5*o + 155, -o - 88 = -c*o + 4*b. Is o a multiple of 8?
False
Let p = 22 + -34. Is 8 a factor of p/(-54) + 696/27?
False
Suppose g + h = -1 - 43, -4*g + 3*h - 197 = 0. Let b = 58 + g. Does 4 divide b?
False
Suppose -2*i + 1 = 5. Is -46*((-5)/i + (1 - 4)) a multiple of 19?
False
Suppose -5*f + 815 = -2*l, 5*l = 6*f - 2*f - 669. Is 5 a factor of f?
False
Does 17 divide (2 + -1)/((-43)/(-731))?
True
Suppose -3*s + 3*o = 1 + 5, -4*s + 5*o - 12 = 0. Let t be (-40)/32 + s/8. Does 8 divide (66 + -1 + t)*1?
True
Suppose 13 = -5*c + 3. Let f(u) = -3*u**3 + 5*u**2 - 3*u - 2. Is 14 a factor of f(c)?
False
Suppose 2*c = 5*w + 1740, -1098 - 1525 = -3*c + w. Is 5 a factor of c?
True
Suppose -4*g + 10*g + 240 = 0. Let n be (-3)/2*(g - 10). Suppose v + 4*v - n = 0. Is 15 a factor of v?
True
Let l(q) = -q**2 + 12*q - 15. Let u be l(10). Let s(j) = j**2 - 6*j + 5. Let i be s(u). Suppose i = y + 4*y - 170. Does 7 divide y?
False
Suppose -25*o + 12*o + 3991 = 0. Is 22 a factor of o?
False
Let p be (-9)/3*(-34)/(-3). Let u = p + 238. Does 34 divide u?
True
Let k = 68 + -34. Let d = k - 1. Does 4 divide d?
False
Let q be (-2)/(-6) + 1/(-3). Suppose k - 5*k + 328 = q. Let t = k + -36. Does 15 divide t?
False
Let g(c) = 10*c - 75. Is g(18) a multiple of 7?
True
Let i = -1487 + 2096. Is i a multiple of 3?
True
Let f = -332 + 1206. Is 14 a factor of f?
False
Let f = 745 + -1636. Let y be (-6)/(-14) - f/77. Suppose y + 10 = 2*u. Is u a multiple of 8?
False
Let j(b) = -2 - 1 - 1 + 1 - 14*b. Is j(-6) a multiple of 27?
True
Suppose -5*k + 2*k = -v + 11, 13 = -4*k + 3*v. Let r(b) be the first derivative of -3*b**2/2 + b + 2. Is r(k) a multiple of 13?
True
Let s(w) = w**2 - 13*w - 20. Let z be s(15). Let m = 116 + z. Is m a multiple of 8?
False
Let o be -2 + (-6)/(9/(-3)). Suppose o = -t - 2*t + 399. Does 19 divide t?
True
Does 13 divide (894/40 - 4/(-10))*48?
True
Let j(v) be the third derivative of v**5/20 - 3*v**4/8 + 2*v**3 + 4*v**2. Does 12 divide j(7)?
True
Suppose 3*l + 24 = 4*n - 2*n, -n = -l - 11. Suppose -5*r + 6 = -n. Suppose y = -r*i + 41, -4*i - 81 = -5*y + 143. Is y a multiple of 22?
True
Suppose 184 = 7*z + z. Let h = z + -2. Does 13 divide h?
False
Let f = -11 - -25. Is 17 a factor of (-4)/f + (-3824)/(-56)?
True
Suppose 2*w + w = 27. Is (-6)/w + (-152)/(-3) a multiple of 25?
True
Let j(l) be the third derivative of l**4 + l**3/3 + 5*l**2. Does 40 divide j(2)?
False
Let i be (-5 + 0)*1/1. Suppose 2*n = -5*n - 105. Is 23 a factor of -1*i/(n/(-117))?
False
Let i(l) = 6 + 4*l - 23 + 2*l. Does 37 divide i(9)?
True
Let n(j) be the first derivative of -19*j**2/2 - j - 18. Is n(-3) a multiple of 9?
False
Let p = 12 + -21. Let z = p + 11. Suppose -48 = -k - z*k. Does 16 divide k?
True
Let w(g) = g - 9. Let m be w(-7). Let l = -10 - m. Let q(n) = 2*n - 4. Is 8 a factor of q(l)?
True
Suppose -8*s + 25 = -3*s. Let k(f) = 6*f + 24. Let w(y) = 9*y + 36. Let d(p) = s*w(p) - 8*k(p). Is d(-9) a multiple of 3?
True
Let c(h) = -h**2 - 32*h + 151. Is c(-33) a multiple of 14?
False
Let j(n) = -n + 4. Let d be j(-4). Suppose c = -d*u + 3*u + 256, 103 = 2*u + c. Is 10 a factor of u?
False
Let r(o) = -o**3 + 8*o**2 + 8*o - 6. Let p be r(9). Is 20 a factor of (160/(-3))/5*p?
True
Let n be -6*(-2)/8*2. Suppose -g - 39 = 3*g + 3*r, -4*r = -n*g + 2. Does 15 divide (-1425)/(-27) + g/(-27)?
False
Suppose -5*r + 40 = 5*q, -2*r - 3*q = -6*r + 4. Suppose 0 = n + 2*w - 60, -r*w = n + 3*n - 256. Is 17 a factor of n?
True
Let t = 49 - -51. Suppose 3*p - t = -5*l, -l + 20 = -0*p - 3*p. Is 20 a factor of l?
True
Let j(o) = o**2 + 1. Let i(g) = g**2 - 35*g + 44. Let z(l) = 17*l - 22. Let a(d) = 2*i(d) + 5*z(d). Let s(q) = -a(q) + 3*j(q). Is s(17) a multiple of 23?
False
Suppose 8*m - 6*m = -16. Let h = 10 + m. Suppose x = -1, h*x + 2*x - 36 = -v. Is v a multiple of 7?
False
Suppose 2*m + 7 = -0*m - x, 0 = -4*x - 12. Does 10 divide (-54)/(2 - (m - -5))?
False
Let f(m) be the third derivative of 7*m**5/30 - m**4/24 - m**3/6 - m**2. Is 3 a factor of f(1)?
True
Let y(h) = h + 17. Let g be y(-10). Let v be (-1*1)/(g/(-14)). Let r = 3 + v. Is r a multiple of 2?
False
Let d be ((-40)/(-25))/(2/350). Suppose -10*v + 18*v = d. Does 7 divide v?
True
Let r(c) = -c**2 - 8*c + 4. Let a be r(-8). Suppose -658 = -3*d - 2*d + n, a*n + 405 = 3*d. Suppose -5*w - 3*v = -167, v - 6*v + d = 4*w. Is 12 a factor of w?
False
Let j = 1330 - -142. Is 15 a factor of j?
False
Let b(p) = -7 + 5*p + 7*p + 0 - p. Let t be (-4 + 5)/(1/5). Is b(t) a multiple of 12?
True
Let w(b) = 1207*b**2 + 15*b - 16. Is w(1) a multiple of 9?
True
Suppose 4*g - q - 417 = 0, -5*g + 524 = -0*g - 4*q. Is 32 a factor of g?
False
Suppose -5*l + 653 = 5*x - 282, -747 = -4*x - 5*l. Let a = -81 + x. Does 26 divide a?
False
Let p(c) = -c**2 - 5*c - 4. Let s be p(-4). Suppose -j = v - 9, s = 2*j - v - 15. Is ((-2)/5)/(j/(-1360)) a multiple of 17?
True
Let t be (36/(-21))/(10/(-70)). Suppose -t*c + 702 = -9*c. Is c a multiple of 19?
False
Let b(i) be the first derivative of 2*i**3 - 5*i**2/2 - 4*i - 22. Is 4 a factor of b(-1)?
False
Suppose -3 = -2*m + 3. Suppose -4*x = -m*x - 8. Is (33/2)/(6/x) a multiple of 13?
False
Let t = -994 + 1283. Is t a multiple of 17?
True
Let n(p) = -p**2 - 15*p + 26. Is n(-11) a multiple of 5?
True
Let c(w) be the third derivative of w**5/60 - w**4/8 + w**3/6 + 5*w**2. Let z be c(8). Suppose -5*n + 144 = 2*p + z, 5*p = 4*n + 175. Is 13 a factor of p?
True
Let r(h) = h**2 + 27*h + 82. Is r(-28) a multiple of 11?
True
Let i(b) = -b**2 + 54*b + 250. Is 15 a factor of i(46)?
False
Let i = 65 - 39. Suppose -l = l - i. Let d = 39 + l. Is 13 a factor of d?
True
Let k be (0 + 6)*(-9)/(-27). Suppose k*i - 5*i = 0. Suppose 4*j = -5*y + 365, -4*y + y - j + 212 = i. Is y a multiple of 23?
True
Is (8/(-10) + (-2332)/110)*-40 a multiple of 14?
False
Let f be 5 + (-147)/(-28) + 1/(-4). Let y(t) = t**3 - 11*t**2 + 14*t - 18. Is y(f) a multiple of 3?
False
Let z(c) = 2*c**2 - c + 1. Let r be z(1). Suppose -2*j - r*j = -84. Does 4 divide j?
False
Does 33 divide 0/1 + (-100)/(-2) + 4?
False
Suppose -2*f + 414 = u, -5*u + 2058 = 3*f - 5*f. Is u a multiple of 13?
False
Let p(s) be the third derivative of -s**6/40 - s**5/60 + s**4/8 + s**3/2 - 23*s**2. Is 6 a factor of p(-3)?
True
Let q(j) = -2*j**3 + j**2 + 2*j + 3. Suppose 0 = -2*l - 5 + 11. Let k be (l/2)/(30/(-40)). Is q(k) a multiple of 19?
True
Suppose 4*j = l - 21, 2*l + 4*j = -0*j - 18. Let r(v) = 71*v**3 + 2*v - 1. Does 9 divide r(l)?
True
Is 70 a factor of 1867 - -9*(-4)/9?
False
Let c(o) = o**2 + 4*o + 1. Let z be c(-4). Let j be z/2*(-6)/(-3). Does 7 divide 2 + (j - 11/(-1))?
True
Does 6 divide (-511)/(-14) + (-2)/4?
True
Let s(g) = -g**2 - 11*g - 11. Let c be s(-9). Suppose -5*f + 16 + 5 = 4*a, a + 21 = 4*f. Let x = c + a. Does 6 divide x?
True
Suppose 3*n - 15 = 3*x, 5*n - 4*x = -0*x + 22. Suppose 3*t + n*y - 17 = -2*y, 5*t = y + 36. Suppose -t*c + 2*c = 4*l - 158, -5*c = 10. Does 1