7. Let f = 17 + g. Let v be (-2 - (0 - 1))*0. Which is greater: f or v?
f
Let a be 117/42 + -1 - 6/4. Let l be (0/(-3)*-1)/(-6 - -4). Is l < a?
True
Let x be (5 - -1)/((-9)/6). Let k be (x + (-39)/(-9))*-1. Suppose 5*m = 5*v + 30, -11 = 2*v - v - 2*m. Which is smaller: v or k?
v
Let t(f) = -3*f + 3. Let w be t(-2). Let j be (2 - 3)/(4/w). Which is smaller: -2 or j?
j
Let r be (3/6)/((-1)/(-2)). Let i be ((-168)/560)/(1*45). Is i bigger than r?
False
Suppose -5*v + 65 = n, 2*v - 9 = 2*n + 5. Which is bigger: 1/2 or v?
v
Suppose -231 = -0*d + 21*d. Let r be (12/(-8))/((-3)/(-20)). Is d equal to r?
False
Suppose -3 - 1 = -o. Suppose -3*q + o*q + f + 6 = 0, -5*f = 4*q + 29. Let r be 1/(-3)*(4 + q). Is -2/11 at least as big as r?
True
Let u = -18.7 - -16. Let w = u - -1.6. Let c = w - -6.1. Is c bigger than -1?
True
Suppose 2*c + 8 = 4*c. Suppose -6*w + 65 = -1. Suppose h + w = 15. Is h greater than or equal to c?
True
Let w = 0.03 + 2.97. Let t = 3 - w. Let b be (-405)/90*(-4)/(-30). Is b greater than t?
False
Suppose -4*t = 3*d - 245, -t + 2*d = -61 - 14. Let g(p) = 4*p - 99. Let f be g(25). Suppose t = 5*u - 5*s + 20, f = -u - s. Is 3 bigger than u?
False
Let f = 483628/143 + -3382. Which is smaller: f or 1?
f
Let t = 61 + -61.29. Let g = -0.09 - t. Let b = g - 0.1. Which is smaller: b or -2/3?
-2/3
Let x = 2 - -1. Let v be 9*(x + 24/(-9)). Let y be (4 + -4)*v/(-9). Which is smaller: 1 or y?
y
Let j be 10/4*6/40. Let p(o) = o**3 - 22*o**2 + 65*o + 127. Let c be p(18). Which is greater: c or j?
c
Let f = 2 - 10. Let u(j) = j - 1. Let b be u(f). Let m be 148/(-15) + (-13 - (-193)/15). Which is bigger: b or m?
b
Let k = -37 + 54. Let v = 24 - k. Is v equal to 1/2?
False
Let f = 0.59 - 36.59. Let t = f - -35.83. Which is greater: t or -2/7?
t
Let v(y) be the first derivative of -y**2/2 - 12. Let d be v(-1). Which is smaller: d or 2/47?
2/47
Let m be (-5)/1*432/60. Let u be 78/m + 3/2. Which is bigger: u or 53?
53
Let u = -599 - -429. Which is smaller: -5 or u?
u
Suppose s = 2*g - 1, -9*s - 4*g - 1 = -14*s. Is s less than or equal to 0.27?
False
Let s(l) = -l - 8. Let d(w) = -w + 1. Let n be d(-3). Suppose g = -n*k + 3*g - 32, 0 = -k - 2*g - 13. Let q be s(k). Is -4 smaller than q?
True
Let o = 87.78 + -87. Let w = o + 0.22. Which is greater: -2 or w?
w
Let d be 3/(-6) + 21/6. Suppose d*r = -f + 38, 4 = -0*f + 2*f. Let s be ((-42)/12)/(27/r). Which is bigger: -1/3 or s?
-1/3
Let d be 12/(-9) + (-39)/45 + 3. Let l = -4 + 5. Let w = 1 + l. Which is greater: d or w?
w
Let l(x) = -3*x + 19. Suppose 4*h - 24 = -4*z - 0*h, 3*h - 24 = -4*z. Let b be l(z). Is -1/5 at least b?
False
Let k be 86/4 - (-4)/(-8). Let v = 2 + k. Suppose 2*j + 16 = -2*b, 3*b + v = 2*j - 1. Is -8 at least b?
True
Suppose 1 = -f - 2. Suppose -3*j + 4*w = 14 - 0, 0 = -j + 5*w - 12. Let k be (-3 + j)/(13 + -10). Which is bigger: f or k?
k
Let l be -15*(-5)/60*-4*-3. Which is bigger: 18 or l?
18
Let k(h) = -h**3 - 8*h**2 - h - 14. Let y be k(-7). Let t be (144/y)/((-3)/14). Suppose 4*r + q + 3 = t, -5*q = -r + 18. Is 5 bigger than r?
True
Suppose -2*o - m + 4 = 0, -2*o - 4*m = -5*o - 16. Let c be 0 + -1 + -13 + o. Is -14 at least as big as c?
True
Let k be 28/49 - (-1)/7. Is 0 < k?
True
Let w(s) = -3*s**3 - s**2 + s + 1. Let f be w(-2). Let v = 24 - f. Is 5 != v?
False
Let q = 10 - 10. Let b be 2 + (11 - -3)/1. Suppose 5*a - 24 = -q*j - j, -3*j + b = a. Which is bigger: 3 or a?
a
Let b = -5 + 9. Which is bigger: b or -2/13?
b
Let m = 882 + -779. Is m bigger than 0.2?
True
Let c(h) = 2*h + 9. Let f be c(-7). Let q be ((-3)/f)/((-12)/180). Is q less than or equal to 0?
True
Let z = -215 + 216. Does z = -2/1405?
False
Let l be 4/(-10) + (-61)/(-40). Let w = 19/24 - l. Let u = -147 - -147.3. Which is greater: u or w?
u
Let w be (-6)/9 + (-24)/(-90). Let r be (12/(-24))/(1/4). Let d be 128/(-48)*r/(-12). Is w < d?
False
Let k = 60.3 + -55. Let w = k - 0.3. Let i = 2.6 - -0.4. Which is greater: w or i?
w
Let m(p) = -p**3 + 10*p**2 - 17*p + 5. Suppose -40 = -4*c - c. Let i be m(c). Is -1 less than or equal to i?
False
Suppose -j + 15 = -3*k + 8*k, -4*j = -3*k + 9. Suppose h - 2 = -2*r, -r + 3*r + 28 = 2*h. Suppose -2*w = -4*w + h. Is k bigger than w?
False
Let y = -543 + 23350/43. Let f = 81 + -82. Which is smaller: f or y?
f
Suppose -k = 7 + 5. Let s be (52/k - 0) + 3. Let p be (0/(1 - 2))/(-4). Which is smaller: s or p?
s
Let m be 4 - ((-8730)/732)/(-3). Which is greater: -1 or m?
m
Let q be (-1)/((-20)/68)*-26. Let b = q - -88. Is 1 equal to b?
False
Suppose -4*y - 9*h + 10*h + 13 = 0, h + 7 = y. Suppose -y*s + 4 = 2. Which is smaller: 2/15 or s?
2/15
Let x be (111/27)/(35/(-21)). Is -1 greater than or equal to x?
True
Suppose -y - 5*z + 9 = -4*y, 0 = 5*z. Let k be 2/((-8)/12060*y). Let q = k + -51253/51. Which is smaller: 1 or q?
q
Let k = 15 - 25. Let w be (3 + -1)*k/4. Do -4 and w have different values?
True
Let o be ((-13)/(-3))/(16555/(-310)). Let v = o - -8/231. Which is bigger: v or -1?
v
Let z = 323 + -320. Do z and -8 have different values?
True
Let o = 55 - -18. Let y = o - 70.8. Is y >= 2?
True
Let k be 3*(1*-6)/3. Let b be 7059/182*(-16)/k. Let h = -103 + b. Which is bigger: 1 or h?
1
Let x = -73 + 74. Let h(n) = n**2 - n. Let p be h(x). Is p less than 4/3?
True
Let w = 491 + -464. Is 136/5 less than w?
False
Let o(r) be the third derivative of r**6/120 + r**4/24 + r**3/6 - 5*r**2. Let i be o(-1). Let w be (-8 - -8)/(i - 1). Is 1/15 >= w?
True
Let g(p) = -p - 12. Let z be g(-15). Are 2.8 and z non-equal?
True
Suppose -u = -5, 2 = -2*w - 2*w - 2*u. Let b = 4 + w. Let s = -93/637 - -2/637. Which is bigger: s or b?
b
Suppose 2*r = -3*t + 8927, t + 0*t + 5*r = 2967. Let v be t/91 + (-2)/(-7). Let i be 92/(-22) - (-6)/v. Is -4 bigger than i?
False
Let l = -1423784/7 + 202973. Let k = l - -421. Which is greater: k or 0?
0
Suppose -78 + 32 = 2*o. Let t(x) = -x**3 - 15*x**2 - 12*x + 4. Let n be t(-14). Which is greater: o or n?
o
Suppose -8 = m + 6. Let i be (-8)/m*77/22. Suppose n = -3*f + 31, 2*f - 5 = -i*n + 17. Is f bigger than 8?
True
Let l = -9.96 - 0.04. Let g be 1*(4 + (-25)/10 + -1). Is l at most as big as g?
True
Let b = 44 - 50.3. Let v = b + 5.66. Is 1 smaller than v?
False
Let t = -179 + 167. Is -21/2 not equal to t?
True
Let i = -25 - -29. Suppose 4*b - 7 = -2*n + n, 0 = -i*b + 8. Let x = -26/3 + 8. Is n at most x?
True
Let j = 448/2057 + -3/17. Which is smaller: j or 1?
j
Let s be ((-16)/(-84))/((-2)/(-2319)). Let d = s + -222. Which is smaller: -1 or d?
d
Suppose 0*s = -4*s + 40. Suppose 2*x + 3*x - s = 0. Which is greater: 17/5 or x?
17/5
Let q(d) = 2*d**3 + d**2 - d - 1. Let p be q(-1). Let k be (1/2)/(p/36). Let j be (68/6)/(2/(-3)). Is k at least j?
False
Let u = 88.619 + 0.381. Which is greater: -3 or u?
u
Let h = -413 + 11149/27. Suppose 0 = t - 11 + 5. Suppose 7*y = t*y. Is y not equal to h?
True
Suppose 5*x - 9*x = -100. Let k be -1 - ((-60)/x + 1). Is -54 not equal to k?
True
Let w = -225 - -226. Is w not equal to 64?
True
Let d(v) = -v. Let z be d(-7). Suppose -3*r = 2*r - 30. Which is smaller: r or z?
r
Let l = -1 + 0. Let t be (-3)/4*((-50)/(-54) + -3). Let o = t - 47/36. Is l greater than or equal to o?
False
Let z be ((-198)/77)/(3/(-14)). Suppose 3*s = -o + z, -3*s + 24 = -3*o - 0. Suppose 0 = 5*h, 5 = -s*u + 3*h - 0. Is -1/40 greater than or equal to u?
True
Suppose -17*l + 22*l = -190. Is l at least as big as -40?
True
Suppose 2*v - 5 = -0*v + 3*i, 0 = -3*v - 3*i + 45. Let z(c) = -4*c - 4*c**2 + 4 + 3*c**2 + 11*c. Let t be z(6). Is v equal to t?
True
Let s = 367 - 1117/3. Suppose -4*f = 4 + 12. Which is smaller: f or s?
s
Let v(q) = 2*q**3 - 5*q**2 + 2*q. Let h be v(2). Which is greater: 2/153 or h?
2/153
Let z = -4 - -15. Let a = z + -12. Let j = -0.6 + -0.4. Is j greater than a?
False
Suppose -9*u + 14 = -31. Suppose -x = -4*h - 27 - 2, -u*x = 3*h - 99. Which is bigger: x or 19?
x
Suppose z + 105 = 4*c, -2*z + 4*c - 493 = 3*z. Which is smaller: -95 or z?
z
Let p(z) = -z**2 - 10*z - 12. Let q be p(-6). Let i = 0 - 0. Suppose i = -4*o + o - q. Is -7/2 not equal to o?
True
Let z be 1/(-5) + 22/(-40). Suppose -25 = -5*r, -2*d + 0*d + 4*r = 54. Is d bigger than z?
False
Suppose 5*f - 17*f + 48 = 0. Which is bigger: 0.06 or f?
f
Suppose -3*d + 4*w = -0*