 is greater: h or w?
w
Let f = -5330221/106 - -50284. Which is bigger: 0 or f?
0
Let a = 1.33 + -1.287. Let d = 1133.043 - 1129. Let q = d - a. Which is smaller: q or -0.03?
-0.03
Let b be -125 + 307 + 3 + -2 + -4. Suppose -372 = -19*c + b. Is -1 bigger than c?
False
Let n be (-59)/399*1 + (-8)/(-56). Which is greater: n or -16?
n
Let x(u) = u**3 - 31*u**2 + 56*u + 67. Let o be x(29). Let q be -5*24/o*120/50. Is -3 bigger than q?
True
Let u(o) = o**2 + 5*o + 4. Let t be u(-3). Let b = t + 2. Let i be (-458)/(-10305) - (-52)/(-765). Is b < i?
False
Let m = 64 + -40. Let h be (m/(-15))/(14/15). Suppose 0 = 6*u + 12. Are h and u unequal?
True
Let h be 0*(-8)/(-224)*-7. Which is smaller: h or -18/601?
-18/601
Let y(j) = j**3 - 6*j**2 + 7*j - 7. Let n be y(5). Let b = 502 + -474. Suppose 23*v - 5*a + 30 = b*v, -5*v - 4*a + 30 = 0. Is v < n?
False
Let h be ((-50)/((-10)/2))/(1 + -3). Let o(q) = -3*q**2 - 11*q + 7. Let s(b) = b**2 + 5*b - 3. Let r(w) = h*s(w) - 2*o(w). Let m be r(6). Is m > 19?
False
Let r = -193.8 + 221. Let x = r + -27.5. Which is smaller: 28 or x?
x
Let q = -2.27 - -14.57. Let h = q - 12.2. Is h at most 12?
True
Let u be 24/2 - 131577/10980. Which is bigger: 48/5 or u?
48/5
Let t be 13/6*(594 - 3)*68/34. Is t equal to 2560?
False
Let l be (-2)/7 + (-422)/(-7). Let r(c) = c**2 - 45*c - 9. Let n be r(46). Suppose -1202 = -n*s + 1018. Is s smaller than l?
False
Suppose 0 = -y - 3*y - 3*u + 19, 0 = 3*y - 2*u - 10. Suppose 2*d - 3 = y*h + h, d = h + 3. Suppose -x + 4 = -d*w, 5*w = x - 0 - 5. Are -6/29 and x equal?
False
Suppose -156 = 4*x + 2*o, o = 5*x - 93 + 274. Let f = 40 + x. Suppose -5*p + f = 3*r - 20, 5*r = 2*p + 28. Which is greater: r or 2?
r
Let g = -1.48 - -1.246. Let b = g + 0.034. Is b at least as big as 26?
False
Let s be 1041/(-15) + 4/10. Let q(k) = 87*k - 155. Let y be q(1). Do s and y have the same value?
False
Let u(q) = -13*q**3 - 2*q**3 + 5*q**3 + 7*q**2 - 9 + 6*q + 9*q**3. Let y be u(-4). Is 143 >= y?
True
Let p(a) = 830*a + 3. Let v be p(3). Suppose -12*i - v = -13*i. Let u = 32391/13 - i. Which is greater: u or -1?
-1
Let o(v) = -v**3 + 17*v**2 - 50*v + 112. Let y be o(14). Suppose l + 3 = 5*p, -2*l - 1 = -3*p - 2. Let x = 3 - p. Which is smaller: x or y?
y
Let t be 46722708/(-27)*6/4. Let u = -9679388330/3729 - t. Let r = -2/339 + u. Which is smaller: r or -1?
-1
Let f = 0 - -1. Let n be ((-2)/f)/((-2)/(-5)). Let d = 76358 - 76360. Which is greater: d or n?
d
Suppose -106 = -5*a + 10*n - 9*n, 0 = -5*a + 2*n + 97. Is -10 > a?
False
Let y = -110 + -24. Let l be 2/(-4)*(2 + -3). Is l at most y?
False
Let t = 19 + -27. Let v be ((-12)/t)/((-55)/342). Let f = v + 48/5. Is f < -1?
False
Let y = -109723/5 + 21945. Is -0.144 at least y?
False
Let m be (-16 - -7 - 11) + (2 - -2). Let q be (-8)/(m/(-8)) + 24. Which is greater: 21 or q?
21
Let c be 14 - (-2 + 236)/18. Is 26/779 at most c?
True
Let d(k) = -911*k + 86. Let w be d(-2). Which is greater: w or 1909?
1909
Let f be (2176/(-51))/(-16)*(-33)/4. Which is smaller: f or -107/5?
f
Suppose -77 = 3*n - 83. Suppose 0 = n*b + 2*u - 8, -2*b - 2*b = -2*u - 10. Suppose 0 = -9*f - b - 6. Which is smaller: f or 1/24?
f
Let u = 60002.89 + -60004. Let v be -2 - 3/(6/(-4)). Do u and v have the same value?
False
Let u = -226 + 477/2. Let y = 79/6 - u. Which is smaller: 12 or y?
y
Let c be (-20)/(-275)*2/(-4)*12/(-57). Which is smaller: 1 or c?
c
Let c(t) = 2*t**2 - 7*t - 24. Let p be c(8). Suppose -p*w + 59*w - 55 = 0. Is 4 not equal to w?
True
Let f be 3 + 3 + (-21 - -13). Which is smaller: -129/41 or f?
-129/41
Let n = -208 - -344. Suppose 9*r - 109 = -n. Which is greater: r or -31/8?
r
Suppose 14*l - 35 - 35 = 0. Let c = -48 + l. Which is smaller: c or -0.2?
c
Let q be 2 + 0 + (-4)/(16/420). Let s = -7 - 14. Let d be -99 - (27/s)/3*-7. Which is greater: q or d?
d
Let s be 1/((-18)/(-270)) - -14. Are -51 and s nonequal?
True
Let z be 1/(-2) + (-1)/(-2). Suppose 5*r - 25 + 35 = 0. Let x be (r - (3 - 1)) + 90/24. Is z less than x?
False
Let t(u) = -u**3 - 14*u**2 + 16*u + 42. Let n be t(-15). Let b = 33 - n. Suppose -b = 2*p - 0*p. Are p and 1 nonequal?
True
Let j(o) = -o**3 - 4*o**2 - 69*o - 264. Let y be j(-4). Let a = -26 + 38. Is y smaller than a?
False
Suppose 19*b - 382 + 382 = -71*b. Is b < -5530?
False
Let g = -3585 + 4563. Is g less than 978?
False
Let j be (-18)/(-4) - 12/(-8). Which is greater: j or -30?
j
Let b = -2285 + 1964. Let h = -0.43 + 0.33. Are h and b non-equal?
True
Let z = -14033 + 14032.98. Are 343 and z nonequal?
True
Let y = 2.8 + -3. Let m = -23 - -26. Let q be (-21)/12 + m/4. Do q and y have different values?
True
Let z be 20/30 + 13/3. Let b be (14/35)/(z/((-50)/4)). Is b less than -2/149?
True
Let n(q) be the second derivative of -3*q**3 + 49*q**2/2 - 32*q + 1. Let x be n(5). Which is greater: x or 3?
3
Suppose 37*h + 71 + 336 = 0. Let n(t) = -3*t**2 - 27*t + 68. Let a be n(h). Let l = 93/2 - 44. Which is bigger: a or l?
l
Let i = 2168472/43469 - 8/2557. Let p = -50 + i. Do p and -1 have the same value?
False
Let h be 11 + 9/(-18)*16. Let f be 98/10 + 14/210*h. Is 10 > f?
False
Let d = 262 + -261. Let f be (d/((-56)/48))/(16/(-14)). Which is greater: 6/17 or f?
f
Suppose 0 = -5*t + 8 + 17, -3*m + 4*t = 341. Let f = m - -101. Is -6 at most f?
True
Let j be -21*(0/(-1) + 8/(-12)). Suppose j*t = 7*t - 42. Let r be ((-144)/(-70))/(-2) + t/15. Which is smaller: 0 or r?
r
Let d = 35 - 36.32. Let v = d - 54.68. Let h = -56.06 - v. Which is smaller: h or -0.1?
-0.1
Let r be -2*1/9 + (-416)/72. Let p be (-2288)/(-55) + r/(-15). Is 39 greater than or equal to p?
False
Let l(q) = -26*q**3 - q**2 + q. Let g be l(1). Let x be 14*(6/1 - 37). Let m = x - -407. Which is greater: g or m?
g
Let t be 2/(-3) + 11304/189. Suppose 166 - 48 = 2*p. Which is smaller: p or t?
p
Let c = 25 - -22. Let w = -55 - c. Let j be 1 + 4 + 518/w. Is 1 > j?
True
Let t be (-18)/(-117)*7856/(-96). Which is smaller: t or -12?
t
Let k(i) = i**3 - 7*i**2 + 10*i - 21. Let b(h) = h**3 - 28*h**2 - 3*h + 89. Let u be b(28). Let n be k(u). Are n and -21 equal?
True
Let u = 164/7 + -1291/56. Suppose -7*d = 362 - 369. Which is smaller: d or u?
u
Let b(q) = q**3 - 13*q**2 + 9*q + 56. Let k be b(-14). Let a = k + 155483/29. Is a != 0?
True
Let i = 3.1945 + -3.22. Let s = 0.0435 - i. Is 0 bigger than s?
False
Let u = 9863 + -7041. Which is greater: u or 2821?
u
Suppose -47 = d - 53. Suppose 3*p = 5*o - 1247, d*p - 733 = -3*o + 4*p. Which is smaller: 248 or o?
o
Let q = 15 - 15. Suppose q = -g - 4, g = -5*h - 3 - 26. Let j(r) = -r**2 + 4*r - 8. Let c be j(h). Which is bigger: -52 or c?
-52
Let a be (-44489)/16184 + 3*(-3)/(-9). Let t = a + -15/119. Which is greater: t or -3?
t
Suppose 4*n = 2*k + 11837 + 19811, 2*k + 31801 = 21*n. Which is smaller: -15805 or k?
k
Let p be (-11 - 63) + 14 + -2. Which is bigger: -52 or p?
-52
Let z = 77 - 79. Let b = 245 + -321. Is z >= b?
True
Let f be ((-138)/(-1311))/(2/100). Which is greater: f or 6?
6
Let j(c) = 108*c - 7582. Let s be j(70). Which is bigger: s or 289?
289
Let l be (2 - 1)*2/(-6). Suppose 4*n - 3*n + 7*p = -23, 0 = -4*n + p - 92. Are l and n non-equal?
True
Suppose 7*a - 2*h - 204 = 3*a, 0 = -3*a + 5*h + 139. Let c(x) = -3*x**2 - 40*x + 33. Let u be c(-15). Let q = u + a. Is -1 greater than or equal to q?
False
Let l be 458/(-20) + -294 + 317. Suppose 4*q = 3*q + 1. Which is bigger: q or l?
q
Let t = 30.66 - 30.86. Which is bigger: t or 9/5?
9/5
Let q(d) = -2083*d + 2082*d + 5*d**2 + 0*d**2. Let y be q(2). Is y != 93/5?
True
Let c(w) = 2*w**3 - 18*w**2 - 354*w + 69. Let m be c(-11). Is -888 != m?
True
Suppose 4*h - 2*h + 32 = 0. Let f = 1/203240 - -162591/203240. Is f greater than or equal to h?
True
Let p be (105/(-56))/((-396)/3056). Let o = p + 1/33. Which is smaller: o or 14?
14
Let q be ((-2)/(-5))/(64/320) - 21. Which is smaller: -266/15 or q?
q
Let a = 55185.3 + -55185.4. Let h be (-15)/2*44/(-5). Suppose 5*r - 6*r = 2*k + 32, 2*r = -2*k - h. Which is bigger: a or r?
a
Let g = -135 - -148. Suppose -19*z + 13 = g. Are z and -2/5 non-equal?
True
Let z(d) = -1195*d + 5976. Let u be z(5). Is -1/621 less than or equal to u?
True
Let x = 15 + -32. Let t(w) = -w**2 - 14*w + 23. Let r be t(-7). Suppose -13*g = -9*g + r. Which is smaller: x or g?
g