Let g = -206 - -817/4. Suppose 4*b - 4*f = 88, -2*b + 4*f + 36 = 6*f. Let m be 4/b*(-55)/11. Which is smaller: g or m?
g
Let d(b) = 2*b**2 - 5*b - 6. Let s be d(-1). Let g be (-431)/(-28) + s/(-4). Let n = g - 939/56. Do n and -1 have different values?
True
Suppose -2*z + 831 = 5*j, 3*j = 4*j - 2*z - 159. Does 166 = j?
False
Let k(l) = 38*l - 13. Let n be k(3). Let h = n - 99. Suppose t = d, 0*d - h*d = 3*t - 20. Which is greater: 3 or d?
d
Let j be (-1 - (-15)/(-6)) + 0 - -2. Suppose -5*s + 2*s = 21. Let o = s - -8. Which is smaller: j or o?
j
Suppose -10*s + 27 = 117. Let v(m) = -18*m + 29. Let d be v(s). Which is smaller: 190 or d?
190
Let s be (-408990)/120 + (-1)/(-4). Let w be (s/504)/(4/6). Is w at least as big as -11?
True
Let o = -1105/126 + 199/14. Suppose 4*p - 3 = f - 0, -2*f - 3*p + 16 = 0. Is o < f?
False
Let z be 1/(-1 - (-148)/150). Let b = z - -48. Let g be (-2)/(16/b) - (-3 + 6). Which is bigger: -1 or g?
g
Suppose 5*z = -5*y + 10, -9*y + 4*y - 2*z + 22 = 0. Let o = y - 7. Are -1/244 and o non-equal?
True
Suppose b = 3*s - 1, -3*b + 9 = -s + 4*s. Let r be (363/9)/(s/(-18)). Let w = r + 9424/13. Which is smaller: 0 or w?
w
Let u = -0.073 + 1.373. Suppose -4 = -2*b, 0 = -11*k + 8*k - 4*b - 1. Let z be ((-13)/(-5) + k)*2/2. Which is smaller: u or z?
z
Suppose 5*h + 37 = 6*h + 16. Is h greater than or equal to -23?
True
Suppose -5*s + 5 = -5. Let z be -1 - -3 - s/1. Let w be 16 + 7*6/(-609) + -16. Is w bigger than z?
False
Let s = 28.8 + -29. Let c = 19 + -25.5. Let o = c + 4. Which is greater: s or o?
s
Suppose 4*x = 9*c - 11*c + 36, 4*c - 90 = -2*x. Let t be 4/c*(7 - 1). Is -1/217 < t?
True
Suppose -4*o - 12584 = -4*n, 2*o = 9*n - 8*n - 3150. Is n less than or equal to 3142?
True
Let b(j) = -2*j**2 + 62*j - 61. Let f be b(30). Is 2/251 < f?
False
Let g be 11 + 1 + -1 + -1. Let v be 4/((-2)/((-20)/(-40) + 0/(-3))). Is v smaller than g?
True
Let x = -762/373 + -991679/2984. Which is smaller: x or -335?
-335
Let x(f) = 37*f - 706. Let o be x(19). Let g = -973 - -15539/16. Is g at most as big as o?
False
Let v be -35*(-2)/(-120) - -3*5/60. Is v bigger than -340/11?
True
Let l = 22536 - 879002/39. Which is bigger: l or -4?
l
Let f = -1079 + 1080. Which is smaller: 2/4225 or f?
2/4225
Let q be -1 + (-1)/(-2) + (-10079842)/2428. Which is greater: -4150 or q?
-4150
Suppose 5*g = 2*t - 3*t - 55, 4*g = 2*t + 40. Suppose -20*j - 307 - 293 = 0. Is j at least as big as t?
True
Let w = 8995 - 9273.49. Let x = -279 - w. Which is smaller: x or 1?
x
Let g be (3 - 5)/(2/(-2)). Let a(s) = -s - 23. Let m be a(-8). Let u be (-4 + (-63)/m)*14. Which is smaller: u or g?
g
Let h(f) = -2*f - 8. Let n be h(-2). Which is greater: n or -3/20?
-3/20
Let p be 8/(-12) - (4 + 4431/(-936)). Let q be (2 + (-5)/((-10)/(-6)))/(-1). Which is bigger: q or p?
q
Let i be (-2)/8 + 278/152. Let b = -123 + 132. Suppose -4*w = -5*n - 18, b*w - 2*n - 10 = 6*w. Is w at least i?
True
Suppose -107*d + 111*d = -636. Let v = d - -153. Is v > 24?
False
Let q(s) = -153*s**2 + 4*s - 7. Let j be q(2). Let h be j/(-1105) + (-2)/10. Is h greater than or equal to -1?
True
Let k be 26/(-70) + (-1)/10*4. Let b = 4424 - 4426. Is k at least as big as b?
True
Let x = 4274 + -29844/7. Suppose 2*p - 81 = -59. Which is greater: p or x?
p
Let m be (6/4)/(1/10). Let j = -13 + m. Suppose 3*g = -108 + 120. Which is bigger: j or g?
g
Let q = 4 - -3. Let b = -5287/7 + 31715/42. Which is smaller: q or b?
b
Let n be (-104)/(-28) - (38/14 - 3). Suppose 2*x + n*m - 8 = -2*x, -m = 2*x - 2. Let z(k) = -k + 1. Let h be z(x). Which is smaller: 2/125 or h?
2/125
Let i = 32/27 + -214/135. Let m = 374.02 + -363. Let n = -0.02 + m. Which is smaller: i or n?
i
Let u = -876 - -624. Let w = 224 + u. Are w and 0.2 nonequal?
True
Suppose 7139*v - 39627 = 7167*v - 6167. Is v smaller than -1194?
True
Let l be 3985/(-5)*(1/(-3) + (-14)/(-63)). Which is bigger: l or 89?
89
Suppose -3*o + 166 = -5. Suppose -q + o = 26. Which is greater: 59/2 or q?
q
Let p be 108451/(-28) + 10/8. Let q be p/550 - (-7)/1. Which is greater: 2/9 or q?
2/9
Let h be 0 + (-12)/(-78) - ((-90)/(-65))/9. Is 2/12645 less than h?
False
Let v be (-7)/(-270) - 241/2410. Let a = -1 + 0.3. Let x = a + -2.3. Which is greater: v or x?
v
Suppose y - 57 = -37. Let t be 5/y*(-3 + 4 - 5). Which is bigger: -5 or t?
t
Suppose -2*r + 6 - 2 = 2*o, 20 = 3*r - 4*o. Suppose r*h = 2*x - 10, -3*h - 2*h = x + 16. Which is smaller: h or -2?
h
Let b be 1*2/8*6. Suppose 0 = -z + 5*p - 42, 2*z + 2*p - 18 + 42 = 0. Let a = z + 18. Is a bigger than b?
False
Let f = 529 - 529. Suppose f = h - 4*s + 34, 0 = -h + 5*s - 4*s - 19. Which is smaller: h or -38/3?
h
Let a be 46116/273 + (-4)/(-52). Suppose 4 + 0 = 2*y. Suppose 5*b - a = -3*u, u = -6*b + y*b + 138. Are 0.2 and b non-equal?
True
Let a(o) be the second derivative of -o**5/20 - 19*o**4/12 + 19*o**3/6 - 7*o**2 - 84*o + 1. Let b be a(-20). Which is bigger: 29 or b?
29
Let c = 13324.7 + -13325. Is -8 not equal to c?
True
Let j be 3173/(-14630) - 18/(-33). Is 0 > j?
False
Suppose 15*r - 21 = 12*r. Suppose -207 = -2*b + r. Suppose -b - 163 = 15*s. Which is smaller: s or -17?
s
Suppose 2*t + 668 = 4*q, 0 = 5*q - 4*t - 317 - 521. Let m = q - 166. Let p be 16/6*(-2)/(-8). Which is greater: m or p?
p
Let i = -2168 - -2167. Let f be 6847/21935 - (8/(-10) + 1). Is f greater than or equal to i?
True
Let j = 0.03014 + -54.03014. Which is bigger: 20 or j?
20
Let y be (6 + 4/(-4))*1. Let n be (y/(15/18))/(13/39). Which is smaller: n or 94/5?
n
Suppose -7*g + 3 = -8*g, g - 819 = -m. Do m and 821 have the same value?
False
Let w(k) = 4*k**2 - 73*k - 100. Let d be w(22). Is d at least as big as 242?
False
Let a = -138.7468 + 177.77. Let n = a - 0.0232. Which is greater: n or 3/4?
n
Let p = -17683 + 16755. Which is smaller: -927 or p?
p
Let a = 506.6 - 76.6. Let n = 431 - a. Which is greater: -107 or n?
n
Let r = -400.963 + 401. Let u = -68.963 - r. Is 0 at least as big as u?
True
Let u be (-1714)/10*-10*(-12)/20. Let n = u + 1038. Let q be (2*-1)/((-2)/11). Is n greater than or equal to q?
False
Let i be (-453)/(-1359) + ((-62)/(-3))/1. Which is smaller: i or 11?
11
Let k = 0.267 + -50.267. Suppose -4*y - 4 = -w, -5*y = -5*w + 10 - 5. Which is bigger: w or k?
w
Suppose -96 = -22*r + 10*r. Suppose r*v - 123 = 245. Which is greater: v or 44?
v
Let n = 12134 + -20118173/1658. Are n and 1 equal?
False
Let r(q) = q - 13. Let z be r(13). Let x be (-32)/(-4) + 148/(-808)*44. Which is greater: x or z?
z
Let y = 680.17 - 683. Let b = -0.42 - -0.52. Which is smaller: b or y?
y
Let w = 215979/5278 + -532/13. Let u = w - -367/25375. Which is bigger: u or 0?
u
Let a be (6/91)/(567/(-98)). Which is greater: 1 or a?
1
Let m = 52009/28 + -1857. Let k = 621 - 621. Is m less than k?
False
Let f(q) = q**2 - 2*q - 3. Let g be f(3). Let l be ((-342)/(-24))/(9/24). Let c be (-42)/l + 2 + (4 - 5). Which is greater: c or g?
g
Let i(f) = 27*f**2 - 30*f + 90. Let t be i(3). Let d = t - 244. Which is bigger: d or -1/156?
-1/156
Let r = 439/4032 - -1/448. Let t = -109/4 + 3153/116. Is t > r?
False
Let s be -24 + (2/1)/(-2). Suppose -o = 3*l - 953, 0 = -7*l + 3*l + o + 1273. Suppose -314*u = -l*u - 104. Are s and u non-equal?
True
Let u be 30/5 - ((-208670)/(-12310) - 11). Is -1 != u?
True
Let w be (1/(3/(-1)))/((-3)/(-279)). Let s be (w/(-130))/(448/1880) - 1. Let v = -3057/211120 + s. Which is smaller: v or 0?
v
Let r = 1731 - 1710. Is r bigger than 51?
False
Suppose 0 = -j - 53 + 11. Let q be -45 - (18/63 + 46/(-14)). Is q bigger than j?
False
Suppose 4*y = 4*h + 340, 0 = -3*h + 156*y - 152*y - 255. Let w be (-2 - (-1 - 2)) + -88. Which is smaller: w or h?
w
Let i = 0.88373 + 0.02627. Let k = -1.2 + 0.33. Let v = k + i. Is v equal to 0.9?
False
Let y = 143 + -207. Let a = -65 - y. Which is smaller: 0.12 or a?
a
Suppose 4*y = -3*j - 51, -y = y + j + 23. Let m = 201 + -200. Is m at least as big as y?
True
Let o = -10322 + 10241. Which is smaller: o or -51?
o
Suppose -7*x = -0*x - 28. Suppose s = q - 0*s - 13, 2*s - 76 = -x*q. Let u be (1/(-3))/(q/(-255)). Which is smaller: 16/3 or u?
u
Let i be ((-8)/(-6))/((-3)/54). Let c be (i/(-10))/((-1)/(-10)*4). Let b be 36/6*c/(-4) + 3. Do b and -1 have different values?
True
Let o = -5569.969 - -5571. Is 0.4 not equal