. Let v = -9 - o. Let y = v + -6. Which is bigger: -0.1 or y?
y
Let j = -244 - -259. Let i be 3/j - 1080/(-100). Which is greater: 22 or i?
22
Let u = -105 - -104.08. Let n = 50.08 - u. Let z = -49 + n. Is 14 bigger than z?
True
Let l = -6 - -18. Suppose s + 2*y = 0, -s + 5*y + l = y. Let w be (3/(-14))/((-3)/4). Which is greater: w or s?
s
Suppose -4670 = 15*k - 20*k. Let u be 8 + -8 + (-6)/k. Is 0 >= u?
True
Let i(g) be the third derivative of -g**6/120 + 17*g**5/30 + 17*g**4/12 + 6*g**3 + g**2 - 9. Let h be i(35). Which is smaller: h or 4/111?
4/111
Let t = 855.8 - 859.52. Which is greater: t or -1/3?
-1/3
Let t(w) = -w**2 + 5*w - 9. Let i be t(6). Suppose -y = -2*k + 9, -2*y = -0*y + 6. Let b be k + (-364)/24 - 16/12. Which is smaller: b or i?
i
Let h(k) = 8*k**2 - 79*k + 63. Let v be h(11). Suppose 3*m = 372 + 117. Is m > v?
True
Suppose -3*t = -5*s + 6, s = 2*t - 7 + 4. Suppose -s*w + 23*w = 1700. Is w at least 86?
False
Let w = 279426150 - 37722738284/135. Let h = -1541 - w. Which is smaller: 1 or h?
h
Let s(w) be the third derivative of 13*w**6/120 + w**5/30 - w**4/24 + 7*w**2. Suppose 14*b + 5 = 19*b. Let y be s(b). Is -2 not equal to y?
True
Let l = 0.494 + 1.136. Let a = l - -5.37. Let n = 0 - 0.2. Which is smaller: a or n?
n
Let p = -36 - -7. Let z = -168/251 + 253/753. Which is smaller: p or z?
p
Let v = 11607059/556 + -20876. Which is smaller: v or -1/4?
-1/4
Let y be (-4 + 4)*2/4. Suppose 4*i - 2*m - 14 = y, -5*i - 2*m = -0*m - 4. Let j be 1 + 744/30*5/i. Are j and 63 nonequal?
False
Let g = 332964 - 193451987/581. Let r = g - 2/83. Is r less than or equal to -8?
False
Suppose -2*b - 1046 = -2*g, 4*b + 4*g + 915 + 1161 = 0. Are -526 and b non-equal?
True
Let v be (-130)/195 - 80/(-75). Which is greater: v or -8/459?
v
Let s = 15.7 - -26.3. Let p = s + -58. Is 0 > p?
True
Let n be -3 - 204/(-85) - (-32)/20. Which is bigger: -6/7945 or n?
n
Let j = 382 - 364. Let u be j/10*(-4)/18*15. Is 9 at most as big as u?
False
Let q = -3749/11 - -340. Let o be ((-2)/(462/(-387)))/(-1). Let w = q - o. Which is smaller: 1 or w?
w
Let x be -13 - (-9 + -8 - 248). Which is bigger: x or 1009/4?
1009/4
Suppose 0 = -3*j - 3*y + 8 + 4, 5*j - 14 = -3*y. Let r be ((-36)/(-15) + 0)/(j/(-5)). Let q be 18/84*104/r. Which is bigger: q or -2?
q
Let f = 532/5 - 17536/165. Let n = -274 - -275. Which is greater: n or f?
n
Let u = 147270/11 - 13399. Which is smaller: u or -12?
-12
Suppose 8 = -f - 4. Let o = -79 + 102. Suppose 132 = -35*r + o*r. Which is smaller: r or f?
f
Suppose 189*f + 149*f + 115*f - 54360 = 0. Which is smaller: f or 1562/13?
f
Let f be 14/8 - (6 + (-116)/16). Suppose -16 = f*k + 3*q + 23, -2*k - 3*q = 24. Is k at least as big as -17?
True
Let o be (-2)/3*-3*(-2)/(-6). Let h = 1190 - 105909/89. Which is smaller: h or o?
h
Let u = 176068/189 - 6513/7. Let q = u + -1573/1323. Let b(r) = -r + 6. Let v be b(4). Are q and v nonequal?
True
Let b = 464 + -463.9622. Let f = b - 0.0578. Let v = 8 + -12. Which is smaller: v or f?
v
Let w = 79 - 78.89. Let x = -0.24 + w. Which is smaller: 1 or x?
x
Suppose 1 = -165*a + 166*a. Let n be (-16)/1160*(a - 18/8). Is 0 equal to n?
False
Let q(m) = -11 + 33*m**2 + 3*m - m**3 - 14*m**2 - 14*m**2 - 9*m**2. Let j be q(-5). Let v be 1 - 5 - 0 - j. Is -2 at most v?
False
Let o = 0.654 + -0.436. Let b = o - -2.082. Let s = -0.2 + 0.1. Is b not equal to s?
True
Suppose -v = 5*l + 11, -3*l = -3 + 9. Let w be -9 + (-2 - v) - 2. Is -14 >= w?
False
Let r = -3865.52 - -4115.52. Let b = -3 + 2.9. Is b > r?
False
Let y(r) = 119*r - 341. Let q be y(7). Is q less than 492?
False
Suppose 5*q - q = 2*z - 1860, -4*q + 936 = z. Suppose -10*s = 1848 + z. Is s less than -278?
False
Let x be (365 - -40) + -4 + (0 - -3). Is x greater than or equal to 2/3?
True
Let u be (-9)/((-108)/40)*(-50634)/1015. Is -167 != u?
True
Let n be (-34)/(3 - (3 + 2)). Let u(r) = -r**2 + 4*r + 15. Let y be u(10). Let i be 136/12*(y/6)/(-5). Is i bigger than n?
False
Let s = -24.745 - -24.8. Let v = 11.745 + s. Is v != -2/3?
True
Let g be (-3*(-304)/36 + 2)*(11 - 14). Is g greater than 24?
False
Suppose -i - 5*n - 43 = 0, 2*i - 6*n + n = -131. Let z = 88 + i. Suppose -5*d = -0*d - z. Which is smaller: d or 1/3?
1/3
Suppose 5*a + 3*s = 47, -4*a - 34*s = -35*s - 41. Suppose -50 = -2*o + 2*r, -o + a = -5*r + 5. Which is bigger: o or 16?
o
Suppose 172 = -5*o + o. Let q = 34 + o. Let i = -9 - q. Are i and 16/11 unequal?
True
Let t(a) = -89*a - 3. Let n be t(-1). Let s be (-3*1)/(6 + (-522)/n). Let r = s + -14. Is 27 smaller than r?
True
Let j(f) = 2*f**2 + 43*f - 22. Suppose -23 = 3*r + i + 45, -98 = 4*r + 5*i. Let g be j(r). Let o be (3/(-3) + g)/1. Is -1 less than or equal to o?
True
Let n = 879995/3 + -299025. Which is smaller: n or -5692?
n
Suppose -46191 = 3*k + 3*c, 11*c - 8649 - 37528 = 3*k. Which is smaller: -15395 or k?
k
Let l(d) = 4*d**2 - 27*d + 5. Suppose 7 - 2 = v. Let m be l(v). Let p be ((-145)/15)/((-2)/(-6)). Are m and p nonequal?
True
Let z(i) = -86*i + 187. Let k be z(7). Let n = k - -272. Which is smaller: n or -144?
-144
Let b be ((-189)/(-561288))/((-81)/(-18)*(-1)/6). Is 1 >= b?
True
Let a = 0.064 - -0.206. Let j = a - -3.73. Which is smaller: 36 or j?
j
Let x = 200 - 426. Let r = -227 - x. Is r equal to 61?
False
Suppose 2*j = t + 7, -3*t = -25*j + 23*j + 9. Do t and -20/487 have the same value?
False
Let j(v) = v**3 - 7*v**2 - 22*v - 32. Let a be j(6). Let u = -155 + -45. Is a at least as big as u?
True
Let q be ((-1782)/88 + 19)*-268. Is 338 at least q?
True
Let i be -4 + -8 + 9550625/795875. Is i > 0?
True
Let d = -237 - -268. Suppose -b + 3*m - 12 = -d, -4*b - 2*m = -34. Is 96/11 greater than or equal to b?
False
Let g = -35.9 + 26. Let s = g - -10. Is s greater than -21?
True
Let b(j) = -10*j + 1. Let t be b(1). Let m = -2 + -18. Let v be (2 - (-36)/m)*-5. Which is greater: v or t?
v
Let x = 10 - 6. Suppose -3*h - 5*z + 10 = 57, x*z = -h - 18. Let r be (-5)/2*-4 - (-1088)/(-48). Are r and h unequal?
True
Suppose 0 = 36*o + 47*o + 83. Which is bigger: o or 2/881?
2/881
Suppose -20*y - 2006 = -3*y. Let o be y/16 + (-30)/(-80). Which is smaller: o or -6?
o
Suppose 2*y + 2*y - 17 = -3*v, 16 = -4*y. Suppose -v*k = -14*k + 741. Is k not equal to 247?
False
Let z(n) = n**2 + 3*n - 54. Let h be z(-9). Let i be 5*6/(6 + h). Which is bigger: i or 8?
8
Let s = 4.43 - 0.53. Let t = 1309.1 + -1310. Let r = t + s. Which is bigger: r or 5?
5
Let m be -6 + (7 + -3)/(-3 - (-668)/220). Which is smaller: 314/3 or m?
m
Let l = 105112 - 105125. Let x = 34 - 55. Which is greater: x or l?
l
Let r(t) = t - 1. Let m(b) = b**2 + 4*b - 13. Let c be m(-6). Let x(o) = o**2 + 3*o + 10. Let y(k) = c*x(k) - 2*r(k). Let a be y(-5). Which is bigger: -7 or a?
-7
Let c be (-3)/2*5539766/(-669). Is 12423 bigger than c?
True
Let i = -98320/113 - -870. Which is smaller: i or -1?
-1
Let k = -681 - -680.9334. Let y = k - -0.0666. Which is smaller: y or -1/180?
-1/180
Let i = -1765537645/1272 + 4163798/3. Let l = i + -17/424. Which is smaller: -68 or l?
l
Let w(k) = 13*k - 26. Let q(p) = 6*p - 14. Let n(m) = m + 1. Let s(i) = -n(i) - q(i). Let v(d) = -5*s(d) - 3*w(d). Let j be v(4). Which is smaller: 0 or j?
j
Let h = -146/95 + 7913/760. Which is smaller: 10 or h?
h
Let o = -1436 - 13616. Is -15052 greater than or equal to o?
True
Suppose 19*h = -36 - 21. Let v(m) = -2*m**3 + m**2 - 2*m - 5. Let x be v(h). Are x and 64 equal?
True
Let t = 13513293712 - 11175318227002367/826987. Let s = -82015 - -312559163/3811. Let z = t - s. Which is smaller: z or 0?
0
Suppose 0 = -11*c + 9*c. Are c and -2/7535 nonequal?
True
Let f(r) = -r + 6. Let a be f(5). Suppose -8*k = -2*k - 132. Suppose -2*b + 0*g = g - 2, -k = -2*b + 4*g. Which is smaller: a or b?
a
Let x = -35.53 - -9.53. Which is smaller: 3.2 or x?
x
Let o = -1601/8 - -801/4. Let k = -14 + 19. Let t be k/(-4)*(-24)/(-12). Is o at most as big as t?
False
Let s(j) = -220*j. Let r be s(3). Let q be 2*(-415)/r + (-3)/18. Let g be ((-8)/10)/(7/(-5) - -1). Which is smaller: q or g?
q
Let f be 7/4 - (-13)/52. Suppose -4*a = -y - 36, -f*a = -2*y + y - 26. Let v be ((-3)/12)/((-26)/y). Which is greater: 11 or v?
11
Suppose 4*a - z = -351, 22*z + 348 = -4*a + 26*z. Is a at most as big as -89?
False
Let c = 385 - 391. Let l(h) = -2*