lse
Let d = 1 + -0.9. Let y = 0 - d. Is -3/2 at least as big as y?
False
Suppose 0 = -3*i + 4*h + 25, -i - 7 = -2*i + h. Suppose -s - 6 = -i*s - 2*f, 0 = 3*f. Is 5 at most as big as s?
False
Let d(f) = -f - 8. Let j be d(-9). Suppose -3*x - j = -4*x. Let k be 3*((-25)/27 - -1). Which is bigger: x or k?
x
Suppose -100 = -2*c + 4*j - 32, -5*j = 4*c - 110. Let x = c - 20. Is x > 9?
True
Let w = 2.035 + -0.035. Which is bigger: w or 2.2?
2.2
Let j be (1 - -2)*(-18)/243. Which is smaller: j or 0?
j
Suppose 2*w = 2*a - 2 - 8, 3*w = -3*a - 15. Is w less than or equal to 1?
True
Suppose -2*a = -5*a - 9. Let v = -7 - -5. Is v greater than or equal to a?
True
Suppose 3*w = -3*h + 45, 0 = -5*w - 4*h + 38 + 35. Is w not equal to 13?
False
Suppose -15 = -3*z, 0*n + 5*n + 2*z = -10. Let q = -1 + n. Suppose -y = 5*w + 13, -5*w = -2*y - 0 + 4. Is q > y?
False
Let a(l) = -l**2 - 3*l + 4. Let h be a(5). Let o be (-1)/5 - h/30. Is o != -1/8?
True
Suppose -4*k - 16 - 8 = 0. Let t = k - -5. Which is greater: -2/11 or t?
-2/11
Let j = 0.16 - 0.06. Which is greater: 7 or j?
7
Suppose 4*o = 2*o - 5*d + 12, -3*o - 3 = -3*d. Do -1/3 and o have the same value?
False
Suppose g - 44 = 5*c, 0 = 5*g + 3*c + 1 - 165. Which is smaller: g or 33?
33
Suppose -2*t + 9 = t. Suppose 4*l = 5*g + 22, l + 5*g + 16 - 9 = 0. Is l smaller than t?
False
Let f = -19/18 + 5/9. Which is bigger: -1 or f?
f
Let t = 52 - 53. Is t != -2/183?
True
Let u(z) = -z - 3. Let v(w) = 2. Let s(m) = 2*u(m) + 2*v(m). Let j be s(3). Is j smaller than -9?
False
Suppose 0 = -6*x + 11*x. Is 1 greater than x?
True
Suppose 2 = -3*p + 2*p. Let s = 5 + -8. Let v = -4 - s. Is p > v?
False
Suppose -5*z + 8 = 2*h, -4*z + 6 = 2*h - 0. Which is smaller: h or -9?
-9
Suppose -d - 1 = 0, -b + 2*d = -0*d - 2. Which is bigger: b or -2/25?
b
Let g be (-2)/8 + 18/8. Let q be g/(-5) - (-48)/20. Suppose u - q*w + 1 = 0, w + 2 = -2*u + 4*w. Is u at least as big as -2/11?
False
Let d(r) = 2*r**2 + r. Let b be d(4). Let q be 2/(-6) + 8/b. Which is bigger: -1 or q?
q
Suppose 0 = -2*p - t - t + 42, 5*t - 21 = -p. Let x = -15 + p. Which is smaller: x or 5?
5
Let v be 42/28*2/(-3). Is 3/28 not equal to v?
True
Suppose 9*w + 9 = 4*w - 3*g, 9 = -3*g. Let v(b) = b**2 + 6*b + 4. Let o be v(-5). Is w greater than or equal to o?
True
Let r be 36/30 + 2/(-10). Suppose -y - 3 = -x, -3*x + 3 = 4*y + r. Is 2 bigger than x?
False
Let u(r) = r - 5. Let c = 11 + -6. Let v be u(c). Let j = 3/8 + -7/40. Is v less than or equal to j?
True
Let o be ((-5)/(-10))/(7/2614). Suppose -4*k - 416 = 4*q - 1156, 5*k - 941 = 3*q. Let b = o - k. Is -1 greater than or equal to b?
False
Suppose -32 = -g + 5*g. Let x = g - -3. Which is greater: x or 2/9?
2/9
Let f = -12 - -8. Let j(p) = p**3 + 2*p**2 + 2. Let m be j(f). Let w be m/9 + (-1)/(-3). Is -3 not equal to w?
False
Let v = 2/795 - -15101/1590. Is 10 greater than v?
True
Suppose 8 = 4*q - 0. Suppose -2*o + q = -2. Is 0 bigger than o?
False
Let g = 315182 + -3463704/11. Let x = 300 - g. Which is greater: x or 1/3?
1/3
Let r be (-5)/(-5)*(2 - 1). Is 0 greater than or equal to r?
False
Let m = -41 + 27. Let u be (-16)/12*3/m. Let q = 59/93 - -1/31. Which is smaller: q or u?
u
Let k(w) = 2 - 2*w - 5*w + 0 - 1. Let v be k(1). Let f be 1 + v*2/10. Which is greater: 0 or f?
0
Let b(v) = -v**3 - 11*v**2 - 11*v - 17. Let h be b(-10). Which is smaller: -6 or h?
h
Let v(u) = -3*u + 5. Let t be v(3). Is t less than -5?
False
Suppose 4*u + m = 14, 3*u - 5*m - 22 = -0*m. Suppose 0 = u*l - 5*l - 2. Which is greater: l or 0.1?
0.1
Suppose 2*z - 4*u - 18 = -u, 0 = 2*z + 2*u + 2. Let r = 4 - z. Is r <= 3/2?
True
Let q(y) = -2*y. Let i be q(-1). Let m be 1/((-3)/42*i). Is m > -5?
False
Suppose 4 = w - 12. Which is smaller: w or 17?
w
Let b be (-24)/(-36) + 4/3. Suppose 5*q + 3*u = 22, -2*u - 17 = 2*q - 5*q. Suppose -3*l + 6 = 2*i, -2*i + 4 = 2*l - q*i. Is l at most as big as b?
True
Let w = -3 - -9. Suppose -2*r - 64 = -w*r. Let x be 2/8*r/(-18). Which is smaller: -0.1 or x?
x
Let b be ((-12)/(-84))/((-2)/4). Suppose 0 = f - 3*f + 2. Suppose -f - 3 = -4*l. Is b at most as big as l?
True
Let a(r) = r**2 - 5*r + 5. Let b be a(4). Let j = 3 - b. Let y be (3 - 0) + (-3 - j). Do 0 and y have different values?
True
Let l = 41/57 - 1/19. Let w(x) = 3*x + 1. Let p(a) = -4*a. Let t(z) = -2*p(z) - 3*w(z). Let g be t(-3). Which is smaller: l or g?
g
Let g be -14*(-2)/(-4) - 2. Are -10 and g equal?
False
Suppose -5*k - 12 + 42 = 0. Which is bigger: 4 or k?
k
Let m(b) = -b**3 - 4 - 8*b**2 + 0 + 7*b + 13*b**2. Let w be m(5). Suppose 0 = 3*i - 0*i - 3*y + 9, 5*i = -3*y - w. Are -4 and i equal?
False
Let a = 9 - 1. Let o be (4/a)/((-2)/4). Let r be o/1 + 2/5. Which is bigger: 1/3 or r?
1/3
Let i = -0.12 + 0.02. Let z = 72.2 - 79.06. Let n = z - 0.14. Is i >= n?
True
Suppose 2*p + 3*p + 10 = 0. Let c = -19 + 38. Suppose c*r = 14*r - 10. Is p bigger than r?
False
Suppose -3*b = -4*b + z + 7, 0 = -b + 3*z + 15. Let r(a) = -a**2 - 6*a - 2. Let o be r(-6). Let h be (-112)/(-40) - o/10. Is b less than h?
False
Let x be ((-14)/(-21))/((-5)/36). Which is greater: -5 or x?
x
Suppose 11 = -4*x - 9. Which is greater: -4 or x?
-4
Suppose 6 - 6 = 5*q. Are q and -9/20 equal?
False
Let y be (-34)/(-4 - 75/(-10)). Which is smaller: y or -11?
-11
Let a = -0.5 - -0.3. Let d = 2.2 + a. Let g = d - 0. Which is smaller: -0.1 or g?
-0.1
Suppose -s = -2*s. Which is smaller: s or -1/19?
-1/19
Let g = -6 - -11. Suppose -4*o - 2*c + 17 = -g, 10 = 2*c. Suppose 3*s = l + o - 0, -4 = -l - 4*s. Is l at least -5/4?
True
Let p(s) = -s**3 + s**2 + 5. Let z be p(0). Let n be (-1)/(-1) - 3/z. Which is smaller: n or 1?
n
Let p = 73.02 - 73. Let a = 3.2 + -2.82. Let u = a + p. Is u > 0?
True
Let l(j) = -j**2 - 5*j - 6. Let s be l(-5). Let k be 8/s*3/2. Which is smaller: -2/3 or k?
k
Let p = -18.88 + 18.8. Which is smaller: p or -0.1?
-0.1
Suppose 3*v - 44 = -0*r + 2*r, -2*v + 28 = -r. Let y = v + -7. Suppose -4*h - 13 = -3*l, 2*h - y*l = -2*h - 19. Which is greater: -2/3 or h?
-2/3
Suppose 3*i - 2*r - 17 = -0*r, 3*i - r - 13 = 0. Let o(c) = c**3 - 4*c**2 + 2*c - 6. Let q be o(4). Which is bigger: q or i?
i
Let f = -15158499432/8483 + -4410322794332/11307839. Let t = f + 2176950. Let x = t - -12/43. Which is smaller: x or -1?
-1
Suppose 3*i = -h + 3, 5*i - 3*h = 2*i - 9. Suppose i*v = 5*w - 2*v - 8, -3*w + 12 = -3*v. Is 0.01 not equal to w?
True
Let c(j) = j**3 + 7*j**2 - 8*j + 10. Let g be c(-8). Let n be (-9)/g - 1/(-2). Is -1 < n?
True
Let p be (-9528)/(-108) + (-4)/18. Let j = -266/3 + p. Which is greater: j or 2/9?
2/9
Let v = 12 + 0. Is v at least 13?
False
Let h = 76 + -63. Which is bigger: h or 12?
h
Let u = -0.5 - -0.4. Which is smaller: u or 2/15?
u
Suppose 0 + 10 = 2*l. Which is smaller: 0.1 or l?
0.1
Suppose 20 = -5*y + 5*p, 0*y - 3*y + 18 = 3*p. Let o = -821/9 - -91. Which is smaller: o or y?
o
Let a be 5/(-10) + 9/2. Suppose 2*x = -2*x - a. Let z = -56/3 + 18. Which is smaller: x or z?
x
Let g = 15 - 10. Suppose -g*l + 4 = 4*v - 3*v, -v + 4 = 4*l. Let z be (3/(-15))/((-3)/5). Does l = z?
False
Let f = 6 + 0. Let l(t) = t**3 - 7*t**2 + 7*t - 5. Let k be l(f). Which is smaller: 2/5 or k?
2/5
Let f = 13.8 - 5.9. Let o = f + -8. Are 2 and o equal?
False
Let w be (-24 + 4)/((-4)/2). Let t be 15/69*(-4)/w. Which is greater: t or -1?
t
Suppose 0 = -2*x - 2*c, x - 3*x - 3*c = 1. Let j be 2 - (x + 8/14). Is j equal to 1?
False
Let d be 1/(-4*1)*-4. Suppose -2 = -f - d. Is -1/4 bigger than f?
False
Suppose -10 + 26 = 2*h. Let k = 4 - h. Let w = -6 - k. Is w equal to -1?
False
Suppose -v + 2*v - 3*h = -12, -4*v + 4 = h. Let z(m) = -6*m. Let f be z(3). Let s be (-10)/9 + 4/f. Is s at least as big as v?
False
Let d(s) be the first derivative of s**3/6 - 2*s**2 - s - 1. Let j(b) be the first derivative of d(b). Let o be j(3). Is o < -1/2?
True
Let j = 0.19 - 0.2. Let w = -16 - -17. Which is smaller: j or w?
j
Let u = -136 - -158. Are u and 22 nonequal?
False
Let o = -6 - -6.02. Let u = o - 0.02. Let x = 42 + -127/3. Do x and u have different values?
True
Let r be (0 + -1)/(2/52). Which is smaller: -25 or r?
r
Suppose -o - 3*c - 5 = 0, o - 5*c + 2*c - 1 = 0. Let a be 0 + (-2 - -3) + o. Is a at least -2?
True
Let n be 1100/(-48) - (-1)/4. Let z = -45/2 - n. Does 0 = z?
False
L