 = 42*j + 46. Is j >= -125/4?
True
Let v = -15 - -12. Let j be (-54)/(-84)*-6 - v. Is j equal to -2?
False
Suppose -f + 10 = -0*f. Suppose 8*w - f = -2. Suppose -7 - w = -i. Is 7 >= i?
False
Let l = 3797/6 + -631. Let f be 10*(-3 + (-15)/(-6)). Let g be (-4*f/30)/((-2)/3). Which is smaller: g or l?
g
Let f(a) = -4*a**2 - 3*a + 2. Let d(n) = -9*n**2 - 6*n + 5. Let b(k) = 2*d(k) - 5*f(k). Let c be b(-2). Let l = 37 + -26. Which is smaller: c or l?
c
Let i = -37 - -25. Let b = 12 + i. Let k(l) = 5*l. Let q be k(b). Which is bigger: q or 2/43?
2/43
Let l(q) = -q**2 - 12*q - 21. Let p be l(-10). Let w(r) = 4*r**2 + 5*r + 4. Let z be w(p). Suppose -z - 1 = i. Is -19/4 at least as big as i?
False
Let b = 11 - 4. Let c = -29 + 28. Let j = c + b. Are j and 2 nonequal?
True
Let b be (2 + 0 + (8 - (4 - -7)))/1. Which is bigger: b or -6/1007?
-6/1007
Let i(p) = -46*p + 240. Let n(y) = 9*y - 48. Let d(u) = -2*i(u) - 11*n(u). Let r be d(7). Which is bigger: r or 8/55?
8/55
Let n = 105 + -206. Let l = -98 - n. Which is smaller: l or 44?
l
Suppose -4*s - 3 = y + 7, -y + 17 = -5*s. Let t = s + 13. Let j(u) = -2*u**2 + 16*u + 4. Let k be j(t). Is k > -35?
False
Let c = 73/16 - 989/208. Let q = 379 + -380. Are c and q equal?
False
Let p = 895 - 892.934. Which is smaller: p or 1?
1
Let l(g) = g**2 + 11*g + 2. Suppose -2*p = -2*p + 7*p. Let r be l(p). Which is greater: r or -6?
r
Let n be (-6)/9*27/(-9). Suppose 0 = 3*m + n*d + 3 + 7, -3*m - 4*d - 8 = 0. Is -2 greater than m?
True
Let s = 7682 + -53735/7. Which is smaller: s or 0.1?
0.1
Let x be (1 - (583 + 4 + (-15)/3))*1. Which is smaller: -582 or x?
-582
Suppose 434*f + 1806480 = -86*f. Which is bigger: f or -3473?
-3473
Let n(w) = w**3 + 13*w**2 + 28*w + 6. Let s be n(-6). Let t = s - 117. Are -29 and t unequal?
True
Let c = -3115 - -15577/5. Which is smaller: -0.0931 or c?
-0.0931
Suppose -4 - 5 = -3*f. Let y be (-30)/48 + 23/(-8) + f. Which is greater: -9 or y?
y
Suppose -2*z = 3*z + 455. Let o be (-2)/((-8)/6 + 561/414). Which is smaller: o or z?
o
Let u = 0 - 1/3. Suppose 159*s - 144*s + 75 = 0. Are u and s unequal?
True
Suppose u + 741 = 3*a, 3*a + 288 = -u + 1029. Let d = a + -239. Is 7 greater than or equal to d?
False
Let f be -61 - -61 - 2/(4/94). Let u = f - -233/5. Which is smaller: u or 32?
u
Suppose 5 = -4*h - h. Let f be (-36)/(-26)*h/2. Let c(s) = -3*s**3 + 104*s**2 - 44*s - 816. Let y be c(34). Which is bigger: f or y?
y
Let a(z) = -8*z + 2. Let r be a(-8). Let o = r - 105. Let y be 970/(-25) + 2/(-10). Is y < o?
False
Let d(o) be the third derivative of -o**5/20 + 5*o**4/2 - 13*o**3/6 + 2*o**2 - 23. Let u be d(20). Is -18 greater than u?
False
Suppose 0 = 5*x + 5*m + 25, 0 = -59*m + 61*m + 2. Are -0.3 and x non-equal?
True
Let i be (-4)/10 - (-6 - (-94909648)/16948130). Let z = i - -146165758243/96604341. Let c = z - 1513. Is -1 >= c?
False
Let j be 14 - 15/(-9)*(-144)/20. Let a = 1/2167 - -4923/4334. Is a greater than or equal to j?
False
Let f be 76486/(-5882) - (8 + -21). Is f at most -1?
False
Let a = -17 - -67. Suppose 2*m - 6*m = 2*r + a, 5*r + 2*m + 133 = 0. Let n(o) = 5285*o + 52822. Let p be n(-10). Which is bigger: r or p?
r
Let f = -1 - -1.2. Let d = -43.85 - -21.32. Let b = d + 22.6. Which is greater: b or f?
f
Let i be 2/(-7) - 56/833. Suppose 5*f - 2 = 18. Let y be (-4 + f + 0)/2. Is y >= i?
True
Let a(s) = 3*s**2 - 17*s - 16. Let l be a(6). Let f be (-2)/l*(18 - 18). Which is smaller: f or -1/79?
-1/79
Let o = -6524 - -6485.6. Let f = -65.1 + 65. Are f and o equal?
False
Suppose -2*k + 1645 = -7*k. Suppose -421 = 2*l - 417. Let g be l*(-2)/(-12)*14/k. Which is smaller: 0 or g?
0
Let f = -0.18876 + 0.82876. Are f and -42/11 nonequal?
True
Let r(s) = -88*s + 20. Let y be r(-7). Suppose -3*k - 678 = 3*i, 5*i - k + 500 = -y. Are i and -227 non-equal?
False
Let f be (-6)/16 + (-1585072)/(-128). Let t = -49279/4 + f. Which is smaller: 64 or t?
t
Let l be 10 - (10/(-4) - (4 - (-391)/(-34))). Let o = 58666/17 - 3452. Let b = o + 189/34. Which is smaller: l or b?
b
Let p = -3340715/551 + 6063. Is -1 > p?
False
Let h = -2599/1162 + -10/83. Let d = h + 95/42. Which is smaller: d or -1?
-1
Suppose 1018*t = 1019*t + 1. Let i(y) = -27*y**3 + y**2 + 4*y + 2. Let g be i(t). Which is smaller: 0.1 or g?
0.1
Let z = -360.4 + 778.6. Let h = z - 418. Which is smaller: -0.8 or h?
-0.8
Let c = -0.04 - -0.1. Let w = -415 + 786. Let p = w + -372. Which is smaller: p or c?
p
Let l be 13*(-36)/(-3510) + (-3)/(45/(-13)). Which is smaller: l or -12/3257?
-12/3257
Let u = -5.7029 + -1.2971. Is u < 352?
True
Let d = -4754 + 9001. Which is smaller: 4245 or d?
4245
Let w = -43854/7 - -6272. Which is bigger: w or -2/19?
w
Let a(r) be the second derivative of r**5/10 - 3*r**4/2 + 5*r**2 + 39*r. Let t be a(9). Suppose -2*w + b = 4*b + 15, 2*w = -4*b - t. Is w >= 2/7?
False
Let i be (7*-4)/7 + 6. Let m(x) = -18*x - 13. Let c be m(i). Let n = -48 + -2. Which is smaller: n or c?
n
Let s be (1592/(-3))/(408/(-34)). Which is greater: s or 45?
45
Let q = 0.228 - 97.228. Let g = q - -98.025. Let f = -0.025 + g. Is f bigger than 1.9?
False
Let r = -2396 + 1626. Let c = r - -164781/214. Is -1 at least c?
False
Let q(g) = 4*g**3 + 2*g**2 - 2 - 1 - g - 2*g**3 - g**3. Let p be q(-2). Is p < -4/7?
True
Let p be ((-18)/(-777))/(8/14). Let q = -9055 - -9054. Which is greater: q or p?
p
Let j be ((2 - 3)/(-1))/(4*5/(-10040)). Which is smaller: j or -498?
j
Let w be (24/(-9))/((2/10)/(129/(-10))). Let p be 2/8 - (-683)/4. Which is smaller: w or p?
p
Let y(s) = 13*s**2 - 44*s + 37. Let w be y(2). Is w less than or equal to 50/467?
False
Let p = 1002.3 - 1000.3. Which is greater: p or 146?
146
Suppose 266*v = -166*v - 312 - 120. Is v less than -14352?
False
Let j be 1 + -3*2/(-6) + 3. Suppose h - 2*f - 1 = -5*f, -4*f = j*h + 39. Let o = h - -20. Is o greater than 29/3?
False
Let l be ((-26)/(-1170))/((-3)/18). Which is bigger: l or -345?
l
Let a = -165/74 - -38957/17538. Suppose 5*n = n. Is n smaller than a?
False
Let q be 0 + -19*(-5)/(-21). Let w be (36/168)/(-6 + 2055/340). Let x = w + q. Which is smaller: -1 or x?
-1
Let s = 208 + 33. Suppose 0*k - 2*a = k - 240, 5*a = -4*k + 963. Which is smaller: k or s?
s
Let n(q) = -q**3 + 9*q**2 + q - 1. Let u be n(9). Suppose u = 2*g + 4*z, -g + 6*z = z + 31. Let c be (25/(-5) + -3)/2. Which is bigger: g or c?
c
Let x(z) = -z + 58. Let m be x(31). Let o be (12/(-8))/(m/(-2574)). Is o at most 144?
True
Let c = 23 - 18. Suppose 8*j = c*j. Let g(s) = -s**2 + 8*s - 32. Let r be g(7). Is j at least as big as r?
True
Let p = 105650 + -105650. Let t = -2 - -15. Is t greater than or equal to p?
True
Let a be 8 + (18 - 2 - -13955). Is 13979 bigger than a?
False
Let z = 809028 + -294102. Let s = 3594986/7 - z. Let x = s + 1359. Is 2 greater than or equal to x?
False
Suppose 26*r = 11062 + 15120. Suppose -33*y - 214 - r = 0. Which is greater: -38 or y?
y
Let x(a) = 2*a**2 + 2*a - 59. Let n be x(-8). Which is bigger: n or 729/14?
n
Let w = -107/2 - -55. Let g(o) = -o**2 - 11*o + 5. Let h be g(-11). Let q be 0 + h + 95/(-20). Are q and w nonequal?
True
Let z = -114 - -1012. Are 899 and z equal?
False
Let z = -2071 - -2075. Which is smaller: 498 or z?
z
Let i be -35 + (-8764)/(-252) - (-2488)/18. Is i at most as big as 138?
True
Let u be ((-2)/(-8))/((-6)/(-48)) - -348. Suppose -5*a = u - 65. Which is bigger: a or -0.2?
-0.2
Let l = 2.11 + -1.14. Let n = -0.469399 + 0.169399. Is l at least as big as n?
True
Suppose 12 = -2*j + 2*y, -5*j - 23 = -25*y + 21*y. Which is greater: 436 or j?
436
Let k = 176 - 283. Let j = k + 106. Let f = 525/62 + -17/2. Is f > j?
True
Let m be ((-33)/(-5) + -6)*5. Suppose -371 = -m*p - 101. Which is bigger: 89 or p?
p
Suppose -4*m = h - 5, -h + 4*m + 5 = 5*m. Suppose 3*z - 2 = -h*q + 13, 0 = 2*z + 5*q - 15. Which is smaller: -3/238 or z?
-3/238
Let o(b) = -569*b - 3545. Let z be o(7). Is z greater than -7528?
False
Let g = 110 + -182. Let v be (-8 - 1042/(-129))*g/(-5). Is 0 bigger than v?
False
Let c = -64611349/1561 + 41391. Let a = 88987/7805 - c. Is a >= 11?
True
Suppose 4*x + 44*u + 2096 = 43*u, 2104 = -4*x - 3*u. Is -524 >= x?
False
Let t be (-3)/16 + 147/(-2352). Which is bigger: 11/2 or t?
11/2
Let l be -5 + (-18678)/(-11) + 8. Does l = 1700?
False
Let d = 355.3 