ler: q or 0?
0
Let o = -69 - -70. Suppose -29 + o = 2*h. Let x = 1 - h. Is x less than 12?
False
Let o = 141.4654 - 141.24. Which is bigger: -1/5 or o?
o
Suppose 0 = 3*n - 3, 3*s + 5*n + 33 = -556. Are -199 and s non-equal?
True
Suppose 136 = -j - 2*h, -2*j - 60 = -h + 187. Let w = -229 - j. Which is greater: -102 or w?
-102
Let h(u) = -1263*u + 4088. Let j be h(6). Does j = -3492?
False
Let n = 129 - 143. Let s(f) = f**2 - 4*f + 5. Let w be s(1). Let k be 5 + (w - 59)/3. Is k > n?
False
Let z be 1538/3 + (-45)/(-54) + (-2 - -3). Which is smaller: 515 or z?
z
Let g = 29511.1 + -29511.4. Let z = 3/913 + -2093/81257. Is g equal to z?
False
Let d = -862 - -869. Let x be -2 - (d + 0 + -8). Which is smaller: -2/423 or x?
x
Let c be 3/(-6) - 23214/212. Which is bigger: c or -1207/11?
-1207/11
Let k = 3915.9801 + -3916. Which is smaller: k or 2/5?
k
Suppose 6*l - 163404 = 8*l - 70*l. Is l at least as big as 2402?
True
Let j(w) = 3*w**2 - 82*w + 370. Let o be j(7). Which is smaller: -389/7 or o?
o
Let v be ((-1 - -4) + (-4 - -1))/(-2). Suppose -137*u + 140*u - 102 = v. Let q = 60 + -25. Are u and q non-equal?
True
Let g = -42.92 + 45.92. Which is smaller: 1282 or g?
g
Let v be (-1)/(5 + -7 + 3027/1512). Let s be (-528)/v + 1/(-3). Is 5 < s?
False
Let z(n) = 23*n + 70. Let f be z(-3). Let w be (434/(-35) + 12)/(f/5). Which is smaller: -14/17 or w?
w
Let w(f) = -2*f + 47. Let q(u) = -2*u + 43. Let b(s) = -3*q(s) + 2*w(s). Let c be b(23). Is c at least as big as 15?
False
Let c = 521/28620 - 7/212. Let n(r) = -5*r - 13. Let l(s) = 4*s + 13. Let t(f) = -4*l(f) - 3*n(f). Let d be t(-13). Which is greater: c or d?
d
Let x(h) = h**2 - 25*h + 46. Let s be x(23). Suppose b - 7 = f - 1, s = -2*b - f + 12. Suppose -23*q + b*q - 204 = 0. Is q less than 3?
True
Let z = 1 - 0. Let r = -11122/1422435 + 4/4991. Is r smaller than z?
True
Let q = 78 + 575. Let p = q + -568. Which is bigger: p or -0.1?
p
Let d be (64/(-176))/((-3)/33). Let h be -3 + -1 + d/((-44)/(-803)). Suppose -5*f + 4*a + 320 = 0, 0*a + 257 = 4*f - 3*a. Is f greater than or equal to h?
False
Let s(k) = -3*k**3 + k**2 + k - 2. Let n be s(2). Let u be n/(-75)*(-3)/(-2). Let l = 42 - 33. Is l at least as big as u?
True
Let z = 178.873 - 179. Let k = z - -0.227. Which is bigger: k or 5/9?
5/9
Let n(t) be the second derivative of -4*t**3/3 + 37*t**2/2 + 34*t. Suppose -4*w - 3*b = b - 20, 4*b + 1 = 3*w. Let y be n(w). Which is greater: -4 or y?
y
Let w be 1 - (0 - (-6544)/(-44)). Let r = 98567/660 - w. Let g = -1/20 - r. Are g and 0.13 non-equal?
True
Let x(b) = 49*b**2 - 16*b - 28. Let a be x(-2). Suppose -2*m + 3*l + 120 = 0, -4*l + a = 5*m - m. Is m < 55?
True
Suppose -194*j + 248*j - 40 - 14 = 0. Is -15/122 smaller than j?
True
Suppose 3*l + 4*j = 123, 5*j + 0 = l - 22. Let g = l - 500. Is -463 < g?
False
Let a = 190 - 379/2. Let o be (-127024)/238 + 1 + (-18)/14. Is o at most a?
True
Suppose -775*j - 6195 - 3293 = -182*j. Let g = -3 - -5. Let l = -6 + g. Is j greater than or equal to l?
False
Let t be (12 + 56/(-7))/(-382). Is t > -3/11?
True
Let d = 268 + -267.98. Let q = d + 0.04. Which is bigger: q or 0.02?
q
Let r = 11/8387 - -432/31644151. Which is smaller: -1 or r?
-1
Let y(n) = n**2 - 35*n - 22. Let k be y(25). Suppose 5*t + 1491 = 126. Is k < t?
False
Suppose -14*v - 24 = 4. Let j(a) = a**3 - 13*a**2 + 35*a + 5. Let n be j(9). Which is greater: v or n?
v
Let u = -3641 + 3679. Let j = -0.102 + -41.898. Let y = u + j. Which is smaller: 1 or y?
y
Let p be (-434)/(-558) - ((-8)/(-9))/(-4). Which is greater: 4/363 or p?
p
Suppose -96485 - 58358 = 43*a. Do -3603 and a have different values?
True
Let z = 184 - 89. Let o = 101 - z. Which is bigger: o or 0?
o
Let n = -1.95 + 2. Let q = 23681.18 + -23681. Do n and q have the same value?
False
Let o = 2/23161 + -71812/295186945. Is o not equal to 1?
True
Suppose 0 = -8*u + 4*u + 92. Let k(t) = -2*t + 2*t - 9*t + 6*t - u. Let f be k(-8). Are 8/7 and f unequal?
True
Let c be 29/6*(-22 + 28). Let m(l) = l**2 + 6*l - 23. Let n be m(-9). Suppose -5*d + 74 = 2*g - d, -n*g = 2*d - 118. Which is bigger: g or c?
c
Suppose 5*z + 1522 = -5*d + 1547, 0 = -2*z + 3*d - 10. Let r = 5177 + -2536729/490. Does r = z?
False
Let q(t) = t**2 - 9. Let k be -1 + -2 + -7 + 4. Let p(f) = -f**3 - 6*f**2 + f + 9. Let r be p(k). Let b be q(r). Is -6 greater than b?
False
Let j(r) = 3*r - 2. Let v be j(2). Let s = 172 - 112. Suppose -41*m = -s*m + 76. Does m = v?
True
Suppose 7*g - v = 5*g - 253, -v + 631 = -5*g. Let x = g - -628/5. Let o = -0.5 + 19.5. Which is bigger: o or x?
o
Suppose 2*k - 17*g + 24536 = -20*g, 0 = 3*k + 2*g + 36784. Does k = -12254?
False
Let b be 5*(-5)/(-50)*2. Let q be 92 + ((-8)/b)/(-4) + 1. Let n = -97 + q. Is -1/2 not equal to n?
True
Let k = 3809 - 3856. Which is smaller: -30 or k?
k
Let b be ((-195)/20 + 4)*-4. Suppose -b = -c + 4*x, -4*c = 4*x - 3*x - 7. Let a be -3 - (2 - (-13)/(-2)). Which is smaller: a or c?
a
Let b be (-1)/58*748196/10. Suppose 5164 = -4*r - 2*s, 2*r - 34*s + 2584 = -36*s. Let y = r - b. Which is smaller: -1 or y?
-1
Let v be ((-24)/20)/(2/5) - -13. Let w = v + -12. Let u be (-1)/w*22/1. Do u and 1/5 have the same value?
False
Suppose 4*m - v + 1469 = 0, 2*m + 643 + 81 = 4*v. Let s = m + 371. Let u be (0 - -3)*(-4)/(-54). Which is bigger: u or s?
s
Let n = -76012/11 - -6910. Which is smaller: -272 or n?
-272
Let h = 30655.59 + -30654. Is -8 smaller than h?
True
Let v = 0.3 + 0.2. Let x = -72296.3 - -72296. Is x at least as big as v?
False
Let y be (8/(-6))/((-4)/138). Suppose -6 + y = 5*g. Suppose -3 = a + 2*h, -16*h + 13*h - 3 = a. Which is smaller: g or a?
a
Let z(p) = 3*p**2 + 193*p - 128. Let i be z(-60). Which is bigger: i or 7?
7
Let i be (-50 + 47)/((-9)/(-135)). Let p be 0 - ((-366)/(-8) + 0). Which is smaller: p or i?
p
Suppose 0 = 5*a + 5*j - 3*j - 75, 5*a = -5*j + 60. Let z be (-1)/(2/(-30)*3). Suppose 12 = 5*u - 4*k - 0, z*k + 15 = 0. Is u at least a?
False
Let c = 12/31 + -141/124. Let z be (6/9)/(104/6). Is c not equal to z?
True
Let j = -2 + 2. Let c be (-4 + -2)*((-28985)/(-4836) - 6). Is j bigger than c?
False
Let q = -3153 - -3153. Which is smaller: q or -2/1039?
-2/1039
Let k = 108 + -108.02. Let p = -130 - -128. Which is bigger: p or k?
k
Let o = 23 + 65. Let g = 92.6 - 5.6. Let i = o - g. Which is smaller: i or -60?
-60
Let d = -6505.37 + 6501. Which is smaller: -4 or d?
d
Let t(q) = -26*q**3 + 3. Let k be t(2). Let z = k + 204. Let x = 8024/23 + -349. Which is smaller: z or x?
z
Let b be (6 - 2) + (30 - -17). Let g = b - 26. Is 25 smaller than g?
False
Let l(s) = 15*s**2 - 6*s - 16. Let v(k) = k**2 - 4*k - 62. Let r be v(10). Let u be l(r). Which is smaller: u or 55?
55
Let t(w) be the third derivative of w**6/120 - w**5/60 - w**4/4 - w**3/6 + 73*w**2. Let m be t(3). Which is smaller: m or 2?
m
Let c = -103 + 595. Suppose -3*t = -5*w + c + 582, 4*w + t = 866. Which is greater: w or 215?
w
Let w = 2254 + -2020.3. Let z = w - 26.7. Which is smaller: -1 or z?
-1
Let g(o) = o**2 + 229*o + 6901. Let j be g(-35). Let b = 94 - -18. Is j bigger than b?
False
Let x(h) = 2*h - 31*h**3 - 17 + 13*h**3 + 19*h**3. Let r be x(0). Let z(p) = 2*p + 14. Let o be z(r). Is -21 < o?
True
Let i be 9 + -6 + 2 + 173. Let o = 181 - i. Is o equal to 9/4?
False
Suppose -2*x - 8 = -4*x - 5*v, -10 = -x - 4*v. Let t(n) = -n**3 - 9*n**2 - 19*n - 6. Let m be t(x). Which is smaller: m or -2/7?
-2/7
Let o(l) be the first derivative of -l**2/2 + 19*l - 2. Let y be o(10). Let s be 160/(-9) - ((-25)/y + 3). Are s and 2/7 equal?
False
Let c = 22 + -99. Let f = 16815.8 + -16816. Which is greater: c or f?
f
Let k = -3108135168/5 + 3067747282186/4935. Let c = k + -10864/3. Which is bigger: c or -1?
c
Suppose 2*b - 2*n = b - 3, -2*n + 7 = 3*b. Let h = -5402 - -1582788/293. Which is bigger: b or h?
b
Let c(s) = s**3 - 3*s**2 + 3*s - 7. Let h be c(3). Let l(a) = -2*a**2 + 2*a - 5. Let r be l(h). Which is greater: -48/5 or r?
r
Let u be (-6 + 41)/(-7) - 247. Is -247 smaller than u?
False
Suppose -5*s - 14 = -7*s. Let m be (s - 12) + (-170)/2. Let w be -4 - (41/7)/(m/(-105)). Is -12 greater than or equal to w?
False
Let s(a) = 133*a - 3209. Let x be s(25). Which is greater: 96 or x?
x
Let a be (-183)/5 + (-4)/10. Let f be -5 - (10 - (5 - 2)). Let y 