ose -5*h - 4*u = -8*h + 5, -3*u = -d*h + 3. Let z = -11/1323 + -1/441. Which is bigger: h or z?
z
Let k = -5384/1219 - -112/23. Are k and -1 unequal?
True
Let w(p) = -18*p**2 + 3*p + 10. Let t be w(3). Let g = t + 95. Which is greater: g or -46?
-46
Let z = -244.7 + 255. Let g = 477 - 474. Which is bigger: g or z?
z
Let s = -22.8 - -157.8. Let x = -68 + s. Let v = 64.9 - x. Which is bigger: 2 or v?
2
Let s be (3*1357 + (-6 - (-23 - -19)))/(-1). Which is smaller: -4068 or s?
s
Let h be (-5)/(30/8)*-3. Let m be 0/(h/(20/15)). Let u = -278 - -280. Which is greater: m or u?
u
Suppose -5*i - 14 = 5*r - 6*r, -4*r - 5*i = 44. Let s be r/(-10) + 328/(-5). Is s >= -66?
True
Suppose 58*c - 135*c + 66*c = 11. Which is bigger: c or -32/119?
-32/119
Suppose 5552 = 9*k + 5543. Are k and -37/641 equal?
False
Let h(g) = g + 4. Let w be h(-3). Let r = 345 - 524. Let n = 1609/9 + r. Do n and w have different values?
True
Let b = 122.9 - 18.9. Let g = 105.04 - b. Let i = g + -0.14. Is 5 <= i?
False
Let k = -4/2113 + -20822/162701. Let s = k - -204/385. Is s <= 272?
True
Let b be -10 + (8 - (265 + 8)). Which is bigger: b or -277?
b
Let t be (-11)/((-275)/10) - (-38)/5. Let z be (t/((-3392)/(-18)))/(4/(-16)). Is z less than 1?
True
Let z = 21.431 + -58.431. Which is greater: z or -159?
z
Let r = 4279/9 + -475. Let q = -376 + 380. Suppose -2*m - 2 = -q*g, 2*m + g = 4*m - 1. Which is smaller: r or m?
r
Let l = -33.1 + 33. Suppose a - 2*a - o = 0, 3*o + 9 = 0. Let i be 1/(-7)*a - 4/7. Which is smaller: i or l?
i
Let t = -1484.5 - -1477.863. Let p = t + 0.037. Let k = 7.6 + p. Which is greater: 0.25 or k?
k
Let k be (-9)/((22/1166)/(1*-1)). Let q be 3/2*42/k. Which is smaller: 0 or q?
0
Suppose -a + 4*w - 56 = -4*a, -3*a = 3*w - 54. Suppose a*u = 4*u - 12. Let v(i) = i**2 + 7*i + 3. Let j be v(-5). Is j > u?
False
Suppose 20*r + 146472 = 7*r + 51078. Do r and -7337 have the same value?
False
Suppose 0 = -4*d + 3*u - 2*u - 13, 5*d + u = -14. Let c be (d/603)/(24/(-792)). Are -1 and c equal?
False
Let b = 2056 + -2064. Is b less than 235?
True
Let o = -149.42 + -122.54. Let f = -272 - o. Is -2 bigger than f?
False
Suppose -115 = -5*d + 5*c, -12*c = 2*d - 7*c - 11. Let u be -3 - 0 - (-50)/d. Which is bigger: -1 or u?
u
Let d be 0/2 + 21/7. Suppose d*z = 4 + 5. Let l be (13/(-156))/(4/240*-3). Is l at most as big as z?
True
Let b be (-110)/(-50)*10/(-524). Which is smaller: b or 1?
b
Suppose -1734 = -1480*g + 1514*g. Let a be (-1)/4 - 51/(-12). Let r be (-6)/a*-17*-2. Is r less than g?
False
Let c = -94 - -97. Let j be (-2)/c*-6 + 108/(-30). Let l(h) = -h**2 - 2*h + 2. Let v be l(-3). Which is smaller: v or j?
v
Let s be (277 + -341)/(22/(-16)) + (-12)/22. Which is bigger: 95 or s?
95
Suppose -f = -31 - 9. Suppose 0 = 4*y + 3*k - 35, f = 3*y + 2*y + 3*k. Suppose -5*p + 0*i = 5*i + y, 0 = 3*p - 5*i - 5. Are 4 and p unequal?
True
Suppose -n - 1 = -3*l - 12, 0 = 3*n - 2*l - 19. Suppose -5*i = -5*w + 9*w - 29, -3*i + 10 = -n*w. Is -1/88 at most as big as w?
True
Suppose 0 = -4*q + 2*q - 86. Let r(u) = u**2 - 29*u + 19. Let c be r(27). Let h = -77 - c. Which is smaller: h or q?
q
Let m = -605/28 + 153/7. Let r(a) = -6*a - 12. Let h be r(-8). Let f be (-3)/(-2)*h/54. Is m equal to f?
False
Let i(l) = 2*l**2 + 1. Let s(y) = y - 4. Let k be s(3). Let v be i(k). Suppose -v*b = 3*w + 9, 4*b = 4*w - 3 - 17. Which is smaller: w or 1/10?
1/10
Let u = 524 - 290. Let n = u + -240. Is -3/14 < n?
False
Let b = -0.01 + 0.19. Let r = -297 - -297.16. Let f = b - r. Is 1 equal to f?
False
Let w(r) = -66*r + 532. Let q be w(8). Let x(a) = -a**2 + 17*a + 1. Let l(n) = -n**2 - n. Let v(g) = 4*l(g) + x(g). Let p be v(q). Which is smaller: p or -26?
p
Suppose -49*t = -51*t + 16. Suppose t*f + 1 = 25. Suppose 0 = -4*m - f - 17. Which is smaller: m or -7?
-7
Let u = -0.0582 - -0.0262. Let o = 0.008 - u. Suppose -3*z + n = 9 - 2, 0 = -z + 5*n + 7. Is o not equal to z?
True
Let h be 1/8 + (-78)/(-16). Let r be h/(5/11)*1. Let s be (r + -12)*2/(-4). Is 2 > s?
True
Suppose 1 - 3 = -3*w - 2*r, 4*w - r = 10. Suppose u + 2*p - 11 = 4*p, w*p + 7 = -3*u. Which is greater: u or 7/80?
u
Let h = -43031 - -43015. Which is smaller: -288/19 or h?
h
Suppose 74*z - 13667 = 184*z - 3327. Are z and 13 unequal?
True
Let o(d) = -2*d**3 + 87*d**2 - 60*d - 443. Let t be o(43). Is -1172 less than t?
False
Let q(r) = -r**2 - 16*r - 14. Let v be q(-13). Suppose 5*m - v = -0*m. Suppose m*a - 29 = -9. Are 6 and a equal?
False
Let i be 984/(-1128)*562/(-20). Let z = i + -3/235. Which is smaller: z or 24?
24
Suppose 2787 = -13*l + 7948. Let r = l - 408. Which is greater: -12 or r?
r
Let g = 172 - 187. Suppose -4*o = 55 - 23. Let a be 4/o - 1 - -2. Which is bigger: g or a?
a
Let k be 240/11 - (-4)/22. Let d = k + -22. Which is greater: d or 1/118?
1/118
Let x(u) be the first derivative of -u**3/3 - 11*u**2 - 6*u + 121. Let r be x(5). Is r at least -141?
True
Let m = 6 + -2. Suppose 2*d = -2*d - m. Let o be 144/(-50) + (-153)/(-1428)*28. Is o != d?
True
Let w = 18074 - 18296. Which is bigger: w or -221?
-221
Let i(z) = z**2 + 49*z - 3821. Let b be i(-92). Which is greater: 131 or b?
b
Let i(p) = -101*p**2 + 110*p - 137. Let w be i(11). Is -11147 less than or equal to w?
False
Let b be (6 - (-56)/(-7)) + (1 - 13). Let g be b/(22/(-28) + (-24)/(-84)). Suppose -3*k = -27 - 57. Is k at least as big as g?
True
Let k = 103.46 + 0.54. Let u = k - 163. Let p = u - -57. Is 20 less than p?
False
Let p = 1778.3 - 1706. Let j = -139 - -211. Let c = j - p. Do 1 and c have different values?
True
Let o(b) = -573*b**3 + 4*b + 3. Let k be o(-1). Let u be (-22)/k*18/1. Is -1/3 != u?
True
Let q be 8 + (1051*(-1)/(-62))/(-1). Which is bigger: -9 or q?
q
Let r = 2293509/286 - 16039/2. Is 3/5 greater than r?
True
Suppose 0 = -s - 0 - 10. Let n = 101.3 - 102.4. Which is smaller: s or n?
s
Let z = 8664 + -8665. Which is smaller: z or -7/232?
z
Let v be 6/(-33) + ((-174)/891)/((-12)/18). Is v greater than 368?
False
Let h = -50096931/4109 - -12192. Is h at most as big as 1?
True
Suppose -157*i + 124 = -661. Let t be 2 - -1*(-8858)/(-28). Let x = -629/2 + t. Is x less than or equal to i?
True
Let v be (-48)/264 + (-114)/(-22). Suppose -3*j = -v*o, -o = j + o. Suppose j = 3*r + 2*r - 30. Which is greater: 7 or r?
7
Let k(a) = -a - 10. Let g be k(-6). Let c = -60 - -77. Let m be (8/(-5))/(-1 + c/15). Is m at least as big as g?
False
Let m = -213 + 320. Suppose -492 = -9*f + 480. Is m <= f?
True
Let b be 64/138 - (-13)/(-39). Suppose 20 = 8*l + 6*l + 20. Is l at least b?
False
Let a = 14252 - 42761/3. Let u = 0.05 - -0.1. Which is smaller: u or a?
a
Let r be 30/(-45)*(0 - 3) - 64/36. Which is smaller: -3063 or r?
-3063
Let b be 15/10 + (-30)/(-12). Let c be 6 - (2/(-5) + 132/30). Which is bigger: c or b?
b
Let u = -4636 + 4126. Which is smaller: -3579/7 or u?
-3579/7
Let r = 221018/5049 - -20/459. Suppose 4*o + 21 = 5, -5*w + 216 = o. Let c = w - r. Which is bigger: c or -1?
c
Suppose 2*n - 35 = 5*y, -n = 3*n - 5*y - 95. Suppose 33*s = n*s + 6. Let i be -3 - (-3)/s*2. Which is smaller: 2/31 or i?
i
Suppose -4*y + 4 = 8. Let n be (y + -2)*104/(-24). Suppose n*v = 11*v. Is -5 less than v?
True
Let a(p) = -p**2 + 23. Let c be a(5). Let n be (-337 + -1)/c*-1. Which is smaller: n or -170?
-170
Let w(f) = -f - 10. Let r be w(-8). Let p be 1/8*4 + r/(-4). Let u be (6/2)/6*(p - 3). Which is greater: u or 4?
4
Suppose 390 = -3*c - 2*k, -5*c = -390*k + 387*k + 612. Which is greater: c or -119?
-119
Suppose 0 = -62*g + 30*g - 44448. Which is smaller: g or -1391?
-1391
Suppose -m + 2*m = 0. Let q be ((-8)/22)/(-2)*-3 - 66830/(-109373). Which is bigger: m or q?
q
Let x = -17 - -22. Suppose 0 = -c + v + 24, c + c + 5*v = 48. Let l = c - 20. Which is smaller: l or x?
l
Let k(h) = -2*h + 5. Let w be k(5). Let q(s) = 49*s + 290. Let n be q(-6). Which is smaller: w or n?
w
Let s = 14020 + -14019. Which is bigger: 30/1337 or s?
s
Let c(j) = -j**3 + 91*j**2 + 15*j - 1367. Let a be c(91). Is a > -27/25?
False
Suppose 0 = 17*u - 985 + 220. Let g = u - -64. Is g bigger than 109?
False
Let j(x) be the second derivative of -x**4/6 - x**3/3 + 3*x**2 + 5*x. Let l be j(0). Suppose -3*r = l*t - 2*t + 61, t - 3*r + 4 = 0. Which is smaller: t or -14?
-14
Let t(c) = 3284*c - 4210. Let 