.7. Let z be (3/(-2))/(9/(-24)). Which is bigger: z or q?
z
Let p = 0.5 - 0.47. Let y = p - 0.23. Does 0 = y?
False
Suppose -f - 3*s = 20, -5*s - 28 = 2*f - 2*s. Let c be 6/(-4)*f/6. Suppose 6*h - 7*h = 0. Is h < c?
True
Suppose 0 = 4*f + 5*r + 35, r = -f - 8 - 0. Let j = -8 - f. Let c be -1 + (2 - 3) - j. Which is smaller: -2/11 or c?
-2/11
Let p(v) = -v**2 - 31*v + 23. Let k be p(-32). Which is bigger: -4 or k?
-4
Let u be (0 + -2 - 3) + -1 + 1. Is -60/13 != u?
True
Let d = -0.16 - -0.23. Let f = d + 0.03. Suppose 0 = 5*s - 3*k + 5*k - 13, 4*s - 2*k = -4. Is s less than f?
False
Let z be 12/(-20) - 387/(-120). Is 4 greater than or equal to z?
True
Let f be (6/9)/((-10)/(-9)). Let x(k) = -k**2 - 3*k + 4. Let b be x(-3). Suppose 5*g = -a + 5, 5*g - 7 = b*a + 23. Is f at least g?
False
Suppose -s = 5*d + 19, -3*s + 7*s + 3*d + 25 = 0. Suppose 0 = i - 5*c + 21, -4*i + 53 = 5*c + 12. Let m = s + i. Is m less than or equal to 0?
True
Let z = 0 + -1. Let w = -119 - -173. Let i be 3 + 3/(w/(-51)). Which is greater: i or z?
i
Let s(y) = -9*y + 0*y - 8 - 2*y + y**2. Let h be s(12). Suppose -3 = -d - 3*m + m, m = -5*d + 24. Which is smaller: d or h?
h
Let m be (-2)/3 + 2/3. Let w = 3/14 - 75/154. Do w and m have the same value?
False
Suppose -5*c = 2*i + 34, 2*c = -4*i + 3*i - 15. Is i != -8?
True
Let v = 608/77 + -90/11. Is v less than or equal to 1/14?
True
Let t = -2 - -1.8. Let d = -22 + 23. Which is smaller: d or t?
t
Let w = 1431/4 + -360. Which is bigger: -2 or w?
-2
Let c be (2/5)/(1/(-5)). Let p = 0.4 - 2.4. Is c smaller than p?
False
Suppose -6 = 5*f + 9. Let q be 0/2 + 1 + 0. Let c be q/2*0 + -2. Which is smaller: c or f?
f
Let u(l) = l**2 - 9*l - 8. Let h(r) = r**3 + 2*r**2 - 4*r + 2. Let n be h(2). Let v be u(n). Let o = 1 + -2. Is v bigger than o?
True
Suppose 7*y = 6*y + 2. Suppose 5*i + 12 = -l, -3*l + 21 = -0*l - 4*i. Which is greater: l or y?
l
Let k be 14/6 - (8 - 2). Suppose 5*z - 4*n = 0, -35 + 12 = 2*z + 3*n. Do z and k have the same value?
False
Suppose -6 = -h + 6. Let u be 2/h*-2 + 1. Which is smaller: 1 or u?
u
Let r(x) be the first derivative of -x**3/3 - 5*x**2/2 - 2*x + 1. Let m be r(-4). Let v = 7 + -9. Which is smaller: v or m?
v
Let c = 3 + -2.1. Let q = 0.8 - c. Which is greater: 3/5 or q?
3/5
Let u be 0 + 9 + (-10)/5. Suppose -2*v = -u*v - 5. Which is smaller: 0 or v?
v
Let x = -158 + 159. Let u be 4/(-10)*(-15)/(-21). Is x at most as big as u?
False
Suppose -3*k + k = -4. Let w(y) = -y**3 - y**2 - 2*y - 1. Let t be w(-1). Is k less than or equal to t?
False
Let b(f) = 2*f + 1. Let p be b(4). Let g be p/(-210)*(-5)/(-4). Let t = g + -9/28. Is t smaller than 1?
True
Suppose -s = -4*t + 13, 5*t + 4*s + 3 - 35 = 0. Are t and 37/8 equal?
False
Let v(u) = 3*u**2 + 3*u - 7. Let g be v(3). Is g smaller than 28?
False
Let x = -1 + 1. Suppose x = -c - c. Which is smaller: c or 2/3?
c
Let g be ((-1)/2)/(1/58). Let o = -923/2 - -1729/4. Let z = g - o. Which is smaller: z or -5?
-5
Suppose -5*u + 8*u = 0. Which is smaller: 2/13 or u?
u
Let y be 8/(-28) + (-6)/(-21). Let a be -2 + 11*1/4. Is y smaller than a?
True
Let y = 0.012 - 1.012. Which is smaller: y or -3/8?
y
Suppose -16 = -m - 18. Suppose 0 = 3*i + 2*i. Suppose i = 2*w + 2. Which is smaller: w or m?
m
Suppose 2*i = 5*s - 4 + 28, 5*i + 5*s = 25. Which is smaller: i or 19/3?
19/3
Let i = 73/1764 + -2/147. Which is smaller: 0 or i?
0
Let n = -10 - -6. Let f = n - -3.5. Let c = 0.5 - f. Which is greater: 0.4 or c?
c
Let f be ((-4)/(-15))/((-1)/(-10))*-6. Is f greater than -21?
True
Let z be 3/((-36)/(-15)) + -1. Suppose -5 = j, 8*o - 5*j = 3*o + 25. Is o not equal to z?
True
Let h = 7 - 11. Let c = -52 - h. Let g be (-4)/6 + c/(-81). Which is smaller: -1 or g?
-1
Let q be 0 + 60/(-16) + 4. Which is greater: q or -2?
q
Let c be 2*21*(-10)/(-15). Are 27 and c equal?
False
Let x = 0 + 3. Suppose x*q = -q. Suppose q = a - 7 + 3. Which is greater: a or 0?
a
Let t = -12.5 - 1.5. Let w = t + 16. Is -1/2 at most as big as w?
True
Let v(d) = -d + 5. Let q be v(6). Let l be (-2)/(-10)*(-25)/(-40). Let t = 23/56 - l. Are q and t unequal?
True
Suppose 0 = u - 2*o + 8, 2*o = -2*u + 13 + 1. Suppose -2*m - 3*f + 2*f + 13 = 0, -u*m + 7 = -f. Let n be (-2)/(12/(-5) + 2). Is n > m?
False
Suppose 0 = -3*s + 3*s + 5*s. Suppose -5*h = 2*d - 16, 3*h + 4*d = 5 - 1. Let y be (1/(-18))/(1/h). Are s and y equal?
False
Let d be (-324)/16 - 6/8. Let z be d/(-27)*4/(-14). Which is greater: z or 2?
2
Suppose 2*c + 3*c = 20. Suppose 5*x - 3 = 3*z + 2*x, -c = -5*z + 2*x. Suppose f + z*f + 6 = -4*t, 4 = -2*t - 2*f. Is 0 not equal to t?
False
Let z = 15 + -15.9. Let p = z + 2.9. Are p and -0.1 equal?
False
Let m be 0*((-30)/9 - -3). Are 2/29 and m nonequal?
True
Suppose 6*n + 11 = 65. Do n and -1 have different values?
True
Let a(f) = -f**3 - 7*f**2 - 7*f - 1. Let t be a(-6). Let p be 6*(-2 + t/2). Let m be 4/(-6)*p/(-7). Is -1 at most as big as m?
True
Let s = 1.3 - 0.9. Let r = 0.8 - s. Let j = 0.9 - -0.1. Which is smaller: r or j?
r
Suppose i = 5 + 10. Suppose 4*u + i = -u. Let w be (-1)/((u/(-1))/(-3)). Is w smaller than 1/2?
False
Let b = -7.3 - -7. Let z = 0.2 + b. Let c = 83 + -84. Which is smaller: c or z?
c
Let r = 14 + -10. Let o be 6/4*r/6. Which is smaller: o or -3/8?
-3/8
Let v = 17 - 67/4. Is v < -0.2?
False
Let a(j) = -6*j + 10. Let p be a(-7). Which is bigger: 53 or p?
53
Let u = 5 + -3. Let c = 0 + u. Is 1/2 smaller than c?
True
Let m = -67/20 + -3/20. Let z = 17 + -20. Is z at least m?
True
Let p be -2*(0 - -1) + -1. Let z = 51.9 + -52. Which is greater: z or p?
z
Let i(c) = -c**3 + 2*c**2 + 1. Let w be i(2). Let n be 2 + w + -2 + 0. Let x = -61/2 + 243/8. Is x greater than n?
False
Let g(h) = -7*h - 5*h + 7 + 9*h**2 - h**3 + 0*h + 3*h. Let m be g(8). Is -4/11 at least m?
True
Suppose -3*j + 10 = -8*j. Let t = -741/44 - -63/4. Is t <= j?
False
Let k be (-2)/92*(-4)/(-2). Let q = k + -41/115. Which is bigger: q or 0?
0
Suppose -2 = 3*a - 14. Let y = a + -4. Is y >= -0.03?
True
Let x(a) = -a**2 - 3*a + 1. Let n = 3 - 6. Let f be x(n). Which is smaller: f or -1/8?
-1/8
Suppose 0 = d - 9. Which is bigger: 0 or d?
d
Let s = -41 + 283/7. Let z(r) = -r + 2. Let l be (-7)/(-4) + 4/16. Let k be z(l). Which is greater: k or s?
k
Let r(j) = 2*j**2 + 3*j - 3. Let h be r(-2). Is h less than or equal to 18?
True
Let n be (5 + -3)/(-13 + 12). Let u be (1/2)/(-1)*2. Let d be ((-10)/16)/(u/(-2)). Which is smaller: d or n?
n
Let v be (-286)/33 - 4/(-2). Which is smaller: v or -8?
-8
Let p be -1 + -2 - (-942)/(-48). Let i = 22 + p. Which is smaller: -2 or i?
-2
Let j(y) = 2*y**2 - y + 1. Let p be j(1). Let k = 9 - 7. Are k and p non-equal?
False
Suppose 0 = 3*w + 2 - 11. Let m = 0 + w. Suppose -m*s + s = -4. Is s less than 4?
True
Let a be (9/6)/((-9)/84). Let y be (-10)/(-6) - a/(-21). Which is greater: y or 1/5?
y
Let c(d) = 3*d**3 - d + 1. Let j be c(1). Suppose 2*a - j = -1. Which is greater: a or 4?
4
Suppose 2*h = 6*h + 12. Let b be (-1 - 0) + 0/h. Let y(s) = s - 8. Let q be y(6). Are b and q equal?
False
Suppose -3*w - 4*m = -2*m + 52, 4*m = -2*w - 48. Are -15 and w non-equal?
True
Suppose -x - 5*b = -3*x + 47, 0 = 3*x - b - 77. Let m be 1/(-2) + x/28. Suppose -3*n - 2 - 10 = 3*s, 3*s + 7 = 2*n. Which is smaller: n or m?
n
Let o be (-211369)/4620 - (-2)/(-4). Let y = o - -1/1155. Let p = y - -46. Which is bigger: 1 or p?
1
Let g be (-4)/((190/(-25))/((-39)/(-15))). Which is smaller: 0 or g?
0
Let g be 4 + (0 - (-3 + -1)). Which is greater: g or 6?
g
Let g = 18 - 21. Let b = 1.3 - 0.3. Which is smaller: b or g?
g
Suppose -2*q = 5*g + 10, 2*q + g = 6*q + 42. Are q and -52/5 nonequal?
True
Let q = -0.2 - -0.1. Let a = 0.9 - q. Let d = a + -0.6. Which is smaller: d or 2/3?
d
Let k(c) = -c**2 + 6*c + 2. Let w be k(6). Suppose 2*d + w = -2*d - 3*g, 12 = -4*d + 2*g. Let u be d*(-7)/(-6) - -2. Is -1 smaller than u?
True
Let d be ((-6)/15)/((-8)/10). Which is bigger: -2 or d?
d
Suppose -3*z + 3 = -5*n + 26, 0 = -z + 4*n - 3. Which is bigger: z or -12?
z
Suppose -5*s + 18 = -10*s - 3*b, s + 3*b - 6 = 0. Let w = -6 - -2. Which is smaller: w or s?
s
Suppose 3*w + 9 = -0. Suppose 0 = 3*b - b. Let l be (-2)/30*w + b. Which is smaller: l or 0?
0
Let i = 21 + -10. Suppose 2 = -3*r + i. Let o be ((-4)/6)/(1/r). Is -