: -2 or b?
b
Let t = -318 + 207. Let q = t - -112. Let r be (-1)/3*54/(-138). Is r smaller than q?
True
Let c = 0.03 - 0.13. Let q be 0 + (-3)/9 - 363/(-63). Let b = -736/133 + q. Which is smaller: c or b?
b
Let f(g) = g**3 + 46*g**2 + 41*g - 187. Let n be f(-45). Suppose 0 = -q - 3*q + 12. Let l be 3*((-44)/12 + q). Is n bigger than l?
False
Let k = 17/319 + -5815/85173. Let h = 171524 - 171523. Are h and k nonequal?
True
Let a = 9.08 - -151.52. Let g = -210.72 + a. Let z = -50 - g. Is 0.2 smaller than z?
False
Suppose -2*z - c + 7 = 0, -z + 5*c = 2*z - 17. Suppose 2*p = -8*b + z*b + 170, 5*p - 89 = -2*b. Let g = -11 + 54. Which is greater: b or g?
g
Suppose 61*q = 62*q + 769. Are q and -769 unequal?
False
Let r be (36 - (-3113019)/(-77826)) + 2 + 4/2. Is 1 less than or equal to r?
False
Let f be (-116)/(-10904)*(-24)/(-452). Which is smaller: -1 or f?
-1
Let t = -601.5 - -539. Let n = -103 - -165. Let f = t + n. Is f equal to -6?
False
Let i = 4859 - 4875. Which is smaller: -212/13 or i?
-212/13
Let n(s) = 17*s - 51. Let p be n(-6). Let q = 182 + p. Are q and 30 equal?
False
Let r be 20/(-50) - 11/(-40). Suppose 21 = 4*l - 5*y - 2, 0 = -l - 3*y - 7. Suppose v = 3*u - 2, -4*u + 4*v + l = 2*v. Is r at most as big as u?
True
Let h be (-6)/10*(-10 + -5). Suppose -2*j = -b + 1, -4*j + h*j - 35 = -5*b. Suppose -10 = b*z - 15. Is -2/81 <= z?
True
Suppose 0 = -19*b - 61 - 110. Let n be ((108/32)/b)/21. Which is smaller: n or -1?
-1
Let n be 910317/((-299)/13) + 23. Which is smaller: -39557 or n?
-39557
Let g = -621328334/24881 + 24972. Is -1 at most as big as g?
True
Let t = 40 - 21. Suppose y + 16 = u - t, 73 = 2*u + y. Suppose 2*a = a - 3, -3*g + u = -a. Which is greater: g or 10?
g
Let g = 0.087 + -87.087. Let m = 2364 - 2276. Let r = m + g. Which is smaller: r or -0.08?
-0.08
Let a = -43251598/1592599 - 2/83821. Which is bigger: a or -27?
-27
Let f(m) = 6*m**3 + 4*m**2 - 4*m - 18. Let t be f(-2). Let s(p) = p**3 - 2*p**2 + 5*p - 41. Let x be s(0). Which is smaller: t or x?
t
Let q be (-6)/(-36) - 4/(-66). Let l(v) = v**2 + 3*v - 3. Suppose -4*r = 5*n + 26, 4*r - n - n + 12 = 0. Let m be l(r). Is q at most m?
True
Let c = 26257 + -25635. Which is smaller: 608 or c?
608
Let q = -24986662/6585 - -11570615998/3143679. Let y = q - -72/1085. Let w = -114 - y. Which is greater: -8 or w?
w
Let p = 0 - 25. Let i = -61853 + 61846. Which is smaller: i or p?
p
Let w = 90.4 + 3.6. Let q = w - 165. Which is bigger: q or 0.2?
0.2
Let a = 8257 - 6832. Which is smaller: a or 1422?
1422
Let d = -3110/21 - -148. Let k = -136 - -53. Let q = k - -83. Is q > d?
True
Let r = 922.54 + -922.54. Let f be 2/3*3/1. Let n be (-25)/(-39) - f/6. Which is smaller: n or r?
r
Let w(j) = j**3 + j**2 - 2*j - 1. Let b be w(2). Suppose 2*z - 5*x - 5 = 0, -3*z - 3*x + 18 = -0*z. Let m be z + 1/(-5)*-5. Which is bigger: b or m?
b
Let o = -0.007 - 0.263. Let f = -282.74 + 283. Let d = f + o. Is -2/7 greater than d?
False
Suppose -18 - 6 = -3*o. Let s = 0.0816 + -335.0816. Let p = 337 + s. Is o equal to p?
False
Let q be 582/4 + (-15)/(-10). Let j be (-1)/4 + q/396. Suppose -2*n + 5*n = 0. Is n >= j?
False
Let p = -74 - -74. Let x = -0.17 - 9.83. Let t = 14 - x. Are p and t equal?
False
Let r = 37 + -38. Let z be (-2754)/(-106) - (-4)/(-2). Let g = -24 + z. Which is bigger: g or r?
g
Let m = -0.2849 + -0.0151. Let g = -0.1 - -0.5. Let h = g + m. Which is bigger: -3/8 or h?
h
Let l = -629 + 316. Let a = l + 314. Are -56 and a equal?
False
Suppose 267 - 123 = -19*a + 239. Let p(u) = 3*u**2 - 3*u + 1. Let o be p(2). Which is bigger: a or o?
o
Suppose 5*k - 2001 = 3*f, -2*f + k - 1729 = -395. Is f bigger than -665?
False
Let g = -0.2 - -8.2. Let u = -130.42 + 0.42. Let j = u + 129.8. Which is smaller: g or j?
j
Suppose 0 = 3*i - b - 127, -3*b - 217 = 7*i - 12*i. Let d = 22 + 18. Which is greater: i or d?
i
Let m(i) = -i**2 - 37*i - 193. Let g = 13 + -43. Let a be m(g). Let x be (16/5)/((-2)/(-10)). Which is bigger: x or a?
a
Suppose 23*z = 101*z - 1340 + 35894. Which is greater: -439 or z?
-439
Let i = 6083.13 - 6083. Do 66 and i have the same value?
False
Let d be (3 - (7 - 1160/390))*(-4)/8. Is d smaller than 1?
True
Let h = 29966 - 29973. Let l = 0.57 + 0.03. Which is smaller: h or l?
h
Let n = 0.1898 + -8.1898. Which is smaller: n or 1/115?
n
Let j be (96859/35 - 0)/(48/240). Is j greater than or equal to 13837?
True
Suppose 7*f = 4*n + 4*f + 118, 5*n = -5*f - 130. Let i be (n/(-80))/((-7)/56). Is -2 < i?
False
Let j = -395 - 100. Let b = -496 - j. Is 126 > b?
True
Suppose -31*d + 127*d = -55*d + 49075. Is d greater than 327?
False
Let y = -44 - -49. Suppose y*a = 20 + 5. Let q be 10/(-27)*3*(-6)/a. Do 0 and q have the same value?
False
Suppose 4*d + d = -5*i, -2*d + 4*i - 6 = 0. Suppose 7*q - 12*q = -30. Let y be q/(-15)*(-140)/120. Which is smaller: d or y?
d
Let n = 18 - 14. Suppose n*a - 3*h = 2*h + 106, 0 = -5*a + 2*h + 124. Let j = 680 + -655. Which is bigger: j or a?
j
Let q = 12261 - 12262. Which is smaller: -9/4007 or q?
q
Suppose 0 = 5*u - i - 215, -3*u - 2*u = 4*i - 240. Let p = u + -61. Let s = p + 2. Which is smaller: s or -1?
s
Let j = -54 + 54. Suppose j*b = 4*b - 68. Suppose 20*m = b*m - 51. Which is smaller: m or -16?
m
Let i = 1761 + -871. Suppose 200 = -885*t + i*t. Which is smaller: 42 or t?
t
Suppose 14*u = 11*u + 54. Let n be u/(-60)*36/27. Is n less than or equal to -24?
False
Suppose 73 - 652 = -3*w. Let b = -194 + w. Which is greater: b or -2/219?
-2/219
Let g(l) be the third derivative of l**4/24 + 7*l**3/3 + 21*l**2. Let m be g(-11). Suppose 0*z = 5*o - 2*z - 210, -o = m*z - 25. Is 40 < o?
False
Let g = -0.06 - 0.94. Let h = 17.94 + 8.14. Let k = 0.08 - h. Are k and g non-equal?
True
Suppose 3908*n - 3900*n = 0. Which is smaller: n or 9/358?
n
Let l = -68 - -114. Suppose -30 = 4*g + l. Let x = -21 - g. Is -5/2 > x?
False
Let c be (-8)/(-4) - (8 - 0). Let v(t) = t**2 - 25*t - 81. Let j be v(28). Suppose -x + 11 = -2*x - j*r, 10 = -x - 2*r. Which is greater: x or c?
c
Let c be (474351/(-118590) - -4)*(-3447616)/(-60). Let w = c - 3/3953. Let o = 7/50 + w. Which is bigger: o or 5?
5
Let b(c) be the third derivative of c**6/120 + c**5/20 + c**4/6 + c**3/6 + 14*c**2. Let m be b(-5). Is m > -69?
False
Let q = 49 + -47. Suppose -2*h = q*g - 6, -3*g - 2*g = -4*h - 24. Is 2 <= g?
True
Let n(s) = -8*s - 30. Let i be n(-5). Let h be 856/i - (-51)/(-17). Let d = 82 - h. Which is bigger: 2 or d?
2
Let y(c) = -3*c + 7. Let w be y(-5). Let m be w/99 - (-7891)/(-2688). Let j = -1/1152 + m. Is j <= -3?
False
Let i(c) = -7*c - 9. Let r = 21 - 17. Suppose 4*j + 2*l + 18 = 0, -j + 3 - r = -3*l. Let b be i(j). Is b at most as big as 18?
False
Let v be (42/8)/(((-189)/(-280))/9). Suppose -v = -4*q - 370. Let s be -6*(-4)/48 - q/(-18). Is s at least -5?
True
Let j(r) be the third derivative of r**6/120 + 11*r**5/60 + 11*r**4/24 + 97*r**3/6 - 103*r**2. Let s be j(-11). Is -21 at most as big as s?
False
Let h be ((-335)/(-201))/((-1)/(-18)*5). Let u be 0 - (4 - 6)/(4/h). Which is bigger: u or 12?
12
Suppose 5*p = -5*t + 59 + 46, -4*p + 2*t = -90. Let w(h) = -h**2 + 61*h + 251. Let z be w(-4). Let s be -17 + p + (z - 0). Which is smaller: -27/7 or s?
s
Suppose -5*s = 2*q - 256 + 21, -340 = -3*q - 5*s. Suppose -21 = -q*p + 84*p. Which is bigger: 12/43 or p?
p
Let j = 17.7 - 14.02. Let n = j + -0.18. Let c = -2.3 + n. Is c less than -0.1?
False
Let s = 335/2 - 173. Let j = -2/11831 - 674347/118310. Let l = s - j. Which is smaller: 1 or l?
l
Let n be 7/14 - (-638)/1188. Are n and -10 nonequal?
True
Let p = 1.36 + -0.36. Let j = -1350 + 1325. Is j less than p?
True
Let z(v) = 6*v - 24. Let d be z(5). Suppose -d*b + 7*b - 16 = 0. Let q be 21/(-9)*1 - b/(-12). Which is greater: q or -4/17?
-4/17
Let x = -324241/81 + 4003. Is -15 smaller than x?
True
Let j be ((-440)/(-6))/(18/27). Let i be j/(-34) - (-9)/3. Do i and -2/3 have the same value?
False
Let z be (-7995)/84 - 3/12. Let n = -95 - z. Let b = -36 - -35.99. Are n and b nonequal?
True
Let i = 45080553/211 - 213651. Which is bigger: i or 0?
i
Let p = -1276 - -2326. Which is smaller: 1049 or p?
1049
Suppose 10 = v + 7. Let c be (2/(-7) - (-688)/56) + -4. Is c equal to v?
False
Suppose 3*w - 3 = 4*a, 42 = -5*a + 2*w + 33. Let l be (1 