-2*h + 33. Which is greater: z or u?
z
Let u(z) = 1986*z + 80. Let k be u(1). Which is smaller: 2065 or k?
2065
Suppose 41 = -5*z + 26. Suppose 0 = 4*o - 5*l - 17, -46*o - 2*l - 18 = -42*o. Which is greater: o or z?
o
Let f = 10 + -20.7. Let g = f - -10.23. Let m = g + -0.13. Which is greater: m or -1?
m
Let p = 2380.7 + -2380.6837. Is 27 < p?
False
Let y be 119/14*(3 - 1). Let r = y + -20. Let s be r/6 - 1/4. Which is smaller: 5 or s?
s
Let r be 6 + 20/(15/(-3)). Suppose -r*j = -2, 2*b = -b - 2*j + 68. Let p = -179 - -201. Is b less than p?
False
Let t = 42 - 50. Let w be 3/((-438)/t)*(-535)/(-2870). Let i = w + 1/287. Which is smaller: -1 or i?
-1
Let f = 3029/42067 - 3/713. Let u = 13361 + -13362. Which is bigger: f or u?
f
Let c(s) = 2*s**2 - 95*s + 50. Let v = 472 - 425. Let x be c(v). Which is smaller: x or 16/7?
16/7
Suppose 440 - 2609 = -20*n + 23651. Which is smaller: n or 1290?
1290
Let j be 18/12*(-1 - -3). Let b(t) = -3*t**3 - t**2 - 4. Let u be b(j). Which is smaller: u or -93?
u
Suppose 35*n = 33*n + 1038. Let d = -8403816/19 - -442825. Let a = n - d. Which is smaller: a or 3?
a
Let n = 0.4464 + -0.6464. Is 5270 less than n?
False
Let f = -382 - -24449/64. Suppose -5*n + 7 = -4*t, 2*t - 4 = n + 3*t. Are n and f unequal?
True
Let r be -20 + 10 - 11 - 118. Do r and -693/5 have different values?
True
Suppose -3*z - 84 = -111. Suppose 2*g + g = -t + z, 2*g - 6 = -t. Which is greater: -2/37 or t?
t
Suppose 6 = 5*o - 4, -5*t + o + 3713 = 0. Let y be 4/(-2) + (-96280)/130. Let w = y + t. Which is bigger: 0 or w?
w
Let z be ((-54)/18)/(-6*2/188). Which is greater: 789/17 or z?
z
Let c(t) = -5*t - 118. Let x be c(-24). Suppose -4*u + f - 204 = 0, 0 = -2*u + x*f - 37 - 65. Which is greater: u or -50?
-50
Let u = -0.028 + -4.172. Let a = u + -16.8. Let b = a + 22. Which is greater: b or 1.9?
1.9
Suppose -11*p + 26923 = 26912. Is 3/1738 less than p?
True
Suppose -p = -5*t + 802, -4*p - 111*t - 3185 = -108*t. Which is smaller: -794 or p?
p
Suppose -1522 + 4270 = 59*r - 2562. Suppose 4*t - k = 354, 0 = -0*t + 4*t - 5*k - 346. Which is smaller: t or r?
t
Let c be 101/321 + (-2)/6. Let d = 730957 - 730957.1. Which is greater: c or d?
c
Let q be -341 + 7/(14/10). Let s = q + 1743/5. Which is smaller: s or 14?
s
Let q = -2 - -2. Suppose q = -5*x, 4*x - 6 = -d - 0. Suppose -d*v = -2*v. Is v smaller than -10/13?
False
Let d = -10 - 260. Let x = -179 - d. Are x and 1 equal?
False
Let s(d) be the third derivative of d**5/30 + d**4/12 + d**3/6 + 4*d**2. Let f be s(-3). Let a = 2156 + -2145. Is f < a?
False
Let q = -2545627/72 + 35360. Let x = -40/9 + q. Let z = 5 + -5. Which is greater: z or x?
z
Let g be -50*((-6)/(-14))/((-14)/147). Suppose 5*v + 72 = -j, -4*j - g = -2*v - 3. Which is greater: j or -58?
j
Suppose 0 = -3*c - 2*m + 269 - 234, -5*m = -7*c + 101. Let v(s) = s**2 - 5*s - 4. Let y be v(6). Let r be (7/1)/(1/y). Which is smaller: c or r?
c
Let j be ((8/(-6))/4)/((-224)/(-192)). Which is smaller: j or 1211?
j
Suppose 0 = -9*m - 8 + 26. Suppose 0 = m*d - 0*d + 2*p + 34, -d - 5*p - 13 = 0. Which is smaller: -1/6 or d?
d
Let s(h) = 46*h**2 - h - 6. Let f = -92 - -90. Let u be s(f). Are 180 and u equal?
True
Suppose 0 = 13*z - 18*z + 30. Suppose 10*i = z*i. Suppose -l - 19 = 4*a + 7, i = 3*a + 4*l + 26. Do a and -3 have different values?
True
Suppose -19*z - 1575 + 4425 = 0. Suppose 4*b - 7 = 3*j + 2*b, 4 = -2*j + 2*b. Let h be (-2)/j + (-205)/z. Is -2 at least as big as h?
False
Let j = 98 - -138. Let o = j + -214.97. Let b = o + -0.03. Is 1 at least as big as b?
False
Suppose -3*x = -0*x - 348. Suppose -4*b - 3*q + 130 = 351, -2*b = -4*q + x. Let p = -14462 - -14406. Is p smaller than b?
False
Suppose -11*t - 9 = -8*t. Let s be -2*(-1)/(-2)*t. Suppose s*m + 6 = 21. Which is greater: 9/2 or m?
m
Let r(d) = -d**3 - 4*d**2 - 2*d + 3. Let y be r(-3). Let p = -6/449 - 64793/23348. Let v = -9/4 - p. Which is smaller: y or v?
y
Let p = -0.3 - 0.2. Let m = -1166.5 + 1165. Let u = p - m. Do u and -43 have the same value?
False
Let i = 3.3 + -3. Let d = i + -0.4. Let w be ((-122640)/9639 - -11)*8/14 - (-44)/(-594). Which is smaller: d or w?
w
Suppose r + 3*j = -2*r - 180, -4*r - 3*j - 244 = 0. Let h(x) = -x**2 - 52*x - 673. Let v be h(-26). Which is greater: v or r?
v
Let g(d) be the first derivative of -2*d**3/3 + 47*d**2 + 94*d + 105. Let y be g(48). Which is smaller: -47 or y?
-47
Let t be (14/(-56))/((-2)/(-8)). Let m = 6729/187 - 36. Which is greater: t or m?
m
Suppose 6*x - 24696 = 14*x - 26*x. Is x equal to 1373?
False
Let u(m) = -m**2 - 83*m - 1381. Let f be u(-23). Which is smaller: 7/153 or f?
f
Let h = -19686669/44 - -1774923/4. Let c = -3697 - h. Which is smaller: -2 or c?
c
Suppose 0 = 3*q + 2*k - 343, 6*k - 2*k = -4*q + 464. Suppose -3*d = 4*z - q, -3*z + 10*d + 67 = 9*d. Which is smaller: -4 or z?
-4
Suppose -8*q + 14032 = -6*q - 5*c, -4*c = -4*q + 28040. Is q smaller than 7005?
False
Let u be 94*-2 - (-2 + 4). Let i(y) = -10*y**2 - 24*y - 60. Let m be i(-5). Are m and u unequal?
False
Suppose -61*i + 53*i = 456. Let z = 41.036 + -41. Let u = z + -0.136. Is i at most u?
True
Let j be (-2)/((-20)/6)*(-282 - -336). Which is bigger: 31 or j?
j
Let a(r) = 34*r + 17. Let q be a(-11). Let k be 3/8*518/q. Let o = -5/17 - k. Which is bigger: o or 0.01?
o
Let m be (-144)/36 - (216/13)/(-4). Is -0.213 < m?
True
Let d(r) = -2*r**2 + 21*r - 34. Let b be d(5). Which is bigger: b or 59?
59
Let q = -5280 + 1599842/303. Let p be 0/(-145 - -138 - (-3)/((-3)/(-10))). Is p at least q?
False
Let m be -1 + 275/30 + 20/(-5). Suppose 0 = -5*v + 5*k, 12*v = 7*v - 3*k + 32. Is m greater than or equal to v?
True
Let b be 226822/(-1590547) + 17/119. Which is smaller: b or -1?
-1
Suppose -13*n - 4*l - 756 = -17*n, -19*n + l = -3807. Let f be (-799)/(-4) - (-1)/4. Is f equal to n?
False
Let p be ((-11)/(-33))/((-2)/(-30)). Suppose -15 = -p*u - 4*d, -7*d + 2*d - 9 = -3*u. Do u and 0.33 have different values?
True
Suppose -3*h = -4*d - 9391, 2*h - 2316 = -4*d - 11722. Is d at least -2349?
False
Let y be ((225/(-12))/(-5))/(150/(-119200)). Is -2979 greater than y?
True
Let r = 4327.45 - 115.45. Is r < 1?
False
Suppose -5*r + 101 = p, -5*r + 625 = 5*p - 10*r. Is 123 less than or equal to p?
False
Let z = 5262 + -5307. Which is smaller: -412/9 or z?
-412/9
Let c(s) = 0*s + 2*s**3 + 12*s**2 - 2 + 4 + 0*s**3 + 12*s. Suppose 0 = -5*p - 2*l - 15, -3*l - 4 = 5*p + 6. Let i be c(p). Is i <= -1?
True
Let g(q) = -q + 10. Let u be g(0). Suppose 2*c + 0*k = 2*k + u, 0 = -3*c - 4*k - 20. Let p be 1/(-38)*((-12)/(-9) - 96/(-36)). Which is greater: c or p?
c
Let i(l) = -l**3 - 6*l**2 - 2*l + 3. Let v be i(-5). Let z = 12 + v. Suppose 9*o = -z - 0. Which is bigger: -3/53 or o?
o
Suppose 0 = -4*l - 4*u + 217 - 193, -3*l - 24 = -3*u. Let q = -143 - -232. Is l at least as big as q?
False
Suppose -2*d = -4*a - 13420, -3*d - 2*a = -3*a - 20175. Do 6727 and d have the same value?
False
Let u = -251 + 250. Is u less than or equal to -0.03?
True
Let n(c) = -5*c + 42. Let t = 231 - 222. Let k be n(t). Is -3.2 at least as big as k?
False
Let v = 102 - 150. Let m = -46 - v. Which is bigger: -0.01 or m?
m
Let m = 45.64 - -0.36. Let k(g) = -g**3 - 6*g**2 - 15*g - 16. Let f be k(-3). Which is greater: m or f?
m
Let x = 538.7 - 18.7. Let p = x - 400. Is p bigger than -1/2?
True
Let q(n) = -88*n. Let r be q(-1). Let w = r - 150. Suppose -c - l - 32 = 26, 128 = -2*c + l. Is w smaller than c?
False
Let d = 12.5 + -156.5. Let h = -143.6 - d. Which is greater: h or -2.6?
h
Suppose -5*m - 5*b - 165 = 0, -5*m = -2*m + 4*b + 100. Suppose -121 = -9*h - 391. Is m > h?
False
Let j = -13.44 + -0.56. Which is smaller: -18 or j?
-18
Suppose 0 = 4*o + 28, h - 6*o + 3035 = -5*o. Is -3042 at least as big as h?
True
Let r be (6 + 4203/27)/(10/(-150)). Which is smaller: -2427 or r?
-2427
Let u = -11005 + 6288. Is -4716 at least u?
True
Suppose 0 = 2*p + 56 - 40. Let u be (p/12 + 11/15)*3. Which is bigger: u or 5/3?
5/3
Let f be ((-2)/24*(-4)/46)/((-733)/(-7330)). Let z be ((-2)/3)/(2/(-3)). Which is greater: f or z?
z
Suppose 3*i - 12 = 3*p, -2*i + 3*p + 0 = -3. Let s = 1529/5 + -19307/65. Which is smaller: i or s?
s
Let q(p) = 185*p - 87. Let c be q(-5). Let h = c - -1014. Let m be ((-8)/10)/((-2)/10). Which is g