605 = 2*l. Which is smaller: l or t?
t
Let q = -2 - -2. Let y = 3326/7 + -482. Let g = y - -2153/315. Is q > g?
True
Let s = -17053 - -28078. Is s at most 11023?
False
Let a = -199429 + 1992139/10. Is a at least -214?
False
Let u be -5 + 942/18 + -4. Let n = u + -15712/363. Is n != 0?
True
Let z = -365 - -381.9. Let b = 16.9 - z. Suppose -5*r + 4*x - 20 = 0, -x = -4*r - 5*x - 16. Is b at most as big as r?
False
Let l = -17 + 5. Let y = -7.226 + 7.1. Let w = 1.126 + y. Is w at most as big as l?
False
Let q = -66317/71 - -934. Let s = 77008810/213 - 361543. Let x = s + q. Which is greater: 0 or x?
x
Let p = 2899 - 2753. Is 149 <= p?
False
Let i = -351 + 184. Let z = -167.3 - i. Which is smaller: 11 or z?
z
Suppose -136*d + 133*d = 3*y - 24, y - 4*d = -12. Let f = 364 - 394.7. Let x = f - -31. Is x greater than or equal to y?
False
Let w = -0.204 + 0.2. Let p be -46 - (2442/(-37) + 22). Is p bigger than w?
False
Let r be (-2)/4 + 5/2. Suppose -2*m + 3 = -i, 3*m - 45 = -5*i - r*m. Let n = 5 - -2/3. Which is greater: n or i?
n
Let h = 16 - 49/3. Let k = -2.2 - -6.71. Let y = k - 4.61. Is h smaller than y?
True
Suppose 0 = 11*m + 708 + 271. Is -1.4 > m?
True
Let y be 8 + 0 + (2125/187 - 22). Do -3 and y have different values?
True
Let w = 207.0083 - 0.0083. Let y = w + -206.9. Which is smaller: y or -2/37?
-2/37
Suppose -75*g + 79*g = 8. Is g greater than or equal to -1330?
True
Let i be (16 - -2) + (0 - -1). Let x be 6462/324 - (-624)/(-351). Is i <= x?
False
Let x be (-59 - 1)*(12/(-16) + 2). Let j be (561/(-22) + 7)/(1/4). Which is smaller: x or j?
x
Suppose -220 = -2*l + 5*l - 4*y, -2*l - 2*y - 142 = 0. Let j be (l/(-48))/((-3)/(-2)). Let b be j*(-30 + (-1)/(-4 - -3)). Which is smaller: b or -28?
b
Let v = 45 - 54. Let h(c) = -11*c - 98. Let r be h(v). Which is smaller: r or 30/29?
r
Let f = 3131 - 3131.1. Which is greater: 38 or f?
38
Suppose 36*o - 8449 + 16369 = 0. Let b(f) = -27*f - 3. Let c be b(8). Which is smaller: o or c?
o
Let k be 0/(1/((-10)/(-15) + 1/(-1))). Is k less than -3/25373?
False
Suppose 26*a - 125 = 21*a. Suppose 4*f = -p - 4*p - a, -4*p - 2*f - 20 = 0. Let w be p/(-2*4/(-32)*-2). Is 11 bigger than w?
True
Let q be 22/110 - 6872/10. Let g be (20/8)/(q/6 + 0). Is g equal to -1?
False
Suppose 0 = -20*g + 25*g - 10, 3*a = 4*g - 1175. Let n = a - -376. Which is greater: n or 0.4?
0.4
Let g(c) = c + 17. Let k(q) = q**2 - 15*q - 14. Let o be k(16). Let y be -1*o/(-5)*(-18 + -2). Let x be g(y). Does 11 = x?
False
Let i = -181.3 + 179.562. Let d = 0.262 - i. Let b = -5.3 - 1.7. Which is greater: d or b?
d
Let f = 2/187 - -5041/748. Let x(p) = p**3 + 19*p**2 + 22*p + 15. Let n be x(-18). Let a be -3*(2 + n/27). Which is smaller: a or f?
a
Let q = 112 + -99. Let w be (-2)/4*(-5 + q)/4. Let n be (-3)/(-2 + w) - 5 - -66. Is 61 != n?
True
Let t be 2/(-5) + (-4904)/120*3. Let j = t + 124. Let c be ((30/24)/5)/((-2)/(-5)). Which is bigger: c or j?
j
Let x = -20 + 20.4. Let r = -30 - -30.06. Which is bigger: r or x?
x
Let f = -95 + 106. Suppose -11 + 0 = -f*g. Let t be g/(-2)*((-20)/4 + 1). Is t > -0.09?
True
Let v = 5/4878 + 862/348777. Which is greater: -0.5 or v?
v
Suppose 0 = 11*d - 2*u + 156579, 0 = 5*u - 39 - 1. Do d and -2/5 have different values?
True
Let h = -0.438 - -1.658. Let r = 4.22 - h. Is r != -3/7?
True
Let b = -94 + 88. Let u be (6 - 3)/(9/b) - -3. Which is smaller: 4/27 or u?
4/27
Let n = 34.261 - -0.139. Let l = 34 - n. Let f = l + -0.6. Is 7/6 at most f?
False
Let n = 6.07 + -7.478. Let k = -0.408 - n. Let t = 1.3 - 2.7. Which is smaller: t or k?
t
Let m = 13086 + -13103.48. Which is smaller: 1 or m?
m
Let k = -2749/36 + 541/9. Does 4 = k?
False
Let y be (1/(-7))/((-128)/512). Let l(k) = k**3 + 6*k**2 - 6*k + 9. Let q be l(-7). Suppose -3*v = -q*v. Is y smaller than v?
False
Let u = -1036 - -1035.9409. Let p = u + -0.4409. Are -0.3 and p unequal?
True
Let c = -4031.7 + 4033. Which is greater: -143 or c?
c
Let a(i) = -11*i + 2. Let v be a(3). Let s be 489/(-163)*(-15)/1. Let g = v + s. Is g >= 13?
True
Let z = 5309 + -5349.03. Let x = 40 + z. Which is bigger: -6 or x?
x
Suppose 8*q - 90 = -114. Let a be 0 + 4/(-4) - 1 - q. Is 57 greater than or equal to a?
True
Let q = 5073 - 4851.9. Let d = q - 221. Which is bigger: d or 8/27?
8/27
Let r be ((-9)/(-6))/((-9)/(-40)). Suppose 23*u = 11*u + 84. Suppose u*c = 10 + 39. Which is greater: r or c?
c
Let l = -45 + 44. Let r be (209/(-66))/(l/(-15)). Which is smaller: -48 or r?
-48
Let b = -265212 - -1319639/5. Let f = b + 7242883/5640. Which is smaller: 0 or f?
f
Let g(c) = -c**2 + 7*c - 6. Let q be g(6). Let i = 9245/68 + -136. Is i < q?
True
Let m = -2461 + 2520. Which is bigger: m or -14?
m
Let t = 174 - 24. Let y be (6/(-528)*6)/(t/(-16)). Which is bigger: -1 or y?
y
Let p = 150 + -150. Let k be p - 6 - 242/(-33). Is 0 at least as big as k?
False
Let x be (90 - 94) + ((-1)/(-5) - 12166/230). Are -56 and x equal?
False
Let i = -1063/43815 - 3/635. Suppose 2*n = -x + 236, -14*x + 18*x - 3*n = 889. Let q = 227 - x. Does q = i?
False
Let o(p) = p**3 + 5*p**2 - 149*p + 17. Let y be o(-15). Is y bigger than 61/20?
False
Let w = -174 - -173. Let l = 1020 + -25504/25. Is w less than l?
True
Suppose 95*l + 372 = 97*l. Let n = 187 - l. Suppose -46 - 82 = 4*b. Which is smaller: b or n?
b
Let n(r) = 14*r + 18*r + 21 + 0*r**2 - 19*r + r**2. Let o be n(-11). Let a be (0 - o/1)*-1. Which is smaller: a or 2/5?
a
Suppose -5*j + 2349 = 3*n, 2*j = 9*n - 6*n - 2349. Let d = -295309 - -8541257/29. Let g = n + d. Is g greater than 0?
True
Let r be (5 - 3)*1/(-2). Let w = 5251815/334 + -15724. Which is greater: w or r?
w
Suppose -2*i = 0, -2*i - 3*i + 59 - 3407 = -12*s. Are s and 275 non-equal?
True
Suppose -118*k = -334*k + 6638 + 10210. Which is bigger: k or 79?
79
Let q be ((-138)/(-2852))/((-117)/6). Let b(c) = -c + 6. Let x be b(6). Is x greater than q?
True
Let r be 0/3 + -1 + -9. Let a = 253 + -254. Let z be 13/((-104)/56) - 0/a. Are r and z unequal?
True
Suppose 4*p + 20 = -5*u + 122, 3*u = p + 51. Suppose u*k + 85 - 445 = 0. Which is bigger: k or 39/2?
k
Suppose -76*f + 173784 = -232*f. Is f less than -1115?
False
Let t be (-3 - (2 - 7))*1. Let b be 2/(16/6 - t). Let s be b*(-4 + (-52)/(-12)). Is s smaller than 18/13?
True
Suppose -4*q - k = -65 + 75, 4 = 2*k. Is q greater than 6?
False
Let d(r) = -r**2 + 17*r - 5. Let v be d(18). Let u be (-71)/(-4) + (-13)/(-52). Let h = v + u. Is -6 greater than or equal to h?
False
Let w = -2868386/785 - -3654. Which is smaller: w or 0?
0
Let p = 140140 - 140148. Let t be 4/6 + (-124)/15. Which is bigger: p or t?
t
Let m = 4.95 - -196.05. Let q = -234 + m. Which is greater: q or -0.03?
-0.03
Let g = 502.252 - 502.04. Let v = 2 + -1.7. Which is bigger: v or g?
v
Let r = 144 + -138. Suppose -5*h = 3*k - 49, 8*k + 18 = 3*h + r*k. Which is smaller: h or 41/5?
h
Suppose 44 = -10*y - 176. Let q be (-2272)/(-144) + -1 + y/(-18). Is q bigger than 3?
True
Let j(w) = -w**3 + 2*w**2 + 4*w. Let l be j(3). Let m be (-8)/l*4/24*9. Which is greater: -6 or m?
m
Suppose 2*u = 106 - 22. Let q = -43 + u. Let s be q/(6/(-4) - 0). Is 1 greater than or equal to s?
True
Let c = -19 + 19.054. Let p = c - 0.067. Let m = 0.009 - p. Is -1/2 less than or equal to m?
True
Let l be 16 + ((-4)/18 - (-215)/(-45)). Suppose y = -0 - 4. Let c be (-2)/y - (-152)/16. Is c equal to l?
False
Let g = 14618 - 10159512/695. Are 0 and g equal?
False
Let g = 514 + -512.01. Let r = -2.29 + g. Which is smaller: r or -8/11?
-8/11
Let w = 27 - 55. Let f = w - -26. Let y = -19 - -12. Is y less than or equal to f?
True
Let z(f) = -f + 11. Let t be z(7). Suppose -145 = -5*i + t*g, -i + 50 = 5*g - 8. Let k = 30 - i. Is k greater than -17/7?
False
Suppose 5*l + 78 = x, 5*l + 3*x + 58 + 8 = 0. Let o = l + 14. Let q = -281 + 6181/22. Do q and o have the same value?
False
Let r(h) = -h**2 - 24*h + 703. Let u be r(-41). Suppose 5*b - n = 3*n + 36, 3*n = -12. Which is bigger: b or u?
u
Suppose -4*n - 171 = -5*m + 251, 2*m - 174 = -n. Let z = m + -89. Which is smaller: z or -12?
-12
Suppose 5*f = -x + 19, 2*f - 3*x = -0*x + 11. Let q be 0*f/8*(-1)/1. Let j = -56/23 + 1189/460. Which is smaller: j or q?
q
Let i = -70 + 73. Suppose -4*w + 17 = -i*h, -4*h - 1 = -22*w + 21*w. Which is greater: -20 or h?
h
L