 -1 - -3. Let y = 1.8 - x. Which is smaller: h or y?
h
Let w be (-24)/108 - (-6)/27. Do 5/11 and w have the same value?
False
Let m = -7316/19 - -385. Suppose 0 = -0*s - s. Is m not equal to s?
True
Let n = -31 - -31. Let v be (-3)/((4 + 1)*1). Which is greater: n or v?
n
Suppose -32 = h - 0*z + 4*z, 2*z + 36 = -h. Which is greater: -0.1 or h?
-0.1
Let g(m) = m**2 - 2*m - 3. Let h be g(4). Is h less than or equal to 5?
True
Let q be (66/16)/((-30)/(-24) - 2). Which is greater: -7 or q?
q
Let b = -4.96 - 1.04. Which is smaller: b or -1/5?
b
Let g(x) = -x + 3. Let v be g(7). Let d be (-3)/12 + (-17)/v. Is d < 4?
False
Suppose -5*l = -2*l - 3. Which is smaller: -6/17 or l?
-6/17
Let y = -17 - -20.5. Let k = -1.6 + y. Let l = 2 - k. Does l = -2?
False
Let b = 389/6 + -65. Let o(i) = i**3 - i**2 + i + 2. Let t be o(0). Suppose -m = -t*m. Which is smaller: b or m?
b
Let s(g) = -17*g**2. Let t be s(-1). Let z = -95 - -77. Is t not equal to z?
True
Let k = 13.9 - 23. Let y = k - -9. Which is smaller: 1/7 or y?
y
Let d(s) = -s - 21. Let y be d(-10). Is y bigger than -10?
False
Let d = -111/104 - -9/13. Let a be (-130)/(-35) + (-2)/(-7). Suppose -a*n = n. Which is smaller: n or d?
d
Let f(b) = b**2 - 4*b - 1. Suppose 2*i = -0*i + 5*k + 15, i = -4*k + 1. Let r be f(i). Let q = r - 0. Is q > 3?
True
Let x be (-2)/3 - (-14)/3. Suppose 3*b = 19 - 4. Let v = -1 + b. Is v less than or equal to x?
True
Suppose 0*u + 4*o - 24 = -4*u, -4*o = -5*u + 48. Let i = u - 7. Let x be ((-1)/(-14))/((-1)/(-16)). Which is smaller: x or i?
i
Let s = -786/7 - -112. Suppose -9 = 3*b - 6*b. Suppose -b*y - 2*i = -i, y = -5*i. Which is smaller: s or y?
s
Let n = 6 + -7. Let p = n + -2. Is p <= -3?
True
Let r be (3 + -2 - 3) + -1. Let o be (-2 - -1)*18/(-2). Suppose -3*t + 3*i = o, 4*i = i - 3. Which is smaller: t or r?
t
Suppose 0 = -2*t + 4, 0 = -2*q + 5*q + t - 161. Which is smaller: -0.1 or q?
-0.1
Let f = 104.2 - 95. Let v = f - 9. Which is bigger: -1 or v?
v
Let p be (12/(-15))/(6/(-15)). Suppose 4 = h - a, 0*a = 4*h - p*a - 6. Is h <= -3?
False
Let a = -57 + 57.5. Which is smaller: -1/3 or a?
-1/3
Let y = 1.2 + -1.2. Which is smaller: 13 or y?
y
Let v = 1.24 - 0.14. Let u = -0.1 + v. Let d = u + -1.2. Does 2 = d?
False
Let f(x) = 3*x**3 + 17*x**2 - 5*x - 6. Let z(l) = l**3 + 8*l**2 - 3*l - 3. Let j(b) = 2*f(b) - 5*z(b). Let v be j(5). Which is bigger: 2 or v?
v
Suppose 0 = 3*y + 2 - 5. Is y < 1?
False
Let h(a) = a**2 + a. Let m be h(0). Let y be m + (6/(-21) - 0). Is y greater than or equal to -1/6?
False
Let x = 1 - -4. Let i = -5.5 + x. Let c = i - 0.5. Which is smaller: c or 0.1?
c
Suppose 3*p + 3*o + o = 13, 19 = 5*p + 4*o. Suppose y = -4*u + p*y, 5*u - 5*y + 5 = 0. Does -1/4 = u?
False
Let v be 3 - (20 + 1 + -3). Let l = -18 - v. Which is bigger: 0 or l?
0
Let m be ((-1)/(-5))/(-9*(-8)/5472). Which is bigger: 14 or m?
m
Let s = 1 + -1. Which is greater: 7/5 or s?
7/5
Let q be 2/(-12) + (-19)/(-6). Suppose -8 = -q*a - 2. Which is bigger: 8/5 or a?
a
Let v(k) = -k + 1. Let f(q) = 9*q - 9. Let y(j) = 2*f(j) + 21*v(j). Let s be y(2). Which is bigger: -7/2 or s?
s
Suppose 16 = 2*x + 5*v, -x + 1 + 4 = v. Let o be x/2*(-4)/(-6). Is 1 less than or equal to o?
True
Suppose 38 = 2*s - 12. Suppose 4*q - s = -5. Suppose 0 = q*r + 3 + 7. Are r and -3/4 unequal?
True
Let u be (-30)/(-60)*4/169. Is -1 less than or equal to u?
True
Let a(w) = -w**2 + 7*w + 5. Let s be a(7). Which is greater: s or 6?
6
Let p = 42 + -27. Is 16 less than p?
False
Let z be 2/4 + (-3)/2. Let p = -5 + 5.2. Let a = -0.1 + p. Which is bigger: a or z?
a
Let u = -5 - -7. Suppose 3 = s - 3*a, 2*s = -u*s - 3*a + 12. Is s at most -1?
False
Let b = 0 - -2. Suppose b*f = -f. Which is smaller: f or -2/7?
-2/7
Suppose -5*m = 5*m + 250. Which is greater: m or -0.2?
-0.2
Let f be (-3)/(27/(-10) + (-18)/(-6)). Which is greater: -3 or f?
-3
Suppose 2*l - 1 = -13. Do l and -5 have different values?
True
Let b = -6 - -5.96. Let n = b + 2.04. Suppose -5*w - 2*s + 2 = -7, 0 = 2*w + 3*s - 8. Which is smaller: w or n?
w
Let o be (0 - (-2)/(-34))*1. Suppose -3*f - 6*m = -5*m + 2, -f - 4*m = -3. Which is bigger: f or o?
o
Let j = 19 + -14. Are -2 and j nonequal?
True
Suppose 0 = 4*j + 2*h + 8, -j - 3 = -h + 2*h. Are -2/7 and j non-equal?
True
Let v(x) = x + 1. Let h be v(-1). Is h greater than or equal to -1/3?
True
Suppose t - 5*m = 29, 0 = -t - 0*t - m + 29. Which is bigger: 28 or t?
t
Let i = 10 - 21. Let n be (-50)/(-2) + (i - -7). Is 21 bigger than n?
False
Let s(t) be the first derivative of -t**4/4 + t**3/3 - 7*t - 9. Let b be s(0). Is -1 greater than or equal to b?
True
Suppose 4*m - 5*d = -32, -4*m + 0*d - 8 = d. Let s be (-3)/m - 7/6. Which is greater: -0.1 or s?
-0.1
Let v(g) = 20*g + 1. Let s be v(1). Suppose -5*b - s + 1 = 0. Let l(y) = y**3 + 4*y**2 - 3*y + 7. Let u be l(-5). Which is smaller: b or u?
b
Suppose -w + 3*w + 10 = 0, 0 = 4*v - 4*w - 140. Let m be (-40)/v*6/4. Is -2 >= m?
True
Let h = -2.82 - 0.38. Let m = h - -0.2. Let u = m - -3.2. Is u < -0.1?
False
Suppose n - 5*b = 13, 3*n + 2*b - 3*b - 11 = 0. Let l be 2 - n - (1 - -3). Is l > -4?
False
Let y be 2/(-6) + 2/4. Let i(b) = b**2 + 5*b + 1. Let r be i(-5). Is y at least as big as r?
False
Let g = -74 - -221/3. Is g bigger than 8/7?
False
Let h be 4/(-10)*(-2)/(-4). Let x = -8.1 - -11.1. Do h and x have different values?
True
Let m be -3*((-2)/(-12))/1. Let z = -3 + 3.1. Are m and z unequal?
True
Suppose -4*h - 2 = -5*l - 0*h, -3*h + 6 = 0. Is l less than or equal to -1?
False
Let m(d) = d**3 + 9*d**2 - 10*d - 1. Let i be m(-10). Does i = 2/17?
False
Let j(i) = 3*i - 4. Let t = 6 - 1. Let f be j(t). Is f at most 12?
True
Suppose 0 = 2*d + d. Let v = d + -2. Which is smaller: -0.3 or v?
v
Let j be 2*(-1 + 1 - -2). Suppose -3*q + 85 = 4*r - 8*q, j*r + 3*q = 77. Suppose -4*o - 26 = -8*o + 2*z, -4*z - r = 0. Is 3 at least o?
False
Let w(x) = x**2 - 8*x + 10. Let f be w(7). Let t be (2/f)/(4/(-3)). Which is smaller: -2 or t?
-2
Let j be (9/(-6))/(3/(-6)). Let n be ((-2)/(-5))/((-2)/10). Let v be n/8*(-2)/1. Do v and j have the same value?
False
Let d = -11 + 12. Which is greater: 1/3 or d?
d
Let f = -548/87 - -19/3. Suppose -2*p = 10, 2*a + 5*p = 3 - 28. Which is smaller: f or a?
a
Let t(k) = -k**3 - 3*k**2 + 1. Let m be t(-1). Which is bigger: 1/30 or m?
1/30
Let n(v) = -v**3 - 14*v**2 + 13*v - 12. Let f be n(-15). Suppose -3*g + g = -f. Which is smaller: g or 7?
7
Let u be (-4)/7 - 0/5. Let x be 1*(2 - 2) - 0. Which is bigger: u or x?
x
Let v = 0.71 + -0.51. Is v not equal to 50?
True
Suppose -5*c = 4*t - 37 + 6, 0 = c - 3. Let k(m) = -m**2 + 2*m - 2. Let q be k(t). Let u be q/(-15) + (-1)/(-3). Which is greater: -5 or u?
u
Suppose -u - 3 = 4*t - 0, 2*u - 8 = -t. Let j = 4 - u. Which is bigger: j or -6/5?
j
Let t = -1.64 - 0.06. Let h = t + 0.7. Is -5 greater than h?
False
Let i(b) = -2*b - 11. Let d be i(-6). Suppose -5*j - 12 = -p - 51, 5*j = 5*p + 55. Let u be (-2*1/(-1))/j. Is u < d?
True
Let z be (-3)/2 - (8 + (-381)/42). Which is bigger: -1 or z?
z
Let d be 1/(-1) - (3 - -110). Let g = -95050 - -856475/9. Let t = d + g. Is t less than -1?
False
Let i = 0.153 - -0.837. Let z = i - -0.01. Which is bigger: -2 or z?
z
Let c = -21.02 - -20. Let y = -1 - c. Which is smaller: 1 or y?
y
Let v(y) = y**2 - 6*y + 7. Let j be (-6)/(-9)*78/(-4). Let z = 18 + j. Let q be v(z). Do 2 and q have the same value?
True
Let d = 8 + -3. Which is bigger: 3 or d?
d
Let g(f) = -f**3 - 6*f**2 - 3. Let z be (-3*2)/(-4 - -5). Let v be g(z). Let s be (-12)/27*v/(-2). Is 0 < s?
False
Let z = -11 - -10.92. Which is smaller: -2/7 or z?
-2/7
Let b be (-3)/(-2)*(-6)/9. Is b bigger than -1/40?
False
Suppose 0 = -q + 4*u - 8, q + 4*u - 8 = -q. Which is smaller: -2/5 or q?
-2/5
Suppose -1 = -4*d + 3. Let b be 4*(0 - d/6). Let f = 8.2 - 8. Is b > f?
False
Let w = 1.05 + 0.15. Let o = w - 1.11. Are 0 and o non-equal?
True
Let p = 12 + -11. Let x be (-1 - -2 - p)/2. Which is bigger: 2/5 or x?
2/5
Let t be 1/(-2) - 5/2. Let p = -4 - t. Let z = -1 + p. Are -2 and z equal?
True
Let i be (-8)/14 - (-48)/84. Is i smaller than 1/62?
True
Suppose -3*h + 8 = d - 6*d, 2 = 2*h. Let a be 4 - 9/(3/d). Is a at most 7?
True
Let y = -3 + 2.9. Let j = 54 + -52.96. Let x = j - 0.04. Which is smaller: 