et z(v) = v**3 + 6*v**2 - 7*v - 7. Let t be z(-7). Let x = t - -13/2. Let f be 96/(-392) + 2/7. Which is smaller: f or x?
x
Let a = -3045 - -2983. Which is bigger: a or 20?
20
Let y = 1315.4 - 1315. Which is smaller: 2.9 or y?
y
Let c = -11 + 10.2. Let x = 7 - 8. Let b = x - c. Are b and 2 unequal?
True
Let g = -30 - 158. Let b = 1318/7 + g. Which is smaller: 1 or b?
b
Let p = -0.156 + 0.056. Do p and 783 have different values?
True
Let w be -10 - (-6 - -4 - -4 - 5). Is w > -3?
False
Let z(b) = b**2 - 3*b + 2. Let o be z(-3). Let u be 2/(-10) - (-44)/o. Suppose -2*m = -4*m - 2*n + 6, 2*m = -n + 3. Is u >= m?
True
Suppose -i + 143 = 5*o + i, 4*o = -5*i + 128. Suppose 0 = -4*m + 19 - o. Is -5 equal to m?
False
Let j = 197 + -108. Suppose 0 = 4*s + 20, -r - j = 2*r - 2*s. Is r less than or equal to -31?
True
Let p = 7.34 - -1.06. Let i = p - 8. Let z = -0.4 + i. Which is smaller: z or 17?
z
Suppose -4*i = 4*p - 4, i + 3*i = -2*p - 2. Suppose 2*b = q - 12, 27*b + 22 = q + 23*b. Suppose q*t + p*t - 5 = 0. Is t less than 7?
True
Let o(w) = w**3 - w**2 - w - 2. Let r be o(3). Let y(d) = -4 + 13*d - 7*d**2 - 7*d**2 + 0*d**2 + d**3. Let j be y(r). Is j less than -5?
False
Let f = -22.8 - -15.8. Is f greater than or equal to -0.3?
False
Let b(a) = -a**2 - 9*a + 4. Let j be b(-5). Suppose 2*m + 0*m - j = 0. Suppose -m = p - 5. Which is smaller: -3 or p?
p
Let h(z) = -8*z + 348. Let i be h(54). Which is smaller: i or -85?
-85
Let l = 0.667 - 0.467. Is l smaller than 3?
True
Let y = 22237 - 22168. Suppose -4*p + 146 = -126. Which is smaller: p or y?
p
Let d(n) = -n. Let a be 3/24*-14*-8. Suppose -5*x - a = -4, -2*x = 3*s - 2. Let g be d(s). Is g less than -2/3?
True
Let u be (771/30)/((-4)/10). Let b = u - -64. Which is bigger: b or 19?
19
Suppose 5*o - 2 = 8. Let y be 10/o*24/40. Let g be 6/y*(-4)/8. Which is smaller: -1/2 or g?
g
Suppose 0 = 3*w - 5*w - 6. Let k be ((-18)/12)/(w/4). Let z be 34*(-2)/(-85) - (-46)/(-45). Is z < k?
True
Let d = 944 + -943.8. Which is greater: d or 3/7?
3/7
Let h = -3452 - -3454. Let f = -8 - -16. Which is smaller: h or f?
h
Let r be -2*(4 - -1) + -9 + 8. Let h be 0 - (1 + 0 + r/9). Is -7 less than h?
True
Let y be (-15)/30 + -1 + (-33)/(-2). Let z be 14/(-3)*1 - 5/y. Do z and -3 have different values?
True
Let u = 327 - 327. Let g = 22.1 + 75.9. Is u > g?
False
Let m = 170.2 - 174.2. Is -1 smaller than m?
False
Let t be ((-1)/9)/((-7)/(-3)). Let y(v) = -5*v**2 + v - 6. Let n be y(-3). Let c be 6/(-21) + n/(-42). Which is smaller: c or t?
t
Let q = -169/2162 + -9/94. Which is smaller: 0 or q?
q
Let a(d) = 2*d**3 - 2*d**2 - 2*d + 2. Let q be 6 + -3 + 17 - 2. Let h = q + -16. Let f be a(h). Which is smaller: 7 or f?
f
Suppose -2*r + 0 = -4. Suppose -r*p = -p. Let b be (-3)/(-6)*(2 - p). Which is smaller: 4 or b?
b
Suppose -5*x + 110 = -0*t - 5*t, -3*x = -4*t - 91. Let s = 37 + t. Let q be -1*s*(-6)/9. Which is smaller: 7 or q?
7
Let g = -13.92 + 14. Let r = g - 0.2. Let v = r - -0.02. Which is smaller: v or -3?
-3
Let k(s) = 2*s**2 - 7*s. Let h be k(5). Let l = 210 - 578. Let g be (-2)/6 + l/(-24). Is g at most h?
True
Suppose -2*d + 4*a + 30 = 0, 2*d + 5 = -6*a + 3*a. Suppose t = -1 - 1, -d*b + 4*t + 68 = 0. Let s be (-200)/b*(-3)/2. Which is smaller: 24 or s?
24
Let u be (-19)/90 - 21/(-189). Do 2 and u have the same value?
False
Let y be 2 + 1736/(-441) + 2. Which is smaller: y or 1?
y
Let f(i) = i**2 + 10*i - 16. Suppose 2*w = -0*q - 4*q + 28, -5*w - 50 = -5*q. Let k be -15 - 2/(q/(-12)). Let u be f(k). Which is smaller: 2 or u?
2
Let g = 37.4 + -21.4. Is -1.1 < g?
True
Let p be (-536)/(-12) - (6 + 16/(-3)). Which is bigger: p or 46?
46
Suppose -14 = -2*b - 2*d, -13 = b - d - 3*d. Suppose 2*q - b = -5. Which is smaller: q or -8?
-8
Suppose -60 = -2*k + 4*v, -65 = 7*k - 9*k + 3*v. Let z be (3/(-6))/((-2)/160). Are k and z nonequal?
False
Let g = 37 + -55. Suppose 219*v = 208*v - 220. Is v not equal to g?
True
Suppose -s - 4*s + 5 = 0. Let m be (-15 - -24)/(33/14). Let h = m - 577/154. Which is bigger: s or h?
s
Let l be 1 - ((-1)/(-16) + 0 + 1). Suppose -4*w - w + 10 = 0. Suppose 0*t + 20 = 2*b - 4*t, 0 = 2*b - w*t - 10. Are b and l unequal?
True
Let v = -303 - -56. Does v = -247?
True
Let r be ((-12)/(-165))/((-4)/6). Let g = r - -372/385. Let s = 18 + -19. Is s > g?
False
Let y be (2 - 1)/((-1)/(-1)). Let u = 0.79 - -2.21. Which is smaller: u or y?
y
Let t = -6315 + 6298. Let p = -1/5 - 2/15. Do p and t have different values?
True
Let g = 1 - -5. Let u be (-1 - (-5)/3)*(-3)/g. Which is bigger: 8 or u?
8
Suppose 3*i - 2*g - 2*g = -3, 0 = -5*i + 4*g - 5. Let n be (2 - i) + -6 + 1. Is n != -0.05?
True
Let c be -1*(4/2)/2 + -3. Let u be -26 - (c + 0 + 1 + -1). Which is bigger: u or -24?
u
Let d = -1.36 + 1.39. Which is bigger: 0.05 or d?
0.05
Let a(d) = 2*d**2 + 9*d - 4. Let j be a(-5). Suppose 3 - j = g. Let t be -1 + g - (-20)/(-17). Is t greater than -1?
True
Let o = 855 + -871. Which is smaller: -7 or o?
o
Let u be -24 + 0 + (3 - 1). Let w = 50 - 52. Let t be -19 - (-2 + -10*1/w). Is t greater than u?
False
Let i be 1/(-2)*(6 - 4336/728). Which is smaller: i or 2/5?
i
Let j(n) = 6*n - 3*n - n. Let a be j(-7). Let s be 4/a + 4/(-84). Which is smaller: s or -1?
-1
Let q(z) = z**2 - 1. Let n be q(-3). Let h = -14 - -21. Let l = h + 1. Is n > l?
False
Let g be -21 - (3 + 0 + 0). Let w = g + 15. Let l = w + 9. Which is greater: 2/7 or l?
2/7
Let d be (9*-2)/(-2*1). Suppose 0 = d*f - 4*f + 75. Let t = 19 + f. Is 4 bigger than t?
False
Suppose 4*b = 4*v + 1352, -b - 65 + 423 = 3*v. Which is smaller: b or 342?
342
Suppose -j + 64 = 4*q + 21, 4*j = -5*q + 139. Let i = j + -19. Suppose 4*z - 4*w + i = 0, -29 + 8 = 4*z + 5*w. Is z > -5?
True
Let p = 0.0275 - -0.0725. Which is greater: p or -3/82?
p
Let o be 2/8 + 23/4. Let t(b) = b**3 + 6*b**2 + 10*b + 33. Let m be t(-5). Which is smaller: m or o?
o
Let u = -67 - -67. Let i be 16*(3 + -2) + u. Is i at most as big as 5?
False
Let t be (2 + 266/(-4))*(-16)/(-60). Are -18 and t nonequal?
True
Let k = 185 + -1298/7. Which is greater: k or -2.1?
k
Suppose -2*a = 4, -4*m = -7*a + 5*a + 32. Suppose -3*y = -19 + 49. Which is greater: y or m?
m
Let l(b) = -2*b**2. Let n be l(2). Let x be 3/((-36)/n)*-3. Let d = 2 + x. Is d greater than -2/11?
True
Suppose -2*k - 2 = -4*n + 20, -4*n - 3 = 3*k. Suppose 0*r = -2*r + 2. Suppose -f = -r - 4. Is n at most f?
True
Suppose -5*s = 2*t + 59, 4*t + 139 = -5*s + 46. Suppose -2*m - 17 - 19 = 0. Which is smaller: m or t?
m
Let l = -2/6795 - -13808/740655. Is -0.01 smaller than l?
True
Let w = 292 + -195. Suppose -95*u + 8 = -w*u. Are u and -3 nonequal?
True
Let f = -4.5 - -42.5. Let k = -34 + f. Is k greater than -2?
True
Let o = 3 + -83. Let j = -3281/41 - o. Which is smaller: 1 or j?
j
Let t(y) = -y**3 - y**2 + 8*y + 14. Let o be t(-5). Which is bigger: o or 76?
76
Let q = 56 - 115. Let l = 1930 + -1988. Is q at most as big as l?
True
Let s be (0 + -4)*(1338/(-220) + 6). Is 1 bigger than s?
True
Let x = -114 + 220. Is 106 >= x?
True
Suppose 0 = -3*s + 31 - 73. Let r = s + 19. Let d = 3 - r. Which is bigger: -3 or d?
d
Suppose 5*j = -2*p + 51, 2*p + j - 93 = -3*p. Let t be (6/p)/((-1)/(-42)). Let w be 12/42 + (-74)/t. Are w and -5 nonequal?
False
Let x = 9 - 16. Let u = 11 - x. Let s be (-24)/u - (-10)/3. Is 2 >= s?
True
Let v = 14 - 14. Suppose 5*j + 5*y = -50, -3*j - 2*y = -0*j + 32. Let r be j/4 + 16/5. Is r greater than v?
True
Suppose -5 = -5*t, -2*q + t = -5*q - 41. Are q and -13 equal?
False
Let r = -16 - -21. Suppose -4*p - r*h - 28 = 0, -p = 2*p - 2*h - 2. Let j be (18/11 + p)*-1. Which is smaller: j or 1?
j
Let z = -1713 + 1709. Is z <= -13?
False
Suppose -5*u = -4*q + 21, 4*u = 5*q - 30 - 3. Let v(r) be the first derivative of -r**4/4 + 2*r**3 - 5*r**2/2 + 4*r + 9. Let o be v(5). Which is bigger: o or q?
q
Let r be (1/(15/(-220)))/((-58)/3). Which is greater: r or 0?
r
Let k = -31 - -32. Suppose -i - 4*o = 9, 4*i - 3 - k = 4*o. Do -2/101 and i have the same value?
False
Let x = -48.1 - -4.1. Let r = 44 + x. Which is smaller: r or 0.3?
r
Let w be 2665/(-1700) + 4/16. Let v = w + -15/17. Which is smaller: 0 or v?
v
Suppose 6*k = 9*k - 9. Suppose 0 = 2*x - v - k*v + 2, 0 = -5*x + 2*v - 21. Let r be (-19 - 3) + 1 + x. Is r less than -25?
Tru