uppose 0*h = 2*h + 2*k - 28, 3*k = 3*h - 54. Suppose -12*n = -19 + 91. Let y be (-1)/n + (-77)/(-6). Which is smaller: h or y?
y
Let t = 2.3 + -2.12. Let r = -0.08 + t. Let a = -60544/21 + 2883. Is a smaller than r?
True
Let w = 1.433 - 504.433. Which is smaller: 2 or w?
w
Let v be (-1723)/1650 - 624/(-572). Which is bigger: 0 or v?
v
Let t(i) = 666*i + 11322. Let f be t(-17). Are -1/203 and f equal?
False
Let f = 0.31 + 0.99. Let t = 4.38 - -0.42. Let v = 4.7 - t. Which is smaller: v or f?
v
Let j be (-1 - 5) + -5*(-330 - 5). Which is smaller: j or 1670?
j
Let s(k) = k**2 + 9*k - 70. Let j be s(-16). Let f = j + -5. Which is smaller: 110/3 or f?
110/3
Let d(n) = 3*n**3 + 8*n**2 - 6*n + 16. Let b(u) = 4*u**3 + 8*u**2 - 7*u + 17. Let p(l) = 4*b(l) - 5*d(l). Let m be p(8). Let g be 8/20 - m/5. Is g >= 4/7?
False
Let x = -6162 + 8397. Which is smaller: x or 2233?
2233
Let d = -1.21 + 0.63. Let k = d + 0.28. Suppose -6 = -3*x - 0*x. Is x at least k?
True
Let z = 22121 - 22119.8. Which is smaller: z or 6?
z
Let v be (2 - 1)/((-2)/(-6)). Suppose d + v*q + 4 - 15 = 0, -5 = -4*d + q. Let c be (17 + -11 + -5)/(2/4). Is d less than c?
False
Suppose y - 2*y + 5*b - 2588 = 0, 2*b + 5236 = -2*y. Let i be (8/(-6))/(26/y). Is i at least as big as 134?
True
Let i = 19.36 + -38.36. Is i < -3/22?
True
Suppose -7*s - 37 = -4*n - 2*s, 3*n = -s + 4. Let i be (n - 5)*(-4 + (-18)/(-4)). Let v be i - (-1)/(-3)*(-177)/60. Is v less than or equal to 0?
True
Let u = 224 - 75. Suppose -u = -7*l + 159. Suppose -l*a = -48*a + 24. Which is smaller: a or 8?
a
Let j be 0 - 2 - (4 + -6). Suppose 3*c + 3*g = 7*g - 3, -3*g = j. Let q = -8/269 + -85/6187. Do q and c have the same value?
False
Let g = -8504 - -6982. Which is bigger: g or 4?
4
Suppose 5*t - t = 12. Suppose -35*k = -61*k - 130. Let y be ((-1674)/330 - k)/(8/(-260)). Does t = y?
False
Let w(c) be the third derivative of -c**4/24 + c**3/2 + 6*c**2 + 2*c. Let y be w(24). Is -18 at most y?
False
Suppose 0 = 3*y + 5*q + 144, 4*y - 240 = 9*y + 3*q. Let b = -49 - y. Which is smaller: -7/106 or b?
b
Let b = 19/22 - 5843/66. Are b and -88 nonequal?
True
Let n be ((-222537)/278)/(3/6). Let u = 1226 + 375. Let q = n + u. Are q and 1 non-equal?
True
Let d = -1641/460 + 67/20. Let c(f) = -6*f - 49. Let l be c(-8). Which is smaller: d or l?
l
Let n = -1.5 + 1.506. Let m = 32.8 - 29.4. Let p = m - 3.2. Is p < n?
False
Suppose 3*k = -0*f + f + 136, 0 = -4*k - 3*f + 190. Let x = k - -26. Let z be -4*6/x + 1/3. Which is greater: z or 3/13?
3/13
Suppose 0 = 2*h + h - 6. Let w be 2/4*(16 - h). Let n = 1468 + -7312/5. Is w > n?
True
Let o be ((12/18)/1)/8*-9. Is 1687 >= o?
True
Let y be (-1386)/455 - ((-800)/(-975) - (-2)/(-3)). Let c = 5 - 5.5. Which is bigger: c or y?
c
Let q(t) = t - 26. Let v = 155 - 145. Let z be q(v). Let r = 13/18 - 146/9. Is z less than or equal to r?
True
Let b = 18 + 198. Suppose -7*r - 36 = b. Which is bigger: -181/5 or r?
r
Let u(v) = -146 + v**3 + 150 + v - 2*v**3 - 4*v**2. Let f be u(-4). Let p = -1 - f. Which is smaller: -3 or p?
-3
Suppose 4*y + 131 = -3*n + 3*y, 0 = 3*y + 15. Let f = n - -37. Let s be 17 + -16 - (9 - 0). Is s at least f?
False
Let o(b) = -2*b**2 + 1835*b + 12952. Let l be o(-7). Let w be (1/(-2) - 0)*-62. Let p be w*(-1 - 4/(-3)). Is l greater than p?
False
Let q be -7 - (-9 - 570/(-290)). Which is greater: q or -14/9?
q
Let z be -4 + (-3519)/63 + (-40)/(-14) + -3. Which is bigger: -81 or z?
z
Let w(z) = 490*z**3 + z**2 + 20*z + 18. Let d be w(-1). Which is bigger: d or -489?
-489
Let x = -6 - -37/6. Which is greater: 0 or x?
x
Let o = -1117597 + 635026. Let l = o - -276995897/574. Let k = 3/82 + l. Which is greater: k or -0.28?
k
Let r = -28019 + 44214. Which is smaller: -1 or r?
-1
Let q be -1 + (36/3)/(-4). Let l be q/((-3 - -2)/(-3)). Let v be 2/(-3) - ((-16)/l - 1). Is -1/13 not equal to v?
True
Let g(r) = -32*r - 12. Let o be g(-2). Let q = o - 45. Suppose -q*j = -131 + 439. Is -43 >= j?
True
Suppose 0*j - 2*j = 4*r - 1872, r + 2*j - 474 = 0. Let c = -1411/3 + r. Is c greater than -1/7?
False
Suppose 1 = -6*f + 7. Let c be -12*(-4)/(-6)*(2 - f). Is c != -64/7?
True
Suppose 2*i = 5*x - 5, -i - 2*i + 4*x = -3. Let d be 154580/6490 - (-2)/11. Is i equal to d?
False
Let b be 0 - 0 - (-105)/(-287). Let w = 54 - 53. Is w smaller than b?
False
Let c = -197 - -196. Let r = 287.4 - 249. Let a = r + -0.4. Is c smaller than a?
True
Let q = -8569860161/4494 + 1906956. Let z = 5/107 - q. Is 3 at most as big as z?
False
Suppose -2*x = 3*d + 667, 318*d - 313*d = -3*x - 1003. Is x greater than -326?
False
Let x = -33443399/1492365 + 2353/105. Is x < 1?
True
Suppose -2*q - 1443 = -2*h - 215, -5*h - 5*q + 3110 = 0. Let n = h - 545. Is 73 >= n?
True
Let v = 10 - -5. Suppose -2*u - 6 = 24. Let h be -5 + (3 - 36/u). Which is smaller: h or v?
h
Let f = 91.43961 - 0.13961. Are -2 and f non-equal?
True
Suppose -2*a = 2*u + 3*u - 56, 4*u = -a + 43. Let f = u + -15. Let z = -62 - -56. Which is greater: f or z?
f
Let d(q) = 12*q + 68. Suppose 12 = -2*k - 5*u - 5, -2*u = -k - 31. Let h be d(k). Which is bigger: -185 or h?
h
Let a = 0.015 + 874.985. Is 4 less than a?
True
Let p = -67521/2 - -34820. Which is greater: 0.3 or p?
p
Let b be -6 + (4/(-3) - 375/(-45)). Which is bigger: 66/623 or b?
b
Let k = -14775.2 - -14775. Is -26.13 smaller than k?
True
Let v be 3 + (-3)/(12/8). Let w be -8 + 4 + -3 + v. Which is smaller: w or -55/8?
-55/8
Suppose -943*f - 34281 = -982*f. Which is smaller: f or 878?
878
Suppose -23 = 5*t - 2*m, -4*t - 4*m - 24 = -7*m. Let o be 266/(-42) + (-18)/t. Is o smaller than -1/3?
False
Let f = 92144291/439426 - 3/33802. Is f less than 209?
False
Let l = -131 - -130.373. Let h = -0.527 - l. Which is smaller: 4.2 or h?
h
Let h be 2 + 2 + (-510)/138. Let j be 18/108*12/(-7). Is h < j?
False
Let a be -20 + (-8)/(-4 - -2). Let n(o) = o**2 + 15*o - 15. Let m be n(a). Let d be m/(3/21) + (-1 - 0). Which is bigger: 5 or d?
d
Let s = -3869 + 3971. Is -4 not equal to s?
True
Let n be (-30)/(-330) - 46044/(-22). Suppose 0 = 14*r - 371 - n. Which is bigger: r or 177?
177
Suppose 0 = c - 4 + 3. Let h be (11 - -5)/(-8) - 894/4. Let b = 24809/110 + h. Which is greater: b or c?
c
Let p = 7889 + -7883. Which is bigger: -0.0198 or p?
p
Let j be (-7)/((-378)/(-228)) - 5*4/(-4). Is j greater than or equal to -71?
True
Let j = 198 - 209. Let y = -11.4 - 0.7. Let r = y - j. Which is greater: r or 0.3?
0.3
Let p be 2/84 - (-32)/224. Let k = p - 5/78. Which is smaller: 0 or k?
0
Suppose -3*p - 44 = 2*x, p + 4*x - x = -3. Let w be ((-24)/2)/4*(-3)/p. Is w >= 1?
False
Suppose -3*q + v = -10, q + 4*v - 23 + 24 = 0. Let c be (-4072)/11 + q/((-297)/(-18)). Which is bigger: c or -371?
c
Let m = 10.95 + 654.05. Let v = 658.94 - m. Let u = 0.06 + v. Is -1/3 > u?
True
Let v be ((-3562)/30)/(-13) + -9 - (-484)/(-30). Are v and 11 equal?
False
Let k = 4456 - 4472. Is k at most -261/16?
False
Suppose 5*v = 2*v - 135. Let n(d) = -2*d**3 - 64*d**2 - 2*d - 36. Let p be n(-32). Let o = v + p. Which is bigger: -18 or o?
o
Let r be (21*(-20)/492)/(-1). Let p = 1 - r. Which is greater: 0 or p?
p
Let o be (3/(-12))/((-152)/128). Suppose -3*a - 2*x + 10 = 0, 0 = -2*a + 4*x - 4 - 16. Which is smaller: a or o?
a
Let z(o) = -o**2 + 21*o + 24. Let i be z(22). Let h(s) = -s**3 + 5*s**2 - 3*s + 1. Let b be h(i). Suppose -b*d = -90 + 13. Is d smaller than 13?
True
Let f = -88 - -95. Suppose 9*h - 8 = f*h. Suppose h*j = 12*j + 88. Which is smaller: -7 or j?
j
Let c be 8/(-4)*2*(-1)/2. Let a = 55 - 14. Is a less than c?
False
Suppose -13 = -6*s + 5. Let x be (-2)/(8/924*s). Let k be (x/22)/((54/8)/3). Which is bigger: k or -2?
k
Let g = -3978719/921 - -4320. Let w = 88411/4605 + g. Is w < 19?
False
Let c = 965 + -959. Suppose 0 = -3*s + 77 + 1. Suppose c*n - s = 22. Which is greater: 6 or n?
n
Suppose -60 = -7*n + 3. Suppose x - 10*u = -14*u + n, 4*x + u - 51 = 0. Are 43/3 and x equal?
False
Let b = 84 + -74. Let n be ((11200/21)/b)/(1/3). Is n at least 160?
True
Let g be (-2)/10 + (-42)/(-10). Suppose g*q = 4*b + 20, -q + 19 - 24 = 4*b. Which is bigger: -7 or q?
q
Let h(q) = 15*q - 143. Let c be h(10). Suppose 4*n = c*n - 2*w + 124, 2*n + 90 = 5*w. Which is bigger: -285/7 or n?
n
Let f(m) = 111*m + 10310. Let i be f(-96). Which is sm