ger: h or p?
p
Let k be (9 - 10)/(-1) - (3 + 0). Let j be k + 11/18 + 57/38. Which is bigger: j or 1?
1
Let w be 1/(-4)*2*0. Let t = -13818/17 + 813. Which is smaller: t or w?
w
Suppose l - 5*z = -3*l - 5, -2 = 2*l - 2*z. Let f be l + -1 + 144/81. Which is smaller: f or 1?
f
Let u = 207 - 105. Suppose z + u = 4*z. Is z < 34?
False
Let y(z) = 0 - 6 + 1 + z - 6*z. Let n be y(-5). Which is smaller: n or 77/4?
77/4
Let d be 4/(-8) - (-58)/4. Suppose -9*t = -2*t - 98. Let k = t - d. Which is bigger: -1/2 or k?
k
Suppose 0 = -6*u + 9 - 3. Which is bigger: u or 2/373?
u
Let k be (-2 - 4)*(-3)/(-9). Which is bigger: -1 or k?
-1
Let a = -4 - 0. Let y = 3 + a. Is 8 equal to y?
False
Let r be 26730/675 + (-6)/2. Which is smaller: r or 37?
r
Let i(b) = -b**3 + 2*b - 1. Let q = 9 - 11. Let x be i(q). Which is smaller: x or 8/5?
8/5
Let j be (-6)/(-3 + 2) - -3. Suppose -18 = 6*u - j*u. Which is greater: u or 5?
u
Let o = -9731 + 9731. Let t = -12.14 - -12. Is o smaller than t?
False
Let m(z) = 36*z**3 - 3*z**2 - z. Let w be m(-1). Is w > -10?
False
Let h = 11 + -6. Suppose h = -l + 4. Suppose 12*u = 7*u. Is l not equal to u?
True
Let t = -83.412 + -0.588. Which is greater: t or -2?
-2
Let w be (2/(-6))/((-198)/12). Suppose f + 3*f = 0. Which is bigger: f or w?
w
Let c = 295 + -288. Which is greater: c or 1/6?
c
Suppose 5*v + 18 = 3. Let m be (3 - (-18)/v) + 4. Let w be (-2)/(-15) + 0/(-3). Is m greater than w?
True
Suppose -2*o = -2*w, 2*w - w = -4*o - 15. Let n be (-6)/(-9) + 5/(-3). Let j = -1 - n. Which is bigger: o or j?
j
Let t = 15 - 16. Let j be (0 - t)*(-14 + 15). Which is smaller: 5/8 or j?
5/8
Let p = -100 - -94. Let o be ((-1)/p)/((-4)/((-72)/81)). Let r(t) = -t - 2. Let y be r(-3). Is o greater than y?
False
Let f = 40 - 6. Let p = f - 37. Let q(c) = c + 4. Let i be q(-6). Is p equal to i?
False
Let x(o) = -o**2 + o - 6. Let j be x(-7). Let n = j - -58. Which is smaller: -1 or n?
n
Let t be 36/81*(-3)/(-24)*-3. Which is greater: 3 or t?
3
Let l be (-1 - (-10)/(-6))/(320/288). Which is smaller: 3 or l?
l
Let o = -1608 - -1619. Let w = 1 + -2. Which is bigger: o or w?
o
Let l be (4 - 392/105)*350/(-12). Is l greater than -7?
False
Let y = -150 - -150. Let v(l) = -l + 1. Let n be v(y). Which is greater: n or -2/77?
n
Let y = -10 + 2. Let q = 109574/3 - 36533. Is q equal to y?
False
Let p(o) = o**2 - 20*o - 77. Let t be p(25). Is t greater than or equal to 48?
True
Let j = 96 - 61. Let w = j - 32. Suppose 0*c = 3*c + w. Is c != 2/7?
True
Let u be (-2054)/(-260) - (-3 - -5)/1. Which is smaller: 5 or u?
5
Let d(n) = n**3 + n**2 - 36*n - 35. Let x be d(-6). Which is greater: x or 292?
292
Let b = 83.4 + -82.3. Is b less than or equal to 4.3?
True
Suppose 2*k + k = 6. Suppose -6*s + k*s = -2*z + 32, s + 4 = 0. Is 12 equal to z?
False
Let o = 1.32 - 1.26. Is 5 greater than or equal to o?
True
Let p be (8/10)/(1 + (-6)/5). Let i be 6/((-3 - p) + 0/(-1)). Which is smaller: i or 8?
i
Suppose -5*r = 5*u + 15, 5*u + 2*r - 1 + 22 = 0. Let f be u/(-15)*2/(-29). Which is smaller: 1 or f?
f
Let h = 2510/7 - 359. Do -2/161 and h have the same value?
False
Suppose 0 = -12*g + 14*g - 16. Suppose 0 = 3*x + 4*q + g, -x + 8 = 3*x - 4*q. Which is smaller: x or -2/87?
-2/87
Let f(o) = 17*o**3 - o**2 + 11*o - 10. Let y be f(1). Which is smaller: 110/7 or y?
110/7
Let k = 20 + -16. Let a = k - 14. Is a less than -2/9?
True
Suppose -5*q + 3*q + 146 = 2*c, 195 = 3*q - 5*c. Let x = q - 62. Which is bigger: 17/2 or x?
17/2
Let o = -100 - -126.2. Let u = 3.8 + o. Let w = 18 - u. Is 1 bigger than w?
True
Let r(u) = 5*u - 12. Suppose -1 = b + n, 3*n + 28 = 3*b + 1. Let d be r(b). Is d at least 3?
True
Suppose p - 584 = -1490. Let s be p/(-42) - 8/14. Is s greater than 21?
False
Let h be (-5 + 33)*3/(-4). Let t = h - -21. Which is smaller: -3/5 or t?
-3/5
Let d be 24/(-45) + (6 - (-736)/(-120)). Which is smaller: -598 or d?
-598
Let m(j) = -17*j**2 + 2*j + 13. Let x = 8 + -13. Let g be m(x). Let c = g + 6749/16. Is 1 >= c?
True
Let t = 2059.2 + -2059. Let d = 8 + -41/5. Which is greater: t or d?
t
Suppose 115 = 20*f + 135. Suppose -2*g + 4*b + 14 = 0, 14 = 5*g - 3*b - 0. Let z = g - 1. Which is smaller: f or z?
f
Let r = -1/88 - 163/1144. Which is smaller: r or -2?
-2
Let k be (-215 - -2)*(-2)/3. Let o be (-4)/(-14) + k/(-350). Suppose -5*x + 5*l = 7*l + 4, 5*x - 10 = 5*l. Is o < x?
True
Let s(c) = c - 6. Let z be s(9). Let m = -45 - -185. Let n be (-72)/(-10) + 7/(m/(-4)). Are n and z non-equal?
True
Suppose 5*m + 32 = -2*j + 58, 2*j - 18 = -3*m. Which is smaller: 75/34 or j?
75/34
Suppose -3*k = 9*k - 180. Suppose 3 = t - 14. Is t less than k?
False
Let x be 1719/(-567) + 0 + 3. Let a = x - 59/126. Let d = -3351/17 - -197. Which is smaller: d or a?
a
Suppose -204 = -7*o + 4*o. Suppose -76 = -9*k + o. Suppose -y = 2*s + y + 16, s + 3*y = -k. Which is greater: -5 or s?
s
Let d be ((-175)/266)/5*4/1. Is d greater than -1?
True
Let k be (-1 - -8) + -3 + 2 - -1. Suppose 0 = -4*c - f + 111, f + 10 + 41 = 2*c. Suppose 0 = -g - 5*a + c, -5*g = a - 39. Do k and g have the same value?
True
Let d be 1/((1/(-2))/((-267)/(-6))). Let c = d - -91. Which is smaller: -31 or c?
-31
Suppose -j - 92 + 159 = 0. Is 68 at least as big as j?
True
Let a(r) = r**2 + 18*r - 24. Suppose -2*g + 5*m = 3*g - 285, -m + 273 = 5*g. Suppose -6*u - g = 59. Let b be a(u). Which is greater: b or -7?
b
Suppose -223*o + 235*o = -12. Let b = 2/149 + -479/2384. Which is smaller: b or o?
o
Let v be ((-2)/3)/(2/(-9)). Let x be v/2 - (-17)/(-14). Let o(k) = k**3 - 4*k**2 + k - 4. Let z be o(4). Is z greater than or equal to x?
False
Let p = -10.9 + -101.1. Which is smaller: p or 3?
p
Let m(d) = d**2 - 8*d + 2. Let p be m(8). Let o be p*((-2)/(-4) - -2). Suppose 2*y + 0*r + 19 = o*r, y - 5*r = -17. Which is smaller: -1 or y?
y
Let c = -28.61 + 0.61. Let p = -0.0444 + -27.6556. Let z = p - c. Which is bigger: 0 or z?
z
Let d = 2 - 1. Let y be (12/226)/(-5 - (-13 + 5)). Is d at most as big as y?
False
Suppose 0 = -4*g + 4*v - 139 + 15, 3*g + 53 = -5*v. Let f = 29 + g. Is 4 equal to f?
False
Let x(m) = m**2 - 1. Let r be x(1). Let n = 4 + r. Let k be ((-3)/4)/((-1)/n). Which is bigger: k or -0.2?
k
Let v = -572.23 - -593. Let s = 21 - v. Let z = -6.23 + s. Is z bigger than 2/3?
False
Suppose 3*t - 16 = 4*q, 0 = -2*q + 6*t - 8*t + 6. Which is smaller: q or -2/545?
q
Let d be (1/4)/((-1)/18). Suppose 0 = 5*b, -4*a = a + 3*b + 30. Is a at most as big as d?
True
Let a = -1.51 + 1.6. Let w = -1.148 + 0.848. Which is smaller: a or w?
w
Let c = -60 + 92. Let m be 48/c*(-4)/9. Let a = 5 + -4.4. Is a at least m?
True
Let y = -38153/5044 - -197/26. Is 0 less than y?
True
Let k be 18/9 - (-385)/(-185). Which is bigger: k or -1?
k
Suppose 7*a - 3*a = -2*p + 14, a - 1 = -3*p. Let f be (-12)/2*(-4)/6. Let z be 6/(-12)*2/f. Which is bigger: p or z?
z
Let u = 0.098 + -22.998. Let t = u - -24. Which is bigger: t or -0.3?
t
Let q(r) = r**3 + 11*r**2 + 27*r - 5. Let x be q(-7). Which is bigger: x or 22/9?
22/9
Let t(k) = -2*k - 14. Suppose 0 = -2*o + o. Suppose -7*q - 34 = -4*q - 4*j, 3*q - 2*j + 26 = o. Let y be t(q). Which is bigger: 2 or y?
2
Let w = -94 - -97. Suppose -w*r = -g + 8, 0 = -2*r + 7*r + g. Which is smaller: 0 or r?
r
Let p(q) = q**3 - 8*q**2 - 21*q + 9. Let r be p(10). Which is smaller: r or -12/47?
r
Suppose -6*w + 139 = 145. Which is smaller: w or 36/203?
w
Let p be (5 - (-1 - -3)) + (-7 - 1). Let v be p/(-10) + (-15)/18. Let g = -4 - -3. Are g and v equal?
False
Let x be (15/130)/((-54)/2792) + 6. Which is bigger: x or 0?
x
Let t = -68/1197 - -8/63. Is -1 greater than t?
False
Let r = 37 - 102. Let a = 1572 - 1572.1. Is a bigger than r?
True
Let p = -23 - -6. Let x = 323 - 322. Is p equal to x?
False
Let b = 25 - 20. Let f = -16.94 + 17. Which is greater: f or b?
b
Suppose 5*g + 29 = -5*r + 6*g, -r - 5*g = -15. Let q(k) = -33*k + 432. Let i be q(13). Which is greater: i or r?
i
Suppose 0*m + 10 = -2*m - 4*i, 2*m = i + 10. Let w be 16/(5/(-15)*m). Which is greater: -15 or w?
-15
Suppose 3*m + 3 = 3*u - u, 0 = 3*u + 3*m - 27. Suppose 2*h - 25 = -7. Let t be (h/u - 3)/21. Which is smaller: t or -1?
-1
Let d = -14 - 19. Let v = 32.62 + d. Let k = -0.3 - v. Is 0.1 smaller than k?
False
Let x = -3309/2 + 1655. Is 3/415 < x?
Tr