. Which is bigger: y or 0.6?
0.6
Let u = 11/10 + -19/10. Which is greater: u or -4?
u
Let w(d) = -d + 1. Suppose -4*b = -2 - 2. Let g be w(b). Which is smaller: g or -1?
-1
Let l(v) = v**3 - 6*v**2 - 2*v + 3. Let b = -10 + 16. Let f be l(b). Is -8 equal to f?
False
Let w = -3 - -4. Let u = 0.95 - w. Let z = 0.15 + u. Is -2 at most as big as z?
True
Let z be ((-31)/(-2077))/(6/(-4)). Is z smaller than 1?
True
Suppose x - 11 = -4. Let u = x - 4. Is u at most 5?
True
Let g = 77 - 1619/21. Are 0 and g equal?
False
Suppose -16 = 4*u - 0*u. Let c = 9 + u. Let x be 2/(-5)*c/3. Is x at least as big as 0?
False
Let j = -1.5 - 0. Let l = j + 7.5. Are l and -1/3 equal?
False
Let z = 13 - 13.1. Suppose 4*h - 3*h + 5 = 0. Which is smaller: z or h?
h
Let s = 37 + -1. Suppose 3*b = -5 - 19. Let j be (-15)/s + (-2)/b. Which is smaller: -1/4 or j?
-1/4
Let p = 29 - 31. Is p at least as big as -1?
False
Let i(c) = -c**2 - 8*c - 18. Let x be i(-4). Which is greater: -10/3 or x?
x
Let d be ((-2)/(-3))/(1/90). Let w be -3 + (d/16)/1. Is 0 at most as big as w?
True
Suppose 4*c + 0*c + 12 = 0. Are c and -4 non-equal?
True
Let s = 7 + -16. Let x be (-3)/s + 33/1953. Let h = x - 2/31. Which is greater: 0 or h?
h
Let j(l) = 9*l**2 + l + 2. Let t be j(4). Let w be t/170 + (0 - 1). Do -1 and w have different values?
True
Let w = 0.45 - 0.35. Is -14/3 not equal to w?
True
Let s be (-18)/117 - 4/(-26). Which is smaller: s or -2?
-2
Suppose 2*y - 35 = -5*f + 3*y, -21 = -3*f - 4*y. Let r be 1*2 + -8 + f. Do r and 4/7 have the same value?
False
Suppose -2*y + 3 = -z - 6, -3*z - 2*y = -13. Suppose z = u + 2. Is -2 less than or equal to u?
True
Let k = -6118/15 + 408. Which is smaller: 1 or k?
k
Suppose -46 = z + 4*z - 4*w, -4*z - 45 = 5*w. Is z not equal to -9?
True
Let k = -3.5 + 4. Let q = k - 0.6. Let f = -1.6 + 2. Which is smaller: f or q?
q
Suppose 6 = -3*y + 24. Let n be 5/(-6) + y/(-36). Is -2 greater than or equal to n?
False
Let z = 7 + -4. Is 4 less than or equal to z?
False
Suppose 0 = -d + 5*d + 20. Is -1 at most d?
False
Let h = 11 + -9. Suppose 2*k + 12 = -h*k. Is -1 at most as big as k?
False
Suppose 3*f - 1 = 3*y + f, -10 = -5*f. Let w(u) = -u - 10. Let o be w(-8). Let c = o - -3. Is c bigger than y?
False
Suppose -h = -3*x - 20, x + 3*x - 21 = -3*h. Which is smaller: h or -1/2?
-1/2
Let k = -8 - 8. Let h = k + 19. Which is bigger: h or -1/2?
h
Let k = 6 - 1. Suppose 0 = -k*r + 5, 4*w - 3*r - 2*r = -1. Is 1/9 at least w?
False
Suppose 5*y = -3*x + 4*y - 3, 5 = -5*x - 4*y. Which is bigger: 3/7 or x?
3/7
Let a = 24885059/110995 + 4/22199. Let u = a + -225. Is u <= 0?
True
Let v = 32.9 + -34. Is v > 1?
False
Let u = 0.03 + -0.09. Let i = -7.94 - -8. Let y = i + u. Which is smaller: 1/10 or y?
y
Let c(z) = z**2 - 6*z - 3. Let v be c(6). Let j = v - -2. Let p(x) = 2*x**3 - x**2. Let i be p(-1). Is j greater than i?
True
Let t = 708/11 - 51717/803. Which is bigger: 1 or t?
1
Let r be (5933/2)/(92/(-16)). Let a = -516 - r. Is 0 greater than a?
True
Let j be -40*(3 - (-51)/(-15)). Let o = 7 - j. Let y = o - -13. Which is greater: 6 or y?
6
Suppose 2*l = 4*l + 6. Suppose 0*k = -5*k + 55. Suppose 2*t = -k + 3. Which is greater: l or t?
l
Let t = 22 - 12. Let o be (8 - t)/(9/(-11)). Is 2 equal to o?
False
Suppose -7*t + 4*t - 3 = 0. Suppose x - 3*p + 0*p = -1, -3*x + 4*p = -7. Let i = -3 + x. Are i and t nonequal?
True
Let c = 8164/9 + -908. Is c bigger than -2?
True
Let k(n) = n - 6. Let l be k(6). Is -2/57 less than l?
True
Let y = 6.94 - -0.06. Is -0.1 < y?
True
Let t = -4 + 3. Let d be 2 + (-3)/t + -5. Which is greater: 6/11 or d?
6/11
Let n = -1 - -3. Let x = -2.5 - -3.5. Which is bigger: n or x?
n
Suppose -2*v + 1 - 5 = 0. Let s be 4/(-28)*7/v. Which is greater: s or 4?
4
Let b = -47 + 49. Suppose -5*m - 1 + 21 = 0. Which is greater: m or b?
m
Suppose 11*x = 75 - 20. Is x greater than -4?
True
Let u be ((2/(-12))/1)/(184/(-207)). Which is smaller: u or 1?
u
Suppose -g - w - 2*w + 5 = 0, 4*g + 12 = -4*w. Let r(p) = -p**2 - 6*p + 7. Let x be r(g). Let v = -8/15 + -13/60. Is x != v?
True
Suppose -3*d + 13 = q, -q - 6*d = -7*d - 21. Which is greater: q or 21?
21
Let h = -44 - -64. Let o = 27 - h. Are 6 and o equal?
False
Let v(u) = -u**2 - 7*u - 2. Let g be v(-5). Which is bigger: g or 9?
9
Suppose -10 = 5*p - 7*p. Suppose -i = -p*i. Which is smaller: -1 or i?
-1
Suppose 0 = 2*z - z. Which is smaller: -1/19 or z?
-1/19
Let n be 1/((-11 + 13)*(-2)/4). Suppose 5*v = 2*v + 153. Let h = -307/6 + v. Is h <= n?
False
Suppose -i = 4*a + 2*i + 2, -5*i = a - 8. Let f(p) = -p. Let j be f(a). Suppose -x - 4*u - j = 0, 5*x + 3*u + 0 = 7. Is x equal to 3?
False
Let r = 55 + -55. Does -3/16 = r?
False
Suppose -2*d = 2*d + 20. Let p be (d/15)/((-3)/(-9)). Is -3 equal to p?
False
Suppose -4*n + 9*n - 15 = 0. Suppose n*g + 9 = 0, -2*a = 3*a - 3*g + 11. Let d be 3/4*(-4)/1. Which is greater: d or a?
d
Let z be (-1 + (-3849)/(-21))/(-1). Let q = z - -182. Let m = -3/14 + q. Is m less than or equal to 0?
True
Let u = 94 + -93. Is u smaller than 18?
True
Suppose -2 = -2*n - 20. Suppose z + u - 5*u = -25, 5*z + 200 = 5*u. Let p be (n/z)/((-6)/5). Is p bigger than -1?
True
Let h = 0.24 + -0.04. Let n = 0.8 + -1. Does h = n?
False
Let u = -0.5 - -1. Let v = -1.5 - u. Suppose -3*y + 5*f = -0*y + 25, -f = 4*y - 5. Which is smaller: y or v?
v
Let i be (-6)/(-8) - 2/8. Let p = 1 - -2. Suppose -p*j + 4 = j. Which is greater: j or i?
j
Let d(c) = -c**3 + c**2 + c - 1. Let q be d(1). Let r = 105 + -105. Are r and q unequal?
False
Let v be (-2)/(-6) - (-77)/(-33). Let t be v*(-3)/(-117)*3. Which is smaller: -1 or t?
-1
Let y = 1/15888 + -89153/58256. Let s = 15/11 + y. Which is bigger: s or -1?
s
Let l = 2 + 2. Suppose -4*x = l*s - 1 - 19, 2*x - 22 = -5*s. Which is bigger: -5 or x?
x
Let w(q) = -q**3 - 3*q**2 - 4*q - 2. Let g be w(-3). Let f = -11 + g. Which is smaller: f or 2/35?
f
Let n be -1*(-5)/60*-2. Let t(l) be the second derivative of l**5/20 - l**4/6 - 2*l**3/3 + 3*l**2/2 + 2*l. Let d be t(3). Are n and d unequal?
True
Let j(z) = z + 8. Let i be j(-6). Are i and 5 equal?
False
Let d be 189/126*(1/1)/(-2). Which is smaller: d or -1?
-1
Let g = 224/15 + -49/3. Which is greater: 0 or g?
0
Let k = 4/133 - 6/19. Which is bigger: 0 or k?
0
Let n(x) = x + 5. Let v be n(4). Does 9 = v?
True
Let h be ((-2)/(-5))/(54/(-30)). Let k = 25/3 - 8. Is h less than k?
True
Let a(w) = 7*w**3 + 2*w**2 + 4*w - 8. Let m(p) = -6*p**3 - 2*p**2 - 3*p + 7. Let f(q) = -5*a(q) - 6*m(q). Let v be f(2). Is v bigger than 9?
True
Let w be (-1)/(-3) + 14/(-78). Suppose 5*b - 10 = -5*h, 2*h = h + 5*b - 4. Let m be (-1)/h + 0/(-1). Is w at most m?
False
Let d(j) = -2*j - 3. Let f(x) = x + 2. Let c(i) = -3*d(i) - 5*f(i). Let s be c(4). Is 2 > s?
False
Suppose -c - 5 = 4*o, -3*o + 5*c - 25 = 2*o. Let r(y) = -2*y**2 - 2*y - 3. Let t be r(3). Let j be ((-18)/t)/(4/(-3)). Which is smaller: o or j?
o
Suppose 17 = -3*z + 2. Let w be (-22)/(-3) + 4/6. Let c = w + z. Is c != 2?
True
Let m = 10 + -10. Is -0.2 greater than or equal to m?
False
Let u be 2/5 + 36/10. Let r = -4 + u. Suppose 7*w + 15 = 2*w - 5*h, w + 4*h + 18 = r. Are w and 1/2 equal?
False
Let k = 1.3 - 0.3. Let u be (-5 - -4)/(-3 - 20/(-8)). Which is smaller: u or k?
k
Suppose 0 = 4*m - 187 - 29. Let i = 0 + -60. Let a be 1/(-2) - m/i. Which is smaller: 1 or a?
a
Let c(b) = b + 10. Suppose 27 = g - 3*g + 5*o, 2*g = o - 23. Let x be c(g). Is 3/10 at least x?
True
Let a = 0.01 - 0.11. Is -3 less than a?
True
Let b = -5/8 + 3/8. Let m = -0.9 - 0.1. Is b at most as big as m?
False
Let q = -10 - -11. Which is bigger: q or -5?
q
Let h = -52 + 52. Which is smaller: h or 12?
h
Suppose 0 = 3*m - 4*o + 38, 0 = 5*m + o - 15 + 109. Which is greater: -19 or m?
m
Let d = -435/2728 + -3/88. Which is smaller: 1 or d?
d
Let j(a) = -4*a - 1. Let u be j(1). Let z be (-8)/(-10) - 1/u. Which is bigger: 0.1 or z?
z
Let k = -2 - -1. Let f = 0.026 - 7.026. Which is smaller: k or f?
f
Suppose o = 6 - 25. Let g = 20 + o. Which is bigger: g or -2/7?
g
Let q = 2.2 + -2.1. Which is bigger: q or -0.08?
q
Let m = 12.95 + -13. Is -2 less than or equal to m?
True
Let w(q) = 5*q**2 - q + 2. Let y be w(-3). Suppose -4*o + 3 = 3*z + y, o + 41 = -3*z. Is z >= -12?
False
Let q = 1.8 - 1.8. Which is small