-98 + 98.41. Let g = o + q. Is -1.8 not equal to g?
True
Let l(n) = n**3 + 7*n**2. Let k be l(-7). Let m = 626/11473 + -12/149. Which is greater: k or m?
k
Let c be (1/2)/(1/(-68)). Let n be (-5)/(-20) + c/8 + 6. Suppose 0 = 3*m + n*m - 5. Is m equal to 7/6?
False
Let r = -17192 + 15779. Is -7069/5 at least r?
False
Let p be 4*((-45160)/32 - (-4 - -4)). Is -5645 at most as big as p?
True
Let q(p) = -p**3 + 19*p**2 + 412*p - 4. Let c be q(32). Which is smaller: c or -82?
c
Let t = -1202 + 1669. Which is smaller: 468 or t?
t
Let n(r) = -9*r**2 - 4*r - 1. Let v be n(6). Let s = v + 516. Let y = s + -2005/12. Which is smaller: y or 0?
y
Let i = 8.1 - 9. Let d = 627660.78 + -627661. Is d greater than i?
True
Let w = -207 + 134. Let k be (24/(-3))/(w + -5). Is k > -1?
True
Suppose -p - 3*b - 6 = 6, -b - 32 = 5*p. Let f be (-9)/p*(-2 + 8625/4311). Let x = f - 509/28740. Which is greater: -1 or x?
x
Let k be (-1020)/(-7) + 0 - 962/(-3367). Suppose -3*s + 8 = s. Suppose -k = -5*z + 3*r, -63 = -s*z - 3*r + 8. Is 28 < z?
True
Let r(i) = -13*i**2 - 2*i - 2. Let y be r(-2). Suppose 2*g = 4 + 80. Let z = g + y. Do z and -10 have the same value?
False
Let q = -477 + 879. Suppose 19*n = 16*n + q. Is n at least as big as 136?
False
Suppose -2*c - 2*d = c - 4, 0 = -c + 3*d + 16. Let j = 5 - c. Suppose 2*u = w - 4 - j, -3*u + 4*w = 10. Which is smaller: -5/8 or u?
u
Suppose -v + 6*v + 5 = 0. Let q be (1/(-6)*-2)/((48980/(-120))/79). Is v at most q?
True
Let w = -4014.1 - -4242. Let u = 228 - w. Does -16 = u?
False
Let k = -4.548 + 5.148. Which is smaller: -0.104 or k?
-0.104
Let y = 2205 - 2738. Is y > 14?
False
Let m = 3028.96 + -2715. Let l = m + -314. Is -2/7 < l?
True
Let o be ((-32)/6)/((-14)/(-1491)). Suppose 4*m - 2*i + 791 = -1475, 4*m - 4*i + 2260 = 0. Is o smaller than m?
False
Suppose 3 = 3*z + 2*g, 4 = 6*z - 2*z + 2*g. Is z equal to 4/4531?
False
Suppose -k = 3, -4*u - 4*k = 20 + 24. Let y be (u/(-2))/(-6 - -5). Suppose 0 = -129*r + 44*r - 170. Which is greater: r or y?
r
Let t be (-13)/(195/50) + 217620/65285. Is t greater than 1?
False
Let h = -701 - -5980. Is h less than 5281?
True
Let i = 0.0909 + 0.2491. Is i equal to -10?
False
Suppose 4*y - 12*i - 582 = 22094, i - 16987 = -3*y. Is 5664 at most as big as y?
False
Suppose 2*j = -4*b + 4*j + 30, 4*b - 3*j - 35 = 0. Let i = 0 + b. Let r be ((-20)/(-12))/i*-6. Which is greater: r or -4?
r
Let z = -0.80906 - 0.19094. Which is bigger: z or -8/73?
-8/73
Suppose -q + 10 = s, 2*q - 11 = -3*s + 15. Suppose -s = -10*t - 16. Which is smaller: 1.45 or t?
t
Let v = -180 + 189. Suppose v*q = 8*q - 10. Is q bigger than -10?
False
Let x = -61 + 43. Let g be -10*3*(-3)/x. Let k be ((-4)/g)/((-4)/10). Which is greater: k or 7?
7
Let j(b) = -57*b + 464. Let w be j(8). Which is smaller: -313 or w?
-313
Suppose -z = -4*g - 286, 181 = z + 3*g - 84. Is 275 at most z?
False
Let p = 310635/47 + -6609. Let z = 286838 - 286838. Which is greater: p or z?
p
Let b(a) = -a**3 + 6*a**2 - a - 16. Let q be b(4). Suppose -60 = 4*u - 84. Which is bigger: u or q?
q
Suppose 0 = -5*y + 342 + 303. Are y and -0.055 equal?
False
Let m(h) = 26*h + 21 + 29*h + 33*h - 91*h - h**2. Let f be m(4). Let k(w) = w. Let r be k(-4). Which is bigger: f or r?
r
Let k be -4*((-102)/(-24) + -4). Which is bigger: 5/267 or k?
5/267
Let b be ((1 - 0)/(-9)*6)/((-22)/(-33)). Is -200/99 less than or equal to b?
True
Let a be (231 - 232)/((-2)/(-352)). Is -181 greater than or equal to a?
False
Suppose -4*c - 14 = -6. Let r be (43/c)/(14/(-76)). Let d = 117 - r. Is 0.3 at least d?
True
Suppose -103*k + 1600 = -63*k. Let z(j) = j**3 - 5*j**2 + j - 3. Let o be z(6). Is o >= k?
False
Let w = 83752/13 + -6438. Let o = -24/13 + w. Which is greater: o or 4?
4
Let r = 8 + -8. Let m be 4/(-24) - 6963/126. Let c = 5100/91 + m. Which is greater: r or c?
c
Suppose -4*x = 5*k - 74, 41*x - 42*x + 26 = 2*k. Which is smaller: 12 or k?
k
Let x = -82681/60 - -1378. Let b be 6 - 2 - (3 + 0). Is b at least x?
True
Suppose 5*f + r = 25 - 5, 3*r = f + 12. Suppose 3*k = -f*c + 30, -5*k + 2*c + 61 = 18. Which is smaller: 7 or k?
7
Suppose -65*u + 560 = -100*u. Are 92 and u nonequal?
True
Let i(g) = g**3 + 17*g**2 - 38*g. Let l be i(2). Let f = -5374/63365 - -2/3335. Which is bigger: l or f?
l
Let n = -3487/340 - -29/17. Is -1/6 < n?
False
Suppose -566*s + 17904 = -554*s. Is s < 1491?
False
Let v be (-2)/(-13) + 8154/234. Let t = v + -43. Suppose -p - 106 = -98. Is p smaller than t?
False
Let c = 4 + -3. Let a be (-9)/(-6300)*-28 + 154/(-400). Is c >= a?
True
Suppose 4*x + 5 = 3*w, 3 = -2*w + 3*w - x. Let n(a) = 4*a - 24. Let l be n(w). Suppose -z + l*z = 0. Is 2/63 at most z?
False
Let j = -2804/3 + 934. Is -519 not equal to j?
True
Let t(d) = -2*d**2 - 369*d - 5666. Let k be t(-16). Which is bigger: k or -276?
k
Let p be (-8717)/(-21) - 154/1617. Does p = 2907/7?
False
Let h = -10 + 45. Let n be (-14)/h - (-117)/30. Which is bigger: 3 or n?
n
Let k(m) = -2*m**2 - 3*m - 3. Let i be k(-7). Let o = i - -169. Is 89 greater than o?
False
Let f = -1149 - -628. Let w = f - -508. Which is smaller: w or -145/12?
w
Let b be -1 + 65 + -3 + 7. Let f be (9/(-6))/((-3)/b). Let d be 3/9*f/4. Which is bigger: 4 or d?
4
Let a be 1/((-24)/(-22) - 95/1045). Which is smaller: -2/9353 or a?
-2/9353
Suppose -5*m - 3*v - 2076 = 0, 5*v = 3*m + 246 + 1020. Is -417 >= m?
True
Let h be -9 - (-2 - (1236/(-54) + -1)). Suppose t - 2*b = -20, 0 = -2*t + 2*b - 20 - 30. Is h not equal to t?
True
Let a(t) = 34*t + 33. Suppose -g - 4*y - 21 = 0, 18 = 2*g - 5*y + y. Let w be a(g). Which is smaller: 1/387 or w?
w
Let l(k) = k**3 + 200*k**2 + 188*k + 1585. Let n be l(-199). Which is bigger: 0 or n?
n
Let f = -135 - -129. Let q be 8 + -2 - (0 - f). Are -2/473 and q nonequal?
True
Suppose -7*u = -2*u - 5 + 5. Which is smaller: -1/4452 or u?
-1/4452
Let q(s) = -87*s - 1426. Let x be q(20). Is x greater than -3165?
False
Suppose -5*d = 4*x + 4, 5*d - 5*x - 9 + 49 = 0. Let h be 4 + d + (3 - -10). Suppose 4*p = h*p + 18. Which is smaller: -14 or p?
-14
Let m = -18.72 + 19.72. Let x = -4.6 - 23.4. Let v = -46 - x. Which is greater: m or v?
m
Let l be (8/6)/((-8)/(-36)). Suppose 3*x - l*x + 4*s - 32 = 0, -3*x = 4*s + 40. Let q = x + -2. Is 0 not equal to q?
True
Suppose 2354*i + 34254 = 2387*i. Which is smaller: i or 1036?
1036
Let q = 112.6 + -96.6. Is q less than or equal to -17?
False
Let q be -13 + (-649)/(-44) - 3/4. Which is smaller: -2/165 or q?
-2/165
Suppose 1395 = -264*i + 279*i. Which is bigger: 92 or i?
i
Let p be ((-1 - -4)*-3)/((-2)/(-4)). Let j = p + 44. Let n = j + -25. Which is smaller: -2/121 or n?
-2/121
Let l(j) be the second derivative of 3*j**5/2 + j**4/3 + 5*j**3/6 + 66*j. Let n be l(-1). Which is smaller: n or -129/4?
-129/4
Let t(a) = a**2 + 4*a + 3. Let v be t(-3). Let b = 0 + v. Let x = 2.34533 + -3.34533. Which is smaller: b or x?
x
Let m be -312 + 325 - 346/26. Let s(w) = -3*w + 1. Let l be s(1). Let t be (-2 - -2 - -1) + l. Which is smaller: m or t?
t
Let m be (-174 + -5 + 3)/((-4)/(-18)). Let g = 447 + m. Let l be (1 - 2)/(-4 + g/(-87)). Which is greater: 30 or l?
30
Let g = 257 - 243.1. Let x = -13.899 + g. Do x and -1 have the same value?
False
Let w = 0.54 - -0.66. Let p = w - 1.4. Which is smaller: p or -0.77?
-0.77
Suppose -c - 1 = -4*i, -i = 5*c - 0 + 5. Suppose -8*g = -6*g - 12. Suppose -b = -3*n + 9, -4*b + i*n = -2*n + g. Is 2/3 != b?
True
Let b(u) = -39*u - 6. Let j be b(-5). Let d(l) = -l**3 + 392*l**2 + 4415*l - 8. Let z be d(-11). Are z and j non-equal?
True
Let q be -8 + -2 - (-9639)/833. Let n = 76 - 230/3. Is q != n?
True
Let t(x) = 9*x - 27. Let j(q) = -31 - 16 + 12 + 14*q - 5. Let b(d) = -5*j(d) + 7*t(d). Let m be b(4). Are -19 and m unequal?
True
Let u = -141129 - -140887. Suppose m = 6*m + 1210. Do m and u have different values?
False
Let j = -29/36 - 4/9. Let r(u) = -152*u**2 + u + 2. Let m be r(-1). Let f = 1059/7 + m. Which is greater: f or j?
f
Let o(p) = 6*p + 24. Let n be o(-4). Suppose n = -0*i - 12*i + 648. Is 54 <= i?
True
Suppose 43 = 248*w - 291*w. Do -21/67 and w have different values?
True
Suppose 0 = -114*q + 109*q + 10. Which is bigger: q or -16?
q
Suppose 3*p - 5*c = -465, 32*c = -5*p + 27*c - 735. Let f = 187 + p. Let a = 51 + -15. Is a greater than or e