7. Let o be 6/(-2) + u + -2. Which is smaller: o or 5/18?
o
Let h = 7367/373324 + -3/2786. Which is smaller: 0 or h?
0
Suppose -3*x - o + 423 = 2*o, -705 = -5*x + 5*o. Suppose 5*q + 5*f + x = q, 0 = 2*q - 5*f + 63. Let w = q + 35. Which is smaller: w or -1/21?
-1/21
Let x = 6673/68 + -393/4. Let w be 8/(-5 + 1) - -4. Suppose -i + 3*b = w*i - 3, -5*b = -2*i + 2. Which is greater: i or x?
i
Suppose 0 = 4*l - 4*b - 16, 2*l - 7*l = 3*b - 4. Suppose 7*j = l*j + 75. Let x be 3/j + (-4)/(-20). Is x < 1.1?
True
Suppose 4*n + 15 = m + 5*n, -37 = -3*m - n. Let r be 143/39 + 1/3. Suppose -13 + 31 = 3*d + r*x, -x = 5*d - 47. Is m at least as big as d?
True
Suppose -v + 0*v - 96 = 0. Let j = v - -477/5. Which is smaller: -0.09 or j?
j
Suppose 1 = -v - 2. Let j be 3*(-2)/v + -11. Which is bigger: -11 or j?
j
Let j be 21/27 - (-4)/18. Let b be ((-20)/130 + 30/26)/39. Is j at least b?
True
Let t(m) = m**2 + 21*m - 42. Let x be t(-24). Suppose -4*i - x = i. Let p be (-1)/2*10*1. Is i at most as big as p?
True
Let x(c) = -c - 5. Let p be x(-8). Suppose 0*n = p*n + 27. Let l be ((-3)/n)/((-3)/(-9)). Is l less than 2?
True
Suppose 7*c + 3*c = 0. Suppose -4*b - 4*l + 24 = 0, -3*l = b - 4*l - 8. Let i be (3 - b) + 3 - -2. Is i >= c?
True
Suppose 2*k + u = 22, 4 = k + 2*u - 1. Let h be 2/k - ((-639)/663 + 1). Let y = 108 + -974/9. Which is smaller: h or y?
y
Let s = -81 + 81. Are 16 and s equal?
False
Let o = -1.192 + 0.052. Let y = 0.14 + o. Does -1/35 = y?
False
Let s be -1 + (2 - 385/10). Let b = s + 39. Is 1 bigger than b?
False
Let a = -21 + 15. Let u = -0.057 - -0.157. Is a equal to u?
False
Let u be (-98)/94 + (1 - 0). Let l = 194/141 + u. Let a be ((-3)/2)/(6/(-8)). Which is greater: l or a?
a
Let q be (-4)/5 - (-174)/230. Is q at most 0?
True
Let q = 168.9776 + -169. Which is greater: -1 or q?
q
Let x be (-9)/(-21) - (-17)/(-7). Let d be (-2 + 4 + x)/2. Do d and 3/5 have different values?
True
Let k be (-70)/(-18) - 20/90. Let u = 13 + -12. Which is bigger: k or u?
k
Let x = 1/1300 - 2759/206700. Is x not equal to -0.3?
True
Suppose 7*a = 5*r + 11*a - 1, -5*r + 3 = 2*a. Which is smaller: r or -1/64?
-1/64
Let j be (21318/450)/11 - (-15)/(-9). Is j at most 3?
True
Suppose -22*h - h = 23. Is -5 greater than h?
False
Let l(c) be the third derivative of -c**7/5040 + c**6/48 + c**5/6 + c**2. Let v(q) be the third derivative of l(q). Let x be v(8). Is x at least as big as 6?
True
Let r be (28/(-10))/14 + (-2086)/20. Is r greater than -106?
True
Let r(p) = 14*p**2 - 1. Let w be r(1). Let v = 1619 + -1610. Is w at most v?
False
Let c(z) = z**3 - z**2 - 2*z + 3. Let u be c(2). Let p = 16 - 6. Let k(x) = x**2 - 10*x + 4. Let q be k(p). Which is bigger: u or q?
q
Suppose 0 = 2*k - 2*a - 8, k + 4*a = -11 - 0. Let g be 4*(k - -1) - 3. Let d be 1/10*g/3. Does -1/5 = d?
False
Let h be (-3)/(10/36*32/(-80)). Let n be (-6)/(-21) - (-187)/7. Is h at least n?
True
Let v be (-34)/(-110) - (-16)/(-40). Which is greater: 2 or v?
2
Let c = 148.82 + 0.18. Which is smaller: -1 or c?
-1
Let i = -4.277 + 0.277. Is i less than or equal to -1.6?
True
Let q = 40 + -36. Suppose -y - q*y = 2*y. Is 1/113 < y?
False
Suppose 5*t - 1 = -6. Let c be t - (-1 - (-2)/1). Let i be -5*((-10)/(-4) + c). Which is smaller: 2 or i?
i
Let v be -3 - (-23)/(3128/192). Does v = -3?
False
Let i be 2 - 3/3 - -17. Suppose -2*n = h - i, 0 = 2*n - 6*n + 20. Suppose -7*j + 1 = -h*j. Which is smaller: -1/6 or j?
j
Let j(k) = -13*k + 8. Let y(m) = -28*m + 17. Let z(h) = 13*j(h) - 6*y(h). Let q = 2 + 0. Let f be z(q). Is f > -2/55?
True
Suppose -81*t = -100*t + 5757. Which is smaller: t or 306?
t
Let u = 2.02 + -2. Let t = u + 0.28. Let k = -512 - -511. Which is bigger: k or t?
t
Suppose 0*g + 5*g + 15 = 0, -5*g = -4*r - 33. Which is smaller: r or -17?
-17
Let d(i) = 4*i - 61. Let c be d(-17). Is -1 less than c?
False
Let z = -100.8 + 96.8. Which is smaller: z or 177?
z
Let n be (0 - -264)*7/14. Do n and 129 have the same value?
False
Suppose -4*j + 16 = -4*f, 0 = 4*j - 2*f + f - 10. Suppose -5*z - 15 = 0, 0 = -7*u + j*u - 2*z - 71. Which is greater: u or -12?
-12
Let o = 116 + -116. Which is smaller: 4/87 or o?
o
Let n = -132.7 + 142. Let l = n - -2.7. Which is bigger: l or 0.1?
l
Let n = -4197/28 + 150. Is n less than -4?
False
Let h be -3 - (462/195)/((-32)/40). Which is greater: 1 or h?
1
Let i(m) = -3*m - 15. Let l be i(-7). Let o = 97/16 - l. Suppose d + d = -2*b + 2, -5*b = d - 5. Is d smaller than o?
True
Let c(j) = j - 1. Let v be c(4). Suppose 4*g - 3*x + 16 = 0, -g = -x - v*x + 17. Which is bigger: 0 or g?
0
Let l = -376 + 114. Are l and -1307/5 unequal?
True
Let k = -1117 + 3233/3. Let n = 39 + k. Which is greater: n or -0.09?
-0.09
Let h(a) = 2*a**3 + a - 1. Let g be h(1). Suppose -g*m + 1 = 3. Let n be (-72)/(-330) - (-4)/(-10). Which is greater: n or m?
n
Let d = -39 - -40. Suppose r = -w - d, 3*w + 2*w = -5. Let u = -169/6 + 28. Which is smaller: r or u?
u
Suppose -3*o - 4*w - 89 = 0, w = 4 - 9. Which is smaller: -25 or o?
-25
Let q = -0.105 - -67.105. Let i = q - 70. Is 0.1 less than or equal to i?
False
Suppose -a = -3*w - 1, -2*a - 4*w = 10 - 2. Let c(s) = 5 + 8*s**2 - 16*s - 5*s**2 - s**3 + 18*s. Let d be c(4). Is d greater than a?
False
Let v = 25 - 120. Is -95 at least as big as v?
True
Let b(y) = -156*y - 916. Let k be b(-6). Let m be 42/(-8)*-1*4. Is m greater than k?
True
Let a = 12 + -12.07. Is a <= -1?
False
Let m = -120 + 119. Let l(h) = 8*h**2 + 4*h + 1. Let b be l(m). Is 4 > b?
False
Let m = -2.97 - -1.97. Which is bigger: m or 30?
30
Let t be 54/48 + (-1)/8. Which is bigger: t or 18/17?
18/17
Suppose -5*t = -3*t - 5*g - 2, -2*g = -3*t + 3. Which is smaller: -6/787 or t?
-6/787
Let a be (-4)/16 + 37/4. Let y = 9 - a. Let p(l) = -l + 12. Let u be p(12). Is u less than or equal to y?
True
Suppose 0*p + 3*p + 9 = 0, -16 = v + 4*p. Suppose -2*o = 5*k + o - 22, -2*k - 2*o = -12. Suppose -13 = 5*h + 3*i, -h - 8 = 2*h + k*i. Which is bigger: h or v?
h
Suppose 0 = -2*d - 2*r - 1 - 3, -2*r - 9 = -3*d. Let j = 99 + -109.2. Let g = j - -11. Which is bigger: d or g?
d
Let v = -15 + 16. Suppose 0 = -4*t + v - 9. Let h be (6/(-108))/(t/(-16)). Are h and -1 nonequal?
True
Let s = -26 - -29. Suppose -s = 2*u - 3*u. Let n(k) = k + 1. Let c be n(3). Which is greater: c or u?
c
Let l = 8 - 10. Let t be 2 - (1 + 1) - l. Suppose -2 = t*f + 8. Is -5 greater than or equal to f?
True
Let s = -1079 - -1053. Let j = 56 - 82. Is s greater than j?
False
Let r = -444 - -6221/14. Is -1 at most r?
True
Let o = 329/837 - 3/31. Is 0 at most as big as o?
True
Let k(p) be the second derivative of 1/12*p**4 - p**2 + 0 - 1/6*p**3 - 4*p. Let q be k(2). Which is smaller: 4 or q?
q
Let a = 28501480760 - 2800526998092749/98259. Let o = 1/9358 - a. Let s = 8/7 - o. Are -1 and s nonequal?
True
Let i = 0.7 - 0.63. Let p = -0.1624 + -0.1376. Is i at most p?
False
Let l = 1766 - 1772. Is l equal to -171?
False
Let z(y) = 8*y**2 - y**2 - 7 - 6*y**2 + 10*y. Let u be z(-11). Suppose u*b = -3 - 29. Is b > -15/2?
False
Let w = -5828/5 + 1171. Let p be (-32)/(-4) - 3/1. Which is smaller: w or p?
p
Suppose r = 3*r. Let w(f) = -f**2 + 11*f - 3. Let s be w(8). Let h = s + -43/2. Is h greater than r?
False
Let b be 30/(-32)*(170/(-25))/(-1). Is 1 equal to b?
False
Suppose -f = -3*s + 11, -4*f = -2*s - 6 + 20. Which is smaller: 5 or s?
s
Let u = -162 + 405. Which is smaller: 242 or u?
242
Let m = -9346 + 65316/7. Which is greater: -1/4 or m?
-1/4
Let w = 18.5 + -13. Let v = 5.4 - w. Let x = 3.1 - 3. Which is bigger: v or x?
x
Suppose 8 - 38 = 2*a. Let x be 16/(-140) - 6/a. Are 3/2 and x equal?
False
Let f = -47 + 87. Let h = -47 + f. Is h at most -8?
False
Let l(j) = 2*j**3 + 5*j**2 - j - 6. Suppose 10 = -2*m - 3*w, 3*m + 4*w + 16 = -m. Let t be l(m). Is t at least 0.09?
False
Let x(m) = m**2 + 20*m + 37. Let z be x(-10). Is -61 >= z?
True
Let c = 82 + -241. Let j = -121 - c. Which is smaller: j or -0.2?
-0.2
Let z be ((-196)/(-3))/(6/9). Let m = z + -211/2. Is m > -9?
True
Let t(c) = -2*c - 4. Let h(l) = -l - 1. Let k be h(7). Let x be t(k). Let v(o) = 11*o**2 + 3*o - 1. Let m be v(1). Which is bigger: x or m?
m
Let d = 0.0584 - 0.1284. Which is smaller: -0.045 or d?
d
Suppose 0 = -17*u + 4*u. Let f be u + 0 + (-5)/((-15)/(-6)). Let g 