.1. Let a = -7656/7 + 1094. Does a = w?
False
Let t(q) = -q**3 + q**2 + q + 4. Let g(h) = 6*h**3 - 6*h**2 - 5*h - 21. Let p(c) = -2*g(c) - 11*t(c). Let l be p(-1). Is 1 at most l?
True
Let c be ((9/6)/3)/(1/(-122)). Let h be (c - -1 - 0)/((-75)/50). Are 41 and h nonequal?
True
Let m = -90 - -93. Suppose -10 = p - 3*x, -m*p = -x + 1 + 5. Which is bigger: -2/7 or p?
-2/7
Let v(q) = -2*q**2 - 7*q - 1. Let r(w) = 5*w**2 + 15*w + 2. Let j(n) = -3*r(n) - 7*v(n). Let b be j(3). Suppose b*d - 3 = 9. Which is smaller: d or -2?
-2
Let v = 620541/131 - 4737. Is v <= 1?
True
Let m = -4669/2 - -2333. Which is greater: m or 3/5?
3/5
Let z(m) = -m**2 - 5*m - 5. Let l be z(-3). Which is greater: l or -234?
l
Suppose 2*o - 4 - 26 = 0. Let y(z) = -2*z**2 + 6969*z - 6954*z + z**2. Let b be y(o). Which is smaller: b or 1/15?
b
Let a = 29 - 23. Suppose -a = 3*y - 3. Which is smaller: y or -2/7?
y
Let f be 2/(-4)*(2 - 6). Suppose j + 8 = f. Suppose 2*v - 5*v + p - 22 = 0, 0 = -3*v - 2*p - 19. Is v <= j?
True
Let i = 634 + -658. Is i at least -18?
False
Let o = -0.06 + 6.06. Let w = o - 8. Let h = 2 + w. Which is greater: h or -0.1?
h
Suppose 4*c - 2*c + 5*n - 59 = 0, -5*c + 138 = 3*n. Let g = c - 19. Let p = -22 + g. Is -14 greater than or equal to p?
True
Let s = -49.1 - -0.1. Let v = s - -81. Which is bigger: v or 1/3?
v
Let z be (75 - 73)/(-4 + 2). Let s be (-2)/20*1/(-2). Is s less than z?
False
Let a = 157.7 - 157.6. Which is smaller: 577 or a?
a
Let l = 2 - -2. Let q = 0.41 - 2.31. Let j = q - -2. Which is bigger: j or l?
l
Let p = -535 + 315. Suppose c - 6*q = -3*q + 41, -2*c + 70 = -2*q. Let v be (-3)/(-24) - p/c. Is 8 less than or equal to v?
False
Let t = -2830 + 8417/3. Which is smaller: -7 or t?
t
Suppose -18 = 2*f - 7*y + 3*y, 2*y = 4*f + 12. Which is smaller: -13/59 or f?
f
Let d be (-4 - -49)/(3/(-2)). Let g be 144/d*(-15)/(-2). Which is bigger: g or -35?
-35
Let t(q) = -26 + 7*q**2 + 3*q**2 + 33 + 3*q + 7*q + q**3. Let r be t(-9). Let v be (r - -3)/((-5)/(-15)). Is 11/3 equal to v?
False
Let r(n) = n**2 - 14*n + 16. Let u be r(13). Let t be ((-32)/(-20))/(2/(-25)) + u. Is t bigger than -2?
False
Let u(z) = -z**2 + 5*z + 5. Let f be u(3). Let d(j) = j**2 - 9*j - 22. Let g be d(f). Which is smaller: -1/30 or g?
-1/30
Let z(k) = 2*k + 18. Let q be z(-7). Suppose -104 = -2*u - 3*a - a, 16 = q*a. Which is smaller: u or 43?
43
Suppose q + 2*b = -694, 4*q + 245 = 5*b - 2505. Which is smaller: -689 or q?
q
Let a be 17166/45*(-5)/(-10) + 2. Let u = 193 - a. Is -1 at least u?
False
Let z = 146.845 - 147. Let b = z - -0.405. Which is smaller: b or -1?
-1
Let q(w) = -41*w - 227. Let c be q(45). Which is greater: c or -2071?
-2071
Let b be (6/666)/((-6)/18). Is 1 smaller than b?
False
Let h = 103 - 79. Let r = 47 - 18. Let w = r - h. Which is bigger: w or -1?
w
Let o = 6/11 + -1/22. Let s be (-454)/(-42) - 11/77. Let w = 11 - s. Is o greater than w?
True
Let g = -93.9 + 95.9. Which is bigger: 0.01 or g?
g
Let k = -86.9 - -0.9. Let u = k - -88. Is 1/5 equal to u?
False
Suppose 2*v + 2*y = -8, 21 = -4*v - 9*y + 6*y. Let p(h) = -2 + 3 - 8 + 2*h + 3. Let b be p(-2). Which is smaller: v or b?
v
Suppose 3*m + 7 - 121 = 0. Is m less than 44?
True
Let g(c) = c**3 - 18*c**2 - 7*c + 402. Let r be g(17). Let a = -769/102 + 7/34. Which is smaller: a or r?
a
Suppose 1 + 5 = -2*k + 2*l, k + 8 = 2*l. Suppose k*t + 3*i = -63, 5*t + 149 = -0*i + i. Is -1 at least t?
True
Suppose -2*t - 3*v + 2 = 0, -5*v - 4 = 6. Suppose -z = -4*l - 0 + 1, 20 = -t*z. Which is bigger: 2/67 or l?
2/67
Let i = -159.1 - -155.5. Are -16 and i unequal?
True
Let j(y) = y + 5*y**2 - y**3 + y + 2 + 6*y. Let t be j(6). Suppose 0 = -m + 3*r + t, -2*m + r + 16 = -2*r. Which is smaller: 13/5 or m?
m
Suppose c + 0*c - 6 = 0. Let i = 5 - c. Suppose -b - 2 = q, b + 3*q + 18 = 4*b. Which is smaller: b or i?
i
Suppose 28*u = 3*d + 24*u + 440, 2*u + 464 = -3*d. Which is greater: -151 or d?
-151
Let w(v) = v**2 - v - 57. Let h be w(-8). Which is smaller: h or 14?
14
Suppose 1 = 2394*t - 2391*t - 5*a, -2*t + 8 = 4*a. Let x = 39.1 + -42. Let s = -3 - x. Which is bigger: t or s?
t
Let x = -17.632 + 17.65. Which is smaller: x or 1/2?
x
Let n be (1*-1)/(2/(-10)). Let m(r) = 2*r - 2*r - 5 - r**2 - r - n*r. Let s be m(-4). Are s and 2 equal?
False
Let k = 2794 - 1994. Suppose 0 = -8*m - k + 272. Is m <= -66?
True
Let r = 7/10 - 11/5. Let y = -23 + 23.3. Is r smaller than y?
True
Let i be 9/(-4)*(-3)/((-18)/(-24)). Which is smaller: i or 6?
6
Let m = 34 - 34. Suppose m = -4*s - 14 + 18. Are 1/13 and s equal?
False
Let m(w) = 0*w**3 - w**3 - 9*w + 19*w - 2*w**2 + 9. Let q be m(-4). Which is smaller: q or -2/7?
-2/7
Let t = 25.0456 + 0.0544. Which is bigger: t or -1/2?
t
Let i(p) = -3*p**2 - 10*p + 71. Let k be i(11). Which is smaller: -1204/3 or k?
k
Let x be -3 - ((-2 - -2) + 1). Let r = x - 19. Let v = 377 + -399. Is r > v?
False
Let a(y) be the third derivative of -y**5/60 + y**3/3 + 14*y**2. Let g be a(-1). Is -2/23 > g?
False
Let r = -23 + 6. Are -4 and r equal?
False
Let k be 19 - (4 - 4/(-4)). Suppose z = 3*n + 19, -3*z = n - 6*n - 49. Is k <= z?
False
Let h = -0.21 - -43.13. Let l = -43 + h. Is -2 less than or equal to l?
True
Let z = -15 - -15. Suppose 3*k + 3*t + 30 = z, 0 = -4*k + 5*t - 4*t - 30. Are 0 and k equal?
False
Suppose -18 = 2*h - 4*j, 3*h - h = 2*j - 12. Let b be (-138)/24*(-1 + h). Let w = -18 + b. Are 4 and w equal?
False
Let d = 2/269 - -532/807. Which is bigger: 2/25 or d?
d
Let b be 4/2 - 24/6. Let s = 1651 - 21475/13. Which is greater: s or b?
s
Let h be 14/1*5936/(-210). Let t = h + 396. Is t bigger than -1?
True
Let o = 1.5 + -15.5. Suppose -38 = -4*i - q - 39, 4*q = 3*i - 23. Is i at least as big as o?
True
Suppose -241*r = -240*r - 8. Which is bigger: r or 10?
10
Let i be ((-4)/6)/((-10)/45). Let c be (1 + 0)/(i/12). Suppose -g + 3 = 0, 2*g + 33 = 5*q + 9. Is c bigger than q?
False
Let o = -25 + 35. Suppose 0*m + m = -o. Let p(f) = f**3 + 10*f**2 + f + 9. Let g be p(m). Which is greater: 0 or g?
0
Let q = 16 - -2. Let x = 26 - 26. Let a be (x/1 - 1) + 18. Which is smaller: a or q?
a
Let f = -210.9 - -211. Is f less than 63?
True
Let h be 4/(-10) + (-33)/(-220). Is h less than -105?
False
Let c = -159 + 158. Let n = -7183/20 + 359. Which is bigger: n or c?
n
Let d be 3304/3312 - (-1 - -4)/3. Is 1 >= d?
True
Let b(v) = 4*v**2 - 2*v - 1. Let a be b(-1). Let c = -3 + a. Which is greater: c or 5/6?
c
Let j(c) = c**3 - 17*c**2 + c - 13. Let l be j(17). Let n be (9/21)/(l/28). Suppose 0 = 2*k - 2*g + 4, n*k - 4*g = g - 16. Is -2/9 at least k?
False
Let f = 9380/17 + -553. Are 0 and f unequal?
True
Let p(i) = -5*i - 16. Let t be p(-4). Let k be (-4)/24*t/6*-3. Which is bigger: k or 1?
1
Let h = -1.8 - 0.2. Let o = -35.3 - -36. Let t = -0.8 + o. Which is smaller: h or t?
h
Let y(c) = 35*c**2 + c - 8. Let p be y(-4). Let l be (-2)/(-2) - 2749/(-5). Let z = l - p. Which is smaller: 2 or z?
2
Let a be 9/12 + (-5)/(-20). Let u be 12/5*(-10)/(-4). Let h be (4/u)/(16/(-24)). Is h greater than a?
False
Let y = 6047/393 + -46/3. Which is smaller: -1 or y?
-1
Suppose -2*t = -o - 22, -3*o - 3*t + 5*t = 62. Which is bigger: -1 or o?
-1
Suppose 5*v + 3*o = 57, -5*v = -3*v - 5*o + 2. Suppose 69 = -6*x + v. Let c(m) = m + 10. Let i be c(x). Which is bigger: -2/7 or i?
i
Suppose -5*f = p - 1333, -621 = -2*f - p - 89. Which is smaller: 269 or f?
f
Suppose 4*v - 4*g = -1000, 5*g = -3*v + v - 465. Is v at most -244?
True
Suppose 3*s + 14 = -1. Let k be 2/s - (-102)/30. Let o = -1 + 3. Is o greater than k?
False
Let f(a) = -a**3 + 3*a**2 + 3*a + 5. Suppose -7 = 3*p - 19. Let u be f(p). Let k = 262 + -2623/10. Is k smaller than u?
True
Let f = 15075/10286 + -101/74. Which is smaller: f or 1?
f
Let r be 24*16/(-84) + 3/(-7). Let t(v) = -v**2 - 4*v + 7. Let u be t(r). Is -0.8 less than u?
True
Let g(a) = -42*a**2 + 33*a**2 - 1 - a**3 - 16*a**2. Let i be g(-25). Which is smaller: i or 2/53?
i
Suppose -39*y = 10 + 614. Is -9 <= y?
False
Let w = -38 + 62. Let c = w + -17. Let k = 7 - c. Are k and 0 nonequal?
False
Let f = 158 + -158.5. Which is greater: f or -0.061?
-0.061
Suppose 2*h = 3*h + 5. Let z be 3/2 - h/(-2). Which is smaller: z or -5/12?
z
Let z = -1 + 4. Let r be (z - (-4)/(-1))*-2. Suppose -5*u - 5*t + 45 = 0,