-1 + 0. Let w be (4/(-2))/(-3*(-4)/(-96)). Suppose -3*s - w = -13. Are s and u nonequal?
False
Let s be (-1)/5 - (-322)/35. Let l = -7 + s. Suppose 2*y + 2*n - n + 2 = 0, 5 = -5*y - l*n. Which is smaller: y or 0?
y
Let q be ((-6)/8)/((-4)/64). Let r be (16/q - -3 - 3)/4. Which is greater: -3.5 or r?
r
Let a be ((651/(-18))/7)/(32/(-80)). Does 13 = a?
False
Let v = 1316 - 1261. Which is bigger: v or 269/5?
v
Let n = 3.1 + 1.1. Let o = n + -4. Let h = 1.22 + -1.16. Are h and o nonequal?
True
Let x = 21.9 + -22. Let u = -43 - -40. Is u < x?
True
Let c = 1 - 1.2. Let d = -0.1 - c. Let z(h) = -h**3 - 5*h**2 + h + 6. Let b be z(-5). Which is bigger: d or b?
b
Let t(n) = n**2 - n + 1. Let u be t(1). Let y be ((-4)/(-8))/((-2)/(-4)). Let k be (y - 2)/(0 - 2). Which is greater: u or k?
u
Let z(w) = -w**2 - 4*w - 6. Let g be z(-4). Let u be (-3)/g - 6/(-4). Suppose -x + 18 = u*x. Is x <= 6?
True
Let c be (-4)/14 + 19/(-399). Which is bigger: c or 22/9?
22/9
Let a be 4/(-30) - 168/90. Is a > -2?
False
Let x be 2/7 - (-136)/(-476). Do x and 0.195 have the same value?
False
Suppose -10 = -3*h - 16. Let z be (-8)/h - 1 - -4. Suppose -4*y + 30 = 10. Is y bigger than z?
False
Let z = -33 - -23. Let p = -42.279 - -42.1. Let s = -0.079 - p. Which is smaller: s or z?
z
Let t = 12 - 37. Suppose 10 = 5*d, 4*d + 1 = f + 2*d. Let v be f/t*-2*-1. Which is bigger: -1 or v?
v
Suppose -2*n - 1626 = -4*y - 258, -y = -4*n - 349. Is 341 less than or equal to y?
True
Let d(v) = v**3 - 9*v**2 - 2*v - 13. Let f be d(9). Is -27 >= f?
True
Suppose 2*q + 66 = 13*q. Suppose -q*k = 8*k. Is k less than or equal to 3.7?
True
Suppose y + 11 = 3*h, y + y + 16 = 4*h. Let g = 7 - 2. Suppose h*j - g = 8*j. Which is smaller: -1/12 or j?
j
Let z(b) = b**2 - 9*b. Let j(m) = m**2 - 4*m + 4. Let g be j(5). Suppose -3*l = -2*l - g. Let y be z(l). Is y bigger than 0.1?
False
Suppose -k = -0*d - d + 24, -4*k + 2*d - 88 = 0. Which is bigger: k or -21?
k
Let g = 2072 - 103609/50. Which is smaller: g or -1?
-1
Suppose 5*x + 22 = 4*i, -i - 7*x + 2*x - 7 = 0. Let r(g) = 1 - i*g**2 - 3*g - g**3 + 3*g**2 + 7*g**2 - 3*g**2. Let u be r(2). Which is greater: u or 2?
u
Let c = 28 - 56. Let u = -7 - c. Let f = u - 27. Which is smaller: f or -5?
f
Let h be 384/760 + -1 + 3/5. Which is smaller: h or 0?
0
Let l = 29 + -13. Suppose 0*j + l = 4*j. Is 6 <= j?
False
Let z = 47958/11 - 4356. Which is smaller: z or 3?
3
Suppose 5*a = 174 + 41. Suppose 0*x - 2*x = -5*p - a, 2*x - 4*p - 46 = 0. Which is greater: x or 28?
x
Let l = 8 - 12.9. Let g = l + 4.956. Which is smaller: 2/5 or g?
g
Let l = 1 - 2. Suppose -m + 4*m + 9 = 2*w, 5*w - m = 16. Let i = w + l. Is 4 greater than i?
True
Let h = -7 - 9. Let q = -15 - h. Are q and 1/57 unequal?
True
Let i(c) = c**2 + 3*c + 30. Let v be i(6). Suppose 0 = -0*f + 3*f - v. Which is greater: f or 29?
29
Let l = 55.9 - 55.9. Is l at least as big as -3.09?
True
Suppose -p - 3 = -0*p. Let b be (-2)/p - (-70)/21. Suppose 2*f + b = 8. Is f > 4?
False
Let g(x) = -x**3 - x**2 - x + 10. Let v be g(0). Suppose 0*d = d - v. Let y be 1/d + (-5)/10. Is y bigger than -2/3?
True
Let y = 205 + -150. Is y bigger than 55?
False
Let w = -0.24 + 4.24. Let s = 3.4 + -1. Let x = s - w. Is 1 <= x?
False
Let r(g) = -g + 18. Let a be r(17). Let t = a - 0. Let b = -109 - -2181/20. Which is greater: t or b?
t
Let m(u) = 7*u - 105. Let a be m(15). Is -19/13 smaller than a?
True
Let l = -314 + 673. Which is bigger: 358 or l?
l
Let r be -4 + 2 - (-4 + -2). Suppose -r*v - 7 = -15. Suppose -7 = -b - v. Is b at least as big as 5?
True
Let m(y) = -y - 2. Let l be m(-2). Suppose -f - 3*f = l. Is 4/9 not equal to f?
True
Let d(y) = y**3 + 6*y**2 + 6*y - 6. Let k be d(-5). Let i be 6/(-4)*(-251)/(-1506). Are i and k equal?
False
Let w = 2.98 + 0.02. Let f = -8140.979 + 8136. Let z = f + -0.021. Is z at most w?
True
Suppose -4*m = i + 7, -m - 11 = 4*i + 2. Let j be (m + 0)*(-2 + 3). Let g = 93 - 286/3. Which is smaller: g or j?
g
Let i = 0.089 - -51.911. Let v = i + -77. Which is bigger: 1 or v?
1
Suppose -1510 = -5*b - 5*q, 9 = -2*q + 5. Is b at most 0.1?
False
Let t = 276 + -277. Does -1/35 = t?
False
Let c be -6*8/12 + 5. Let j be c/(-1) - 14 - -2. Is j smaller than -12?
True
Let u = 1101 + -1091. Is u < 22?
True
Let u(p) = p**3 - 7*p**2 + p - 10. Let f be u(7). Is -59 greater than or equal to f?
False
Let h(t) = -4*t + 26. Let y be h(-11). Let m = y + -71. Which is bigger: 2/23 or m?
2/23
Let p be 0 - ((-117)/15 + 6). Let k(g) = g + 1. Let s be k(-4). Let z be 15/9 + (-1)/s. Is p at least as big as z?
False
Let l be (16/(-432))/(0 + 14). Are 1 and l non-equal?
True
Let u = -793 + 795. Which is greater: -15 or u?
u
Let o be (2/8)/((-4)/(-16)). Let b be (2 - (o - 3))*1. Let x be 8/3 + 5 + -5. Is x equal to b?
False
Let g(s) = s**2 - 12*s - 6. Let c be g(10). Let k be (-45)/(-60)*16/c. Is k greater than 1?
False
Suppose -4*v + v = -126. Let i = -35 + v. Is i greater than 7?
False
Let d = 1.06 - 1.1. Let b = d + 0.64. Let h = 65/2 + -33. Which is smaller: b or h?
h
Let w be 3942/16056 - (-3)/(-12). Which is smaller: w or -1?
-1
Let f = 103/7 + -15. Suppose 2*h - 8 = -0. Suppose -3*w = w + h. Which is smaller: w or f?
w
Let u = 13.05 + -0.05. Which is greater: u or 4/5?
u
Let z = -133 + -97. Is 0.1 greater than z?
True
Let z = -9.7 - -3.7. Which is bigger: z or 0.05?
0.05
Let b = -230/9 - -76/3. Let g(c) = -c**3 - 11*c**2 + 15*c + 10. Let s be g(-12). Let w = 27 + s. Which is greater: b or w?
w
Let m be (-6)/(-4204)*(-359514)/108. Let i = m - -1/1051. Which is smaller: -6 or i?
-6
Let b = -34 - -16. Let y = -24.83 + -0.17. Let w = b - y. Is -0.1 < w?
True
Let j = -2255 + 11318/5. Are 10 and j nonequal?
True
Let v be (9 - 2)/(3/(-12)). Let j be (-2 + -3)*v/(-10). Is -1 > j?
True
Suppose 2*p - 2 = -0*p. Let l be (-105)/((-20)/4)*-2. Let m be ((36/l)/(12/(-21)))/4. Is m > p?
False
Let a = -0.449 + 0.449. Is 20/7 at least as big as a?
True
Let r = -0.05 - 0.95. Suppose -56 = -u + 8*u. Which is bigger: r or u?
r
Let b = 1106 + -1105. Which is bigger: 4/523 or b?
b
Let v = 9 + -7. Let w = 5 - v. Suppose f = j - 0*f + 2, -14 = -2*j - 4*f. Is j less than or equal to w?
True
Suppose 0 = 3*j + 17 + 73. Let q be -6 - (36 + -14 - -3). Which is bigger: q or j?
j
Let g = -0.07 + -0.33. Let m = -0.6 - -1.4. Let f = g + m. Is 2/7 bigger than f?
False
Let q = 76 - 70. Suppose -10*c - 4 - q = 0. Is 5 at least c?
True
Suppose u + w = -1197, -6*u - 5*w + 5985 = -11*u. Which is smaller: -1198 or u?
-1198
Let x = 443 + -279. Let d = x - 163.9. Which is bigger: -24 or d?
d
Let w(l) = -3*l - 2. Let g be w(2). Suppose -2*u = 3 - 13. Suppose s + 2*s = -i - 23, 0 = -u*s - 3*i - 37. Is s < g?
False
Let v be (40/12)/((-17)/6). Let f be ((-67)/(-10) - (-12)/40 - 6) + -2. Is f at least as big as v?
True
Let i = -6 - 0. Let o = -7 - i. Suppose -3*s + 12 = -4*s - 2*w, -4*s = -4*w + 36. Which is bigger: o or s?
o
Let a = -8 - -13. Suppose -a*s + 5 = 0, -3*i - 64 = -5*i - 4*s. Let o be 32/i + 6/(-9). Is o at most as big as -1?
False
Let c be ((-1)/3)/(325/(-15) + 22). Let w be ((-8)/6)/((-4)/(-18)). Which is greater: c or w?
c
Let a be (-24)/54 - (-524)/18*13. Which is greater: 3 or a?
a
Let y = 14.56 - 17.4. Which is greater: -1/4 or y?
-1/4
Let b = 444 - 446. Is b greater than or equal to -3?
True
Suppose -2*g + 7 + 1 = 0. Let p be (3 - g - -8)/(-4). Is p > 1?
False
Let a = 129 + -1257/5. Let m = a - -122. Which is smaller: m or 1?
m
Suppose 0*f + 42 = -6*f. Let d be (-114)/(-189) - 2/f. Does 0 = d?
False
Suppose 57*p - 132 = 60*p. Let j = 63 + p. Is j at least as big as 17?
True
Let a = 838 - 838.1. Let w be 8/(-3)*(-3)/2. Let z be ((-1)/(-6))/(w/8). Is a >= z?
False
Let n be -1*5*(-1 - (-78)/(-10)). Let v = -47 + n. Let y = -27 + 127/5. Which is bigger: v or y?
y
Let v = 671/8 + -84. Let x = 39.04 + -39. Which is smaller: v or x?
v
Let x be (-10200)/28 - (-46)/161. Is -365 at most as big as x?
True
Let i be 0/5 + (-20)/(-90). Let a be 23*(-2 + (-2)/(-2)). Is a >= i?
False
Let v be (2/(-2))/((-1)/(-1)). Let a be 574/(2 - (0/2)/(-3)). Let m = a + -6026/21. Is m > v?
True
Let c be 21/(-4) - 1/(-4). Let g(t) = t**2 - 8*t + 1. Let s = -16 + 23. Let i be g(s). Which is bigger: c or i?
c
Suppose 2*w + q + 29 = 7*w, 2*w = 3*q + 9. Suppose -2*o = -