= -0.194285 - 0.805715. Which is smaller: o or z?
z
Let b = -7593 + 7597. Are b and 140/41 equal?
False
Let p(t) = t**3 + 15*t**2 + 14*t + 2. Suppose 3*g - 70 = -j + 170, 2*j = 4*g - 310. Suppose 0 = 5*k - 9 + g. Let v be p(k). Which is smaller: 4/3 or v?
4/3
Let o = 0.02 + 0.08. Let p = -125.784 + -0.216. Let z = 133 + p. Which is bigger: z or o?
z
Let d = 440.63 - 447. Let v = d + -118.63. Which is greater: v or -0.1?
-0.1
Let o = -10239 - -10189. Let p = 8 + -6. Which is smaller: o or p?
o
Let h(p) = p**3 + 53*p**2 + 7*p - 22. Let m(o) = -o**3 - 79*o**2 - 10*o + 33. Let a(w) = -7*h(w) - 5*m(w). Let i be a(12). Is i < -2/15?
False
Let m be (2/(-3))/((-28)/1476). Let c = 1039 - 1074. Let k = m + c. Is k >= -1?
True
Suppose 220 = j + 193. Let y(k) = k**3 - 27*k**2 + 2*k - 57. Let t be y(j). Let q be 2/(-4)*-2*-5. Which is smaller: q or t?
q
Let f = 0.3961 + 0.0839. Are -7 and f equal?
False
Let n be (1/((-104)/12))/(4/((-32)/(-6))). Is n smaller than -113/3?
False
Let t be (1036/12)/(427/366). Which is smaller: t or -27?
-27
Suppose 35 = 2*h + 5*x, x + 10 = 4*h - 5. Let a be ((-4)/16)/(h + (-125)/12). Let i(u) = -u**2 - 9*u - 9. Let b be i(-8). Which is bigger: b or a?
a
Let y(s) = -2*s**2 + 8*s - 1. Let d be y(7). Let p(h) = 11*h + 187. Let t be 14*(0 - (-9)/(-6)). Let c be p(t). Is c != d?
True
Let r = 16 + 6. Let d be 4*(-623)/770 - -3. Let x = -227/495 - d. Is x greater than r?
False
Suppose -m + 2*s + 3 = -2*s, -2*s = 2*m + 4. Let p be 2 + -1 + m - (-80)/(-140). Suppose -2 = y - 0*y. Is y bigger than p?
False
Let c = 1150 - 1150. Let v be (-15546)/(-108)*(-3)/(-11). Let p = v + -432/11. Which is greater: p or c?
c
Let s be (-34)/4*(-1 + 327)*(-204 + 205). Is -2771 less than s?
False
Let u be (-269 - 1)*1/((-15)/6). Let c = -45 + u. Let z = 62 - c. Is 1/5 < z?
False
Let q = -14 + -13. Let n be (-1278)/(-30) - 4/(-10). Let v = 15 - n. Which is bigger: v or q?
q
Let d = -2385.66 + 2407. Let j = -3.24 + d. Let b = j + -18. Which is smaller: 11 or b?
b
Let k = 248 + -1740/7. Let o = -62 + 61. Is o at most k?
True
Let t = 257 - 290. Suppose -5*s = 5*h - 15, 3 - 1 = -h + 4*s. Suppose 0 = 5*d + 2*c + 164, 0 = d + h*c - 4*c + 28. Is d smaller than t?
False
Let b(t) = -153*t + 1369. Let w be b(9). Are w and -103/15 unequal?
True
Let l be (3/3)/(-1)*-1. Let t = -1506.56 + 1506. Which is greater: t or l?
l
Let g = 2 + 4. Suppose -g*u = -4*u + 254. Is -127 smaller than u?
False
Let c = 765889/241 + -3178. Is c less than 0?
True
Let c be 228/48 - 6/8 - 0. Suppose -c*h - 2*z = -6*z + 48, 4*h + 63 = -z. Let k be (410/h)/((-2)/(-3)). Is -40 at least as big as k?
True
Let k be (3 + 3 + -27)*31 - -4. Let i = k + 627. Which is greater: i or -16?
-16
Let h be (9/(-27) - 1) + 15068/11310. Which is smaller: h or 0?
h
Let x(d) = 5*d**2 + 204*d + 45. Let r be x(-41). Which is smaller: r or 95?
r
Let o be 410 + (1 + 1)*2. Let a(y) = -199*y + 15. Let k be a(-2). Which is smaller: o or k?
k
Let q(u) = u**3 - 25*u**2 + 25*u - 23. Let z be q(24). Which is bigger: z or 377?
377
Let c = -35 - -26. Let b be ((-90)/(-20))/((-1)/4). Let j be ((-4)/1)/(c/(b/4)). Is 0.1 greater than j?
True
Let i(s) = -18 - s**3 + 20 - s**2 - 2*s**3. Let b be i(-5). Let u be b/(-200) + 1*2. Which is smaller: 1 or u?
u
Let p be 3/(-12) + (-456)/(-32). Suppose p*f = -0*f + 56. Suppose 6*i + f = 10. Which is greater: i or -1/25?
i
Suppose 5*l + 24 = 3*h, -l - 9*h + 6*h + 24 = 0. Let a(t) = -t**3 + 6*t**2 - 6*t + 3. Let c be a(5). Let y = -4 - c. Is y bigger than l?
False
Let d = -10.6 + 10.302. Let j = 0.668 + d. Which is greater: -0.1 or j?
j
Let s(d) = 34*d + 492. Let m be s(-14). Which is smaller: 86/5 or m?
m
Let k = -14 - -17. Suppose -14 = i - 11. Let y be (i/(-2))/(-4 - 273/(-70)). Which is smaller: y or k?
y
Suppose 35 = 7*z - 0. Suppose z*y - 108 = 3*s + 70, -4*s = -3*y + 109. Is y > 5?
True
Suppose 2*z = 8, -39 = -2*d - z + 111. Let l = -70 + d. Suppose 4*v + 45 = 5*f - 26, -l*v = 5*f + 27. Which is greater: v or -13?
-13
Let r = -10166 + 10193. Suppose 0*a = 3*a - 87. Do a and r have different values?
True
Suppose -58*h + 2135 = -133*h - 230*h. Is h > -8.3?
True
Let c be (-1 - 24*-2) + -1. Suppose -39*w = -c*w + 56. Let k(m) = -m**2 + 7*m. Let s be k(4). Which is smaller: w or s?
w
Suppose 2*w + 38 - 34 = 0, 3*p - w + 1078 = 0. Which is bigger: -362 or p?
p
Let o = -13059 + 117706/9. Suppose -4*u + 88 - 26 = 5*k, -5*k = -4*u - 118. Is k at most o?
True
Let f be (384/(-256))/((-54)/(-152)). Which is greater: -3 or f?
-3
Suppose 0 = 25*y + 4*y - 2262. Let g be 0 + 0 + (-180)/y. Which is greater: g or -1?
-1
Let p = 2/381 + -425/8382. Let z = -0.026 + -0.005. Let h = z - -0.131. Is h >= p?
True
Let x be 1/(-3 + (-55)/(-20)) - -6. Suppose 0 = 5*b - 4*y - 273 - 98, 2*b - 148 = x*y. Is b >= 70?
True
Let p be 0 + 5 - (0 + 1). Suppose -p*l - 30 = -2*i - 214, -312 = 3*i + 3*l. Let a = 101 + i. Is a < -1/201?
False
Suppose 3*u + 59 - 11 = -d, 0 = 5*d - 4*u + 145. Let t be 60/d - (-10)/(-55). Let f(w) = 6*w + 6. Let m be f(t). Which is bigger: m or -9/2?
-9/2
Let g = -15 + 5. Let h(y) = -16*y - 8*y + 26 + 29*y - 90. Let j be h(10). Which is smaller: g or j?
j
Let x(y) be the second derivative of 15*y - 3/2*y**2 + 0 - 1/6*y**4 + 3/2*y**3. Let u be x(3). Which is smaller: u or 8?
u
Let l = 19/208 - -63/208. Which is smaller: -1 or l?
-1
Let c = 129572/7 + -18510. Is -252/97 less than c?
True
Let h = -65 + 91. Let n = -0.104 + -33.896. Let u = n + h. Which is smaller: u or -2/9?
u
Let n = -21 + -50. Let l = n + 70.75. Let t = l - -0.25. Is t equal to 0.12?
False
Let k = -1 + 1.8. Let d be (1*(-6)/18)/(25/(-32)). Let b = -6/25 - d. Which is smaller: b or k?
b
Suppose 0 = -4*y + 2*y - 2*b - 30, 0 = -y - 2*b - 20. Let r(q) = -q**3 + 10*q**2 - 8*q - 5. Let i be r(9). Let c be (7/(-4) + i)*-4. Is y less than c?
True
Let f be 1*((-2)/(-1) - 3 - 0). Let y be f/((-88)/1524) - 3/2. Is y > 16?
False
Let o be (-4 - -7)*4/6. Suppose -v + k = -7, -21*v + 19 = -19*v - 3*k. Suppose -v*r = -5*t - 7 + 20, 0 = -o*t + 3*r + 14. Is t less than 6?
True
Let l = -2698 + 2698. Which is smaller: l or 2/21?
l
Let g be ((-9)/(-17883))/(0 - -1). Does g = 0?
False
Suppose 5*x = 8*x - 24. Let y be ((-243)/(-108))/(2/x). Suppose 3*p - h - 16 = h, 60 = 5*p + 5*h. Which is smaller: y or p?
p
Suppose 2*m - 2*t + 6 = 0, 12*m + 4*t + 18 = 10*m. Let w be (4/150*15)/((-3)/m). Which is bigger: w or 2?
2
Let f(d) = 18 - d - 8 + 9 - 4*d. Let l be f(4). Does 2/381 = l?
False
Suppose 2*s - 48 = -4*x, 9*s + x = 7*s + 45. Suppose 29*p = s*p. Suppose p = 4*m + q - 0*q + 156, 3*m + 98 = 4*q. Is m equal to -36?
False
Suppose -108 = -5*s + 797. Let l be 2*(-23)/6 + (-4090 - -4098). Which is smaller: l or s?
l
Let j be 3 - -235*4/(-316). Let m = 163 + -163. Which is bigger: m or j?
j
Suppose -x - 85 = 5*h - 18, 31*x + 3*h = -861. Let s be ((-8)/(-2))/(1/(-7)). Do x and s have the same value?
False
Let h(x) be the first derivative of x**5/60 + 3*x**4/8 + 5*x**3/2 + 2*x**2 - 4. Let d(z) be the second derivative of h(z). Let u be d(-6). Is -6 > u?
False
Let v = 11758 + -11724. Which is smaller: v or 7?
7
Let m = 22/73 - 8/511. Which is greater: 16 or m?
16
Suppose 24*j - 47494 = -155182. Which is bigger: -4486 or j?
-4486
Let o be (1/14)/(12/120)*56/140. Is 526 < o?
False
Suppose -d + 46 = 3*r + 38, 3*d + 2*r - 3 = 0. Is d < -16/79?
True
Suppose 10*q = -101 - 69. Let w = -17 + -40. Let s = 38 + w. Which is greater: s or q?
q
Let f(o) = o**2 + 20*o - 14. Let x be f(-21). Suppose -5*y = -x*y + 4. Suppose 3*r - 1 = y. Which is bigger: -3/20 or r?
r
Let z = -27 - -19. Suppose -21*n = -92*n - 213. Which is smaller: n or z?
z
Let w = -209 + 3969/19. Let v be (-12)/(-9)*7/((-56)/(-12)). Let q be (3 - (v + -3)) + -4. Which is greater: q or w?
q
Suppose 5*o - 61 = t + 305, -4*t = -3*o + 223. Suppose 4 = -2*r - 0. Let m be ((-26)/r + -4)*8. Are m and o equal?
False
Let h(n) = -88*n - 19. Let r(m) = -m**3 - 5*m**2 - 3*m. Let b be r(-4). Let f be h(b). Let j be f/(-1530) + (-4)/(-34). Which is greater: j or -1?
j
Suppose -4*w = 70*s - 75*s + 173, 2*s = 3*w + 72. Do -93 and s have the same value?
False
Let j(m) = m**3 + 9*m**2 - 11*m - 8. Let b be j(-10). Suppose 4*w + 2*o + 78 = 0, -4*w - b*o = -3*w + 18. Let s = w - -20. Is -1/15 bigger than s?
False
Supp