lse
Suppose -4*i - 6*i + 530 = 0. Are 53 and i unequal?
False
Let b be (-1)/((-2)/8)*2. Suppose -2*x + x + 2 = 2*v, -5*v + 4*x - b = 0. Which is greater: v or 8/7?
8/7
Let m = -43 - -24. Let i = 9 + m. Is i not equal to -9?
True
Let i be -4*(-3)/2 - 1. Suppose i*w = -0*w. Which is greater: -1/5 or w?
w
Let i(g) = -g**2 + 2*g - 1. Let v be i(1). Let o be -2 + (6/3 - v). Is -3/4 greater than o?
False
Suppose 3*o + 25 = -2*o, -x - 4*o = 47. Let i be (-2)/(-3)*x/(-6). Suppose -i*j = -2*j - 2. Which is greater: j or 1?
j
Suppose 3*t + 4*u = 5*u - 5, 2*t = 4*u - 20. Do -4 and t have the same value?
False
Let p = -6 - -5. Suppose i = -2*i - 15. Which is smaller: i or p?
i
Let d = -33/7 - -401/91. Is d >= -1?
True
Suppose 2*x = -4*v - 0*x - 6, -v = -2*x + 9. Are v and 5 nonequal?
True
Suppose -4*k - 18 + 42 = 2*n, 4 = 3*n - 2*k. Suppose 16 = 4*b - 0*b + 4*a, -5*a + 19 = n*b. Let m be 15/(-20) + b/(-4). Is m less than or equal to -3/8?
True
Let j(h) = 3*h + 2. Let w be j(-1). Are -13/9 and w nonequal?
True
Let p = 110 + -109. Are p and 1/17 equal?
False
Let t be -2*((-5 - -6) + 54/(-51)). Suppose -5*p = -2*p. Which is bigger: p or t?
t
Let n = -8 + 8.02. Let s = 0.02 - n. Which is bigger: -8 or s?
s
Let z(n) = 10*n - 4. Let o be z(-8). Let t be ((-12)/(-9))/(4/o). Let w be 2 - t/(-6) - -3. Which is smaller: w or 0?
0
Let m(q) = q**3 + 7*q**2 + 2. Let h be m(-7). Suppose -g + 1 = -h. Which is bigger: 2 or g?
g
Let o = 16 - 16.9. Let v = o + -0.1. Let x = -25 - -26. Is x less than v?
False
Let m = -26 - -32. Which is smaller: 5 or m?
5
Suppose -2*p - 14 = u - 5*u, u + 4*p + 1 = 0. Let s = -8 + 10. Is s at most as big as u?
True
Let v = 3.01 - 3. Let o = v + -4.01. Let c = o + 3.9. Is -1 less than c?
True
Suppose -3*u - 86 = -u. Do u and -44 have different values?
True
Suppose -c = -0*c + 1. Let h be (-14)/(-6) + 2/(-6). Let x be c/h*(1 + -1). Is x not equal to 1?
True
Let u = 4.6 - -13.4. Let v = 13 - u. Let t = v - -10. Does t = 1/3?
False
Let l = -0.244 + 0.144. Is -0.2 at most as big as l?
True
Let t = -20.5 + 14. Let h = 6 + t. Is h >= 0?
False
Suppose -4*w - 5 = -21. Suppose -2*k + 4*k = -w. Is -1 < k?
False
Let x = 4 + -10. Let f = -19/3 - x. Which is smaller: -0.1 or f?
f
Let x(f) = -5*f + 0*f - 2 + 4*f + 0*f. Let v be 8/(-3) - (-2)/(-6). Let s be x(v). Is s != 2?
True
Suppose 7*j = 2*j + 5*w, -5*w + 8 = 3*j. Let k = 6703 + -33157/5. Let v = -72 + k. Which is bigger: j or v?
j
Suppose u = 2 + 2. Let o be u/16 + (-107)/220. Let m = o + 2/55. Does 0 = m?
False
Let r = -208/3 - -68. Which is bigger: -2 or r?
r
Let m be (-26)/12 - (-1 - 2). Are m and 0 equal?
False
Let k = 9 + 0. Let y be (2/k)/(1/(-3)). Let o = 87 + -523/6. Is y <= o?
True
Let g be 10/4 + (-1)/(-2). Let v be 4/(-6) + (-2)/(-3). Let o be v + 2 + -2 + 4. Which is bigger: o or g?
o
Let p = -783/8 - -98. Does p = -0.1?
False
Let q = -18/253 - 17150/759. Which is smaller: q or -22?
q
Suppose 4*j + 876 = -4*h, -3*j = j - h + 851. Let l = j - -1924/9. Which is greater: l or 0.1?
0.1
Let q = 10.12 - 0.12. Let b = -19 + q. Let k = b - -8. Which is smaller: k or -2?
-2
Suppose 6 = 3*d, 2*d - 1 = -x + 3. Let o(b) = b - 5. Let m be o(6). Let q be m/(2 + (-10)/(-2)). Which is smaller: x or q?
x
Let n = -6 - 0. Let d(u) = u**3 + 5*u**2 - 7*u - 6. Let l be d(n). Which is greater: 1 or l?
1
Suppose 4*s + 8 = 12. Let r = -3 - -2. Let m be 8/(-6)*r/(-3). Are s and m equal?
False
Let y(d) = -d - 15. Suppose 4*z + 6 + 30 = 0. Let k be y(z). Which is bigger: k or -7?
k
Let l(f) = -f + 8. Let j be l(9). Let p = -2/6901 - 323663/2360142. Let a = 1/38 + p. Is j at most a?
True
Let q = 7.1 - 1.1. Let n = -5 + q. Is 1 >= n?
True
Let l be (-3)/41*(-249)/6 - 3. Is l smaller than -1?
False
Let p be 2/((-2)/((-4)/(-1))). Let g = p + 3. Let h = 2 - 3. Is g <= h?
True
Let c = -5 + 6. Which is greater: c or -3?
c
Let w(n) = -n - 1. Let p be w(-1). Let v be (p - 10/(-4))*-2. Let h = v - -4. Which is smaller: h or -1/9?
h
Let x = 6 - -1. Let a = x - 8. Which is smaller: a or -1/3?
a
Let l = 0.06 - 0.01. Let z = l - -0.05. Is z less than -1?
False
Suppose -3*f + g + 29 = 0, 2*f + 10 - 26 = 4*g. Let t = -8 + f. Which is smaller: t or 2/3?
2/3
Let c be -46*1 + (0/(-1) - 3). Which is bigger: c or -0.1?
-0.1
Let h = -4.7 + 6. Let o = 0.3 - h. Let r be ((-1)/(-4) + 0)/(-1). Which is smaller: r or o?
o
Suppose -m + 35 = -3*a, -a + 2*m - 7 = 13. Suppose -2*t + 5*f - 24 = 0, -f = -5*t - 20 - 17. Let p = a - t. Do -4 and p have the same value?
False
Suppose -5*r = -2*s + 6*s - 53, -34 = -4*r + s. Are 11 and r non-equal?
True
Let g = -1 - -1. Let q(k) = k**2 - 2*k + 4. Let s be q(3). Let m = -4 + s. Which is smaller: g or m?
g
Let d be 112/21 + (-2)/6. Suppose y - d*y + 8 = 0. Let t be 3 + 33/(-6) + y. Do t and 0.2 have different values?
True
Let z = 18 - 20. Let y be z/2 + (-4)/1. Which is bigger: y or -3?
-3
Let a(m) = -m**3 + 2*m. Let i(q) = 2*q**3 - 3*q. Let l(k) = 4*a(k) + 3*i(k). Let y be l(-2). Which is greater: -13 or y?
-13
Let v(a) = -a**2 + 4*a - 6. Let h be v(4). Let d be (9/h*2)/1. Let z be 1/d*(-12)/(-10). Which is smaller: z or -2?
-2
Let x = 1 + -1. Let c be (4/(-8 + 4))/(-1). Which is smaller: x or c?
x
Let p = -20 - -8. Let z = -8 - p. Is z smaller than -1?
False
Let r = 7.2 - -1.8. Let x = r + -8.93. Let c = -13/6 - -5/2. Which is bigger: c or x?
c
Let g be 98/(-32) - (-5 + 2). Let j = g - 23/16. Is 1 less than or equal to j?
False
Let g be (-3 - -2 - 0)*2. Are g and -2 unequal?
False
Let z = 0 - -3. Suppose 11*j + 9 = 14*j. Is z bigger than j?
False
Suppose c - 4*c = -9. Let u be (-18)/48*(-2)/c. Which is smaller: u or -1?
-1
Let j(r) = r**2 - 5*r - 14. Let i be j(7). Are i and 1 non-equal?
True
Let f be -4 - (-5 + 1 + 2). Let n be f/(-8) + 238/8. Let k be (-27)/n - (-1)/2. Do k and 1 have different values?
True
Let b be (2/3)/((-2)/(-12)). Suppose -2 = -b*y - 10. Let p be 0 + -2*y/(-8). Is p at most 0?
True
Suppose 2 = 27*c - 28*c. Which is smaller: c or -7/10?
c
Let k = 2/15 - 7/15. Is k at least 1?
False
Let l = -0.03 + -2.97. Let m = l - -3.1. Is m not equal to 1?
True
Let o(l) = l - 3. Let t be o(2). Let f(r) = -4*r**2 - 11*r - 5. Let i be f(-2). Which is greater: i or t?
i
Let w(r) = r**3 - 11*r**2 + r - 15. Let q be w(11). Is -5 <= q?
True
Suppose 3*y = 4*y - 1. Suppose 4*j = -q - 10, -4*q + 16 = q - 2*j. Suppose 0 = -5*c - 4*r + q, c + 4*r = -6. Is y bigger than c?
False
Suppose 45 = -2*r - r. Is r greater than -15?
False
Suppose 20 = 3*m - i, m - 2*i = 3*i + 16. Let j be (1/(-4))/(m/(-12)). Let z = -6 - -8. Are j and z nonequal?
True
Suppose 0 = -n - 3*n + 4. Let g = -5 - n. Let w(z) = z + 7. Let m be w(g). Is 2/13 > m?
False
Let d be (4/(-18))/((-4)/(-6)). Suppose -7*i = -2*i. Are i and d equal?
False
Let w = -1.31 - -1.51. Is w equal to -5?
False
Let y = 9.07 + -9. Let w = y + 0.23. Let t = w + -0.2. Which is bigger: t or -2/3?
t
Let k be -2*(-58)/(-8)*-6. Is 88 != k?
True
Let q = -40 - -38. Which is smaller: 6 or q?
q
Let o(d) = d + 8. Let a(v) = 4*v + 6. Let z be a(-4). Let f be o(z). Is -2 > f?
False
Suppose 45*h + 136 = 11*h. Let s(x) = -x**3 + 6*x**2 - 5*x - 3. Let d be s(5). Is d less than h?
False
Let p(z) = -z**3 + 17*z**2 - 2*z + 30. Let o be p(17). Which is smaller: -15/4 or o?
o
Suppose 0 = 6*u - 14 + 8. Which is bigger: -3/29 or u?
u
Let k = 3 - 5. Let s = k - -5/2. Are 0 and s equal?
False
Let b be -2 - (-4)/4 - -1. Which is greater: 2/5 or b?
2/5
Let z = 6 + -6. Let w = z + 0.4. Which is greater: -1 or w?
w
Suppose -4*c = -7*c. Suppose -5*u - 5*o + 75 = -c*o, -8 = -2*o. Suppose 3*g + 6 = 4*h - 5, -5*h = -g - u. Which is smaller: g or -1/4?
g
Let q(p) = p**3 + 3*p**2. Let i be q(-3). Suppose i = u - 6*u. Is u < -6?
False
Let u be ((-51)/(-170))/(3/(-4)). Suppose 2*z = -z - 4*b - 5, 5*b = 4*z - 14. Let f = z + -1. Which is greater: u or f?
f
Let m = 8 + -4. Let a = 2 - m. Let f(b) = -b**3 + 5*b**2 + 5*b + 5. Let h be f(6). Is a equal to h?
False
Suppose 5 + 5 = 5*a. Which is smaller: -0.4 or a?
-0.4
Let n be (1/(-1) + 2)*-6. Let b be 24/(-20)*(-20)/n. Let u(k) = -k**3 - 5*k**2 - 3*k + 4. Let a be u(b). Is 1 at least a?
True
Suppose -2*i - 2*i - 141 = m, m = 5*i + 174. Which is smaller: i or -34?
i
Suppose q - 6 = -47. Do -40 and q have different values?
True
Let x = -3 - 3. Let n b