1. Let y be ((-1)/1)/(2 + h). Which is smaller: y or 3/4?
3/4
Let l = 130 - 136.1. Let x = -6 - l. Let i = 0.1 - 1.1. Which is greater: x or i?
x
Let f be ((-2)/(-4))/((-2)/68). Suppose -3*s + 42 = 4*q, 0 = -3*q + s + 17 + 21. Let u = q + f. Which is smaller: -6 or u?
-6
Let s = -1 - -3. Is -0.5 bigger than s?
False
Suppose -5*a = -4*a + 14. Is a >= -16?
True
Let q = 13 + -11. Let p be 3*(-1)/12*q. Let s = -8 + 6. Which is bigger: p or s?
p
Let b(g) = g - 3. Let r be b(4). Let l be 4/40*(-4)/6. Let s = 4/15 - l. Do r and s have the same value?
False
Let o = -15.94 + 15. Let a = -0.5 - -0.44. Let v = a + o. Is v less than or equal to 2?
True
Let w(a) = -a - 3. Let f be w(-6). Suppose -18 = -n - 2*n. Let j be ((-10)/(-6))/(n/9). Which is greater: f or j?
f
Let s be -2*1 + 25/10. Suppose b - 5 - 7 = 4*k, 4*k = -4*b - 12. Suppose 7*r - 3*r - 4 = b. Which is smaller: s or r?
s
Let b(f) = f**3 - 2*f**2 - f - 2. Let x be b(3). Suppose 4*a = -0*a - 2*o + 6, -x = 4*o. Suppose 0 = h - a. Which is smaller: h or -2/7?
-2/7
Let t = 10.6 - 13. Let l = -0.4 - t. Let r = 0.19 + -0.09. Which is bigger: l or r?
l
Let q(u) = -2*u - 4. Let a be q(-3). Let v be (5/((-10)/4))/2. Which is smaller: v or a?
v
Suppose -6*w = v - 3*w - 12, 3*v = -5*w + 20. Which is smaller: v or -11?
-11
Let i = -0.121 - -0.021. Is 20 > i?
True
Let u be (-2)/24*8/(-7). Which is bigger: u or 1?
1
Suppose -5*y + 60 = -t, t - 5*t = -2*y + 24. Suppose -5*q + o + 4*o - 10 = 0, -3 = -o. Let j be (0 - q) + y/(-4). Is j greater than -5?
True
Let d = 8 - 7.1. Let c = -0.1 - d. Let g = 1.1 - 0.1. Which is greater: c or g?
g
Let o(t) = t**2 + 6*t - 8. Let x be o(-7). Let v = x - -1. Which is greater: 2 or v?
2
Let y(b) = -b**3 + 9*b**2 - 9*b + 6. Let z be y(8). Let k be z + 3 + 0 + -1. Is k bigger than 2/3?
False
Let v = 2 + -2. Let t = 0.86 - -0.04. Let x = t + -1. Is x greater than v?
False
Suppose 0*y + 2*y = 0, 4*x = 5*y. Let r = 7 + -1. Let u be 2/6 + (-14)/r. Which is greater: u or x?
x
Let o = -1 + 12. Let x = o + -12. Let r = 7 + -12. Is r smaller than x?
True
Suppose 2*s - 3*u + 20 = -8*u, 4*u = s - 3. Which is smaller: s or -6?
-6
Let d = 3 + -2.7. Let g = d - 0.2. Do g and 3 have different values?
True
Suppose 10*j - 3*j = 7. Which is greater: 0 or j?
j
Let l = -32 + 65/2. Suppose 0 = 5*j - 4*j + 2*i - 15, i - 5 = 0. Suppose -2*d - d + 2*p = -16, 0 = j*p + 25. Is l < d?
True
Let n be 1/(-7) + 27/(-7). Do -22/5 and n have different values?
True
Suppose -4*x - 24 = -0*x. Let u(r) = -r - 2. Let j be u(x). Suppose -b + 0*b - t + 4 = 0, -3*t = -3. Is j >= b?
True
Let m = 22/163 - -6604/1793. Is m > 4?
False
Suppose -v = 2*v - 6. Which is greater: v or 6/11?
v
Let l be 1 + (-3)/(3/1). Is -2 less than l?
True
Let w(s) = -s. Let z be w(-1). Let c(d) = d**3 + z - 3*d**2 - 2*d - d + d**2. Let k be c(3). Which is bigger: 2/9 or k?
k
Let u = -2 - -6. Let l(h) = -h + 3. Let d be l(u). Which is smaller: d or 0?
d
Let s = 21 + -5. Let d be (s/5)/(2/5). Suppose -d = -5*k + k. Which is bigger: k or 7/3?
7/3
Let z(d) = -d + 5. Let i be z(4). Let o(s) be the third derivative of s**5/15 - s**4/24 + 6*s**2. Let r be o(i). Which is greater: 2 or r?
r
Suppose -7*r - 117 = 9. Is -18 at least r?
True
Let k = -0.09 + 0. Let d = -0.29 - k. Let f = 0.4 + d. Is -1 equal to f?
False
Suppose -4*g - 4*n = -60, -g - 3*g + n + 75 = 0. Which is bigger: g or -2?
g
Let i = 0.29 + 15.71. Let f = i - 16.1. Which is smaller: f or 3?
f
Let h = -16 - -17. Let z = -142/3 + 46. Is h less than z?
False
Let y(v) = -v**3 + 4*v**2 - 3*v + 1. Let f be y(2). Suppose -5*m + f = -17. Suppose m = 4*x + 5*i - 4*i, 3*x = -2*i - 2. Is x greater than or equal to 2?
True
Let i be 4032/182 - (-2)/(-13). Let q be 8/9*(-33)/i. Which is greater: 0 or q?
0
Let n be (-2 + 2)/(4/(-2)). Let g be (-2)/48*-70 - 3. Is g bigger than n?
False
Let r = -10 - -12. Suppose -r*k + 6*k = 4*b, b = -5*k - 30. Is -4 at most as big as b?
False
Let t(z) = -z**2 - 5*z + 5. Suppose 6*b + 24 = 2*b. Let m be t(b). Do -2 and m have the same value?
False
Let g = 15.9 + -14. Let w = -2 + g. Let p = -0.2 - w. Is p at most -2/5?
False
Let u = 2.46 - -0.14. Let r = u + -3. Let k(j) = j + 4. Let q be k(-5). Is r less than or equal to q?
False
Let s(g) = 2*g**2 - g + 1. Let b = -20 - -11. Let p = 10 + b. Let r be s(p). Which is bigger: 4 or r?
4
Let g = -355.05 + 347. Let l = g - -8. Are 0 and l unequal?
True
Suppose g = 37 - 15. Let b be (-26)/(-7) - g/(-77). Are b and 4 nonequal?
False
Suppose 16*r + 12 = 13*r. Is r != -13/3?
True
Let y = 5.1 - 0.1. Let o = 5.2 - y. Which is smaller: -1 or o?
-1
Suppose h = 4*h + 12. Let y be ((-45)/(-12) + h)*-4. Which is smaller: 1/28 or y?
1/28
Let w be 6 - 6 - 1/(-8). Is w smaller than -1?
False
Let b be -3*25/(-15)*-1. Suppose 3*c - 12 = -c. Let u be c/15 - 12/10. Is u less than or equal to b?
False
Let l be -1 + -6 + (-3 - -7). Which is smaller: l or -2?
l
Let u = 1/1286 + 2471/129886. Is u <= 0?
False
Let q = 0.33 + 1.67. Are 0 and q non-equal?
True
Let v(b) = 2*b**2 - 2*b + 1. Suppose -5*d + 20 = -5*h, 0 = 2*d + 3*h - h + 4. Let o be v(d). Does 2/19 = o?
False
Let k = 30.17 + -30. Let a = 0.033 + 0.037. Let n = a - k. Which is bigger: 0.2 or n?
0.2
Let y = 36 + -27. Which is bigger: y or 8?
y
Suppose -y - 4*y + 30 = 0. Let u be y/(0 + 3) - 4. Do u and -1 have different values?
True
Let p be ((-1)/(-11))/((-1)/42). Let a = 104/33 + p. Let v = 0.25 - 0.05. Is v <= a?
False
Suppose -3*g - 8 = -g. Are g and -2 non-equal?
True
Let h be -5 - 0 - (-726)/143. Which is smaller: 1 or h?
h
Let s(f) = f**3 - 7*f**2 + 6*f. Let i be s(6). Let q = i - 1. Is -1 > q?
False
Let l(y) = y**3 + y - 1. Let g be l(0). Let t be ((-8)/6)/4*-3. Let z be (-4)/8*(t - 1). Which is smaller: z or g?
g
Let h(n) be the third derivative of -n**2 - 1/60*n**5 + 0 - 5/6*n**3 + 0*n + 1/4*n**4. Let c be h(4). Is 2 bigger than c?
False
Let z = 14 + -13. Let n = 2531/20995 + 8/247. Let f = n - 6/17. Is z < f?
False
Let t be (-69)/126 - 4/14. Let w(g) = -2*g**2 + 21*g - 56. Let b be w(6). Is t >= b?
True
Let y be (-401)/(-3) - 8/12. Let n = y - 667/5. Is -1 less than n?
True
Suppose -2*h + 3 = -1. Let y be 1*-2*1 + h. Let i(p) = p + 1. Let r be i(-2). Is y smaller than r?
False
Let p be (2*1/6)/((-3)/45). Is p at most as big as 0?
True
Let z = -2 + 4. Let f = 15.34 - 0.34. Let s = f - 13. Is s at most as big as z?
True
Let h(t) = t + 2. Let n be h(-3). Let s = -1 + n. Is s > -4?
True
Let t(z) = z**3 + 2*z**2 - 2*z + 2. Let g be t(-3). Which is greater: g or -0.03?
-0.03
Let o = 22 + -22.04. Are o and -0.3 non-equal?
True
Let b = -1.8087 + -0.1733. Let h = b + -0.078. Let p = 0.06 + h. Which is bigger: p or 3?
3
Let u be (-65)/(-60) - (-2)/8. Which is greater: u or 0.1?
u
Let y be -2 + (3 - 9/15). Which is bigger: 4 or y?
4
Suppose -2*y - 5*q + 2 = 0, -4*q + 9 = 1. Let w be (-5)/y - (-2)/4. Let h = w + -3/2. Which is smaller: h or 1?
h
Let u be -3*(-6)/15 + (-3)/15. Which is smaller: 2/101 or u?
2/101
Suppose h - 4 = 3*h. Let l be 3/6*-2*h. Do 5 and l have the same value?
False
Let i be ((-44)/(-6))/((-10)/30). Let o be 9/(-12) - i/8. Let h be (-2 - -3)/(2 - 1). Which is greater: o or h?
o
Suppose -f = f + 16. Let d = f - -8. Suppose d*u + 5*u - 15 = 0. Which is smaller: u or 2?
2
Suppose 4*a = 2*a - 24. Suppose 3*n = 5*b + 52, 2*n + n = -3*b - 36. Is a greater than or equal to b?
False
Let w = -175 - -117. Is -59 > w?
False
Suppose -2*g = -4*g. Let j = 16 - 11. Let d be -1 - j/(30/(-4)). Is g <= d?
False
Let f = 25/3 - 74/9. Let o = -13/36 + f. Which is bigger: o or -1?
o
Let z = -21 + 20. Are 1/18 and z equal?
False
Suppose 3*l = 7*l + d - 42, -4*l - 4*d = -48. Which is greater: l or 102/11?
l
Let l(h) = h**2 - 2*h - 1. Let p be l(5). Let g = -7 + p. Which is bigger: g or 0?
g
Let n(r) = r**2 + 4*r. Let l be n(-5). Are l and 31/6 equal?
False
Let q = 46 - 46.07. Let z = -0.3 - -0.1. Which is bigger: z or q?
q
Suppose 2 = -0*p + p. Suppose p*g + 12 = -8. Let c be (-6)/3*1/g. Which is greater: -1 or c?
c
Let f = -0.25 + 0.2. Let o = 0.05 - f. Do o and 2 have the same value?
False
Let n = 1 - 0.9. Let a(r) = -r**2 + 9*r - 8. Let k be a(7). Suppose 4*g + 24 = -4*b, g = -2*b + k*g + 2. Are b and n unequal?
True
Let i = -52 + 56. Which is smaller: 21/4 or i?
i
Let a = -14.81 +