 = -2*n**2 + 19*n - 53. Suppose 0 = y + o - 7, -3*o + 28 = 4*y - 4. Let s be x(y). Do s and -87 have the same value?
False
Let c = 176 - 680. Let o = -501 - c. Which is bigger: -16 or o?
o
Let o = 700.96 - -3.04. Let r = 707 - o. Is r greater than -2?
True
Let y = -9983 - -8104. Is -1879 greater than y?
False
Suppose -2*o + o = -11*o. Which is greater: 2/2641 or o?
2/2641
Let h = 1472 + -1471.9. Is 36/35 >= h?
True
Suppose 53*c + 58 = 15*c - 20*c. Is c < 1/4709?
True
Let z(x) = -5*x - 132. Let n(h) = h**3 - 13*h**2 - 17*h + 15. Let s be n(14). Let t be z(s). Which is greater: -0.007 or t?
t
Let t(a) = -287*a + 568. Let o be t(2). Let s = 1823/30 - 333/5. Which is smaller: o or s?
o
Let s = -4891 - -4787. Let b be (-2*38)/(-1 + 0). Let x = b + s. Is -30 >= x?
False
Let s = -947 + 626. Let r = 319 + s. Is r at most as big as -7/5?
True
Let d = -104552/9 - -702484906/60471. Is 1 less than d?
False
Let a be 123/10*4/(-6). Let n be ((-3)/9)/((651/(-504))/(-31)). Is a != n?
True
Let a = 26 + -14. Suppose -a*x + 10*x = 46. Let n = x + -1. Which is smaller: -0.1 or n?
n
Suppose -56*c = -46*c - 10. Is 84/299 less than c?
True
Let k = -138.1 - -113.1. Is -16.3 greater than or equal to k?
True
Suppose 233 = -4*z + 2*m + 365, -5*m + 118 = 4*z. Let h be (-3)/9 + (-300)/(-9). Which is bigger: z or h?
h
Let n be 185 - (-1 + -4 - -10). Let c = n - 171. Suppose 4*y + h - 48 = 0, 64 = y + 3*y + 5*h. Which is bigger: y or c?
y
Suppose -5 = b - 10, -3*s + 5*b = -587. Suppose -656 = 5*j + s. Is j at most as big as -170?
True
Let b = 0.04 + -0.34. Let p = -189 - -173.7. Let a = p - b. Is 2 at least a?
True
Let m be (-80)/(-2) - (19 + -18). Which is smaller: 660/17 or m?
660/17
Suppose p = -6 - 17. Suppose 10*n - 13*n = v + 10, 3*n + 18 = -3*v. Let w be 10 - 880/26 - n/(-13). Which is smaller: w or p?
w
Let d = -3483 + 3482.8098. Is 0.1 bigger than d?
True
Let x be (-1 + -2)*-15*(-16)/36. Let c = -13985/721 - -85/103. Is c > x?
True
Let y(g) = -8*g + 95. Suppose 437 = 19*d - 304. Let p be y(d). Which is smaller: -216 or p?
p
Let z(o) = 4*o + 42. Let k be z(-13). Let y = -28 + k. Is -39 at most y?
True
Let m = 178 - 177. Let t be -2 + (6 - 3) + m. Is 13/5 smaller than t?
False
Let m(r) = r**3 + 7*r**2 - r + 31. Let p(s) = 2*s**2 - s + 1. Let q(u) = -2*m(u) - 2*p(u). Let h be q(-10). Is 96 at most h?
True
Let y be 0 - ((-3630)/24 - -1). Let q = y + -151. Are 10 and q equal?
False
Suppose 3*w + 3 = -0*w. Let y be 58/28 + (-3 - w). Let f be -2 + 0 + (-35 - -117)/41. Which is greater: f or y?
y
Let y = 75666599/4572 - 16550. Do 1 and y have the same value?
False
Let z(c) = -9*c**2 - 229*c - 125. Let b be z(-25). Is -25 at least as big as b?
True
Suppose -73*r + 1517 - 1777 = -333*r. Let z = 252 + -4760/19. Is r at least as big as z?
False
Let d be ((-1)/(-3))/1*(558 - 558). Are -44/129 and d nonequal?
True
Let b(t) = -14*t - 274. Let k be b(-23). Let o(l) = -4*l**2 - 1 + 6*l + 2*l**2 - 6 + 4*l**2. Let u be o(-7). Which is bigger: u or k?
u
Let r = 132 + -88. Suppose 110 = 11*t + r. Let o be (-2)/(-3)*(-30)/(-4). Which is smaller: o or t?
o
Let p be -3*(-5 + 218/(-6)). Let h be 2498/20 - 2/4. Let f = h - p. Which is smaller: 13 or f?
f
Let n = -738 - -740. Suppose -5*s + 3*d = 8, n*d - 7 = 2*s - 3. Do s and -8/15 have the same value?
False
Let c(v) = 2*v + 34. Let x be c(-14). Suppose -5*a + 31 = x. Suppose 0 = a*h - 2*p - 67, 3*p + 0 = -3. Is h greater than 13?
False
Suppose -3*t + 6 + 3 = 0. Let w be 1/((t/168)/(-1)). Suppose -4*y - 259 = 5*b, -10*y + 126 = -2*b - 6*y. Which is smaller: w or b?
w
Let w be -1 + -7 + (-6063)/(-770). Let y = w + 1/14. Which is greater: 0 or y?
0
Let n be (10/(-15))/((-4)/7044)*-5. Let b = n - -52775/9. Which is smaller: -7 or b?
-7
Let v be ((-77)/(-2))/((-6)/(-12)). Suppose 4*n = v - 185. Let b = -99 - -71. Which is smaller: n or b?
b
Let z = -1133.1 + 1136. Is z greater than -12.7?
True
Suppose 351 = 10*v + 41. Let p = 32 - v. Which is bigger: p or -2/411?
p
Suppose 6 = i - 7*i. Let r = -1532/9 + 1157/9. Let d = r + 42. Does d = i?
False
Let f be 35510/118 + (-3 - -5) + 2. Let m = -305 + f. Is -0.2 bigger than m?
False
Suppose 3*s - n = -21 - 4, 2*s = -2*n - 6. Let j be 1*-15 - (s + 8). Is -16 > j?
False
Let g = 44852 - 896833/20. Which is greater: g or 10?
g
Let v = 42273 - 43127. Which is smaller: -850 or v?
v
Suppose -g + 125 = -m, 4*m + 504 = 7*g - 2*g. Suppose 37*l + 10*l - 3872 = 79*l. Is m at least l?
True
Let v(h) = 4*h - 11. Let j be v(4). Suppose 5*i + j = 0, -4*y - 5*i + 3*i + 10 = 0. Suppose 0 = -y*b + 3*n - 6, 2*n - 9 = -3. Is b not equal to 2?
True
Let w(z) = -3*z**2 + 5*z**2 - z - 3*z - 3 + 11*z - z**2. Suppose -5*s - 5*b - 55 = -10*b, 0 = 4*s + 3*b + 9. Let v be w(s). Which is bigger: v or -28/3?
v
Let d(b) = -3*b**3 - b**2 - 11*b + 30. Let v be d(0). Which is bigger: 34 or v?
34
Let s(r) = -r - 1. Let h be s(-2). Suppose -51*g + 45*g + 12 = 0. Let c be g*1/8*(-20)/24. Is h less than or equal to c?
False
Suppose 16 = 2*m + 4*f, -5*f = -5*m - 7*f + 24. Suppose -m*h + 3*v = -47, v + 29 = -7*h + 10*h. Which is bigger: 10 or h?
10
Let g be -2*(-4 + (-693)/(-14)). Suppose -351*n = -325*n + 2392. Is g greater than or equal to n?
True
Let o = 788 + -1718. Let i be o/(-25)*30/(-9). Is i at most as big as 1?
True
Let y = -0.02002 + -124.97998. Let z = 0.4 - 0.3. Is z at least as big as y?
True
Suppose -4*k + 3*u = 260, 5*k + 73 + 217 = -5*u. Is -55 at least as big as k?
True
Let s = -58568/1869 + 2/623. Suppose -69*p = 92*p + 34*p + 6240. Which is bigger: p or s?
s
Let s(m) = -4*m**3 + 3*m**2 + 2*m + 1. Suppose 3*r - r + 6 = 0. Let l be s(r). Let j be l/(-150) - 1/3. Is 0 greater than j?
True
Let x = 3125 - 3126. Is x at least 9/154?
False
Suppose 3828 = -513*r + 11523. Which is greater: r or -138?
r
Let c = 6663/26312 + -3/2024. Is 1 greater than or equal to c?
True
Let k be (-5)/(40/(-52)) + 2/(-4). Let l be 1*k/(-4) + 14/28. Is -1/7 at most l?
False
Let k be (-4*(-1134)/(-72))/((-2)/230). Which is smaller: 7247 or k?
k
Let v = 69 - -99. Let h = -175 + v. Which is greater: h or -0.4?
-0.4
Suppose 2*r + 2 = 10. Let d = 1012819/212368 + 1/16336. Which is smaller: r or d?
r
Suppose -8 = 2*t + 2*t - 4*m, 4*t + 6 = 3*m. Suppose t = 3*q + 84 - 87. Let i be q/(-14)*((1 - -8) + -5). Is i < -15?
False
Let t = -5778.9 - -5779. Let h be 2 + -2 + 0 + 1. Let n be h/(-3) + (-3)/(-27). Is n at most as big as t?
True
Let c(s) = 4*s**3 + 2*s**2 + 26*s - 1. Let o be c(0). Let x = 10201/102340 - -1/860. Is x <= o?
False
Suppose 0 = 3*f + 4*r - 19, 2*f - 3*r = f - 11. Suppose 9*d = f + 35. Suppose 0 = d*y - 15 - 5. Which is bigger: 1/2 or y?
y
Let s be (-2)/((-2414)/(-134) - 18). Let q(c) = -15*c**2. Let p be q(-3). Is s <= p?
False
Let o = 1.33 - -8.47. Let y = o - 9.9. Is y greater than or equal to -173?
True
Let r = 164 - 48. Let l be 4/78*58/r. Which is bigger: l or -1?
l
Let m be (6786/195)/(135/200). Which is smaller: m or 53?
m
Let x = -1.4803 + 1.4803. Is x <= 1.473?
True
Let z = -66 - -18. Let m = 56 - -91. Suppose 0 = -5*j - m - 98. Is j at least as big as z?
False
Let j = 229 - 247. Let h = 25 - 42. Is h < j?
False
Suppose -o = 4*v - 0*o - 32, -2*v = 3*o - 6. Let f be (12/27 - (-2)/v)*24. Is 120/7 less than f?
False
Let m(p) = 3041*p + 40. Let n be m(3). Let y be 2*(-2)/36 - n/153. Is -1/3 equal to y?
False
Suppose -a = -1 + 2. Let f = -873/29 - -11787/406. Which is smaller: f or a?
f
Let w be 16/(-28)*-1 - 34890/(-21). Let u be (1/(-2))/(w/(-1660) + 1). Is 1 less than or equal to u?
True
Let x be -2 + 2 - (0 + -15). Let w = x + -27. Let l be 2924/(-187) + 10 + (-24)/66. Which is smaller: w or l?
w
Let r be 3*3957/21 - 34/119. Are 565 and r equal?
True
Let q be (-14)/(-6) + (-6)/(-9). Suppose q + 0 = g. Let f = -3 + g. Which is smaller: 2 or f?
f
Suppose 0 = -3*a - 4*t + 10, 20 = 2*a - a - 2*t. Let j be 1/(-3) + a/30. Suppose 0 = -c - j - 1. Is 3/20 > c?
True
Let c(g) = -g**2 + 2*g. Let p be c(3). Let n be (p + 40/12)*-3. Let d be (-20)/(-25)*1*(-5)/11. Which is greater: n or d?
d
Suppose -11*j - 165 = -b + 40, -3*b + 463 = 5*j. Which is greater: 1/4 or b?
b
Let a be (2 - 1)/1 - 352890/117. Let q = a - -3017. Is 2 != q?
True
Suppose 4*u + 1 = -q, 4*u + 3*q - 91 = -86. Is u at least as big as -1/3092?
False
Let c be (2/3)/(11/297). L