et s be q(0). Which is smaller: k or s?
k
Let t = 6.8 + -7.3. Let a be (2 + 6/2)/1. Suppose 5*s - 2*m = -3 - a, 0 = -4*m + 16. Is t greater than s?
False
Let h(w) = 7*w + 22. Let z(x) = -11*x - 33. Let o(y) = 8*h(y) + 5*z(y). Let l be o(-12). Let d be (-2 - -2) + 1/(-3). Is l > d?
False
Let n = 1 + 7. Suppose 2*j = n*z - 3*z + 1, z - j - 1 = 0. Which is bigger: z or 1/4?
1/4
Let o = -533076 + 302254226/567. Let g = -4/81 - o. Which is greater: g or 0?
0
Let a(y) = -y**3 - y**2 - y. Let p = -16 + 11. Let q = p - -5. Let m be a(q). Is -1/4 less than m?
True
Let i be (3*2/(-12))/10. Which is greater: -1 or i?
i
Let r be (-1 - 1)/(16/160). Which is greater: r or -21?
r
Let q = 97/4 + -501/20. Let g(s) = -s - 2. Let y be g(-1). Let t be ((1 - 0)/y)/1. Is q < t?
False
Let f = -83.6 - -84. Which is bigger: 16 or f?
16
Let b = -0.146 + 2.146. Let m = -5.1 + 6. Let n = m - -0.1. Which is bigger: n or b?
b
Let m(b) = -4*b**2 - 21*b - 5. Let w(k) = -k**2 - 5*k - 1. Let p(x) = 2*m(x) - 9*w(x). Let g be p(-4). Is g < -1?
False
Suppose 0*l - 4 = -5*o + l, -2*l = -2*o + 8. Suppose 0 = -h - o*h - 7. Suppose 2*c = c + 5*r - 13, 4*r - 4 = 0. Which is bigger: h or c?
h
Let r = -8 - -12. Let u = r - 5. Let c = 50/3 + -17. Which is bigger: c or u?
c
Let c = 0.3 - 7.3. Let i = 4 + c. Let r = i + 3.2. Which is bigger: 1/4 or r?
1/4
Let b be 4*((-6)/8 - 0). Which is greater: -5 or b?
b
Let j(m) = 15*m + 4. Let k be j(2). Does 33 = k?
False
Let g = -1.033 - -0.033. Which is greater: 9 or g?
9
Let w(h) = 3*h + 16. Let s be w(-4). Suppose -2*c + 6*c - 20 = 0. Suppose j - c*j + 2 = -2*u, j = -3*u + s. Which is smaller: -0.6 or j?
-0.6
Let g = 329.94 + -334. Let p = 0.06 + g. Is -0.1 bigger than p?
True
Let a = -32 - -33. Are a and 1 equal?
True
Suppose 2*l = 6*z - 2*z + 8, -2*z = l - 16. Suppose 2 = -4*a - l. Let k be a - -5 - (-1)/1. Which is greater: 4 or k?
4
Let h = -9 + 31. Suppose 3*a + 4*k = -0*a + 20, 0 = -4*a - 3*k + h. Suppose -a*n - n - 35 = 5*c, 5 = -3*n + c. Which is greater: -2 or n?
-2
Let k = 52 + -51. Is 3/137 <= k?
True
Let q be (-8)/6*(-36)/(-8). Let c be (-1)/3*(-4)/q. Is -1 < c?
True
Let s(z) = 5 - 18 + 0*z + 21 + 2*z. Let t be s(-3). Which is smaller: -2 or t?
-2
Suppose 3*c + 0*g + 3*g = 0, -4*c - 3*g + 2 = 0. Let j(l) = l - 2. Let k be j(-4). Let b be (k/5)/(6/(-15)). Is b smaller than c?
False
Let p = 0.2 - 0.2. Let r = -0.2 - p. Let w = -0.6 + 0.8. Is w > r?
True
Let t(i) = -50*i**3 - 2*i**2 + i. Let g be t(1). Does -51 = g?
True
Let q = 5.21 - 1.21. Do -0.3 and q have the same value?
False
Let v(y) = -y + 6. Suppose 3*u = -u + 32. Let q = 13 - u. Let g be v(q). Do g and 0 have the same value?
False
Let f be (1/(-3))/(1276/33). Which is greater: f or -1?
f
Suppose -c - 12 = 3*c - 3*y, -2*y = -4*c - 8. Let j be (1 - c) + -5 + 3. Let q = 97 + -487/5. Which is smaller: q or j?
j
Let o = 6 - 6.17. Which is greater: o or 1?
1
Suppose 0*v - 4*v = -4. Let a be v*2/(-8)*1. Let y = 48 + -47. Is a smaller than y?
True
Suppose 0 - 1 = a. Let b(q) be the first derivative of q**2/2 - q - 1. Let w be b(a). Is -2 smaller than w?
False
Let q(o) = -o**2 - o. Let t be q(0). Suppose t = -v - 0*v. Is 0 less than v?
False
Let l be 4/(-12) - 64/6. Is -12 >= l?
False
Suppose 13 = -2*b + 4*x + 5, 4 = 2*x. Is b smaller than 2/67?
True
Let d(p) = -p**2 + p + 3. Let y(z) = z. Let a(v) = d(v) + 2*y(v). Suppose o = -5*h + 11, -2*o - 2*o - 4 = 4*h. Let r be a(h). Is r greater than 3?
False
Let v(f) = f**3 + 6*f**2 + 7. Let r be v(-6). Let h be (-2)/4 + r/6. Suppose -2*m = -0*m. Do h and m have different values?
True
Let y be (-16)/(-5)*(-4 + 9). Suppose 68 = -2*i + y. Let v be i/(-21) + 4/(-6). Which is bigger: 0 or v?
v
Let d = 8 + -3. Suppose 5*b + 2*c = -0*b + 5, 0 = 5*b + d*c - 20. Which is greater: b or 2/11?
2/11
Let u = 160 + -1122/7. Let r = 12.7 + -1.7. Let g = -14 + r. Do u and g have the same value?
False
Let i = -15 + 150. Let j = i + -1351/10. Let m = -3 + 4. Is j at least m?
False
Let b = 1 - -2. Let n(w) be the third derivative of -w**4/24 + w**3/6 + 2*w**2. Let i be n(b). Do -1 and i have the same value?
False
Suppose q = -4, 3*q + 22 = 2*t - q. Let k be (-62)/(-36) - 8/36. Which is smaller: k or t?
k
Suppose -1 = -0*t - t. Let y = -5 + 5. Let j = y + t. Is j less than 0.5?
False
Let w(c) = c**3 - 10*c**2 + 10*c - 9. Let j be w(9). Let q = 8 + j. Which is smaller: 9 or q?
q
Suppose 17 = 3*u + 2. Suppose -5*s - 80 = 2*o, u*o = 2*s + o + 56. Is s less than or equal to -18?
True
Let b = -1.32 - 0.18. Is -2 greater than or equal to b?
False
Suppose -12*k - 26 = -14. Which is smaller: 25 or k?
k
Let f = -7.936 - 0.064. Which is smaller: f or -0.08?
f
Suppose 0 = -5*a - 5*j - 110, a + 39 = -2*j + 12. Is -15 equal to a?
False
Let b be (-10)/30 + (-9976)/(-6006). Let z = 6/143 - b. Is 0 <= z?
False
Let p = -41 - -37. Which is greater: -9/2 or p?
p
Let y be (6/(-9))/((-6)/27). Let u(d) be the second derivative of -d**4/12 + d**3/2 - d**2/2 + 4*d. Let z be u(y). Which is bigger: -5 or z?
z
Let k = 20 + -13. Let l(a) = -a**3 + 6*a**2 + 7. Let f be l(6). Is f at least as big as k?
True
Let h = 4 + -11. Let y = h - -6. Is y >= -1?
True
Let o be 5/1 - 2 - (6 + -2). Which is smaller: -3/70 or o?
o
Suppose 2*z - 12 - 4 = 0. Let r = z + -14. Let s be (0 + -1)/(3/r). Are 2/3 and s nonequal?
True
Suppose 4*o - 9 = -5*j + 6*j, 0 = o - 3. Let g be 1/(j/(-1))*-9. Is 5 less than or equal to g?
False
Suppose -3*k - 2*s = 14, -5*k - 16 = -0*s - 4*s. Let w = 3 + k. Let y(g) = 3*g**2 + 2*g + 1. Let m be y(w). Which is bigger: m or 3?
3
Let h = 0.17 - -0.03. Let j = -56.2 + 51. Let d = j + h. Is d <= 0?
True
Let y(i) = i**2 + 7*i. Let z be y(-4). Let f be (-6)/(-4 - 11/(-2)). Let r be 6/(-5)*f/z. Is r not equal to 1?
True
Suppose -d = 1 - 3. Let j be 12/9 - 2/6. Which is smaller: j or d?
j
Suppose -6*d + 25 = -d. Suppose -2*b - 3*b - 20 = 0, 0 = d*g - 3*b - 282. Let k = -380/7 + g. Which is bigger: k or 1?
1
Let g = 28 + -27. Is 1/18 greater than or equal to g?
False
Let p = -5.04 + -1.96. Let l = 8 - 5. Let v = -3 + l. Which is greater: p or v?
v
Suppose 0 = 3*g + g + 3*b - 66, b = -4*g + 62. Suppose 0 = c - 6*c + g, h - 9 = -3*c. Let s = -205 - -1029/5. Which is smaller: s or h?
h
Suppose 6*c = c + 10. Let x(m) = -2*m - 5. Let g be x(-4). Let n be 5 - 1*(g - 0). Is n smaller than c?
False
Let w = -1 + 1. Let l = 208.7 + -208. Which is smaller: l or w?
w
Let h be ((-6)/(-8))/(2/8). Suppose -a = h - 1. Which is greater: -3 or a?
a
Let o be -4 + 4/(5 + -1). Let f be (-2)/o - 4/6. Is 4 < f?
False
Let k = -155/28 - -21/4. Suppose 3*h - 3*y - 16 = -2*h, -4*h + 10 = -y. Suppose h*b = 3*b. Which is smaller: k or b?
k
Suppose -x = -2, -4*r + 3*x = -3*r + 3. Let u be (r/(-2) + 1)*2. Suppose 5*g - 3*g + 4*s - 16 = 0, -25 = -5*s. Is u equal to g?
False
Suppose 4*p = 3*p + 1. Is p >= 2/5?
True
Let d = 10 - 10.1. Which is smaller: 29 or d?
d
Let s be (-192)/165 + (-12)/(-15). Which is bigger: 0 or s?
0
Let l be (-3)/(-12) + (-19564)/112. Let z = l + 175. Are 1 and z unequal?
True
Let m = -4 - -7. Let h = -4 + m. Let u be 2/(-2)*h/(-1). Is u > -1/5?
False
Let v be (54/15)/(6/20). Let a be v/55 - (-4)/22. Is a less than or equal to 1?
True
Let c = 2 + -2. Suppose 0 = -c*s + s + 8. Is s greater than -8?
False
Suppose 0 = -7*j + 8 + 34. Which is greater: -3 or j?
j
Let h(j) = j + 3. Let a be h(-2). Is 5/17 != a?
True
Let z = 10.3 - 11. Which is bigger: -0.1 or z?
-0.1
Let c = -10.9 - -1.9. Let x = 6 - -3. Let w = x + c. Which is bigger: w or -0.1?
w
Let g be (-6)/(-8) + (-38)/8. Suppose -2*k + m + 10 = 5*m, 15 = -4*k - m. Which is smaller: g or k?
k
Suppose 14 = 4*m + 2*u, 0*u - 20 = 4*u. Suppose -m*x + x = 0. Suppose -5*i - 3*y - 5 - 4 = x, 6 = 2*i - 2*y. Are i and 4/7 unequal?
True
Let u = 79 + -78.9. Let b = 3 + -6. Are u and b nonequal?
True
Let u = 90 - 95.9. Let k = u + 6. Let h(x) = x**3 - 5*x**2 + 5*x - 6. Let l be h(4). Are k and l non-equal?
True
Let g be (-60)/(-15)*7/(-2). Is -15 at most as big as g?
True
Let f = -115 - -103.9. Let k = f - -11. Which is smaller: k or -0.8?
-0.8
Suppose 7*n + o = 2*n + 3, -5*o = 10. Which is smaller: 1/10 or n?
1/10
Let d be ((-3 - -9)/((-6)/(-4)))/2. Is 4 greater than d?
True
Let r be (-4 + 8 - 4) + -2. Which is smaller: -3 or r?
-3
Let x(u) = -u**3 - 