e -4*d - 12 = 4*a, -2*a - 5*d - 3 - 9 = t. Which is bigger: a or -1/85?
-1/85
Let u(n) = 15*n**2 - n - 23. Let b be u(-3). Suppose -b*o = -107*o - 344. Is o at least as big as 42?
True
Let w(b) = b + 3. Let g be w(0). Let u be (8/16)/(g/(-6)). Which is smaller: u or -12/23?
u
Let x(f) = 2*f**2 + 10*f - 2. Let q be x(-8). Let k(s) = 12*s + 3. Let z be k(0). Suppose z*l - 55 = -t + 2*t, 2*l - q = 3*t. Is l at most as big as 16?
False
Let o(u) = 2*u**3 - 8*u**2 - 10*u + 4. Let f = 38 + -33. Let y be o(f). Suppose -4*s + 2*m + 0*m = -60, 2*s - y*m = 42. Is 12 equal to s?
False
Let u be (-396)/(-54)*(-1 + 5/2). Let q = -26 - u. Let a = 37 + q. Are 5/19 and a equal?
False
Suppose -7*n + 2*n = -5. Let x = 87268/5118867 - -2/43751. Which is smaller: x or n?
x
Let u be (-1429758)/11446512 + 3/24. Which is smaller: -1 or u?
-1
Let j = 0.064 + -359.064. Let x = -356 - j. Which is bigger: -13 or x?
x
Let l be (-35)/112 + 0/10. Which is bigger: l or 0?
0
Let w be (-25200)/50436 - ((-3)/(-6) - 1). Which is bigger: 1 or w?
1
Let q(y) = -y**3 - 14*y**2 + 14*y - 14. Let d be q(-15). Let t be -1 + (-14)/(-10) - 198/(-55). Suppose -27 = t*n - 119. Which is smaller: d or n?
d
Let v be ((-15)/5)/3 + 4. Suppose 5*q - 4 = -2*i + 5, -v*i = 2*q - 8. Which is greater: 0 or q?
q
Let i = 9064 - 8989.96. Is i greater than or equal to 1?
True
Let z = -106 - -108. Suppose -c + z*w = 6, 13*w - 9*w = -2*c - 4. Let u(y) = 2*y - 1. Let x be u(-2). Which is smaller: x or c?
x
Let z = 52 + -259/5. Let x = 1495/3 + -8108/15. Let q = 43 + x. Which is smaller: q or z?
z
Let c be (-2 - (2 + 0))*(-1734)/(-8). Let o be c/(-34)*(2 + (-8)/6). Suppose -18*n - 2 = -o*n. Which is greater: -0.3 or n?
-0.3
Suppose -8*c = -2*d + 15102, -16*c - 2*d = -12*c + 7530. Which is smaller: c or -1880?
c
Let z = 209760/41 - 5116. Is z > 14/9?
False
Suppose 407*c = 402*c - 5*o + 75, -2*c + 35 = o. Is 195 not equal to c?
True
Let g = -56554 - -5033362/89. Which is greater: 2 or g?
2
Let l be -181 + 0 + -35 + 40. Let g = 154 + l. Is -22 >= g?
True
Let s(i) = i**3 - 12*i**2 + 13*i + 14. Let y be s(10). Let l be (-3*y/(-150))/2. Which is greater: l or -2?
l
Let m = -3904 - -3930. Let c = 42/37 + 1877/74. Which is bigger: m or c?
c
Suppose -9*i = -k - 7*i + 79, 0 = -k - 3*i + 104. Is k <= 85?
False
Let q(k) = 50*k**3 - k**2 + 335*k - 1684. Let v be q(5). Do 6217 and v have the same value?
False
Suppose -q + 45 = o - 25, -3*q + 2*o + 195 = 0. Suppose -11*m + q = -560. Is 2 smaller than m?
True
Suppose 2*p - 3*w = -433, 2*p + 2*p + 899 = -5*w. Let h = -133 - p. Suppose 9*t + h = 13*t. Are t and 22 equal?
True
Let i(g) = -g**2 + g + 3. Let t be i(2). Suppose 5*f - 14*a + 11*a - 30 = 0, -2*f = 3*a + 9. Let r be ((-36)/(-27))/(f/(18/8)). Is t greater than or equal to r?
True
Suppose -f + 5*p - 104 = -5*f, -4*f + 4*p = -104. Suppose 0*v = 3*o - 4*v + f, 3*o - 3*v = -24. Let c(q) = -2*q**2 - 7*q - 5. Let r be c(o). Is -35 at most r?
True
Let v be (-2 - (-390)/(-52))*(-2 - 586). Which is smaller: 5588 or v?
v
Let m = 4827/92074 - -1/4846. Which is smaller: m or -2/157?
-2/157
Let r = 3619 + -2309. Which is greater: 1308 or r?
r
Let h be (((-735)/(-54))/(-35))/((-19)/3 + 4). Which is greater: -1332 or h?
h
Let b = 1.93598 - -0.06402. Which is smaller: 7/67 or b?
7/67
Suppose 0 = -9*l + 10*l - 4*x + 203, 5*l = -3*x - 1130. Let i = 224 + l. Is 1/31 > i?
False
Suppose 5*y + 24 - 4 = 0. Let w be (10/y - -3)*6. Suppose -3*s - w*q + 33 = -6*q, 0 = -2*q. Which is smaller: s or 29/3?
29/3
Let y(r) = 4*r + 42. Suppose 3*w = 5*a + 37, 2*a - 2*w - w = -22. Let p be y(a). Suppose 4*f = 3*c + 113, -f + 2*c = -0*f - p. Which is smaller: 31 or f?
31
Let v(p) = -2*p**3 + 4*p**2 - 4. Let z be v(-3). Suppose y - 4*q + 18 = 5, -z = 4*y + q. Which is smaller: y or -8?
y
Suppose 32 = 6*y - 2*y. Let w be (1*(5/3 - 2))/((-80)/960). Let d be y/((-96)/(-18))*w/6. Is -10 > d?
False
Let x be (-12370)/(-10650) - (-2)/10. Let s = 2/71 - x. Let i = s + 5/3. Which is smaller: i or 7/5?
i
Let m = 1 - 0. Let l = 2377457/18 + -132120. Let s = -79/2 - l. Is m greater than or equal to s?
True
Let n = -1332/17 + 14448/187. Let v = -4 + 7. Suppose v*g + 6*h + 7 = 2*h, -h = 1. Is g <= n?
False
Let j be (-2)/16 - 308/1120. Let v be ((-64)/(-3))/(4/(-24)). Let y = v - -77. Are y and j equal?
False
Let h(g) = -g - 8. Suppose -3 = -124*k + 125*k. Let f be h(k). Let m be ((-2)/(-308))/(f/20). Is 0 not equal to m?
True
Let b = -10165 - -15877. Which is greater: b or 5713?
5713
Let w = 22.3679 + -22.312. Is -2/39 greater than or equal to w?
False
Suppose 4*p - 5*m + 317 = 0, 4*p + 3*m + 309 = -0*p. Let b = -70 - p. Suppose -4*a - 4*a = -b. Is a <= -2/141?
False
Let v = -2848 + 2788. Which is smaller: v or -419/7?
v
Let p = 16325/1581 - -4/527. Let a(m) = 29*m - 4. Let f be a(-1). Let j = 42 + f. Which is smaller: j or p?
j
Let j be 2024/12 + (-164)/(-123). Let f be ((-511)/5)/(3/(-5)). Is f smaller than j?
False
Let v(x) = x**3 - 35*x**2 + 68*x - 68. Let q be v(33). Let g be (-72 - -67)*q/10. Let f be (-8)/(-52) + 0/2. Which is smaller: g or f?
f
Let r = 1.09 - -0.16. Let s = r + 92.75. Let h = s + -102. Is h smaller than 2?
True
Suppose -27531 = -38*r + 158*r + 59949. Does 12 = r?
False
Let l = 131 + -93. Let q = -38.11 + l. Is -4 greater than or equal to q?
False
Let n be 8/(-436)*-16*-31 + 9. Is 1 smaller than n?
False
Suppose -2*k + k - 2*x + 8 = 0, 4*k - 35 = -5*x. Let a = 61906/5775 + 4/525. Which is smaller: a or k?
k
Suppose 4*o = x + 4*x + 173, 3*x = 5*o - 200. Let s = 34 - o. Let i be 3/9 + s + (-188)/(-48). Which is smaller: -0.1 or i?
-0.1
Let w = 2 - 4.9. Let j = w + 3. Let h = 222.13 - 221.83. Is h at least j?
True
Suppose -p + 1365 = 2*p + 3*v, 2*p = -v + 909. Which is smaller: 460 or p?
p
Let j = 35.49 + 2863.51. Let u = 2846.04 - j. Let a = u - -53. Which is bigger: 1 or a?
1
Let k = 6658.33 - 6647. Is 2 not equal to k?
True
Suppose -5*f + 2*k = k + 9, -3*k + 5 = -4*f. Let g be (6 + -3 + (f - 1))/(-2). Suppose 2*p + p = 4*u + 91, -u + p - 24 = g. Which is greater: u or -17?
-17
Let c be 18/(-4 - 11/(-2)). Let s be c*-3*10/52. Which is greater: s or -7?
s
Let c = -8174 - -8173. Which is smaller: c or 6/3721?
c
Suppose -407*o = -402*o + 25. Let p(w) = -w - 2. Let l be p(7). Let j be l/(-18)*(0 - 6). Which is smaller: o or j?
o
Let d be (2 - 6)*2242/472. Are d and 52 nonequal?
True
Let m be (-6)/(-9)*63/14. Suppose -2*r - 2*a = 407 - 1423, 0 = -m*a + 3. Let p be (-3 - (r/171)/(-1))*3. Which is bigger: p or 0.2?
0.2
Let f = 0.469 - 0.079. Let y = f - -3.81. Let b = -4.1 + y. Is b at least as big as 5?
False
Let w = -2/14033 + 267593/6777939. Which is smaller: w or -1?
-1
Let x = -0.31039 - -0.03339. Which is smaller: x or 1/20?
x
Suppose 5*x = k + 1, -1072*k = -1074*k - 12. Is 2/6703 smaller than x?
False
Let v be 2/7 - 477/371. Let t be ((-122)/(-4))/((v + -4)/(-10)). Which is greater: t or 62?
62
Let f(k) = k**3 - 2*k**2 - k - 55. Let a be f(0). Let m be (a/(-2))/((-66)/132). Which is smaller: m or -111/2?
-111/2
Let w = 5 - 7. Let q = -191.0601 - 0.1399. Let k = q + 191. Is k at most w?
False
Let j(b) = -39*b - 73. Let o be j(-2). Let l = -11.2 + 14. Let d = l + -0.8. Is o > d?
True
Let l be 6*1/6 - (6 + 0). Let h be -3 + 15/21 - l/5. Which is smaller: -2 or h?
-2
Let l(t) be the first derivative of -t**3/3 + 13*t**2/2 + 48*t - 115. Let j be l(16). Let z be -1 + 8/90*11. Which is smaller: z or j?
z
Let m be (-31 - (-1206)/36)*(-1)/167. Which is smaller: m or -1?
-1
Let j = -24 - -327. Let p = 302.97 - j. Let h = 3 - 5. Which is bigger: h or p?
p
Let v = -3 - -121. Suppose -v*n = -124*n - 60. Which is bigger: -15 or n?
n
Suppose -4*v - 3*m - 10 = 0, -2*v + 4*m = 3*v - 3. Which is bigger: -7/73 or v?
-7/73
Let p = -29 - -30. Let h = 172 - 120. Let s be (3/2)/((-1053)/h). Which is bigger: p or s?
p
Let i be (-1125)/675 - (-52)/15. Which is greater: i or -6?
i
Let i be -1*2*(-161)/46 + (-91 - 5). Which is smaller: -3/23 or i?
i
Suppose -28 = 19*p - 17*p. Let t = 90 + p. Suppose -11*n - t = -7*n. Is -19 smaller than n?
False
Suppose 0 = -2*d + 4*z - 3040, -5*d - 13*z - 7590 = -18*z. Which is bigger: -1511 or d?
-1511
Let o(w) = -34*w + 4262. Let b be o(53). Does b = 2460?
True
Let g = -172605/71 - -2431. Let z be (-14)/28*4/6. Is z bigger than g?
