Let j = 1.1 + -0.1. Which is smaller: o or j?
j
Let h be (6/42)/(6/210). Suppose -k + 39 = 4*i, -h*k - 5 - 20 = -2*i. Which is smaller: i or 8?
8
Let v = -117.5293 + 0.0293. Let j = v + 117. Is -3 < j?
True
Let i(z) = -62*z**2 + 263*z + 33. Let y be i(4). Suppose -3*j = -2*j - 94. Is y less than or equal to j?
True
Let i(j) = -13*j - 5. Let h be i(-4). Let b be 3*(-3530)/(-210) - 9/(-4*(-15)/20). Which is smaller: h or b?
h
Let z be 60156/(-3402) - (-1 - (-12)/28). Is z less than -17?
True
Let a be 2 + -3 + (-75)/(-5) - -1. Let m be (-4)/(-6) + (-40)/a + 13. Suppose 4*i - m = -2*n + 11, -5*i + 25 = 0. Which is greater: n or 2?
2
Suppose 3*o + 21551 = -a, 2*o - 22*a + 14322 = -17*a. Which is smaller: o or -0.1?
o
Let x = 77/124 + 4/31. Let v = -68797 + 68771. Which is bigger: v or x?
x
Suppose -2*v + r = 19 - 36, 4*v + 4*r - 40 = 0. Let p be 136/18 + 9 + (-135)/v. Let c be 3/((-5)/(-2) + -1). Do c and p have the same value?
False
Suppose -5721 - 19254 = 45*x. Let b = x - -515. Which is greater: b or -34?
-34
Let f(y) = -y**3 + 10*y**2 + y - 5. Let v be f(10). Let t = -5 + v. Suppose t = j + 2 + 4. Is j less than or equal to -3?
True
Suppose 0 = -89*y - 200*y - 289. Which is greater: -11/1139 or y?
-11/1139
Let i = -69732 + 55436932/795. Which is greater: i or 0?
0
Let x(b) = -12*b + 1925. Let m be x(92). Is 821 > m?
False
Let c be ((-12)/(-10))/(((-19)/2)/(570/57)). Let j(m) = -m**3 - m**2 + m - 1. Let d be 0 - (1 + (0 - 1)). Let x be j(d). Do x and c have the same value?
False
Let q = -1 - 0. Let n = q + 0.8. Let p = 7002 - 7001. Which is bigger: n or p?
p
Let q be (-4 + (-78)/(-20))/(2/(-5)). Let c = -395.13 - -395. Which is smaller: q or c?
c
Let t be ((-223)/4)/(11/132). Let k = -2675/4 - t. Which is smaller: k or 45?
k
Let k = -25498028/19 - -1340106. Let r = -1895 - k. Let u = r + -235/456. Which is smaller: u or 1/4?
u
Suppose -118*o = -122*o - c - 2015, -4*c - 500 = o. Which is bigger: o or 5?
5
Suppose -10207 = 4*v + 1569. Does -2944 = v?
True
Let w = 19.3 - 20.6. Let k = -6.3 - w. Which is greater: k or 6?
6
Let s = 57 + -57. Suppose 6*j - 2*j + 4*k + 208 = s, 0 = -5*j - k - 248. Let v = j + 50. Is 6 less than or equal to v?
False
Let x(r) = 5*r - 5. Let j be x(7). Suppose 5*n = w + 170 + j, w + n = -194. Let i be (18/w)/((-9)/30). Which is bigger: i or -0.2?
i
Let y = -6408017/37 + 173169. Is -20 equal to y?
False
Let b = -112 + 112. Suppose b = 2*d - 3*d - 3. Suppose -4*f + 2*o = 8, -f = 4*f - 5*o + 5. Is f less than or equal to d?
True
Let k(z) = 3*z - 41. Let o(r) = r**2 + 22*r + 123. Let n be o(-16). Let y be k(n). Do 48 and y have different values?
True
Let r = -8885/6 + 1500. Suppose 3*c - 54 = -3*o + 6*c, o + 4*c = 18. Which is bigger: r or o?
r
Let o = 3 + -2.9. Let b be (-18)/(-90) + ((-2512)/10)/1. Let t = -249 - b. Which is greater: o or t?
t
Let y = -5 - -9. Suppose -4*p = 2*r + p + 81, -y*p - 36 = r. Let w = -44 - 3. Which is greater: w or r?
w
Let o = -32.1799 - 1.8201. Is -125 greater than or equal to o?
False
Let d = 0.7091 + -0.5091. Is 97.4 smaller than d?
False
Let f = 46 + -214. Let r be (-1)/10*2 + f/210. Is r >= 2?
False
Suppose -53*u = 368 + 3. Is 151 smaller than u?
False
Let h = 2/3975 - -469012/75525. Which is smaller: 5 or h?
5
Let b be 3 + (-560)/(-92) + 16/(-184). Let p be (-7 - (-4 + 2)) + 1. Let c = 3 - p. Which is greater: c or b?
b
Suppose 26 - 54 + 28 = 29*f. Which is smaller: f or -1117?
-1117
Suppose q - 7*c + 5*c - 56 = 0, 15 = 5*c. Let f = 1296 - 1237. Are q and f equal?
False
Let l = 45.1 - -2.6. Let v = l - 104.7. Which is greater: v or -2?
-2
Let b(h) = 3*h**2 - 3*h - 1. Let u be b(3). Let y be ((-1)/2)/(u/544). Let x = -15 - y. Is x at least as big as 3/4?
True
Suppose -41*d - 164*d - 16810 = 0. Which is greater: -103 or d?
d
Let f be ((-10)/(-140))/((-24)/(-18732)). Let x be 58/((-1)/(-1)) - 8/8. Are f and x nonequal?
True
Let v(n) = n**3 + n**2 - 5*n + 8. Let t be (87/(-27) - 6/(-27)) + 6. Let f be v(t). Which is bigger: 32 or f?
32
Let t(s) be the first derivative of 8*s - 1/2*s**2 + 6. Let k be t(-3). Which is bigger: k or 12?
12
Let a(f) = -f**3 - 25*f**2 - 23*f + 24. Let n be a(-24). Let s be (n - -8)*(-7)/(-14). Let z(h) = -h**2 + 8*h - 11. Let g be z(s). Which is greater: 60/11 or g?
60/11
Suppose 2*j + 4*z = -32 - 54, 4*j + 187 = -3*z. Let s be -2 - (-7 - 259/j). Is 106 <= s?
False
Let v = -6667 - -6610. Which is smaller: v or -897/16?
v
Let b = -1237 - -16089/13. Let p be (16 - 5) + (-1)/(2/4). Suppose -5*n - 2*u + 11 = -0*u, 2*u = -3*n + p. Do b and n have the same value?
False
Let s(p) = -15*p - 1126. Let w be s(-75). Is w greater than -30?
True
Let d be 3 - 7/((-35)/(-45)). Let s be ((-36)/24)/(d/16). Let l be s*(-2 - 231/(-114)). Which is smaller: l or 0.1?
0.1
Let g = -429/49 - -1667/196. Is g equal to -5.211?
False
Let i be (13 + -26 + 12)/(0 - -1). Let v be 25/9 - 6/(-27). Let h = 7 - v. Is i at most as big as h?
True
Let d(v) = v**3 - 6*v**2 + 2*v - 13. Let g = 75 - 24. Let y = g - 45. Let k be d(y). Which is greater: k or 3/37?
3/37
Let z(u) = u**2 - u + 2. Let v be z(3). Let n(q) = 2*q - 14. Let p be n(v). Let o be 81/1386 + p/(-7). Is 0 less than o?
False
Let r = 171683 + -171534. Let a = -279 + 426. Which is bigger: a or r?
r
Let c = -20866.9 - -20867. Which is smaller: c or 333.9?
c
Suppose 4*k - 8*k = 3*w + 9, -3*k = 5*w + 15. Suppose 2*z + 4*z + 24 = 0. Is z greater than or equal to w?
False
Let f(b) = -6*b**2 - 10*b + 1. Let g be f(-4). Let n = g - -57. Suppose 24 + n = 2*s. Which is greater: s or 15?
15
Suppose 165*a + 2544 = 173*a. Is 318 less than or equal to a?
True
Suppose 0 = 3*i + 3*w - 2064, -19*w = 2*i - 16*w - 1377. Is 1375/2 less than i?
False
Let k be 0 - (-7)/((-28)/24). Let h be (-3)/(1 + 9/k). Suppose -h*j = -36 + 12. Which is smaller: j or -1/2?
-1/2
Let n = -26129/125 - -209. Is n at most 2/7?
True
Let v be -9 + (-10)/(306/30 - 9). Do 0.063 and v have different values?
True
Let d(p) = 2*p**2 + 24*p + 17. Let a be d(-11). Let l be (42/210)/((-1)/a). Is l greater than 3?
False
Let r = 176 + -396. Let k(b) = b**2 + 91*b + 729. Let o be k(-79). Is r greater than or equal to o?
False
Let s = 342 - 1392. Let l = s + 1659. Let x be 2 - (0 - (-1)/(l/1224)). Is 0 less than x?
False
Let r = -26255519261/8635904 - -4664/16867. Let v = r - -3040. Let x = v - -2551/4608. Is x at least -0.1?
True
Suppose h - 2*h + 842 = -2*x + 1288, 5*x = 0. Which is greater: -449 or h?
h
Let p be ((-10)/8112)/(-1 - (-63)/84). Which is greater: 1 or p?
1
Let h be 6152/(-3640) + 7 + -2. Let o = -10/91 + h. Do 2 and o have different values?
True
Suppose 3*u + u - 20 = 0, -u = -2*z + 13. Suppose 16*w - 175 = z*w. Which is smaller: w or 24?
24
Let l be (-10 + -4)*302*(-2)/(-10). Is -845 greater than l?
True
Let r = -1889/2 - -35617/38. Which is bigger: -8 or r?
r
Let y(d) = -123*d**2 + 734*d + 24. Let c be y(6). Let t be (-10)/12*(-1706)/(-1222). Let f = t - 2/611. Is f greater than or equal to c?
False
Let k be 616/(-30) + (-40)/(-72)*-3. Let m be -2 + (-23 - (0 + -3)). Which is bigger: m or k?
m
Let y be ((-536)/(-201))/(8/3). Let a = -50757678/5 - -3356554495732/330645. Let f = a - 1/1407. Which is smaller: y or f?
f
Let p be -5*9/225 + (-1359)/5. Let d be (p/792)/(2/12)*6. Are -11 and d equal?
False
Let p = -577 + 552.9. Let f = 24.2 + p. Is -0.27 less than or equal to f?
True
Let h(l) = l**2 + 11*l - 80. Suppose 0 = 27*w - 12*w + 240. Let o be h(w). Which is greater: -1/14 or o?
o
Suppose -3*n + n = -2*o - 90, -4*o + 25 = n. Let b = 146 - n. Suppose 98*t = b*t + 119. Which is bigger: -15 or t?
-15
Let o = -5 - 3. Let p be (14/o)/((-1)/20). Let w be 1918/56 - (-24)/32. Is w not equal to p?
False
Let h be ((-149)/2)/(80/(-96) + 1). Does h = -446?
False
Let q(x) = -x**3 + 9*x**2 - 9*x + 10. Let y be q(8). Suppose -2*g + w = y*g - 63, -5*w = 15. Suppose -5*f + g = -0. Is f less than or equal to 3?
True
Let v = 2361 - 2362. Is 5/1463 at least as big as v?
True
Let j be 18/39 - 40128/88803. Is j equal to 18?
False
Let u = 23 - -177. Suppose -36*r + 61*r + u = 0. Is -46/7 > r?
True
Let d be -1*(4/(-34) + 1566/306). Which is greater: -180/49 or d?
-180/49
Let c = 123 + -107. Let p = -31 - -13. Let k = p + c. Which is greater: 2 or k?
2
Let g = -41.96 + 41.92. Do g and -73 have the s