: 5/22 or y?
5/22
Let r = 9 + -42. Which is smaller: r or -32?
r
Let s(z) = -z**3 - z**2. Let y(b) = -b**3 - 5*b**2 + 2*b - 1. Let d(i) = -2*s(i) + y(i). Let u be d(2). Is -1/24 greater than or equal to u?
True
Let z(t) = t**3 + 8*t**2 - 9*t - 1. Let s be z(-9). Let o = 2 - 3. Is s <= o?
True
Let n be (-1 - 3/(-1)) + 2. Suppose a = n*a. Are -2 and a non-equal?
True
Let f(q) = -q**3 + 13*q**2 - 48*q + 33. Let j be f(6). Suppose 4*l - 4 = 4. Which is smaller: l or j?
j
Let h be (2/(-1))/((-3)/6). Is h smaller than 7?
True
Let z = 29.7 + -30. Let c = 0.2 + z. Let k be (3/5)/((-8)/10). Are k and c equal?
False
Let i(h) = 13*h + 112. Let n be i(-9). Is n not equal to -4?
True
Let i = -0.008 + 1.008. Which is bigger: -46 or i?
i
Let q = 0.5 + 0.1. Let f = q + 0.4. Which is greater: f or 0?
f
Let u = -98 + 97. Is 1 smaller than u?
False
Let a(v) = -v**2 - v + 4. Let w be a(-6). Let c be (-10)/65 + 9/w. Which is greater: c or -2/5?
-2/5
Let t(i) = i**2 - 11*i - 8. Let l be t(12). Suppose -15 = 3*x - 5*x - 3*b, -5*x = l*b - 20. Which is smaller: 2/11 or x?
x
Let n = 0.3 - 0.2. Let w = -0.5 + 0. Let v = w + 0.7. Which is bigger: v or n?
v
Let r(a) = a**2 + 8*a + 7. Let u be r(-6). Let c = u + 4. Let b be (c - 1)/(4/(-18)). Which is smaller: 8 or b?
8
Let o = -0.4 + -0.1. Let c = -9.6 - -9. Let p = c - o. Is -2/19 less than p?
True
Suppose g - 11 = -1. Let p = g - 8. Suppose 5*l = p*l. Is l less than 2/3?
True
Let l be (-4)/2 + (-3)/(-1) - 1. Which is smaller: l or 1/30?
l
Let m = -37889/1056 - -1172/33. Let f = m + 1/32. Let t(a) = a**2 + 8*a + 6. Let z be t(-7). Which is greater: f or z?
f
Let t be 4*(3 - 29/10). Suppose -2*a = -7*a - 10. Let z be 1 + ((-3)/a)/(-3). Is t smaller than z?
True
Suppose -6*x = -5*x + 16. Let v be x/(-4)*3/4. Suppose 2*k = -3*t + 1 - v, 0 = 5*k + t - 8. Is k greater than 5/3?
True
Suppose 3 = r, -3*z + 95 = 2*z + 5*r. Suppose z = 5*b - b. Are b and 5 equal?
False
Suppose -10*c = -0 - 10. Is c not equal to 2/123?
True
Suppose -2*c = 3*u + 2*u - 45, 3*c = -u + 48. Let v = 26 - c. Is 12 not equal to v?
True
Let z = -0.003 - -33.003. Let p = 46 - z. Let n = -9 + p. Which is smaller: 0.1 or n?
0.1
Suppose -s + 14 = -5*q, -4*q + 31 = 4*s + q. Let b be 4/(-12) + (-6)/s. Which is bigger: b or -16/7?
b
Suppose 2*h + 4 - 14 = 0. Suppose -4 = -4*k + 4*u, -5*k - 3*u + h*u = -5. Which is bigger: -1 or k?
k
Suppose -2*n - 2*w = 22, 5*n + 3*w = 4*n - 7. Is n at least -13?
True
Let g(b) = -b + 7. Let o be 0 - 0 - (-3 + -1). Let y be g(o). Is y not equal to 3?
False
Let q = -0.7 + 0. Let m = q + -0.1. Let j = -1 - m. Which is bigger: j or 0.2?
0.2
Let t be 1 + 1 + 378/35. Let z = t - 13. Is -1 > z?
False
Let q be ((-19)/57)/((-50)/(-6)). Is q equal to 0?
False
Let s = -3 - -1. Let q(v) = 2*v - 3. Let y be q(3). Let a be 2 + ((-12)/(-16) - y). Which is smaller: a or s?
s
Suppose -y = -4*q, 9*q - 4*q - 5*y - 15 = 0. Which is greater: 3 or q?
3
Let l be (2/(-5))/((-20)/(-75)). Let s = l + 2. Are s and 10/7 equal?
False
Let k be 1 - (599/555 + 0). Let t = k + -2/37. Let g = -2 - -3. Is t less than or equal to g?
True
Let q be (4 - -2 - 7)*-71. Which is bigger: q or 70?
q
Let q be ((-12)/8 + 1)*-286. Let m = -717/5 + q. Are -3 and m nonequal?
True
Suppose 2 = -2*n + 5*x, 2*n - 3*x + 7*x = -2. Let j = 11/12 + -2/3. Which is greater: n or j?
j
Let j(m) = -m**2 + 6*m + 14. Let l be j(7). Is l >= 7?
True
Let d = 25 - -24. Is 49 greater than or equal to d?
True
Let m = -1 + -5. Let r = -5 + 0. Which is greater: m or r?
r
Suppose 3*a + 12 + 5 = 2*t, 2*t - 7 = a. Let m be 1 + -1 + 10/7. Is t less than m?
True
Let p be 22/36 + 3/(-6). Which is smaller: p or 0?
0
Let y = -2 - 3. Let h = -6 - 0. Which is greater: y or h?
y
Suppose 5*s + 4*x + 149 + 62 = 0, 0 = x - 1. Let h = -175/4 - s. Do -1 and h have the same value?
False
Let l = 19/3 + -1849/291. Which is smaller: l or -1?
-1
Let l be -21*(25/35 - 1). Is 3 at most l?
True
Suppose w = -4*u + 43, 2*u + w = 6*u - 37. Let k = u - 6. Suppose -3*j + g - k = 0, 2*j = -g + 5*g + 4. Which is smaller: -1 or j?
j
Let s be (2 + -4)*(-5)/2. Suppose s*h + 4*y + 46 = 0, 4*h + 8 = -0*h + 4*y. Let g be (-2)/(-3) - 2/h. Is g less than 2/3?
False
Let w = -2821 + 14058/5. Which is smaller: -8 or w?
w
Let w = -12 + 15. Suppose r + 5*b = -7 + 29, -3*r = -5*b + 14. Is w less than r?
False
Suppose -3*z = -56 - 22. Suppose -z - 4 = -5*k. Let a be (-20)/6 - (-2)/k. Is -3 at most a?
True
Let l = 73 + -110. Which is smaller: l or -0.2?
l
Suppose 9 = 3*q + k, -k + 2*k = 3. Let s(b) = b**2 - b - 2. Let y be s(q). Which is bigger: y or -5/4?
y
Let f = -0.44 - -0.4. Let v = f - 0.16. Let s be 2/20*(2 + 0). Which is smaller: v or s?
v
Let o = -39 - -61. Let q = -20 + o. Which is smaller: 2/19 or q?
2/19
Suppose -15 = -5*t + 2*t - 5*g, -2*t + 10 = 4*g. Let f(q) = 2*q - 2. Let r be f(3). Let m = r - t. Which is smaller: 0 or m?
m
Suppose 2*q - 15 = -5*h + 9, 2*h = q + 6. Which is bigger: 2/3 or q?
q
Let s(u) = -2*u**3 - u**2 - 2*u - 1. Let q be s(-1). Suppose 2*n - 3*b = -n - 6, -b = q*n + 4. Suppose -116 = 14*i + 15*i. Does n = i?
False
Let q = 28949/75 - 386. Are q and 0 equal?
False
Let i(z) = -93*z + 10. Let b be i(13). Let t be (-4)/16 - b/(-28). Let l = 43 + t. Which is bigger: 0 or l?
0
Let n = 3 - 0. Let x = 4.3 - 2.3. Which is smaller: n or x?
x
Let d = -8 + 2. Let a = -10 - d. Let f = -0.5 - -0.4. Which is greater: f or a?
f
Let b(g) = -g**3 + 3*g**2 + 5*g. Suppose 0 = -2*p - 8, 0*p - 5*p - 4 = 4*c. Let i be b(c). Let v be i + -2 - 108/51. Which is bigger: v or 1?
1
Suppose 3*x - 5 + 17 = 0. Let y = x - -2. Is y equal to -2?
True
Let r be 2 + -3 - -4 - (-12 + 0). Which is greater: r or 11?
r
Let f(z) = z**2 - 13*z - 16. Let h be f(14). Let a = 535/42 + -85/6. Which is bigger: h or a?
a
Let r be (-7)/(-5) - (-12)/(-30). Let q be -6*(r - 3/6). Let s be ((-87)/18 - q) + 2. Is s bigger than 0?
True
Let n = -51 - -44. Is -9 less than or equal to n?
True
Suppose 6*s - 16 + 10 = 0. Let m be (-1)/2 + (-54)/(-4). Let x be 1 + -3 + m/6. Does s = x?
False
Let y(j) = 3*j**3 + j**2 + 2*j + 1. Let c be y(-1). Let m = c - -5. Let u = 1 - m. Does u = -2?
False
Let x = -17.8 - 9.2. Is x at most 0.1?
True
Let b = 5 - -1. Let u(w) = w**2 - 6*w + 2. Let y be u(b). Let t be (1/2)/(2/4). Are y and t non-equal?
True
Let l be 3/1 + 2 - 2. Suppose -a + 2 = -2*s + a, -3*a - 1 = -2*s. Let r be ((-6)/(-4))/((-3)/s). Is l greater than r?
True
Let v = 283 - 276.12. Let l = -0.12 - v. Is -2/11 less than l?
False
Let h(q) = q + 2. Let u be h(8). Let m = -18 + u. Is -7 greater than or equal to m?
True
Let k(q) = q - 1. Let o be k(5). Suppose -g = -i + o, 0*i + 6 = g + i. Let x be 0/((-7)/(42/18)). Which is smaller: x or g?
x
Suppose 0 = -0*i - 5*i + n + 18, -9 = 3*n. Suppose 5*c - i*x = -5, 7 = -3*c + 3*x - 2. Which is smaller: c or 4/7?
4/7
Let h = 14 - 14.2. Is 0 less than h?
False
Let y = -5 + 3. Let n = 1 + y. Let a = 81 - 79. Which is bigger: n or a?
a
Let n be (-1)/3*(-10 - -10). Suppose n = q - 5*b - 29, 2*b + 19 = q + 5. Is 4 at most q?
True
Let j = -19 - -19.4. Is j >= 2/7?
True
Let k(q) = 3*q. Let l be k(1). Suppose -4*o = -p - 14, 4*p + o = -3*o + 4. Let a be (-1)/((-1)/p*-1). Which is greater: a or l?
l
Let x = 58 + -64. Which is smaller: x or 0?
x
Let i = -0.07 + 0.27. Let z = -4.8 - i. Let q = z - -8. Which is smaller: q or -1?
-1
Suppose 3*f - 3*o - 2*o = -3, 3*o - 1 = 2*f. Suppose -f*h - h = 0. Suppose h*s - 2 = -2*s. Is s <= 1?
True
Suppose v = -4*v - 10. Suppose -2*g - 2*c = 2, -4*g - 5*c = -0*g + 3. Let z = v - g. Which is bigger: z or -2/5?
z
Let x = 0.2 + -0.4. Let l = x - -2.2. Is l at least -1?
True
Let s = 3/26 + 43/78. Which is smaller: -2/9 or s?
-2/9
Let n be -1*(-2 - 0) - 114/(-627). Which is bigger: n or 2?
n
Let j = -1469538368/705 + 2084452. Let c be ((-4)/10)/(282/10). Let f = j + c. Which is bigger: 2/7 or f?
f
Let k be (4 + 4)/(-2) + 2. Which is bigger: 0 or k?
0
Suppose 0*v = 2*v - 4. Let w = v + -4. Let d = 2 - 2. Which is bigger: d or w?
d
Suppose 3 = -3*r + 6*r. Let o = r - 1. Let s = -6/11 + 7/11. Is s < o?
False
Let y = 1882807/4674 - 2417/6. Let j = y - -60792/3895. Let g = j + -1024/65. Which is smaller: g or 0?
g
Let x(h) = -h + 2. Let s be x(6). Suppose 2*f = a + 27, -6*f = -2*f - a - 51. Let n = 7 - f. Which 