4.07. Let s = z + 5. Let o = -5 + 5.3. Which is smaller: s or o?
o
Let a = -73 - -510/7. Which is greater: 0 or a?
0
Let x = -3 - -3.1. Let o = 2.6 - 1.6. Is x less than or equal to o?
True
Let w(m) = m**2 + 5*m - 5. Let l be w(-7). Suppose -5*s + 4 = l. Let u be (-8)/(-28) - 20/21. Which is smaller: u or s?
s
Let o be -1 + 3/54*14. Let u = 8 - 6.3. Let w = 0.3 + u. Is o at least w?
False
Suppose 2*j - 8 = 32. Which is smaller: 21 or j?
j
Let o(n) = -n. Let k be o(1). Do 1/76 and k have the same value?
False
Let q = 37 - 30. Is q at most 7?
True
Suppose -3 = -3*n - 0*n. Suppose c = -a - 78 - 150, -5*c + 4*a - 1131 = 0. Let o = c + 2499/11. Is o <= n?
True
Suppose 5*l - 2*g = g, -4*l - 5*g - 37 = 0. Suppose -2*f = i + 4*i - 9, f + 5*i = 7. Let q be f/((-2)/(-3)*l). Is -1/6 less than or equal to q?
False
Let n = -1 - -0.8. Let u = 0.8 - n. Let v = 0.1 - 0.3. Is v less than or equal to u?
True
Let b be 2 + (-1 - 0/(-2)). Suppose w - 6 = 5. Let p = w - 8. Is b at most p?
True
Let y = -0.5 - -5.5. Let w = 14 + -22. Let m = w - -9. Which is greater: m or y?
y
Let b = -0.01 - -0.11. Is b < 2?
True
Let l = 34 - 96. Let w be (3 - l/(-10)) + 3. Do 1 and w have different values?
True
Suppose 7*q + 4 = 3*q. Let d = -360/3349 + -2/197. Are q and d unequal?
True
Suppose -5*r = 5*s + 2 - 7, 2*s = 2*r - 6. Suppose 0 = 2*x - r - 8. Suppose 17 - 3 = 4*n + 5*m, x*m = -5*n + 15. Which is smaller: -4 or n?
-4
Suppose -3*h + 4*b + 1 = 0, -2*h + 2 = -4*b + 4. Do 8/5 and h have different values?
True
Let a(q) = -q. Let v be a(-4). Suppose -18 = -2*t - v*r, 3*t = -2*t - r. Let o = 67 + -67. Is o <= t?
False
Let o be (3/(-9))/(2/(-6)). Is o less than -4/25?
False
Let k = -10 + 11. Let v be (-30)/28 + k/2. Which is smaller: -2/5 or v?
v
Let n be 965/15 + 3/(-9). Are n and 64 nonequal?
False
Let r be (10/25)/(3/(-45)). Let v be (-34)/55 - r/(-33). Is -2 bigger than v?
False
Let d be (-3841)/1265 + 4 + -1. Suppose 3*a - 6*a = 0. Which is greater: a or d?
a
Let d(y) = -2*y**3 - y + y**3 - 12 + 3. Let m be d(0). Let w be ((-3)/m)/((-2)/(-6)). Is 3 < w?
False
Let g = 113/4 + -26. Which is greater: g or 2?
g
Suppose 3*o = 4*x - x + 51, 0 = 4*o - x - 56. Is o greater than or equal to 14?
False
Let v(x) = -x**3 + 8*x**2 - 4*x - 2. Let m be v(7). Is 20 <= m?
False
Let b(i) = 6*i**2 - 7*i - 10. Let x(w) = -4*w**2 + 5*w + 7. Let p(m) = -5*b(m) - 7*x(m). Let v be p(1). Let g = -1 + 0. Is v > g?
False
Let u(i) = i**3 - 4*i**2 - 10*i + 5. Let h be u(6). Is 16 greater than h?
False
Suppose -14 = -h + 3*i, h - 6*h = -i. Which is smaller: h or -10/9?
-10/9
Suppose -22 = -4*a + 6. Which is smaller: 6 or a?
6
Let w(c) be the third derivative of c**5/60 - c**4/6 - c**3/6 - 4*c**2. Let h be w(4). Let s be (-27)/(-28) - (-2)/7. Which is greater: h or s?
s
Suppose 5*t - 29 = 2*q, 0 = -0*q - q + 3*t - 17. Suppose -2*l + 3*l + 3*i - 9 = 0, 2*l - 9 = 3*i. Let u be 6/(-2)*4/l. Are q and u nonequal?
False
Let c = -6 + 5.8. Let m = -0.3 - c. Which is greater: 3 or m?
3
Suppose 0 = -3*h - 2*h + 10. Suppose 0 = -2*m + h + 2. Which is bigger: 3/5 or m?
m
Suppose -3*l + 2 = -5*l. Is 1.6 < l?
False
Suppose j = 3*j + 8. Let x be 11*j/(-16) - 3. Is -2/7 at most as big as x?
True
Let n be (1 - (-2)/(-6))*3. Suppose x + 0*r + 4 = -n*r, 3*x + 2*r + 12 = 0. Is 3 != x?
True
Let h = -91 + 82. Do -9 and h have different values?
False
Let o be ((-9)/1)/(1/(-1)). Suppose -5*s = 44 - 9. Let u = s + o. Which is smaller: 4 or u?
u
Let b(o) = o**2 - 8*o + 3. Let m be b(7). Which is smaller: m or -3?
m
Suppose -9 - 1 = -5*c, -80 = -2*g - 5*c. Let f = g + -23. Suppose -f + 2 = -5*d. Is 1 at most as big as d?
True
Let t(y) = 6*y + 2*y**2 - y - 5 + y**2 - y**3. Let h(c) = 10*c - 26. Let b be h(3). Let v be t(b). Is v less than -2?
False
Let j = -1 + 0.98. Let r = 0.18 - j. Which is smaller: r or -0.1?
-0.1
Let h = -19 - -21. Which is bigger: h or 9/7?
h
Let z = 2 - -16. Let f = -18 + z. Which is smaller: f or -1?
-1
Let s = 0.3 + 1.7. Let q = -2 + 5. Suppose -4*f - 3*n - 11 = -4, 5*f + 8 = -q*n. Which is bigger: s or f?
s
Let b be -1 - 3/(2/(-2)). Let t(n) = 3*n + 10. Let i(x) = -x - 13. Let g be i(-9). Let z be t(g). Is z at most as big as b?
True
Let y be (2 + -5)*(-10)/105. Which is bigger: 17 or y?
17
Let t be 1/((0 + 1)/3). Suppose l - 8*y + t*y - 13 = 0, 4*y = 3*l - 17. Let k be (-1)/(-2 + l + 0). Is k <= 1?
True
Let u be (8/10*-2)/1. Let d = 0 - 2. Are u and d non-equal?
True
Let z be (-1)/(3/(18/(-10))). Which is smaller: -1/2 or z?
-1/2
Suppose 3*s - 6 = s. Suppose -s*a - 13 = -1. Let z(g) = 4*g**3 - 3*g**2 - 3*g + 1. Let h be z(-1). Is a bigger than h?
False
Suppose 2*m - 3*m - 3 = 0. Which is greater: -1 or m?
-1
Let n = -4 - -7. Let o(m) = -m**3 - 2*m**2 - 2*m - 3. Let z be o(-2). Let q = z - 0. Is q equal to n?
False
Let d be (-21 - -21)*1/(-1). Which is smaller: d or 3/13?
d
Let d(j) = -j**2 + 1. Let y(f) = -3*f**2 + f + 7. Let x(u) = 2*d(u) - y(u). Let s be x(4). Is s less than 7?
False
Let s = -17840 - -2586834/145. Let k = 30/29 - s. Which is greater: 0 or k?
k
Let f(t) = 5*t + 7. Let x be f(-5). Let b = x - -13. Let n be (-1)/2*(b + 9). Which is smaller: -2/3 or n?
n
Let o = 6 + 16. Suppose -4*v = -o - 26. Let x be ((-6)/(-4))/(9/v). Which is smaller: x or 1?
1
Let w = -352 + 2458/7. Let x(k) = k**2 - 7*k - 8. Let j be x(8). Is w equal to j?
False
Suppose -4*u + 3*t + 27 = 0, 0 = -u - t - 2. Let d be (1 + 0 - -1) + -2. Suppose -2*z + 7 + 1 = d. Is u < z?
True
Let s = -275/8 + 34. Which is smaller: s or 0?
s
Let w be (-64)/(-24) + 2/(-3). Let d = 4 + -1. Suppose d*l - 1 = f - w, 0 = -4*l + f. Is l >= 1/6?
True
Suppose -3*t + 2*a = -8, -2*t + 4*a = 5*a - 10. Let k(m) = m - 1. Let n be k(5). Are n and t nonequal?
False
Let f be (-6)/(-21) + (-912)/(-42). Is 21 at most f?
True
Suppose q - 3*q = -4. Let v = 11 - 5. Let m be -1*((-2)/v + -1). Is m at least as big as q?
False
Let c = -488 + 3895/8. Do c and 0 have different values?
True
Suppose 1 + 1 = -2*u, -s = -2*u. Which is smaller: -12/5 or s?
-12/5
Let n = 32 - 129/4. Suppose 0 = -5*r + h, -2*r + r - h = 0. Suppose -1 + r = y. Is n at most as big as y?
False
Let c = -6660700 + 46771720/7. Let x = c - 21156. Let r = 182 + x. Which is greater: r or 0?
r
Let n = 1 + 1. Suppose -m + n*m = 0. Are -1 and m nonequal?
True
Suppose -4*w + 1 = -3. Let t(d) = d**3 + d**2 - 1. Let q(f) = -7*f**3 - f**2 + 2. Let p(u) = -q(u) - 3*t(u). Let j be p(w). Which is greater: j or 1?
j
Let p = -88/7 - -292/21. Is 2 != p?
True
Let n = 0.45 + 18.55. Let k = -17 + n. Which is bigger: k or -1?
k
Let b = 42/167 + -22297/1670. Let d be (0 - 1 - 25)*92/(-184). Let j = d + b. Is j < 0?
True
Let c be (-53)/(-2) - (3 - 45/10). Are c and 28 equal?
True
Let n = -12 - -13. Let t be 18/4*4/6. Suppose t*v + s + 2 = 0, -3*s - 10 = -4*v - 4. Which is bigger: v or n?
n
Let u be (-80)/6 + (-6)/(-18). Let n = -4 - u. Which is smaller: 10 or n?
n
Let b be (-3 + -1)/(0 + 1). Let p be 0/(b/(-8)*2). Let g be 3/36 + (-2)/6. Which is smaller: g or p?
g
Let o be 16/164*1/14. Let k = 12/41 - o. Is k equal to -0.3?
False
Let c = 169/14 + -42729/3542. Let t = c - -496/1265. Is -1 greater than or equal to t?
False
Let q = 23 - 12. Let d(k) be the third derivative of k**4/24 - 13*k**3/6 - 17*k**2. Let b be d(q). Is b greater than 3?
False
Let t = 2046 + -22532/11. Which is bigger: -1 or t?
-1
Let i = 123 + -69. Let p be (2 + i/(-28))/(-1). Which is smaller: p or 1?
p
Let s = 5 + -7. Let u be s/(2 + (2 - 2)). Let r = -164/5 + 33. Is r at most u?
False
Suppose 0 = 3*a - 9 - 0. Let k be 6/a - (3 + -3). Suppose -2*n = k*n + 4. Which is smaller: n or 1/6?
n
Let g(d) = -d + 10. Suppose 5*q + 35 = 4*j, 0 = -0*q + 4*q + 2*j + 28. Let i = q - -15. Let x be g(i). Which is bigger: x or 1?
x
Let b be (-9)/9 + ((-27)/(-29))/1. Is b at least as big as -1?
True
Suppose 2*k + 3*k = -30. Let b be k/4*(-48)/18. Let l = -2 + b. Which is smaller: l or 3?
l
Let f = -26.25 + 26. Let v = 0.3 - 0.25. Let d = f - v. Which is greater: d or 2?
2
Let r(i) = -3*i**2 + 2*i - 3. Let f be r(2). Let c be 471/f - (-8)/(-44). Let x = c + 212/5. Is -1 not equal to x?
True
Let c = -2 + 2. Let q(b) = b**2 + 7*b - 3. Let x be q(-8). Let k be -5 + x - 2/2. Is c at most as big as k?
False
Let d = 46/15 + -1028/345. Which is smaller: d or 1?
d
