8/3
Let j be -2*(-4 + 3) + -1. Let t = j - 4. Let o be 1/t*3/(-2). Is 0.1 < o?
True
Let h = 7 + -6. Suppose 3*i - h = -4*x + 2, -i + 20 = -5*x. Suppose -5*y - 12 = -y. Is x at most as big as y?
True
Let k = 1 + 0. Suppose 9 + k = 5*s. Let j = s - 4. Is -1 at least j?
True
Let k be 6/(-3) + 10/6. Suppose 3*r + 2*r + 30 = 0. Let p(s) = s + 5. Let o be p(r). Which is smaller: o or k?
o
Suppose s + 5*r = 16, s - r - 2 + 4 = 0. Suppose -4*g + 6 = -6*g. Let h = 2 + g. Which is bigger: s or h?
s
Suppose 8 = g - 3*t, -g - g = t - 2. Suppose 11*d = 1 + 10. Is g bigger than d?
True
Suppose -2*b = 5*a - 78 + 2, 0 = a - 5*b - 26. Let w be (a/(-50))/((-4)/10). Which is smaller: -2/5 or w?
-2/5
Let a be 3*(-6)/27*-6. Let c be a/18 - 370/45. Let i be 4/(-22) - c/44. Is i at least as big as 1/4?
False
Let m be (-1)/(-3)*(-3)/1. Let w be (-138)/207*(-2)/(-3). Which is smaller: m or w?
m
Let z be 2/3*15/(-5). Is z >= -1/2?
False
Let f = -7 + 14. Let a = f - -1. Which is smaller: a or 0?
0
Let y be (0 - (2 + -1))*-1. Suppose -4 = -3*f - y. Let k be 2/(2/f)*1. Which is greater: 0 or k?
k
Let g = 2 - 1. Suppose -5 = -f + 2*t - 3*t, 0 = 4*f + 2*t - 14. Which is greater: g or f?
f
Let t = -45 + 42. Is -3 equal to t?
True
Let f = 80.8 - 81. Which is smaller: 4/7 or f?
f
Let k = -4 - -5. Let c be k/(1 + 300/(-327)). Let j = -12 + c. Is 1 bigger than j?
True
Let f be -17 - 1/(-3)*0. Let l = f + 35/2. Is 1 less than l?
False
Suppose f = 3*a - 0*a - 955, 0 = -5*a + f + 1593. Let g = a - 4143/13. Let q = g - -5/26. Is -0.3 greater than q?
False
Let u = 17.1 - 1.1. Which is smaller: u or 0?
0
Let x = 0 + 1. Suppose 0 = u - x. Let s = u + -2. Do s and -2 have the same value?
False
Let p(q) = 0*q**2 - 4*q**3 + 3*q**3 + 6 + 5*q**2 + 5*q. Let a be p(6). Let t = -1 + 0. Do a and t have different values?
True
Let s(w) = w**3 + 3*w**2 + 3*w + 3. Let r be s(-2). Is 6 smaller than r?
False
Suppose -3*x + 5*x - 4 = 0. Suppose -12 = -2*m - 5*a, 6*a - x*a + 24 = 4*m. Let h = 0 + m. Which is smaller: h or 7?
h
Let r be 1 - -166*1/(-2). Let d be 1/((2/r)/(-1)). Let y = 163/4 - d. Which is greater: y or -1?
y
Let v = 1 + -0.8. Let h = 38 + -30.9. Let z = h - 7. Is v < z?
False
Let s = 7 - -6. Let a = -12 + s. Which is bigger: 0 or a?
a
Let i = 1.11 - -0.89. Is i > 0.051?
True
Let a be -2 - (-4 + (1 - -2)). Let s(d) = 2*d + 2. Let f be s(-3). Let g be f/(-10) + (-48)/70. Is a greater than g?
False
Let a = -26.2 - -4. Let y = -22 - a. Which is greater: -3 or y?
y
Let d = -22 - -15. Let j = -4 - d. Is j bigger than 3/2?
True
Let y(v) = -v**3 + 4*v**2 + v - 2. Let i be y(4). Suppose 4 = -i*l + 2. Which is smaller: -2 or l?
-2
Let g be 78/(-9) + 4/6. Let t = -5 - g. Suppose -3*d - t = -6*d. Which is smaller: d or 0?
0
Let k = 5 + -6. Are k and -1 nonequal?
False
Let r be (2/7)/((-4)/(-28)). Which is bigger: r or 0.2?
r
Let i be (3/(-9))/1 - -2. Suppose 0 = 2*w - 1 - 5. Is w bigger than i?
True
Let r = -0.3 - -2. Let p = r + -1.3. Which is smaller: 1 or p?
p
Let b be (-10)/5 - (-1 + -5). Suppose -b*p + 1 = -3. Which is smaller: p or 1/5?
1/5
Let l = 113 + -60. Is 53 smaller than l?
False
Let z = 0.22 + 0.08. Let l = 0.05 + 0.05. Which is greater: l or z?
z
Let c = -6 - -5. Is 4 >= c?
True
Let d = -6.8 + 0.8. Let f = d - -5. Is f >= 1/4?
False
Let x = 6 + 0. Let u be (x/8)/(3/2). Is u at most -1?
False
Let r be (-75)/(-4) - (5 - 2). Is r less than 17?
True
Let l be ((-2)/10)/((-8)/(-10)). Let k = -0.4 + 0.1. Let o = k + 0.5. Is l > o?
False
Let w = -1 - -5. Suppose w*r - 2*r - 2 = 0. Let j be (-4)/(-8)*(-1 + r). Which is smaller: -2 or j?
-2
Let b(f) = -f**2 + 9*f - 4. Let k(g) = g**2 + 4*g - 4. Let t be k(-6). Let h be b(t). Let l be 0 + h*1/2. Which is greater: 2/3 or l?
l
Let w = -5.2 + 5. Let l = 0 - w. Which is smaller: -1/2 or l?
-1/2
Suppose -3*x + 14 = -4*w, -5*w + 4 = -1. Let d be (-14)/(-2) + 1 + -2. Is x less than d?
False
Suppose 5*l + 2*m + 7037 = m, 4215 = -3*l - 3*m. Let u = l - -15506/11. Are u and 3 unequal?
True
Let j be (4 - 4)/(0 + 1). Let u be -3*(0 + 1/19). Let d = -4/95 + u. Is d smaller than j?
True
Suppose -19*w + 1089 = -279. Is w greater than or equal to 72?
True
Let r(l) = -l**3 + 10*l**2 - 3. Let m be r(10). Let d be (m/(-1) + -3)/(-1). Is d bigger than -2/13?
True
Let s be 0 + (-9)/(0 - 3). Let b be 10/30 - (-2)/s. Suppose 2*g - 25 = 5*m, 3*g - 5*m = -4*m + 5. Is g at most b?
True
Suppose 24 = -5*d - 51. Which is smaller: -2 or d?
d
Let a be -1 - (-1 + -7 - -4). Suppose -4*y = -a*d + 5*d - 16, -5*y - 5*d = -25. Let p be 2 + (1 - 1) - -2. Are y and p unequal?
True
Let k be 3 - 1 - 15/1. Which is greater: k or -12?
-12
Let n be (-15)/(-10)*40/18. Which is smaller: n or 3?
3
Let v be (-1 - 2) + (-1 - -12). Which is smaller: 7 or v?
7
Let m be 3 + 8 + 1*-2. Let n be 16/(-9)*m/(-12). Is n greater than 1?
True
Let g = -5/24 - -49/120. Which is smaller: g or -1?
-1
Suppose -15 = b + 5*p, 0*p = 2*b + 2*p + 14. Is b != -3?
True
Let s be (-2)/(-4) - 13/(-2). Let n = 15 - s. Suppose 3*a + 13 = -n. Is -7 less than or equal to a?
True
Let h = 22 + -22.2. Is h <= -0.12?
True
Let h(a) = -a**3 - 3*a**2 - a - 1. Let z be h(-3). Which is smaller: 10/9 or z?
10/9
Let u = 702/11 - 738/11. Is -2 at least u?
True
Let o be 16/(-154) + (-28)/154. Suppose w + 1 = 5*k, 33 = -5*w - 0*k - 3*k. Is o <= w?
False
Let z be 0/((-2)/(-2)*-1). Suppose z*w = -2*w - 4. Is -1 > w?
True
Let k = 6.7 + -17.8. Let i = 11 + k. Which is smaller: i or 11/4?
i
Let o = -163 - -159. Does -1.8 = o?
False
Let q be (-6)/21 - 846/(-21). Let j be q/12*(-1)/(-4). Which is bigger: 0 or j?
j
Suppose -5*b + 39 - 4 = 0. Suppose 2*o = -3*w - 4, 5*o + 0 = w + b. Suppose -1 = 2*z - z. Is z > w?
True
Let d(g) = 3*g + 28. Let p be d(-9). Do -10 and p have the same value?
False
Suppose -8*d + 180 = -148. Do 42 and d have different values?
True
Let d = -3 - -3. Let j be (-235)/(-15) + 2/6. Let r = j - 11. Is d <= r?
True
Let n be 16/20*5/1. Let i(g) = -g**3 + 11*g**2 - 16*g - 10. Let u be i(9). Are u and n equal?
False
Let s(a) = -a**2 - 6*a + 3. Let j be s(-6). Let i = 6 + -2. Let q be 4/16*i/j. Which is bigger: 0.1 or q?
q
Let p = -463/7 + 66. Is 2/7 bigger than p?
True
Let w = -45/23 - -1009/69. Which is smaller: w or 12?
12
Let i = -0.86 + 0.8. Let v = -0.04 + i. Are 2 and v nonequal?
True
Suppose -4*k - k = -60. Let r(f) = f - 14. Let u be r(k). Let h be (-24)/9 + u/6. Is h > -2?
False
Let b = -8.05 - -9. Let a = -1 + b. Let r = a + 0.1. Is r greater than -1?
True
Let p = 8 + -14. Is p at most -1/3?
True
Let c = 4 - 6. Is -8/5 at least c?
True
Let q be 5 + -6 + (0 - -1). Which is greater: q or 1/36?
1/36
Let d(m) = -m**3 - 5*m**2 - 3*m + 5. Let c be d(-4). Let f be ((-10)/5)/(c*7). Is f at most 0?
True
Suppose -5*l + 5*m = 0, -l + 6*l = -3*m + 32. Is 1/7 at least as big as l?
False
Let j = -89/60 + -1/60. Suppose 0 = 3*d, 3*z + 5*d - 1 = -10. Which is smaller: z or j?
z
Let z = -12.2 + 10. Let m = -1.5 - z. Let v = 0.3 + m. Which is greater: v or -1/2?
v
Let z be (-126)/108 - (2/(-4) + -1). Which is smaller: -21 or z?
-21
Let g be (6/(-2))/(-1*1). Suppose g*w = 4*w - 1. Let v be -7 - (-7 + (-3)/(-12)). Which is smaller: w or v?
v
Suppose 19*q - 2 = 18*q. Let p = 1 + 17. Let b be p/20 - (-2)/(-5). Which is smaller: q or b?
b
Let y = 19/6 + -23/6. Which is bigger: y or -2?
y
Let g be (-4)/6 + 16/48. Suppose 0 = -0*c + 5*c. Which is bigger: c or g?
c
Let y(i) = -i**3 + 6*i**2 + i - 7. Let x be ((-2)/(-6))/((-8)/(-144)). Let m be y(x). Let c = 1 + -1. Is m at least as big as c?
False
Let f = -19 - -16. Which is smaller: f or -9/5?
f
Let w be 114/84 - (-1)/7. Let j = 11 + -8. Is j bigger than w?
True
Let y(i) = -4*i + 11. Let k be y(3). Let l be ((-96)/(-9))/(2*3). Let z = 23/18 - l. Is z greater than k?
True
Let s(k) = 3*k - 5. Let t(i) = 7*i - 10. Let f(v) = 5*s(v) - 2*t(v). Suppose -17*q - 10 = -19*q. Let p be f(q). Do -1/3 and p have the same value?
False
Let s = 6.7 + -0.2. Let x = 0.5 - s. Do 1/3 and x have different values?
True
Let r be (-2)/(((-10)/(-12))/5). Which is smaller: r or -11?
r
Let s(f) = 2*f**2 + 1. Let d(j) = -j**2 + 6*j - 6. Let p be d(5). Let o be s(p). Suppose o*x + 2 = 11. Which is bigger: 1 or x?
x
Let z = -0.3 + 1.3. Let g = -23.83 + -0.17. Let w = g - -24. Which is smaller: w or z?
w
Let o = 1.3