 + 48 = -2*q + 6*q, 0 = 4*b + 3*q - h. Which is smaller: b or t?
b
Let c = -23 + 25. Suppose -5*d - c = -7. Which is smaller: d or -1/159?
-1/159
Let h = -2186 - -2300. Is -0.04 smaller than h?
True
Let i = -7101 + 4812. Is i != -6868/3?
True
Let j = 0.3029 - 1.3029. Which is bigger: 7.94 or j?
7.94
Let r(v) = -7*v**2 - 15*v + 94. Let f be r(5). Let h = f + 4518/29. Let a = 2 + -2. Is h > a?
False
Suppose 392*k - 859*k = 1197*k - 3328. Suppose z + 2*v = 150, -3*v - 486 = -3*z - 0*v. Let h be (-4)/(-14) + z/(-14). Which is smaller: k or h?
h
Let d = -5068 + 6780. Do 1715 and d have the same value?
False
Let c(s) = s**2 + 6*s + 6. Let a be c(-8). Let b be (a*1)/(-1)*(-21)/6. Let t = b + -76. Which is smaller: 14 or t?
t
Let c = -0.31 + 0.41. Suppose -3*d = d + 1404. Is d > c?
False
Let b = 2778.5 + -2778.6. Let k = -2.1 - -0.3. Let p = k + -0.2. Is p at least as big as b?
False
Suppose u - 4*u = 0. Let y(i) = -18*i**3 + 3*i**2 - 3*i + 1. Let c be y(1). Let f be (-70)/105 - c/27. Which is smaller: u or f?
f
Let b be 37/(-1)*(-1)/(-3). Let o be (20/(-1260))/(5*6/23445). Let h = o - b. Do h and 1 have different values?
True
Let k = 128.11 - -0.89. Let v = 129.1 - k. Is -2/27 smaller than v?
True
Let t = 697.1 + -651.1. Is t greater than or equal to 2/11?
True
Let c = 28953 + -28923. Let b(u) = -u - 8. Let j be b(-6). Let y be -1 + 31 - (-2)/j. Are y and c nonequal?
True
Suppose 2*a = -3*a - 3*c - 2504, -a - 2*c = 505. Which is greater: a or -2001/4?
a
Let n be (1/(-2))/(21/(-18)). Let k = -31054.8 + 31013.8. Is k at least n?
False
Let r = 94/7 - 2183/161. Let d(z) = z**2 + 27*z + 30. Let q be d(-26). Suppose -8 = -12*j + q*j. Is r less than j?
True
Let n = -3164 - -3165. Is 49/6 at least as big as n?
True
Let s(k) = 4*k**3 - 2*k + 1. Let u be s(1). Suppose m + 4*q - q = 11, 0 = -3*m + q + u. Are 2/47 and m equal?
False
Let l(y) = -2*y - 2. Let i be l(3). Let d(w) = -18*w - 47. Let g be d(6). Let k be 93/g - 32/5. Do k and i have the same value?
False
Let b be 18/4620*2567 - 10. Is -1 bigger than b?
False
Let d = 60582 + -326718728/5393. Which is smaller: -1 or d?
-1
Let s(l) = 863*l - 52. Let f be s(-6). Are -5230 and f equal?
True
Let x = 31/2 - 15. Let l be (2 - 3) + 2 + 118/(-14). Let f = 1182/161 + l. Are x and f non-equal?
True
Suppose 281 - 5748 = 11*t. Let p = t - -684. Are 187 and p equal?
True
Suppose -22*y = 29995 + 75913. Is y greater than -4813?
False
Let i be 73/(-4) - (33/12 - 2). Let p be -17 - i - (-1212)/(-602). Which is greater: p or 0?
0
Suppose -3*b + 137 = 3*v - 91, -380 = -5*v - b. Let m be (-2 + 0)*(5 + -42). Is v > m?
True
Let c = 0.9086 + 3.0914. Do 147 and c have the same value?
False
Let k = -0.205 - -27.205. Let a = -10 - k. Is a < 0.1?
True
Suppose 300 + 162 = -32*q - 274. Suppose -22 = s - 3. Which is smaller: q or s?
q
Let l = 4408 + -5270. Which is smaller: -860 or l?
l
Let h(m) = 347*m + 24. Let c be h(2). Let v = c - 504. Which is smaller: v or 213?
213
Suppose 3 = 7*h - 46. Let j be (-575)/(-35) + (-3)/h. Which is bigger: j or 18?
18
Suppose 17*r = 15*r - y + 1090, -2*r = -3*y - 1106. Let s = r - 532. Which is bigger: s or 17?
17
Let n = -712.196 - 6.804. Which is smaller: -1 or n?
n
Let n(y) = y**3 - 13*y**2 + 16*y - 16. Let x be n(11). Let p = -83 - x. Which is smaller: p or 8/37?
p
Let o = -4796 + 695416/145. Let t = -676 + 677. Which is greater: o or t?
t
Suppose y - 7 = -2*d, -3*d + 5*y - 2 = -19. Suppose d = -25*g + 29*g. Let o = 1 + -3. Which is smaller: o or g?
o
Let q = 673.9226 + 0.0774. Does q = 0?
False
Let k(f) = -29*f + 1. Let j be k(2). Let b = -1048 - -1163. Suppose -6*u - b = 215. Is u at least j?
True
Let a be (-1160)/50*(0 + -5). Suppose -3*p = p - a. Let i = -137 + 166. Is p at least as big as i?
True
Let u = 0.8 - 1. Let r = u + 0.5. Let o be -56 - -62 - (6 + -8). Do o and r have the same value?
False
Let v be ((-2379)/(-455) + -5)/(1/3). Which is bigger: 0.07 or v?
v
Let g be (-15)/30*(0 + -1 + 71). Let q be 3/((9/(-10))/(42/g)). Suppose 5*z + a = 7, -2*z + 4*z + 6 = q*a. Is z greater than or equal to 1/6?
True
Let v(x) = x**3 - 8*x**2 + 10*x - 5. Let f be v(7). Let q(r) = 3*r**2 - 49*r + 19. Let g be q(f). Let c be -6*(3 - 39/12). Which is smaller: g or c?
c
Let d(v) = -37*v - 1082. Let l be d(120). Is l != -5521?
True
Suppose -17138 - 7151 = 4*k + s, 2*k - 4*s + 12140 = 0. Are -6073 and k non-equal?
True
Suppose 5*z - 3734 = 3*y, 82*z + 2976 = 86*z - 4*y. Is 749 less than z?
True
Let z = 10948 - 10947. Which is smaller: -8892 or z?
-8892
Suppose -t - 36 = -2*j, -117 = -t - j - 150. Is -18 at least as big as t?
True
Let j(a) = a**2 + 12*a + 23. Let i(o) = 8*o + 15. Let x be i(-3). Let f be j(x). Let b be (-2)/52*8/f. Which is greater: b or 0?
b
Let a(z) be the second derivative of z**5/20 + z**4/3 + z**3/2 + 3*z**2 - 15*z. Let w be -7 + 4/22 + 217/77. Let x be a(w). Is x > -6?
False
Suppose 0 = -6*w + 346 - 340. Let n be 4/(-5)*10*3/(-4164). Is w != n?
True
Let y be 24/90*-125*3/(-2). Which is bigger: y or 0.31?
y
Let i = 18.6 + -22.17. Let t = -10.6 - -11.17. Let h = i + t. Which is smaller: -0.13 or h?
h
Let l(n) = 15*n - 111. Let v be l(19). Let f = -351/10 + 71/2. Are f and v nonequal?
True
Let j = -275533/351 + 785. Which is smaller: -3 or j?
-3
Suppose 0 = 69*p - 62*p - 7266. Is p equal to 1041?
False
Suppose 4*y - y = 6*y. Suppose 0 = -13*b - y*b + 806. Which is greater: b or -1/3?
b
Let z be 10/4*30/25. Let j be (z/(-6))/(39/18 - 2). Let l(h) = h**3 - 4*h - 6. Let w be l(j). Do w and -21 have the same value?
True
Suppose 2*l - 12 = -5*i - i, 3*l = 3*i + 18. Let x be ((-4)/(-3))/((-4)/132). Let w be (-1)/3 - x/l. Which is smaller: 1 or w?
1
Suppose 13*n + 2*h = 14*n + 1, 6*n - 4*h + 70 = 0. Which is smaller: n or -330?
-330
Let j = 45 - -62. Let c = j - 106.9. Which is smaller: 27 or c?
c
Let t(m) = -m + 2. Let h(n) = -2*n + 15. Let q(v) = h(v) - 6*t(v). Suppose -6*z = -z - 20. Let u be q(z). Which is greater: 20 or u?
20
Suppose -40*x + 2363 = -3837. Let o = x + 359. Is 514 equal to o?
True
Let l = -127 - -208. Let m be 0 + -1 + 9/l*-21. Let f be 35/(-7) + 2/1. Is f not equal to m?
True
Suppose 7*n = -7*n + 17*n. Let s(b) = -b**2 - 14*b + 15. Let d be s(-15). Let g be d - (-13)/((-286)/(-12)). Do n and g have different values?
True
Let q be (-1 + 3/5)/(1/(-5)). Suppose 4*k - 3*x = q*k + 11, 0 = 3*k - x - 6. Is -3 equal to k?
False
Let w = 3762 - 5770. Which is bigger: w or -2010?
w
Let z be (6/5)/(4/10). Suppose 2*b = -4*x - 4, -z*x = -x. Let d be -3*(b + 0)*(-4)/(-42). Which is bigger: -2/3 or d?
d
Let d = -42 - -43. Let y be (18 + -19)/(1/43). Let r = y + 43. Is d greater than r?
True
Suppose 3 = 3*g, -5*p - 3*g = -19 + 1. Suppose 7 + 6 = 3*o - l, -p*l = 3*o - 33. Suppose 5*d + o*d = -297. Is d greater than -26?
False
Suppose -8*d + 13*d + r + 16 = 0, 0 = 2*d - 3*r + 3. Is d != -50/17?
True
Let c = 4984 - 4660. Is c < 338?
True
Suppose 117*y - 125*y + 16 = 0. Let x be y*(2 + -3)*63/612. Is x >= 2?
False
Let v(o) = 2*o + 19. Let h be v(-8). Suppose 4*g - b + 494 = -6*b, -g = -h*b + 132. Which is smaller: g or -128?
-128
Let r = -111.96 - -110. Let z = 0.96 + r. Let a = 1.3 + z. Which is greater: -7 or a?
a
Let q(w) = -9*w + 25. Let g be q(-7). Let n = -84 + g. Let r be (n/(-30))/(9/75). Is 2/3 greater than r?
True
Let z be (-569057)/(-2)*(0 - 20/(-507)). Let i = -11224 + z. Is 0 smaller than i?
True
Let r = -672 + 676.27. Let i = -11.27 + r. Is i < 2/11?
True
Let l be (-6238)/(-10) + (-5)/(325/(-13)). Let y = -591 + l. Which is smaller: y or 95/3?
95/3
Let s = 136 - 253. Let g = -87 - s. Is g not equal to -1?
True
Let c = 32.1 + -32.3. Is -2270 bigger than c?
False
Let n = -0.1573 - 78.7427. Let c = 79 + n. Which is smaller: c or -22/5?
-22/5
Let m(s) = 6*s**2 - 9*s - 574. Let c be m(9). Suppose 467 = -2*r + 131. Which is smaller: c or r?
c
Let v = -1032.573 - -1033. Let j = 0.427 - v. Is -4/29 at most j?
True
Let g be 4/3*35/(-210). Which is smaller: g or 2848?
g
Suppose 2*x - 90 = 5*p, -4*x + 6*p = 3*p - 194. Suppose -55*h = -x*h + 5. Which is smaller: 2/15 or h?
h
Let m = -150038 - -929185332/6193. Is m < 0?
True
Let u = -1579 + 1638. Is 63 less than or equal to u?
False
Let k = -6.8909 + -0.1091. Let p = -2/315 + -124/315. Which is smaller: p or k?
k
Let l be 0*(-2)/2*-1. L