n be u(-4). Let a be 0 + n - (-5 + 2). Let h = -72/5 - -1646/115. Which is smaller: h or a?
a
Suppose k + 8 - 14 = 0. Suppose -2*h = x, -3*h + 2*h - k = -x. Is x greater than 11/3?
True
Let g be 44/110 + (-666)/(-10). Let a = g - 65. Is 13 > a?
True
Let w = 1231 + -1223. Let i be ((-1)/(-4))/(-2 + 1). Which is bigger: i or w?
w
Let x = 0.86 - 1.73. Let r = -0.13 + x. Which is smaller: -11 or r?
-11
Let j = 4463 + -4461. Let w = 0 - -2. Is j bigger than w?
False
Let o = -566 + 599.1. Let r = -33 + o. Is r bigger than 1.1?
False
Let u(o) = 6 - 12*o + 6*o + o**3 + 7*o**2 + 3*o. Let z be u(-8). Let d = 31 + z. Which is bigger: d or -20/7?
-20/7
Let a = 21 + -13. Let n = a + -3. Let h = n - 6. Which is greater: h or -5?
h
Let h = -1 + -7. Let m = h + 4. Is m >= -14/5?
False
Let n be 1*-3 + (-4)/((-4)/2). Let i = 5.1 - 6. Let k = 0.6 + i. Is k at least n?
True
Let v = -31 + 33. Let z = -19 + v. Is -0.1 at least z?
True
Let c be (8/3)/((-2)/(-36)). Suppose n - 37 - 13 = -y, 0 = -3*y + 2*n + 135. Which is greater: y or c?
c
Let r be (-187)/(-7) + -4 + 2/7. Is 32 at most as big as r?
False
Suppose -2*q + 7*q = -5. Let h = 724 - 725. Is h > q?
False
Let q(f) = 44*f. Let i be q(1). Let u be (-4)/10 - i/(-60). Do -2/9 and u have different values?
True
Let h(o) = 3*o**3 + o**2 + 2*o - 2. Let u be h(1). Suppose 0 = l - 5*b + 25, -u*l + 5 = -0*l + b. Which is greater: l or -0.18?
l
Let q be 2*(104/(-48) + 2). Which is smaller: q or -114/11?
-114/11
Let s be -1 + -1 + 15/((-3)/1). Let j(o) = -o**3 - 7*o**2 - o - 1. Let c be j(s). Let k be 0/(-3 + 0) - -8. Is c at least as big as k?
False
Let h = -37 - -38. Which is smaller: 1/141 or h?
1/141
Let h be 893/(-20) + (-45)/60. Let m = -104 + 59. Let x = m - h. Which is smaller: 2/11 or x?
2/11
Let s = 900 + -2476/3. Let n = 74 - s. Which is smaller: n or -1?
-1
Suppose -4*r + 0*r - 84 = 0. Let j = r + 20. Which is smaller: 3/17 or j?
j
Let z = -2138 - -2140. Which is smaller: 16/19 or z?
16/19
Let q be 1200/(-64) - 35/(-20). Which is smaller: -16 or q?
q
Suppose -8 = -4*b - 0*b. Suppose 6 = 4*r + b. Let t = 861/104 - 65/8. Which is bigger: r or t?
r
Let d be (-1 - -2) + 0 + 4. Suppose -4*x + h = -19, -5*x - 3*h + 24 = -4*h. Is x <= d?
True
Let q be 4/12 - (-84)/(-9). Let w = 11 + q. Suppose -3 + 1 = -t. Is t at least w?
True
Let c = 3 + -4. Let y be (10*c)/(70/(-65)). Let j = -9 + y. Which is smaller: j or -0.1?
-0.1
Let r = -7 + 12. Let z = 10782/5 - 2151. Which is bigger: r or z?
z
Let m = 777 - 3547/5. Which is greater: 69 or m?
69
Let j(r) = 29*r + 30. Let d be j(6). Let q = d - 1431/7. Which is greater: q or 1?
1
Let o = 0.81 - 2.37. Let c = o - -1.4. Let b = c + 0.26. Is -0.5 <= b?
True
Let t(p) = 2*p. Let l be t(3). Let a be l*((-20)/24)/(-5). Which is bigger: 5/9 or a?
a
Let i = 40 - -69. Let o = i - 108.9. Is o less than 72?
True
Let g be 3036/(-54) + 1*4/18. Let o be ((-93)/(-806))/(6/g). Which is smaller: o or 0?
o
Let k = -12/31 - 2141/155. Which is greater: k or -13?
-13
Let l be (-72)/(-9) - (-468)/(-27). Which is bigger: l or -8?
-8
Let c be 2/5 + 1638/180. Are 10 and c non-equal?
True
Suppose -x + 1 = 3*h, 0 = 5*h + 3*x - 3 - 0. Suppose -q + 4*a + 45 = h, 5*a + 40 = 2*q - 35. Is 26 at least q?
True
Let n = -141 + 119. Let y be (-2 - 92/n) + 6/(-6). Is 1 != y?
True
Let f = 3 + -1. Let h = 56 + -55.4. Is h >= f?
False
Suppose -5*c + 2*y = 11, -8 = -4*c + 9*y - 13*y. Which is smaller: c or 83?
c
Let d = -1001 + 585. Which is bigger: d or -417?
d
Let k = -0.229 - -96.229. Let z = k + -92. Which is bigger: -14 or z?
z
Let x be ((-4)/26 - 0)/(-2). Let p = 366 - 365. Which is bigger: x or p?
p
Suppose -3 + 15 = -3*w, -a - 4*w = 44. Is a not equal to -190/7?
True
Let v be (-2)/5 + 7/((-210)/(-12)). Suppose -4*d - n - 263 = 0, -4*d - n + 3*n - 278 = v. Which is bigger: -68 or d?
d
Let o(g) be the second derivative of g**3/3 + 2*g**2 + 8*g. Let d be o(-2). Is d not equal to -8?
True
Let z = 3137/33 - 95. Let d(i) = i. Let t(c) = -c + 5. Let a be t(5). Let w be d(a). Which is smaller: w or z?
w
Suppose 0 = 3*t - 3*d + 6*d + 9, 5*t - 2*d = 20. Let a be (-12)/42*t/(0 + -1). Is 1 less than or equal to a?
False
Let u be 119/3 - 7/(-21). Suppose u = -5*l + l. Do -10 and l have different values?
False
Let i = -0.291 + 0.091. Let d = i - -0.3. Is d bigger than 8?
False
Let d = -173 - -173. Suppose -3*a = b - 1, 3*b - 5 + 2 = -2*a. Are d and b nonequal?
True
Let m(f) = -11 + 57*f - 2 - 64*f. Let y be m(-4). Which is greater: 14 or y?
y
Let d be (4 + 5)/(98/4). Let v = -2386096/5515195 + -2/157577. Let c = v - d. Which is smaller: -1 or c?
-1
Let h = 1 + 29. Let b = h + -29.7. Is -0.3 >= b?
False
Let y(j) = 21*j + 10. Let l be y(10). Suppose 3*o + 168 = -3*u, 0 = -3*u - o - l + 54. Is u less than -56?
False
Suppose 2*o + 35 = -3*o. Let r(a) be the second derivative of -a**3/6 - a**2 + 3*a. Let f be r(6). Is o less than f?
False
Let j = -78.61 + 2.61. Which is smaller: j or 1?
j
Let m be 3/(1/(5 - (-48)/(-9))). Let x = -73/8 - -1663/184. Which is smaller: x or m?
m
Let a be (6/(-32))/(-2 - 1). Which is smaller: -3 or a?
-3
Let q be (-1 - 2/(-6))*(-81)/6. Is -19 bigger than q?
False
Let v = 178.9 - 139. Let t = 40 - v. Are t and 16 equal?
False
Suppose -2*q = -5*q + 9. Let h(y) = y**q + 2 + 3*y**2 - 3 - 1 + y. Let f be h(-2). Is 2/15 greater than or equal to f?
True
Suppose -6*m + 87 = 453. Let z be (-10 + 9)*1/m. Which is smaller: -1/2 or z?
-1/2
Suppose 12 = -3*i, -i - 64 = -3*l - 2*l. Let m = l - 12. Suppose -t + 0 + 3 = m. Which is smaller: t or 4?
t
Let h be (-1)/2*(-1644)/(-6). Let x be (-1396)/15*18/(-12). Let l = x + h. Which is bigger: 3 or l?
3
Let x = -296 - -161. Which is smaller: x or -134?
x
Let h = 38 + -50. Let s be (-1)/(h/9) + -2 + -1. Suppose -2*z + 6 = -5*z. Is z greater than or equal to s?
True
Let g be 126/45 + 3/(-15). Let z be (-4)/(-6)*6 - 2. Is g > z?
True
Suppose 21*r = -3*r + 48. Is 8 at most r?
False
Let y = 593 + -593.09. Suppose -2*x + 6*x = -b + 18, x = 2*b. Which is smaller: b or y?
y
Let b = -200 + 173.6. Let u = b + -1.6. Is u at least -2/9?
False
Let t(m) = -2*m**2 - 12*m + 43. Let i be t(-8). Suppose 0*x = -3*x. Is i > x?
True
Let g = -0.24 + 1664.24. Are g and -0.1 equal?
False
Suppose t + 2 = 3*t, -3*t + 5 = y. Let h be 22/33*177/y. Are 60 and h nonequal?
True
Let q be 805/(-56)*(-2342)/(-5). Let b = q - -6671. Let o = b - -63. Is 1 <= o?
False
Let m = 16 - 20. Let r be (-3)/(0 - 30/m). Does 1 = r?
False
Let r = -26 - 16. Let u be 12/r + 27/21. Which is bigger: 2/99 or u?
u
Suppose 2*y - 2 = -5*f, -f = -y - 0 + 1. Let u = -3233 + 3234. Which is smaller: u or f?
f
Let w = -168.2 - -168.3. Let c = 8 + -4. Which is smaller: c or w?
w
Let a = 0.101 - 17.101. Which is smaller: 0.2 or a?
a
Let n be 1 - -21 - 2 - (-21)/7. Suppose -20*o + n*o - 15 = 0. Which is bigger: o or 6?
6
Let b be 1*0/(-7 + 3). Let p be 1/5 + (1484/(-660))/7. Which is smaller: p or b?
p
Let r(d) = d - 4 + 17 - d**2 - 14 + d. Let h be r(1). Which is smaller: -1/32 or h?
-1/32
Let p = -42.933 + -0.067. Let t = p - -66. Let r = 18 - t. Is -0.1 greater than or equal to r?
True
Let a = 6 + -4. Suppose 0 = 2*c - 2*z, 5*c + 1 = a*z + 2*z. Which is smaller: 17 or c?
c
Let h(i) = -8*i - 9. Let g(v) = -15*v - 17. Let z(y) = -6*g(y) + 11*h(y). Let t be z(4). Suppose f = 5*u - t, -f + u = -0*f + 3. Which is greater: -2 or f?
f
Let w = 393 + -2753/7. Which is greater: -78 or w?
w
Let w = -1040 + 742. Which is smaller: -297 or w?
w
Let n = -142 + 208. Suppose 159 = 5*z - n. Is 45 less than z?
False
Let s = -947 + 1708. Let c = s - 22067/29. Which is bigger: c or 0?
c
Let t be 7 + -10*(-4)/(-8). Which is bigger: t or -3?
t
Suppose -5*s = -3*s + 2. Let f = -91/629 - -1/37. Which is smaller: s or f?
s
Suppose -11*g = -5*g + 6. Which is greater: g or -1/2?
-1/2
Let a = -948 - -946. Let n(b) = 2*b**3 + 3 + b - 4*b**2 - 3*b**3 + 2*b**3 - 3*b. Let j be n(4). Which is bigger: j or a?
a
Suppose 0 = -2*a + 3*k - 890, 0 = 3*k - 7 + 19. Is -450 <= a?
False
Suppose -5*v + 0*l = l - 106, -4*v - 5*l + 68 = 0. Let g(a) = 41*a + 553. Let w be g(-13). Which is bigger: v or w?
v
Let b(k) be the first derivative of k**2/2 + k - 15. Let g(v) = -v**3 + 3*v**2 - 2*v - 2. Let i be g(2). Let d be b(i). Are d and 1/5 equal?
False
Let a be 27/(-63) + 