= -1733 - -1730. Is z at most as big as 80?
True
Let c = 4.4 + -2.2. Let s = -604.2 - -596. Let l = c + s. Is 1 bigger than l?
True
Let f be (((-96)/10)/(-2))/((-2)/(-20)). Does 48 = f?
True
Let y be (-15 - 2869/(-190))*710/4. Is 17 at most as big as y?
True
Let f = 66.78 + 1.22. Let i = 62 - f. Is 3/5 smaller than i?
False
Let l = 0.052 + -0.352. Let c = 10.3 + l. Which is smaller: -3 or c?
-3
Let p(x) = 60 - x - 2*x**2 - 59 - 2*x**2 - x**3. Let s be p(-3). Which is smaller: s or -38/7?
-38/7
Let r = 0.26 + -0.3. Let q = 0.44 - 0.12. Let z = 0.22 - q. Is z at least r?
False
Let v be 163503/54498 - (-3)/(-1). Let l = -944863/1398782 + v. Let f = l + 2/231. Is -2 less than or equal to f?
True
Let x = -7 + 6.7. Let d = x - -16.3. Suppose 2*r + 4*v + 715 = 719, 4*r + 4 = 4*v. Is r > d?
False
Let m be (-3 + 8008/2680)*10/4. Which is smaller: m or -2?
-2
Let a(h) = -2*h + 4. Let o be a(-3). Suppose 4 = 2*f + o. Suppose -4 = -5*t - 19. Do f and t have different values?
False
Let r = 455 + -455. Is -4/181 <= r?
True
Suppose 2*v + 419 = 3*s, -5*v = -s + 1302 - 248. Let t = 7173/34 + v. Which is smaller: t or -1?
-1
Let d(u) = -u**3 + 39*u**2 - 107*u - 57. Let s be d(36). Are s and -152/7 equal?
False
Let w be 11 - 25 - (1 - -1). Let p be w*4/(-8 - -4). Suppose -p = i - 4*d, -i + 2*d - 7 = 1. Which is smaller: i or 3?
i
Suppose 5*c = -4*z + 30, 13 = 2*z + z - c. Suppose 2 + 23 = z*i. Suppose -2*t - 95 - 5 = 5*g, -75 = i*g - 3*t. Are g and -18 equal?
True
Suppose -2*d + 22 = 2*v, 4*d + 7*v - 10*v - 72 = 0. Suppose 6*g = d - 3. Let s(u) = -u**2 + 3*u + 5. Let r be s(4). Which is smaller: g or r?
r
Suppose 6*m + 2*y + 358 = 3*m, -3*y - 124 = m. Which is smaller: -119 or m?
-119
Let v be 6/(-42) + 12660/28. Is 451 at most as big as v?
True
Let h be (-9)/(-3) + 8 + -4. Let l(o) = -o + 8. Let k be l(0). Is h != k?
True
Let l = -32 + 31.87. Let q = -6.87 + l. Let j = q - -6.8. Which is smaller: 1 or j?
j
Let f(l) = l**2 + 9*l - 89. Let m be f(-15). Which is bigger: -13/114 or m?
m
Suppose i + 3*i + 4 = 0. Suppose x = 3*x - 4. Suppose -x - 3 = 5*k. Is k >= i?
True
Let x = 64 - -3. Let q = -468/7 + x. Let y(s) = s - 3. Let g be y(4). Which is greater: g or q?
g
Let y(j) be the first derivative of 1/4*j**4 - 7 - 7*j + 1/2*j**2 - 1/3*j**3. Let z be y(0). Are -7 and z unequal?
False
Let x(u) = 8*u**3 - 2*u**2 + 1. Let m be x(1). Let i = m + -6. Let v(b) = -b**2 + 4*b - 1. Let s be v(4). Which is smaller: i or s?
s
Let c = 130 - 58. Suppose -4*m = -0*m - c. Is 3 less than or equal to m?
True
Let s = 0.545 + 57.155. Let g = s - 57. Which is smaller: 2/3 or g?
2/3
Let d = 522 + -521. Is d > -51?
True
Let w be (1 + -3)*(3 + -1). Let f be (-2)/(2/(w - -5)). Is -1 greater than or equal to f?
True
Let q = -13900/53107 - -2/2309. Let f be -4 + (7 - (-9)/(-3)). Which is smaller: f or q?
q
Let g = -221.2 + 221. Is 3 != g?
True
Let a = 257 - 262. Is -23 != a?
True
Suppose -3*h = 2*h - 20. Suppose -12*t + 16*t = h. Let i be (-4)/4 + 15/14. Is i bigger than t?
False
Let d(r) = 12*r + 771. Let w be d(-61). Does w = 37?
False
Let g be 3 + -2*2*(3 - 4). Let x(a) = a**2 - 7*a - 4. Let y be x(g). Is y greater than or equal to -12?
True
Let d(v) be the third derivative of 0 + 1/60*v**5 - 1/3*v**3 + 0*v**4 - 7*v**2 + 0*v. Let r be d(4). Do r and 14 have different values?
False
Let d = -21 - -1. Let m = d - -20.14. Is m greater than -0.1?
True
Let b = -858 + 279. Let x = -4045/7 - b. Is 2 less than x?
False
Let w = 96.1 - 96. Which is smaller: w or 27?
w
Let z = 623 + -621. Is 3/5 > z?
False
Let d be 1/2 + (-2023)/(-782) + -3. Which is bigger: -1 or d?
d
Suppose -2*z + k + 2 = 0, -2*z + 0 = -3*k - 2. Which is greater: -7 or z?
z
Let x = 2191/15 - 437/3. Which is smaller: 0.285 or x?
0.285
Let b = 0.05 + 0.35. Let t = -0.5 + b. Let y = 142 + -141.5. Are y and t equal?
False
Suppose -5*s + 168 = -2*f + 4*f, 4*f + 144 = 5*s. Is s greater than or equal to 167/5?
False
Let p = 1.02 - -1.08. Let n = p + -2. Let s be ((-6)/9 + 0)/2. Which is smaller: s or n?
s
Let p = 247/8 + -314415/10184. Which is bigger: 1 or p?
1
Let j be (-15)/(-36) - (-14)/(-84). Let p = -0.15 + -17.85. Let f = 7 - p. Do j and f have the same value?
False
Let w = -6.3 - -6. Let u = -208.04 + 208. Does w = u?
False
Let t = -2.6 - -0.6. Let d = 0.904 + -0.844. Do t and d have the same value?
False
Let u = 3308/39 - 85. Which is smaller: 1 or u?
u
Let r be (-1)/(-3 + 96/33). Suppose 3 = -2*m + 3*m + 4*h, -4*h = -5*m + 63. Does r = m?
True
Suppose -4*q - q = -2*r, -2*q + 24 = 4*r. Let n = 0.29 + -0.3. Let m = 0.01 + n. Which is bigger: q or m?
q
Let k(j) = -j**3 - 11*j**2 - 11*j - 14. Let r be k(-10). Let g be (-70)/(-3) + r/(10 + 2). Is g <= 23?
True
Let n(a) = a**3 - 11*a**2 - 14*a - 2. Let t be n(12). Let i = t - -26. Is i smaller than -2/143?
False
Let v = -1 + -6. Suppose 0 = -9*a + 13 - 40. Which is smaller: v or a?
v
Suppose -5*v + 6 = -24. Suppose -4*k - 2 = -v*k. Which is smaller: 0 or k?
0
Let n be (8 + (-5045)/630)*8/(-6). Which is smaller: 1 or n?
n
Suppose 1210*b - 1198*b = 9480. Which is bigger: 788 or b?
b
Let i be 83 + (-6)/15 + 49/35. Are i and 0.9 nonequal?
True
Suppose 9*q - 83 - 133 = 0. Is q < 76/3?
True
Let u = 419.1 + -419. Which is smaller: u or -382?
-382
Suppose 33*f - 29*f - 8 = 0. Let t be 1/f + (-21)/(-28) - 1. Which is greater: t or -1?
t
Let g = -310.9 + 315. Which is greater: g or -0.4?
g
Suppose -f = -67 - 2. Suppose 6*a - f - 261 = 0. Let k be (-6)/2*(-30)/a. Are 3 and k unequal?
True
Let a(t) = -t - 7. Let r = -14 - -7. Let d be a(r). Suppose 3*j - j = d. Is j less than -1/19?
False
Let k = 108 - 103. Suppose s + 2 = -s - 3*q, 0 = -5*s - q - k. Which is smaller: s or 21?
s
Let s(u) = -u**3 + 12*u**2 - 15*u + 58. Let n be s(11). Suppose 3*y + 5*j + 72 = 7*y, 5*y + 5*j = 90. Is y at most as big as n?
False
Suppose 0 = g - 8 + 3. Suppose g*v = 2*l + 162, 0*l + 2*l = -3*v - 178. Let s = -339/4 - l. Which is smaller: 2/7 or s?
2/7
Let i(z) be the third derivative of -z**5/60 - 7*z**4/24 - 7*z**3/6 - 18*z**2. Let p(f) = -f**2 - 6. Let u be p(0). Let b be i(u). Is -2/37 less than b?
False
Let j(k) = -2*k**2 - 14*k + 7. Let x be j(-8). Let y = -2 + x. Is y smaller than 0?
True
Suppose -4*p = -p - 30. Suppose -5*i + p = -5*s, -3*i + 0*i - 2*s + 1 = 0. Let y = 574/13 + -44. Which is smaller: i or y?
y
Let h = -5212618/735 - -7092. Is h less than 1?
True
Let q be (-2264)/32 - -4*(-3)/48. Are -77 and q nonequal?
True
Let k = -27 + 26.78. Let n = k + 1.22. Which is greater: n or 2?
2
Suppose 11*o + 5 = -28. Suppose 0 = 5*d + 10 + 20. Let n be (0 - 2)/(d/(-9)). Is n >= o?
True
Let z = -43585/3856 + -9/964. Let y = -45/4 - z. Suppose -10*v = -3*v. Which is greater: y or v?
y
Suppose p = 1 - 2. Let s be (-34)/136 - 1/(-12). Which is smaller: s or p?
p
Let b = -34 + 18. Let y be 0/b + (0 - 10)/(-2). Is y at least as big as 5?
True
Let m(w) = -11*w + 3. Let q be m(2). Let d = q + 129/8. Let u = d - -1157/408. Which is smaller: -1 or u?
-1
Let l = 0.3 + -0.2. Let h = -0.01 - 0.02. Let g = h + 0.02. Is l at most as big as g?
False
Let n be ((-76233)/(-42) + 0)/(-1). Let l = 1816 + n. Which is greater: 0 or l?
l
Let c = -14 - -14. Let p(g) = -g + 3. Let u be p(c). Let k(n) = -2*n**2 + 2*n + 1. Let y be k(u). Which is smaller: y or -10?
y
Let o(i) = 9*i - 100. Let q be o(11). Let n = 48 + -48.57. Let v = -0.13 + n. Is q greater than v?
False
Let q = -1411/620 - -4/155. Let h(y) = -3*y + 1. Let d(r) = 16*r - 5. Let k(p) = 2*d(p) + 11*h(p). Let b be k(4). Which is bigger: q or b?
q
Let a(h) = 7*h + 7. Let v(l) = 1. Let f(x) = -a(x) + 4*v(x). Let n be f(-2). Let y = n + -15. Is -5 greater than or equal to y?
False
Let j(u) = u + 1. Let s(c) = -c**2 - 12*c - 11. Let l be s(-7). Let m = 21 - l. Let h be j(m). Which is bigger: 0 or h?
0
Suppose 0 = -4*w + w - 1524. Let f = w - -241263/475. Let c = 3/19 + f. Which is bigger: c or 1?
1
Let f = 91 - 101. Let v be 1/f - 24/(-48). Are 2/7 and v non-equal?
True
Let i = 3/1667 - -11573/53344. Let t = -141/352 + i. Suppose 2*c + 4*c + 6 = 0. Which is smaller: t or c?
c
Suppose 0*l - l - u = -4, -20 = l - 5*u. Let k = 0 + l. Suppose 2*f - 4 = -k*f. Which is smaller: -3 or f?
-3
Suppose 10*m - 19 = -49. Let a = 9 - 4. Suppose -a*h = -20, -w - 5*h + 13 + 5 = 0. Is w > m?
