 z?
0
Let g = -268/5 - -55. Let f(j) = j**2 - 6*j - 4. Let m be f(7). Suppose m*c - 10*c = 0. Which is smaller: c or g?
c
Let u = 6.5 - 47.5. Let o = u + 40.9. Suppose b + 4*w = -b - 18, -3*w = 12. Which is smaller: b or o?
b
Let a = 320.4 + -294. Let d = -25 + a. Let y = 1.49 - d. Which is bigger: -1 or y?
y
Let h = 2.76 - 2.56. Are -2/99 and h nonequal?
True
Let i = 874 - 2645/3. Which is bigger: i or -7?
-7
Let s = -0.1 - -0.081. Let q = s + -19.981. Which is greater: q or -1?
-1
Suppose i - 57 = -4*q - 2, 2*i - 3*q = 154. Let f = i - 635/9. Which is smaller: 0 or f?
0
Let o = 9843/247 + -516/13. Is 1 equal to o?
False
Let n be ((-2)/(-5))/((-721)/35). Is -1 != n?
True
Suppose 29*g + 2628 = 20*g. Is -292 greater than g?
False
Let h = 237.54 - 240. Let j = h + 0.36. Let m = j - -11.1. Is 1/3 greater than or equal to m?
False
Suppose -9*a = 9 - 27. Suppose 0 = -4*d + 2*t - 2, -2 = 3*d - 2*d - a*t. Is d smaller than 4/3?
True
Let s = 327 - 231. Is s less than 97?
True
Let f be (-2)/(-4) + (-189)/18. Let d = 1/243 - 2269/243. Which is smaller: d or f?
f
Let d = -554102 - -47098107/85. Let s = 34/5 + d. Which is greater: s or 0?
s
Let x be (1077/(-180) - -3) + 3. Let u(y) = 7*y + 49. Let w be u(-7). Is x less than w?
False
Let c = -364195187/549 + 663379. Let r = -2/183 + c. Is 1 greater than r?
True
Suppose 113 = -5*l + 4*x - 0*x, -5*l - x - 103 = 0. Suppose 0 = -2*k - 0*k - 44. Is k smaller than l?
True
Let r = -94 + 86. Which is smaller: -4/13 or r?
r
Suppose 5*p = 4*p - 3*y + 9, -2*y = 4*p - 16. Which is greater: p or 7?
7
Let i = 0.533 - 22.633. Let n = -21 - i. Let u = n + -1. Which is smaller: u or -1/11?
-1/11
Let o be 1/((-21)/(-1153)) - 2/(-21). Which is smaller: 53 or o?
53
Suppose 0*d = -4*d - 72. Let n = -16 - d. Suppose -5*p - 91 = n*f + f, 2*p + 3*f = -40. Do -18 and p have different values?
True
Let k be (-12)/48 + 15/(-4). Let f be k/12 - (-8)/6. Which is greater: f or -12?
f
Let s = 4 - 54. Let p = 51 + s. Is 4/21 greater than p?
False
Let l be (-24)/5*(16 + -6). Let z = l - -34. Let n be (z + 11)*1/(-3). Is n smaller than 1?
False
Suppose -54*b = -43*b - 55. Are -11 and b equal?
False
Suppose 0*x - 4*n = -3*x - 719, 4*x - 5*n + 959 = 0. Is x <= -241?
True
Let s = 5 + -1. Suppose -s*g + 110 = -5*w - 43, -w - 207 = -5*g. Let d be 0 + 45/g + -1. Do d and 0 have different values?
True
Let j be 68/(-16)*(-1)/1. Suppose -4*w + 153 = 81. Suppose -5*c + 3*y + w = 0, c + 4*c - y = 16. Are c and j unequal?
True
Let n be (35 + -34)*(-2 - -1). Which is smaller: n or 2/715?
n
Let g = -596/7 + 950/7. Let v = -3852/77 + g. Is 1 <= v?
False
Let b be (-42644)/(-190) - 2/(-5). Let s = b + -225. Let z(p) = -p**2 + 17*p + 84. Let l be z(21). Which is smaller: s or l?
s
Let h(a) = 339*a + 1. Let n be h(-5). Let x be (-1)/(-1) + n/42. Let b = x - -40. Which is smaller: b or -2?
-2
Suppose 4*f - 10 = -2. Suppose -3*l - 2 = -f*l - 3*y, 0 = 3*l + 2*y + 6. Suppose -5*u - 2 - 18 = 0. Is u at most l?
True
Let d be 24/(-20)*(-10)/4. Let u(r) = -18*r + 4. Let l be u(-2). Suppose c + d*c = l. Which is bigger: c or 9?
c
Suppose 5*w - 5 = 3*x + 2, -5*w + 14 = 4*x. Let j be x + (3 - -3) + -3. Do j and -1 have the same value?
False
Let s = 196 - 196. Is s smaller than -13/33?
False
Let b be ((-11)/77)/(12/14). Let m = -0.01 + -0.49. Let k = 0.5 - m. Is k >= b?
True
Let h be (-2)/(-2)*(-50 - -132). Is h > 83?
False
Let d(h) = 2*h**3 - 5*h**2 - 2*h - 1. Let p be d(3). Suppose -5*f = -4*x + 39, 27 = -4*f - 3*x + p. Is -5 < f?
False
Let v = 510.7 + -510. Let y = 68/3 + -22. Which is smaller: y or v?
y
Let i = 588 + -586.882. Let r = -0.018 + i. Does r = 0.2?
False
Let l(m) = m**2 - 2*m - 3. Let f be l(3). Let d = -16183/10 - -1617. Let t = -19/30 - d. Are f and t non-equal?
True
Let c = 83 + -101. Let n be ((-4)/(-3))/((-60)/c). Which is greater: n or -3/25?
n
Let w(h) = -h**2 - 6*h - 1. Let c be w(-5). Let v(u) = 2*u**2 - 34*u + 114. Let m be v(12). Let a be ((-2)/c)/(3/m). Which is bigger: a or 10/7?
10/7
Let y be -22 + (4 + -19)/(-5). Suppose -q = 4*q + 85. Which is greater: y or q?
q
Let d = -0.033 - -108.033. Let o = d + -107.4. Which is smaller: 0.02 or o?
0.02
Let f be 9/(-21) + (-663)/(-273). Let d = 2 + -1. Which is smaller: d or f?
d
Suppose 3*w - 27*p - 7 = -29*p, 0 = -w - 2*p + 5. Which is smaller: -1/299 or w?
-1/299
Let p = 463.8736 + 0.1264. Are -0.1 and p unequal?
True
Let x = 5.2 - -1.9. Let j = x - -0.9. Let c = 8.1 - j. Which is smaller: c or 0?
0
Let h be 1 - (6/24 + 118/8). Let j(s) = s**2 + 10*s + 12. Let t be j(-8). Let c be t/h*14/6. Is c <= 1/3?
False
Let w be 0/((-2 + 3)*-1). Let f = -72 - -71. Which is greater: w or f?
w
Let r = -32 + 37. Let k be (8/r - 2)*45/513. Let n = -3/8 + 1/8. Is n <= k?
True
Let n be ((-5120)/(-6))/(690/1620). Let h = n - 2004. Is -1 less than h?
True
Let n(t) = -t + 21. Let d be n(13). Let i be 2*(12/d + -2). Is 2/65 at most i?
False
Suppose -24*o = -3 + 243. Which is smaller: o or -7?
o
Suppose -i + 7 = -0*i. Let d(k) = k**3 - 2*k**2 - 3*k - 4. Let a be d(3). Let m be 65/9 + a/18. Is m smaller than i?
False
Suppose 0 = -5*w + 16 - 11. Let n be ((-254)/250 - -2) + -1. Is n at least as big as w?
False
Let z = 0.069 - 0.108. Let f = z - 0.161. Let p = 8.12 - 0.12. Is f less than or equal to p?
True
Let f(c) = -c**2 + 4*c - 5. Let d be f(5). Let m be d/(-50) + (-18)/(-10). Let w(b) = b**3 - b**2 + b + 3. Let j be w(m). Is 9 at most as big as j?
True
Let m = -398/15 + 67/10. Let n = -953/48 - m. Which is greater: n or 1?
1
Let b = -7 + 5. Let w be ((-10)/15)/(b/3). Do w and 1 have the same value?
True
Let p(l) be the first derivative of -l**4/2 + 2*l**3 - 2*l**2 - 6. Let f be p(4). Does f = -49?
False
Let g be (-11)/(4554/15)*14/10. Which is smaller: g or 0?
g
Let l = -83 - -86. Suppose -j = -0*j - l*x - 2, j + 4*x - 2 = 0. Is j greater than or equal to 20/9?
False
Let u(d) = d**3 - d**2 + 3*d + 2023. Let s be u(0). Is s at least 2023?
True
Let z = -42 + 45. Suppose 0 = 2*t + 2*y - 16, 4*t = z*y - 1 + 5. Are -2 and t nonequal?
True
Suppose 14 = 3*o + 8. Suppose -o*d + 15 - 19 = 0. Is d less than -12/5?
False
Let l = -3 - 6. Let q be (3/(-2))/(l/(-12)). Let j(k) = -k**2 - 8*k - 3. Let x be j(0). Is q <= x?
False
Let g be ((-24)/(-7))/(42/(-294)). Which is bigger: g or -16?
-16
Let i be 196/(-14) - (1 + 0). Let v be 15*((-54)/i + -4). Let t be 6*(-2)/v*-7. Which is smaller: t or -13?
t
Let p = 106 + -106. Which is greater: p or -2/209?
p
Let j be (-8)/(-3*(-6)/(-36)). Suppose -3*a + 75 = 4*z, -72 - 13 = -5*z + 5*a. Is z >= j?
True
Let w be ((-3)/5)/(2323/(-460)*12). Let y be (-2)/(-4)*(1 - 1). Which is smaller: w or y?
y
Suppose 35*o = 32*o + 15. Suppose i - 3*i + 12 = 0. Is i > o?
True
Let k = -132 + 124. Let m be (-12)/16 - 14/k. Is -4/13 equal to m?
False
Let j(o) = o**3 - o**2 - o - 14. Let q be j(0). Let m be (-34)/(-3)*6/(-4). Let w = m - q. Which is bigger: -14/9 or w?
-14/9
Suppose 132*a + 4200 = 48*a. Which is greater: -244/5 or a?
-244/5
Let a(h) = h**3 - 28*h**2 + 34*h + 60. Let j be a(27). Is 249 greater than j?
False
Suppose 5*a - 2*a + 3*g = -12, -2*g - 14 = 3*a. Which is greater: 4 or a?
4
Let r = 31 - 27. Let q be (7/14)/(2/r). Is 2/31 bigger than q?
False
Let m be (-34)/(-138) + (-2)/6. Let d(l) = 61*l**2 + 2*l. Let g be d(1). Let q = -62 + g. Which is smaller: q or m?
m
Suppose 0 = q - l + 15, -7*l + 46 = -3*q - 5*l. Which is bigger: -11 or q?
-11
Let r(d) = -2*d**2 - 8*d + 14. Let z be r(-5). Let c be (2/z)/((-8)/368). Which is greater: c or -25?
c
Let o be (-8)/(-20) + 3/(-20). Let n be ((-204)/36)/((-1)/3). Let j = 17 - n. Which is greater: j or o?
o
Let q be 9/(-15) + (-566)/(-10). Let f be 552/q - 2/(-14). Let y be 6*(-1 + f/11). Which is smaller: y or -2?
-2
Let l(s) = s**2 + 5*s + 3. Let j be l(-6). Let t be (-3 - 372/(-28)) + 4/(-14). Which is smaller: j or t?
j
Let c = -115 - -122. Which is smaller: c or -0.2?
-0.2
Let j = 1651 - 1652. Which is bigger: j or 0.084?
0.084
Let m = 0.65 + -0.85. Suppose 3*q + 0*d = d + 12, 5*q - 37 = -4*d. Suppose s - q*s = -40. Which is greater: s or m?
s
Let v be -3*(14/63)/(-1). Is -107 equal to v?
False
Let v be 3/12*4*1. Let k = 283 - 10751/38. Which is smaller: k or v?
k
Let c be 4/(140/(-1171))*-1. Let g = -244/7 + c. Suppose 3*y + y = -4. Is g equal