lse
Let f = 7 - 5. Suppose -f*x = 2 - 6. Suppose 3*b - 50 = -x*m, -m + b = 5*b - 20. Is m a multiple of 10?
False
Let n = 3 - -1. Does 19 divide 707/14 + 2/n?
False
Let a(v) = -v**3 - 2*v**2 + 8*v - 2. Is 29 a factor of a(-6)?
False
Let d(s) = -s**2 + 4*s - 3. Let y be d(5). Let u = y + 4. Let j(m) = -2*m**3 - 6*m**2 - 2*m - 2. Is j(u) a multiple of 19?
True
Let u = -4 - -7. Suppose -u*w = -0*w - v + 36, w + 1 = 4*v. Let m = 11 - w. Is m a multiple of 12?
True
Suppose -i + 78 = 2*i. Let v = i - 15. Is 4 a factor of v?
False
Let k(z) = 13*z**2 + 1. Suppose 4*b + 24 = 4*x, 14 = -x - 8*b + 4*b. Suppose -x*f = -2*t + 3*f - 8, -t + 2*f = 3. Is 7 a factor of k(t)?
True
Is 4 - (-120 - (-1 + 0)) a multiple of 41?
True
Suppose 6*l - 3*l - 3*k - 18 = 0, k + 11 = 2*l. Let t(u) be the first derivative of u**4/4 - 5*u**3/3 + 5*u**2/2 - 4*u - 1. Is 8 a factor of t(l)?
False
Does 8 divide (-1 + (-2)/(-3))*-321?
False
Suppose 0 = -2*r - 3 + 9. Suppose r*c - 42 = 3*b, 2*c = 4*c + 3*b - 3. Does 5 divide c?
False
Let n = 41 + -31. Does 3 divide n?
False
Does 18 divide 4 + (-1 - 3) + 90?
True
Let i = 57 + 34. Does 6 divide 1651/i + (-1)/7?
True
Let o be 14/(-12) + (-1)/(-6). Is o*((-3 - -5) + -5) a multiple of 3?
True
Let v(s) be the second derivative of 5*s**4/12 + s**3/6 + s. Let j be ((-4)/(-6))/((-2)/(-6)). Does 11 divide v(j)?
True
Let r(n) = n + 1. Let o be r(5). Let z(d) = -d**2 - 12*d + 3. Let h(p) = -2*p**2 - 25*p + 7. Let k(s) = o*h(s) - 13*z(s). Is 9 a factor of k(-8)?
False
Suppose -3*h - 2 + 26 = 0. Let q(n) = n**3 - 9*n**2 + 11*n - 3. Is 21 a factor of q(h)?
True
Suppose 0 = -3*t - 3*u + 7*u - 80, -u - 15 = t. Let o(y) = -3*y + 15. Let w be o(6). Is 12 a factor of t/w*(-60)/(-25)?
False
Suppose -w = 3*w + 16. Let v(q) = -q**3 + q**2 + 6*q + 1. Does 19 divide v(w)?
True
Suppose 4*x = 82 + 162. Is 26 a factor of x?
False
Suppose -5*t + 0*t - 4*l = -26, 4 = -4*l. Is t a multiple of 3?
True
Suppose t + 18 = -t. Is 27 a factor of (-333)/(-6) - t/(-6)?
True
Does 13 divide 166 - (28/42)/((-2)/9)?
True
Let u be -6 - (2 + -1 + 1). Let b = -5 - u. Suppose b*a + 13 = -2, -g = 4*a + 2. Does 10 divide g?
False
Suppose 8 = -v + 28. Suppose y + 1 + 0 = -2*q, 2*y - 2*q = -v. Let p(n) = -n**3 - 7*n**2 - n + 5. Is 8 a factor of p(y)?
False
Let g(q) be the first derivative of 1/2*q**2 + 11*q + 1/4*q**4 - 1 + 1/3*q**3. Does 11 divide g(0)?
True
Let q be (-7)/7 + (-44)/(-2). Let x(i) = -i**2 - i + 50. Let p be x(0). Let u = p - q. Is u a multiple of 8?
False
Let p be 31 + 3 + -1*3. Suppose -5*s = -29 - p. Does 8 divide s?
False
Suppose 4*p - 30 = 3*p. Is p a multiple of 6?
True
Suppose 0 = 9*r - 118 - 602. Does 20 divide r?
True
Let r(l) = 14*l**2 - 2*l + 2. Does 7 divide r(1)?
True
Suppose -134 = -2*a - 2*p, 473 = 5*a - 4*p + 111. Is 14 a factor of a?
True
Suppose 3 + 0 = -s, 0 = 2*h - s - 193. Let z = -62 + h. Suppose 3*g - z = 36. Is 9 a factor of g?
False
Let n(w) = 3*w**2 + 17*w - 24. Let k(m) = -2*m**2 - 11*m + 16. Let q(u) = 8*k(u) + 5*n(u). Is 4 a factor of q(-4)?
True
Let x be 3210/(-25) - 2/(-5). Is (x/(-24))/(2/21) a multiple of 13?
False
Let q = 223 + -135. Is q a multiple of 15?
False
Let o(k) = 0*k + 2*k - 10 + 0*k. Is 3 a factor of o(8)?
True
Let v = -145 + 214. Let x(b) = -b + 4. Let i be x(0). Suppose i*t - t = v. Does 20 divide t?
False
Let c(y) = 8*y - 10. Let n(l) = 4*l - 5. Let i(q) = 2*c(q) - 5*n(q). Does 21 divide i(-9)?
False
Suppose 4*g = 31 + 121. Is 19 a factor of g?
True
Suppose 2*l = 5*l + 3. Is 15 a factor of 21 + -2 - (l + -1)?
False
Suppose -1801 = -10*p - 441. Does 9 divide p?
False
Let h(j) be the first derivative of -j**4/2 + 4*j**3/3 + j**2 - 2*j + 1. Suppose -4 + 0 = 2*i. Is 9 a factor of h(i)?
False
Suppose 5*l + 3*i = 594, -l + 137 - 19 = i. Let a = l + -84. Is 12 a factor of a?
True
Let c(d) be the first derivative of d**2/2 - d - 1. Let l(n) = -n + 2. Let x(w) = -3*c(w) - l(w). Does 9 divide x(-7)?
False
Suppose -3*a = -2*v + 210, -2*v + 3*a + 432 = 2*v. Suppose -5*c - 11 = -v. Let p = c - 14. Is 3 a factor of p?
True
Let n(m) = 7*m**2 + 2*m + 4. Is 23 a factor of n(4)?
False
Let l = -137 - -153. Is 2 a factor of l?
True
Let g(p) = p**2 + 13*p + 4. Let n be g(-13). Let s = 4 + n. Does 8 divide s?
True
Let d = 12 + -13. Is 11 a factor of -4 + (-4 - (d - 29))?
True
Let g be 2/(-2 + 1) - -3. Is (224/21)/(g/3) a multiple of 21?
False
Suppose -460 = -5*a + a. Is a a multiple of 47?
False
Let p be (68 + 1)*(-1)/(-1). Suppose -3*a = -2*b + 7, -2*b + p = 2*b + 5*a. Does 11 divide b?
True
Is (2 - -26) + (2 + 1 - 4) a multiple of 11?
False
Let w be 12/4*10/(-2). Let f be 6/w + 406/(-10). Does 16 divide 1 + -2 + (2 - f)?
False
Does 4 divide -6*(-8)/(-36)*-6?
True
Let f = 5 + -3. Is (3*40/12)/f a multiple of 5?
True
Suppose -2*w = -k, -5*w - k + 4*k - 2 = 0. Suppose 94 = 5*j - z, 2*j - w*z = -4*z + 28. Is 6 a factor of j?
True
Suppose 0*i + i = 129. Suppose -24 + i = 7*t. Does 3 divide t?
True
Suppose -4*o + 32 = -92. Suppose -r = -0*r - o. Is 8 a factor of r?
False
Let z(k) = -6 - 2 - 5*k + 4 + k. Let q be z(-3). Let y = 28 - q. Is y a multiple of 7?
False
Is (1*-18)/(10/(-65)) a multiple of 9?
True
Let n be 6/(-5)*35/(-14). Suppose -20 = -n*k + 40. Is k a multiple of 7?
False
Suppose -5*w - 1409 = -4*y, -2*y - 7*w + 6*w + 701 = 0. Does 13 divide y?
True
Let d(l) = 11*l + 36. Is d(10) a multiple of 16?
False
Suppose 1121 = 5*h + 2*u, 2*u = 3*h - 2*u - 683. Let i be (h/(-18))/(1/(-2)). Let m = i + -15. Is 3 a factor of m?
False
Let u be 19 + -3 + -1 + -3. Let f be (172/(-3))/(u/(-18)). Suppose 2*i + f = 2*y, -5*i = 2*y + y - 97. Is y a multiple of 13?
True
Suppose 0 = -2*h - 4*a + 30, -4*a - 1 = -5*h + 4. Suppose 6 = h*w - 4. Does 4 divide (-2 - (1 - w)) + 5?
True
Let j = -28 - -57. Is j a multiple of 3?
False
Suppose -45 = -4*f - 5*b - 17, -b + 10 = 3*f. Suppose -5*r = l + 4, 3*l + f*r = l. Let h = 5 + l. Does 6 divide h?
True
Suppose -2*r - 4 = 2*r. Let c = r + 4. Does 14 divide 0 + 1 - (-44 + c)?
True
Suppose -18*a + 93 + 285 = 0. Is a a multiple of 7?
True
Suppose 2*s - 684 = -s. Is 19 a factor of s?
True
Let u be ((-4)/(-14))/(3/21). Suppose 5*j - u*l - 26 = 0, 7 + 15 = 3*j + 2*l. Does 3 divide j?
True
Let o(c) = -c**2 + c + 21. Let j = 8 + -8. Does 7 divide o(j)?
True
Suppose -5 = -4*g + p - 1, 0 = -g + 3*p - 10. Suppose -q + 3*q = 2*m + 22, -5*m + 57 = g*q. Is 7 a factor of q?
False
Let d = -11 + 13. Let b = d + 5. Does 7 divide b?
True
Suppose -15 = -j - 2*j. Suppose -3*u + 8*u = -j*f + 315, u = -4*f + 78. Let p = u + -23. Does 20 divide p?
False
Let b(z) = -z**2 - 5*z + 6. Let n be b(-10). Is 11 a factor of (n - 0)/((-2)/2)?
True
Suppose 0 = 2*j - 20 - 2. Let b(l) = 0 - 1 + l + j*l - 3. Is b(3) a multiple of 23?
False
Suppose -3*f = -0*f - 27. Let d be 12/(-10)*(-30)/f. Suppose 3*v - 4*v = -d*h - 30, -4*v - 3*h = -120. Does 15 divide v?
True
Let p = 508 + -268. Suppose -3*x = -4*r + p, -5*r - 2*x + 239 = -84. Does 21 divide r?
True
Let l be (-2)/9 - 60/(-27). Suppose 0*k = -l*k. Suppose 3*d = 2*m + m - 96, k = 5*m + d - 172. Is 18 a factor of m?
False
Suppose 3 = 3*z - 0*z. Let k = 0 + -1. Does 8 divide k + z/(-2)*-38?
False
Let j = 11 - 9. Suppose -j*q - 2*q + 30 = a, -3*a = -2*q - 20. Is a a multiple of 10?
True
Let y = -28 - -46. Suppose -l = -3*x + 8*x - y, -2*x + 18 = -5*l. Suppose x*w + 4*v - 36 = 0, -w - 18 = -3*w + 2*v. Is 9 a factor of w?
True
Let o = -6 - -15. Suppose 4*s + o = 5*s. Is 11 a factor of s - ((4 - 1) + -5)?
True
Suppose 2*o + 3*o = 90. Is o a multiple of 18?
True
Let t = 153 + -86. Let b = t + -27. Let v = b + -26. Is v a multiple of 5?
False
Suppose n = 4*r + 11, 0 = -r - 3*n + 3 + 4. Is 10 a factor of 3/6 - 43/r?
False
Let c(v) = v**3 - 5*v**2 - 9*v + 10. Let g = 9 + -2. Does 15 divide c(g)?
True
Let f be 0 - (-1 - (4 - 1)). Suppose -3*a + 9 = 2*n - 25, 4*n + f*a = 72. Is n a multiple of 10?
True
Suppose 114 = 5*w - 56. Suppose -2*i = -2*u + w + 26, 2*i - 21 = -u. Is u a multiple of 9?
True
Suppose 2*k = 5*v - 2*k - 68, 3*v - 3*k - 42 = 0. Does 12 divide v?
True
Suppose -3*p - 9 = 0, -2*o - 5*p = -10*p - 483. Is 24 a factor of o?
False
Let j = 18 - 10. Is 2 a factor of j?
True
Suppose 4*y = 4*u - 216, -4*u = 2*y - 249 + 39. Is u a multiple of 16?
False
Let g(w) = w - 3*w + 3 + 4*w**2 + 2*w**2 + 5*w**3 -