ich is smaller: g or -0.07?
g
Let w = 6 + -4. Let v = -1.8 + w. Let y = v - 0.2. Which is smaller: 1 or y?
y
Suppose c + 11 = -4*a, 4*a - 1 = 4*c - c. Is a bigger than -5/4?
False
Let j = 3.43 - 145.43. Let y = j + 144.96. Let c = 3 - y. Is 1 not equal to c?
True
Let x = 9.1 - 9. Let s = -2 - -1. Let m = s + 3. Is m less than x?
False
Let z(u) = -u**2 - u + 12. Let g be z(-4). Is g equal to -2/33?
False
Let g = -3.2 + 3. Let k be 1/9*(-60)/(-40). Which is smaller: k or g?
g
Suppose 0 = 16*v - 14*v - 4, 35 = -l + 4*v. Which is smaller: -25 or l?
l
Let d(t) = t**3 + 10*t**2 + 9*t + 1. Let f be d(-9). Suppose 1 + f = -v. Let g = 0 + v. Is -2 greater than g?
False
Let u(f) = -f**2 + 24*f + 33. Let z be u(26). Is z at most as big as -19?
True
Let a be (2/10)/((-9)/(-15)). Is -1 equal to a?
False
Let g = -18.1 + 18. Is 0.5 not equal to g?
True
Suppose 5*q - 2*n = 17, -3*q + 4*n - n + 3 = 0. Suppose -3*a + 17 = -5*u - 4, -4*u - 22 = -q*a. Let o = 0 + -3. Is u at least o?
True
Let q(c) = c - 17. Let z be q(0). Let w be -1 + 0 - z/7. Is w smaller than 1?
False
Suppose -3*u = -5*u - 8. Which is smaller: -6 or u?
-6
Let o(l) = -l - 1. Let n be o(-2). Let z = -2421/7 - -347. Is n bigger than z?
False
Let w be (-105)/(-33) - (-1 - -4). Which is smaller: w or -1?
-1
Let k = 49 - 50. Is -1/26 at least as big as k?
True
Suppose 0 = 5*k - 35 - 20. Is 12 >= k?
True
Let w = 2 - 17. Which is greater: -13 or w?
-13
Suppose -q + 1 = -0*q. Let r(g) = -g**3 - 13*g**2 + 13*g - 12. Let j be r(-14). Which is greater: j or q?
j
Let x be 1/(-4) - 90/(-40). Which is smaller: x or 0?
0
Suppose -3 + 6 = -3*n. Is n at most as big as 4/11?
True
Let l(a) = -a**2 - 7*a - 12. Let i be l(-4). Let t = -79/3 - -27. Is i <= t?
True
Let y = 4 + -6. Let l = 4 + y. Suppose -l*c = 2*c. Is -1/4 at most as big as c?
True
Let y be 2/6 - 60/(-36). Suppose -4*b - y - 18 = 0. Is b >= -1?
False
Let o = -367/4 + 93. Is o smaller than -3?
False
Let g = -0.3 - -3.3. Which is smaller: 1/13 or g?
1/13
Let f be (-4)/(6/12*-1). Which is bigger: f or -0.4?
f
Let s = -0.034 + 0.134. Is -3 smaller than s?
True
Suppose -6 = -8*z + 2*z. Let g be z - 4 - -7 - 2. Let y be (-1)/(-5)*8/2. Is y >= g?
False
Let l(x) = -x**2 + 2*x + 1. Let j be l(5). Let z = 20 + j. Let k be (z/44)/((-9)/12). Which is smaller: k or -1?
-1
Let z be (-20)/(-8)*1*4/5. Let s(q) = q**2 + 6*q. Let a be s(-6). Let u = a - -3. Which is smaller: z or u?
z
Let n(x) = -2*x. Let t be n(2). Let r = t - -7. Suppose 2*b - r*b = -1. Which is smaller: 0 or b?
0
Let t = -129 + 2581/20. Let i be 0*(0 - (0 - 1)). Which is smaller: t or i?
i
Let p = -4 - -6. Let u = -101 - -105. Suppose -3*r = p*r + u*x + 18, 4*x = 4*r. Does r = -2?
True
Let o = -152 + 153. Is o at least as big as -4/61?
True
Let h be 566/108*9/39. Let f = h - 19/18. Which is smaller: f or -1?
-1
Suppose 0 = 4*z + 5*f + 21, 4*z = -3*f - 21 + 2. Let h be z/(-7)*(-1)/2. Let c be 1 - (-1)/(3 - 4). Is h <= c?
True
Suppose -24 - 18 = 2*a. Is -21 at most as big as a?
True
Let w = 17 - 5. Which is smaller: -1 or w?
-1
Let y(w) = -w - 7. Let l be 8/(-20) + (-17)/(-5). Let s be l*(-3)/(27/21). Let u be y(s). Is -1 less than u?
True
Let r = 12 + -10. Which is greater: r or -0.2?
r
Suppose -k - k = 5*z + 1, -4*k - 8 = 4*z. Let y be (-16)/(-12)*z/4. Is y less than or equal to 0?
False
Let s be (-6)/(-27) - 50/(-18). Suppose 8 = x - 3*q + 22, -4*q + 10 = s*x. Are x and 0 unequal?
True
Let k be (-18)/(-4) - (-3)/2. Let d = 6 - k. Is 0.06 smaller than d?
False
Suppose -x + w - 15 = 0, -2 = -5*x + w - 57. Let l be 4/10 + (-4)/x. Suppose -4*s + 9 = 1. Is s greater than l?
True
Let p be 1/(3/((-6)/4)). Let x = -10 + 15. Suppose 3*i + x = -2*i. Are i and p unequal?
True
Let d = -112 + 52. Are -60 and d nonequal?
False
Let y be -6*(-3 + 262/(-4)). Let a = 8629/21 - y. Which is bigger: a or -1?
a
Suppose 3*n + n - 4 = 0. Let a = n + 0. Suppose -o + 2*o + 1 = 0. Which is smaller: a or o?
o
Let x = -9 + 0. Let h be 24/10 - x/15. Which is smaller: 18/7 or h?
18/7
Let n = 116.1 - 121. Let u = n + 5. Is u < -0.2?
False
Let t = -151 + 151. Which is smaller: t or -25/3?
-25/3
Suppose -g = g + 2. Let i = g + 1. Let y be (-3)/(-9)*27/15. Is y greater than or equal to i?
True
Let c = 11 - 8. Suppose c*p - 5*p - 12 = 0. Which is smaller: -9/2 or p?
p
Let f = 14 + -12. Suppose 8 - 4 = 3*j - 2*x, -4*j + 3*x + 5 = 0. Are f and j non-equal?
False
Let c(z) = z + 30. Let p be c(-28). Let u be -1*(2 - 1 - 1). Which is smaller: u or p?
u
Let s = -60 + 34. Let o = s - -23.9. Let c = o - -2. Which is smaller: c or 0?
c
Let y = -30 + 35. Which is smaller: 4 or y?
4
Let p be (7/(28/600) - 4) + -1. Is p at most 145?
True
Let w = -3 - 3. Is -5 smaller than w?
False
Let c = 2 - 3. Let o be -2*c/2*1. Is o < -3/11?
False
Let x = 20 + -22. Is -0.2 less than or equal to x?
False
Let o(l) = -6*l**3 + 3*l**2 + 5*l + 6. Let g(a) = -a**3 + 1. Let q(v) = 5*g(v) - o(v). Let x be q(4). Which is smaller: x or -4?
x
Let y = 8450 + -1360454/161. Is 1 smaller than y?
False
Let y be (4*2/12)/(12/(-18)). Is -1/11 less than or equal to y?
False
Suppose 11*u - 14 = 9*u. Suppose -5 = 2*y - u. Which is smaller: y or 0?
0
Suppose u - 1 - 3 = 0. Let a be (-2 + 102/u)/1. Let i = -23 + a. Which is smaller: i or 2?
i
Let b = 13 + -22. Let t be (-354)/b + 1/(-3). Let q be (-2)/8 + t/60. Which is smaller: 1 or q?
q
Let t = 0.356 + -0.056. Let v be 1/2*8/2. Which is greater: t or v?
v
Suppose 40*h + 70 = 42*h. Is 35 at most as big as h?
True
Let p = 103 - 107.2. Which is smaller: 0 or p?
p
Let y = -36 + 42. Which is bigger: 10 or y?
10
Let l = -10 + 15. Let v = 0 + -0.1. Are l and v equal?
False
Suppose -4*j = -4*i + 8, 2*j = -2*i + 5 - 13. Let d be 4/8*2*j. Let y = d + 12/5. Which is greater: -2 or y?
y
Let p be 12/(-42) - (-23)/7. Suppose p*y = -2*v, 0*y + v = 4*y. Is -2 at least y?
False
Suppose n - r - 4 = -3*r, 5*r = -4*n + 7. Let g = -19 + 17. Is g greater than or equal to n?
True
Let a(o) be the first derivative of -2 + 4*o - 5/2*o**2 + 1/3*o**3. Let w be a(5). Does 3 = w?
False
Let f = 4 + -5. Which is bigger: 4 or f?
4
Let r(o) = 5*o**2 + 4*o - 3. Let f be r(2). Suppose -5*g + d - 10 - 13 = 0, -4*g = -3*d + f. Suppose 0 = j + 14 - 12. Which is smaller: g or j?
g
Suppose d + a + 2 = 1, 0 = 4*a + 20. Let v be -3 + 4/16*d. Which is smaller: -1 or v?
v
Suppose 0 = 5*o + 3 - 3. Is o greater than 3/5?
False
Let d(c) = -c - 9. Let z(a) = -3*a + 8. Let t be z(6). Let n be d(t). Suppose 1 + n = -2*j. Is 1/4 greater than j?
True
Suppose 3*v = 5*v - 18. Let k = -3 + v. Let o = -4 + k. Which is smaller: 0 or o?
0
Suppose -26*i = -31*i - 45. Is i less than or equal to -39/5?
True
Let q = -3.9 + -0.1. Is q at least 4/7?
False
Let n be (-3 + 4 + 0)*6. Let i(y) = 10*y**2 - 11*y - 9. Let b(g) = -7*g**2 + 7*g + 6. Let f(x) = -7*b(x) - 5*i(x). Let a be f(n). Is a not equal to -0.1?
True
Let w(v) = 9*v**3 - v - 2. Let a be w(-1). Which is smaller: -21/2 or a?
-21/2
Let z = 79/268 - 3/67. Suppose -2*y + 11 = -3*y + 3*i, 4*i - 11 = 5*y. Which is bigger: z or y?
y
Let s = 87/28 - 20/7. Let p be (3 + 1)*(-4)/2. Let g be (3 - 0)/((-36)/p). Are s and g nonequal?
True
Let j(k) = -2*k - 3. Let v be j(-3). Suppose -2*d + 4 = -4. Suppose -t + 0*t + d = 0. Which is smaller: t or v?
v
Let i(b) = 3*b + b + 2 - 3*b + 1. Let o be i(-4). Are -3/8 and o non-equal?
True
Let y = 115 - 807/7. Which is greater: 0 or y?
0
Let r(n) be the second derivative of -n**3/6 - 3*n. Let t be r(1). Does t = -1?
True
Let w = -53 - -53. Does w = -1?
False
Let p = -13 + 9. Suppose 5*n - 2*f - 11 = 108, 2*n - 38 = 4*f. Let w be ((-20)/n)/((-2)/(-10)). Is p != w?
False
Let s(d) = d - 13. Let z be s(12). Let m be z + 2 + (-4)/(-1). Is m less than 3?
False
Suppose 5*r - 19 = 3*l, -4*r + 3*l + 23 = -2*l. Let c be (r/78)/(1/9). Which is greater: c or 0?
c
Let c be (-10)/(-45) + 43/9. Suppose 3*m = -2*f - 2, -c*f + 2 = 2*m - 4. Suppose -f*r - 2*r = -4*t - 8, 3*t - 2*r + 6 = 0. Which is smaller: t or -3?
-3
Let t(c) = c**3 + 3*c**2 - c + 4. Let l be t(-4). Which is bigger: -4 or l?
-4
Let w be 3/(1/(4/(-6))). Suppose -3 + 7 = -i. Let a be 1/(w/(i/(-2))). Is a smaller than 0?
True
Let t = 221 - 1109/5. Let r(b) = b - 15. Let a be r(15). Which is greater: t or a?
a
Let i(r) = -r**3 - 2*r**2 + 3*r + 4. Let b b