- -74. Which is greater: h or -1.9?
h
Let x be (268/(-12) - 3)*-3. Let f = 3181 + -3103. Does x = f?
False
Let n = -49 + -5. Let q be (-42)/98 + n/21. Is -10/3 not equal to q?
True
Let q = -0.01 + 0.41. Let o = 3305.8 - 3718. Let i = -412 - o. Is q at least i?
True
Suppose -6 + 19 = 3*r - 4*t, -4*t - 11 = -5*r. Let a be 2 - (-1)/(14/(-27)). Which is smaller: r or a?
r
Let h be 4/9*9/2. Let z be (2/14)/((-21)/(-161)). Is h bigger than z?
True
Let c = 49163/9 - 5466. Which is smaller: -2/9 or c?
c
Let p = -333392375/3244 - -102772. Is -1 < p?
True
Let h = 924756/5 + -185630. Which is smaller: h or -678?
h
Let p = 3565/2 + -4926837/2764. Which is greater: p or 0?
0
Let u be (-15)/(-11 + -4)*-2. Which is greater: -264 or u?
u
Let w be (1 + -1)/(-5 - 0). Let s = -23.64 - -23.7. Which is smaller: w or s?
w
Let z be (-1)/(6/30) + 12/(-4) + -1037. Which is smaller: -1043 or z?
z
Let j = -243.1 - -243. Is 2313 less than or equal to j?
False
Let b be 2/15*20/6. Let u = b + -38/45. Let y = 37 - 39. Which is smaller: u or y?
y
Suppose 5*i = 5*n - 605, -6*n + 2*n + 480 = -3*i. Suppose 0 = -18*p + 531 + n. Let v be 5 - 7 - (p/20 + -3). Which is bigger: 0 or v?
0
Let d = -87 - -93. Let p = 1488 + -1477. Which is bigger: p or d?
p
Suppose -5*h = -y + 6*y, 0 = 3*h - 4*y + 7. Let v be ((-35)/490)/(h/(-4)). Suppose 4*d + 4*z = 28, d + z = -2*d + 13. Which is bigger: v or d?
d
Let q = 3320 + -9967/3. Are -5 and q unequal?
True
Let s = 745 - 743. Let d be (-27 + 30)*s/(-2). Are 6 and d equal?
False
Let i be -3 - 5 - (-20 + -6). Suppose 2*w = 5*h - i, 6*w + h - 9 = w. Which is smaller: w or 28?
w
Let w = -0.303 - -1354.303. Is -0.1 < w?
True
Let v = 75.98 + -76.98. Which is smaller: v or -0.322?
v
Suppose -19*m + 11*m + 4032 = 0. Suppose b + 4*a - 6*a = -96, 0 = -5*b - 2*a - m. Which is smaller: -103 or b?
-103
Suppose 0*n - 2*w = 4*n - 20, 0 = 2*w - 8. Suppose 18 = -n*v - 159. Which is bigger: -60 or v?
v
Let i(h) = 26*h**2 + 7*h - 50. Let w be i(9). Let o = 561536/265 - w. Is o at most 1?
True
Let n = 2183/4180 + -28/55. Suppose 3*w = 8*w + 4*q - 12, 0 = -3*q + 9. Is n bigger than w?
True
Let r be 1*40*1 - (2 - 1). Let j(p) = 4*p**2 - p. Let k be j(-3). Do k and r have the same value?
True
Let k(h) = -179*h**2 + 23*h + 63. Let p be k(-3). Which is bigger: p or -1615?
-1615
Let q be (411/274)/((-6)/4). Let s(r) = 6*r + 4. Let z be s(4). Which is smaller: z or q?
q
Let o be 20/((-147)/(-27) + (-80)/16). Is 41 at least as big as o?
False
Suppose 5*o - 16*o + 110 = 0. Let k be -1 - -14*1/o. Is k at most 225?
True
Suppose 0 = 4*o + 259 - 335. Let y = 0 + 1. Let q be o/(-10) + ((-9)/(-6))/y. Is q at most as big as 1?
True
Suppose -5*o = d - 11, 4*o + 4*d - 5 = 7. Suppose -t = 3*w - 25, 2*t + 22 = -o*w + 4*w. Which is greater: 8 or w?
w
Let y = -24597.9 - -24598. Is y < 3955?
True
Let t = 20 - -79. Let z = t - 122. Let h = z + 23.15. Which is bigger: -2 or h?
h
Let n = 804.8 + 460.2. Are -1 and n nonequal?
True
Let g = -71 + 42. Let w be (-1*(-2)/4)/(g/8990). Is -155 at least w?
True
Let m be ((-6)/(-8))/((-6)/(-37)). Let y = -0.12024 - -0.22024. Does m = y?
False
Let i(v) = 5*v - 30. Let b be 189/14*2/(-3). Let w be (4/3)/((-2)/b). Let x be i(w). Which is smaller: 2/71 or x?
x
Let h(w) = 2*w + 64. Let r be (-225)/20 - (-1 - 6/(-8)). Let d(j) = j + 32. Let q(x) = r*d(x) + 6*h(x). Let z be q(-20). Is z less than 13?
True
Let g be 495/(-420) + (-3)/12*1. Suppose f + 5 = -b, 5*f = -b - 6 - 15. Which is smaller: b or g?
g
Suppose 314 = -16*w + 173*w. Which is greater: w or 0.0932?
w
Let a = 8442 + -15384. Is -3 < a?
False
Suppose -m - 2*q - 4 = 0, 2*m + 4*q - 2*q + 4 = 0. Is m bigger than 9/1784?
False
Let x be 15*760/(-50)*6/(-8). Suppose 2*r = 29 + x. Let l be r/12*(-8)/(-10). Is 6 less than or equal to l?
True
Let u(o) = -o**2 - 18*o + 73. Let v be u(-20). Let i be 29 - ((-16)/7 - 4/(-14)). Which is greater: i or v?
v
Let d be (-266)/10 - ((-6)/10 - -1). Let b = -1 - d. Let k = b - 46. Are -2/7 and k non-equal?
True
Let l(b) = -b + 18. Let v be l(14). Suppose -3*n - 2*n = v*x - 12, 0 = -4*n + x - 3. Let z = -90689/89 - -1019. Which is smaller: z or n?
n
Let n = -768101947834364/12901 + 59538171340. Let g = -6/1843 + n. Which is greater: 47 or g?
g
Let g = -308 + 298. Let o be 19/(-4) - -10*g/(-25). Which is greater: o or 0?
0
Let j = 79.7915 + 0.2085. Which is bigger: j or 3/17?
j
Let r = -170.25 + 40.25. Is -15 > r?
True
Let d be -2 - (-59)/((-5)/((-64530)/(-5033))). Let v = 98/719 - d. Let o = v - 153. Is 0 < o?
True
Suppose -7*a = -4*d - 12*a + 29435, 0 = 5*d + 5*a - 36800. Is d greater than or equal to 7365?
True
Let r be ((-71)/(-4) - 0)/(140/2800). Let x = -376 + r. Which is greater: -25 or x?
x
Let t = 571599 - 571633. Let f be -1 - -3*(-68)/6. Is f <= t?
True
Let t = -644 - -640. Let m be 3*(-11 + t + -2) - 4. Is -55 > m?
False
Let r be (-24)/405*(7 - 68/8). Which is smaller: r or 1/46?
1/46
Let p = 9698 - 9200. Which is greater: -10 or p?
p
Let s = -2425/13 + 499381/2678. Is s < 1?
True
Let h be 1*(0 - -1)*0. Suppose h*v + v - 9 = 0. Let k be (4/(-12))/((-27)/729). Do k and v have different values?
False
Let c(g) = -271*g + 3271. Let i be c(8). Which is bigger: 1104 or i?
1104
Let k = -706/3 - -22591/96. Let d be (-1 + (2 - -1))/1. Suppose d*i = 4*u + 12, 2*u + 6 + 0 = 0. Which is smaller: i or k?
k
Suppose -4*d + 46 = -3*u, -4*u - u = -3*d + 73. Let f be (-1*5)/((u/(-4))/(-7)). Let v be ((-4)/10 + 0)*f. Is v < -1?
True
Let i be 2 - ((-9595)/(-7680) - 18/(-24)). Is 0.05 < i?
False
Let w be 88/8 + 102/(-17). Which is bigger: 189/31 or w?
189/31
Suppose 4 = -3*r - 4*y, 5*r + 2*y - 1 = 3*y. Let m(g) = -g**3 + 2*g**2 - 2*g - 7. Let o be m(-5). Let l be 182/o - (-4)/(-4). Which is bigger: r or l?
l
Let p(b) = 64*b + 5087. Let f be p(-80). Which is greater: f or 5/9?
5/9
Suppose 3*o - 415 - 428 = 5*y, 5*o - 1418 = 4*y. Which is smaller: 295 or o?
o
Let u = -45 + 75. Suppose 9*h - u = 4*h. Suppose h*l + 17 = 2*m + l, 0 = 4*l + 20. Is m smaller than -3?
True
Let o be ((-64)/(-20))/((-5)/(-100)). Suppose -64*v + 415 = -3873. Which is smaller: o or v?
o
Let p = -314.04 + -1.96. Let h = -320 - p. Does -0.66 = h?
False
Suppose -o = 31*o - 704. Suppose 3*x = -2*j - 3 - 9, 2*x + 8 = -4*j. Suppose j - 63 = -3*p. Which is smaller: p or o?
p
Let i = 54 - 61. Let c be (i/7)/((-44)/(-8)). Which is smaller: c or -26?
-26
Suppose -2*n - y = 1365, n + 148*y - 151*y = -672. Is n != -681?
False
Let w be (-4733 - -4) + 1 + -5 + (-3 - -10). Which is greater: -4727 or w?
w
Suppose -5*d - 4*t = 12513, d - 4*t = -2448 - 93. Which is smaller: d or -2513?
-2513
Suppose 18 = 118*q - 115*q. Suppose -q = -3*u, -d = 4*d + 4*u + 97. Which is greater: d or -3/5?
-3/5
Let d = -5116 - -5115. Which is greater: d or -2/2209?
-2/2209
Suppose 3*x - 38 = -0*x + 2*r, 4*r + 4 = 0. Let m be (-15)/(-6)*(-912)/(-60). Suppose 2*w - 8*d = -3*d + m, 4*d = -4*w + 48. Which is smaller: w or x?
x
Let i = 0.00619 - -0.15381. Let t = -0.03 - 1.97. Let z = -1.8 - t. Which is smaller: z or i?
i
Let w be ((-6)/(-4))/((-66)/308) + (12 - 5). Which is greater: w or 7/45?
7/45
Let z = -0.0526 + 55.1226. Let m = -55.8 + z. Which is smaller: 2/5 or m?
m
Let n = -34563 + 36586. Which is smaller: n or 1?
1
Let s be (-4428)/(-15) - (12/10 - 1). Suppose s + 41 = -16*k. Is -144/7 > k?
True
Let d = 21.5 + -1515.5. Is d at most 0?
True
Let z = 1/144 - 325/144. Is z >= -2.7?
True
Let d = 74 + -63. Suppose 0 = -d*w + 14*w + 15. Is -5 bigger than w?
False
Let d be (26 + -20)*(-110)/(-15410). Is d != 0?
True
Let l = -15695 - -16531. Do l and 845 have different values?
True
Let a be (-21)/(-6)*(0 + -1*2). Let n be 1*a - (-47)/7. Let h = 1 + -0.7. Which is greater: h or n?
h
Suppose g - 60 = 52. Suppose 48*u = 27*u + 2331. Is g < u?
False
Let w = 165.79 + 2.21. Let c = -171 + w. Which is bigger: 1.4 or c?
1.4
Let p = -12720 + 12722.25. Which is smaller: 1/4 or p?
1/4
Let g = -1533/2 - -785. Let v be (-108)/198 - 10455/11. Let h = v + 971. Which is smaller: h or g?
g
Let a = -3 - -2. Let v be 2/(-4) - (-411)/(-212). Let n = 10/53 + v. Which is smaller: n or a?
n
Let u = 24.13 + -1.29. Let j = u - -1.16. Is -1 at least as big as j?
False
Suppose -2*l - 5*s + 274 = -5*l, 0 = -2*s - 8. Let r(m) = -97*m**3 - 3*m**2 + 9*m - 6. Let g be r(1)