lse
Let j = 0.2 - 0.4. Let u = j - 0.3. Let x = 1.5 - u. Is 0 < x?
True
Suppose 0*b + 4*b - 16 = 0. Suppose 4*n + b = 12. Let c be (-12)/8 - 1/n. Is c <= -2?
True
Let c = 21 + -35. Let r be (-2)/5 + c/(-10). Let b be (7/(14/(-4)))/(-2). Is b less than r?
False
Let p = 0.21 + -0.41. Which is bigger: p or -11?
p
Let c(b) = 3*b - 1. Let k(v) = v - 6. Let z be k(7). Let w be c(z). Let x(y) = y**2 + 2*y - 2. Let t be x(1). Do t and w have different values?
True
Let m = -0.18 - 0.82. Which is smaller: -8 or m?
-8
Let b(n) = n**2 - 7*n + 5. Let d be b(8). Suppose -15*y - 2 = -d*y. Do -1 and y have the same value?
True
Let h(s) = -9*s + 27. Let c be h(-6). Is c not equal to 81?
False
Let o = -1.18 - -0.08. Let v = o + 0.1. Let t = 69 + -71. Which is smaller: v or t?
t
Let g(a) = a**2 - a - 2. Let j be g(0). Let m be j - (-1 - 0)/1. Let y = 29 - 146/5. Which is smaller: m or y?
m
Suppose 18 = -q + 3*i + 1, -3*i + 12 = 0. Which is smaller: 7 or q?
q
Let o = -0.2 - 0.8. Let t(b) = b**3 - 2*b**2 - 3*b + 3. Let w be t(3). Let r be ((-3)/45)/(w/(-18)). Is o at most as big as r?
True
Let i be 0 + 4*1/2. Suppose i*q + 12 = 3*w - q, -3*w - 5*q - 4 = 0. Suppose w*p = -g + 10, 0*p - 6 = -2*p. Which is bigger: 5 or g?
5
Suppose 0 = -3*o - 0*o + 3*b + 18, -2*b = -4*o + 30. Let v = o - 15. Let u be -2 + 6 + 3 + v. Is 1 < u?
False
Let a(i) = 2*i - 4. Let p be a(3). Suppose -3 = -b - p*b. Let r be (7/(-42))/((-3)/4). Which is smaller: b or r?
r
Let x = 0.67 + -0.37. Suppose 3*p + 4*n = 14, 0*n = 3*p + 2*n - 10. Is x not equal to p?
True
Suppose -3 + 3 = 8*w. Let m = 5/11 + -3/55. Are m and w nonequal?
True
Let y = -2.12 + 1.9. Let s = y + 10.22. Let n = s - 9. Which is smaller: n or -0.2?
-0.2
Let p = -5 + 0. Let n be (p/(-5))/(1/(-9)). Is n at most -8?
True
Let o = 0.04 - 3.04. Let m = o - -3.11. Which is greater: m or 1?
1
Let n = 1.99 + -2. Let w = 0.39 - n. Let x = -1.09 - -0.09. Is w smaller than x?
False
Let m = 94 - 91. Which is bigger: 0.6 or m?
m
Let t(f) be the third derivative of -f**4/24 + f**3 + 2*f**2. Let u be t(-5). Suppose 0 = i - u + 6. Is i <= -2?
False
Let k(g) = 8*g - 1. Let p(b) = -24*b + 4. Let n(v) = 7*k(v) + 2*p(v). Let r be n(-1). Let o = 7 + -13. Are r and o equal?
False
Suppose 3*c + 2*v = -3*v - 2, -3*c = -4*v - 7. Which is smaller: 2 or c?
c
Suppose -2*p - m = -30 + 6, -m - 32 = -2*p. Suppose -v + 2*c - p = 3*v, -3*v - 3 = c. Is -1 > v?
True
Suppose -3*b - 4*q = 2*b - 1, -q + 4 = 5*b. Let n be 0*((-15)/6)/(-5). Let j(f) = -f + 3. Let o be j(n). Is o greater than or equal to b?
True
Suppose 16*w = 17*w. Is 2/7 less than w?
False
Let q(d) = d**2 + d + 6. Let f be q(0). Suppose 4 + f = -2*l. Let z = 0.3 + -0.4. Which is greater: l or z?
z
Suppose 3 + 3 = -2*g. Let f be 1*1/g*-3. Let q = -2 + f. Which is smaller: 2/5 or q?
q
Let t(j) = j. Let z be t(-2). Suppose 19*x = 22*x + 66. Let u = x - -20. Is u greater than z?
False
Let w(s) = s**3 + 6*s**2 - 8*s - 3. Let b be w(-7). Is 1 greater than b?
False
Let z(j) = -j + 13. Let a(v) = -2*v + 27. Let y(t) = 2*a(t) - 5*z(t). Let r be y(5). Let c be (-7)/7*(-4)/r. Is c > 1/5?
False
Let w = -2 - -2.1. Let q = 3.2 - 3. Let a = q - 0.1. Is a less than or equal to w?
True
Let f(h) = -h**2 - h + 3. Let x be f(-3). Let b = x - -4. Which is bigger: 2/19 or b?
b
Let r = -2 + 5. Let p be (-1)/(1/(3/r)). Which is smaller: -0.09 or p?
p
Let f(h) = h**2 - 4*h + 13. Let y be f(9). Is y > 58?
False
Let g(o) = -2*o**3 - o**2. Suppose 4*z + 3 + 1 = 0. Let d be g(z). Let i be 3/36 + 1/(-3). Which is smaller: d or i?
i
Let t be 1/((-3 - -2)/((-1)/3)). Which is bigger: t or -1.3?
t
Let f(q) = -q**3 + 4*q**2 + 4*q - 2. Let u be f(5). Let r = u + 4. Let y be -5*r/6 - 3. Which is smaller: y or 0?
y
Suppose -7*c - 22 = -4*c + 4*t, 3*c + 14 = -2*t. Let u = -1 - c. Which is smaller: 1/16 or u?
1/16
Let l be (0 - 57/21) + 3. Which is greater: 2/9 or l?
l
Let j = 0 + 0.1. Suppose 0 = -2*n - 2*n - 4. Which is smaller: j or n?
n
Let y = 13 - 18. Which is smaller: y or -9/2?
y
Let k = 32 - 57. Is -26 <= k?
True
Let x = 0.019 - 7.219. Let c = x + 7. Which is greater: 0.4 or c?
0.4
Let j = 56 - 55. Which is smaller: -1/67 or j?
-1/67
Let h be (84/(-963))/7*3/(-2). Which is bigger: -1 or h?
h
Let i be 34/(-6) - 2/6. Let n be (-12)/81*i/4. Which is smaller: 1 or n?
n
Let b = 1 + 0. Let z = -5 + b. Which is smaller: -3 or z?
z
Let a(b) = b**3 + 4*b**2 + 3*b - 4. Let x be a(-2). Are 4 and x nonequal?
True
Let d = 0.19 - -1.41. Let q = d + -2. Let m = q - -0.4. Is m equal to 0.4?
False
Suppose 2*s + 4*s = 0. Which is smaller: s or -2/191?
-2/191
Suppose 26 = -5*p - 4*s, -p - s + 2 = -2*s. Let c(z) = -7*z**3 - 2*z**2 + 2*z. Let i be c(p). Let b = -398/9 + i. Which is smaller: -1 or b?
-1
Let m = -2 + 2. Let g be 2/(-4) + (-1)/(-2). Let b be (0 - g)/(m - 1). Which is bigger: b or -1?
b
Let b be (5 - 55/10) + (2 - 1). Which is greater: b or -0.35?
b
Let s = 2/297 + -901/1485. Suppose -6*d = -10*d. Which is smaller: d or s?
s
Suppose 0 - 4 = -p, 4*t - 32 = -5*p. Let v(f) = -f**2 - 4 + f + 5*f**3 - 3*f**3 - f**t - 2*f**3. Let m be v(0). Is m at most -4?
True
Let j be ((-12)/8)/((-2)/8). Suppose 2*m + 0 = -j. Let t be 3/(3 + 1 + m). Is 4 at most t?
False
Suppose 2*a + w - 15 = 0, -27 - 18 = -5*a + 5*w. Is a > 7?
True
Let x be (-1 - (-4)/3)*3. Suppose j = -x + 4. Suppose j*c = -2*b + 10, -b - 20 = 5*c - 5*b. Which is smaller: c or -1?
-1
Let g = 16 + -8. Let m(n) be the third derivative of -n**5/60 + n**4/3 - 3*n**2. Let u be m(g). Which is bigger: u or -1?
u
Let j be (-2)/(-8) + (-2)/8. Let w(a) = a**3 - 6*a**2 + a - 7. Let o(k) = k - 4. Let c be o(10). Let u be w(c). Is j less than u?
False
Suppose 2*g + 45 = -g. Let r = -37 - -103/2. Let z = r + g. Is 0.1 < z?
False
Suppose 4*h - 3*l + 10 = 0, 15 - 2 = -5*h + 4*l. Let j(m) be the third derivative of m**6/120 + m**4/24 + m**2. Let v be j(h). Which is bigger: v or 0?
0
Let u be -3 + (-1 - (-44)/4). Which is smaller: 9 or u?
u
Suppose 26*i = 6*i - 740. Which is greater: i or -36?
-36
Let q = -14 - -16. Does -0.08 = q?
False
Suppose -3*h - 4*b + 11 = 0, -5*b + 2*b = -6. Which is smaller: h or -1/7?
-1/7
Let s(f) = f**2 + 9*f + 1. Let z be s(-9). Let r = 23809 - 452882/19. Let d = r + 27. Is z less than or equal to d?
False
Let m(i) = i**2 + 11*i - 27. Let a be m(-13). Which is smaller: -1/8 or a?
a
Let n be 12/(-10)*(-10)/2. Let w = n - 11. Which is greater: w or -4?
-4
Let s = -63 - -62. Is s at least -5/29?
False
Let x(s) = -2*s**3 + s**2 - 1. Let b be x(1). Let y = -2 - b. Let d = 5 + y. Does 3 = d?
False
Let o = -57 + 74. Is 16 less than o?
True
Let y be (-5)/5*(1 - 2). Let c = -7 - -8. Are c and y non-equal?
False
Let k(p) = 4 + 2*p - 7*p**2 + 11*p**2 + p**3 - 6 + 0. Let t be k(-3). Which is smaller: t or -1/9?
-1/9
Let z be (-4)/22 + (-24)/352. Which is smaller: z or -1?
-1
Let f(o) = -2*o + 4. Let z be f(4). Which is smaller: z or -0.1?
z
Suppose -2*u = 5*t - 29, -u - 3*u = -4*t + 12. Which is bigger: u or 4?
4
Let h = 94/3 - 32. Which is smaller: -11 or h?
-11
Suppose 2*w + 10 = 4*w. Which is bigger: 6 or w?
6
Let j(q) = 2*q**2 + 1. Suppose -4*c + 29 = -5*h - 0*h, -h - 9 = -4*c. Suppose 6 - c = -5*n. Let b be j(n). Which is greater: 2 or b?
b
Let d(p) = p**2 + 6*p - 1. Let m be d(-6). Let x = 476 + -4280/9. Which is bigger: x or m?
x
Let r = 18.07 + -0.07. Let p = -18.2 + r. Which is greater: 3 or p?
3
Suppose 3*d - 2 = d. Which is bigger: 2/71 or d?
d
Let j(u) = -3*u**3 - 2*u**2 + 2. Let o be j(-2). Is 19 at least as big as o?
True
Suppose -4 + 4 = 3*w. Which is smaller: -5 or w?
-5
Suppose -2*t + 5*k = 2 - 23, -15 = -t + k. Is 52/3 equal to t?
False
Let h(c) = c**2 - 8*c - 2. Let x(d) = d**2 - 8*d - 2. Let p(v) = 6*h(v) - 5*x(v). Let j be p(9). Let t = j - 8. Is t > -2?
True
Suppose -3*o - w = -7*o - 4, 4*w = -2*o - 2. Is 4/11 less than o?
False
Let j(z) = z - 6. Let y be j(6). Let d = 55/4508 + -3/92. Let q = 13/49 - d. Which is bigger: y or q?
q
Let c be (-16)/(-2)*(0 - -1). Let p(n) = n + 2. Let x be p(c). Is 10 less than x?
False
Let u be 6/18 + 2/(-6). Let q be -2 - (2/(-1) - u). Suppose -2*j + q*c - 4*c = 4, c = -1. Is -1/19 < j?
True
Let f = 0 + 2. Let k = f + -3. Let y = 0.9 + k. Which is smaller: y or -1/2?
-1/2
Let i(d) = -d**3 + 4*d**2 - 4*d + 6. Let r be i(4). Let a