07. Let t = 2.13 - x. Let z = -2 + t. Which is bigger: -1 or z?
z
Let g be (9/6 + -2)*-2442. Let v = -2355/2 + g. Which is smaller: 44 or v?
v
Let l = -31 - 24. Let s = l + 57. Is 2.8 at least as big as s?
True
Let w = -0.3 + 0.2. Let b = 4036/5 + -809. Is b equal to w?
False
Let a = 15.8 - 16.36. Let c = a + 0.46. Suppose 0*t - 2*t - 2 = 0. Which is greater: c or t?
c
Let g be (171/38)/((-1737)/60). Do g and 0 have different values?
True
Let n(h) = 4*h - 40. Let y be n(1). Which is greater: 2 or y?
2
Let o(v) = 3*v + 14. Let c be o(12). Let a be c/104 + (-8)/32. Is -1 less than or equal to a?
True
Let i = 2 - 2. Suppose 5*f - 15 - 25 = i. Let u(y) = y**2 - 9*y + 7. Let v be u(f). Which is smaller: 0.04 or v?
v
Suppose p + 4*q + 1 = -2*p, -2*q = -3*p + 23. Let a(t) = t - 4. Let o be a(0). Let w be (o + 4)*(-4 + 3). Is p smaller than w?
False
Let d = 23 - 24. Let t = d - -4. Which is smaller: t or 4?
t
Let y(w) = 2*w + 4. Let x be y(0). Suppose x*q = -2*k + 70, 3*k - 73 = -4*q - 2*k. Suppose -q = 5*a - 67. Is 11 equal to a?
False
Suppose 3*w - 479 = -5*x, -3*x + 5*x - 161 = -w. Suppose 0 = -5*c - 28 + w. Suppose -c - 17 = 3*s. Which is greater: -15 or s?
s
Let w be -1 + (-3)/(3/(-40)). Suppose -5*o + 3*p - 35 = 0, -4*p - w + 9 = o. Let q = o - -17. Is q > 6?
True
Suppose 2*f = -2*u, -2*f + 38 = -5*u + 31. Which is bigger: u or -2/325?
-2/325
Suppose -a = -4*h - 4, 0 = 3*h - 0 + 6. Let j(l) = 15 - 4*l + 8*l + 0*l - 6*l. Let t be j(9). Are a and t unequal?
True
Let u = 41 - 47. Let s be (-4)/(-3) - (-2)/u. Let h be (-26)/(-8) + 0 + -2. Which is greater: h or s?
h
Suppose 0 = 4*z + z + 10. Let t be (2/6)/(z/(-12)). Let y = 5 - 7/3. Which is smaller: t or y?
t
Let h be 42/28*8/3. Suppose -2*z = -6, 3*t + 9 = -z + h*z. Is 3/101 less than or equal to t?
False
Suppose 94 = -2*f + 92. Is 1/212 greater than or equal to f?
True
Let a(s) = -3*s + 11. Let b be a(8). Let r(n) = -n**3 - 12*n**2 - 12. Let o be r(-12). Is o != b?
True
Suppose -3 = -2*r - 1. Let p be -1 + 69/81 - (-12)/(-54). Are r and p non-equal?
True
Let l be 1 + -3 - (-11 + 5). Suppose 3 = -0*z + z - l*y, -18 = 4*z - y. Let p = -9 - z. Which is smaller: -3 or p?
p
Let n(b) = -b**2 - 8*b + 4. Let z be n(-4). Suppose -3380 = -36*a + 32*a. Let m be a/40 + (-4)/32. Which is smaller: z or m?
z
Let i(j) = j**2 + 19*j + 25. Suppose 32 = h + 50. Let y be i(h). Suppose -3*a = q + 16, 0 = -y*q + 2*q + a - 32. Which is smaller: q or 0?
q
Let j = -66 - -91. Let s = -25.02 + j. Are -4 and s unequal?
True
Suppose 3*j = -g + 2*j + 55, -3*j - 165 = -3*g. Let m = 5551 - 5497. Are g and m equal?
False
Let x = -1646 + 1634. Is x bigger than -57?
True
Let f = -259 - -207. Is -0.1 less than or equal to f?
False
Let i(n) = -n**2 - 6*n + 36. Let x be i(-9). Let w be 4/(-14) - (-6)/63*x. Is -4 < w?
True
Suppose 3*r = j - 2, -2*r + 3*r = -3*j - 4. Let d(w) = -4*w**3 + 2*w**2 - 1. Let k be d(j). Let u = -8 - -13. Is k at most as big as u?
True
Let k be (-31 - -28)*(-4)/(-1206). Is k less than -1?
False
Let i = 366 - 365. Does -2/1263 = i?
False
Let h be 116181/(-77) - (-3 + (-24)/(-7)). Let s = 1508 + h. Is -1 bigger than s?
True
Suppose 0 = -4*h - 4*b + 148, 4*b + 0*b = -5*h + 183. Suppose -h*u + 30*u = 0. Which is bigger: 2/11 or u?
2/11
Suppose -28*o + 29*o - 9 = 0. Suppose 2*t = t + 2. Let z be ((-2)/t)/(o/9). Which is greater: z or 3/23?
3/23
Suppose 4*v - 98 = 38. Suppose -v = 7*f + 36. Let d be (2/f)/((-14)/(-35)). Is d >= -0.2?
False
Let g = 32.4 + -32.2. Is g less than or equal to 24?
True
Suppose -17*v + 26*v = 0. Which is smaller: 2/153 or v?
v
Let s = 31 + -37.6. Let z = 0.4 - s. Is 0 equal to z?
False
Let v = -273 - -222. Does v = -53?
False
Let z = -19/5 - -293/85. Suppose -5*h - 30 = 0, 2*h + 12 = -40*x + 43*x. Do z and x have different values?
True
Suppose -3*l + 5*l - 588 = -4*p, 5*p = 5. Let y be -1 + (-33)/(-27) - l/18. Which is bigger: -15 or y?
-15
Let s = 1/52 - -3/13. Let p = 0.037 + 0.123. Is s greater than p?
True
Let b = 0.085 + 0.015. Let q = 0.4 - 0.4. Let i = b - q. Which is bigger: -9 or i?
i
Let q be (3 - 0)/(3 + 40). Let m = q - 101/215. Is -4.4 less than m?
True
Let b be 13/12 + 15/(-20). Let i = 194 - 194.2. Is i bigger than b?
False
Suppose 0 = 32*h + 1064 + 408. Is h <= -46?
True
Let r(o) = o**2 - 7*o - 7. Let c(z) = z**2 - 2*z - 6. Let b be c(-4). Suppose d + b = 3*d. Let v be r(d). Do v and 1 have the same value?
False
Let n be (-536)/12*(1 + -4). Which is bigger: -1/3 or n?
n
Let c(k) = -k**3 - 12*k**2 - 10*k + 6. Let z be c(-11). Let w be (-2)/5 + (-5 - z). Let v(p) = p**3. Let b be v(0). Which is smaller: b or w?
w
Suppose -4*h + 18 = 2*m, 4*m + 3*h + 0 = 11. Suppose l - 68 = -2*c - 3*l, -31 = -c - l. Let i be m + -2 + 64/c. Is -2 < i?
True
Let i = -2.118 - -0.718. Which is bigger: -0.21 or i?
-0.21
Suppose 0 = -o - 3*i - 2, 8 + 2 = -5*o - 2*i. Let s be 1015/90 - (20/(-9) - o). Is 13 smaller than s?
False
Let p = -58 - -100. Let h = 43 - p. Which is smaller: h or 18?
h
Suppose -3*k - 10278 = 4*z - 353, k + 2*z + 3307 = 0. Let x be k/9735 - (0 + 1/(-3)). Are x and 0 equal?
False
Let g = -100 - -198. Do -1 and g have different values?
True
Let a(n) = -2*n**3 - 3*n**2 + n. Let p be a(-3). Suppose p = 4*l - q, -33 = -3*l - 7*q + 4*q. Is l greater than or equal to 6?
True
Let j be (-30)/165 + 5782/(-22) + 1. Which is smaller: -263 or j?
-263
Let f(u) = 2*u - 1. Let c(h) = h**3 + 6*h**2 - 7*h - 1. Let l be c(-7). Let t be f(l). Which is smaller: -4 or t?
-4
Let u(v) = v**3 + 7*v**2 - 29*v - 2. Let l be u(3). Is l >= 24/61?
True
Suppose k - 71 = -2*s + 2*k, -4*s = -5*k - 151. Let w be (-50)/36 + 17/s. Which is greater: w or -2?
w
Let s = -272 - -271.986. Does s = -2?
False
Suppose 4*x = 8, x = 3*m - 2*x. Suppose -m*o = 0, 4*v = -3*o - 0*o - 60. Is -12 <= v?
False
Suppose 20 = 3*b - 5*b - 4*j, b + 5*j + 25 = 0. Is 24 > b?
True
Suppose 3*g - 20 = -g. Suppose -5*d + 33 = -4*j, -g*j - 3 - 12 = -d. Suppose 4*s + 4 = 2*s. Is j greater than s?
False
Let t = -68 + 62. Is -57/11 greater than or equal to t?
True
Let y be 50/18 - 14/(-63). Let l = -810 - -812. Which is smaller: y or l?
l
Let z = -46 - -36. Let n be z*2/4 + 69. Is 63 equal to n?
False
Let l be (1/(84/(-174)) + 2)*-4. Which is smaller: l or 116?
l
Suppose -2*f - 5*v + 103 = 0, f + 0*f - 14 = 5*v. Let g be -3 + (f/14)/1. Is 0 greater than g?
True
Suppose 2*b + 3 = 9. Suppose 8 = g - 2*v + 22, -22 = b*g - v. Which is smaller: -5 or g?
g
Suppose 2*g - 3 = 4*s + s, -4*g + s + 15 = 0. Let v = 60 + -60.01. Which is greater: g or v?
g
Suppose -128 + 151 = -23*y. Is y at most as big as -21/64?
True
Suppose 0 = 3*y - 2*j + j - 6, 5*j + 15 = 0. Let d be (-1 + 366/390)*(-60)/8. Which is smaller: d or y?
d
Let a = -295 + 203. Which is bigger: -90 or a?
-90
Suppose 0*m + 4 = 2*m. Suppose -n + 2*v = -45, m*v = 3*n - v - 120. Which is smaller: n or 101/3?
101/3
Let h(t) = 4*t**2 - 39*t + 19. Let c be h(9). Which is smaller: -5/4 or c?
c
Suppose 0 = 5*n + 10, 0 = -3*o - 5*n - 8 - 2. Let m be (-24)/(-40) + o + -1. Is m greater than 1/2?
False
Let u be 2*(2860/8)/(-5). Let q be 1149/33 - 26/u. Is 35 > q?
False
Let n be 15/(-1) - 6/2. Let d be ((-6)/9)/(-3 - 58/n). Is -8/5 greater than or equal to d?
True
Let c = 18.01 + -52.04. Let k = -34 - c. Is -0.1 greater than or equal to k?
False
Let o(a) = 5*a - 9. Let g be o(3). Let t be ((-52)/5 + g)*(-27 + 2). Does 110 = t?
True
Let z be ((-48)/30 - -2)*-5. Let c be (-182)/(-315) - (z/10 + 1). Is c at least 0.05?
False
Let v(l) = -17*l - 156. Let u be v(-14). Is 80 bigger than u?
False
Let d = -71 + 70. Let y be 2/d*(-3)/(-6). Which is greater: -2 or y?
y
Suppose -2*i = -3*g - 19, 3*g + 11 = -3*i + i. Let r = 4 - 1. Suppose 5*d + t = d, r*t + 14 = i*d. Are d and 2/31 non-equal?
True
Let d be (5 + (4 - 9))/(-3). Let j = 0.012 + -21.012. Do j and d have the same value?
False
Let v(z) = z - 6. Let t be v(8). Suppose t = i - 2. Let c be 264/(-2730) - i/(-26). Is c >= -1?
True
Suppose 7*h + 5*y = 6*h + 7, -y - 36 = -2*h. Suppose -2*l + h = -3*v - 6, -l - 6 = 2*v. Is 4 greater than l?
False
Let t be ((-118)/(-6))/(2/(-3)). Suppose -660 = -49*p + 71*p. Which is smaller: t or p?
p
Let d = -9011830/37 + 243521. Let b = -42 - d. Which is bigger: b or -1?
b
Let v(a) be the first derivative of a**4/4 - 5*a**3/