, -5*y + 2 + 16 = -3*g. Let v be (6/16*4)/g. Do 8/7 and v have the same value?
False
Let u be ((-6)/(-8))/((-2)/(-8)). Let x(p) be the second derivative of p**4/12 - p**3/3 - 3*p**2 - 4*p. Let h be x(4). Is h > u?
False
Let w be ((-30)/(-4))/5*1904/51. Which is smaller: w or 51?
51
Suppose -10*g + 4065 = 5*l, -1970 - 95 = -5*g + 4*l. Is 408 at most g?
True
Suppose 3*w - 10 + 1 = 0. Suppose -i + w = -2. Is 4 less than i?
True
Let w = -0.047 - 1.053. Let s = 25 + -23.9. Let m = s + w. Are m and 4 unequal?
True
Let g be 2 + (-1)/(3/(-3)). Suppose 0 = 2*s - g*s - 8. Let p be 0*(-3)/(2 + s). Which is smaller: 0.1 or p?
p
Let l = 507882/23 + -22074. Let x = l - 12106/1541. Is x greater than or equal to 0.2?
False
Suppose 0 = -3*j - 66 + 18. Let y = -13 - j. Let q(z) = -z**2 + 3*z + 1. Let u be q(y). Is u greater than 0?
True
Let n = -0.3 + 1.3. Let j = -54.7 + 55.4. Is j at most as big as n?
True
Suppose -5 = 3*d + 10, -2*d + 38 = -4*m. Let n(v) = -2*v**2 - 2. Let w be n(-2). Is w at most m?
False
Suppose -4*u + 7 = o + 4, -5*u = -4*o + 12. Suppose -5*c - 22 = 2*i - c, -2*c + 10 = u. Which is smaller: i or -19?
i
Let o = 58.4 - 56.4. Which is smaller: 14/29 or o?
14/29
Let f(b) = b**2 - 22*b - 22. Let g be f(23). Let w = 11799800/99057 + -123/4717. Let m = w + -119. Is g less than m?
False
Let p(b) be the first derivative of b**3/3 + 3*b**2/2 + b - 55. Let i be p(0). Which is smaller: 4/29 or i?
4/29
Let w = -0.06 - -0.09. Let l = -0.27 - w. Let x = -2.4 + 0.4. Which is bigger: x or l?
l
Let m = -0.041 - 1.259. Let y = -1.2 - m. Let t = -5.7 + 6. Which is bigger: t or y?
t
Let r be 716/10*354/236. Which is smaller: r or 107?
107
Let x be (1 - (-4731)/(-4735))*(-100)/40. Is 2 at least as big as x?
True
Let i = 181 - 1993/11. Which is bigger: i or 37?
37
Let q = 1628 + -1713. Are q and 2 non-equal?
True
Let d be ((-17)/102)/(4/24). Is 6/509 at least as big as d?
True
Let h = 37.086 - 0.086. Let c = h + -38. Which is smaller: -23/3 or c?
-23/3
Let h be -4 + ((-5172)/(-642))/2. Which is smaller: 3 or h?
h
Let k = 1.1 - 1. Let t = -4324 + 30271/7. Is t < k?
False
Let p(t) be the first derivative of 4*t**3 - t**2 + 4*t - 26. Let v be p(2). Is v < 48?
False
Let c = 437/6 - 1052/15. Is 4 greater than or equal to c?
True
Let o be 13/((-117)/(-6)) + 2. Suppose 5*j + q - 17 = 0, -3*j + 19 = 2*j + 2*q. Is j greater than or equal to o?
True
Let t = -13831829/33142977 - -1/372393. Let a = 1/89 - t. Let p(l) = -l**2 + 3*l + 2. Let s be p(3). Is s smaller than a?
False
Let f = -6.0547 + 0.0547. Which is smaller: -20 or f?
-20
Let c = 10.9 + -11. Let k = -0.4 - c. Let b = -23 - -114/5. Is b at least as big as k?
True
Let t = -2/139 - 272/417. Suppose 3*l = -b + 60, -32*b + 28*b - 197 = -11*l. Which is smaller: l or t?
t
Let q be 2 - -3 - 2 - 30. Let j = 30 + q. Suppose 4*o - 5*g + 6 = -9, 2*g = 6. Which is bigger: o or j?
j
Let k = -41 + 38. Let s be -1*(k + 140/52)*1. Is s >= 2/9?
True
Suppose -4*t + 2*t = -10. Suppose 5 = -j, 0 = t*i + j - 0*j - 20. Suppose -3*c + c = i*g - 3, 5*g = 5*c + 10. Is g bigger than 2?
False
Let v = -1 - 0. Let h be (-24)/54 + 39/27. Which is bigger: h or v?
h
Suppose 140 = 45*u - 41*u - 3*c, 4*u = -3*c + 140. Are 101/3 and u equal?
False
Let a = 616 - 621. Is a at most as big as -6?
False
Let c(q) be the second derivative of 2*q + 0 - 1/3*q**3 + 9/2*q**2. Let t be c(5). Does 0 = t?
False
Let m(f) = -2*f + 1. Let j be m(-1). Suppose -l = -6*l + 20. Suppose k = l*o + 15, -k - 2*k + 3*o + 9 = 0. Is j greater than k?
True
Let d be 1/(-4) + (-165)/2. Let y = d + 83. Which is greater: 2 or y?
2
Let l be 11/22 + 1/(-2). Which is bigger: l or -8?
l
Let y be ((-9)/(-6)*1)/(21/49). Are 0.5 and y equal?
False
Let d = 264 - 263.9. Do 230 and d have different values?
True
Let h = -138 - -111. Which is smaller: -0.2 or h?
h
Let a = -7 - -1.9. Let d = 10.1 + a. Is 9 at most d?
False
Suppose 0 = 3*a + 5*z - 122 - 170, -2*z = -5*a + 466. Let c = 315961/33 + -29006/3. Let f = a + c. Which is bigger: f or -1?
f
Let v(o) = -2*o**2 + 7*o + 1. Let c(h) = -3*h**2 + 13*h + 1. Let j(l) = 3*c(l) - 5*v(l). Let m be j(-5). Let p be (8/12)/(m/(-27)). Which is greater: p or -7?
p
Suppose p = 3, -4*z + 41 + 14 = p. Let f = -34 - -38. Does f = z?
False
Let k(u) = u - 1. Let i be k(-1). Let t be 1/(-4) + 251/(-4). Let d be t/28 + (-1)/2. Is i <= d?
False
Let r(j) = j**3 + 12*j**2 + 8*j - 18. Let g be r(-11). Which is bigger: -0.21 or g?
g
Suppose -2*q + 4*o + 3 + 17 = 0, -2*q = -3*o - 15. Which is smaller: q or -2/1757?
-2/1757
Let d = 1197 + -1197.1. Is d smaller than -1/24?
True
Let j(z) = 19*z + 56. Let f be j(6). Let u = 111 - f. Which is greater: -60 or u?
u
Suppose -19*y + 210 = -33*y. Is y < -23?
False
Let z(t) = -7*t**3 + 3*t**2 - t - 5. Let g(u) = 6*u**3 - 4*u**2 + 2*u + 5. Let h(p) = 6*g(p) + 5*z(p). Let v be h(8). Is -10/3 > v?
False
Let k be 1/((-1 - 0) + 2). Suppose 5*w = 5*h + k + 4, -2*w = -h. Let u = -13/10 + -1/5. Do w and u have the same value?
False
Let s be (-2 + 0/(-3))*45/(-30). Which is bigger: 65/29 or s?
s
Let w be 6/20 + 2820/225. Which is smaller: w or 12?
12
Let d be 2/(-3)*3 - -4. Let a(m) = m**3 - 5*m**2 + m - 4. Suppose -10 = -c - 5. Let y be a(c). Is y at most d?
True
Suppose 6*d + 2*h - 10 = d, 5*d = -4*h + 20. Which is bigger: -62 or d?
d
Let g = -202.7 - -203. Which is bigger: -8/3 or g?
g
Let p = -266 - -273.1. Which is bigger: -5/3 or p?
p
Let f be 1/(-2)*(0 + 0). Suppose -j + 2 - 5 = f. Let z be (15 + -7 + -9)*5. Which is smaller: j or z?
z
Let y be ((-3)/9)/(5/795). Let x = y - -54. Is 3/13 equal to x?
False
Let j be (-1*1)/(4 + -2). Let v be 0*(-1)/(-6)*3. Suppose v = 3*w + 3*w. Is w <= j?
False
Let k(v) = -158*v**3 - v**2 + 5*v - 4. Let n be k(1). Let p = n - -158. Which is greater: 15/14 or p?
15/14
Let g(b) = b**2 + 14*b + 33. Let t be g(-11). Which is smaller: t or 9/29?
t
Let y(u) = 2*u + 27. Let x be y(-9). Suppose 0 = x*r - 11*r + 2. Are r and -2/123 non-equal?
True
Suppose 0 - 3 = -s. Let i = 33/14 - 6/7. Are i and s non-equal?
True
Let o = 104 + -271/2. Suppose 2*y = -d + 5*y + 18, -4*d + 5*y + 107 = 0. Let l = o + d. Is 2 less than or equal to l?
False
Let c(z) = -32*z + 1 - 31*z + 65*z + 4. Let j be c(-3). Is j smaller than -13/7?
False
Let h be (-32 + 33)*1/(0 - 1). Which is smaller: -2/31 or h?
h
Let r = -14/27 + 152/189. Let l = 0.6 - 0.53. Is l greater than or equal to r?
False
Let l(x) = 8 + 4*x - 12*x + 7*x. Let v(g) = -g + 1. Let n(u) = l(u) + v(u). Let j be n(4). Which is greater: j or -1/5?
j
Let c(z) = z**2 - 6*z - 5. Let w(v) = v + 7. Let y be w(0). Let r be c(y). Suppose -2*j + 10 = 3*j. Is r > j?
False
Let n = -4.76 + 4.62. Which is bigger: n or 0.14?
0.14
Let w be ((-2)/2 - -2) + -2. Let t = 171 + -858/5. Is w >= t?
False
Let n = -29.3 - -29.5. Which is smaller: -0.052 or n?
-0.052
Let l(k) = -k**2 - k + 4. Suppose -a + 12 = -5*a. Let i be l(a). Let x = 31 - 33. Is x >= i?
True
Suppose -3*s + 0 = -12. Suppose -2*i = s*l + 238, -l - 2*i - 60 = -8. Which is smaller: -63 or l?
-63
Let m = -236 - -235.49. Which is smaller: m or 0?
m
Let j be 4/(-6)*9/6. Let k be (j - -4)*(-3)/27. Let c = -78 + 467/6. Which is smaller: k or c?
k
Let r = 33 - 359/11. Which is smaller: 1 or r?
r
Let o = -8 - -5. Let d be 2/(o/((-21)/(-2))). Let i = -1 - -1. Does i = d?
False
Let v(x) = x**3 + 6*x**2 - x - 8. Let g be v(-6). Let t be (-42)/g + 0 + -3. Let w = -18 + t. Which is smaller: w or 2?
w
Let x be (-2 + 0)/(4 + (-452)/112). Suppose 2*y + 68 = m, -3*y - 35 - x = 4*m. Which is bigger: y or -34?
y
Let k = -4.4 - -4.9. Which is bigger: -33 or k?
k
Suppose -2*f + 396 = 2*f. Are 96 and f nonequal?
True
Suppose -14*o - 5*j - 845 = -9*o, 5*o = 3*j - 837. Is o at most -1/4?
True
Suppose -11 = 4*w - 3. Let h be w/(-44)*(5 - 1). Let u be (-9)/(-2) + (-2)/4. Is u bigger than h?
True
Suppose 93 = g - 415. Let k = -21842/43 + g. Which is bigger: k or 0?
k
Let i(c) = 104*c + 11. Let r be i(-1). Is r greater than -90?
False
Suppose 0 = 16*d - 14*d - 750. Let n = d - 1882/5. Is 1/2 smaller than n?
False
Suppose -k - 5*d = 24, -22 = 6*k - 3*k + 5*d. Which is bigger: -1/208 or k?
k
Let u be 277/318 + 1/(-3). Let w = -8/127 + 678/6731. Let m = w - u. Which is smaller: 0.08 or m?
m
Let g = 704 + -880. Which is greater: g or -175?
-175
Sup