lse
Let i be 0 - ((-1076)/6 - (-9)/27). Is 181 <= i?
False
Let l = 4498 - 3159. Which is smaller: l or 1340?
l
Let o be (2 - 2)/(-2 - (-7 + 6)). Is -7/50 greater than o?
False
Suppose -59000 = 77*c - 1712. Let w(l) = 2*l**2 - l + 1. Let d be w(1). Let p be d/7 - c/(-3192). Do 0.1 and p have the same value?
False
Let z be 6/(((-18)/4)/(-3)). Suppose z*u = -0 + 4. Let t(g) = g**3 + 36*g**2 - 31*g + 220. Let q be t(-37). Which is smaller: q or u?
q
Let a = 2.3 - 2.2. Which is smaller: 161 or a?
a
Let w = 0.25 + 0.46. Let k = 0.81 - w. Which is smaller: k or -10?
-10
Let r(p) = -3*p + 8. Let q be r(3). Let f be q*12/(-8)*(-40)/54. Which is greater: -1 or f?
-1
Let q(k) = -2*k**3 - 23*k**2 - 9*k + 25. Let x be q(-11). Let i be 4/x*75/(-10). Which is smaller: 1 or i?
i
Let a(q) = q**2 - 34*q + 130. Let l be a(37). Which is smaller: -0.1 or l?
-0.1
Let p be (-81)/(-54)*(17 - -1). Let f be (-38)/162 + (-4 - (-114)/p). Which is smaller: -1 or f?
-1
Let r = 1 - 1.1. Suppose 171*x - 172*x - 5 = 0. Is x less than r?
True
Let w(t) = -8*t**2 - 16*t + 17. Let p be w(1). Is -4 less than p?
False
Let o = 161.2 + -149. Is -1/4 equal to o?
False
Let n be ((-10)/(-20))/(2/8*2). Which is smaller: -1/353 or n?
-1/353
Suppose -2*j + 7*j + 5*l = 340, 0 = 5*j - 3*l - 308. Let m(u) = 43*u - 64. Let r be m(3). Is j less than r?
True
Let w = -3136987/353914 + 1/16087. Which is smaller: -9 or w?
-9
Suppose 0 = -3*f + d - 13, -d - 3*d = 2*f + 4. Let i be (30/f)/((-9)/12). Let s be (-27)/45 + 16/i. Is -4 greater than or equal to s?
False
Suppose 33 = 4*k + 1. Let i(n) be the third derivative of -n**5/60 + 7*n**4/24 + 5*n**3/3 - 4*n**2 + 4*n. Let x be i(k). Do x and 0 have different values?
True
Let f = -15 + -10. Let x = -25 - f. Suppose 4*p + 7 - 3 = x. Which is smaller: p or 1?
p
Let k(a) = -2*a**3 + 7*a**2 + 2*a + 8. Let o be k(4). Let z(q) = q**2 + 14*q + 15. Let g be z(-15). Do g and o have different values?
True
Let h = -4.4 - -2. Let s = -12.4 - h. Is 2 smaller than s?
False
Let q = 37 + -11. Suppose -31*y + 27*y + 75 = -5*l, 0 = -2*l + 10. Which is bigger: q or y?
q
Let r be (-568)/20 - (-6)/15. Let h = -28 - r. Is 4 bigger than h?
True
Suppose 6 = 2*p + 21*q - 24*q, 4*p + 5*q = -10. Is p equal to -62?
False
Let b(h) = -3*h**2 + 15*h - 14. Let w be b(4). Is w at most -13/17?
True
Let s be 1 + (-7 - -4) - -17. Let o(l) = l**2 - 16*l + 14. Let a be o(s). Is a smaller than -2/33?
True
Let g = -55/483 + -2/69. Which is smaller: -39 or g?
-39
Let m(y) = -y**3 - 9*y**2 + 22*y - 29. Let c be m(-11). Which is smaller: c or -10?
c
Let v = -0.304 + 0.404. Is v at most -4.8?
False
Let o = 1 + 8. Let i = 16 - o. Let b(l) = -l**3 + 2*l**2 + 2*l + 2. Let n be b(3). Is n less than i?
True
Let k(a) be the first derivative of a**3/3 + a**2 - 6*a - 34. Let j be k(-4). Is 24 less than j?
False
Suppose 11*m - 7*m - 384 = 0. Let q be (-4)/6 - m/(-198). Is q equal to 0.5?
False
Let i be 1*(-44)/(4/1). Suppose -4*n - 3*m - 33 = 23, 0 = 5*n + 4*m + 69. Let g = 5 + n. Which is smaller: i or g?
g
Suppose -4*s - 2*f = -16, -3*s - 4*f + 18 = -4. Suppose 0*u = u + 3*q + s, 2*u + 3*q + 4 = 0. Which is smaller: u or -3?
-3
Let j = 0 + -1. Let d(x) = 8*x + 97. Let w be d(0). Let r = -101 + w. Does r = j?
False
Let n be -23 - (36/24)/(6/(-20)). Which is bigger: -21 or n?
n
Let f = 40 - 41. Let j(i) = 2 - 1 + 3 + 2*i. Let g be j(-3). Are g and f non-equal?
True
Let j be ((-2)/(-52) - 0)*-4. Let r = 1 + 19. Let v = r - 19. Which is bigger: j or v?
v
Let t = 23.3 - 14.3. Let x = 1.88 + -10.98. Let z = t + x. Which is smaller: z or 0.09?
z
Let d = -5 - -5. Is -2/111 bigger than d?
False
Let n = 1 + -1. Let f be (1920/(-315))/(-16)*-2. Is n equal to f?
False
Let g = -6 + 11. Suppose 0 = g*j + l - 10, 0*j - j + 16 = 3*l. Let f = -0.13 - -0.2. Is f at least j?
False
Let g be (-5 - -3)/(3/3). Let z be ((-6)/(-4) - 3)/3. Which is greater: z or g?
z
Let g be 1/(-2) + (-102)/(-28). Let a = 2 - 0. Which is smaller: g or a?
a
Let g be (1 - 7) + 0 - 78/(-11). Is g less than -4?
False
Let p = 4 - 6. Which is smaller: p or -16/11?
p
Let m(y) = y**3 - 7*y**2 + 7*y - 3. Let s be m(6). Suppose -21 = -2*c + s*c. Let r be (-6)/(-4)*(-2)/c. Which is greater: 0.3 or r?
0.3
Let n be (125/116 + -1)*1926. Let y = n - 299/2. Let v be 0/13*(-2)/(-4). Is v less than or equal to y?
False
Suppose 3*d + l = 4*d + 1, -l = 3*d - 13. Let w be (-6)/d - (-77 - 3). Let z be 454/w - (-10)/(-65). Is z < 5?
False
Let h = -781 + 919. Is 138 less than h?
False
Let k = -5693 + 5704. Let q = -3/119 + 6679/595. Which is smaller: q or k?
k
Let n = -0.532 - -0.592. Which is smaller: 20 or n?
n
Let l(s) = -s + 51. Let m be l(18). Let h be 3/(-4) + (-3 - m/(-12)). Which is greater: h or 2/11?
2/11
Let b = 17 - 10. Let v = -5 + b. Which is bigger: 6 or v?
6
Let l = 29 + -18. Suppose -j + l = -o, -5*j - 4*o = -3*j - 4. Which is smaller: j or 9?
j
Let y(l) = 32*l. Let i be y(3). Suppose 5*h + i = 9*h. Let t = h + -30. Which is smaller: t or -4?
t
Let r = 6 + 4. Let z be (1496/(-165))/(r/6 + -1). Which is bigger: -14 or z?
z
Suppose 2*g = 2*y + 68, 0*g = 2*g - y - 73. Is 25 at least as big as g?
False
Let j = 1904 - 1903.391. Are -2/7 and j nonequal?
True
Suppose -26 = -n + 2*n. Let m(g) = 2*g - 7. Let k be m(n). Which is smaller: k or -58?
k
Let o = -26 - -26. Suppose -2*l = -o*l - 2. Which is smaller: l or -4/27?
-4/27
Let m be (21/(-6))/(50/280). Is 0.1 < m?
False
Let x(u) = u**2 - 4*u - 4. Let k be x(6). Let w be (6/k)/((-54)/(-16)). Let b = 10.3 - 10.35. Which is greater: b or w?
w
Let q = 2522.8 + -122.8. Which is smaller: -1 or q?
-1
Suppose -w - 4*s = 422, -452 = -3*w + 4*s - 1734. Is w at least as big as -427?
True
Let b be (-236)/(-1298) - 106/220. Which is smaller: b or -1?
-1
Let h = -548 + 549. Which is smaller: -2/87 or h?
-2/87
Let h(v) = v**2 + 14*v + 16. Suppose 0 = -2*n + n - 12. Let z be h(n). Which is bigger: z or -7?
-7
Suppose 6 = -3*a, a + 46 = 5*o - 91. Let r = o + -29. Is 0 bigger than r?
True
Suppose -8*x + 5*x = 36. Let t = -62/5 - x. Which is greater: t or -22?
t
Suppose -2*f = -32 - 24. Let p = f + -13. Suppose -7*j = -8*j + p. Does j = 15?
True
Let o be (120/2)/(6/8). Let u = o + -32. Let m = u - 142/3. Which is smaller: m or 8?
m
Let t be -2*(-2)/(-4) - -5. Let x be 12/(-3) + (-6)/(-36)*40. Which is greater: t or x?
t
Let h = 1 - 4. Let g(t) = t**3 + 6*t**2 - 7*t + 7. Let l(m) = m**3 + 5*m**2 - 6*m + 6. Let s(p) = 4*g(p) - 5*l(p). Let q be s(0). Which is smaller: h or q?
h
Let q(g) = -7*g - 109. Let t be q(-29). Which is smaller: 95 or t?
t
Let p = -701 + 1279. Which is greater: 577 or p?
p
Let s = 390 - 344.1. Is s at least 1/4?
True
Let q = 1718/9 + -191. Which is greater: q or 4?
4
Let f = 8.872 + 0.128. Is f smaller than 3/8?
False
Let l(t) be the second derivative of -4*t**3/3 + t**2/2 - 32*t. Let a be l(4). Is 0 at most a?
False
Let v(s) = 2*s**2 + 3*s - 3. Let i be v(2). Let q(m) = -m**2 + 11*m + 2. Let a be q(i). Suppose -k = -22 - a. Is k > 24?
False
Suppose -65*a - 1380 = -60*a. Is a at most as big as -276?
True
Let s be (2967*(-10)/75)/((-113)/10). Let l = s - 35. Is 1 greater than or equal to l?
True
Let u = -10 - -10.7. Let l = u + 0.3. Let g = 30 + -27. Which is greater: g or l?
g
Let x be (-12)/8043*(-56)/16. Is -1 bigger than x?
False
Suppose 3 + 4 = 7*y. Let k = 8.2 - 9. Is y not equal to k?
True
Let y(l) = 20*l**2 - 197*l - 18. Let k be y(10). Are 5/12 and k unequal?
True
Let u(a) = 6*a**2 - 7*a + 94. Let b be u(8). Which is bigger: b or 1?
b
Let a(m) = 2*m + 8. Let l be a(-9). Let h = l + 13. Let c be ((-10)/12)/(2/h). Which is bigger: c or -1?
-1
Let m = -1299/2 + 662. Is 12 >= m?
False
Let p = 643541/135 - 4767. Is p less than 0?
True
Let n = -32 + 53. Let p = 13 - n. Let f = 0 + p. Are -8 and f nonequal?
False
Let k = 1805 + -55950/31. Which is smaller: 0 or k?
0
Let u be 6/4*24/4. Suppose -3 + u = -4*s - 2*l, -l - 5 = 0. Let j = 2165/12461 - -2/733. Is s > j?
True
Let r = 932 - 903. Is -1 smaller than r?
True
Let u = 19769/9 + -2194. Is 1 at least u?
False
Let k be -3 + (-20)/(-8) - 1/2. Suppose 0 = -n + 6*n + 5*r - 95, 0 = 5*r - 25. Let s be 12/n*6/12. Is s >= k?
True
Let o = -0.227 + -0.023. Let i = 0.05 + o. Let u be (2 - (0 + 3))/4. Does i = u?
False
Let f = 29.27 + -29.4. Which is smaller