*g + 2*g. Suppose g = 17*d - 19*d + 88. Let q = d - 131/3. Which is bigger: q or -135?
q
Suppose 2*f + 2*l + 1018 = -l, -2*f = -4*l + 990. Let n = -440 - f. Which is bigger: -2/7 or n?
n
Suppose 38 = 10*l + 9*l. Let n(z) = 8*z**2 - 3*z + 1. Let a be n(-5). Suppose 6*p + l*p = a. Is 27 less than p?
False
Let n(i) = i**3 + 8*i**2 - 10*i - 11. Let c be n(-9). Let w be (c - -8)*9/2. Suppose -162 = -105*s + 99*s. Are s and w non-equal?
False
Let m(u) = u - 12. Let p = 40 + -28. Let b be m(p). Suppose 4*h = 4*l - 4, 5*h + b*l - 11 = l. Is h > 1?
True
Let z be 2 - (5 + -3 - 0 - -3). Is z > 10?
False
Let v = -20925 - -20926. Is v >= -3/7090?
True
Let r(w) = -10*w - 24. Let q be r(-4). Suppose q*h - 6*h + 20 = 0. Which is smaller: h or -19/6?
-19/6
Let g(b) = 162*b**3 + b**2. Let d be g(1). Let f = -886 + 892. Suppose d + 35 = -f*s. Which is bigger: -34 or s?
s
Suppose -23 = -3*x + 2*a, -5*x - 3*a + 37 = -14. Let s = -12451 - -12474. Is x bigger than s?
False
Let b = -5330 + 5329.9608. Which is smaller: b or 1?
b
Let c = 258 + 116. Suppose c = 7*q - 18. Suppose 5*m + 13 = x, 2*m + q = 5*x - 9. Is 12 greater than or equal to x?
False
Let o be 619 - (324/(-216) + 1/(-2)). Which is smaller: 2 or o?
2
Let f = 18168 - 18334. Which is bigger: f or -161?
-161
Let r(y) = 2*y**3 - 9*y**2 + 7*y - 12. Let m be r(4). Let u be (-1288)/(-4554) - (m - 4/(-18)). Which is smaller: u or 0?
0
Let q = -56384 - -56770.77. Let g = q - 387. Which is smaller: g or 1?
g
Let s = 0.35 + -0.3. Let d = 1248 + -1248.15. Let v = s + d. Do -2/9 and v have different values?
True
Let m be (-2)/(-5)*(-398)/8. Let f = 705/4 + -3331/20. Let b = f + m. Which is smaller: -11 or b?
-11
Let l = 1333 + -1336.4. Is 0 smaller than l?
False
Let h(x) = 4*x**2 + 119*x + 1. Let j be h(18). Which is bigger: j or 3438?
j
Let q = -282 + 288. Let b be (-1156)/q - (-20)/12. Which is smaller: b or -381/2?
b
Suppose 4*g + 10368 = -4*x, -3*g - 5*x + 4*x - 7778 = 0. Is g smaller than -2594?
False
Let h = -54.1 + 56.3. Let g = h + 7.8. Do g and -14 have the same value?
False
Suppose 0 = 4*p + 8, 4*x + 3*p = 6*p + 450. Suppose 46*k - 29*k - 1904 = 0. Which is smaller: k or x?
x
Let h = -0.1517 - -0.1247. Let j = -15 + 14. Is j at least as big as h?
False
Let w(b) = 8*b - 57. Let p be w(7). Let v be -1*(1 - 2)/p. Is v != -6?
True
Suppose 2*w - 15 = -5*i, 0*i + 4*i = 3*w + 35. Suppose -5*g - 3*b = i, 4*b = 4*g + 5*b + 4. Let q be (-9)/27 - (1 - (-48)/(-34)). Are q and g non-equal?
True
Let u be 4 + ((-1415)/525 - (1 + (-3)/5)). Does 1 = u?
False
Let l be 11 + 656/(-64) - 6/8. Suppose -9 = 3*d + 3*b, -b + 3 = -2*d - 6*b. Let g be (2/9)/(d + 3). Which is greater: l or g?
l
Let s = -55 - -65. Let r(x) = -x + 22. Let q be r(s). Let l be 1 - (-8)/q*6*1. Which is bigger: 4 or l?
l
Let a = -1323124 + 83027354122/62751. Is a greater than 1?
False
Let n(h) = h**3 - 21*h**2 - 47*h + 112. Let m be n(26). Is 2268 less than m?
True
Suppose -2*r + 1432 = 5*t, 71*t = 66*t + 3*r + 1427. Let q be (6 + -14)*143/(-4). Is q equal to t?
True
Suppose 0 = -51*p + 57*p - 7356. Let b = -1247 + p. Let z(a) = -a**2 + 5*a + 2. Let g be z(-3). Which is smaller: b or g?
g
Let r = 3775156761/3319217 + -4/301747. Let q = r - 1135. Which is greater: 1 or q?
q
Let i be (30216/154)/((-180)/378). Let u = -412 - i. Are u and -0.04 non-equal?
True
Let a(g) = 1040*g + 10400. Let q be a(-10). Let w be 112/(-170) + (-2)/5. Is q < w?
False
Let j be 18/333*(-2)/(-58). Suppose 0 = 2*l - 3*a - 0 - 8, -3*a = 6. Is j >= l?
False
Let a = -23 - -8.8. Let k = a - -14.17. Let r be 6/(-16)*2/(-3). Which is smaller: r or k?
k
Suppose 56*o + 27 = -z + 60*o, o - 6 = z. Which is bigger: z or -7397?
z
Let t(p) = 4*p + 2. Let x be t(1). Let a = -248 - -423. Let w = 903/5 - a. Is x > w?
True
Let i = 1148.9 - 2077.8. Which is bigger: i or 1?
1
Suppose 19*d - 87*d + 1914 = -2*d. Let v(z) = z**2 + 6*z + 12. Let m be v(-8). Is d less than or equal to m?
False
Let q = 0.1 + -0.3. Let v = q + 0.1. Let l = -48731 + 48724.8. Which is greater: l or v?
v
Let d = -27272 - -27271. Which is greater: -5/5326 or d?
-5/5326
Suppose p = x + 45, -5*p + 86 = -2*x - 7. Let g = 32 + x. Let d = -19 - g. Do -7 and d have the same value?
True
Let v be 1 - (274670/(-315) + 5). Let t = -868 + v. Let g = -43 + 44. Which is greater: t or g?
g
Suppose -11*f = -50 - 16. Let k(l) = -l**2 - 17*l + 21. Let p be k(-18). Suppose 72 = f*r - p*r. Is 21 smaller than r?
True
Let x be (4/(-6))/(2/3). Let g = 384.74 + -453.74. Is x less than or equal to g?
False
Let t = 5 - 29. Let r = 17.2 + t. Let j = r - -1.8. Is j < -1?
True
Let t = -130 - -172.5. Let q = -1.5 + t. Let p = q - 40.9. Is p less than -4/7?
False
Let s(g) = g**3 + 4*g**2 - 6. Let k be s(-2). Let c be (11 - 9)/(18/k). Is c greater than or equal to -0.77?
True
Let w be (-1 - -2) + (-135)/(-1). Let m = 499067/7 - 71159. Let h = m - w. Is 1/2 at most h?
False
Let y be 367/5 + 6/(-15). Let q(i) = 19*i - 7. Let z be q(6). Let j = z - y. Is j at least as big as 35?
False
Let d = 2156.4 - 2136.4. Which is bigger: -44 or d?
d
Suppose -2*g = -5*g - 27. Let j be (-19)/(1 - 0/1). Which is greater: g or j?
g
Suppose 0 = 3*b - 2*h - 11, 0*h + 38 = 4*b + 2*h. Suppose -b*p + 13 - 55 = 0. Which is smaller: -7 or p?
-7
Let r = -25 - -39. Let k = r + -12. Let c be 156/(-819)*(-11 + 4 + -2). Which is greater: k or c?
k
Suppose 103 = v + 3*g, 38*v + 5*g = 39*v - 39. Which is smaller: v or 106?
v
Let y = 285649/24 - 11906. Let d = 13/3 + y. Let p = d - -7/24. Is 1.7 at least p?
True
Let k(n) = -4*n + 14. Let o be k(5). Let h be (2/o - 0)/(1689/18). Which is smaller: 1 or h?
h
Let b = -81 + 81.18. Let n = -11 + 14. Let k be ((-18)/(-14))/(n/1). Is b smaller than k?
True
Let o = 194 - 384. Let w be (2 + (-3)/6)/((-15)/o). Suppose 20*t = w*t. Which is bigger: t or -2/7?
t
Suppose 167*d = 4*d + 35860. Which is bigger: 250 or d?
250
Let n = 6795.8 + -6796. Which is smaller: -0.514 or n?
-0.514
Let h be (((-175)/80)/1)/(11/(-4)). Is h less than 2?
True
Suppose -1 = n, -x - 3*n = -5*n - 2. Let u be (-8 - (23 - 1826/55)) + 2004/(-945). Which is smaller: u or x?
x
Let x(h) = -3*h + 10. Let u be x(2). Let s(j) = -j**3 + 4*j**2 + 3*j. Let g be s(u). Let o be 3/g + 1/44. Does 2/5 = o?
False
Suppose 3*t = -0*t - 60. Suppose -y + 5*j - 21 = 0, 30*y - 3*j = 35*y - 7. Which is smaller: t or y?
t
Let v = -105 + 63. Let g(n) = 256*n - 5631. Let a be g(22). Which is smaller: v or a?
v
Let a(r) = 350*r + 975. Let c be a(9). Is c at least 4125?
True
Suppose 10*n = -4*m + 6*n - 20, m - n = -1. Let q be (m/((-18)/616))/((-4)/(-6)). Is 154 > q?
False
Let t be -1 + (-702)/(-177) + -3. Let p = -29 - -31. Suppose 3*c = p*h + 2*c + 3, -5*h - 4*c - 1 = 0. Which is bigger: t or h?
t
Let m = -991 - -4953/5. Let t = -3 - -8. Is m >= t?
False
Suppose -t = 5*s + 75, -s + 6*s - 5*t + 45 = 0. Let h = s - -18. Do h and 8 have different values?
True
Let m(y) = 214*y + 3853. Let r be m(-18). Which is smaller: -57/374 or r?
-57/374
Let u be (222/(-51))/(14/(-238)). Suppose -468 + 93 = -5*k. Which is bigger: u or k?
k
Let m be (6/(-4) + 3)*(-31552)/(-32). Let o be (3/18)/(-5 + 7393/m). Is o >= -123?
False
Let u be (-5 - 27485/(-6275))/(2/(-200)). Let v = -62 + u. Which is smaller: v or -1?
-1
Suppose 3*a + 0*a = -18. Let s be 39/99 - 2/a. Suppose -29 = -490*w + 461*w. Which is bigger: w or s?
w
Let l = -16 + 15. Let z be (-66 - -57)/((-3)/((-414)/1099)). Let r = -2/157 + z. Is l less than r?
False
Let m = -11 + 6. Let i be 2 - ((-225)/(-40) - 4). Let s = 13/56 - i. Which is greater: m or s?
s
Let z be (-6)/(1776/(-1181)) + -3 + -1. Let m = -19605/6808 - z. Is -2 bigger than m?
True
Let r(y) = 104*y**2 - 5*y - 1. Suppose 0 = l + 3*w + 14, -w + 0 = 4. Let o be r(l). Is o not equal to 426?
True
Let p be ((-92)/20 - -3) + 52872/(-30). Is p at least -1763?
False
Let j = -22.3 - -198.3. Let q = 175.99 - j. Which is bigger: 1/3 or q?
1/3
Let o = 0.24 - 0.403. Let q = o - 0.837. Let w = -20 + 34. Which is smaller: q or w?
q
Let q = -94 + 96. Let f(a) = -68*a + 32*a + 30*a + 7. Let p be f(q). Is p <= -5?
True
Suppose -3*n = -3*b + 792, -6*b = -2*b + 3*n - 1091. Let y = 263 - b. Suppose -2*i + 0 = 6. Is i at most as big as y?
False
Let l be -249 + 18 + (-4 - 1). Let x be (1/(0 - -2))/(l - 24). Which is smaller