 be h(-7). Let q be 3*(4 - 18)/1. Is q != f?
True
Let f = 194096340/1193 - 162696. Which is bigger: 1 or f?
1
Let y = 240 + -3124/13. Suppose 0 = 2*j + j + 2*j. Is j at least y?
True
Suppose 2352 = -5*t + 2327. Which is bigger: t or -300/59?
t
Let a = 4019/3 - 17631356/13161. Which is smaller: a or -1?
-1
Let c = -23211 + 104287025/4493. Do -1 and c have different values?
True
Let i = 22.4214 + 0.5786. Is i smaller than -4?
False
Suppose 4*z + 25 = 5*z. Suppose 0 = 4*m - z - 35. Suppose -16*x + 6 = -m*x. Is 6 less than x?
False
Let t = -1998 - -2097.9. Let x = -7643 - -7743. Let m = t - x. Are 5.8 and m nonequal?
True
Let j be ((-105)/154 + 1)*(-64)/112. Let p = -1 - -1. Is p equal to j?
False
Let x be (-876)/198 + 6/33. Which is bigger: x or -3?
-3
Suppose 71*s = 69*s - 66. Let f be 2 - (0 + 1/(-1)). Suppose -3*y - 4*z + 5*z - 100 = 0, 4*y + 129 = -f*z. Is s at most y?
True
Let h(j) = 20*j**2 - 454*j + 38. Let s be h(28). Which is smaller: s or 3005?
3005
Let a be 4/30 + 3927/(-8190). Is 0.1 != a?
True
Let c be 2*4/(-72)*3*-18. Let m = -5 - -7. Suppose -k - 4 = u + k, 2*k = -m*u. Are c and u non-equal?
True
Let c = 75941/9204 - 2/2301. Let b = 289/36 - c. Which is bigger: b or -2/35?
-2/35
Let n = 374/71 - -496266/355. Is n smaller than 1403?
False
Let h = -1688 - -1099. Does 2 = h?
False
Let z be ((-8)/(-100))/((-1264)/2449). Which is greater: -1 or z?
z
Suppose -27 = 4*h - h + 3*w, 0 = 3*h - 5*w + 11. Let d be (h - 65/(-10))/(2/24). Let z(a) = -a**2 - a. Let k be z(-3). Is k <= d?
True
Let s be 115/35 - 6/21. Let o be 0 + (-6)/(-980)*(-4)/s. Let n(i) = i - 9. Let x be n(10). Is o at least as big as x?
False
Let p = -32 + 31.92. Let d = -0.08 - p. Let v = 505.58 + -506. Which is bigger: v or d?
d
Let k be (-17)/(884/(-169))*-4. Is -27/2 at most as big as k?
True
Let v(o) = -10*o**3 + 4*o**2 - 4*o - 4. Let n be v(3). Let t = n - -1741/7. Is t != -2?
True
Let t(k) = 2*k**2 + k - 36. Let s be t(7). Suppose y + 5*c = 3*y - s, -3 = -3*c. Which is smaller: 41 or y?
y
Let l be (-23)/(-3 - (1 + -3)). Let u = 49 + -31. Suppose -j - l = -u. Which is smaller: -4 or j?
j
Let x(s) = s**2 + 87*s - 1. Let i be x(0). Let v be (4/18)/((-38)/(-3)). Which is smaller: v or i?
i
Let h(a) = -a**3 - 3*a**2 + 75*a + 284. Let q be h(-4). Which is smaller: -1/7094 or q?
-1/7094
Suppose -3*i = -3*r - 819, 2*r - 622 = -4*i + 428. Let p(v) = 10*v**3 - 3. Let n be p(3). Is i greater than or equal to n?
False
Let p be (1/(-1))/((-4)/(-24)) + 82. Which is bigger: p or 77?
77
Suppose n + 307 = 5*v, 2*n + 20*v + 569 = 21*v. Let q be n/469 - (-28)/49. Which is greater: q or -1?
q
Let s(d) = 4*d**2 + 11*d - 11. Let f be 140/14 + (2 - 0). Let w be s(f). Let z = w + -4171/6. Which is bigger: 2 or z?
2
Let m be -18*1/((-4)/10). Let q = -46 + 88. Suppose -q*c = -m*c - 6. Are c and -8 equal?
False
Let a = -685.025 + -15.975. Is a < 5?
True
Let t = -5.158 + 4.258. Which is smaller: t or 44?
t
Let m(n) = -2*n**3 + 14*n**2 - 15*n + 247. Let c be m(8). Let q(j) = -33*j**2 - 1. Let k be q(1). Let z be (35/14)/(k/4). Is c > z?
False
Let c(g) = -6*g - 112. Let v be c(0). Suppose 427 = 19*w + 2327. Let x = -213 - w. Is x bigger than v?
False
Let c = -545 + 4365/8. Let x = -5.89 + -1.11. Which is bigger: x or c?
c
Let t = -24897 + 25598. Is t less than 718?
True
Let k be (2 - 26/14)/(-1) - 351434/231238. Which is greater: k or -2?
k
Let x = -22 - -23.6. Let i = -1.96 + x. Let q = -0.64 + i. Which is smaller: 2/5 or q?
q
Let b be (22 + -10)/(-2 - 13/(-2)). Let o = -14 + 11. Let u be 3/(4*o/(-12)). Which is smaller: b or u?
b
Let n = 2994 + -3062. Is -61 <= n?
False
Suppose 0*m + m = -4*x - 11, 2*x + 11 = 5*m. Let r = -58 + -41. Let g be (840/r)/(-4) + (-12)/18. Which is smaller: g or m?
m
Suppose 0 = 1001*t - 1006*t - 625. Which is bigger: t or -126?
t
Let i(c) = -16*c**3 - 5*c**2 + 7*c - 12. Let t be i(4). Let v be 3/(-36)*t/(-24). Is v greater than or equal to 0?
False
Suppose z = -2*t - 3, 57*t + z + 3 = 54*t. Is t equal to -3/673?
False
Let w = 5049 + -5331. Which is bigger: -280 or w?
-280
Let c(w) = 2 - 3*w + 0 - w**2 + 2 + 0*w. Let r(h) = -4*h + 51. Let d be r(14). Let a be c(d). Which is bigger: -27/4 or a?
a
Let z = 1103/969 - -1/51. Let u = 465/418 - z. Suppose -3 + 11 = -8*h. Which is smaller: u or h?
h
Let i be (-40)/48 + 994/12. Let x = i + -106. Are x and 0 unequal?
True
Let y(n) = -106*n**2 + 23*n - 44 - 107*n**2 + 206*n**2. Let u be y(2). Which is smaller: -25 or u?
u
Let q = 343/7030 + -2/37. Let b = q - -193/570. Is b at least -4/111?
True
Let k = 1888.4 - 1889.2. Which is smaller: -117 or k?
-117
Let b = 2 + 7. Let s be -3 + b*(-27)/(-111). Let d = s - -365/222. Which is smaller: 0 or d?
0
Let p = 4.48 - -0.42. Let v be (9/(-63))/((-2)/14). Is v greater than p?
False
Let p(m) = m**2 + 9*m - 18. Suppose 23 = -3*k - 10. Let w be p(k). Suppose -3*b + 5 = y, 0*b + w = 2*b. Which is bigger: -3/23 or y?
-3/23
Let j be 1/(8/4028) - (-1)/(-2). Is j at least 2521/5?
False
Let l = 92 + -95. Let p = l + 45. Let q = p - 42.01. Which is bigger: q or 1?
1
Suppose 25 = 63*p - 68*p, -c - 127 = 4*p. Which is bigger: c or -106?
-106
Let s be (325/(-7540))/(1/(-44)). Let m = -961/319 - s. Is m less than or equal to -6?
False
Suppose 5 = -4*d + 5*k + 62, 16 = d - 3*k. Is 31 at least d?
True
Let q be -99 + 101 - 10275/(-5). Which is smaller: q or 2058?
q
Let u be (6/(-7))/(2/(-14)). Suppose 4 = 2*q - u. Suppose -3*s = -12, 301*f + s = 297*f + 20. Is f > q?
False
Suppose -4*a + 93 = 9. Let q = 3 - -82.1. Let g = -84.1 + q. Which is smaller: a or g?
g
Suppose v = 2*t - 12, -5*t = -v - 7 - 5. Let b = -180/23 - 319/115. Which is smaller: b or v?
v
Let u be 5/90*2*(6 + 573188/(-95529)). Which is greater: u or 0?
0
Let x = -9936 + 10113. Which is bigger: 154 or x?
x
Let r be ((-40)/60)/((-6)/33). Which is smaller: r or 4?
r
Suppose 41 - 143 - 262 = 26*a. Let j = -9 + 13. Let w be (-6)/(2*j/18). Which is greater: a or w?
w
Suppose -2*g - 6*u - 16 = -2*u, -g + 5*u = -20. Suppose 0 = -s - 4*m + 5 - 15, m + 4 = 0. Suppose -14*o + 16*o + s = g. Are -6 and o nonequal?
True
Let w be 8 - ((-209)/(-38) - -4). Is -119 at most as big as w?
True
Let b(u) = 15*u**2 + 298*u + 22. Let k be b(-21). Is 2655/7 at most k?
False
Suppose -3*h + 2 = 4*u - 2*h, 0 = 2*h - 4. Suppose -3*i + 12*i - 54 = u. Let d(l) = -l**2 + 8*l - 2. Let f be d(i). Is f greater than 9?
True
Let p be (-9 - 286800/(-31866))/1. Which is smaller: 0 or p?
0
Suppose -6*c = -9*c + 18. Suppose -3*y + c*y = -2*q + 959, 5*y - 1603 = -q. Which is bigger: y or 320?
y
Let x be 4223/(-1442) + 3/(-2). Which is bigger: x or -7?
x
Let h be (352/60)/2 + 22/330. Is -3.26 greater than or equal to h?
False
Let j = 122835.851 + -123080. Let p = j + 244. Let r = 0.449 + p. Is r less than or equal to 14?
True
Let u(a) = 25*a**3 + 2*a + 2. Let h be u(-1). Let p = -89 - -88. Let l be -24 + p*1 + 0 + 0. Is l != h?
False
Let g(i) = i**2 - 24*i - 100. Suppose -30*j + 31*j = -5*c + 48, -80 = -3*j + c. Let t be g(j). Which is greater: t or 107/9?
t
Suppose -8*v = -24 - 8. Let x be v/(-3)*1/((-24)/18). Is 2/753 greater than x?
False
Let h(a) = a**2 + 8*a + 5. Let s be h(-4). Suppose 9*u - 13*u = 14*u + 198. Is s at most u?
True
Let w(m) = -m**3 + 16*m**2 - 2*m + 21. Suppose 64 = 4*n - 3*l, 5*l = n + 4*n - 80. Let k be w(n). Let b be 5/10*(-16)/k. Which is bigger: b or 0?
b
Let o(x) = -x + 13. Let t be o(10). Suppose 0 = -2*c + 1 - t. Let b = -407/168 - 13/168. Which is smaller: b or c?
b
Suppose -3*p + v + 10 = 0, -4*p - 1 + 11 = -2*v. Let i be (2 - p)*6/22. Is i < 0?
True
Let a be (418/220)/(51/(-24) - -2)*130. Are -1976 and a unequal?
False
Let b(y) = -y**2 + 80*y + 3728. Let s be b(113). Are s and -13/704 non-equal?
True
Let y = 661.71 + -669. Let h = 4.29 + y. Is h >= -0.06?
False
Let m = 0.728 - 1.728. Which is smaller: -1744 or m?
-1744
Let o(v) = -20*v + 11. Let i be o(1). Let b be -22*3/i - 7. Which is bigger: 49 or b?
49
Let l(x) = -x**3 + x**2 - x. Let u(z) = 6*z**3 - 9*z**2 + 11*z. Let i(p) = -5*l(p) - u(p). Let v be i(4). Let r = -4606 - -4582. Is v at least r?
True
Suppose -4 = 2*t + 12. Let q(y) be the third derivative of y**5/60 - y**4/2 - 20*y**3/3 - 73*y**2. Let n be q(14). Is n >= t?
False
Suppose 0 = -35*i - 15*i + 115150. Do 2303 and i have the sam