Let i = g - -0.013. Let z = 17.4 - i. Which is smaller: z or 0?
0
Let w = -43776 - -10331133/236. Let o = -4 - -3. Do w and o have the same value?
False
Suppose -2*q - 5*n + 15 = 0, -11 = -3*q - 5*n - 1. Let p = -8 + 2. Let j = p - q. Is -1/61 at most as big as j?
False
Let z = 82 + -161. Let b = 79.1 + z. Let w(p) = -p**2 - 8*p + 4. Let s be w(-11). Is b smaller than s?
False
Let z be 12/4 - (1 + (-1884)/(-66)). Which is smaller: -26 or z?
z
Let j(n) = n + 1. Let q(u) = -3*u + 5. Let a(t) = -2*j(t) - q(t). Let g be 23/(-92) - 33/(-4). Let d be a(g). Is d not equal to 3/7?
True
Let u be (-10)/((-52)/14 - 12/(-3)). Let p = 36 + u. Is p not equal to -1/460?
True
Suppose -2*s - 301 = 4*g - 77, -g - 483 = 4*s. Which is bigger: s or 2/3?
2/3
Suppose 9 = -5*t - 5*b - 1, -4*t = 3*b + 6. Let r be ((-5)/10*t)/2. Is r equal to 7/53?
False
Suppose -5*f + v + 4 = -f, -4*f + 3*v - 4 = 0. Let t = 0.07212 + -9.07212. Do f and t have different values?
True
Let a = -323 + 223. Let h = 115 + a. Which is greater: h or -7/5?
h
Let c = -96.51 - -96. Let t = 0.416 + c. Let g = 0.054 + t. Which is smaller: g or -4/7?
-4/7
Let p be 2/(-6) - (-18106)/(-231). Let f = 79 + p. Let z = -3952 - -4038. Is z at least f?
True
Let x be ((-4)/(-10))/(9/90). Suppose 5*j + 2*z = -142, -j - x*z - 144 = 4*j. Let q = -1.03 - -1.03. Is j smaller than q?
True
Let l = -2337 - -2348.99. Let c = -41.2 - -29.2. Let w = l + c. Which is smaller: -1 or w?
-1
Let r be (-186004)/441 + 16/6 + -7 + 1. Which is bigger: r or -426?
r
Suppose -33*f - 4 = -31*f. Let n be (2/42)/(f/30). Is n bigger than -2?
True
Let d be ((-366)/12 - -4)/(2/(-4)). Let o be -3*d*4/(-12). Does 52 = o?
False
Let d = -37562326545/2 - -339450741290763/18074. Let f = d + -73/1291. Let a = f + 204. Is -1 not equal to a?
True
Let u = -9748 + 7296. Which is greater: -2454 or u?
u
Let s = 0.056 - 0.099. Let w be (90/24 - 7) + (-6)/(-2). Which is smaller: s or w?
w
Let n = -3732188899/14219 - -262479. Which is greater: 0 or n?
n
Let o be 1*(7/(-6))/7*108/368. Is o equal to 0?
False
Let w(n) = -n + 79. Let a be w(-16). Let z = a + -114. Which is bigger: z or -23?
z
Let f(z) = -z + 19. Let c be f(13). Suppose -19 = -c*m + 17. Let i be (-1 - -2) + (m - (-3)/(-1)). Is 4 equal to i?
True
Suppose -6*b = 2*b + 72. Let o be (-66)/b - (-2)/(-3)*-1. Let k be 814/(-270) + 8/(o/3). Is k equal to 0?
False
Suppose 1 = -3*i + 7. Suppose 7*p = -i + 23. Suppose 20 = -p*v - v, 5*v + 109 = 4*t. Which is smaller: 2 or t?
2
Let j = -1393 + 132333/95. Suppose -223*t + 231*t = 8. Is j at most as big as t?
True
Suppose -5*s - q = -670, -3*q + 550 = 4*s - 5*q. Let p = s + -64. Is p >= 70?
True
Let n be 8/6 - (-40)/15. Suppose -2*w - n = 2*w. Let j = 15/74 + -9/592. Is j at most as big as w?
False
Let x = -2160 + 2159.83. Which is bigger: 1.06 or x?
1.06
Suppose -h + 95 = -3*m, 5*h = -m - 50 - 3. Suppose r = 0, -5*r = -2*p - 7*r - 70. Which is smaller: m or p?
p
Suppose 71*x = -5*k + 75*x + 33, -5*k + 2*x = -49. Which is bigger: k or 207?
207
Let o = -2669/57 + 277/6. Which is bigger: -2 or o?
o
Let l be (-202992)/1755 - 18/(-45) - (-2)/13. Which is greater: -115 or l?
-115
Let l = 7492/91 + -171308/2093. Let w = 2/577 + 2262/13271. Let q = w - l. Which is smaller: 1 or q?
q
Let r = -0.3 + 0.5. Let h = -1.4731 + 0.1151. Let n = 23.642 - h. Are n and r unequal?
True
Suppose k + 2 = -2*z, 5*z + 34 = 5*k + 4*z. Suppose 2*h = -k*h + 8. Which is greater: 2/697 or h?
h
Let f be (-6)/4*(-8)/42. Let s(u) = 15 - 18*u**2 + 21*u - 10 + u**3 - 80. Let q be s(17). Which is smaller: f or q?
q
Let f(y) be the first derivative of -y**4/4 + 2*y**3 + 8*y - 10. Let l be f(6). Let x be l/(-10)*(-210)/12. Which is smaller: x or 13?
13
Let x = 61/100 - 2183/300. Is -0.1 > x?
True
Let j be (582/679)/(0 + (-3)/28). Which is greater: -6/53 or j?
-6/53
Let t(h) = -229*h - 12152. Let l be t(-62). Is l greater than 2045?
True
Let q = -17909.2 + 18134. Which is greater: q or -0.2?
q
Let c = 1437.5 - 1182. Let f = 3.5 + c. Which is greater: f or 0?
f
Let y(c) be the third derivative of c**5/60 - 13*c**4/12 - 19*c**3/6 - 3*c**2 + 13*c. Let x be y(25). Suppose 5*q = -141 - 84. Which is smaller: q or x?
q
Let v = 24.968 + -0.368. Let s = -25 + v. Which is smaller: -69 or s?
-69
Let i = -47726 - -143512080/3007. Let y = i - 188/9021. Is -1 <= y?
True
Let m = -50 + 50. Suppose 3*w - 3*f - 8 = 40, m = 5*w + 2*f - 59. Let v = 23 - w. Does 11 = v?
False
Suppose -20118 = -y - 20908. Which is smaller: y or -791?
-791
Suppose -135*i = -130*i - 35. Suppose 5*d - 2*d = 18. Suppose -i*m = -d*m - 70. Are 70 and m equal?
True
Let d(g) = -g + 3 - 2 + g**2 - 2*g - 3. Let b be d(4). Suppose p + k - 3 + 4 = 0, -b*p + 5*k = 2. Which is bigger: -1/17 or p?
-1/17
Suppose -2*p - 1083 = 4*y - 3*p, 4*p = 12. Let m = 1.4809 - 1.4809. Which is greater: y or m?
m
Let q(c) = 8*c + 50. Let a be q(21). Suppose 860 = 4*w - 4*k, -5*k + 8 = 3*w - 661. Does a = w?
True
Let t = -12853 + 12852. Which is greater: t or 284?
284
Suppose -997 = 11*m + 2314. Let x = -303 - m. Which is bigger: x or -16/21?
-16/21
Let f = -1/25546 + 970873/3193250. Which is smaller: f or 0?
0
Let c = -5744 + 5729. Which is bigger: c or 18?
18
Suppose 182*a = 181*a + 107. Suppose 112*z - a*z + 970 = 0. Which is smaller: z or -193?
z
Let a = 5831 - 2880. Suppose 2461 = -22*j - a. Is j less than -246?
False
Suppose -16*y = -10*y - 120. Let a be y/5 - 404/104. Which is greater: 1 or a?
1
Let y be (-300)/51 - -6 - (-14976)/153. Is 100 less than or equal to y?
False
Let m(t) = 2*t**2 + 69*t - 17. Let n be m(-28). Is -378 smaller than n?
False
Let v = -3095.13 - -3095. Which is bigger: -26 or v?
v
Suppose -2365374 = -162*t + 156*t - 60*t. Are 35839 and t non-equal?
False
Let y = 37578887/19 - 1978283. Suppose 3*o = -t + o - 457, o - 889 = 2*t. Let z = t - y. Which is greater: z or 0?
0
Let n = 2903/66 - 394/11. Let z = -23/2 + n. Suppose -5*l - 5*h - 25 = 0, -58*l - 3*h - 13 = -56*l. Which is greater: z or l?
l
Let a = 1973 - 2012. Is 50 <= a?
False
Let c = -5217 - -5217.25. Is 22 less than or equal to c?
False
Let c(m) = -2*m**2 + 10*m - 5. Let g be c(8). Let q = -97 - g. Is q at least -45?
True
Suppose 50*o = -21*o + 12*o - 7729. Is -117 less than o?
False
Let u be ((-245)/(-3297))/((-100)/120). Which is bigger: 0 or u?
0
Let t = 6515 - 7740. Is -1230 at most as big as t?
True
Suppose -5*x + s = -29, -s = 4*x - 14 - 2. Suppose x*z = -53 + 18. Which is greater: -5 or z?
-5
Let m = 197 + -112. Let i = 5 - m. Let t = 63 + i. Which is smaller: t or 0?
t
Let a be (-2490)/3 + 144/12. Are a and -816 unequal?
True
Let b = 4.71 - 15.71. Let o = 0.1 + -6.1. Let j = o - -8. Do b and j have the same value?
False
Let g(a) = -38*a**2 + 3*a + 2. Let x be g(-4). Let f = -56240/91 - x. Let z(l) = l**2 + 31*l + 107. Let r be z(-27). Which is smaller: r or f?
r
Let c be (-2)/(-7) + 47/7. Suppose 3*g = -1 + c. Suppose -54 = 4*h + g*h. Which is smaller: h or -1?
h
Let p = 72963/20 - 3645. Is -0.2 at most p?
True
Let p = 41324/9 - 4595. Which is greater: p or -3?
-3
Suppose -l + 4*z - 7 = -0*l, -3 = -3*z. Let w be -1*11 - (l + 1). Suppose -27*x = -14*x + 104. Is x < w?
False
Let d = 109124/873 - -54/97. Which is smaller: 126 or d?
d
Suppose -29*r + 565 = -943. Suppose 4*n = 4*g + r, 5*g - 6*n + 5*n = -49. Which is greater: -15 or g?
g
Suppose -21*j - 1554 = 196245. Which is greater: j or -9421?
j
Let d = 5048 - 9731. Which is smaller: -4682 or d?
d
Let n(o) = -5*o + 33. Let s be n(7). Let k be 3/(-6)*(s/2 - 3). Suppose 0*t = -x - 3*t - 6, 0 = k*x - 4*t + 22. Is -9 at most as big as x?
True
Let l = -1157/9 + 380659/2961. Suppose 3*x + 1 = -4*a + 2*x, -x - 2 = 3*a. Which is bigger: l or a?
a
Suppose -u + 5*i + 5 = 0, -2*u - i - 3 = -13. Let m be (-58)/145 - (1 - (-38)/u). Let y be (-9 + 0)*(-2)/(-3). Are m and y equal?
False
Let v = 560/29 - 6155/116. Is -34 bigger than v?
False
Let m(x) = x**3 - 27*x**2 + 50*x + 1. Let g be m(25). Which is greater: g or -1092?
g
Let y(f) = -15*f + 27. Let d(r) = 17*r - 26. Let a(j) = 3*d(j) + 4*y(j). Let b be a(-4). Is 65 at most as big as b?
True
Suppose -19*k - 518 = 18*k. Which is greater: k or 2?
2
Let p be 14563/(-27)*(-2 - 148/(-23)). Let u = 2392 + p. Is u <= 1?
True
Let z = 0.2 + 0.8. Let m = -2026 - -2045.22. Let l = 19.2 - 