034. Let l = -32 - t. Let u = l - -24.034. Which is smaller: u or -1?
-1
Suppose -14 = -4*f + 6*f. Let h be (4 - f/(-2))*-12. Let n(a) = a**2 - 10*a - 16. Let r be n(11). Is h greater than or equal to r?
False
Let j be (-10 - -15)/((-6)/(-6)). Which is smaller: -21 or j?
-21
Let x = 194 - 174. Suppose -x + 4 = 4*z. Suppose o - 5*y = -3*o + 33, 0 = -2*o - 2*y - 6. Is o less than z?
False
Let y = 9734 - 9739.6. Which is smaller: -85 or y?
-85
Let z(w) be the third derivative of 25*w**4/12 - 293*w**3/6 + 136*w**2. Let f be z(10). Which is greater: 208 or f?
208
Let p = -342 - -721. Let t = p + -379.14. Is t < 2/9?
True
Let t = 99 - 59. Let h be 4*19/342*3. Is t at most as big as h?
False
Let w be (-116)/63 + 42/27 - 16984/(-7). Is 2426 greater than w?
False
Let d be (66/99)/(1/(-786) - (-1 + 1)). Which is bigger: -5768/11 or d?
d
Let n be (-1 + 6/8)/(15/(-240)). Suppose -u = 2*g + 10, n*u = -4*g - 41 + 21. Which is bigger: -3/505 or u?
u
Suppose -28 = -4*o - c + 40, -o = -3*c - 4. Let p be (-1 - 1)*(-8 - -3). Let j = o + p. Does j = 27?
False
Let c = 16416 - 16027. Which is greater: c or 386?
c
Let a(d) = -6*d - 2. Let n be a(-3). Let v be (-4)/n + 91/(-4). Suppose 28*z = -583 - 89. Is z equal to v?
False
Suppose -12 = 5*n + 24*w - 21*w, -3*w = -3*n + 12. Let u = -1164448/123 + 9467. Which is greater: n or u?
n
Let i = 14379 + -474509/33. Which is smaller: -597 or i?
-597
Let f = -95 + 97. Suppose -o - f = -3*o. Are o and 2 non-equal?
True
Let f = 44.07 + -43.8. Let z = f + -1.27. Let l = 129 + -383/3. Is l equal to z?
False
Suppose 128*l + 12173 + 1779 = 0. Is -137 <= l?
True
Let t(a) = -a**3 - 9*a**2 - 8*a - 5. Let d be t(-8). Let j be (0 - (-18)/45)/((-1)/5). Let o be 0 + (j/d - 2/(-15)). Are 1 and o non-equal?
True
Let v = 0.01472 - -0.48528. Is 373 smaller than v?
False
Let x = 11776/187055 + 86/1045. Which is greater: 1/4 or x?
1/4
Suppose 309*i = -207*i + 691956. Is 1341 equal to i?
True
Let k be (40/900*-25)/((-2)/4). Let d(n) = 5*n - 18. Let y be d(4). Which is greater: k or y?
k
Suppose -1 = 3*v + 4*n + 3, -5*v + 16 = n. Suppose 0 = u + v*s + 12, -6*s = -8*s - 6. Is u > -1/162?
True
Let n = 56894/23 - 2473. Suppose 529 - 559 = -20*s - 10*s. Which is smaller: s or n?
n
Let z = 1002227742297190 + -317863544064094868816/317157. Let d = 20251/8934 - z. Let t = d + -1090. Which is bigger: t or -1?
t
Let t be (-262)/(-2489) + 6914/(-342). Which is bigger: -19 or t?
-19
Suppose -602 = -4*s + 3*o + 1959, -5*s = o - 3225. Which is bigger: -10 or s?
s
Suppose 0 = -265*q - 1725 - 925. Is q at least -165/17?
False
Suppose 3*s = -4*g - 0 - 11, 6 = -2*s - 2*g. Which is greater: -28/29 or s?
-28/29
Let o = -1121 - -1120.76. Let u = 0.111 + -4.351. Let y = u - o. Which is smaller: -0.3 or y?
y
Suppose v = -0*r + 5*r - 21, -3*r + 14 = -2*v. Let w = 12 - r. Suppose -3*o + w*o = -30. Which is greater: o or -5?
-5
Suppose 7*k = 27*k - 100. Suppose 3*w - k*w - 82 = -4*i, -4*w = -5*i + 101. Is i at most 19?
False
Let v = -1972.6 + 1973. Suppose d - 221 = -5*m, 3*m - 21 = -4*d + 98. Which is greater: v or m?
m
Let t = 2873369/112460 + -4/28115. Which is smaller: t or 26?
t
Suppose 53*x = 335 + 460. Is 7 > x?
False
Let f(l) = 15*l**2. Let g be f(-2). Let v = -16 + 25. Let q be (0 - v/g)/(-3). Which is smaller: 1 or q?
q
Let a = 148 + -39. Let y = 162 - a. Let u = -49 + y. Which is greater: u or -1/3?
u
Let f(t) = t - 1. Let i(o) = 5*o - 2. Let g(z) = -6*f(z) + i(z). Let u be g(2). Is -1 greater than u?
False
Let s(d) = -d**2 - 46*d - 91. Suppose -40*u - 473 = -29*u. Let c be s(u). Which is smaller: 40 or c?
c
Let a be 4547/6*((-48)/(-20))/(-6). Let m = a + 303. Let j(c) = c**2 - 9*c + 1. Let t be j(9). Is m less than t?
True
Suppose -3*t + 11 = 2, -2*t = 5*k + 24. Suppose 3*n + 2*n = -2*x + 139, -3*n = -4*x + 291. Let y be k/20*2 + x/45. Which is bigger: y or -7/20?
y
Let f = -376355/3 - -124118. Let j = f + 1353. Which is smaller: j or 20?
j
Let w = 24548 + -24551. Is -763 < w?
True
Let v be (-4)/30*16060/14. Let n be (3 - (16 - 4))*17. Let l = v - n. Is l less than 1?
True
Let t = -563 - -563.413. Let y = t + -0.483. Which is smaller: -12 or y?
-12
Let p = -2979 - -3013. Is p smaller than 25?
False
Let a be (-121 - -116)*(0 + 3 + 196/(-20)). Which is greater: a or -27?
a
Suppose -16*p - z + 7 = -15*p, -z = 4*p - 19. Suppose t = 2*t - 5. Is p bigger than t?
False
Let u(g) = -30*g**2 - 53*g - 98. Let b be u(-2). Suppose h - 24 = -138. Which is smaller: b or h?
h
Let j(r) = r**2 + 8*r - 8. Let v = 72 - 74. Let s be (5 + -2)/(v/6). Let x be j(s). Which is bigger: x or 1/105?
x
Let g = -58.11 - -58.05. Is 61 less than g?
False
Suppose -5*p + 5*g + 8485 = 0, 2*p + 2*g = 3181 + 193. Let l be (1/(-18))/(4 - 6759/p). Which is bigger: -9 or l?
-9
Let z be 10/(-45) - 524/(-9). Let i be -1*z/5*(4 - -1). Let l = i + 58. Which is smaller: l or -5?
-5
Let c(j) = 5*j**2 - 56*j + 8. Let i be c(11). Let p(u) = -5*u**3 - 3*u**2 + u + 1. Let d be p(i). Is 107 at most as big as d?
False
Let w = -6 + 9. Suppose -4*n - 5*x - 1 = -18, 4*n = -3*x + 7. Let j be 21/4 + (5 - (n + 10)). Which is smaller: w or j?
j
Let n = 1006 + -1055. Which is greater: n or -1/4?
-1/4
Let u = -9/5 - -8/5. Let z = -6 + 5. Let a(o) = 11*o + 9. Let c be a(z). Which is smaller: c or u?
c
Let i = 21 - 17. Suppose i*h + 14 = -t - 0*t, 25 = -5*h. Let y be (-57)/(-63) + t/14. Is y greater than or equal to 1?
True
Let n be (-1 + (4 - 4))*1. Let u be n + 3 + 34/(-14). Let r = -5 + 8. Is u greater than r?
False
Let l = -3.1975 + -10.7755. Let y = l + 14. Let i = y - -0.003. Is i greater than 1?
False
Let u be (-20)/(880/(-781)) + -18. Is 4848 at most u?
False
Let d = -48905/493697 - 19/1921. Are d and 0 equal?
False
Let k be 8 - (-4)/(-1) - (-36)/(-48)*-3228. Which is smaller: -0.3 or k?
-0.3
Suppose -3*m = -4*q + 15, -3*q - m - 3*m = 20. Suppose 0 = -l + 5*w + 21, 0 = -5*l + w - q*w + 9. Is l > 6/37?
True
Let r be (((-140)/21)/5)/(6/(-1647)). Is 344 less than r?
True
Let h = -198 - -194. Let l(b) = -2*b**3 - 6*b**2 + 19. Let s be l(h). Is 51 at most s?
True
Let y = 61 - 60. Let d be y + (4/(-16))/((-5)/(-30)). Which is greater: d or 2/5?
2/5
Let m(u) = 14*u - 345. Let j be m(25). Let o be -2*(-7 + j) + -10. Is o at most as big as -30?
False
Let t(i) = -i**3 + 32*i**2 - 75*i + 266. Let c be t(16). Which is greater: 3159 or c?
c
Let y = 4/1125019 + 26716951136/21375361. Let x = 1249 - y. Are -2 and x non-equal?
True
Suppose -4*m = -69*g + 71*g - 35290, 5*m - 5*g = 44090. Do m and 8822 have the same value?
False
Suppose 20 = -4*i, w = -745*i + 746*i + 4. Let d = 2311 - 164084/71. Which is greater: w or d?
d
Let p = 14927 + -14927. Let x(h) = h - 3. Let r be x(-3). Which is smaller: r or p?
r
Let f be (35/7)/45*3. Is -144 less than or equal to f?
True
Let w = 96 + -286. Let o(p) = -7*p**2 + 3*p - 191. Let i be o(0). Which is greater: w or i?
w
Let j = 1214.1 + -1181.1. Which is greater: j or 2/35?
j
Let u(h) = -h**3 + 15*h**2 + 17*h - 16. Let y(r) = 18*r**2 - 2*r + 2 - r - 7*r**2 - 6*r**2. Let b be y(2). Let q be u(b). Is q at most as big as 10/13?
True
Suppose -2*w = -5*v + 1, -3*w + 34 = -w + 2*v. Suppose 5*p + 7 = w. Let b = p - -11. Is b <= 13?
True
Let d = 16220 + -9839. Which is smaller: d or 6379?
6379
Let n be (8 - 222/30) + 156454/10. Let w = n + -19432333/1242. Is 0 at least w?
True
Suppose -2*b + 18 = 4*v, -3*b = 4*v + v - 32. Suppose 18*t - 2 = b*t. Let y be t/8*(-380)/19. Which is smaller: 14/3 or y?
14/3
Suppose -4*j - 5*i + 16 + 13 = 0, 0 = -5*j - 2*i + 32. Suppose -5*v = -v + 4. Let m be (-5 - (v + 5))*2/(-3). Is m smaller than j?
False
Let y = -133 - -225. Let s be (-1)/y*2*4. Let w be (-14)/28*0/(4 + 0). Is s at most as big as w?
True
Let o = -0.4 + 1.1. Let a = o + -0.9. Suppose 245 = -31*v + 710. Is a equal to v?
False
Let o = -5262 - -5201.51. Let z = 0.49 + o. Is 2 not equal to z?
True
Let s be ((-539)/133 - -4) + 11836/205029. Is s at most 1?
True
Let f be (-34)/51*3/12*21. Let x(b) = b**2 - 2*b - 4. Let n be x(4). Let z be ((-39)/12 + 2)*n. Which is greater: f or z?
f
Let z = -8 - -2. Let r be z/2435*(-220)/132. Is r < -1?
False
Let l(j) = j**2 - 3*j + 48. Let n be l(10). Let q = n + -119. Which is bigger: q or -3/47?
-3/47
Let d(l) = l**3 + 48*l**2 + 221*l + 257. Let z be d(-43). Suppos