2 - 2428. Which is smaller: q or 0?
0
Let x = 117.4179 + -117.4. Is x at most 0.1?
True
Suppose 0 = -9*f + 4*f + 70. Let d = f + -11. Which is smaller: 5 or d?
d
Suppose 0 = -0*r + 4*r + m - 151, -2*m = -2*r + 88. Is 189/5 > r?
False
Let j(m) = -19*m**2 + 7*m + 6. Let s be j(6). Let c = s + 1892/3. Is -6 > c?
False
Suppose 8 = -3*q + 7*q. Let w be (2 + -1)*2/q. Let i be -2 + (-14)/(-6) - 42/(-54). Which is bigger: w or i?
i
Let i = 1495.01 + -1478. Let m = i + -17. Is m smaller than -1/6?
False
Let d = 0 + -1. Let u = -14633/6970 - 2/3485. Which is smaller: u or d?
u
Let y = -422 + 421.95. Is -9 equal to y?
False
Let u(d) = d**3 + 7*d**2 - 13*d - 5. Let q be u(-9). Which is greater: -51 or q?
q
Let w(k) = -k**3 + 27*k**2 - 28*k + 50. Let o be w(26). Is o smaller than 0?
True
Let b be (1 - 205)/3 - 52/13. Let c = b - -85. Let f = -21 + 34. Is f <= c?
True
Suppose -9*s + 1275 - 1284 = 0. Which is bigger: 6/235 or s?
6/235
Suppose 100 + 15 = 5*g. Let r = -23 + g. Is r less than or equal to 1/10?
True
Let q = -34.09 + 34.09. Let w be (1/8)/((-1)/2). Which is smaller: w or q?
w
Let f = 1659 - 1609. Is 1/3 less than f?
True
Let c be (1 - -57)/(-8 - -10). Let n(j) = 5*j - 31. Let p be n(12). Are c and p non-equal?
False
Let c = 124 + 1. Let a = -125 + c. Suppose -2*i + 7*j - 2*j = 10, 3*i - 4*j + 8 = 0. Does i = a?
True
Suppose 100*g + d - 85 = 104*g, d = -5*g - 113. Which is smaller: g or 3?
g
Let v = 53.4 - -0.6. Let m = 661 - 1321/2. Is m < v?
True
Let u = 34.74 - 35. Is u <= 1/3?
True
Let g = 8.32 - -36.78. Let k = -45 + g. Do k and -0.8 have the same value?
False
Let h be -10*-7*(-7)/49. Which is smaller: -18 or h?
-18
Let l be (-12)/(-6) - 3 - 0. Let w be 18/117 - (0 - 0). Which is greater: w or l?
w
Let v(x) be the second derivative of -2*x**3/3 + x**2 - 7*x. Let n be v(6). Let f = 23 + n. Which is bigger: f or 3?
3
Let g = -53.7 + -3.3. Let q = -39 - g. Which is smaller: q or -1/3?
-1/3
Let q = -0.0125 - -0.0125. Is -1/21 greater than or equal to q?
False
Suppose 1 = 4*c + 9. Let w = c - -7. Suppose 3*q = 4*q - 2*j - 8, w*q - 5*j = 15. Is -1 at most as big as q?
False
Let g be -1422 - 10/4*8/30. Let h = g - -1410. Is -13 at most h?
True
Let x = -14.49 + 15.5. Let a = x - 0.01. Let q = 139 + -133. Is a less than q?
True
Let k be -5 + -1 + 3 + 2. Let d be (k + 1)*1/2. Is 2 bigger than d?
True
Let l(d) = -d**2 - 5*d + 4. Suppose 2*j + h = -2*h - 24, -2*h + 10 = -3*j. Let f be l(j). Are -1 and f equal?
False
Let p be (4/(-16))/(3/942). Is -79 at least p?
False
Let q(c) = 24*c**3 - c. Let b be q(1). Suppose -39*g - b = -40*g. Is g equal to 22?
False
Suppose -4*v + 2*v = -2, -k - 5 = -5*v. Suppose -5*w + 5*p + 40 = k, -2*w + p - 3*p = -32. Let y = 8 - w. Which is greater: -7 or y?
y
Let q = -10 + 15. Suppose 0 = -3*y, q*h - 2*y = -3*y - 825. Let r be (-308)/h - (-4)/(-6). Is r less than 2?
True
Let y = -34926/5 + 6955. Let k = -2864/95 - y. Let p = 25/114 - k. Which is smaller: p or 0?
0
Let j = -21.947 + -0.053. Let l = -22.3 - j. Let f = -1 + 1. Which is smaller: f or l?
l
Suppose 1 - 5 = -4*f. Let n(j) = -j**2 - 17*j + 21. Let t be n(-17). Let q be t/(-9) + 1/3. Is q less than f?
True
Let f(o) = 8*o - 64. Let x be f(8). Which is smaller: -2/341 or x?
-2/341
Let j(g) = -5 - 481*g**2 - 3*g + 478*g**2 - 16*g. Let o be j(-6). Let q = 1 + -2. Is o greater than q?
True
Let x = 141 + 222. Suppose -13*l + x = -313. Which is bigger: 0.1 or l?
l
Let s(r) = r. Let c(v) = -2*v + 1. Let o(i) = -c(i) + 3*s(i). Let h be o(3). Which is smaller: h or -3/4?
-3/4
Suppose 5*g = 126 + 304. Suppose g = f - 161. Let w = -2225/9 + f. Which is greater: w or -0.2?
-0.2
Let n = -14 - 11. Let m be (9*-2)/((-65)/n - 3). Is 45 < m?
False
Suppose -20 = -2*v + 16. Let n(b) = -9 + b + v - 9*b. Let t be n(3). Is t at most -15?
True
Suppose -f - 6*f + 140 = 0. Suppose -2*r + 4*v - 16 = -6*r, -5*r + f = -v. Let t be (-1)/1 - 1 - -4. Which is smaller: r or t?
t
Let n(g) = g**3 - 4*g**2 + 2*g + 4. Let m be n(3). Let k = 1823 + -253395/139. Is k less than m?
True
Let d be (-1)/2*1/5. Let j(a) = 3*a - 6*a + 2*a - 17 + 4. Let u be j(-14). Which is greater: d or u?
u
Let k be -6*(-2)/(-4) - (-2416)/806. Which is greater: k or -1?
k
Let i be 760/532 + 4043/7. Which is greater: 0 or i?
i
Let z be (-16)/40 + 743/(-5). Which is smaller: -151 or z?
-151
Let k(a) = 5*a**2 - 21*a + 16. Let l be k(9). Is 232 greater than or equal to l?
True
Let i be 0 + -8 + -3 - -10. Which is smaller: i or -4/1155?
i
Let d = -239/99 + 18/11. Which is smaller: d or -3?
-3
Let h(z) = 10*z + 6. Let y be h(8). Is 86 >= y?
True
Let o = -107.06 + 107. Let a = -16.21 - -16.1. Are a and o non-equal?
True
Let r(b) = b**3 - 9*b**2 + 5*b + 5. Let t be r(8). Let h = 16 + t. Let x be (h + (-36)/(-16))*-4. Which is smaller: x or 4?
x
Suppose -209 - 34 = 3*v. Which is smaller: -1 or v?
v
Let c be 18/(-3) - (170 - (-4 - -5)). Which is greater: -169 or c?
-169
Let y = 0.0401 - 0.0001. Which is smaller: y or -2/9?
-2/9
Let w be 9/36 - 98/328. Let p(z) = -z**2 + 10*z + 8. Let s be p(11). Let i = 4 + s. Is w < i?
True
Let t(o) = -36*o - 5. Let a be t(0). Is -5 > a?
False
Suppose -4*l + 8*l = 84. Suppose 2*f = -100*d + 105*d + 32, -3*d - 78 = -4*f. Is f less than l?
False
Let f = 11412877 - 2054334833/180. Let t = f - -377/4. Let n = t + 32/45. Which is greater: 2 or n?
2
Let z(t) = -5*t - 37. Let j be z(-8). Suppose 4*m + j = -3*q - 5, m + 12 = -2*q. Do q and -6 have different values?
True
Let n(i) = -16*i**2 - 6*i - 1. Let p be n(2). Let z be p/180 + 32/80. Which is smaller: z or -1?
-1
Suppose 2*r - f + 6*f = 4, -2 = -r + 4*f. Which is smaller: 83 or r?
r
Let f be ((-22)/8 - -3)/(1/4). Let p be 6*f*8/128. Is -1 at most as big as p?
True
Let i be 168/(-18)*30/35. Let n(o) = o**3 + 4*o**2 + 2*o + 2. Suppose -5*t + 21 = a, 0 = -4*a - t - 17 + 6. Let s be n(a). Is s less than i?
False
Let k(o) = -o**3 - 7*o**2 - 7*o - 5. Let w be k(-6). Which is bigger: 13/29 or w?
w
Let x(o) = -o**3 - 5*o**2 - 5*o - 4. Let z be 2 - (3/(-1) - -3). Suppose z*p + 20 = -3*p. Let u be x(p). Which is smaller: u or -7/5?
-7/5
Let f(b) be the first derivative of b**4/4 + 7*b**3/3 - b**2/2 - 4*b - 3. Let x be f(-7). Suppose -q = -x*q. Is 4/11 smaller than q?
False
Let d be (-4)/10 + (-231)/(-54). Let h = d - 34/9. Suppose 57*l - 22*l = 30*l. Is h not equal to l?
True
Let o = -2/6216365 - 16392553141/4239560930. Let n = o + 42/11. Which is smaller: -1 or n?
-1
Let t = -283/10 + 99/5. Which is bigger: -0.1 or t?
-0.1
Let u = 1 - -9. Suppose 2*f = u - 0. Let l = f - 2. Which is greater: 4 or l?
4
Suppose 2*t - 2*x - x - 70 = 0, -4*t + 118 = 5*x. Let r = t - 32. Is r >= -2/71?
True
Let w be (18/84)/(-6 - 2). Is 1 greater than w?
True
Suppose 0 = 5*n - 5*k + 65, -2*n - k - 4*k - 5 = 0. Is n < -16?
False
Let m = 6632 + -32824/5. Which is smaller: m or 66?
66
Let m = 577 + -586. Is m at least -29/3?
True
Suppose -20*d + 615 = -1265. Which is greater: 97 or d?
97
Let s = -109 + 85. Let o = 162.9 - 139. Let g = o + s. Which is greater: -1/5 or g?
g
Let x(q) = 2*q**2 + 2*q. Let d be x(-2). Suppose 3*c - 31 + 3509 = 2*z, -2*z + 4638 = -d*c. Let g be c/(-140) - 4/14. Which is smaller: g or 9?
g
Suppose -6*o - j - 3 = -8*o, -3*o - 28 = 5*j. Let q = -14170/21 + 675. Is o less than q?
True
Suppose -3*l + 4*v - 99 = -415, -5*v - 87 = -l. Which is greater: 119 or l?
119
Suppose -5*d + 88 = 4*f - 39, -4*f = 4*d - 104. Is d smaller than 25?
True
Let r = 12/37 + -421/1184. Suppose 0 = -3*o - 2*a + 11, 3*o + a - 19 = -3*a. Is o less than or equal to r?
False
Let k(f) = -f**2 - 43*f + 13. Let t be k(-43). Let b = -72 + 105. Let l = b - 20. Is t less than or equal to l?
True
Let v be (-30 + 40)/((-4)/(-23)) - -3. Which is bigger: v or 61?
61
Let y = -325 + 619. Which is smaller: y or 296?
y
Suppose -4768 = -24*m - 40. Is 197 greater than or equal to m?
True
Let k = 47 + -44. Suppose 0 = -2*u + 3*v + 1, -k*u + 3*v + 1 - 7 = 0. Are -10 and u equal?
False
Let i be (-5)/(-20) + (-790)/88. Let h = -3947/451 - i. Does h = 0?
False
Let g be 0/(2*6/(-4)). Suppose -3*u + 2*w - 27 = g, -4*w = 5*u + w + 45. Which is bigger: u or -10?
u
Suppose -675 + 360 = 9*b. Is -33 at most b?
False
Let x = 2948/15 - 197. Does -11 = x?
False
Let p(v) = -v**2 - 4*v + 4. Let q be p(-4). Suppose -q*b =