0056. Let t = 109 + -195. Let g = n + t. Which is smaller: g or 0?
0
Suppose -2*k + 9 = 17. Is -1 bigger than k?
True
Let y = 0.2 + -0.4. Suppose 0 = 3*h + 1 - 7. Suppose 3*z - h = 5*z. Which is greater: y or z?
y
Let n = 7 + -6.6. Let d = n - 0.4. Which is greater: 2/11 or d?
2/11
Let n = 2.8 + -3. Let q = n - -4.2. Which is smaller: 0.1 or q?
0.1
Suppose 29*v = 2*d + 27*v + 28, -2 = -2*d - 4*v. Is d greater than 0?
False
Let a = 0 + 16. Let z = -22 + a. Let w(i) = i + 5. Let v be w(z). Which is smaller: v or 0?
v
Let r be (-8)/270*(-95)/(-38). Is r < -1?
False
Suppose -2*t = -4*t + 80. Let z be (-9)/15 + 3172/(-80). Let q = z + t. Are 0 and q unequal?
True
Let i = -0.8 - -1. Let p = i - 0.3. Is p smaller than 4?
True
Let f be (24/9)/2*3. Suppose -27*p + 22*p = -30. Which is smaller: p or f?
f
Let d = 29 + -85/3. Which is greater: d or -5?
d
Let a be 4/(-9)*(-22)/44. Which is bigger: a or -16?
a
Suppose g - 2*g - 5*z = -13, 0 = 2*g + 2*z - 18. Is 15/2 smaller than g?
True
Let j = -2 + 0. Let r be (-51)/15 + j/(-5). Let c = -4 - r. Is c < -1?
False
Suppose 0 = -0*d + 5*d - 65. Suppose 4*g - p = d, -2*g = p + 6 - 17. Which is smaller: g or 3?
3
Let r(u) = u**2 - 1. Let j(z) = 3*z**2 + z - 1. Let f(b) = j(b) - r(b). Let s be f(1). Is s greater than or equal to 0.1?
True
Suppose -3*j = -4*k - 229, -5*k + 3*j - 223 = 61. Let w be 10/(-6)*(-11)/k. Let g be (-4)/(-6)*6/8. Is w equal to g?
False
Suppose -3*g = -g + 2. Let x = 0 - -4. Let i = -3.9 + x. Which is smaller: g or i?
g
Let w be (-4 + 3)/((-2)/10). Suppose m + 14 = w*x - 3, 5*x - 23 = -m. Suppose 5*p + 2 = -m. Are p and -2/7 unequal?
True
Let j = -7 - -5. Let w(i) = i**3 - 2*i**2 - 2*i. Let f be w(0). Which is smaller: f or j?
j
Suppose 0*y - 3*y + 337 = -2*x, -3*x - 103 = -y. Let k be y/(-75) + 1/(-3). Let a = k + 136/105. Which is greater: a or -1?
a
Let v = -4 - -2.9. Which is smaller: v or 2/15?
v
Suppose 0 = 6*g - 4*g + 4*v - 8, 0 = 5*v - 10. Which is smaller: g or 6/5?
g
Let h = 7 - 3. Suppose -4*d = 3*z + h, 2*z - 1 = d - 0. Suppose 0 = -z*q + 3*q. Which is smaller: q or 2/5?
q
Let g be 2/9 + (-50)/(-18). Let f(w) = w**3 - 2*w**2 - w - 3. Let o be f(g). Suppose 2*b = -2*v, 4*v - 2 = -o*b + b. Is -2 less than or equal to b?
True
Let k = 48 - 48. Which is smaller: -1/10 or k?
-1/10
Let x = -115/4 + 29. Let g = 213/68 - 32/17. Which is bigger: x or g?
g
Let i = 1 - 1.7. Let r = 1.3 - 3. Let q = r - i. Is q bigger than -3?
True
Let o = -228/25 + 1696/175. Let k = -4.06 + 4. Is o less than k?
False
Let q be -4 + (-29)/(-4) + -3. Is 1/16 at most q?
True
Suppose -h - 3*h - 80 = 3*a, 5*a + 5*h + 125 = 0. Let k be 64/a + 3*1. Which is greater: k or 1?
1
Let b = 78 - 548/7. Is b equal to 1?
False
Let p be (8/(-10))/4 - (-113)/540. Is 1 at most as big as p?
False
Let o(i) = -8*i + 46. Let s be o(0). Are s and 46 equal?
True
Let x = 0 - 3. Let f be (33/(-2))/(-3)*2. Suppose f = -3*c + 2. Is x <= c?
True
Suppose 0*m - 30 = -5*m. Let j(a) = -4*a - 1. Let c be j(-2). Is c > m?
True
Suppose w + 2*z = 1, 4*w + 1 = 5*w - 5*z. Is 1 at most w?
True
Let a be (-3)/4*(-3)/(-9). Let s(p) = 11*p - 5. Let z(d) = -7*d + 3. Let k(m) = -5*s(m) - 8*z(m). Let v be k(0). Is v at least as big as a?
True
Let h(s) = -s - 1. Let u be h(-2). Let m = 0 - u. Let l = -1 + 1. Are l and m nonequal?
True
Suppose -5*f - 5*g = -5, -8*f + 4*f + 2*g = 14. Suppose 4*o + 4 = -3*i, -3*o - 16 = o. Suppose 0 = i*m + m. Which is greater: m or f?
m
Let d(v) = -v**2 - 4*v - 5. Let a(t) = t + 1. Let l(q) = -5*a(q) - d(q). Let c be l(1). Which is smaller: 2/7 or c?
c
Let a be 9/(27/(-14)) - -4. Which is bigger: 6/25 or a?
6/25
Let f be (32/6 - 4)*4. Which is smaller: f or 6?
f
Let m = -15 + 3. Let j be (-8)/m*3/(-2). Which is smaller: 1/16 or j?
j
Let l be (-34)/(-153) - 1024/234 - -4. Which is bigger: l or 2?
2
Let f = 1 + -0.4. Let n = f - -0.4. Let a = 1 + n. Are a and 0 non-equal?
True
Suppose -2*t = -7 + 1. Let c(b) be the first derivative of -b**3/3 + 5*b**2/2 + 3*b - 2. Let o be c(5). Is t greater than or equal to o?
True
Let q = -116 - -105. Let b be ((-2)/(-4))/((-1)/22). Is b equal to q?
True
Let a = -11/6 - -7/3. Suppose -2*j - 3*u + 7*u + 16 = 0, -3*j - 3*u - 3 = 0. Which is smaller: j or a?
a
Let v(r) = -r**3 + 7*r**2 - 6*r. Let z be v(6). Which is bigger: 1/5 or z?
1/5
Let p(o) = -o + 2. Let m(f) = 2*f - 6. Let w be m(6). Let v be p(w). Let a = v - -7. Which is greater: a or 1?
a
Let i = 200126221/13308247 + -6/251099. Let v = -15 + i. Is -1 at least as big as v?
False
Let s = 9 + -13. Let d(n) = n**3 + 5*n**2 + 5*n + 3. Let a be d(s). Let z = 141/4 - 36. Do a and z have different values?
True
Suppose 0 = 3*b - 3, -3*t + 15 = -0*t + 3*b. Suppose 0*w = -t*w + 3*i - 5, 3*w = i. Is w equal to 5?
False
Let l = 1393/3 - 460. Are 5 and l non-equal?
True
Let d = -5 + 3. Let g = d - -2. Which is bigger: 2/23 or g?
2/23
Let b = 0.6 - 1.6. Is -1/2 != b?
True
Suppose 23 = 3*r - 0*u + 2*u, 5*r - 45 = -5*u. Let c be r/(-21) - 2/6. Does 0 = c?
False
Let m = 1433/110 - -26/55. Is 15 at least as big as m?
True
Suppose 5*m = m. Let v be 4/3*(-6)/(-100). Which is greater: v or m?
v
Suppose 5*x - 40 = -10. Let d be ((-3)/(-27))/(2/x). Is d >= 1?
False
Let k be (4/10)/((-35)/25). Suppose 5*q - 17 = 3. Suppose -5*i = q*c + 14, 5 = -c - 6*i + 4*i. Are c and k equal?
False
Suppose 0 = -u - 0 - 3. Let h be 0 + ((-9)/u)/3. Let d be 0*(6/(-4))/3. Which is smaller: d or h?
d
Let s be (-1)/(-6) + 6/4. Which is smaller: -1 or s?
-1
Let t(k) = -3*k + 2. Let q be t(3). Let b be 0 + -1*(-1)/q. Let f = 2 + -2. Is f smaller than b?
False
Let h = 0 + -4. Let g = 95.1 + -91. Let l = g + h. Is 2/7 smaller than l?
False
Let c be 2/(-9) - 56/(-63). Let o = 2.91 + 0.09. Is c > o?
False
Let d = -2 + 1. Let k = d + 3. Let j be -1 + (-3 - -1) + k. Which is bigger: j or -1/5?
-1/5
Suppose 2*n + 10 = -2*m, -9 - 4 = 2*n + m. Is -9 > n?
False
Let q = 1.4 + 1.4. Let m = 0.3 - q. Let c = m - 0.5. Which is smaller: c or -1?
c
Suppose -4*q + 5*o = -1, -8 = 3*q + q + 4*o. Which is greater: q or -3/11?
-3/11
Suppose 5*h = 2*l - l + 27, -3*h + 3*l + 21 = 0. Which is greater: 3 or h?
h
Let h be 6/(-57) + 138/(-855). Which is greater: h or 0?
0
Suppose h = -4*n - 2, -5 = 2*h + n - 1. Suppose 0 = -2*d + 2, -3*u = -0*u - 3*d - 30. Let q = 8 - u. Which is greater: h or q?
h
Let u = -93287/599046 - -18/5873. Let c = 1/102 + u. Are c and -1 nonequal?
True
Let l = -139 + 211. Let u be 16/(-40) + l/105. Is u bigger than 0.4?
False
Let z(o) = -o**3 - 9*o**2 - 7*o + 8. Let i be z(-8). Let q be 2 + -1 + -1 - 0. Suppose r - 4*r - 3 = q. Which is greater: r or i?
i
Let v be (-6 - (-7 + 4))*(-2)/(-18). Let i = -68 - -347/5. Is i greater than v?
True
Let j = -0.01 - -0.11. Are j and 0 non-equal?
True
Suppose -2*r + 40 = 3*r. Suppose -r = 2*x - 4*x. Suppose 8*h = 4*h + x. Is -2/7 < h?
True
Let k be ((-16)/(-6))/(25/(-15)). Which is bigger: -2 or k?
k
Let l = -46 + 47. Which is smaller: 0.16 or l?
0.16
Suppose -5*m - 5*f = 75, 24 + 21 = -5*m + f. Let s = -21 - -15. Let k = m - s. Is k not equal to -4?
False
Let f(j) = j + 2. Let u be f(-5). Suppose -4*x + 10 = -n - 9, -9 = 3*n. Let i = 3 - x. Are i and u unequal?
True
Let h be ((-609)/(-5))/(-7) + 4. Which is smaller: h or -13?
h
Let r = 63.2 - 63. Which is smaller: r or -0.09?
-0.09
Let m = 5 + -4.79. Which is bigger: m or 0?
m
Suppose 4*h + 256 = 4*z - 64, -3*z = 4*h + 341. Let m = 995/12 + h. Does 1 = m?
False
Let c be ((-6)/18)/((-17)/12). Which is smaller: c or 1?
c
Let r be ((-2)/(-6))/((-33)/36). Which is bigger: r or 1?
1
Suppose 0 = 2*o + 2*o - 4*d - 456, -o + 94 = 4*d. Suppose 0 = 3*j + 5*t - o, 0 = 4*j - 3*t - 185 + 19. Let s = j + -202/5. Is -2/7 less than or equal to s?
False
Let t = -162 - -331/2. Which is smaller: t or 3?
3
Let w = 9 + -29/3. Is w > 4/13?
False
Let f(s) = -s**3 - 7*s**2 + 9*s + 1. Let i be f(-8). Let x be (8/(3 - -1))/i. Let a = -3 - -2.8. Are a and x non-equal?
True
Let r(j) = 4*j + 15. Let c be r(-4). Which is smaller: c or -1/14?
c
Suppose 0 = 2*b + 4*q - 3 + 5, b = -3*q - 3. Suppose b = o + 2. Which is bigger: o or 2?
2
Suppose -s - 186 - 79 = -5*k, 4*k - 3*s = 201. Let i be ((-2)/k)/((-1)/3). Let f be 6/(-4) + 1/2. Which is bigger: f or i?
i
Let v(x) = -3*x**2 + 1. Let b be v(-1). Let c be ((-8)/(-6))/(2/(