lse
Let p(w) = 2*w. Let x be p(-2). Let s be (x/10)/((-4)/20). Suppose -3*a - 12 = 0, s*a = -4*i + 102 - 22. Is i a multiple of 22?
True
Suppose 0 = -2*p - 5*p + 154. Is 6 a factor of p?
False
Let x(t) be the third derivative of 1/6*t**3 + 0 + t**2 - 9/8*t**4 + 0*t. Is 11 a factor of x(-1)?
False
Suppose 0 = 5*j - 0*d + d + 512, 0 = 5*j + 4*d + 518. Suppose 2*r + 58 = -74. Let q = r - j. Is 18 a factor of q?
True
Let d be 1/2 - (-5)/2. Suppose d*t - t = 4*m - 2, m = 2*t + 5. Let y = m + 6. Does 5 divide y?
True
Suppose -17 = -l + 4*q - 0*q, q - 43 = -5*l. Suppose -4*o + l*o + 2*p - 212 = 0, -p - 92 = -2*o. Is 16 a factor of o?
False
Let r = -60 - -164. Is 26 a factor of r?
True
Let r(b) = -2*b**2 - 3*b + 2. Let g be r(-2). Suppose 30 = d + 8. Is (d + -3)*(g + 1) a multiple of 7?
False
Suppose -3*p + 39 = 3*b, 0 = -0*b - 2*b. Suppose -g - 4 = -p. Is 4 a factor of g?
False
Is (6 - 0)/(2/6) a multiple of 10?
False
Let w = 11 + -7. Suppose 4*p = -w*t + 88, -2*t - 3*t = 4*p - 92. Does 18 divide p?
True
Let q(a) = 8*a**2 + a**3 + 2 - 3*a**3 + 5 + a**3 - 3*a. Is 10 a factor of q(7)?
False
Let h(l) = l**3 - 14*l**2 + l - 36. Is h(15) a multiple of 17?
True
Suppose 9*i = 7*i + 88. Is 11 a factor of i?
True
Let l be 1*-2*1*-17. Let t = l - -20. Suppose 3*p - 21 = t. Does 15 divide p?
False
Suppose 0 = -4*y - 4 - 16. Let r(b) = b + 7. Is r(y) a multiple of 2?
True
Let l be (-10)/(1*4/10). Suppose 0 = 6*t - 10*t + 12. Let q = t - l. Does 14 divide q?
True
Let j(u) = -48*u**3 - u**2 - 3*u - 2. Is j(-1) a multiple of 24?
True
Let p(b) = -46*b + 1. Let k be p(1). Let f be (-2 - (-3)/(-3))*k. Suppose 0 = -2*l - l + f. Does 13 divide l?
False
Is (7 - 6 - 4)/(1/(-12)) a multiple of 18?
True
Suppose -4 = 3*l - 2*f - 17, 2*f = -4. Let i be (-2)/10 + (-145)/25. Is (-80)/i + l/(-9) a multiple of 13?
True
Suppose -2*z - 2*r = 14, 3*r + 6 + 9 = -2*z. Is 11 a factor of ((-60)/50)/(z/220)?
True
Let o(i) = -i**3 - 6*i**2 - 3*i - 3. Let c(k) be the second derivative of -k**4/6 + k**3/3 - k**2 - k. Let a be c(2). Is o(a) a multiple of 12?
False
Suppose 0 = -3*u + 6. Suppose -u*n + 30 = 3*n. Is n a multiple of 2?
True
Suppose -5*i = -12 - 358. Suppose -5*n = -141 - i. Is 17 a factor of n?
False
Suppose -16*y = -6*y - 500. Does 18 divide y?
False
Let v(d) = 6*d + 5. Is 5 a factor of v(2)?
False
Let r = 123 - 70. Does 21 divide r?
False
Let v(f) = 3*f**3 + 4*f**2 - 2*f - 1. Is 7 a factor of v(2)?
True
Let w(d) = d**3 - 1. Let q(c) = 3*c**3 + 7*c**2 + 2*c - 8. Let k(a) = q(a) - 4*w(a). Is k(7) a multiple of 4?
False
Let n(g) = -g**2 + 5*g - 3. Is n(3) a multiple of 2?
False
Suppose -3*a - 125 = -8*a. Suppose -4*g - g + a = 0. Suppose 4*f - 8*f = z - 83, -106 = -g*f + z. Is 14 a factor of f?
False
Let w(y) = y**3 + 5*y**2 + y. Let a be w(-3). Suppose -4 = -h + a. Does 16 divide h?
False
Let d = 44 - 29. Suppose -4*h - h = -d. Is 3 a factor of h?
True
Let k(h) = -h**3 - 6*h**2 - 2*h - 9. Let d be k(-6). Suppose -170 = -d*c + 5*q, 25 - 270 = -4*c + 3*q. Is c a multiple of 13?
True
Let f(r) = 16*r + 8. Is f(4) a multiple of 7?
False
Let h(j) = -2 - j + 4 - 4. Let p be h(-6). Suppose -p*v + 4 = 0, 6*b = 2*b + 2*v + 6. Does 2 divide b?
True
Let h = 30 - 28. Suppose -4*i = -h*i - 88. Is 9 a factor of i?
False
Suppose 4*i - 25 - 19 = -4*j, -3*j - i = -43. Is j a multiple of 8?
True
Does 5 divide 11 - 13 - (-1 - 26)?
True
Let u = 15 - 26. Let n = u + 20. Is 3 a factor of n?
True
Suppose 0*z = -5*z + 580. Is 29 a factor of z?
True
Let j = -2 + 4. Suppose z = -j*b, 3*z = z + 4*b. Is -4 + (3 - z) + 9 a multiple of 7?
False
Suppose -4*g = -6*n + 2*n, 2*g + 21 = -5*n. Let j(z) = -3*z**3 - 2*z**2 + 6*z + 1. Is 14 a factor of j(g)?
False
Suppose 4*n - 5*x = 12, 0 = -2*n - 4*x - 0*x - 20. Let z be (-1 - -9)/n*-1. Does 10 divide 42/2 - (z - 3)?
True
Suppose 41 - 236 = -3*k. Does 16 divide k?
False
Let c = -164 - -230. Does 4 divide c?
False
Suppose 0 = -4*b + 4*h + 60, 3*h = 2*b + 2*h - 25. Let n = b + 24. Is 11 a factor of n?
False
Let q be 19*2*(-1)/(-2). Let l = 3 + q. Does 15 divide l?
False
Let n = 25 + -2. Does 23 divide n?
True
Let r be (3/(-2))/(33/(-88)). Does 4 divide r*((-33)/(-12))/1?
False
Let p = 37 - 11. Does 26 divide p?
True
Suppose -2*n - 2 = -4*n - 2*x, -10 = -4*n - x. Suppose 5*c + n*v - 137 = 115, c - 3*v = 36. Is 8 a factor of c?
True
Let r(n) = n**3 - 2*n**2 + 2*n - 2. Is 4 a factor of r(3)?
False
Let o = -31 + 51. Is 3 a factor of ((-18)/(-10))/(6/o)?
True
Let p(c) = -2*c + 10. Let h(y) = -1. Let f(u) = -h(u) - p(u). Let k be f(6). Is 28 - (k + (0 - 2)) a multiple of 19?
False
Let u(z) = 0*z + 0*z**2 - z + 6*z**2 - 5*z**2 - 1. Let i be u(-1). Suppose 0 = 4*o + i - 13. Is o a multiple of 3?
True
Let u(o) = 6*o - 16. Suppose 0 = 4*j - 3*c - 50, 2*c + 18 = -3*j + 47. Is 10 a factor of u(j)?
True
Does 19 divide (5 + 5)/((-4)/(-76))?
True
Let c be (-2)/(-7) + 248/14. Let k be (-7)/(-5) + (-32)/(-20) + -2. Let t = c - k. Is t a multiple of 11?
False
Suppose 2*b - 3*b = -2. Let f be b/8 - (-2)/(-8). Suppose 2*r - 3*r + 20 = f. Is 13 a factor of r?
False
Let p = -20 - -29. Is p a multiple of 2?
False
Suppose q + 0*k = 2*k + 3, 3*q = -3*k + 36. Suppose -4*j - 8 = -4*i, 0 = 5*i - 4*j - 1 - q. Does 2 divide i - (-2 + 2)/2?
True
Let t = 3 - 6. Let j be t/((-9)/(-3)) - -205. Does 17 divide (4/6)/(8/j)?
True
Let y = 0 - -3. Is 11 a factor of (2/2)/(y/90)?
False
Let n = -12 - -26. Let h be n/2*(-12)/(-14). Let g = 28 - h. Is 11 a factor of g?
True
Suppose 2*j + 2 = -38. Let o = j + 24. Is o a multiple of 4?
True
Let f = 14 - 26. Is (-29)/(-6) - 2/f a multiple of 2?
False
Let h(f) = -6*f + 25 + 6*f + f. Is 25 a factor of h(0)?
True
Suppose -2*o - 5*m = 6, -4*o = o + 3*m - 4. Suppose 6*p - o*f - 51 = 3*p, 3*p = 5*f + 42. Does 19 divide p?
True
Let g be ((-16)/(-10))/((-14)/(-35)). Suppose 0 = g*t - 2*t - 164. Is t a multiple of 18?
False
Let l be 15/(-3)*16/(-20). Suppose 8 = 2*q, -l*q = 5*w - 2*q - 78. Is w a multiple of 9?
False
Let v be (1 + 3)/(3/(-15)). Does 9 divide ((-15)/v)/(1/16)?
False
Let u = 0 - -1. Let j = -1 + u. Suppose -o + 2*o = -4*s + 44, j = -2*o - 2*s + 70. Is 16 a factor of o?
True
Suppose 4*v = -190 + 878. Is 43 a factor of v?
True
Let n(w) = w**2 + 13*w + 45. Is n(-13) a multiple of 16?
False
Let t = -5 - -9. Suppose -78 = -5*s - 3*l, -t*s = -2*l + 5*l - 63. Suppose 0*i - s = -5*i. Is i a multiple of 2?
False
Let z = -54 + 90. Is z a multiple of 18?
True
Let q(m) = m**2 - 2*m + 1. Suppose 3*y + n - 9 = 0, 8*y + 4*n = 6*y - 4. Is q(y) a multiple of 9?
True
Suppose 5*l = -o + 10, -5*o + 2*l = -4*o - 45. Is 35 a factor of o?
True
Suppose 4*y = 3*z + 109, -4*y + 0*z + 115 = 3*z. Let a(t) = 21*t**2 + t + 2. Let f be a(-2). Suppose -4*x + y = -f. Is x a multiple of 14?
True
Suppose 0*v + 20 = 5*v. Suppose v*l - 112 - 48 = 0. Is 19 a factor of l?
False
Let g(l) = l**3 + 5*l**2 + 3*l + 1. Let f be g(-4). Suppose -4*z - 23 = -f*z. Does 14 divide z?
False
Let l = -45 + 93. Is l a multiple of 16?
True
Suppose 2*q = q, -5*q = g - 19. Is 19 a factor of g?
True
Suppose 6*o - 85 = -5*s + o, -s - 3 = -3*o. Let m = -4 + s. Is 5 a factor of 141/12 + 2/m?
False
Suppose 16 = 3*g - 2. Let d(h) = h**2 + 5*h - 3. Is 22 a factor of d(g)?
False
Let k(z) = z**3 - 6*z**2 - 11*z. Let b = 23 + -15. Is 20 a factor of k(b)?
True
Is 19 a factor of 1/3 - 112/(-6)?
True
Let j(a) = -165*a**3 + a**2 + a + 1. Let v be j(-1). Suppose 4*d - 201 = -5*u, 4*d - 2*u - v = -0*d. Does 16 divide d?
False
Suppose 2*h = -w - 7, 5 = -w + 2*w - 4*h. Let u be -5*(0/w - 11). Suppose -2*y - 5*v + u = -0*v, -2*y + v = -37. Is y a multiple of 10?
True
Let l = 33 - 20. Is l a multiple of 4?
False
Suppose 5*b = 0, -3*b - 2*b = 3*q - 57. Is 5 a factor of q?
False
Suppose 3*d = 5*d - 10. Let t = d - -1. Suppose 4*w - l - 15 = 131, -3*l = t. Is w a multiple of 18?
True
Suppose 4*n + 93 = 5*m - 165, 110 = 2*m - 5*n. Let j(l) = l. Let o be j(4). Suppose -2*x - m = -h - 0*h, 0 = h - o*x - 50. Is 17 a factor of h?
False
Suppose 5*g + 4 = -6. Let m be g/(-9) - (-48)/27. Suppose m*w = w + 40. Is w a multiple of 20?
True
Let p(z) be the second derivative of z**4/12 - z**3/2 - z. Let v(r) = 2*r**3 - 4*r**2 + 4*r - 2. Let k be v(2). Is p(k) a multiple of 14?
False
Let n be (-4)/10 + (-32)/(-5). Suppose n*x - 84 = 2*x. Does 9 d