5.7. Let p = v - -0.2. Let u = -10 - -9. Are u and p non-equal?
True
Let v be -3*((-20)/(-12) + -1). Is -3/4 smaller than v?
False
Let d = 71/6 + -25/2. Let n = -16/15 - d. Let q = -92/175 + 6/25. Does q = n?
False
Let v be (26/(-3))/(330/(-252)). Let l = v - 64/11. Which is bigger: 0.1 or l?
l
Let q(x) = x**2 - 12*x + 11. Let m be q(7). Is m less than or equal to -23?
True
Let b = 19/6 + -89/30. Which is smaller: -1 or b?
-1
Let s be -15*(-4)/6*-1. Let m = 102 + -112. Do s and m have different values?
False
Let o = -2.05 - -1.8. Is o >= 0?
False
Suppose -p - 6 = p. Let h be (-50)/(-40)*(-1 - 6/(-10)). Which is greater: p or h?
h
Let k(y) = y**3 - 11*y**2 + y - 10. Let j = -10 + 21. Let m be k(j). Is -2/5 equal to m?
False
Suppose -6*m = -2*m. Let h be (4/2)/(1 - m). Let q = 21 + -20. Which is bigger: h or q?
h
Suppose 4*w - 185 = -5*a - w, -5*w = a - 57. Is a != 34?
True
Suppose 3*g - 5 = 2*g. Suppose 31 = 2*m + 5*x, -g*x + 0 = m - 28. Suppose -o = -2 + m. Which is bigger: o or 2/9?
2/9
Let i = -12 + 44. Is 32 less than i?
False
Let d be ((-8)/(-10))/((-8)/(-60)). Suppose 0 = -t + d*t - 100. Let i be 1/(-2) + 5/t. Is 1 at least i?
True
Let g be (14/(-4))/(1/2). Let i be 2*1*(g + 5). Which is bigger: i or -3?
-3
Suppose -8 = -14*g + 10*g. Which is bigger: g or -1/20?
g
Suppose -2*f + 7 + 11 = 0. Let c(s) = s + 11. Let y be c(-8). Let g = f - y. Which is bigger: g or 5?
g
Let p(d) be the first derivative of -d**4/4 - 5*d**3/3 + 3*d**2 - 3*d + 3. Let v be p(-6). Is v smaller than -1?
True
Let h(f) = f**2 - 9*f - 5. Let x be h(10). Suppose s - 4*o + 8 = 0, -o - 2*o + 6 = -x*s. Let d be 1 - ((-3)/2)/(-3). Which is greater: d or s?
d
Let f be -3 - 0/(-3) - 178/(-60). Do 1 and f have different values?
True
Let v = -43 + 42.69. Let i = -0.01 - v. Are i and 2/3 unequal?
True
Let a = -212 + 401. Let i be ((-1)/a)/(-5 + 4). Let m = 4/27 - i. Which is greater: 1 or m?
1
Suppose -13*w + 12*w + 9 = 0. Suppose -5*h = -k - 22 - 16, 0 = -5*k + 10. Which is greater: h or w?
w
Let t be 5*5/(50/(-12)). Let a be 2 + 0 - t/2. Suppose o + 6 = -a*i - 2, 4*o = -i + 6. Is i smaller than -7/3?
False
Let n = 12 - 5. Are n and 10 equal?
False
Let f be (-5)/((-1*4)/(-20)). Let o be (-4)/50*-5*f. Which is smaller: o or -9?
o
Suppose o + 20 = -3*o. Let d be 4/o*(-20)/88. Let l = -7/44 - 1/11. Is d equal to l?
False
Suppose 0*v + 4*v = 0. Suppose 0 = -v*x - x - 4. Let k be (-3 - (-1 - -1)) + 0. Is x at least k?
False
Let p(o) = -o**2 - 7*o + 8. Let u be p(-8). Let h(x) = x**2 - 6. Let z be h(0). Let d be ((-1)/(-2))/(z/(-4)). Is d at most as big as u?
False
Suppose -4*w - 18 = 82. Is 0.1 less than w?
False
Let w = 48 - 50. Let y be 1*-2 + 19/6. Let m = y - 3/2. Is w bigger than m?
False
Let o be (-14)/8 + (-1)/4. Let w = 8 - 16. Let l = -26/3 - w. Is l bigger than o?
True
Let i(q) = -q**3 - q**2 - q + 4. Let x be i(0). Suppose 4*h = -b + 8*h - 3, -8 = -5*b - 3*h. Are b and x equal?
False
Suppose 1836 + 856 = -5*c - 2*f, 0 = -5*c + 3*f - 2687. Let s = -5914/11 - c. Are s and 1 unequal?
True
Let c(u) = u**2 - u - 4. Let s be c(0). Let f be (-3)/(-3) - (-2)/s. Let k(l) = -l - 6. Let z be k(-6). Which is smaller: f or z?
z
Let t be ((-2)/(2/3))/((-42)/(-4)). Which is greater: 0.033 or t?
0.033
Let a = 0.121 + -3.161. Let f = -0.04 - a. Let r = 3 + -3.1. Which is smaller: r or f?
r
Let a = 10 - 9.96. Let m = -2.96 - a. Which is bigger: m or 1/2?
1/2
Let y(m) = 9*m**2 + 5*m - 7. Let q be y(-6). Let u = -4881/17 + q. Which is smaller: 0 or u?
u
Suppose -3*b = -0*b - 30. Which is smaller: 12 or b?
b
Let o be (-10)/(-35) + 51/(-105). Let p = 1 - 2. Which is greater: o or p?
o
Suppose -c - 3*w + 40 = 0, -c + 49 = -3*w + 9. Which is greater: c or 41?
41
Let h(s) = s**2 - s - 2. Let o be h(0). Let k be (-39)/(-54) - (-1)/o. Let m = 0.1 - 0. Which is smaller: m or k?
m
Let r = 7.4 - 8.4. Which is smaller: r or 2?
r
Suppose 0 = 4*z - f + 4*f + 10, f = 5*z + 3. Let l be (z/(-3))/(8/24). Which is smaller: l or -2/33?
-2/33
Let k = -24 + 83/2. Is k equal to 19?
False
Let b = 51 - 50. Is b <= 6/5?
True
Suppose 5 = -v + 5*z, -2*v + 7 + 4 = -3*z. Suppose 5*l - 35 = -5*g, -3*g + 23 = 5*l - 10. Let o be 34/l - v/15. Is o > 5?
False
Let c = 1 + -5. Let h be (c/14)/((-5)/7). Is 1 less than or equal to h?
False
Let s = -0.001 - -0.001. Which is greater: s or -10?
s
Let g = -21 - -16. Which is smaller: 7 or g?
g
Let r = 0.15 + -0.05. Let w = -6 - -6. Which is greater: r or w?
r
Let t = -2 + 0. Let r = -4/357 + -12949/23205. Let g = r - 1/455. Do g and t have the same value?
False
Let q = 15/1426 - 1/31. Let x be 0/(-4 + 4/2). Which is smaller: x or q?
q
Let q = 13 - 25. Let m be 5/30 - (-74)/q. Let a = m - -12. Is a at least as big as 5?
True
Let v(a) = 0*a**2 + 0*a + 3*a - 1 + 2*a + a**2. Let j be v(-5). Which is greater: -4 or j?
j
Let p = 71 - 87. Are -14 and p nonequal?
True
Let p be 28/(-819)*132/(-1). Let t = 14/3 - p. Is t less than 0?
False
Let v = -0.047 + 0.827. Let f = v - 0.28. Is f less than or equal to -3?
False
Let l be 6*(1 + (-4)/6). Suppose -2 = -3*x - 2*g, 3*g - l = 5*x + g. Suppose -4*k = 4 - x. Which is greater: k or -3?
k
Let i = -10 - -21. Let x(q) = q**2 - 12*q + 11. Let t be x(i). Is t at least 0?
True
Suppose -p + 1 = -w, -2*p = -0*p - 10. Is w less than or equal to -2/5?
False
Let b = -10 - 0. Let z be 10/6 - b/(-15). Let r be (-3)/(-12) - 9/132. Which is bigger: z or r?
z
Let n = -4.151 + -0.049. Let u = n - -4. Is 1 greater than u?
True
Suppose -2 = 5*s + 13. Which is smaller: s or -4?
-4
Let q be (-8)/2 - (-1 + -1). Let v be 2*1019/(-16)*q. Let b = v + -256. Which is smaller: -2 or b?
-2
Let c = 16 + -15.7. Which is smaller: c or 1.2?
c
Let r(x) = x**2 + 5*x - 1. Let h be r(-6). Suppose w - 6*w = h. Let m = -341/2301 + -1/177. Are w and m nonequal?
True
Let p(u) be the third derivative of u**4/24 + u**3/6 - 4*u**2. Let s be p(-3). Is -3 >= s?
False
Let k(n) = n + 3. Let f be k(3). Is f <= 4?
False
Let d be (-9)/12 - (-2 + 1385/1060). Are -1 and d non-equal?
True
Let o = 88 - 92. Which is greater: o or -32/7?
o
Suppose -5*z - 5*h = -395, -2*h + 12 = 2. Suppose 136 = -3*r - z. Let t be (-4)/r*(4 + 1). Which is bigger: -1 or t?
t
Let y = -804 - -10446/13. Let c(j) = -j + 3. Let o be c(6). Let g = o - -4. Which is smaller: g or y?
y
Let m = 40 - 37. Which is smaller: -1 or m?
-1
Let o = -12.1 - -0.1. Let s = 11.8 + o. Is s bigger than -1/5?
False
Let g = -176/3 + 892/15. Suppose -8 = -2*l + 6. Let u(v) = v**3 - 6*v**2 - 6*v - 6. Let p be u(l). Is p less than g?
False
Let m be 2/(-11) - 53/11. Are m and 2 equal?
False
Let n be (1 - 1) + 3 - -3. Suppose 0 = -2*g + 14 - 2. Do g and n have the same value?
True
Let k be 3/1 - (3 + -2 - -1). Which is greater: k or 1/113?
k
Let c = 40 + -28. Let f = 13 - c. Which is greater: f or -1?
f
Let f = 139.7 - 139. Do -1/7 and f have different values?
True
Suppose 2*z - 3*s + 14 = 0, 2*z + z - 3*s + 15 = 0. Let y be -2 + z + 2 - 0. Let k(g) = -2*g**2 + 1. Let d be k(1). Is d less than or equal to y?
True
Suppose 5*v + 16 = 3*j - j, 2*j - 8 = 3*v. Are j and -0.75 equal?
False
Let i be (-2)/(-3) + 3/9. Let c = -1/356 - -779/23852. Let z = c + 63/134. Is i != z?
True
Let g be (0 - 1) + (5 - 6) + 43. Which is greater: 40 or g?
g
Suppose -j + 32 = -5*j. Let t be 6/24 - (-10)/j. Which is greater: 0 or t?
0
Let y(p) = 4*p**3 + 4*p + 3. Let v(w) = -6*w**2 - 4*w**3 - 2 + 6*w**2 - 3*w. Let h(l) = -4*v(l) - 3*y(l). Let u be h(-1). Is -6 at least as big as u?
False
Suppose n + 3*a = -7, -3*n - 2 = -7*n - 2*a. Suppose -4*i + n*i + 2 = 0. Let r = 454/7 - 65. Is i smaller than r?
False
Suppose -5*y - 3 = -2*y. Let o be y + 4 + 2 + -6. Let a be 4/(-6)*(-3)/(-6). Is o at most as big as a?
True
Let q = -0.2 + 0.4. Let z = -1.2 + q. Let o = 53 + -53. Are z and o nonequal?
True
Let o = -166 + 1331/8. Which is greater: o or -1?
o
Let c = -104.3 - -104. Which is bigger: c or 10?
10
Let g = -13 + 8. Let v = 10 + g. Suppose 28 = 4*m + v*u, m - 18 = -u - 3*u. Which is smaller: 1 or m?
1
Let c = -0.19 - 0.81. Which is bigger: -2/69 or c?
-2/69
Let m = -55.3 + 52. Let p = -13 - -16. Let a = p + m. Is -1 > a?
False
Let m = -8 - -23. Let q be 1*-5*6/m. Let a = q - -1. Which is smaller: 0 or a?
a
Let c = 142 - 52. Suppose 2*b = -4*b - c. Is -15 >= b?
True
Let p(w) 