(-4)/(-14). Is z > b?
False
Let m = -1209 + 1197.8. Do m and 3/5 have different values?
True
Let g be (-395)/(-15) + 14/(-42). Let b be g/(-90) - (-68)/306. Which is bigger: 1 or b?
1
Suppose b = -2*z - 16, -3*z + 2*b + 14 = 31. Let v(y) = 14*y + 32. Let x be v(-2). Suppose 0 = -23*r + 27*r - 16, -x*r = 5*u - 6. Which is greater: z or u?
u
Suppose 12 = 3*k, -2163 - 3992 = -3*d - 5*k. Suppose -v = 2*c - d, 5*c - 8*c + 3070 = v. Let a = -48179/47 + c. Which is smaller: a or -1?
-1
Let f be (-172396)/(-705) + 1/(-3). Are f and 245 unequal?
True
Let i = 1.9 - 3.38. Let s = i - -1.48. Are 4/41 and s unequal?
True
Let x(a) = -3*a - 8. Let z be x(-12). Suppose 5*j + z = 33. Is j at least as big as -4/225?
True
Suppose -2*h - 7 + 4 = -5*w, 0 = -3*w - 2*h - 11. Let b be ((-93)/9 - w)*288/(-64). Which is smaller: b or 374/9?
374/9
Let i(l) = 18*l**2 + 14*l + 32. Let o be i(-3). Let b = -152 + o. Is 4/27 at most b?
False
Let j = -2.39 - 0.11. Let f = 2240.3 + -2240.4. Is j greater than or equal to f?
False
Let k = 3726.87 + -3742. Let x = k - -0.13. Let f = -14.9 - x. Is -5/7 at most f?
True
Let q(g) = g**3 + 9*g**2 + 22*g + 78. Let i be q(-11). Is i at most as big as -407?
False
Let b = -3491 + 3489. Is -0.342 greater than b?
True
Let b = -1.9 - 0.1. Let z = b + 3. Let o = 1525.7 + -1518.7. Do o and z have the same value?
False
Suppose -4*k + 42 = -2*g, -20*g = -19*g + 5*k + 21. Let x be (-12)/(-30) - (-112)/(-5). Is x < g?
True
Let p = -40.963 + -0.637. Let t = p + 24.6. Which is smaller: t or -12?
t
Let a be (16/10)/((-2)/(-45)). Let f = 1298 - 1299. Which is greater: f or a?
a
Let p = 719 + 442. Suppose 10*d - p = -181. Which is smaller: d or 100?
d
Let q = -4760/31 + 12932858/84227. Is 1 <= q?
False
Let a = 26188/9 - 2908. Which is smaller: -0.02 or a?
-0.02
Let n(k) = -9*k - 22. Let i be n(-4). Let g = -10 + i. Let t = g - -11. Is 15 less than t?
False
Let p = 300 + -98. Let q = -206 + p. Which is greater: 6/11 or q?
6/11
Let v = -269/4 + 68. Suppose -25*a + 73 = -177. Suppose -34*g - a = -39*g. Is v >= g?
False
Let r = -0.05 + 0.08. Let n = 638567 + -638560. Which is smaller: n or r?
r
Let n = 8 - 19. Let q = -12 - n. Let u be (-3)/(-28)*208/624. Is u at least as big as q?
True
Let m be 44973/162 + 2/(-4). Let q = -278 + m. Is 1/2 at most q?
False
Let a(o) = o**3 + 6*o**2 + 8*o + 4. Let z(p) = -4*p**2 - p. Let j be z(1). Let k be a(j). Let c be 2 - (-1 + -5 + (-147)/(-39 - -32)). Is k smaller than c?
False
Suppose -26878 = -239*g + 390*g. Is -143 less than or equal to g?
False
Let k = 29558 - 29559. Is 2/89 not equal to k?
True
Suppose -5*o + k = -56, -3*o + 0*o - 3*k + 48 = 0. Suppose 1816 = 87*i + 511. Suppose -15 = -i*l + o*l. Which is greater: 8 or l?
8
Suppose -7*b = -5*b. Suppose 3*m + 2*m = b. Suppose -s - 5*s = m. Is 1/51 at most s?
False
Let y = 2063 + -332142/161. Does y = -1?
False
Let i(f) = 5*f + 4. Let z be i(0). Suppose 4*c = z*s, -4*c + 0 - 5 = -5*s. Suppose j + 4*p = -15, j - c*p = -0*p + 21. Is j != 2/67?
True
Suppose -3*v = -5*o - 1, 0*o + 12 = -3*o - 2*v. Let s be 1*(3 - 4) + (0 - o). Is s bigger than -6/59?
True
Let b be (-543)/(-28) - (-5)/(-20). Let l = 6143 - 6124. Does b = l?
False
Let f = 63367/19 - 3334. Is 2 greater than or equal to f?
True
Let g = -25 + 11. Let o = g - -14.028. Let j = o + 7.972. Which is smaller: 2 or j?
2
Let r(s) = s**3 + 20*s**2 - 23*s - 27. Let q(k) = k**2 - k + 1. Let t(p) = -5*q(p) + r(p). Let d be t(-16). Suppose d = -11*l + 6*l - 5. Is l > 2/61?
False
Let q = -3740 - -3739. Let v = -0.4659 - -0.47. Is q less than v?
True
Let i(c) = 37*c**3 + 678*c**2 - 24*c - 29. Let d be i(-18). Is d bigger than 4290?
True
Let t = 190.7 - 10.7. Which is smaller: t or 1/10?
1/10
Let c(v) = v**3 - 8*v**2 + 7*v. Let x be c(7). Let j be (-3*1/6*x)/(-1). Is 1/355 <= j?
False
Let a = 1339 + -939. Suppose -a = 35*x - 45*x. Is x greater than or equal to 43?
False
Suppose -5*z + 3*k + 261 = 5*k, -5*k = -15. Is -7 equal to z?
False
Let u = 29.77 - 28.77. Let c(h) = 2*h - 1. Let f be c(-1). Which is smaller: u or f?
f
Let t be 4/(-6)*(259/35 + -8). Suppose 26*i = 47 - 17233. Is i <= t?
True
Let k(a) = 212*a. Let f be k(2). Let w = -26002679/17 - -1529993. Let r = f - w. Which is smaller: 0 or r?
0
Let z = -63 + 127. Let p be (13 - 6) + -9 + (z - 1). Is 63 >= p?
True
Let q = 261 + -254. Suppose -128 + 128 = -q*i. Is i at least as big as -2/73?
True
Let v = 1862.1 + -404.1. Which is smaller: 0 or v?
0
Let h be (-141)/670 + (-18)/(-60). Let m be (-4 + (-11)/(-3))*3. Which is greater: h or m?
h
Let p = 9 + -37.1. Let m = -28.3 - p. Let t = 4.02 + -0.02. Which is smaller: t or m?
m
Let a be (-3 + 1)/(-4)*4. Suppose 14 = -a*x + 12. Let u = 627 - 10029/16. Is x > u?
False
Let a = 108006/30473 - -4/983. Which is smaller: a or 4?
a
Let l(h) = -h**2 - 3*h + 4. Let n be l(-4). Let j(o) = o**2 - 16*o + 56. Let d be j(5). Let r be (300/(-35))/(-4) - d. Which is greater: n or r?
r
Let z(m) = 0*m**2 - 5 + 19 - 6 + 9*m + 7*m**2 + m**3. Let l be z(-6). Let s be (-14 + 12)*2/l. Is 3.4 != s?
True
Suppose 0 = t - 3*t + 6. Suppose -t*q = -q. Let w = -22792/5 + 4558. Which is smaller: w or q?
w
Suppose -f - 12 = 3*g, -g = 4*f - 0*g + 4. Let m be 3644/14 - (-6)/(-21). Let u = 2862/11 - m. Is f greater than u?
False
Let v be ((-180)/850)/(((-76)/80)/(3/(-9))). Is 1 bigger than v?
True
Let s be 0*(6/(-2) - -2). Let m = 21 - 37. Let v = -17.3 - m. Is s != v?
True
Let y = -2219 - -2218. Which is greater: 1/799 or y?
1/799
Let o(f) = 242*f - 552. Let n be o(66). Is n bigger than 1/2?
True
Let d(v) = -2*v**2 - 16*v + 9. Let w = 98 - 106. Let n be d(w). Which is smaller: n or 24?
n
Suppose -98*s = -5*h - 102*s + 43, -2*s = 5*h - 29. Which is bigger: h or -1.83?
h
Let l be 50/(-665) - (-4)/14. Let o = l - 101/209. Is 3 bigger than o?
True
Let x be (-4636)/168 + 6/(-84). Let k = 85/3 + x. Is -0.01 at most k?
True
Suppose 5*j = 2*d + 53, 52 = 2*d + 50. Let t be (-2 + 3)*(-3 + 14). Are t and j non-equal?
False
Let n(a) = 189*a**2 - 3044*a + 15. Let v be n(16). Which is greater: v or 10?
10
Suppose 0 = -113*c - 93635 + 631402. Does 4755 = c?
False
Let j be 110 + (-5)/2 + 18/12. Let b = -60 - j. Which is smaller: b or -168?
b
Let q = -11 - -13. Let r be (12/(-6))/(q/(-25)). Let u be (5832/(-1620))/(6/(-40)). Is r smaller than u?
False
Let x = 30 + -24. Let u = 19 - 16.25. Let f = u + 0.25. Do x and f have different values?
True
Suppose 3*h - 4*h + 1 = 0. Let p be (31 + -30)/(0 + h). Which is smaller: -1/15 or p?
-1/15
Let r = -8132 - -8034. Which is smaller: r or 21?
r
Let h be (7/2 - 2)*330/45. Let i(w) = 30*w - 123. Let b be i(h). Which is smaller: 208 or b?
b
Let g be 2/((-4)/6) - (-36008)/(-2030). Let q = g + 103/5. Which is smaller: 1 or q?
q
Suppose 0 = -2*v + 10, -5*t + 976 + 24 = 4*v. Which is greater: 198 or t?
198
Let r = -652815 - -652692. Suppose -5*u - 492 = -u. Is u < r?
False
Let z(f) be the third derivative of f**5/60 + 5*f**4/8 + 17*f**3/6 - 36*f**2. Let g be z(-12). Let p(w) = -2*w**2 + w - 3. Let b be p(3). Is g equal to b?
False
Let j = 153 - 173. Let f = j - -19. Are -1.1 and f nonequal?
True
Let x be 545 + (4/(-8) - (-35)/14). Let s = x + -591. Which is smaller: -46 or s?
-46
Let q(m) = m**2 + 253*m + 1756. Let g be q(-7). Suppose 2 = -4*f + 142. Is f <= g?
False
Let v = -95 + -180. Let k be 1975/v - (-14)/2. Which is greater: -39 or k?
k
Let b(x) = 3*x**2 - 46*x - 2. Suppose 0 = -a + 2*a - 15. Let h be b(a). Are h and -17 equal?
True
Let t = 4921/610 - 81/10. Let v = -750 + 750.0549. Let a = v - -0.0451. Which is bigger: t or a?
a
Suppose -3*x = 4*f - 7*x - 32, 3*f + 5*x = 0. Let g be (-2 + f)/((-3)/(-2)). Suppose g*y = y. Which is smaller: 2/7 or y?
y
Let i be -8*(15/6 + -3). Let h be (-5)/10 + 6/i. Let n be (8/(-42))/(147/343). Which is greater: n or h?
h
Let m be 16/(-238) - (-28)/(-98). Let z be (4/3)/((-11)/(-33)). Suppose 7*r - z*r + r = 0. Is r greater than or equal to m?
True
Suppose -11*v - 177 = 5*o - 13*v, -o - 38 = -3*v. Let d be -7 + (-89)/o - (-3)/5. Let y = 77/12 - 20/3. Is y at least d?
True
Let h be 125 - (1 - 5)/4. Let j = h - 124. Which is smaller: 18/17 or j?
18/17
Let s(u) = u**3 + 7*u**2 - 18*u + 1. Let a be s(-9). Let v be (-2)/(-10)*0 + a. Which is smaller: v or 10/51?
10/51
Let t(m) = -7*m - 758. Let z 