Let f(i) = 209*i - 769. Let t be f(7). Is 697 < t?
False
Suppose -m + 4 = -2*s, -27*s + 3 = -24*s + 3*m. Which is smaller: -8/95 or s?
s
Suppose -13 = -5*t + 32. Let n = -951/1180 + 7/1180. Which is smaller: t or n?
n
Let b be 30/50 + (-26)/60 + 48/36. Which is smaller: b or -0.042?
-0.042
Let o(p) = -p + 7. Let r be o(5). Suppose s + r*s + 12 = 0. Which is smaller: -5 or s?
-5
Let x be (2068/47047)/(4*(-2)/(-52)). Is -0.04651 greater than or equal to x?
False
Let y = 1879356/35 - 53692. Let m be ((-18)/56)/(3/40). Let h = m + y. Which is smaller: -0.1 or h?
h
Let t be (2 + 1)*957/(-429). Let f = -179/52 - t. Which is smaller: f or 2?
2
Let j be 9/6*(-1824)/(-43632). Which is smaller: -1 or j?
-1
Let l be -40*8/(-15)*24/3488. Let u = l + -1015/4687. Are u and 0 non-equal?
True
Let k be (2/(-16))/((-4)/(-20)). Let w = -70.1 + -11.8. Let b = w + 82. Is k at least as big as b?
False
Let i = 892 + -889. Let a(t) = t**3 + t + 1. Let d be a(0). Let u be (1 + (-16)/14)/d. Is u at most as big as i?
True
Suppose -4*y - 6817 = -3*f, 2255 = f + 60*y - 57*y. Which is smaller: 2268 or f?
f
Let p = -21695 + 21651. Which is smaller: p or -0.41?
p
Suppose 114*c - 109*c + 210 = 0. Let k be 12/c - 332/(-84). Is 5 greater than k?
True
Let v be 6*(65/(-60) - (-3)/4). Let z be 1*2 + 12*v/(-8). Suppose -28 = y - z*y. Is 9 != y?
True
Let y(r) = r + 81. Let z(h) = -2*h - 164. Let o(p) = 9*y(p) + 4*z(p). Let i be o(21). Is 280/3 at most as big as i?
True
Suppose -v = -11*v - 20. Let k be (1116/8)/9 - v/(-4). Let y be 10/k - (196/12)/(-7). Which is greater: y or -2?
y
Let o be ((-4)/(-2))/(-5*1). Let x(z) = z - 43. Let h(i) = 43. Let t(n) = 7*h(n) + 6*x(n). Let q be t(-7). Is o at least as big as q?
False
Suppose 6*q + 405 = 429. Let w be 4*(1/q)/(-11 + 12). Which is smaller: w or 11/23?
11/23
Let m = 44729/11 + -4069. Suppose 1516 = 4505*a - 4884*a. Is m < a?
False
Let x = -107.9264 + 108.08. Which is greater: 0.1 or x?
x
Let y(v) = 2*v. Let g(j) = -5*j - 5. Let w(o) = -g(o) - 3*y(o). Let a be w(5). Is a != 4?
True
Suppose 33 = 6*w - 129. Let a be (4 - -1) + (-198)/w. Which is smaller: a or -0.02?
a
Suppose -2*c = -4*k + 268, 0 = 4*k - c + 4*c - 288. Suppose -2*o + 23 = -k. Suppose 0 = 3*j + 4*u - 157, 0 = -2*u - u + 12. Which is smaller: o or j?
o
Suppose 5*s - 5250 = 37*s + 12862. Which is greater: -565 or s?
-565
Let g = 346 + -347. Let p = -80 - -79.951. Let s = 2.149 + p. Which is smaller: s or g?
g
Let d(j) = -j**3 + 4*j**2 + j - 3. Let b be d(-3). Suppose 4*l + 17 = b. Let y = -832 - -843. Is y at most as big as l?
False
Suppose f + 1180 = -3*f - 4*a, f - 4*a = -300. Let u = f + 295. Does u = -2?
False
Let r(t) = 77*t + 208. Let y be r(-18). Which is bigger: -1175 or y?
-1175
Let j(l) = l**3 + 11*l**2 + l + 21. Let z be j(-11). Let t be 206/z*100/(-11960). Let g = 15/46 + t. Which is bigger: 2/5 or g?
2/5
Let i = -691 + 701. Is 295/34 smaller than i?
True
Let j = -0.5705 - -0.6705. Does j = -0.135?
False
Let u = -10.05 + 8.05. Is u at least as big as -345?
True
Let q = -0.8 + 15.8. Let c = q + -6. Let r = 60 - 58. Are r and c unequal?
True
Let b be 4 - (2493/81 + -12). Which is bigger: -14 or b?
-14
Let y be (-2)/(((-50)/(-9230))/(-5)). Is 1846 smaller than y?
False
Suppose -6*l = -268 + 28. Suppose z + 3 = 0, 4*z + l = 3*h + 34. Suppose 5*q - 77 = 3*n, 5*n + 3*q + 190 = -q. Is h bigger than n?
True
Let o be ((-145)/(-40))/(4 - (-144)/(-18)). Do -3/2 and o have different values?
True
Suppose 0 = 137*c - 173*c. Are c and 1923 nonequal?
True
Let y(i) = 2*i**2 + 47*i - 189. Let c be y(6). Suppose 3*p + 0*p - 498 = 0. Is p at least as big as c?
True
Let k be ((-112)/5)/((-6)/35*28/(-1428)). Is k <= 0.2?
True
Suppose 5*b - 2947 = 2*n, -4*b + 2975 = -2*n - 3*b. Which is bigger: n or -1489?
-1489
Suppose -28 = 2*m - 7*m - 4*r, -4*r - 12 = 0. Let k be (-39)/(m/(-10)*(-7)/28). Let q = -2147/11 - k. Which is greater: 0 or q?
0
Let h = 63 - -63. Suppose -2*z = s - 0*s - 51, 0 = -2*s + 4*z + h. Suppose 2*q + 17 = s. Which is smaller: q or 19?
19
Let l = -21.2 - -23. Let x = 1.0182 + 0.0818. Is l less than or equal to x?
False
Suppose 46*b + 34953 = 237*b. Which is smaller: 159 or b?
159
Suppose 0 = -5*l + t - 46 - 21, -t - 24 = 2*l. Let w be (l + 10)*(-4)/6. Let g be w/(-12) - ((-193)/(-66) + -3). Which is greater: 0 or g?
0
Suppose -188*n - 24 = -190*n. Let d(x) = 26*x - 130. Let j be d(n). Is j at most as big as 183?
True
Let d be 2/8 - (957/(-12) + 2). Let z = -74 + d. Let i be 30/105 + z/(-7). Which is bigger: 0 or i?
0
Let u = 0.202 + -12.202. Let m = u + 47. Let l = -3 - -3.1. Does m = l?
False
Let u = -3381 + 6057. Suppose 0 = 6*v - 12396 + u. Let r be 8/(-52) + v/52. Which is greater: 30 or r?
r
Let h(p) = -p**3 + 5*p**2 - 9*p + 90. Let i be h(6). Let b(w) = w - 1. Let v be b(-2). Let g be -2 - v - (-1)/1. Do i and g have the same value?
False
Let b = 31.986 - -0.014. Let n = -4.6056 - -4.7056. Is b smaller than n?
False
Let u be (-44780)/(-29880) - (-6)/(-4). Do -1 and u have the same value?
False
Let x = -13711.7 - -13710. Let r = 1 - 0.8. Let b = -2.2 + r. Which is smaller: x or b?
b
Let q = -9118 + 11541. Which is bigger: q or -1/2?
q
Let a be -2 + 2 + (-1131540)/(-75435) + -15. Which is smaller: -1 or a?
-1
Let q = 61.8 - 60.03. Let h = -22.77 + q. Let b = 0 - -1. Are b and h equal?
False
Let b = -12478/143 + 1158/13. Let i(v) = v**2 - 4*v + 5. Suppose 8*r - 5*r + 4 = -l, 2*r + 2 = -l. Let h be i(l). Is h less than b?
True
Suppose 2*a = -6, -35*p = -37*p - 4*a + 404. Which is smaller: 5/4 or p?
5/4
Let z = 66 - 1651/25. Suppose b + 96 = -7*g + 8*g, 4*b - 288 = -3*g. Suppose -3*y = g - 96. Which is smaller: z or y?
z
Let y be (10332/189)/((-44)/18). Which is smaller: -21 or y?
y
Let t be 3/(-8) + (-5782960)/(-640). Which is greater: 9037 or t?
9037
Let f(s) = -17*s + 74. Let w be f(5). Let u(q) = 2*q**2 + 11*q + 5. Let d be u(-3). Which is smaller: w or d?
w
Let i = 5/1058 - 639/23276. Are 0.6 and i nonequal?
True
Let o = -1682 - -1612. Is o > -780/11?
True
Let m = -15 + 33. Let t be -9*10/180*3/(24/(-274)). Which is smaller: t or m?
t
Let t = -1660 + 1564. Do t and -671/7 have the same value?
False
Let z(p) = -171*p**2 + 59*p - 179. Let i be z(3). Is -1541 <= i?
True
Let v = -3.9 - -3.744. Let m = 0.156 + v. Let i(t) = -t**3 - 11*t**2 + 13*t - 4. Let u be i(-12). Are m and u non-equal?
True
Let p = -30.98 - -31. Let g = 5.98 + p. Let l = -6 + g. Do l and 0.9 have different values?
True
Let t be (2/35)/((-1)/(-5)). Let p = -524 + 32. Let u = p - -474. Is t <= u?
False
Let p = 944/695895 - -7/2729. Let u(s) = s - 3. Let g be u(4). Is p at least g?
False
Let f be ((-4)/6)/(657/27). Let x = 205/511 - f. Let r = 55 - 54. Is x < r?
True
Let h = 72 - 80. Let v = h - -7.55. Let y = -3.55 + v. Which is smaller: y or 1/4?
y
Suppose -218 = 33*d - 8762 - 4920. Is d at most 401?
False
Suppose -206*x = 197*x + 1527370. Which is bigger: x or -3794?
x
Let n = -404 - -405.89. Let f = 3977 + -11933/3. Which is smaller: n or f?
f
Suppose 9*d + 3 = 165. Is -11.1 equal to d?
False
Let a be -4*(-39)/30*-30*25/600. Suppose -2*p = -9 + 25. Is a less than or equal to p?
False
Let l = -230.3 + 215. Let z = l - -15.3. Are z and 119 non-equal?
True
Let x = 111 - -52. Suppose 7*n - x + 30 = 0. Suppose n = o + 18. Which is smaller: o or 1/35?
1/35
Let p(b) = -b - 4. Let w be p(-6). Suppose w*i = i - 40. Let z be (-10)/(-44)*8/i. Which is bigger: z or 0?
0
Let m be (2 - (-55)/(-25)) + (-39)/5. Let a be (1 - 3)/m - (-37)/(-152). Which is bigger: -1 or a?
a
Let p = 2382 + -2381.8. Which is bigger: p or -10.66?
p
Let b(w) = -w**3 + 16*w**2 - 15*w + 15. Let q be b(15). Let y = q - 5. Suppose -2 - y = 6*j. Is -2 at most j?
True
Let v(k) = -47*k - 75. Let q be v(-5). Let r = 162 - q. Which is bigger: r or -3/14?
r
Let d = 25576 - 25574. Let m be 0/(-2)*1/(-2). Are m and d nonequal?
True
Let g = 3/224 + -239/1120. Let q = 0.03 - 9.03. Are g and q equal?
False
Let c be -2*20/(-2 - (-20)/15). Let o be (12/c)/((-16)/(-5))*-7. Are -1 and o equal?
False
Let q = -2843 + 3489. Is q greater than or equal to 649?
False
Let n be -1*129 + (-194)/97. Which is smaller: -118 or n?
n
Let g = -145 + 120. Let z be 2/7 - g/35. Which is smaller: -1/8 or z?
-1/8
Let k be (-7150866)/2862 + (-4)/9. Which is smalle