lse
Let i = 625/2 + -301. Which is bigger: 13 or i?
13
Suppose 0 = -2*c + 5 + 1. Let l = -3 + c. Which is smaller: l or -2/3?
-2/3
Let q = 178/15 - 614/45. Is -3 at least q?
False
Let y be (26 - 0)/((-14)/(-3 - -10)). Is y greater than or equal to -13?
True
Suppose -4*w + w = -24. Let l be (w/(-170))/(4/(-10)). Is l at most as big as 0.1?
False
Let o be -2 - (10 + 3) - 4. Let r = o - -23. Which is smaller: r or 5?
r
Suppose -3*q - 130 = 19*f - 17*f, 5*f - 55 = 2*q. Is -40 > q?
False
Suppose 75 = p - 3*o - 65, 5*o = p - 138. Let m = p - 717/5. Is -1 at least m?
False
Let c be (10/(-15))/(4/(-6)). Is -2/5 at most as big as c?
True
Suppose -d + w + 5 = -0, -16 = 4*w. Are d and 1 equal?
True
Suppose 0 = 2*b + 2*b - 3*t - 39, -9 = -4*b - 3*t. Suppose 3*j - 20 = 4*w, 3*j - 5*w - 25 = -j. Suppose j = 2*c - b*c + 12. Is c greater than 1?
True
Let w be (-4)/322*(-2)/(-2). Are w and 1 unequal?
True
Let o(x) = -x**3 - 4*x**2 + 1. Let v be o(-4). Let s be -21*-1*(-3)/(-45). Is v < s?
True
Suppose 0*r + 100 = 5*r. Let o be 51/12 + (-2)/8. Suppose r = -0*g - o*g. Which is smaller: -4 or g?
g
Let y = 0.2 + -0.2. Let s = 4 - y. Is 0 greater than s?
False
Let m be (-6)/(-9)*-3 - -5. Let g = 7 - m. Let r be (-5)/(-7) + (-4)/g. Are -0.4 and r nonequal?
True
Suppose 5*g + a = 5*a + 6, a = 1. Let v be 2*(-2)/7*-3. Are g and v nonequal?
True
Let i be (0 + 2/1)/(-2). Let n = i + 3. Let j be 2*(-9)/6 + 3. Is j smaller than n?
True
Let d(o) = o**3 + o**2 - 2*o**2 - o + 0*o**3. Let r be d(0). Suppose r = -4*n - 2 - 2. Is -2/13 greater than or equal to n?
True
Suppose -8 = z - 13. Suppose 0 = -3*y + z*s + 3 + 13, 5*y + 2*s = -25. Which is greater: y or -2?
-2
Let p = 53 + -6. Is p > 47?
False
Let z be ((-986)/(-8) - 7) + (-1)/4. Is z less than or equal to 116?
True
Suppose 3*n - n = 12. Let t = -4 + n. Let y be 1 + -1 + 2 + -1. Is y greater than or equal to t?
False
Let q(u) = u**3 - 4*u**2 + 2*u + 2. Let n be 72/33 + 2/(-11). Let a be q(n). Is -1/4 at most as big as a?
False
Suppose 4*s = -w + 15, 4*w - 6 = -5*s + 10. Let i be (-2)/s*(-24)/(-54). Does 0 = i?
False
Let n be (5/3)/((-8)/(-24)). Let r(z) = -n*z + z + z + 2*z. Let q be r(5). Are -5 and q equal?
True
Let w be 18/4*(-28)/(-21). Let u be 6/9 - (-2)/w. Is 1 at least u?
True
Let f = -16 - -4. Let q be (-2)/6 + 32/f. Is q greater than or equal to -4?
True
Let i be 0 - (1 - (-43 - 4)). Is i at least as big as -48?
True
Suppose 0*l + 4 = 4*l. Which is bigger: -2/27 or l?
l
Let y = 20/9 - 23/9. Let c be ((-3)/2)/((-1)/(-2)). Let i = c - -2. Is i > y?
False
Let m(w) = -w**2 + 7*w + 6. Let s be m(6). Suppose -5*a + 2*o = -50 - 4, 0 = 3*o + 6. Is a less than s?
True
Let m = -23 - -42. Let t = 19.2 - m. Which is greater: 8 or t?
8
Let a be (1/(-2))/(3/(-57)). Let t = 9 - a. Is -1 <= t?
True
Let z(t) = t - 6. Let h be z(4). Is h >= -2?
True
Let m(v) = 5*v + 1. Let y be m(-1). Let j(r) = 2*r + 5. Let x be j(-5). Which is smaller: y or x?
x
Let j be -2 + 3 + (-13616)/(-6). Let p = j - 2291. Let g = p - -21. Which is smaller: g or 1?
g
Let y be ((-30)/40)/((-3)/7). Which is smaller: y or 1?
1
Suppose -3*k + 21 = -2*v, 4*k - v - 24 = -1. Suppose -2*h - 3*r = 13, k*h + 5*r + 35 = 10. Is h smaller than -1?
True
Let h = -92.94 - -92. Let n = h + -0.06. Let w = 0.6 + n. Which is bigger: w or -1/3?
-1/3
Let i(s) = 2*s + 12. Let j be i(-9). Which is smaller: j or -7?
-7
Let v be 18/(-4)*(-12)/9. Let w be 1/(-3) - v/18. Is 0 at most w?
False
Let k(x) = -x**3 + 3*x + 1. Let p be k(-2). Which is smaller: p or 12/7?
12/7
Let t = -12653/38 - -333. Is -1 greater than t?
False
Let x = 102 - 103. Let c = -181 - -1270/7. Which is bigger: x or c?
c
Let c(m) = -m - 1. Let w be c(0). Let h = -45 - -44.9. Which is bigger: w or h?
h
Let f be (-1)/((-600)/897) - 1. Let w = f + -3/25. Which is bigger: w or 0?
w
Let t be (-4)/(-10) - (-119)/(-35). Let d be t/6*(-1)/(-2). Which is smaller: 4 or d?
d
Let z = -62 + 61. Suppose 0 = -y - s - 4, 4*y - s + 2*s = -10. Let u be y*1/(2/3). Is u smaller than z?
True
Suppose -3*d = d - 16. Suppose -4*v - 13 = d*f + 3, 0 = f - 2*v - 11. Which is greater: f or -1/5?
f
Let k be -1 + (2 - (-15)/(-13)). Suppose f = -2*f + 3*w - 6, -f - 3*w = -6. Which is bigger: f or k?
f
Let f be (-292)/(-42) - ((-24)/14 - -2). Is 6 not equal to f?
True
Suppose -4*g - 4*o - 21 - 3 = 0, -g + 18 = -5*o. Is g bigger than -10?
True
Let h = 0.05 - 0.06. Is h greater than 1?
False
Let i be (5 - 7)/((-2)/4). Let u = i - -1. Is u not equal to 5?
False
Suppose -43 = -3*f + 62. Let t = -173/5 + f. Is 1 at most as big as t?
False
Let s = 52/75 - -7/50. Which is smaller: s or 1?
s
Let a(u) = -u**2 + 2. Let l(n) = n - 1. Let y(d) = a(d) - 2*l(d). Let b be 1*4/(-1) - -1. Let g be y(b). Is g greater than or equal to 0?
True
Let t(q) = -q**2 - 7*q - 11. Let p be t(-5). Do -3/4 and p have the same value?
False
Let l(s) = s + 1. Let r be l(-1). Let f be ((-30)/195 - (-19)/39)*-2. Is f < r?
True
Suppose 3 = k + 2. Suppose d + k = 2*d. Is d greater than 4/5?
True
Let k be -3 + -2 + -72 - (0 - 1). Is -77 != k?
True
Suppose 0 = -2*c - c + 42. Suppose -4*d - c = -3*i, -4*i - d - 9 = 4. Suppose 2 = 2*j - 3*t, 0 = 3*j - 4*t - 3 + 1. Does j = i?
True
Let z(w) = w + 9. Let d be z(-6). Suppose d*m - 3 = 5*b, -3*b = -0*m + m - 1. Let j(r) = -r. Let p be j(-1). Are m and p equal?
True
Let k be (-114)/(-27) + 4/(-18). Let x(m) = -m**2 + 4*m + 3. Let f be x(k). Do 4 and f have the same value?
False
Let m be 2 + 0 + (-31)/14. Let d be ((-6)/(-8) - 1) + (-2)/(-8). Is m >= d?
False
Let a = 3 - 2.5. Let t = -0.3 + 1. Let h = t - a. Are -2 and h unequal?
True
Let t(w) = w**3 - 12*w**2 + w - 13. Let y be t(12). Is y > -1/133?
False
Let o = 0.966 - -0.034. Which is bigger: o or -0.04?
o
Let b(z) = -z**2 - 6*z + 2. Let u be b(-6). Let n be (-3)/104 - u/(-13). Do n and -1 have different values?
True
Let t be -1*((-64)/20 + 3). Which is greater: -1/3 or t?
t
Let f be (-1)/3 - (-169)/3. Suppose 0*m + f = -2*m. Let q be 2 + 0 + m/16. Is 1 greater than q?
True
Let m = 7 - 11. Let k be m + -2 + 3 - -7. Let f be 21/(-216) + k/18. Are f and 0 unequal?
True
Suppose -4*q - 24 = -0*q. Suppose 4*h - 30 = 9*h. Let j = q - h. Which is bigger: -1 or j?
j
Let t(a) = a**2 + 3*a - 3. Let d be t(-4). Let w be ((-1)/2)/(d/4). Suppose -5 = 15*g - 10*g. Which is bigger: w or g?
g
Let t = -13 - -40/3. Is t >= -1?
True
Suppose i - 2*i = 0. Suppose -p - 3*p + 12 = i. Let u be (-1 - (-1 + -4))/1. Which is greater: u or p?
u
Let o = 15.9 + -16. Which is smaller: 1/28 or o?
o
Suppose 7*j = 2*j - 20. Let b be (-2)/(-7) + (-2)/((-70)/(-185)). Is b less than or equal to j?
True
Let w be 1*146*10/4. Let n = -3975/11 + w. Let k = n + -258/77. Which is bigger: -1 or k?
k
Let a(t) = -6*t + 3. Let z be a(-3). Suppose -5*p - 2*g + 82 = 0, -g + z = p + 4*g. Let v be (p/(-70))/(4/(-10)). Which is greater: v or 1?
1
Let i be -1*(1 + 18/(-14)). Suppose -5 + 1 = -j. Let t = j - 4. Is i > t?
True
Let k = -1 - -1. Let m(g) be the second derivative of g**5/20 + 5*g**4/12 + g**3/2 - 5*g**2/2 - 2*g. Let o be m(-4). Is k not equal to o?
True
Suppose -5 = 5*k, -2*k - 4 = t + k. Is -26 greater than or equal to t?
False
Let b = -137 - -101. Is 0 greater than b?
True
Suppose -6*o + 6 = -3*r - 4*o, 0 = o. Do -1 and r have the same value?
False
Suppose 0*q - 5*q = -30. Is q bigger than 6?
False
Let h = -2 - 0. Let i be (-124)/(-3) + 4/h. Let t = -39 + i. Which is smaller: t or -2?
-2
Let b = -46 - -232/5. Let y = -6.705 + -0.255. Let i = y + 7. Is i less than b?
True
Let i(j) = 2*j - 4. Let d be i(4). Suppose 3*o + 12 = 0, -2*s + 2*o + 10 = -d*s. Let g be (-28)/(-13) + (0 - 2). Which is bigger: s or g?
g
Suppose 60 = -88*k + 85*k. Is -21 greater than k?
False
Let d(k) = k + 7. Let l be d(-5). Let u(m) = 8 + 2*m - 8. Let s be u(1). Is s <= l?
True
Let m = 0.23 + -0.13. Which is smaller: m or -0.07?
-0.07
Let n(u) = 7*u**3 - 17*u**2 - 18*u + 20. Let r(s) = 4*s**3 - 9*s**2 - 9*s + 10. Let w(x) = 3*n(x) - 5*r(x). Let j be w(7). Which is smaller: j or -5?
-5
Let c = -2.1 + 1.1. Let y be (-10)/(-14) - (-2)/7. Let j = y + -2. Do c and j have different values?
False
Let z = 0.3 - 0.2. Let c = z + 0. Let d(y) = y - 3. Let r be d(5). Which is smaller: r or c?
c
Suppose 0 = 2*p - 1 - 3. Let q be (-5)/5 + p/1. Let a = -2 + q. W