lse
Let p = -5.2 + 0.2. Let z = 6.5 + p. Let c = 2 - z. Is c at least -1?
True
Let o = 1 - -33. Let h = 21 - o. Which is smaller: h or -12?
h
Let b be 4/(-3)*6/(-117)*-18. Is b smaller than -2?
False
Let u = -8 + 12. Suppose 5*k = 3*k + u. Is 1/2 < k?
True
Let u be 5*(-1 - 6/(-4)). Suppose -16 = -10*k + 24. Which is greater: k or u?
k
Let i(o) be the second derivative of 2*o + 0 - 1/6*o**3 - 5/2*o**2. Let a be i(-5). Are a and 0 equal?
True
Let t = 0.14 - -7.86. Let b = 13 - t. Let r = 1 - b. Is 0 greater than r?
True
Let t = 14 - 7. Which is bigger: t or 2/5?
t
Suppose -n + 8*n = -7. Is 0 <= n?
False
Let o(h) = h**2 + 2*h. Let p be o(2). Let w = 7 - p. Is w <= 2/5?
True
Suppose -2*v - 4*a - 1 - 3 = 0, 4*v - a = -26. Which is greater: -5 or v?
-5
Let g be -71 + 75 - (-46)/(-12). Let o(c) = -2*c - 2. Let i be o(-2). Let d = i - 1. Which is smaller: d or g?
g
Let u = 26 + -24. Are u and -5 unequal?
True
Let g = -50/19 + 869/323. Let o = 2 - 1. Is o at least as big as g?
True
Let z be (216/45)/6 - (-13)/(-35). Which is greater: z or 1?
1
Let i(z) = -z - 5. Let j be i(-9). Suppose j*c - 10 = 38. Suppose -5*k + k = c. Which is smaller: -4 or k?
-4
Let i = -29 - -21. Let m = i - -4. Do 1 and m have different values?
True
Suppose m - 85 = 4*p - 4*m, p - 2*m = -25. Let i be (p/(-25))/((-1)/5). Let a(z) = z**3 - 6*z**2 + 4*z + 1. Let v be a(5). Is i bigger than v?
True
Let b be (-3)/2*4/(-3). Is 2 less than b?
False
Let z(q) = q**2 - 12*q - 4. Let a be z(12). Which is smaller: -7 or a?
-7
Let h(b) = b**3 + 4*b**2 + b. Let w be h(-3). Let c = w + -2. Let g = 4 + -3. Are c and g unequal?
True
Suppose 2*z - 3 = 7. Suppose -r - 5*d = -1, -5*r + 0*d + z = 4*d. Suppose -r + 0 = t. Is -1 equal to t?
True
Let v = -21 - -11. Which is smaller: v or -9?
v
Let m(p) = -p - 48. Let f be m(0). Let y be (-28)/f + 2/(-6). Is 1 <= y?
False
Let u = 62 + -64. Do 2/11 and u have the same value?
False
Let u = -29 - -28. Do u and 8 have the same value?
False
Suppose j + 4*j = -2*g + 27, g + 5*j = 26. Is 2/93 >= g?
False
Let b = -444 - -3102/7. Which is smaller: b or -2?
-2
Let t = -7.3 - -7. Let w = 0.4 + t. Is w less than 1/4?
True
Let n(r) = -r + 4. Let k be n(11). Let u be -6 + 0*(-2)/4. Is u >= k?
True
Let h be (3/(-6))/((-1)/4). Suppose -h*r = -0*r. Is r smaller than 0?
False
Let f = 50 + -25. Which is smaller: f or 1?
1
Let k = 21 + -145/7. Which is greater: -0.06 or k?
k
Let h = -47/403 - 1/13. Is h greater than 0.1?
False
Let r = 50 + -50. Is r != -4/7?
True
Let g(a) = -a**3 + 4*a**2 + 6*a - 4. Let i be g(4). Suppose -4*f = -5*r + 41, i = -2*f - 3*f. Is 1 >= r?
False
Let o be (45/(-6))/(3/(-4)). Let q be 3/2*80/12. Is o equal to q?
True
Let l = -3/11 + 43/77. Which is bigger: l or 0?
l
Suppose -8 = 73*m - 75*m. Is 2 > m?
False
Let s be ((-4)/8)/((-2)/(-4)). Let v be 1*1/(-2)*s. Let r(p) = -p**3 + 5*p**2 - 5*p + 4. Let a be r(4). Which is smaller: v or a?
a
Suppose -6*p + 5 = -4*p + s, s + 10 = 3*p. Suppose 2*t = -3 - p. Are t and 2 non-equal?
True
Let f be (-6)/(-9) + 2/(-3). Suppose y + 1 = -2*q, -2*q - q = -4*y - 15. Are f and q unequal?
True
Let o = -62 - -65. Is o > -1/14?
True
Let q be ((-8)/(-3))/4 + 0. Let m = 45 - 45. Which is smaller: q or m?
m
Suppose -5*v + 11 = 1. Suppose 3*d = 7*d + k - v, -2*d = 5*k + 8. Which is bigger: d or -1/3?
d
Let u be (-3370)/(-36)*(0 + -2). Let j(d) = -95*d + 3. Let i be j(2). Let k = i - u. Are k and 1 unequal?
True
Let s = -0.014 - -0.124. Which is bigger: s or 1/2?
1/2
Let l be (-17)/50 - 3/(-6). Which is smaller: l or 0?
0
Let b = -0.65 + -0.35. Which is bigger: b or -0.21?
-0.21
Let x(h) = 5*h**3 + 9*h**2 + 7*h + 4. Let g be x(-3). Which is smaller: 0 or g?
g
Suppose n = -11 + 4. Let z be (2/6)/(n/(-6)). Is z at least as big as 0?
True
Let u = 6 - 0. Suppose -3*d - u = -0. Suppose -4*g + 6*g = -2. Is d less than or equal to g?
True
Let r = 0.15 + 0.03. Let c = r + -2.18. Is c smaller than 1?
True
Let s = 1 + 1. Suppose -4*t - 6 = -s. Suppose 8*m = 3*m - 5. Is t != m?
False
Let g be 107/39 - 1/(-3). Let d = g + -174/65. Which is bigger: -0.1 or d?
d
Let c be 1379/(-21) - (-8)/(-6). Are c and -67 equal?
True
Let m = 1 + -4. Let r = m - -5. Is -2 greater than r?
False
Let m = -22060/13 + 1696. Is 0 smaller than m?
False
Let s = 1 - 3. Let t be 3/70 - s/(-14). Let m = t + 3/130. Which is bigger: m or 1?
1
Let w = 14 - 15. Let r(y) = y. Let a be r(0). Is w less than a?
True
Suppose -a + 4*r + 1 + 6 = 0, 3*r = -a. Let i = 4 + -3. Let g = i + 2. Is g > a?
False
Let z = -33 + 32. Are z and 51 non-equal?
True
Let s(c) be the third derivative of c**5/60 + c**4/12 + c**3/6 + 3*c**2. Let y be s(-2). Do 1 and y have the same value?
True
Let w be ((-24)/234)/(2/(-3)). Which is smaller: w or 0?
0
Let b(c) be the third derivative of -c**6/120 + c**5/20 + c**4/8 + c**3/2 + 3*c**2. Let w be b(4). Let d be 2 + 0 - 2 - w. Which is greater: 0 or d?
d
Suppose 5*q - 9 = r + 2*r, -5*r + 10 = 0. Is q smaller than 7?
True
Let p = 13/36 - 1/9. Is p < -1/4?
False
Let u be 5/(-1 + -4)*-1. Suppose 3 = -3*q + 6. Let f be (q/2)/((-1)/(-6)). Which is smaller: f or u?
u
Let q be (-16)/56 + (-1)/(-28). Which is smaller: 0 or q?
q
Let m = 0.8 + -0.7. Let c = m - -3.9. Which is smaller: -0.1 or c?
-0.1
Suppose -4*k = -u - 13, 4*u + u - 55 = -4*k. Let j = u - 4. Is 1 <= j?
True
Let p(g) be the third derivative of g**5/60 - 5*g**4/24 - 2*g**3/3 + 3*g**2. Let f be p(6). Does f = 2?
True
Let d(g) = -3*g**2 + g. Let v(m) = m - 2. Let z be v(3). Let k be d(z). Let t(r) = -3*r - 6. Let y be t(-1). Which is smaller: y or k?
y
Let m(n) = n**3 - n**2 - 2. Let d be m(0). Suppose 0 = 3*l + 2*c - 41, l = 2*c + 16 + 3. Suppose 0 = 2*x - 8, 3*x = -w - x + l. Is w at most d?
False
Let n(g) = g + 2. Let i be n(3). Suppose i*q = 7 + 8. Suppose a - 2 + q = 0. Which is smaller: -3 or a?
-3
Let s(v) = v**3 + v**2 + v - 1. Let d be s(1). Let q = d + -3. Let r be 0 + (-1 - q*3). Is 1 bigger than r?
False
Let b be ((-12)/10)/(5/25). Which is greater: b or 1?
1
Let s = -1 - -1. Let l = -2 + s. Let g be -2 - -1 - 11*3/(-24). Is l smaller than g?
True
Let w = 10/17 + -67/85. Is -0.09 < w?
False
Let r = 1.9 + 5.3. Let v = 7 - r. Which is smaller: v or 1/5?
v
Let j = 60 + -65. Which is smaller: j or 0.1?
j
Let i(w) = w**2 - 6*w - 2. Let v be -3 + -2 + 3 + 8. Let d be i(v). Is -3 less than or equal to d?
True
Let v(j) = j**3 + 5*j**2 + j + 2. Let w be v(-5). Suppose 4*f - 2 + 0 = -5*b, 14 = -2*f + 5*b. Is w equal to f?
False
Let d = 66 - 145/2. Which is smaller: -6 or d?
d
Let f(n) = n**3 + n**2 - n. Let g be f(-2). Let b = 275/2 - 140. Which is greater: b or g?
g
Let y = -0.01 - -0.21. Let u = -2 - -2. Let c = 0 + u. Which is bigger: y or c?
y
Suppose w = 3*w + y - 7, 2*w = -3*y + 17. Suppose s + 5 = 5*l + 4*s, 3*s - 2 = -2*l. Let i = w - l. Which is smaller: -1/4 or i?
-1/4
Let m(k) be the second derivative of k**5/20 - k**4/4 - 5*k**3/6 + 5*k**2/2 + 3*k. Let v be m(4). Let n = -269/35 - -58/7. Does v = n?
False
Let c(j) be the second derivative of -j**5/120 + j**4/6 + j**3/6 + 2*j. Let b(l) be the second derivative of c(l). Let w be b(5). Is w <= -1?
True
Let b = -0.2 + 5.2. Let i = -2 + b. Let w = -4 + i. Is -2 at most w?
True
Let z be 6/4 + (-57)/76. Which is smaller: 3 or z?
z
Let d be (-1 - 8/3)/((-20)/(-12)). Are d and 1 non-equal?
True
Let j = -0.2 - -0.3. Do j and -0.4 have different values?
True
Let c(r) be the third derivative of r**5/60 + r**4/3 - 5*r**3/3 - r**2. Let f be c(-9). Is 1/4 not equal to f?
True
Let w = 0.1 + 0.1. Let l = 3/34 - 77/102. Do l and w have different values?
True
Let r(v) be the second derivative of -v**5/20 + v**4/3 + 3*v**2/2 - 2*v. Let q be r(4). Suppose 0 = -q*s - 3. Is s smaller than 1/5?
True
Let n(d) = d**3 - 8*d**2 + 8*d - 3. Let x be n(7). Let f be 1*6/3 + 3. Is f greater than or equal to x?
True
Let a(s) = -2*s**2 - 29*s - 13. Let p be a(-14). Which is greater: -5 or p?
p
Suppose 0 = -3*i - 2*i + 85. Which is smaller: 18 or i?
i
Let q = 3.93 - -0.07. Let x = 1.8 + 5.2. Let z = x - q. Is z <= 1/2?
False
Suppose 2 = 3*x - 7. Let u be 2 - ((2 - 5) + 2). Let v be x/(u*3/(-6)). Which is smaller: v or -1?
v
Let r = -58/7 + 8. Is r less than or equal to -7?
False
Let f = 1 - 1.06. Let m = 46.06 + -47. Let j = f + m. Is -0.2 at most as big as j?