 b = n - 74. Let s be b - (4 - 3)/1. Which is bigger: s or 7/3?
7/3
Suppose 5 = -d, 120 = 3*p - 2*p + 3*d. Let z = -134 + p. Is 18 greater than z?
True
Suppose 1939*x = 1904*x. Is 91/199 bigger than x?
True
Let d be (-852)/154 + 244/(-1342). Let p be (1 + -2)/((-2)/(-14)). Is p < d?
True
Let r = 152 + -104. Let z = 46.94 - r. Let t = -7.06 - z. Is t at most 0?
True
Let k = 489 - 22. Let g = -894 + k. Is g >= -428?
True
Let n = -63 + 58. Let z be (-6)/628*n/(-15). Which is greater: 1 or z?
1
Let w(m) = 6*m**2 - 1. Let q be w(-1). Let k = -428/5 + 4698/55. Does k = q?
False
Let b be (-1058)/(-12) - 56/(-42). Let g be ((-52)/24)/(9 - 758/84). Which is smaller: g or b?
b
Let l be 0/(-5 + (4 - (-3 - 0))). Is -65/63 bigger than l?
False
Suppose 2*t + w = 2442 - 769, -4*t + 3337 = 5*w. Let g be t/(-5) + (-4)/10. Let x be (32/g)/(2/6). Which is smaller: x or 4?
x
Let v = -2916 + 2915. Is v smaller than -26?
False
Suppose 6 = 3*f - 0. Let s be 9/((-45)/(-250))*(-1)/f. Is -25 > s?
False
Let x = 542 - 1073/2. Suppose -2*t + 2 = 3*n, -5*t - 3*n - 3 = -8. Which is smaller: x or t?
t
Let t(i) = -32*i**3 + 3*i**2 - 2*i + 12. Let a be t(2). Which is smaller: -238 or a?
-238
Let p = -28028 - -28054.926. Let r = p + -27. Let t = -0.174 - r. Which is smaller: -1 or t?
-1
Let v(m) = -7*m**2 + m**3 - 2*m + 43 - 17 - 13. Let q be v(7). Is -125 <= q?
True
Let t = 187 - 203. Let z be (t/(-40))/((-3)/30) + 4. Which is greater: z or -11/8?
z
Let q = -137/9 + 283/18. Which is smaller: q or 1/7?
1/7
Let v = 25425 - 17837. Which is smaller: 2/9 or v?
2/9
Let l(c) = c**3 + 10*c**2 - 15*c - 9. Let d be l(-9). Which is smaller: 181 or d?
181
Let a(s) = 14*s + 383. Let r be a(-19). Does 122 = r?
False
Let y = 26.61 - 27. Let u = 70.39 - 70. Let g = u + y. Is -1/2 smaller than g?
True
Let o = -0.2 + 0.2. Let z be ((-17)/68)/((-55)/28)*(1 + (24 - 24)). Which is smaller: o or z?
o
Let c be 2925/195*(-1 - (-12435)/12438). Which is greater: c or 1?
1
Suppose 0 = -24*c + 131 - 107. Which is smaller: 3/562 or c?
3/562
Suppose a = -h - 7, 7*h - 21 = 2*h + 3*a. Is h < -1/23260?
False
Let h(i) = i - 2. Let d(t) = 39*t + 205. Let f(q) = -d(q) + 4*h(q). Let p be f(-6). Suppose -2*y + 20 = 3*y, 0 = -j - 5*y + 16. Does p = j?
False
Suppose -472*p = -470*p - 5*x - 13, -5*x - 19 = 4*p. Is 15/1318 at least p?
True
Let d be 3/45*5*6. Suppose 5*u - 5*r - 400 = 0, 0*r = -d*u - 3*r + 185. Is u equal to 87?
False
Let s = -44 - -32. Let v be 25/(-5) + 150/s. Is v less than or equal to -17?
True
Suppose 6*t = 9*t + 135. Let y = 6.8 + 0.2. Let p = -8 + y. Is p less than t?
False
Let o(r) = 2*r**3 + 10*r**2 + 7*r - 21. Let m be o(-5). Let y = 45 - -11. Let d = m + y. Which is bigger: -5/4 or d?
d
Let h = -2225 + 2224.7. Let f = 9.3 - 27.1. Let i = -2.8 - f. Which is smaller: i or h?
h
Suppose -64*y + 47*y = -6868. Let z = y - 402. Which is smaller: z or -12/11?
-12/11
Let x = 462/113 - -284238/791. Which is greater: 363 or x?
x
Let h = -137 - -141. Suppose 4*l = -3*f + h + 61, -2*l - 116 = -4*f. Is 28 bigger than f?
True
Suppose -1248*l + 49218 = -1326*l. Which is smaller: -630 or l?
l
Let o be -2*1/18 - (-329230)/495. Which is smaller: 666 or o?
o
Suppose -3*p + 110 = 3*y + y, -p = 4*y - 114. Suppose w + a = -a - 14, 0 = 2*w + 5*a + y. Let k = -80 + 81. Which is smaller: w or k?
w
Let d be (-2)/48 - (-78217)/(-17544). Is -36.3 smaller than d?
True
Let d(x) = x**3 - 8*x**2 + 8*x - 3. Let y be d(3). Are y and -9 non-equal?
True
Let w = 1.2472 - 1.2572. Let h = 0.06 + 7.94. Which is greater: h or w?
h
Let s = 1393/18126 - -1/477. Let z = 157/1748 - s. Let o = -6783 + 6782. Is o at least z?
False
Let p be 0/(-2*(-2 + 3)). Suppose -7*t + 5*t = p. Let v be (-30)/4*2/12. Which is smaller: v or t?
v
Suppose 232*o - 108*o = 105*o. Let k(w) = 7*w**2 + 1. Let s be k(1). Is o smaller than s?
True
Let l be 34/12 + (-15)/(-90). Suppose 0 = -5*n + 20, -5*n = 4*o - l*o - 36. Which is smaller: 63/4 or o?
63/4
Suppose 2*g + 2 = -4*b - 6, 4*b = 5*g + 20. Suppose 15 = -3*t - 2*t. Let s be (-8)/(t*(-4)/(-6)). Is b at most as big as s?
True
Let f = -969/5 - -192. Let i(r) = -5*r**2 - 4*r + 1. Let h be i(-1). Suppose h = -2*z - 0 - 4. Which is greater: f or z?
f
Suppose -4*h - 9 = -3*v, -7*h + 9*h + 3 = v. Suppose -3*m + t + 5 = 0, 4*m - 5*m - 2*t = v. Is -1/288 at least m?
False
Let b be (69/(-2))/(7/(-63)*18/12). Is b greater than or equal to 182?
True
Let z be 1/1 + 3 - 2. Let o(y) = 7*y - 81. Let d = 840 - 828. Let j be o(d). Is j < z?
False
Let k = 87164 + -86789.99. Let o = k - 374. Is o less than 15?
True
Suppose -703 = -5*h + 2*i, 2*i - i = 4*h - 560. Suppose -h = 5*x - 0*g - g, 0 = x + 4*g + 32. Let q = 29 + x. Are q and -4/19 non-equal?
True
Let n(f) = -12*f + 166. Let a be n(0). Let l = 89 - a. Which is greater: l or -78?
l
Let z be (401/5)/(2 + -1). Suppose -6935 + 50 = -85*c. Let k = c - z. Which is greater: 1 or k?
1
Let j be (1 - 1 - -2)*-70. Let t = j - -238. Let h(y) = -167*y**2 + 2676*y + 35. Let a be h(16). Are a and t nonequal?
True
Let n = -20784 + 20783. Which is smaller: -0.02 or n?
n
Let h = 2008 + -2007. Is 3/2743 >= h?
False
Suppose -22*g + 25*g + 6 = 0. Let d be (-7 - g) + 1748/(-23). Is -80 < d?
False
Let q = 19 - 16. Let t be q/(36/76) + 1. Let h(r) = -r**3 + 6*r**2 + 6. Let x be h(6). Is x greater than t?
False
Suppose -3*u + 6885 = -3*o + 390, 4*u + 3*o - 8695 = 0. Suppose -u + 1105 = 5*n. Is n at least as big as -212?
False
Let t be 12/(-20) - (324190/(-175))/(-17). Which is bigger: -111 or t?
t
Let m = -258 + 294. Let v = -183 + 145.7. Let r = v + m. Which is smaller: -2 or r?
-2
Let n(k) = 188*k + 251. Let p be n(-20). Is -3510 > p?
False
Let b be (-2412)/(-243) + -10 - 174904/27. Is b greater than -6478?
False
Let b = 13.2921 + 0.0179. Which is smaller: b or 4?
4
Let j(h) = -h**3 + h**2 + 174*h - 42. Let f be j(0). Is f at most as big as 0.12?
True
Let q = 1475 + -767. Which is bigger: 715 or q?
715
Suppose -79*c - 3 = -82*c. Let y be 225/(-18) + c/(-2). Which is greater: 0 or y?
0
Let r = 193 + -192.961. Let s = 10.961 + r. Which is bigger: s or -2/19?
s
Let v be (-72)/84024*(-2)/(2/57). Which is smaller: 1 or v?
v
Let l = -381 - -596. Let q = 163 - l. Is -49 not equal to q?
True
Suppose 401*u = 2*h + 397*u - 4448, 3*h = -2*u + 6720. Which is smaller: 6710/3 or h?
h
Suppose 2*f - 223 = 513. Suppose -2*i = f + 368. Let h be (5/(-20))/((-20)/i). Are h and -4 non-equal?
True
Let i = -1.97 - 0.03. Let y = 1.9 + i. Suppose 1708*q - 1703*q = -5*u - 15, 5*q = -4*u - 12. Which is smaller: u or y?
u
Let m be 156/(-195)*(-1 - 44). Suppose -12*d - m - 108 = 0. Is -5/4 at most d?
False
Suppose 5*g = -5*p + 20, g + p = -p + 9. Let b be ((-51)/(-6) - -1)/g. Suppose -5*w + 0*w - 2*z - 10 = 0, 0 = -w + 3*z + 15. Is w greater than b?
True
Let y be 1 + 1*182 - (-59 - -62). Let t = -427 + y. Is -247 at most t?
True
Let z be ((-8)/20)/((-161)/115). Which is greater: 446 or z?
446
Let q = 313.82 - 290.2. Let f = -26.8 + q. Let t = -0.02 + f. Which is smaller: t or 0?
t
Let y = -550.74 + 110.74. Is 11 >= y?
True
Let z(g) = g**3 - 35*g**2 + 69*g - 606. Let a be z(33). Is a at least -1?
False
Let f(x) = x**3 - 16*x**2 + 7*x + 129. Let p be f(15). Suppose 6*n - p*n = -3*h - 150, -3*n = -h - 156. Which is smaller: n or 55?
n
Let m(t) = -14*t + 46. Let c be m(3). Suppose 0*k - c*k - 4 = 0, 3*v - 3*k = 0. Are 5/21 and v non-equal?
True
Let g(r) = 3*r**2 + 4*r + 2. Let k be g(-1). Suppose 5*h + 5*o + 20 = 0, -2 = 5*h - o - 0. Let b(f) = -3*f + 1. Let i be b(h). Which is greater: i or k?
i
Let y(a) = -2*a**3 + 63*a**2 - 22*a - 73. Let p be y(31). Let z = p + -202. Which is greater: 3/8 or z?
z
Let a be ((-62092)/380)/(9/(-5)). Are a and 91 unequal?
True
Let o = 532 + -317. Let h = o - 247. Is -32 at most h?
True
Let z = -60.27 + -0.73. Let b = -93 - z. Let k = b - -31. Is k smaller than 1?
True
Let g = 3913 - 1943. Are g and 1971 unequal?
True
Let r = -6222 + 5638. Which is greater: -1167/2 or r?
-1167/2
Let d be 136/28 - 1/(-7). Suppose 0 = d*f + 274 + 586. Is f < -172?
False
Let w be 9*6/9*(-127 + -2). Which is smaller: -779 or w?
-779
Suppose -193*j = -265*j. Which is smaller: 115/89 or j?
j
Let t(r) be the first derivative of -r**4/2 - 4*r**3 + r**2/2 + 6*r + 26. Let k be t(-6). Does -0.8 = k?
False
Let c(g)