 or o?
1
Let z = -33/40 - -5/8. Let d = -1 + 1. Which is smaller: d or z?
z
Let u be ((1 - -3)/(-4))/(-1). Which is bigger: 3 or u?
3
Let y = 0.6 - 1.6. Are 3 and y non-equal?
True
Let i = -67/456 + -3/152. Let p be -2 - (0 + 24/(-11)). Does i = p?
False
Let s = -6 + 6.1. Let i = s - 0.6. Let k = 1.5 - i. Which is smaller: k or 0.2?
0.2
Suppose -3*v - 2*z = -17 - 3, -2*v - z = -12. Let u be (2/(-8))/((-1)/v). Is u greater than or equal to -1/3?
True
Let j be ((-3)/3*-1*1)/(-1). Which is smaller: j or -3/17?
j
Let z be (5 - 2)/3 + 1. Let r be (z + -2 + -1)*-1. Let p = 3 + -2. Are p and r unequal?
False
Let j be 0/(4/(-8)*6). Let l(c) = c + 2. Let f(s) = s**3 - 8*s**2 - 2*s + 10. Let d be f(8). Let v be l(d). Are j and v nonequal?
True
Let q = -0.1 - 10.9. Let j = -11 - q. Is 1 != j?
True
Let q = -0.2 - -2.2. Let f(n) = -n**2 - 3*n + 8. Let w be f(-8). Let c = w - -129/4. Which is smaller: q or c?
c
Let d be (-2)/(3 + -7)*(1 + -1). Is -2 < d?
True
Let o be (-7)/(-8) + 5/20. Is 0 <= o?
True
Let z(k) = k**2 - 12*k + 14. Let w be z(10). Let l be (-3)/w + (-3)/12. Are l and 0 nonequal?
True
Let g(u) = u**3 + u**2 - 2*u - 1. Let o be g(-2). Let s be (-3)/2*o/9. Let a = -9 - -9. Which is smaller: s or a?
a
Let t = -35 - -24. Is t at most as big as -80/7?
False
Let b be (-140)/(-16) + (-18)/(-8) + -2. Are 7 and b unequal?
True
Let m be (-2)/(4*2/16). Let x be (m/(-6))/((-2)/(-18)). Which is greater: x or 8?
8
Suppose -3*c - 3 + 15 = 0, p + 3 = 2*c. Is p at most as big as 11/3?
False
Let i = -2053/15 + 137. Is 2 less than i?
False
Let x(l) = -l - 7. Let c be x(-10). Let k be 0/(c*(-3)/(-9)). Is -3/4 > k?
False
Let x be (-6)/60 - (-2)/10. Let g be (1/(-2))/((-3)/(-6)). Which is bigger: x or g?
x
Let q = -0.019 - 8.981. Is q <= 0?
True
Let q = 92 + -106. Is q greater than or equal to -2?
False
Let h be (0 - 0)*(1 + 0). Which is bigger: h or 6/7?
6/7
Suppose -39 = 4*u - 3. Let f be u/6 - (-1)/2. Is -1 less than or equal to f?
True
Let h be (-2)/(0 + -1)*-2. Let j be (4/6)/(8/240). Let z be (6/j)/(h/8). Which is smaller: 0 or z?
z
Let y = -0.03 + -0.97. Let v = y - -0.93. Do 0.1 and v have different values?
True
Let y = -87.9 + 88. Which is smaller: -0.08 or y?
-0.08
Let l = -1/74 - -21/185. Are l and 1 equal?
False
Let p be ((-2)/4)/(2/20). Let t = p + 8. Suppose 2 = 2*c - 4. Is c > t?
False
Suppose 0 = 3*c - 5*f - 21, 2*f - 4*f + 21 = 3*c. Let y = c + -7. Which is greater: -2/11 or y?
y
Suppose 4*x = 4*j - 0*x, -16 = 3*j + 5*x. Let p(n) = -2*n - 2. Let u be p(j). Which is smaller: 4/5 or u?
4/5
Let l be ((-4)/(-6))/(5/(-3)). Let u = -1194 - -1193.87. Which is bigger: u or l?
u
Let g(u) = -2*u - 14. Let k be g(-12). Let a be k/12 - 5/10. Let s = -708/5 + 142. Which is greater: s or a?
s
Suppose 4 = o + 1. Which is smaller: 6 or o?
o
Let w = -156 - -156. Which is smaller: w or -51?
-51
Let h be 3/(-6)*(3 + -1). Is h less than or equal to 0?
True
Let j = -19/4 - -61/12. Is 0 <= j?
True
Suppose 3*b - 14 = 5*r, -5*r + 3*r - b - 10 = 0. Which is greater: 0.1 or r?
0.1
Suppose k + 4*x + 31 = 4, -k + 4*x = 35. Let s = -15 - k. Suppose -2 - 10 = -w - 3*v, -5*w + s = 4*v. Which is smaller: w or -2/11?
-2/11
Let y be (((-2)/8)/((-3)/24))/(-2). Which is smaller: y or -3/13?
y
Suppose 10*t - 3 = 7*t. Which is bigger: 3 or t?
3
Let t = 256 + -7679/30. Do t and -1 have different values?
True
Let s be -5 + 3 - -16 - 3. Which is bigger: 13 or s?
13
Let m = 4.9 + 0.1. Which is greater: m or 0.3?
m
Suppose -3*p - 2*p - 85 = 0. Let g = -30 - p. Is -13 != g?
False
Suppose 5*y + 47 = -8. Let f = y - -12. Let r = 400/4161 + 2/219. Is f <= r?
False
Let g = -0.1 + -0.5. Let x = 2.4 - g. Let k = 2 - x. Which is smaller: k or -2/7?
k
Let h be 3/(-6) - (-2)/(-4). Is -4/67 smaller than h?
False
Let p(g) = -g + 7. Let t be p(8). Let c be 3/(-1) + (-2 - -4). Is c >= t?
True
Let h be 1 - (-1 - (-863)/258). Let p = h - -1/86. Let b = -51 + 50. Which is smaller: p or b?
p
Suppose 0 = -4*h + 2*h. Is -2/39 at most h?
True
Suppose -3*n - 2*z = -6, z = 2*z. Let o be n/6*(-5106)/10. Let q = -171 - o. Is q > -0.1?
False
Let k = 0.04 + 0.16. Is -0.2 bigger than k?
False
Let u = -10 - -16. Suppose u = -v + 4*v. Which is bigger: v or 3?
3
Let p = 25 + -63. Which is smaller: p or -36?
p
Let u = 5.5 - 4.6. Are u and -2/9 unequal?
True
Let t = -25 - -33. Which is smaller: 7 or t?
7
Suppose -3*w + 1 = -2*z, 3*w + 4*z + z - 8 = 0. Let b = -0.4 + 0.2. Let g = 0.1 + b. Is w at least as big as g?
True
Let x = 1279/3 - 432. Let j = -37/6 - x. Which is smaller: -2/13 or j?
j
Let p be (-12)/4*(-1)/114. Is p <= 1?
True
Let q be (-11)/5 + 8/4. Which is smaller: q or -2/3?
-2/3
Let f = 8 + -8.5. Let k = -0.3 - f. Let a be (-2)/(-2) + 14/(-10). Which is smaller: k or a?
a
Let f = -2.1 + 2. Let g = -17/24 - -3/8. Which is smaller: g or f?
g
Let m = -0.02 - 12.98. Let q = m - -10. Which is smaller: q or 1/3?
q
Let k = 8 - 8. Suppose 3*z + 9 = -k*z. Let q be -2 + z*3/(-3). Which is smaller: 0 or q?
0
Suppose -4*k + u + 980596 = -42960, k - 255874 = 4*u. Let l = k + -3328977/13. Let b = 185 + l. Is b greater than or equal to 0?
False
Suppose w = 3*c + 17, 5*w - c = 3*c + 41. Suppose -i = -w*i. Suppose -l = -i*l. Is 2/17 equal to l?
False
Let s(q) = -q**2 - 10*q + 1. Let f be s(-5). Let b = f + -22. Which is smaller: 5 or b?
b
Suppose -2*i - i + 69 = -3*r, 3*i = -2*r - 46. Is r < -23?
False
Suppose -5*n - 2*x = -0 - 2, 0 = -5*n - 5*x + 5. Let l be n/(2 + (0 - 0)). Let b be (-4)/(-10) + 120/(-175). Which is greater: l or b?
l
Suppose 2 + 3 = -y. Let w be -1*(-2 + 3) - 3. Are w and y nonequal?
True
Let m = 263 - 1585/6. Which is smaller: m or -0.1?
m
Let m = 569/65 - 43/5. Let g = 8 + -5. Let w be 2/g*(-3)/(-2). Does m = w?
False
Let b be -1*3/15 - (-2)/10. Are -8/7 and b unequal?
True
Suppose v - 5*l - 65 = -v, -4*v + 2*l + 106 = 0. Suppose -3*n - 2*n + v = 0. Suppose -4*h - n = h. Is -2/5 smaller than h?
False
Let m = -58 + 62. Let w be (-2)/(-9) + (-160)/(-9). Suppose m*p = w - 6, p - 35 = -4*g. Which is bigger: 7 or g?
g
Let q(p) = p + 12. Let s be q(-7). Is 7 < s?
False
Let r be (8 + -1)*(-1 - -2). Let x be (-4)/r + (-2)/(-7). Which is smaller: x or -1?
-1
Suppose 3*g - 22 = 5*a, g + 17 = 4*g - 4*a. Let u be (3/(-52))/(5/(-2)). Let o = u - 281/910. Which is smaller: g or o?
g
Let g = 39 - 55. Which is smaller: -15 or g?
g
Let h = -185 + 108. Which is smaller: 1 or h?
h
Suppose -3*v + 2*g = 1, -2*g + 1 = 4*v - 21. Suppose -4*b + b = -v. Let u = 2 + -2. Which is greater: u or b?
b
Let c be (3 - 54/10) + 2. Let o be 1/((-3)/21*1). Let i = 8 + o. Does c = i?
False
Let w(j) = -j**2 - 2*j + 3. Suppose 0 = n + 3*g + 7 - 1, 0 = -n - g - 4. Let q be w(n). Let l = 5 + q. Is l at most 5?
True
Let t = 4/19 - -10/133. Is t at most as big as -1.3?
False
Let p be ((-21)/(-9))/(1/6). Is 14 >= p?
True
Let j(t) = 3*t**2 + 1. Let u be j(-1). Let w be (-46)/(-10) - (-2)/5. Which is bigger: u or w?
w
Let r = 17.2 + -15. Let p = r - 2.17. Which is smaller: 1/2 or p?
p
Suppose -3 = 2*z + 7. Which is smaller: z or 2?
z
Let p = -7 + 2. Let j = p - -5.1. Is j != 5?
True
Suppose -n - 12 = 4*h, -5*n + 8 = 4*h + 4. Let o be 6/4*n/3. Let k be ((-16)/(-4))/(-8)*-2. Is o > k?
True
Let w = 17.5 - 14. Let a = w + 1.5. Which is bigger: 0 or a?
a
Suppose -4*h = -h. Suppose 0 = -h*p + 2*p - 4. Are p and 2 non-equal?
False
Let y = -7.6 + 3.7. Let c = -0.1 + y. Let f = c + 4.1. Is 0 > f?
False
Let d = -0.01 + -1.49. Let l = d - -1.6. Is l smaller than -2?
False
Suppose -2*c + 30 = 4. Suppose 8 + c = 3*u. Suppose -10 = -2*y + u*y. Which is greater: y or -1?
-1
Let l be (1/(-3))/((-14)/70). Suppose 2*x - 3*a = -6, -x + 6*x - 2*a - 7 = 0. Which is smaller: l or x?
l
Suppose 0 = 4*m - 5*x - 204, 0 = -m + 4*m + 2*x - 176. Suppose 3*u - m = -5*g, 2*g = -0*g + 8. Suppose -2*y - u = -s, -s = -3*y - 0*y - 17. Is 1 <= s?
True
Let v be 4/18 + (-75)/(-27). Suppose v = -4*h + 15. Suppose -h*i - 2*i + 3*w - 12 = 0, w - 4 = 3*i. Is -2/9 > i?
False
Suppose 0 = -3*o + 7 + 5. Suppose k - o = -3. Are 2/15 and k non-equal?
True
Let r = 42.901 - -0.099. Let k = r - 41.1. Let y = k + -2. Is y at most -5?
False
Let f be 22/6 + -1 + -3. Suppose 0 = c - 4*c. Which is smaller: f or c?
f
Let n be ((-125)/4)/((-1)/(-4)). Let v be n/220 - (-4)/(-18). Let q = -4/99 - v. Is q s