8/2114 + (-8)/2). Is -1 less than or equal to r?
True
Let n be 12/28 - (0 + (-285)/21). Let a be (-556)/7 + (-8 - (-118)/n). Is -80 at most as big as a?
True
Let z be (-1)/((-15)/57) + 1 - 3. Suppose -7*i = -10*i + 39. Let o = i + -10. Is o bigger than z?
True
Let h(g) = -g**2 + 5*g + 2. Let p be h(5). Let m be 2*(-7)/(-8)*(-5 + 9). Let y be ((-175)/8)/m + 5. Which is smaller: y or p?
y
Suppose 8 = 2*d, 7*d - 12*d - 210 = -5*k. Suppose -14 = -k*o + 60*o. Let w = 300 + -6898/23. Are o and w non-equal?
True
Let r(b) = -6*b + 34. Let z(f) = -1. Let j(w) = r(w) - 5*z(w). Let k be j(6). Let i be 26/42 + k/((-126)/12). Which is bigger: i or -10?
i
Let t = -2/1717 - -3652/187153. Let x = 252/1853 - t. Are -1 and x equal?
False
Let w(o) = -171*o + 2395. Let y be w(14). Let c be (9/30)/((-1704)/20). Which is bigger: c or y?
y
Let h = -50.05 - -1.05. Let u = h + 84. Let s = 28 - u. Which is bigger: s or 1?
1
Suppose 26 = -9*k - 10. Let j be 65/26 + (-2)/k. Is j less than 1/34?
False
Let a = -171.06 + 171. Let m = -29/15 - -11/15. Do a and m have the same value?
False
Let m = -2.07 - -0.07. Let z = 28257 - 28245. Is z at least m?
True
Let v = 2007 + -1606. Is 0 less than v?
True
Let q be (-1918)/123614*17 - 2/(-2). Let k = -2/3253 - q. Are -1 and k nonequal?
True
Let m be 2/(156/(-27) - -6). Let s be m - (-9*10)/(-10). Is -38 greater than or equal to s?
False
Let p = 300 + 229. Let g = p + -442.4. Let v = -85 + g. Which is bigger: -2 or v?
v
Let p = 41.41 - -32.59. Let y = -55 + 118. Let j = y - p. Is j at most -1?
True
Let j = -732 - -448. Let z = j - -289. Which is bigger: z or -2/67?
z
Suppose 403 = -32*o - 5613. Which is smaller: o or -187?
o
Let i = 7104 - 7105. Which is smaller: i or 1.999?
i
Let q = 12.66 + -12.6. Let d = 127 + -131. Which is smaller: d or q?
d
Suppose -4*w + 40 = 2*u, -6*w - 328 = -3*u - 388. Let k = 315 + -318.81. Is k bigger than u?
False
Suppose 19 - 31 = 12*t. Let m(c) = -c**2 - 11*c - 8. Let i be m(-6). Let h be (20/3)/(i/(-99)). Which is smaller: h or t?
h
Let w be (2/1 - 3)/(1 - (-474)/4). Let y be (3/(-2) - -2)*0. Which is smaller: y or w?
w
Let r = -1293 - -813. Let x = r - -472. Is x bigger than -43/5?
True
Let b(q) = q**2 + 113*q - 349. Let t be b(3). Which is bigger: t or -2/5177?
-2/5177
Let q be (4/(-8)*4)/(6/(-354)). Let f be (-1 - (-3)/1) + q*3. Is f smaller than 356?
False
Let x(g) = 40*g - 33*g + 0*g**2 - g**2 - 1. Let k be x(5). Suppose -3*n - 3*v + k = 0, 3*v + 26 = -3*n + 5*n. Which is bigger: n or 5?
n
Suppose 357*i - 336*i = 0. Which is smaller: i or -4/491?
-4/491
Let n = 17 - 16.71. Let l = -117.53 - -879.43. Let k = 762 - l. Is k equal to n?
False
Let a be ((260/520)/(19/4))/(-1). Suppose v - 2 = 3*v. Which is greater: v or a?
a
Let a(s) = -s - 9. Let l = -49 - -55. Suppose l*u - 4*u = -16. Let i be a(u). Is 0 greater than or equal to i?
True
Suppose -3*d + 14256 = -d + 14*d. Which is smaller: 892 or d?
d
Let l(b) = -16*b**2 - 108*b + 12. Let r be l(-5). Let m = r - 9581/63. Which is greater: -1 or m?
m
Suppose 19*c - 459 = -231. Do -0.02 and c have the same value?
False
Let r be (-13 + -2)/(3*5/1830). Let f be (8/12)/((-20)/r). Is f less than 61?
False
Let f(m) = 4*m**2 + 12*m + 81. Let z(x) = -x**2 + 2*x. Let c(o) = -f(o) - 3*z(o). Let a be c(-13). Is a > 1?
False
Suppose -3*a = 2*s - 7, -2 = -2*a - 37*s + 33*s. Suppose 336 = 2*h - 5*y + 108, 0 = -2*h + y + 212. Which is smaller: a or h?
a
Let o(y) = y**3 + 23*y**2 + 38*y + 351. Let m be o(-22). Is 2/15693 < m?
False
Let r(b) = 19 - b + 4*b - 38 - 2*b. Let w be r(25). Which is bigger: w or -1?
w
Let s(a) = -a**3 + 2*a**2 + 5*a - 4. Let k be s(3). Suppose k*y + 18 = 5*l, l - 65 = 3*y - 12. Let j = 66 - 85. Are y and j nonequal?
False
Let r be (-131)/1 - -24*(-832)/(-1536). Let i be ((-234)/4 + 0)*2. Which is smaller: r or i?
r
Let c be 207/540 - 7/28 - 41666/(-30). Is c less than or equal to 1388?
False
Let b = 501.9661 - 502. Let v = 0.0519 + b. Is 2 > v?
True
Let j = 0.1559 + 10.3441. Let p = -7 + -0.5. Let d = p + j. Which is greater: d or -0.1?
d
Let d = 98 + -138. Let j = 121 - 161. Are j and d equal?
True
Let b be (-2)/10 + (-156718)/(-90). Suppose 6*a + 7987 = -2477. Let j = a + b. Is j at most -2?
True
Let y = -366.07 - -369. Let z = 2.43 - y. Let m = 2 - 4. Is m greater than z?
False
Let t = 1503 - 7517/5. Suppose 0 = -0*n - 2*n + 16. Let a be ((-2)/n)/(4/296). Which is smaller: a or t?
a
Suppose 195*s + 579 - 3839 = 32*s. Are 20 and s unequal?
False
Suppose -4*h - 4*v - 110924 = 0, -24*v - 83209 = 3*h - 23*v. Is -27740 equal to h?
False
Let g be 4/3 + (0 - (-132)/36). Suppose -g + 27 = -2*f. Is f less than or equal to -13?
False
Let k = -21/22 + 101/77. Suppose -1135 = -21*w - 8149. Let f = -335 - w. Is k <= f?
False
Let b = -563 - -556. Let r be 2/2*(14 - (-12 - b)). Which is smaller: 15 or r?
15
Let p be -16*2/((-32)/(-204)). Let d = 219 + p. Which is greater: 16 or d?
16
Let l = 21018322699/1114585284 - 2/2996197. Let j = l - 6485509/20460. Let h = 1491/5 + j. Is h < -1?
False
Let r(d) = -d**2 - 4*d - 4. Let q be r(-3). Let f = -495 + 501. Are q and f non-equal?
True
Let d = 48988 - 1861195/38. Which is bigger: 10 or d?
10
Let f = -375 - -311. Which is smaller: f or -65?
-65
Let m = 973338/1835 - 54/1835. Is m != 531?
True
Suppose -5*f = -y - 198, f + 552 = -5*y - 308. Let a = y - -174. Are 8/37 and a equal?
False
Let s(c) = 2*c - 23. Let g be s(12). Let r = 4/9249 - -28533113/120237. Let d = 237 - r. Which is bigger: g or d?
g
Let q = -31227/11 + 2841. Let d = 995/451 - q. Is d smaller than 0?
False
Suppose 4*i + 5*l + 3 = 11, -l = 4*i - 8. Suppose -i*s + 7 = -s. Suppose 3*o = -o - 4*p + 12, -o - 2*p = -s. Which is greater: o or 3/83?
3/83
Let n = -3513 + 3084. Is -855/2 at least as big as n?
True
Let z = -44359/52 - -3435/4. Suppose -r = -405*s + 400*s + 21, 5*r = -4*s + 98. Is z > s?
False
Let u = -115 - -118. Let y be -3 + (-2)/u*-6. Which is smaller: 1/275 or y?
1/275
Let n = -2471 + 2401. Suppose 0 = 4*q + q + 350. Is n at most q?
True
Let l = 86 - 69. Let g = -1853 - -1866. Are g and l nonequal?
True
Let x(y) = -y**2 + 2*y + 1935. Let l be x(-43). Which is smaller: l or -3.4869?
-3.4869
Let r = -13.604 + 8.48. Let h = 0.224 + r. Is h greater than or equal to -1/2?
False
Let o = -61 + 63. Suppose -6*n = -2*n + o*c, 0 = -5*n + 4*c - 13. Which is greater: 22/27 or n?
22/27
Suppose 32*d = 27*d - 360. Let g = d + 6. Let j be (-3)/(-6) - g/(-164). Is 1 less than or equal to j?
False
Let u = -2/437 - 3049/2185. Let w be (30/35)/(-3) - 215/(-238). Let f = 2/17 - w. Which is smaller: f or u?
u
Let j = 10.17 + -9.3. Let n = 67 - 68.26. Let o = j + n. Is o less than -1/4?
True
Let x(a) be the third derivative of -a**5/60 + a**4/3 + 5*a**3/6 + 5*a**2. Suppose -8*o + 27 + 53 = 0. Let q be x(o). Which is bigger: q or -17?
q
Let d be (8/7510)/((-22)/55). Suppose -5*n - 20 = -4*r, 0 = -4*n + 7*r - 3*r - 20. Which is greater: n or d?
n
Let d = 3.18 + -0.18. Let w = -4 + d. Let m = -8.56 + 8.4. Which is greater: w or m?
m
Let c(w) = w**3 - 7*w**2 - 2*w + 11. Let y be c(8). Suppose -37 = -3*t + z, 0 = -0*t - 5*t + 3*z + y. Let q = 12 - t. Is -2/21 at most q?
False
Suppose -b = -2*t - 12, 4*b = -3*t - 2 + 6. Let a be -3*2/6*-8. Let h be b/(-16) - (-42)/a. Which is smaller: 3 or h?
3
Let p be (-3)/2*(-256)/(-7104). Suppose 0 = -n + 3 + 7. Let s = 11 - n. Which is bigger: s or p?
s
Let a(y) = -5*y - 11. Suppose 0 = -13*o - 1467 - 158. Let i = o + 123. Let n be a(i). Is -2/211 equal to n?
False
Let l be (1 + 0)/(-8 + 7). Suppose 0 = -5*q + g + g + 49077, -9811 = -q - 4*g. Let t be 6/39 - 1575/q. Which is smaller: l or t?
l
Suppose 2*u + 12 = -3*t, 3*t - 3*u + 1 = 4. Let n be t/8 - (0 - (-97)/(-28)). Let q = 461/126 - n. Which is bigger: q or 0?
q
Suppose -2*f = -5*k + 11, 25 = 5*f + 8*k - 3*k. Suppose 2*r - 6*h + 162 = -f*h, 334 = -4*r + 3*h. Is -83 > r?
True
Let w be (3/(-9))/((-3)/126). Let y = w - 18. Let u be ((y - -3) + 4)/3. Which is bigger: u or 6?
6
Let s be ((-16)/10)/((-5)/(-25)). Let c be 45/(-60) + (-102)/s. Which is bigger: 3 or c?
c
Suppose -2*k + 5 + 1 = 0. Let c be k/(-1) - (-13 + 5 + -2). Suppose -6*z = z + c. Is z greater than or equal to 2/33?
False
Let w be -1 - (2781/(-7392) + (-10)/55). Let t = w + 5/32. Do -0.74 and t have the s