l be 2/8*h + -5. Which is greater: -38/7 or l?
l
Let i = 0.0313 + -355.0313. Let h = -354 - i. Which is smaller: 18 or h?
h
Suppose -8*g + 381 = 1037. Suppose -2*w - 5*o - 18 = 0, 3*o - o = 5*w + 16. Let h = -86 - w. Is g less than h?
False
Suppose -92*j - 138385 + 29725 - 8640 = 0. Which is smaller: j or -1276?
-1276
Let i(q) = -191*q + 103*q + q**2 + 94*q - 70. Let w be i(-11). Is w at most -16?
False
Let y(m) = m**3 - 3*m**2 - 9*m + 1. Let o be y(0). Which is bigger: -0.0708 or o?
o
Suppose 2*a = 63 - 59. Let h(g) = -1 - 13 + 10*g + 6. Let f be h(a). Is 32/3 greater than or equal to f?
False
Let s be 95/38*(-2)/(-5). Which is smaller: s or -3/5543?
-3/5543
Let j(l) = l**3 - 9*l**2 - 13*l + 30. Let t be j(10). Suppose 3*k - 5*v + v + 19 = t, 2 = -k - 3*v. Let h = 338/85 + -156/17. Which is bigger: h or k?
k
Suppose 410 = 5*d - 5*v, 123 + 155 = 3*d + 5*v. Suppose 83*n - 102 = d*n. Let r = n + 37. Are r and 14/5 equal?
False
Let c be (-33 + 33)/(20/(-4)). Which is smaller: 2/2281 or c?
c
Let g = 125 + -122. Let d be (-3 - 3/(-3)) + g + 33. Suppose 8*x - 146 = -d. Which is smaller: 18 or x?
x
Suppose -23*w + 13*w + 1720 = 0. Let a = -5513/32 + w. Which is greater: a or 1?
1
Let w be 4/(-36)*(-66)/(-4). Let d = 80 - 81. Let z be 0 - d/4*(-1 - 11). Which is greater: z or w?
w
Suppose -r - 3 = 107. Let k = -105 - r. Suppose -27 + 12 = -k*h. Which is bigger: h or 5?
5
Let x(s) = -s**3 - 24*s**2 + 52*s + 3. Let b be x(-26). Suppose -2*a = -b*a + 2*i + 55, -i = 3*a - 165. Is 109/2 < a?
True
Let l = -194 + 112. Let b be 4/10 - l/(-55). Let n be (30/(-27))/1 - (-8)/72. Are n and b unequal?
True
Let q(n) = -10*n - 389. Let m be q(-20). Which is bigger: -1881/10 or m?
-1881/10
Suppose 3*g = -5*d + 2*g + 45, 4*g = -2*d. Which is smaller: d or 45?
d
Let s = 604.46 - 625.46. Let d = -28 - -25.9. Let v = 2 + d. Are v and s non-equal?
True
Suppose -11046*a + 22 = -11024*a. Which is smaller: a or -24001?
-24001
Let r = 687 + 414. Is 1103 not equal to r?
True
Let l = -5952 + 5992. Let m = -8.06 - -8. Let d = m - -0.16. Are l and d unequal?
True
Let w be (-1 + -3)*24/(-400)*5/(-3). Which is greater: -2/35 or w?
-2/35
Suppose 0 = -x, 5*h + 0*h + 3*x = -5. Suppose -2*t - 520 = -174. Let l = t - -1207/7. Does h = l?
False
Let b(f) = f**3 + 29*f**2 - 102*f - 107. Let n be b(-33). Which is smaller: -1096 or n?
n
Let n(h) = -18*h - 305. Let j be n(-17). Which is smaller: j or 11/367?
11/367
Let a = -2/42491 + -12917242/467401. Are a and -28 unequal?
True
Let t = 14 - 32. Let l be (-39)/t - 2/3. Let q = 341 - 341. Which is smaller: q or l?
q
Let a be ((-32)/28 - -1) + 54135/25704 + -2. Is a bigger than -1/6?
True
Let d be (4 - 1956/21)*(750/(-20) - -13). Which is greater: d or 2182?
d
Let t(q) = 2*q + 13. Let y be t(-6). Let k be -42 + 47 + 991/187. Let h = k + -112/11. Is y at least as big as h?
True
Let g = 53 + -51. Suppose 4*i + 9 = -l + g, 3*i + 5*l + 18 = 0. Which is smaller: -2/5 or i?
i
Let d = -1/19277 - 38547/134939. Is 264/13 less than d?
False
Let s(z) = 1147*z - 313. Let l be s(2). Is l at least 1982?
False
Let r(i) = -36 + 537*i - 534*i + i**2 + 9. Let t be r(4). Let a = 762 - 9912/13. Is a less than t?
True
Let n(s) = -4*s**2 - 57*s - 28. Let c be n(-16). Let x be (2 + 325/c)*(-987)/18. Which is bigger: x or 17?
x
Let s = -18922 - -18858. Is 2/5 greater than or equal to s?
True
Let x be (-1115*(-1)/3 + 4)*(0 - -6). Which is smaller: x or 2255?
x
Let a(j) = 3*j + 3. Let z be a(6). Suppose 3*f + 59 = -2*r, -34*f = -5*r - 31*f - 116. Let y = r + z. Is y < -16/3?
False
Suppose 10*s + 3585 = -5*q, -5*s + 10*q = 9*q + 1768. Which is greater: -353 or s?
-353
Let u = 215/3 + -71. Let z = 7435 + -7435. Which is smaller: u or z?
z
Suppose -5*v - k + 20 = -6*k, 0 = -4*v - 4*k. Suppose -5*q - 254 = v*y + 52, 0 = 2*q - 2*y + 114. Which is smaller: q or -61?
-61
Suppose 4*x - 8 - 61 = -5*y, -y - 5*x + 18 = 0. Suppose -7 - y = -5*t. Let s be 2/t*(-1 + -1). Which is smaller: s or 6/23?
s
Suppose -o = 0, -3*o = g - 3 - 30. Let s = g + -35. Let w be (-20)/24 + -3 - -2. Is s less than w?
True
Suppose 13*n + 6*n = -0*n. Let h be -195*15/(-27) + (3 - n). Are h and 110 equal?
False
Let u = -2.87 - -2.989. Let s = 0.326 - u. Let c = 0.107 - s. Which is greater: -2 or c?
c
Let s = -631/252 + 142/63. Are s and -1023/8 equal?
False
Let s = -45677 - -8541563/187. Which is smaller: s or 0?
s
Let f = 5034 - 5034.1. Which is smaller: f or 25.2?
f
Let b be -10*462/12*(-2)/5. Suppose -b*p - 3 = -157*p. Is p smaller than 4/9?
False
Let g be 1*(9 - (173 + -5)). Which is bigger: -160 or g?
g
Let y(v) be the third derivative of 0*v + 0 + 1/60*v**5 - 1/6*v**4 - 8*v**2 + 0*v**3. Let n be y(3). Which is bigger: -5 or n?
n
Let i(v) = -3*v**3 + 33*v**2 + 4*v - 9. Let s be i(-5). Which is smaller: 1173 or s?
s
Let i = 6 + -55. Let s = 1.00236 + -0.80236. Which is greater: s or i?
s
Let u(l) = 3*l - 70. Let w be u(25). Suppose -7*d = w*a - 5*d + 29, -a + 4*d = -3. Which is bigger: 13/4 or a?
13/4
Let f be 14/6 + (-1076986)/354. Is -3042 > f?
False
Let a = 208.5 + -224.556. Let t = a - -0.156. Let b = -16 - t. Which is smaller: b or -0.06?
b
Let p = 84 - 123. Let r be (-2)/(-1) - p/1. Let u = -40 + r. Is -3/13 <= u?
True
Let k(t) = -72*t**2 + 11*t - 23. Let i be k(3). Let r = i + 40192/63. Is -0.02 <= r?
False
Let z = 45.8 + -48. Let r = 39.2 + z. Let c = 36 - r. Is c greater than or equal to -2/19?
False
Let g(w) = -2*w - 23. Let m be g(0). Suppose -2*u - 24 = 240. Let q = u - -133. Which is smaller: q or m?
m
Let m = -237.48 + 237.28. Is 95/13 smaller than m?
False
Let m be (-4)/(-6)*(-48)/64. Are -2.97 and m equal?
False
Suppose 0 = 4*m - 3*m + 3*w - 11, -4*m - 5*w = -23. Suppose 0 = -m*t + 3*t + 5, -5*t = p + 31. Let u = 11 - 8. Do p and u have the same value?
False
Let j = -7230 + 7508.1. Is j >= 2/9?
True
Let g = 1 - 2. Let i = 11343.81 + -11343. Which is greater: i or g?
i
Let u be -6 - ((-1209)/78)/((-1)/(-178)). Is 2754 not equal to u?
True
Let i(g) = 3*g**3 + 2*g**2 - g + 30. Let x be i(0). Which is bigger: 60 or x?
60
Let o = -2/537 - -511/153224. Which is greater: 1 or o?
1
Let s = 81 - 81.28. Let d = 60.28 + s. Let z = 55 - d. Which is greater: z or 0?
0
Let h = 20775 + -20813. Is h < -36?
True
Let c = -11498875/129 - -89139. Is -2/5 at most c?
True
Let x = -130 - -179. Let s = x - 28. Is s less than 24?
True
Let k = 2 - 2. Let r = -3656/15 - -343679/1410. Which is smaller: r or k?
k
Let z be (2 + -3)/((-147)/(-42)*(-1)/7). Which is bigger: z or 1.43?
z
Suppose 16*t - 5 = 11. Let r be 2/(-11) - 33530/(-858). Let o = r - 116/3. Which is smaller: t or o?
o
Let f = 248/91 + 1647/364. Is f equal to -4?
False
Let j = 88 + -85. Suppose -2*u + 3*u = -5*l - 25, j*l + 15 = -4*u. Suppose u*w - 5*w = -60. Which is smaller: 14 or w?
w
Let h be (4/16)/(411/(-8)). Let z = -10673 + 10672. Is h greater than or equal to z?
True
Let w = 451.59 - 453. Let j = 205.59 - 207. Let z = j - w. Which is bigger: -1 or z?
z
Let f = 351146/251593 + -60/43. Is 0 smaller than f?
True
Let t = -37 + 45. Let v(l) = l**3 - 9*l**2 + 10*l - 11. Let n be v(t). Suppose 2*b + 10 = 5*z + 1, 0 = z - 2*b - n. Which is smaller: z or 1/19?
1/19
Suppose -r - 47*g + 19 = -44*g, 2*r - 32 = -5*g. Which is smaller: -49/51 or r?
-49/51
Suppose -5*t = 11*t. Which is smaller: t or 5/696?
t
Suppose -4*t + 2*r + 1544 = 0, 2*r = -90*t + 91*t - 380. Which is bigger: t or 382?
t
Let k = -1338164 + 1046445383/782. Let a = -30/23 + k. Which is bigger: a or 0?
a
Suppose 2*t = -l + 3082, -611*t - 3*l - 3090 = -613*t. Is t < 1539?
False
Let s = 17651 + -17488.89. Let x = 162 - s. Let u be (-2)/(-5) - 32/180. Which is smaller: x or u?
x
Let h = 0 - 545. Let f = 544 + h. Which is greater: 0.46 or f?
0.46
Let u = -30997623/19 - -1631873. Let i = u + -419. Suppose -5*o + 4 + 1 = 0. Is o bigger than i?
True
Suppose 313 = -2*n + 109. Let x be (-20)/(-30) - (-62)/n. Which is smaller: 1/5 or x?
x
Let k be (-2)/2 - (-3 + 1). Let u be (-37 - 145651/(-3927)) + (-2)/7. Is u greater than k?
False
Let y(i) = -7*i - 1241. Let u be y(-97). Is u at least -559?
False
Let n(u) = u**3 - 4*u**2 - u + 3. Let l be n(4). Suppose -57 = 4*t - 3*t. Let c be ((-2)/5)/(t/(-190)). Which is greater: c or l?
l
Let l be (-36)/(-19) - (-2)/19. Suppose -l*c = 3*c - 25, -5*g -