pose -3*g + 0 - 3 = r. Let n be 135/(-145) + (0 - g). Is 1 > n?
True
Suppose -22 - 2 = -4*r. Let y(h) = -2*h + 2. Let o be y(-2). Do o and r have the same value?
True
Let o = 197 + -176. Which is bigger: o or 5?
o
Let a = -16379/42 + 390. Let b(u) = -38*u + 39. Let y be b(1). Is y < a?
False
Let g = 7.6 + -7.9. Let w = -10 + 12.2. Let x = 2 - w. Is g smaller than x?
True
Let z = 94 - 89. Suppose 0 = z*v - 14*v + 9. Which is bigger: v or 9/4?
9/4
Let p = 34/7 - 130/21. Which is bigger: -46 or p?
p
Let u be (-12)/36 + (-886)/242 - -4. Is 1 less than u?
False
Suppose 0 = 4*j + l - 5, 2*l + 0 = 4*j - 2. Let h(u) = u - 2 - 1 + j. Let i be h(2). Is i greater than 0?
False
Let i be (-4)/3 - (8/3)/4. Is i > -19?
True
Let q = -114 - -93. Let n = 12 - q. Is 1 at least n?
False
Let r = 889 + -873.67. Let v = 15.3 - r. Which is greater: v or 1?
1
Let v = 2/29 + 185/261. Let o = 79/90 - v. Let a be (0/(-13))/((1 - 2)*(-4 + 7)). Is a bigger than o?
False
Let g be -11 + -1 - -1*2. Let l be -1 + (7 - (1 - -1)). Suppose -5*c - h = -2*h + 50, -3*c - 30 = -l*h. Is c >= g?
True
Let f(q) = q**3 + 10*q**2 - 13*q - 16. Let n be f(-11). Suppose 20 = -2*y + n*y. Which is smaller: y or 1/2?
1/2
Let i be 8/(8/36*-3). Let z be 2/40 - (i + 12). Suppose -m + 0*m = 0. Is z greater than or equal to m?
True
Suppose -140 = 3*l + 4*l. Suppose 0 = 3*f + 2 + 52. Which is smaller: l or f?
l
Let k = 34 + -1500. Is 1 greater than or equal to k?
True
Suppose 4 - 20 = 2*t. Let o be (12/10)/(t/(-40)). Suppose 5*c = o*c - 8. Which is bigger: -0.1 or c?
c
Let g = 528804912/3521 + -150186. Let o = -87629/232386 - g. Let s = 1/22 + o. Is -2/13 not equal to s?
True
Let a = 129 - 128. Which is greater: 1/607 or a?
a
Let b(i) = -27*i + 961. Let h be b(37). Which is smaller: 0.7 or h?
h
Let o be 3718/30 + (-28)/(-42). Let v = 125 - o. Is v greater than or equal to -2/3?
True
Suppose 3*h - 327 + 63 = 0. Let t be 4/22 - (-1128)/h. Let b be (-2)/10 - 183/(-15). Which is bigger: t or b?
t
Suppose -y + 0 = -3*j + 4, -3*j - 3*y + 24 = 0. Suppose 0 = 4*t - j*t, -2*m + t - 14 = 0. Which is bigger: -6 or m?
-6
Let q be (-1)/((-2)/9*27/(-18)). Let m be (-91 + 9)/(3/q). Is 81 less than or equal to m?
True
Let u = -149/2 + 402/5. Let y = -27/5 + u. Let c = -0.28 - 0.02. Which is smaller: c or y?
c
Let f be 3146/546 - (-1)/(-3). Which is bigger: -3 or f?
f
Let y be (10/(-25))/(2/(-10)). Which is bigger: 11 or y?
11
Let g = 55/32 - 815/288. Let q(u) = 28*u**2 + 1. Let h be q(-1). Suppose -x - 2*p = -0*p - 8, 2*x - 5*p + h = 0. Is g < x?
False
Suppose 6*d - 4*d - 6 = 0. Let g be 70/3 + (-1)/d. Let f = -15 + g. Which is greater: 3 or f?
f
Let u = -285 - -301. Is -1/2 at most u?
True
Let m = -55 - -48. Let w(d) = d**3 - 10*d**2 - 8. Let x be w(10). Which is smaller: x or m?
x
Let u(w) be the third derivative of w**4/12 - w**3/6 + 27*w**2. Let c be u(0). Does c = -1/11?
False
Let u be 1*3802/(-840) - (-3)/12. Let i = -16451/3795 - -2/1265. Let r = u - i. Which is smaller: r or 1?
r
Let a = -2510 + 2135. Are a and -375 non-equal?
False
Let t(u) = -59*u**3 + 2*u**2 + u. Suppose j - 1 = q, -3*q - q + j = 4. Let y be t(q). Let i be (-48)/(-10)*y/(-18). Which is smaller: -15 or i?
i
Let c be 2/(-10) + 65/75. Suppose 3*i - 5*f = -24, i - 4*f = -5 - 10. Is i at most c?
True
Suppose r - 98 - 84 = 0. Let d be 2/7 + (-24)/r. Suppose 7 = -4*q + a - 6, 0 = a - 1. Is d at most q?
False
Let g = 65 - 35. Suppose 0 = -2*z, m = -2*m + 3*z - g. Let d = -2 + -9. Which is greater: m or d?
m
Let l = -813 + 886. Which is greater: l or 1/4?
l
Let x = -92 + 31. Let o = 74 + x. Is 0 equal to o?
False
Suppose 0 + 1 = p. Which is smaller: -3/254 or p?
-3/254
Let g(f) = -16*f + 1. Let y(o) = -31*o + 1. Let j(d) = 7*g(d) - 4*y(d). Let i be j(5). Let k be (-6)/i - (-2)/(-6). Is k > -1?
True
Let j = -571 + 593. Which is greater: 93/4 or j?
93/4
Let w be (1302/31)/((-6)/(-8)). Which is bigger: 55 or w?
w
Let f = 7981.38 - 7981. Let c = -40/87 - 6/29. Is f greater than c?
True
Suppose -15*i = -8*i + 14. Let q be 80/(-16) + 69/i. Is q at least -39?
False
Let b be 1716/312 - 25990/4724. Is 0 at least b?
True
Let u = -12.5 + 12.8. Is -0.7 equal to u?
False
Let h(a) = 2*a + 17. Let p be h(-8). Let s be (-32)/(-24)*p/(-30)*-1. Which is bigger: 1 or s?
1
Let n be -5*2/2*6/1270. Is n at most as big as 1?
True
Let a = -0.01 - 0.03. Let v = a + 0.04. Let z = -0.05 - 0.05. Is v <= z?
False
Let c = -48 - -47. Is -4/83 equal to c?
False
Let i(d) be the first derivative of -8/3*d**3 + 6*d + 8 - 1/4*d**4 + 9/2*d**2. Let p be i(-9). Is p != 7?
True
Let b(v) = -v**2 - v - 6. Let i be b(0). Let k be i/(-2 + 5) - -7. Is 9 < k?
False
Suppose 621 = -10*f - 179. Let x = 80 + f. Which is smaller: 4/9 or x?
x
Let n be (5 - 3)*2 - 3. Suppose w - 18*w = -34. Is w less than or equal to n?
False
Suppose -2*f = -5*n - 40, -16 = 3*n + n. Let v be ((20/175)/(-1))/((-4)/f). Which is greater: 22 or v?
22
Let n(k) = k**2 - 2*k - 16. Let l be n(5). Which is smaller: 507 or l?
l
Let j(b) = 12 + 2*b + 2*b - 6*b + 0*b. Let y be j(6). Which is greater: -5/4 or y?
y
Suppose -18 = -y + 4. Let n = y - 47/2. Let t be 4/14 - 8/14. Is n equal to t?
False
Let a = 1 + -2. Let x = -18 + 19. Let k be -1 + (2 - -1 - x). Which is smaller: k or a?
a
Suppose -5*p - 3*x - x = 108, 4*x - 72 = 4*p. Let y be (154/p)/(3/23). Let f = y + 178/3. Is f < 0?
False
Suppose 4*m = -2*w + 10, -5*m = -4*w - 0 - 19. Is 12/209 greater than w?
True
Let o = 68 - 36. Suppose -30*z = -o*z. Is z greater than or equal to -1/53?
True
Suppose 0 = -2*l - 3*l + 20, -v + 3*l = 16. Let q be 99/21 + v + 0. Which is greater: q or -1/2?
q
Suppose -9*y - 2*y = 121. Let s = -5 + -5. Which is greater: s or y?
s
Let c(t) = -2*t**3 + 6*t**2 - 2*t - 1. Let k be c(0). Is k >= 1/96?
False
Suppose -2*l - u + 49 = -0*l, -69 = -3*l - 3*u. Let z = 16 - l. Are z and -8 nonequal?
True
Let j = -364 - -379. Is j less than or equal to 9?
False
Let o = -0.23974 - -0.13974. Let d = 3904 - 277178/71. Which is greater: d or o?
d
Suppose -4*d = -11 + 3. Let m be (-2 + d)/(1 - 4). Let a be -10*1/(-1) - m. Is 10 >= a?
True
Let n = 2/29 - 122/87. Which is smaller: 0 or n?
n
Let y(c) = 5*c + 20 - 7*c + 8*c + 4*c. Let w be y(-2). Which is smaller: w or -4/103?
-4/103
Let g be ((-12)/9)/((-66)/72). Let h = 15/11 - g. Let p be (-1 + 1/((-2)/(-3)))*0. Which is smaller: p or h?
h
Let h be (0 + (-1 - -3))/(-1). Let s be (-8)/(-3)*(-6)/4. Let q = s + 4. Which is greater: h or q?
q
Let z = 20 - 20. Let u = z + 3. Let s be 108/(-45) + 1*u. Which is smaller: -2 or s?
-2
Suppose 17*x - 1662 = 2078. Is 220 less than x?
False
Let j(b) = 3*b + 50. Let u be j(-12). Let g = -9 + u. Which is smaller: g or 7?
g
Suppose -2 = -2*z + 2. Suppose 0 = -2*t - z*t. Let s(n) = n**3 + n + 3. Let m be s(t). Which is greater: 4 or m?
4
Let w = -40 - -58. Let y = -13 + w. Which is bigger: 4 or y?
y
Suppose 6 = 3*k - 0*k. Suppose v = k*n - 9, 2*v + 6 = n - 3. Suppose 0 = 5*h + 2 + n. Is -2 greater than or equal to h?
False
Let q(l) = l**3 + 9*l**2 + 25*l + 89. Let o be q(-9). Is -137 bigger than o?
False
Let o = -660 + 661. Which is bigger: 2/1807 or o?
o
Let s = -18 + 21. Let h = s - 1. Is h bigger than -0.5?
True
Let r = 15 - 16. Let i be (-9 - -35)*r/(-2). Which is bigger: 14 or i?
14
Let w = -28 - -43. Suppose 5*n + 0*n - w = 0. Let m be n/((-9)/(-12)) + -2. Is 1 < m?
True
Let y = 22 + -22. Suppose y = 3*f - f. Let n = -42 - -544/13. Which is smaller: n or f?
n
Let x = -247 - -142. Which is bigger: -104 or x?
-104
Let r be (((-152064)/1638)/(-16))/((-2)/(-14)). Which is smaller: 41 or r?
r
Let y = 1.2 + 16. Let f = 5.2 - y. Is -1 at least f?
True
Let m = 7012/3 - 2318. Is m < 18?
False
Suppose -4*p = 5*f + 46, -p - 2 = f - 2*p. Let c be f/(-9) + 11/(-3). Which is smaller: 7 or c?
c
Suppose 0 = -8*o + 11*o - 18. Let g = o - 40. Which is smaller: -32 or g?
g
Let w be ((-48)/(-60))/(2/20). Suppose 0 = -4*k + l + 19, -3*k - 5 = -w*k - 5*l. Suppose 5*p - p = -k. Is 1/4 at most as big as p?
False
Let h = 13 - 27/2. Let o = -14.97 - -15. Is h at least o?
False
Suppose 5*b - 22 = 3*z, -b - b = -5*z - 5. Suppose 38 - 50 = 6*v. Which is smaller: z or v?
v
Let d(r) = -8*r + 124. Let y be d(16). Is -38 at most as big as y?
True
Let g be (-6)/(-24) + 33/12. Suppose -3*v - g*d + 42 = 0, 