-68
Let h = -43.8 + 43.9665. Let r = h + 0.0335. Which is bigger: r or -1/3?
r
Let p = -395/8 + 4809/88. Let n = 384/77 - p. Is 2.2 at most as big as n?
False
Let g = -3.28 - -104.28. Let d = -103 + g. Which is smaller: d or 74?
d
Suppose 4*y = y - 12. Let n(b) be the third derivative of -b**4/4 - 5*b**3/3 + 237*b**2. Let w be n(y). Which is bigger: 66/5 or w?
w
Let d be (-1137)/(-6)*(-12)/3. Are -760 and d non-equal?
True
Suppose -3*v + 2*j - 13 = 53, -4*j + 60 = -3*v. Let h = 12 + v. Suppose -152 + 44 = 9*x. Is h less than or equal to x?
True
Let h be (-6)/2*(7 - 5). Let q be h/(-9)*132/8. Are q and 13 non-equal?
True
Let f = -23 - -31. Let u(d) = -d**3 + 7 + 8*d + f + 0*d - 6*d**2. Let p be u(-4). Which is smaller: -48 or p?
p
Suppose 2*w - 3*x + 2 = -2*x, -4*w + 8 = x. Suppose 0 = -q - 2*s - 89, -2*q = -7*q + 3*s - 497. Let f = -95 - q. Which is bigger: w or f?
f
Suppose -954 = 5*s + 4*s. Let d = 849/8 + s. Which is greater: d or 0?
d
Let r(m) = -119*m + 1547. Let j be r(13). Which is smaller: j or 26/93?
j
Let v(w) = w**3 - 6*w**2 + w - 3. Let r be v(6). Let f be r/4*768/18. Which is smaller: 2 or f?
2
Let y be 35/(-14)*(-4)/(-10)*-137. Let o = y + -137. Which is smaller: 1/353 or o?
o
Suppose -142*m - 1486422 = 187*m. Which is bigger: m or -4519?
m
Let s = 193.05 - 190. Let r = -2.05 + s. Is r greater than -0.057?
True
Suppose 3*n - 102 = -3*n. Suppose 15*w = n*w - 4. Let x be ((-4)/9*3)/w. Which is smaller: x or -1/7?
x
Let v be -2*(0 - 1/14). Let f(r) = 4*r**2 - 38*r - 21. Suppose 10 = 35*l - 34*l. Let u be f(l). Is v bigger than u?
True
Suppose 7 = 205*i - 217*i - 5. Which is smaller: i or -92?
-92
Let o be 29212/(-13080) - (-3)/(-5). Let s be 2/8 - 19/(-4). Suppose -f + 1 = s. Is o at least f?
True
Suppose -13*c + 41*c = 168. Let x be (-13*78/(-126) - c) + -2. Let v = -1 - -1. Which is smaller: v or x?
v
Let w = 719 + -719. Do w and 3/1540 have the same value?
False
Let c = -0.11 + 165.11. Let s = -161 + c. Let h be 39/(-52)*(-2)/6. Which is smaller: h or s?
h
Let q = -25513 - -32435. Which is greater: 13841/2 or q?
q
Let c be 1016*(10/(-100))/((-42)/135). Which is smaller: c or 328?
c
Let n be (45/6 - 8)*(-42 - 5 - -3). Which is bigger: -135 or n?
n
Let s(d) = -62*d**2 + 6*d + 7. Let o be s(-1). Let l be 2/o*(4 + 15/(-6)). Which is smaller: l or 1?
l
Let v = 62 - 7687/124. Let j(x) = 4*x + 5. Let z be j(5). Let d = -25 + z. Are v and d equal?
False
Let r = -88.58469 + -0.26031. Let y = 89 + r. Let l = y + 0.475. Which is smaller: l or 1?
l
Let j = 168 + 616. Let s = -471 + j. Is 312 smaller than s?
True
Let w = -480/7 + 1699/21. Suppose -9*q + 96 = -q. Is q greater than w?
False
Let i(n) = n + 2. Let d be i(4). Suppose 5*w = j + 21, -d*j = w - 3*j - 1. Suppose -3*t - w*m = -14, 0 = 5*t - m + 2*m + 5. Which is greater: t or -2/5?
-2/5
Suppose q = -2*v - 14, 0 = -3*q + 4*q + v + 16. Let y be 105/q + 20/8. Which is smaller: -4 or y?
-4
Let o = 906900103/11 + -82373773. Let u = o - 71834. Let t = 143 + u. Which is smaller: t or 1?
t
Let v be (7 - 3)/(35/(142415/(-52))). Is v greater than or equal to 0?
False
Let r = -37 - -55. Suppose r*z - 28*z - 20 = 0. Which is bigger: 0 or z?
0
Let y = 326 + -209. Let z = 119 - y. Let q = 27.3 + -6.3. Is q smaller than z?
False
Let q(c) = 4*c - 19. Let o be q(6). Suppose -o*f - 23 = 32. Let a be 2/f + 576/(-220). Is -4 greater than or equal to a?
False
Suppose -16225 = 3*v + 2*a + 2721, -a + 25287 = -4*v. Are -6319 and v non-equal?
True
Let t = -649 - -644.61. Let g = t - -3.39. Is 272 at most g?
False
Suppose 556*r + 112404 = 527*r. Which is smaller: r or -3877?
-3877
Suppose 4*d + 5*z = -1017, 0 = -0*z + 3*z + 15. Let v = 253 + d. Which is bigger: v or 10?
10
Let w = 10/549 - 32/62037. Let b = 135/1243 - w. Suppose -14*j + 12*j = -2. Which is smaller: j or b?
b
Let a(t) = -t**2 + 4*t + 18. Let l be a(7). Is l equal to 0.097?
False
Let i = 1.52 + 0.08. Let f = 2.1 - i. Let r = -95.2 - -95. Is r bigger than f?
False
Suppose -136 = 5*w - 6. Let t = w - -26. Suppose v - 2*v = t. Which is greater: -1 or v?
v
Suppose -193 = -12*u - 73. Let q be -4 - 5/(-10)*(u - 2). Is -2/71 at least q?
False
Let i = 12 - 0. Let m = 39 + -30. Let o = m - 9. Are i and o non-equal?
True
Let m be (2543/20)/(6/(-5)). Let r = -4209 + 4103. Let s = r - m. Which is smaller: 0 or s?
s
Let j = 128 - 128. Suppose -774*a + 769*a + 10 = j. Which is bigger: a or -64?
a
Let c be (-64)/210 - 8/(-20). Suppose 0 = 277*b - 280*b. Which is smaller: b or c?
b
Suppose 0 = -42*k + 36*k - 4200. Let x be 12450/k - (-6)/(-4). Which is greater: x or -18?
-18
Suppose 3*y = -2*b + 8, -2*y = b - 4*y - 4. Suppose -b*v + i = 409, 0*v + 197 = -2*v + 3*i. Is v smaller than 0?
True
Let x = -4 - -3. Let k = 11.088 + -0.188. Let f = 17.9 - k. Which is bigger: x or f?
f
Suppose -3 = -17*y - 16 - 4. Let j = -988 + 16770/17. Is j at most as big as y?
True
Let d = 491 - 481. Suppose -d*o = -31*o - 1512. Is -71 equal to o?
False
Let n = -5.8 - -6. Let m = 0.155 + -9.255. Let d = m - -8.1. Is n smaller than d?
False
Let m(d) = -d + 5. Let a(b) = 11*b**2 - 1. Let s be a(-1). Suppose -15*c + s*c = 20. Let x be m(c). Which is smaller: 10 or x?
x
Suppose -10*i - 29 = 31. Let m be 6/1 + 4/i*3. Which is smaller: m or 6?
m
Suppose 0 = -14*u + 81 - 11. Suppose 0*m = -4*r - m - 21, u*r + 5*m = -45. Let l be 2/70*-2*(-1 + r). Is 3/29 less than or equal to l?
True
Let x(y) = 41*y + 48. Let z be x(3). Is 55 less than or equal to z?
True
Let b be 18/(-2) + 3 + 6. Suppose -14*q - 1283 + 163 = b. Is q less than or equal to -77?
True
Suppose 4*w + 3*c + 154 = 423, -5*w + 341 = -c. Suppose z - g = 49, -5*g + 5 + 121 = 2*z. Let i = w - z. Is i >= 14?
True
Let b = -1.0335 - -0.7335. Is b bigger than 2753?
False
Suppose 46*l + 2235 = -54*l - 49*l. Is -12 greater than l?
True
Let w be 23061/33 + (-19 + -245)/(-33). Which is bigger: 708 or w?
708
Suppose -q + a + 4714 + 2605 = 0, 5*a + 30 = 0. Which is greater: q or 7314?
7314
Suppose b - 2 = 3*b. Let p = 4/3051 - 3155/79326. Which is bigger: b or p?
p
Let a = 1472 + -1469.028. Let l = -0.028 - a. Which is bigger: l or 6/17?
6/17
Suppose -9*x + 15 = -6*x. Suppose -2*j + 0*j = -x*v + 87, -v + 3*j + 20 = 0. Suppose 0 = -3*h - 5*f + 2*f - 21, 5*f = 4*h - v. Which is smaller: h or -5/3?
h
Suppose 5*q + 3*h = -13046 + 806, q - 2*h = -2461. Which is smaller: q or -2450?
q
Let g be 33/42 + ((-2)/(-4))/(-1). Let d = 213 + -228.3. Is d smaller than g?
True
Suppose -i + 4 = 2, -i + 8 = 3*f. Suppose -g = -f*a - 5, g + 7 = -a - a. Do -70/29 and a have the same value?
False
Let u = -3032 - -3031. Let m be 2*14*14/(-8). Let x = 295/6 + m. Which is smaller: x or u?
u
Let z = 13239.8 - -1661.2. Is 0 != z?
True
Let r = -28.1201 - -0.0201. Let g = r + 27.7. Is 10 >= g?
True
Let r be (-1)/5 + (-7)/(543165/(-15554)). Is r greater than or equal to 1?
False
Let q = 13367 - 14967. Is -1601 not equal to q?
True
Suppose -11 = 2*g - 5, -5*g - 14 = t. Let i be (-12)/16 + 573/12 + t. Let c = i + -68. Is -19 equal to c?
False
Let x = 5636 - 9092. Which is greater: x or -2/7?
-2/7
Let h(f) = -f**3 + 14*f**2 - 9*f + 10. Let r be h(7). Suppose -4*g + 3*b + 1149 = 0, -3*g - 2*b + 391 = -492. Which is greater: g or r?
g
Let f(d) = -75*d - 8. Let q be f(2). Let p = 349 + q. Suppose 10*u + 169 = -p. Which is smaller: -35 or u?
u
Let t = -6621 - -6602. Which is bigger: t or -29?
t
Let m(u) = -u - 5. Let w be m(7). Let o be 3893/119 - (-4)/14. Suppose 0 = -2*v - 4*x - 22, -3*x = -3*v - 5*x - o. Which is bigger: v or w?
v
Suppose -1365 = -94*n + 89*n. Suppose l - 74 + n = 0. Does l = 1?
False
Suppose 4*n - 8*n = -212. Let j = 36 - n. Let v be (3 + -4)*j/(-5). Which is smaller: 1 or v?
v
Let w(g) = -5*g - 9. Let i be 3 - (33 - 3)/3. Let d be w(i). Is d smaller than 25?
False
Let s(j) = j**3 - 5*j**2 + 2*j - 4. Let x be s(4). Suppose 0 = -3*y - 565 + 559. Let f be x/166*2*y/8. Does f = 1?
False
Suppose j = 3*w - 13, 3*w - 68 + 25 = -5*j. Suppose 0 = h - w*h. Let m = -110625/86911 + 1/7901. Which is greater: m or h?
h
Let r = 252.409 - 252.5. Which is bigger: -6/23 or r?
r
Let k be (-486)/(-4023)*5*(-20)/6. Which is bigger: -1 or k?
-1
Let b = 15.9 - 15. Let s = b + -1. Let y = 8750 - 8753. Is y > s?
False
Let k be 7/((-84)/9) - 74/8. Is k < 48?
True
Suppose 10*g - 348