igger than 7/8?
False
Let u(n) = -5*n - 25 - 2 + 4*n + 3. Let c be u(-19). Let t be c/10*(-6)/(-5). Which is smaller: 1/5 or t?
t
Let n = 236 - -310. Suppose -8*v = 186 - n. Which is smaller: v or -3?
-3
Let b = 19.81 - -0.49. Let w = 20.2 - b. Is 42 greater than or equal to w?
True
Suppose -4*n + 4*g - 11 + 43 = 0, 2*n + 26 = -4*g. Which is smaller: n or -1/10760?
-1/10760
Let u be (8 + -1 + -3)/(-2) - -18. Let z be -2*((-360)/u)/(-5). Suppose 4*c = -4*g - 0*g - 12, 3*c - 31 = 2*g. Which is smaller: z or g?
z
Suppose -7 = -x - 2*t, -x + 5*t - 20 - 1 = 0. Let v be (-1 + -7 - -21)/x. Is -13 at most v?
True
Let r = 3655 + -3618. Which is greater: r or 39?
39
Let c(l) = 3*l**3 + 5*l**2 - 1. Let z be c(-1). Do z and 29/18 have the same value?
False
Let n be ((-20)/7 + 3)*2. Let k = 13464/3778813 - -2/7253. Is k greater than n?
False
Let g(c) = -c**2 - 7*c + 7. Let j be -7*(-35)/(-25) - (-2)/(-10). Let p be g(j). Suppose -m - 46 = 2*h, -5*m - 92 = 5*h + 13. Which is bigger: h or p?
p
Let k = 18.6946 + 0.3054. Let r = -0.32 - -1.82. Which is smaller: r or k?
r
Let k be ((-32)/(-6))/((-3)/21*(-70)/40). Let n = 2.2 - 1.2. Is k smaller than n?
False
Let v = -301762/115 - -2624. Let n = 439 - 440. Which is smaller: v or n?
n
Let m be (-92)/(-161) - (-1760)/56. Are m and 50 equal?
False
Let i be (19 + -2 + 5)*(-3483)/54. Which is bigger: i or -1418?
-1418
Let o = 17545 - 11483. Which is greater: o or 0.1?
o
Suppose -105*j - 1 - 11 = 93. Which is smaller: j or 271?
j
Suppose 3*z - 55 + 19 = 0. Suppose 0*m = -4*m - z, 3*m + 7 = -2*x. Let w be (-1)/6 + (-125)/(-570). Which is smaller: w or x?
w
Let f(h) = -78*h + 30. Let w be f(2). Let n be 8/(-21) + (-12)/w. Which is bigger: 2/29 or n?
2/29
Let l = -157 + 159. Suppose -l*v - 3*t = -v - 214, 0 = 4*v + 3*t - 865. Is 216 greater than or equal to v?
False
Suppose -5*z - 3*c = -1486, -19*c = -4*z - 20*c + 1193. Let j be (-1)/(-6) + z/(-2346). Is -1 less than or equal to j?
True
Let s = 9689 + -9692.74. Do s and 1 have different values?
True
Suppose 0 = 4*w + 11*o - 6*o + 6, 5*o = -10. Is w at most -26/243?
False
Let o = -48763/7 - -6973. Does -1 = o?
False
Let n be 1/4 - (-25)/(-140). Let p be (-3 - (-14)/(-10))/(4/(-10)). Suppose -2*q - 13 = -p. Which is smaller: q or n?
q
Let i = -18685 + 18713.3203. Let h = i - -0.5897. Let j = h - 29. Which is bigger: -0.2 or j?
j
Let q = -338/527 - -12/17. Let l be 4/(-12) - (-5)/((-15)/2). Let m be l*(1 - 4/2). Is q at most m?
True
Let l = -5.1541 - 1.4259. Is 11 at least l?
True
Let y(h) = -13*h**3 + 3*h**2 + 47*h - 56. Let x(v) = -3*v**3 + v**2 + 12*v - 14. Let q(k) = 9*x(k) - 2*y(k). Let u be q(4). Which is smaller: u or -4?
-4
Suppose 10*p = 15*p - 335. Let r = p + -63. Suppose 0*g = r*g - 4. Which is smaller: g or -2/117?
-2/117
Let n = 2090 - 2088.987. Let l = -0.013 + n. Let y = -0.102 + 0.1. Which is smaller: l or y?
y
Let i = 405 + -441.39. Let l = i + 36. Which is greater: 0.3 or l?
0.3
Let c = 122 + -197. Let f be ((-2)/(-6))/((-1)/c). Let t = 198 + -175. Is t >= f?
False
Let h = -950 + 947. Which is smaller: h or -7/15?
h
Let u be (77/(-21) - -7)/((-2)/(-3)). Suppose -4*c = u*c - 3*c. Suppose 18*b + 4 - 22 = c. Is -2/23 at most as big as b?
True
Suppose 9*z - 80 = 4*z. Let v = z - 24. Let g be -3*v/(-4)*5. Is g less than -31?
False
Let u be (6 - 3)*4/(-6). Let p(t) = -16*t**2 - 2*t + 2. Let w be p(u). Suppose 5*l - 227 + 195 = -327. Which is greater: l or w?
w
Let g(q) = q**2 + 4*q - 8. Let d be g(-7). Let c be 4*(d/4 - 3). Suppose -20 = -2*i - 30. Which is greater: c or i?
c
Let w = 626.21 - 621. Let j = -1.21 + w. Which is smaller: -0.1 or j?
-0.1
Suppose -y = -5*y - 5*l + 7, 9 = 2*y - 3*l. Suppose -6*f - n + 3 - 4 = 0, 8 - 10 = 2*n. Which is smaller: f or y?
f
Let x be (0 + -1)*((-17)/255 + 2/(-6)). Which is smaller: x or -115?
-115
Let z be 336/(-9)*(3 - (-15)/(-10)). Let n = 59 + z. Let o be (6 - n)/(-3) - -34. Does 33 = o?
True
Let c(z) = -7*z + 2. Let u be c(-4). Suppose 5*j + u = 40. Suppose -3*n - 62 = -4*k - n, -n = j*k - 25. Which is smaller: k or 15?
k
Suppose 2*c - 3 = -69. Let n = c - -28. Is n < -9?
False
Let y(t) = -3*t**3 + 3*t**2 + 2*t - 4. Let p be y(2). Let z be (5 + 8/(-2))*p. Let u = -1 + z. Is u <= -13?
True
Suppose -s + 2 = -2*s. Let x(o) = 20*o + 2546. Let y be x(-135). Let f be (88/y)/((-4)/s). Are 0 and f unequal?
True
Let b = -60092/27 - -2226. Suppose -4 = 4*i + 4*y, -1 = -2*y - 3. Is i < b?
True
Let g(k) = -2*k**3 + 121*k**2 - 85*k + 389. Let l be g(60). Which is smaller: l or -1109?
l
Let m = -4313114/29 + 149010. Let p = m + -282. Let b = -620.1 - -620. Which is smaller: p or b?
b
Let x be 3/9 - (-475)/(-17). Let j be 3 + (-650)/21 - (-6)/21. Let u = x - j. Which is smaller: u or -1?
-1
Let x = 109.2351 - -8.9909. Let z = x + -116.1. Let o = 0.074 + z. Which is smaller: o or 0.1?
0.1
Let x = -19655/34 + 578. Suppose 5*v = 1218*j - 1217*j + 8, -v - 11 = 4*j. Which is smaller: v or x?
x
Let b be 120/(-10)*2/(-16)*-6. Let s be 88/224*(-6)/b*9. Let r = 3/28 - s. Is r > -3?
True
Let k be 9/(-12) - (1518/24)/(-11). Suppose k*h - 25 = -11*f + 6*f, 0 = -2*h - 2. Let z = 7 - -3. Which is smaller: z or f?
f
Let b be (-385)/(-20) - (3/(-4))/1. Let m be (-1880)/30*(-3)/b. Suppose -2*v + 26 = -3*x, -v - 4*x + 42 = 4*v. Which is smaller: v or m?
m
Let q(u) = 2*u**3 - 9*u**2 - 5*u - 9. Let j be q(5). Let w = 868 + -875. Which is bigger: w or j?
w
Suppose 2*t + 3*j + 3784 = 0, 4*t - 3*j + 4*j + 7548 = 0. Is t at least as big as -1886?
True
Let v = -77.5 - -72.43. Let b = v + 4.97. Are b and 7.5 unequal?
True
Suppose v + 2 = 2*v. Suppose v*s = -4*g - 0*s + 146, -3*s = 2*g - 83. Suppose -5*z - 263 + 433 = 0. Is z <= g?
True
Let w(q) be the first derivative of -q**3/3 - 9*q**2 + 59*q + 39. Let g be w(-19). Let r be (-12)/(-2)*(-20)/(-3). Is g not equal to r?
False
Let x = -980/19 + 103/2. Let j(o) = 31*o + 83. Let u be j(2). Let l = u + -145. Are x and l unequal?
True
Suppose 5 = -2*s + 17. Suppose 0 = -7*n + 13*n - 24. Suppose -n*k - 20 = -s*k. Which is bigger: k or 12?
12
Suppose 2*f = -5*c - f + 89, 78 = 4*c - f. Suppose -2*w - 2*d + c = -11, -10 = -w - 2*d. Suppose 2*x - w = 20. Is x at most as big as 22?
True
Let n(u) = -u**3 - 4*u**2 - 4*u. Let q be n(-2). Let r be -7 - -3 - (-65 + q). Let j = -0.858 - 0.142. Which is greater: j or r?
r
Let k(x) = x**3 + 3*x**2 + 7*x + 21. Let r be k(-3). Suppose 4*t - 3*t + 11 = 5*u, 2*t + 5*u - 23 = r. Which is smaller: t or 2?
2
Let g be 12/(-22) + 300/550. Is 23/664 at least as big as g?
True
Suppose 140 = 5*z - 5*j, -3*z = -j - 13 - 71. Suppose z*a - 21*a = -574. Which is smaller: -81 or a?
a
Let r = 9583 - 9578. Let h = 0.3 - 0.1. Is h at least r?
False
Let s be -2 - -100 - (-4 + 1). Let n = s - 86. Which is greater: n or 270/19?
n
Suppose -9*p - 5*f - 180 = -8*p, 5*p + 5*f + 1000 = 0. Let i = p - -220. Which is smaller: i or -1/7?
-1/7
Let y = 101.01 + 1.99. Let l = 0.245 - 0.145. Which is smaller: l or y?
l
Suppose 2*t - 5*x - 42 = 0, -4*t + 3*x + 21 = -77. Suppose -1 + t = -5*o. Let p be (5 + -11)/(-3 + 5/1). Is o smaller than p?
True
Let l = -37941 + 37907. Is l smaller than 2.83?
True
Let p be (-121)/(-41) - (0 - -3). Let j(c) = c + 2. Let u be j(3). Suppose 0 = -u*a - 7*a + 12. Is a at least as big as p?
True
Suppose -s = 1 + 4. Let y be 7*1/(-2 + -2)*4. Let n = 4 + y. Is s >= n?
False
Let t = 314 - 7. Suppose 0 = -t*l + 298*l. Which is bigger: 11 or l?
11
Suppose 25 = 5*t, -t - 210 = -0*l + 5*l. Let i be (l/86)/((-2)/200). Which is greater: 45 or i?
i
Let y be (10/4)/((-6)/(-12)). Suppose 0 = 5*j + m + 2*m + y, 5*j + m = -5. Let k be (-22)/88*8/29. Is j <= k?
True
Let w be (1088/170)/((-78)/(-75)). Which is greater: w or -2?
w
Suppose 0 = 18*u - 24*u + 30. Suppose 0 = u*c - 3*x + 111, -4*c = 3*x + 133 - 28. Is c < -27?
False
Suppose t + g = -3*t - 40, -3*g + 10 = -t. Let q = t + 11. Which is smaller: -215 or q?
-215
Let h = 2607 - -3022. Which is smaller: -1/4 or h?
-1/4
Let d = -59 + 49. Let r be 180*(d/(-4) - (5 + -2)). Let z be (-244)/r - (0 - (-14)/(-35)). Which is bigger: z or 4?
4
Suppose 5*k - 41 - 3 = s, 0 = 5*s + 3*k + 80. Let x(w) = -w**3 - 25*w**2 - 121*w + 17. Let g be x(s). Is g smaller than 149?
False
Suppose -3*z = 14*b - 18*b + 1191, 5*b - 1515 = -5*z. Which is bigger: b or 