lse
Let m(a) = 2*a + 12. Let v be m(-7). Let y = v + 4. Is 0 smaller than y?
True
Suppose -3*r + 10 - 337 = 0. Is r >= -110?
True
Let m = 18 + -11. Let g be (-13)/4 + -5 + m. Which is bigger: g or -1?
-1
Let h be ((-6)/10)/(1/(-25)). Suppose -4*v - v + h = 0. Suppose -3 = -v*j - 0. Do 1 and j have different values?
False
Let p = 0.17 + -9.17. Let g = -1.2 + 1.1. Which is smaller: g or p?
p
Let n be 1/(-11)*(28 - 1). Let z = n + 167/77. Which is smaller: 5 or z?
z
Let w(v) = 3*v - 17. Let c be (-75)/5*3/(-5). Let t be w(c). Is 10 less than or equal to t?
True
Let m = 18071/31 - 583. Which is bigger: m or -1?
m
Suppose -5*i + 28 = -2*b, 4*i - b - b = 22. Suppose -n + 0*n = i. Which is smaller: -8 or n?
-8
Let o = -81/187 - -12/17. Is -1 bigger than o?
False
Let c = -29 + 29.5. Which is smaller: -0.1 or c?
-0.1
Suppose -2*c = 5*c. Is c at most as big as -2/33?
False
Suppose -4*o + 16 = 2*a - 6*a, 4*o + 3*a = 16. Suppose -5*w + o - 24 = m, -w - 4 = 5*m. Is -6 bigger than w?
False
Let b(q) = -q**3 - 6*q**2 - 6*q. Let k be b(-5). Is k bigger than 3?
True
Let a be 25/(-72) + (-4)/(-18). Let b be (-1 - -1)*(-1)/(-2). Which is smaller: b or a?
a
Suppose -3*y - 16 = 5*s, 3*y - y - 26 = 4*s. Suppose -5 = -x + 4*i, -2*x = i + 4 + 13. Which is smaller: x or s?
x
Suppose 0 = 4*v - 2 - 2. Suppose 5*t = j - 5, t + 2 = j + v. Let z be 18/(-8)*2/(-12). Is z less than or equal to j?
False
Let z be 3 - 1 - (0 + -8*1). Which is greater: z or 8?
z
Suppose 4*c - 3*p = 13, -2*p + 0 = 5*c + 1. Which is greater: c or 3?
3
Let h(z) be the third derivative of -z**5/60 - z**4/4 - 5*z**3/6 - z**2. Let l be h(-5). Suppose l*j = -3*j. Is 0 not equal to j?
False
Let j(u) = u + 3. Let i be j(0). Suppose -i + 17 = -3*f + 2*q, 3*f - 4*q + 4 = 0. Let r be -1*2/f*-2. Do r and 0.1 have different values?
True
Let b be 0 - 0 - (-4)/22. Suppose -5*n = 37 + 3. Let k(f) = -f - 9. Let a be k(n). Which is smaller: a or b?
a
Suppose 10 = -5*h - 35. Which is smaller: -10 or h?
-10
Suppose 24 = b + 2*u + 8, 0 = -u + 5. Suppose -b*f + 3 = -5*f. Is f equal to 0?
False
Let c = 20.26 - 21. Let z = 0.04 + c. Let x = 0.5 + z. Which is greater: x or 2?
2
Suppose 2*i + p = -8 - 5, -5*p + 19 = -4*i. Let u be 12*((-3)/6)/1. Is i at most as big as u?
True
Let w be (0 - 0)/(-8 + 6). Is -6/11 < w?
True
Let m(g) be the second derivative of -g**5/20 + g**4/6 + 2*g. Let a be m(2). Suppose z + 3 = -a*z + 4*n, 0 = -4*z - 5*n + 9. Is z smaller than -4?
False
Let t = 2672/11 - 49157/143. Let u(a) = -a**3 + a**2 + a - 101. Let s be u(0). Let n = t - s. Which is bigger: -1 or n?
n
Suppose -o = -6*o + 10. Suppose 3 = o*i + 2*x + 7, -3 = x. Let n = 92 - 462/5. Is n at most as big as i?
True
Let b(p) = p**2 + 5*p. Let f be b(-5). Suppose f*w = -2*w + 2. Let j = -3 - -1. Which is smaller: j or w?
j
Let g be (-10)/12*51/(-10880). Which is smaller: 0 or g?
0
Let v be (-3)/12 + (-10)/(-8). Let q = -1/2 + v. Which is smaller: q or 2?
q
Suppose -1 = -2*q + 35. Let a be ((-2)/6)/(6/q). Is a bigger than -0.1?
False
Let g(c) = -c**3 + 8*c**2 - 13*c + 8. Let m be g(6). Let r = -17/3 - -13/2. Which is greater: r or m?
m
Let p = 14 - 22. Are p and -6 equal?
False
Let r = -1 + 1. Let t = 9 - 9. Suppose t = u - 3*u. Is u <= r?
True
Let m = -135.87 - -135. Let i = m - 0.13. Which is smaller: i or 0.1?
i
Let d(q) = -q**3 - 7*q**2 + q + 7. Let a be d(-7). Suppose 2*g - 11 + 1 = a. Suppose 0 = 4*k + k + 2*h - 28, -21 = -3*k + 3*h. Is k greater than g?
True
Suppose -1 = -3*t + 8. Is t < 7?
True
Suppose 0*f + 12 = d - 2*f, 0 = -3*d + 3*f + 36. Let c be (-3*d/117)/(-2). Let j = 7 - 6. Which is bigger: j or c?
j
Let o(l) = -7*l + 9. Let k(h) = 3*h - 4. Let i(r) = 5*k(r) + 2*o(r). Let s be i(3). Let f = 86 + -256/3. Is s at least f?
True
Let a(w) = -2*w**2 + 11*w - 5. Let c be a(5). Is c greater than -1/250?
True
Let t(i) = i**3 + 9*i**2 - 12*i - 19. Let a be t(-10). Suppose -3*x = -2*x - c - 3, -x = c + 1. Let d be x/3 + 33/(-45). Is a smaller than d?
False
Suppose 0*f - f - 306 = 0. Let u = -1841/6 - f. Is -2 at most u?
True
Let c = -97 - -97.2. Which is bigger: -3 or c?
c
Suppose -5*g = -8 - 12. Suppose g*j - 3 = j. Is j less than -2/19?
False
Let r be (1 + -5 + 3)*3. Is -4 greater than r?
False
Suppose p + 1 = 3*w, -7 = p + 4*w - 6. Let j be (-10)/14 - (-2)/(-7). Are p and j nonequal?
False
Suppose -q - 2*q - 54 = 0. Let h be (9/(-12))/(q/16). Let u = -1 - -1. Which is greater: u or h?
h
Suppose -u = -0*u + 29. Let h be u/(-28) + 1/4. Which is smaller: h or 0?
0
Let o be (-3 + 2)/(2/(-1)). Are 0 and o nonequal?
True
Suppose 0 = 3*r + 3*z - 9, 2*r - 7*r - 2*z + 30 = 0. Let p = r + 0. Which is smaller: p or 7?
7
Let i = 6.9 - -1.1. Let n = -8.2 + i. Which is greater: n or 0?
0
Let b = 143 + -999/7. Let n = 0.1 - -0.9. Is b bigger than n?
False
Let k be (-2)/4 + 1/2. Let d(y) = -3 + k - 2*y + 3*y. Let b be d(6). Is 2 at least b?
False
Let n(b) = -b + 7. Let s be n(8). Let g = -22 - -16. Let v be (-4)/g + (-16)/6. Is s greater than v?
True
Let x = -21.5 + 108.5. Is x greater than -0.1?
True
Suppose 5*x - 4*l - 13 = 0, x - 15 = 3*l - 8. Which is smaller: x or 3/65?
3/65
Let x be 6/(-1 - 2) + -9. Does x = -12?
False
Suppose -p - 87 = -4*p. Suppose -q = q + 5*o + p, -q - 3*o - 17 = 0. Is 3/5 less than q?
False
Let a(i) = -i**2 + 4*i + 9. Let p be a(4). Is 10 less than p?
False
Let w = 15.9 - 17. Let d = 1.1 + w. Which is bigger: 1 or d?
1
Let b = 1/16 + -53/80. Suppose -5*u + 20 = -3*l, -3*u + 2 - 4 = l. Which is smaller: b or u?
b
Let y be (12/16)/((-1)/4). Let t be y/(-1)*(-2)/(-6). Suppose 7*z = 3*z. Are z and t unequal?
True
Let x be ((-8)/48)/((15/(-2))/1). Which is bigger: 1 or x?
1
Suppose 27 = 6*d - 9*d. Let p be (-14)/(-4)*(5 - 7/1). Is p less than or equal to d?
False
Let t be (39/5)/3*24. Let h = t + -62. Which is smaller: h or 0?
0
Let a(o) = -2*o - 8. Let v be a(-6). Suppose -3*m - v = -19. Suppose 0 = m*c + 4*t + 12, 0*t = -3*c - 2*t - 6. Are c and 1 equal?
False
Let k = 16.6 + -17. Is k > -1/4?
False
Let l = 0.06 - -1.94. Let g = l - 1. Which is greater: 2 or g?
2
Suppose -9 = -0*s + s + 3*f, 2*s - 2*f = -2. Is s at most as big as -17/4?
False
Let q(l) = l**2 + 6*l + 5. Let h be q(-6). Suppose -5 = 5*n - 2*k + 4, k - h = 3*n. Is -1 >= n?
True
Let r = -32 + 33. Which is bigger: r or 8/3?
8/3
Let h = -1/233 - -4211/3961. Is 1 >= h?
False
Let r = -1 - -0.6. Let l = -0.3 - r. Which is smaller: -1/3 or l?
-1/3
Let n = 150 - 160.3. Let w = n - -9. Are -1/4 and w equal?
False
Suppose 6 = 2*b - 3*b. Let i = b - -7. Suppose -f + 2 = f. Are f and i unequal?
False
Let w(h) = -h**2 + h + 1. Let c be w(-2). Suppose 0 = m - 0 - 5. Let n be (4/(-5))/(1/m). Which is bigger: c or n?
n
Let f = -36 + 34. Are f and -6/5 equal?
False
Suppose -4*f = n + 3, -4*n + 4*f - 9 = -n. Let y be 4/(-12) + 11/n. Is -4 greater than y?
False
Suppose l - 26 = 133. Let d = l - 639/4. Do d and -1 have the same value?
False
Suppose -7*l + 9*l - 20 = 0. Suppose -2*x - 3*c - 15 = -0*x, l = -2*x - 2*c. Suppose x*f = 4*f. Which is smaller: 2/13 or f?
f
Let q be (2/((-2)/(-11)))/(-4). Let v be (-328)/96 - (0 - 0). Let w = v - q. Which is greater: w or 2/9?
2/9
Suppose -15 = -5*y - 0. Suppose 6 = -y*z - 0. Let u = z - 1. Is u > 0.1?
False
Let x be (1286/(-32))/(10/(-4)). Let m = 135/8 - x. Let t be 1*(0 - -1) + 0. Which is smaller: t or m?
m
Suppose 2 + 1 = -3*s. Let u be 2/s*1/(-2). Let v be (-4)/((-4)/(-2)) + u. Which is greater: -4/7 or v?
-4/7
Suppose 0 = -3*j - 7 + 16. Suppose j*a + 2*m = 6, 3*m = -a - a + 9. Is a > 1/6?
False
Let j(y) = 68*y. Let h be j(2). Let t = h + -950/7. Let s(i) = -i - 7. Let r be s(-6). Is t bigger than r?
True
Let g be (44 - 1)*(3 + -2). Let b = 212/5 - g. Which is bigger: b or 0.1?
0.1
Let r be (1/(-3))/(4/(-12)). Let b be -3 + r/(1/7). Let z = b - 2. Is z greater than or equal to 2?
True
Suppose 5*g - 4 = 3*g. Which is greater: 1 or g?
g
Let f be 2 - 2118/531 - (-4 - -2). Which is greater: f or 1?
1
Suppose -6*h + 3 - 3 = 0. Which is greater: 1/48 or h?
1/48
Let t(g) = 3*g**3 - 23*g**2 + 6*g - 29. Let d(m) = -m**3 + 8*m**2 - 2*m + 10. Let r(j) = -8*d(j) - 3*t(j). Let w be r(5). Which is greater: w or -2?
-2
Suppose -1 - 38 = -3*h. Is 13 bigger than h?
False
Suppose -3*b + 48 = 3*b. Is b less than or equal to 2/5?
False
Suppose -3*q 