-2 + z/(0 - 1). Which is bigger: f or 4?
4
Let d = 24 - 25. Which is greater: 4/9 or d?
4/9
Suppose -2*c = -4*r - r + 59, 82 = -3*c + r. Let o be (c/(-18))/(6/4). Which is smaller: 2/5 or o?
2/5
Let d be 3 - 2*1/2. Suppose -3*u + u = -5*t, -d*t = 2*u - 14. Suppose -4*c - 19 = -2*h + h, -13 = -h + t*c. Is 1 not equal to h?
True
Suppose 0 = 5*m - 6*m - 15. Let u be 1*((-12)/m)/4. Let p be 4/14 - (-4)/(-14). Which is smaller: u or p?
p
Let j(w) = w - 5. Suppose -q + 4 = -1. Let t be j(q). Let u be ((-2)/8)/((-5)/(-5)). Which is smaller: u or t?
u
Suppose -4*s - f - f + 34 = 0, 5*s = 2*f + 38. Let r(j) = j**2 + 7*j - 2. Let z be r(-6). Let q = z - -17. Is q greater than s?
True
Let t = 17.94 + 0.06. Let v = t + -23. Is 2 greater than or equal to v?
True
Let q(r) = -r**2 - 6*r + 9. Let w be q(-7). Let s be 18/(-84)*(-4)/w. Let l(k) = -k**3 + 2*k**2 - 2*k + 1. Let g be l(1). Is g at least s?
False
Let m be (1 - (-2)/(-4))*2. Suppose -t - 5*p = -2*t + 5, 4*p = 0. Suppose -5 = 5*g - 0*h + h, 4*g + t = -h. Which is smaller: m or g?
g
Let y be (21/(-12))/((-2)/8). Which is bigger: y or 5?
y
Let a be (-3 - 13/(-4)) + 2. Let y = -511/12 - -125/3. Let g = y + a. Which is bigger: g or 0?
g
Let y = 12.23 - 0.23. Let n = -12.1 + y. Which is bigger: n or -0.06?
-0.06
Suppose 0*k - 65 = 13*k. Suppose 2*b + 3 = -5. Which is smaller: b or k?
k
Let t be (-9)/6*(-321)/(-18). Let h = t + 27. Which is smaller: 4 or h?
h
Suppose -4*s + 4*g = 0, 0 = -4*s + 5*s + 3*g. Let n be (-4)/(-10) - 28/95. Which is smaller: n or s?
s
Suppose 0*b - 3 = b, -3*d = 4*b + 42. Is d smaller than -9?
True
Suppose 4*a = t, -2*a = -4*a. Suppose 3*c + 2*c = t. Is 2 >= c?
True
Suppose 4*l = 7 + 1. Let p be l + -1*(5 + -3). Suppose -2*n = -n. Are p and n equal?
True
Let y be 0*(4/(-4))/(-1). Is y greater than or equal to -3/10?
True
Let l = 0.1 + 0.9. Which is bigger: 3 or l?
3
Let w = -0.09 + -0.01. Which is smaller: -1/11 or w?
w
Suppose -c + 1 = -1. Let q be (0 + (-2 - -2))/c. Do 0 and q have the same value?
True
Let g(w) = -w**3 + 11*w**2 - w + 3. Let f be g(11). Let t = 4 + f. Do -4 and t have different values?
False
Let o be 14/(-35)*(-115)/(-1). Is o >= -48?
True
Let u be (2/(-4))/(8/64). Let z be 3/18 - u/(-24). Which is greater: z or 2/3?
2/3
Suppose 4*w = -4, 0 = -3*n + 4*w - 0*w + 49. Let f = -8 + n. Is f greater than or equal to 7?
True
Suppose -3*z + 168 = -6*z. Let c be 1 + 4/(z/10). Let g = -2 + 2. Which is smaller: g or c?
g
Let b be (34/6)/(4/(-3)). Is -3 < b?
False
Let p = 73/1680 - -2/105. Which is smaller: 1 or p?
p
Let t = 1 + -41. Is -1 equal to t?
False
Let z = -1 + 1. Let r = 20 - 15. Suppose -10 = g - 3*g + 2*c, r*c = -20. Which is bigger: g or z?
g
Let k be (1/(-5))/(189/18756). Let c = k - -138/7. Is 1 less than or equal to c?
False
Let o(n) = -3*n - 1. Let k = 8 - 9. Let z be o(k). Which is greater: z or 1?
z
Let z be (-28 + 10)*(-2)/32. Which is greater: z or -2?
z
Let a(d) = -8*d + 24. Let z be a(5). Which is smaller: z or -14?
z
Let k = -59/22 + 90/11. Which is greater: 7 or k?
7
Let p be (-1)/12*-3*12. Is p smaller than 0.01?
False
Let z = -81 + 83. Is -0.3 at most as big as z?
True
Let a = -1.8 + 1.69. Let l = 1.91 + a. Let b = -0.8 + l. Is 0.1 not equal to b?
True
Let g = -79/3 + 26. Is 8/7 smaller than g?
False
Let h = 4 - 3. Suppose -5*c + 9 + h = 0, 0 = -5*n - 2*c - 11. Which is greater: n or -4?
n
Let x be (16/(-6))/(20/(-12)). Is 1 greater than or equal to x?
False
Let o = -0.08 + 1.08. Which is greater: 0.1 or o?
o
Let o be (1/(-22))/((-4)/(-4)). Which is smaller: -2/7 or o?
-2/7
Suppose 0 = -3*i + 5*c + 33, -4 = -3*i - 5*c - 1. Let w be (10/15)/((-4)/i). Which is smaller: -1/5 or w?
w
Let b = -15.525 - -0.125. Let j = b + 15. Which is smaller: j or -2?
-2
Let i = 3 - 6. Let d(c) = -3*c**2 + 0*c**2 + 6*c**2 - 2*c**2 + 3 + 3*c. Let r be d(i). Is r smaller than 1?
False
Let q = -25 - -25.5. Which is greater: 2/7 or q?
q
Let a(s) = -7*s. Let f be a(2). Let u be ((-2)/(-5))/(f/(-119)). Let x = u + -129/35. Is x at least 1/4?
False
Let g = 2.6 - 0.6. Is 1/5 smaller than g?
True
Suppose 7*g - 7 = -63. Let b = -17 - -10. Does b = g?
False
Let d = -138 + 1240/9. Let i = -229.9 - -230. Are i and d nonequal?
True
Let u = -5/301 + -2411/54180. Let d = u + 1/9. Which is bigger: 1 or d?
1
Let y = 26 - 25. Is y > 3/5?
True
Let x = 0.1 - -0.9. Let r = 0 - -10. Suppose 3*d + r = 13. Are d and x unequal?
False
Let d = -95/267 - -2/89. Let a(o) = 3 + 0*o + 1 - o. Let p be a(4). Is p >= d?
True
Let q = -709/189 + 26/7. Let p = q - -19/27. Let l(a) = 2*a**2 + 2*a + 2. Let d be l(-1). Which is smaller: d or p?
p
Let w = 2 - 17. Let p = -102 - w. Let b be (-6)/(-27) - p/(-27). Which is bigger: -2 or b?
-2
Suppose 0*y + 2*y = 2*o - 44, -4*o - 20 = 2*y. Which is bigger: -16 or y?
-16
Suppose 19*z + 105 = 14*z. Which is greater: z or -19?
-19
Let m be 2/10 + (-124)/(-5). Is m greater than or equal to 25?
True
Let a = 0.19 - 0.19. Does a = -18?
False
Let u be 24/40 + 4/10. Are u and 1/44 equal?
False
Let w be -2*(99/(-54) + 2/1). Which is smaller: 2 or w?
w
Suppose -u - 4*a - 46 = -4*u, 5*u - 54 = a. Let t = 12 - u. Which is smaller: t or 3?
t
Let d be -1*3 + (0 - -5). Which is greater: 1 or d?
d
Let r(n) = 5*n**2 + n - 4. Let o be r(-2). Which is greater: o or 18?
18
Let m = 5.7 + -2.3. Let a = m - 3. Which is greater: a or -2?
a
Suppose 3*s - 2*s + 3 = 0. Let i = s - -6. Is i equal to 2?
False
Suppose 3 = -3*x, -c - 2*c = -4*x - 262. Which is bigger: c or 87?
87
Let s(t) be the first derivative of -t**3/3 + 7*t**2/2 - t - 1. Let v be (-14)/(-35) - (-28)/5. Let x be s(v). Is x at least 5?
True
Let f(z) = z**2 - 8*z + 7. Let s be f(8). Suppose -5*w + 18 = -3*p, -4*p + s = 4*w + p. Suppose w*v + 5*b = -0*v + 21, 2*v + 2*b = 10. Which is smaller: 1 or v?
1
Let g(s) = -12 - 2*s + 0 + 3*s + 5. Let b be g(12). Is b > 4?
True
Let i = 1883518/347 + -5428. Let x = i - 708/2429. Let g be (2/(-2))/(-5 + 1). Is g != x?
True
Let c be 2 - (-207)/(-209) - 1. Which is greater: c or 0?
c
Suppose 3*a + 0*a - 9 = 0. Is 3 <= a?
True
Let v(a) = a**3 - 12*a**2 + 11*a + 8. Let r be v(11). Let o = 18 + -11. Is o >= r?
False
Let m = -7.029 - -0.029. Which is smaller: -2/5 or m?
m
Let o(q) = -q - 7. Let m be o(-8). Which is greater: -0.14 or m?
m
Let r(u) = u - 1. Let v be r(5). Let a(y) = y**2. Let l = -6 - -8. Let g be a(l). Does v = g?
True
Suppose -8 = -2*b, 4 = 2*g + 4*b - 16. Let o be (-10)/(-3)*(0 + 10). Let w = -34 + o. Is w < g?
True
Let t be (56/(-1092))/(16/6). Which is bigger: t or 1?
1
Let o = -352 + 4931/14. Which is greater: -1 or o?
o
Let u be 20/25 - 1/(-5). Suppose 4*s - 3 = 3*a + u, -5*s - 5*a + 5 = 0. Which is greater: s or -3/11?
s
Suppose 0*k - 2 = k, -2*q = -5*k + 362. Let w = q - -1863/10. Is 1 bigger than w?
True
Let v(i) = 5*i + 4. Let m be v(-1). Are m and 2 non-equal?
True
Suppose -3*g - 5*y - 30 = 24, -y = -g - 10. Is g greater than -53/4?
True
Let r be -2*1*9/(-63). Which is smaller: r or 1?
r
Let z be 1*(-2 + -3) + 1. Let k(y) = -y**2 - 5*y - 4. Let c be k(z). Let x(v) = v**2 + 7*v + 6. Let m be x(-6). Is m smaller than c?
False
Let x = -14235/43 - -331. Which is greater: 0 or x?
0
Let l = 0 + -1. Let g = -10 + 14. Let m be (g/(-16))/(l + -1). Is -1 at most m?
True
Let v be 30/(-4)*(-32)/(-6). Is -40 smaller than v?
False
Let d(k) be the first derivative of k**4/4 + 2*k**3 + 2*k**2 + 9*k - 2. Let n be d(-6). Let u be (-4)/14 - n/28. Is 0.1 at most u?
True
Let x be -1 + ((-110)/(-48) - 2). Let s = 13/12 + x. Let j = 0.2 - 0.3. Which is smaller: s or j?
j
Let h(g) = g**3 - g**2 - 2*g - 1. Let i be h(2). Suppose -2*c - 2 = -0. Is i <= c?
True
Let q = 6.3 + -6. Let p(z) = z**3 - 15*z**2 - z + 16. Let c be p(15). Is q >= c?
False
Let t be 7/(21/18) - 0. Let g be t/18*(-1 - -7). Let a be 6/(-3) - (1 - g). Is a less than or equal to -1/6?
True
Let y be 2*(33/(-10) - -3). Let r = -4/5 - y. Are 0 and r non-equal?
True
Let m = -10 - -17. Let v = -4 + m. Suppose -l = -v*l + 4. Which is smaller: 3 or l?
l
Suppose -2*p + 17 = -3*o, -2*p + 2*o + 18 = 4. Let v = 16 - 11. Suppose -2*g + v*x - 3*x + 6 = 0, x - 9 = -3*g. Which is smaller: g or p?
g
Suppose f = p + 18, -f = 4*f - 2*p - 99. Is -3 smaller than f?
True
Let n be ((-403)/13)/(0 + -1). Is 63/2 equal to n?
False
Let p be 333/1