 9354 - 8034. Let d be (-2)/(-4)*(-4)/(-6). Is i smaller than d?
True
Suppose 3*n - 136 = 4*r, -5*n = r + 4*r + 170. Let g = 103940 - 103971. Which is smaller: g or r?
r
Suppose 3*g = -5*t - 0 + 17, -3*t = 4*g - 8. Suppose 0 = t*h + 57 - 21. Let c be 3555/(-450) + 2/5. Which is bigger: c or h?
c
Let y = 6871 - 6867. Is -12 at most as big as y?
True
Let m = 0.595 + -0.795. Suppose 3*c = f - 52, 3*f + 4*c + 248 = 7*f. Which is greater: f or m?
f
Suppose 0 = -f - f + 46. Suppose 377001*s = 376987*s + 378. Which is greater: f or s?
s
Let q(c) = 9*c**2 - 1. Let j be q(-5). Suppose -13*o = -9*o - j. Let u = o - 61. Is u less than or equal to -5?
True
Let o be -1*(-2 + 9 - 1). Let j be 27/o - -5 - 30/188. Is 0 bigger than j?
False
Let j = 2112392.2 - 2112392. Let p = -0.1 + 0.1. Let o = -1 - p. Are j and o unequal?
True
Let z be 20/15 + (-4)/12. Let r be 4 - z - 54/(-14) - -4. Let p = 11 - r. Is 0 equal to p?
False
Let x(f) = -57*f - 70. Let z be x(4). Let d = 2089/7 + z. Which is smaller: d or 0?
0
Suppose 10*f - 409 - 1921 = 0. Let y = f + -238. Which is bigger: -9 or y?
y
Let c be (68/(-15096))/(2/690). Is c less than or equal to -1?
True
Let l = -2.5 - -6.5. Let u = l + -3.8. Let f = -2383.7 + 2386. Which is smaller: u or f?
u
Suppose -z + 3*b = -5, 5*z + 3*b = -2*b - 15. Let v = 6/409 + 32293/1227. Let m = v + -27. Is z less than m?
True
Let j(b) = b**2 + 5*b - 24. Let m be j(-5). Let a(n) = -2*n**3 - 8*n**2 + 7*n - 2. Let d be a(-6). Suppose -4*h = -o + 96, -d = 2*h + 4*o - 34. Is m >= h?
True
Let n be -12 + (-350)/(-120)*4. Which is smaller: -0.119 or n?
n
Let x = 0.103 - 5.633. Let i = 0.08 - x. Let z = 0.39 + i. Is -0.05 at most as big as z?
True
Let m = -231.2 - -198. Let w = m - -34.3. Do w and 11 have different values?
True
Let m = 0.102 + -184.102. Let p = m - -174. Which is bigger: p or -1/17?
-1/17
Let q = -407.4 - -332.4. Which is smaller: q or 2/11?
q
Let r be ((-10)/(-28))/(1/4*1). Let h = -14 + 13. Let g be (-5)/(-15) + 2*h/6. Which is smaller: r or g?
g
Let v(h) = h**3 + 51*h**2 - 35*h + 270. Let b be v(-51). Is 2055 at least b?
True
Let l = -41 - -44. Suppose -l*g + 12 + 6 = 0. Let x be 28 - (4/g)/((-32)/144). Which is smaller: 32 or x?
x
Let a = -5923 + 5919. Which is bigger: 372 or a?
372
Suppose 4 = -36*b + 37*b. Let h be (-6)/909*(-1)/b - 0. Which is smaller: h or 0?
0
Let l(s) be the first derivative of -s**3 + 47*s**2/2 - 26*s - 283. Let c be l(21). Which is greater: c or -361?
-361
Suppose -203 + 212 = -9*f. Which is greater: f or -2/585?
-2/585
Let t = -45 - -24. Let o = -21.36 - t. Let m = o - -0.26. Is m bigger than -7?
True
Suppose 4*p - 22 + 2 = 0. Let l be p + -1 + -6 + 11. Let s be -2 - (3 + l/15). Which is greater: s or -6?
s
Let l be 98406/(-770) + 4/5. Is l less than -121?
True
Suppose -5*z - 185 = -5*m, 2*z + 3*m = -90 + 11. Let x be (-4 + 1)/(1/285). Let y be x/18*(-4)/(-5). Is z <= y?
True
Let j(k) = -k**2 - 5*k - 4. Let p be j(-2). Suppose -3*l = 3*f, 5*l = -3*f + 6 - p. Is f less than or equal to 14?
True
Let y(k) = 35*k - 4. Let s be y(-5). Let x = s + 127. Let b be ((-5)/(50/x))/(3/(-15)). Is -27 > b?
False
Suppose -3*d + 3 = 9. Let f = 97 + -95. Suppose -m + 2*t + 3 = -f*m, t = -2. Is m less than or equal to d?
False
Let r = -1242162111/5588 - -222291. Is -1 greater than or equal to r?
False
Let k = 32085/4 - 8021. Which is smaller: k or -3781?
-3781
Let s = -5163.2 + 5163. Which is greater: 0.2536 or s?
0.2536
Let q = 180 - 181. Let l be (30/36 + q)*-1*4. Is 44 less than or equal to l?
False
Let v(u) = -3*u + 41. Let c be (-1)/(2/(-4))*7/2. Let i be v(c). Is i greater than or equal to 85/4?
False
Let n be (((-9027)/18)/59)/((-1)/1112). Is 9452 smaller than n?
False
Let r(o) = -34*o - 102. Let t be r(-3). Let s be (-960)/(-352) + t + -7. Is -4 <= s?
False
Suppose 1695*f - 1684*f - 154 = 0. Which is smaller: 29/2 or f?
f
Let u = -11127 - -12889. Are u and 2 unequal?
True
Let w be (-165)/(-45)*((-242)/4 + -1). Let h = -217 - w. Is h greater than 8?
True
Let m(l) be the first derivative of 15*l**2/2 - l + 25. Let y be m(1). Let h be (9 - 5 - 34)/(-2). Which is smaller: h or y?
y
Let m be -2 - 3 - (1 - (-572)/(-165)). Is -4 less than m?
True
Let b = 15678 + -3276714/209. Is -1 less than b?
True
Let s be (9/(-10) + 1)*-4. Let m = -48.1 + 520.3. Let v = m + -472. Is s less than or equal to v?
True
Let g(o) = -o**2 - 18*o + 36. Let z be g(-20). Let j be (2/4)/((-1)/(-8)). Suppose -y + j*y = -15. Is z smaller than y?
False
Suppose -528 = -4*r + 12*r. Suppose -6*g = -26*g - 1360. Which is smaller: g or r?
g
Let r be 5/((-5931350)/546335) - 1/(-2). Let l = 14/313 - r. Let a = 387/1516 - l. Which is smaller: 10 or a?
a
Let y be -2*12/(-32)*(-186)/126 + 1. Suppose 2*q - 27 = 5*u, q + 3*q = -4*u - 16. Are y and q unequal?
True
Suppose 6*d - 11*d - 11*d + 752 = 0. Is 39 >= d?
False
Let z be 1/(-12 + (-3131)/(-261)). Which is smaller: z or -2085/8?
z
Let h(a) = -a + 4. Let w be h(3). Suppose -5*t + 2 = 5*y - 3, 0 = -y - 5*t + 13. Let c be 24/63*y/4. Is w > c?
True
Let v = -289438/3 + 91622. Is v less than -4856?
True
Let z = 1735345/377 - 4603. Is z smaller than -1?
False
Let t be 1 - -6 - 957/203*7. Suppose -2*s + 2 = 56. Which is bigger: s or t?
t
Let t = 20 + -20.154. Let c = 130.846 - t. Let f = 131 - c. Is f >= 5?
False
Let y = 2972 - 3199. Which is smaller: -205 or y?
y
Let i = 64.6 + -67. Let m = -93 - -95.16. Let v = m + i. Which is bigger: v or -1?
v
Let v(y) = -49*y - 4. Let p be v(1). Let f = 23 + p. Let u be (13/650)/((-16)/f). Do 1 and u have different values?
True
Let z = 96 + -405. Which is smaller: z or -0.04?
z
Let w(q) = -4*q + 113. Let j be w(20). Is 203/6 greater than j?
True
Let u(q) = -q**2 - 11*q + 52. Let r be u(-12). Suppose 0 = b - 2*b - 3*c, 0 = 2*b - 4*c + r. Let f be b/10 + -5 + 104/20. Which is smaller: f or -7?
-7
Suppose 4*s + 33 = -3*g, -5*g - 45 = -2*s + 7*s. Suppose -5*l = -9*l + 20. Which is bigger: s or l?
l
Suppose -t = -3*j - 6, -3*t - 2 = -3*j - j. Let s(f) = -9*f**2 - 41*f - 14. Let u be s(t). Is 3 >= u?
True
Suppose 0 = 9*c - 5*c + 20, -4*c = 4*g + 28. Let t be 0 + (-233 - g)/3. Let n = t + 21. Is -55 <= n?
False
Let t = 2 - -18. Let i be (-2)/(-8)*(-20 + t). Let q = -20 + 102/5. Which is smaller: q or i?
i
Let u be ((-1)/2)/((-107)/(-214)). Which is smaller: -2/5939 or u?
u
Suppose 31 - 31 = 5*t. Let x be (-6)/((2 + t)*-1). Suppose x*h - 1 = 4*h. Which is smaller: h or -3/13?
h
Let b = -2282 - -2335. Is b not equal to -34?
True
Suppose -3*y + 9 = -2*y. Let z be (24/y)/((-2)/33). Suppose -50 = v + i, 5*v - 3*i + 30 = 4*v. Which is greater: v or z?
z
Let h(c) = 6*c + 9. Let u be h(-7). Let v be (4/(-28))/(-1*3/21). Suppose 8*x - v - 7 = 0. Which is bigger: u or x?
x
Suppose 200 = -0*d - 5*d. Let g(p) = -p**3 + 38*p**2 + 125*p - 122. Let l be g(41). Is d bigger than l?
False
Let i = 547.2 - 37.2. Let k = i - 510.01. Is k > -21?
True
Let h = 55 + -52. Suppose -5*y + 4*t - 1 = 0, -3*t + h = y - 4*y. Let r be 11/y*1 - -1. Is r smaller than -0.1?
False
Let k be (12/8)/((-4617)/72). Which is smaller: k or 1.1?
k
Let b = 0.336 - -191.664. Let r = b + -99. Is r greater than -1/2?
True
Let r be (-31)/(-8) - (-18 - -26). Suppose -6*o = -5*o + 60. Let y be ((-1)/3)/((-5)/o). Which is smaller: r or y?
r
Let s be (-163)/5 - 2*(-18)/60. Is -19 bigger than s?
True
Let p be -42 - (94806/(-1288) + 32). Suppose l = -3*l. Is p <= l?
True
Let b = -210.1 - -209.8. Let r(u) = u**2 + 11*u + 8. Let f be r(-10). Let a be (-2 + 0)*f/4. Are b and a non-equal?
True
Let h be ((-11)/(-3))/(12 - 721956/60156). Let y = h + 2637. Which is smaller: 10 or y?
10
Let w = 2358 + -1112. Suppose -4*v = -g + w, -3*v + g - 4*g = 927. Is -311 smaller than v?
False
Let b be 1287/1430 - (-2)/20. Which is bigger: b or -2/9153?
b
Let v be 0/((-135)/18*(-4)/10). Let o be (-3941)/(-28) + (-6)/8. Let t be 156/o + 4/(-10). Which is smaller: v or t?
v
Let v(u) = u**2 - 261*u - 2469. Let o be v(-9). Which is bigger: o or -11?
-11
Let l be 6/8 + (-2)/(-8). Let u be (286/715)/((-77)/(-42) + 10/(-12)). Is u at least as big as l?
False
Let z = 129 - 128.97. Let l = 362.4 - 363. Do z and l have the same value?
False
Let y(g) = -g**2 - 3*g - 2. Let k be y(-2). Let l = 27/1018 + 455/2036. Which is smaller: l or k?
k
Let m be (545/(-1