.7. Let y = -21 + 19.8. Let q = y - t. Which is smaller: q or 2/19?
q
Suppose -3*x = 2*n - 63, n + 2*x - 4 - 30 = 0. Let c be n - (-1 - -1)/5. Suppose -y = 3*y + c. Is -1/2 not equal to y?
True
Suppose -s + 3*s - 3 = v, -5*v - 21 = -4*s. Let w = -29.6 - -28.8. Is s at least as big as w?
False
Let b = -18 + 22. Suppose -5*y - 32 - 2 = -b*c, -2*c + 20 = -4*y. Is c > 7?
False
Let m = -90/71 - 36934/213. Is m at least -175?
True
Let g = -6228023 + 2790152975/448. Let p = -7/64 - g. Which is smaller: p or 4?
p
Let c = 16636 + -16634. Suppose -5*d = 5, 3*f + 0 + 5 = 4*d. Which is greater: f or c?
c
Let u = -3017/1020 - -50/17. Suppose -9 - 3 = -2*t - 5*n, 3*t = -2*n + 7. Is t at least as big as u?
True
Suppose 48*v = 35*v + 39. Which is bigger: v or 21/10?
v
Let c be (-57)/212 - (-2)/(-6). Let z = c - -1/53. Which is smaller: -1 or z?
-1
Let a = 6179/16 - 386. Which is bigger: -2/11 or a?
a
Let z(w) = 19*w - 39. Let b be z(2). Which is smaller: -4/13 or b?
b
Let r = 2.6 - 0.6. Let a = -1 + r. Let u = 8 - 15. Which is bigger: a or u?
a
Let m be (-2)/11 + (-67704)/429. Which is greater: m or -159?
m
Suppose 2*r = 0, a + 4*r - 4 = -a. Suppose 4*h + 4*q + 24 = -8, 14 = -3*h + a*q. Suppose -5*v - 9*v - 28 = 0. Is h bigger than v?
False
Let w be (-72181)/7*25/2838. Let s = w + 5/3311. Let n = 91 + s. Is -1 less than n?
True
Suppose i + 13 = 16. Suppose -i*b + 33 = f, -f = 3*b - 2*f - 27. Is b less than or equal to 12?
True
Suppose w = 2*w + 27. Are w and -32 non-equal?
True
Let n = 0.4 + 16.6. Let d = n + -18. Let g be (-4)/((1 - 0)*9). Which is greater: d or g?
g
Let i be -10*(-3 - -2) - 5. Suppose -i*t = -2*z - 17, 4*z - 3*t + 16 = 3. Which is greater: 1/11 or z?
1/11
Let q(z) = -4*z**2 + 18*z + 3. Let t be q(4). Are 5 and t non-equal?
True
Let j be (-2)/(-23) + (-47277)/(-391). Which is greater: 123 or j?
123
Let d = -0.03 - -0.36. Let l = 0.04 + 0.26. Let g = d - l. Is g greater than -1?
True
Let u = 1.38 - -0.62. Is u less than or equal to 6/7?
False
Let m be (-21)/3 + 4 + 1*2233. Is 2230 <= m?
True
Let a be 0/(4/4 - 3). Let r = 2158 - 125161/58. Is r <= a?
False
Let m = -48.28 + 48.27. Suppose -48 = -4*i - 5*k, 3*i - 3*k - 5 = k. Which is smaller: i or m?
m
Let s = -326.8 - -327. Which is bigger: s or -1/149?
s
Let w = -2227125/28 + 79564. Let i = -165/7 + w. Let j = 4.93 - -0.07. Is i >= j?
False
Let k be (-14)/2*6/7. Let j be (k*1/56)/(6/4). Suppose -3 = -4*g - 7. Is g at least as big as j?
False
Suppose 3136*v - 3129*v = -469. Suppose 68 + 133 = -3*q. Is q <= v?
True
Let p(t) = -5*t**2 - 10*t + 2. Let m be p(-3). Let h(l) = l - 7 - 8 - 2*l. Let f be h(m). Which is bigger: f or -3?
f
Let a(z) = -z**3 + z + 1. Let x be a(-2). Let i = x - 4. Suppose -w = -3*f - 3 - i, 2*w = f + 7. Is w at most 3?
True
Let x(s) = -2*s**2 + 45*s + 29. Let z be x(23). Which is bigger: -57 or z?
z
Let n = 1.2 + -0.2. Let z = 5.612 - 0.922. Let x = -0.31 - z. Is n greater than x?
True
Let g be ((-1)/(-1))/(2 + -3). Suppose -2*v = -4*r + 118, v = 3*r - 0*v - 86. Let k = r - 404/15. Is k != g?
True
Let v = -632.54 - -650. Let c = v - 0.16. Let x = c + -0.3. Which is smaller: -2/5 or x?
-2/5
Suppose 4*p = p - 3. Let f be (2 - (2 - -5)) + p. Let b be (-6)/(0 - 2)*(-1)/1. Which is bigger: f or b?
b
Let j(y) = -1 - 2*y**2 + 2*y - 64*y**3 + 2 + 95*y**3. Let w be j(1). Is 32 not equal to w?
False
Let u = -106/87 - -176/145. Which is greater: 1 or u?
1
Let b = -0.101 - -0.301. Let o = 9 + -9.07. Which is smaller: b or o?
o
Let o = 17362 - 86469/5. Are o and 68 equal?
False
Let j be 11070/13900 - (-4)/(-5). Which is smaller: j or 0?
j
Suppose -7*r = 1916 + 478. Let s be (-10)/(-95) - (-264)/r. Which is bigger: -18/5 or s?
s
Let y be ((-18)/1494)/(3/2 + -1). Are y and -1 equal?
False
Let v = -912 - -1009.1. Which is smaller: v or 1/2?
1/2
Let w(q) = 60*q + 783. Let h be w(-14). Is h <= -60?
False
Let p = 16 - 70. Let t be (-12)/p - 8/9. Do t and 0 have different values?
True
Let c = 9.4 - 24.4. Let b = c - -14. Which is smaller: b or 6?
b
Let a be 520/(-22) - 10/(-55) - 2. Which is bigger: a or -25?
-25
Suppose 134 = 4*m + 3*f, -3*m - 2*m - 5*f = -170. Let p be -1 - m/(-6) - 4. Let c(j) = j**2 - j + 1. Let x be c(0). Which is smaller: p or x?
p
Let a = 0 - 36. Let v = 35 + a. Let k = -11 + -4. Which is greater: k or v?
v
Let f(o) = -15 - 3*o - 4*o + 5*o. Let n be f(-13). Suppose 4*p - n = -59. Which is smaller: p or -11?
p
Let z = 389 - 396. Let v be (-1 + -8)/(2/(-2)). Let m = v - 26/3. Is z smaller than m?
True
Suppose -31*k + 22*k + 18 = 0. Which is greater: k or 1?
k
Suppose -19*d + 21*d = 4*y, 3*d = -5*y - 11. Are y and 7/66 nonequal?
True
Suppose -2*b = 3*v + v - 26, -4*v = 4*b - 36. Suppose -v*j + j = -105. Let m = j + -106/3. Which is smaller: 0 or m?
m
Suppose -4*d = 0, -5*m + 5 = 2*d + 2*d. Suppose -4*g = -3*h + 106, h + 3*g = 3 + 41. Let a = 37 - h. Which is greater: m or a?
m
Let l be ((-4)/3)/(-2) + 87/(-9). Let t = l - 7. Which is greater: t or -19?
t
Let d = -0.0619 - -7.0619. Which is greater: -0.03 or d?
d
Let j = 0.16 - -37.84. Let r = j - 4. Which is bigger: -1 or r?
r
Let h be 0*-3*(-1)/6. Suppose 2*c + h = 4. Let u = 300 + -1795/6. Is c > u?
True
Let m(l) = -l**2 - 10*l + 10. Let i = 11 - 22. Let s be m(i). Let u be -2 + s + 2 + -1. Is u greater than or equal to -5?
True
Let t = -47063 + 47111.133. Let h = 0.133 - t. Is 1/2 != h?
True
Let n = 3.22 + -0.22. Let m = -1 - n. Which is smaller: m or -0.2?
m
Let o = -14.3 + 14.248. Are o and 2/21 equal?
False
Let u be 10/((8/(-14))/(-2)). Suppose n - 4*v - 50 = 0, -4*v + 111 - 297 = -5*n. Which is bigger: u or n?
u
Let o = 7.4 - 10. Let f = o + 3.6. Which is smaller: 2/39 or f?
2/39
Suppose 3*r + 3*d + 2*d = -21, 4*r + d = -11. Let x = -1090 - -1086. Which is smaller: x or r?
x
Let c(p) = 4*p**2 - 4. Let t(g) = 17*g**2 - g - 17. Let b(u) = 9*c(u) - 2*t(u). Let j be b(-4). Let x = 16 - j. Which is smaller: -4 or x?
x
Let z(w) = -w**2 + 1. Let n be z(2). Let a = 2 + -6. Let t be 2/(-2)*(n - a). Which is bigger: t or -3/13?
-3/13
Let f = -9283/1033760 - -3/15904. Which is smaller: f or -1?
-1
Let b(g) = -22*g**2 - 7*g - 8. Let i be b(-1). Is i at least as big as -44?
True
Suppose -741 = 17*m - 4*m. Is -55 < m?
False
Let p = -20234 - -34701311/1715. Is p <= 0?
False
Suppose 7*r - 5 = 2. Let z be 33/(-90) - 4/(-8). Which is greater: z or r?
r
Let m = 6.248 - 0.248. Which is smaller: -3/38 or m?
-3/38
Let m = 0.876 - 0.976. Does m = -2/2025?
False
Let x = -1.4 - 0.3. Let s = x - 0.5. Let a = -1.2 - s. Is a less than 1?
False
Suppose -2*z = z + 63. Let r = z + 34. Let c = r - 7. Is c >= 1?
True
Suppose 7*y - 4*y - 1 = -g, 5*g = 5. Is y less than or equal to 8/131?
True
Let r = -54 - -47.2. Let q = r - -8. Let k = q + -1.2. Is k less than or equal to 1/2?
True
Let m be -3 + 2 + (-1 - -1). Let r = 31/32 + -1517/1632. Which is bigger: r or m?
r
Let k = 0.4 - -0.05. Let c = -7.55 - k. Which is smaller: c or -5?
c
Let a(l) be the first derivative of l**4/24 - 11*l**3/6 + 3*l**2/2 + 2. Let v(i) be the second derivative of a(i). Let m be v(8). Is m bigger than -1?
False
Let v(z) = -z**3 - 5*z**2 - 2*z - 7. Let c be v(-5). Suppose 0 = -c*x + r - 3*r - 5, -4*r = -x - 11. Let f be 3 + 0 + 11/x. Is f <= -1?
False
Let g = -3.8 - -40.8. Let z = g + -24. Which is smaller: -2/3 or z?
-2/3
Let z be ((-9)/(-6))/((-27)/(-1422)). Let t = z + -75. Are 3 and t equal?
False
Let m be 0/(-5) - (-4)/(-2). Let i be (-8 - -8)/((-4)/m). Which is greater: 6/19 or i?
6/19
Let u = -68 + 90. Suppose -62 = 24*f - u*f. Is -31 >= f?
True
Let v(k) be the third derivative of k**4/12 + 8*k**3/3 + 18*k**2. Let c be v(-8). Is -1/70 < c?
True
Suppose 2*c + c - 3*l - 9 = 0, -4*l - 12 = 4*c. Suppose 2*m = -c*m - 3*b - 15, 0 = -m - 3*b - 15. Let j be (-2 - 2)*1 + 9. Is j smaller than m?
False
Let v = -64/369 - 2/41. Suppose 5*g + 4*x = 9 + 4, 2*x - 8 = -4*g. Is g <= v?
False
Let i(f) = f**2 + 2*f - 26. Let v be i(0). Let j be 14/(-3) + v/(-39). Suppose -35 = 5*k + 6*m - 2*m, -1 = -3*k + 2*m. Which is bigger: j or k?
k
Suppose 0*l - 2*l = -26. Let h = l - 13. Is 10/17 less than h?
False
Let k be 46/45 + (-28)/126. Suppose 2*x + x - 3 = 0. Does k = x?
False
Suppose 0 = -4*k + k - 3. Let m = -39871/102 + 6735/17. Let v = -31/6 + m. Which is smaller: k or v?
k
Suppo