et d be 25/(-3) + (-2)/(-6). Let t be 18/d*(-2)/3. Let u be (-13)/(-5) - 2 - (-4)/10. Which is smaller: u or t?
u
Let m = 15 - 22. Which is greater: -5 or m?
-5
Let b = -8/91 + 500/1547. Is -1 not equal to b?
True
Suppose -3*k + 6 = 4*u - u, -3*k - 24 = -3*u. Suppose 5*t + 18 - 43 = -3*v, 0 = -5*t + u*v - 15. Is 2 bigger than t?
False
Suppose -4*p - w - 2 = -1, -5 = p + 5*w. Is p at least as big as -8/11?
True
Let u be (-6 + -1)/((40 - 1)/(-3)). Is u <= 0?
False
Let f(k) = 6*k**3 - 1. Let v be f(1). Suppose -5 = 4*g - 0*g - v*u, 4*g + 1 = u. Is -2 > g?
False
Suppose 86 = 5*g + 2*n, -2*n - 3*n + 15 = 0. Let f = g - 23. Which is bigger: -5 or f?
-5
Let z = 174 - 174. Which is bigger: -1/2 or z?
z
Let n be (4 + 8/(-2))/(-1). Do -2/61 and n have the same value?
False
Let o = -0.6 - -0.59. Let b = -0.06 - o. Let q = b + 1.05. Which is smaller: -1/4 or q?
-1/4
Let s = -15 - -45. Is s < 31?
True
Let p(a) = -3*a + 6. Let y be p(5). Let i = 51.9 - 52. Is i != y?
True
Let x(t) = -3*t - 10. Let r be x(-7). Which is smaller: r or 9?
9
Let z(u) = -9*u**3 + 11*u**2 - 14*u + 3. Let v be z(2). Which is smaller: v or -51?
v
Let i = 8 + 34. Suppose 2*p = -p + i. Let k be p/10 + 4/(-10). Are 0 and k equal?
False
Let a = 2 - 4. Let s be 0 + (a - -2)/(-1). Suppose -2*f = -0*f + 2. Which is smaller: s or f?
f
Suppose -8 = -q + 3. Suppose 4*n = 3*u + q, 2*n + 2*u = -0*n - 12. Is n smaller than -1?
False
Let b = 27 + -22. Let k = -11 - -15. Is k > b?
False
Let y = -0.07 - -0.05. Let f = -0.372 + 4.392. Let d = y + f. Which is bigger: -1 or d?
d
Suppose 6*w - 28 = 2*w. Suppose 8 = -3*p - w. Which is smaller: -4 or p?
p
Suppose -4*p + 0*o = 4*o - 36, 0 = 2*p + 3*o - 20. Which is smaller: 6 or p?
6
Let v be 6/(-2) + (-2)/5. Let w = v + 19/5. Is 1 less than or equal to w?
False
Let p be (-28)/12 + 12/4. Which is greater: 0.02 or p?
p
Let u(h) = h**2 - 4. Let o be 1/((9/6)/3). Let i be u(o). Which is smaller: 5/4 or i?
i
Suppose -5*a - 5 = -j + 13, -3 = -4*j - 3*a. Suppose 3*x = 2*x + j. Let h be x + -1 + 56/(-30). Is h < 1?
True
Let s be 3/(-15)*(2 - -2 - 1). Does -1/5 = s?
False
Let h = 17 - 17. Let u be (-1 + 2)/(h - 1). Which is smaller: -12/7 or u?
-12/7
Let u = 135/424 + 3/53. Let q = -24 + 25. Is u >= q?
False
Let j = -9 + 10. Let n be -7 - -8 - 4/j. Which is greater: n or -3/2?
-3/2
Let c = 9671053/144 + -67161. Let l = c + 11/16. Do 0 and l have the same value?
False
Let k = 103/4 + -26. Which is smaller: -0.1 or k?
k
Let f = -30 - -45. Let t be f/(-10)*(-8)/6. Let k = -4 + 3. Is k < t?
True
Suppose 0 = k - 5*w + 18, 5*k - w = 4 + 2. Let s be (((-60)/k)/3)/1. Is s less than or equal to -11?
False
Let t = 0 + 1. Let z be -1*(1 - 1)/1. Let g = z + t. Is -2 > g?
False
Let o(r) = r - 3. Let p be o(5). Let j be -1 - p/(20/(-6)). Suppose -2 = -x - 3*n, 5*x + 1 + 0 = -4*n. Is j > x?
True
Suppose -3*d + 16 = 25. Which is bigger: 0.06 or d?
0.06
Suppose -3*j + j = 5*i - 10, 3*j + 23 = 2*i. Let b be (i + -1)/(-3) + 19. Suppose 0 = v + 4*y - b, 0 = -5*v + 2*v - 2*y + 14. Is v not equal to -1?
True
Let s = -1/44124 + -367577/5427252. Let k = s - -8791/8118. Let z = k - 13/11. Which is smaller: z or -1?
-1
Let w = -1 + 2. Let z be 2/5*(-7305)/(-36). Let p = z + -81. Is p at most w?
True
Let u(t) = t**2 - 7*t - 2. Let l be u(8). Which is smaller: l or 9?
l
Let h be ((-15)/5)/((-2)/(-8)*3). Suppose 3*n + 2*n = -5. Which is smaller: h or n?
h
Let q be 12/42 - (-80)/14. Let g(h) = h - 7. Let w be g(q). Which is smaller: -2 or w?
-2
Let q(x) = -x**3 - x**2 - x - 4. Let p be q(0). Let k be p/12*13/(-1). Which is bigger: k or 5?
5
Suppose 0 = -5*n - 5*f - 10, 24 = -0*n + 2*n - 5*f. Suppose 0 = -0*c - n*c + 2. Let v be c/2 + (-3 - -2). Is -1 greater than v?
False
Let t = 1/23 + 41/115. Which is bigger: 0 or t?
t
Suppose -5*q - 11 = -4*u, q + 19 = 7*u - 2*u. Let g = -6 + u. Which is smaller: g or -1?
g
Suppose l - 5*l + 8 = 0. Let k be 0 + 2 + 10/(-2). Let q = 5 + k. Is q at most l?
True
Let x = 0.083 - -0.217. Let a be 1/1 + (2 - 1). Are a and x non-equal?
True
Let o(r) = r**3 - 8*r**2 + 9*r + 16. Let b be o(5). Are -16 and b equal?
False
Let l = -7/16 - -195/464. Which is greater: -1 or l?
l
Let l = 0.3 + -0.4. Let y = -1.6 + 1.4. Which is smaller: y or l?
y
Let y be 88/(-104) + (-6)/39. Which is smaller: y or 1/30?
y
Let w(y) be the third derivative of y**5/60 + y**4/4 - 7*y**3/6 + y**2. Let r be w(-7). Which is bigger: r or -1/4?
r
Let w = 1.1 + 7.9. Let a = 9.1 - w. Which is bigger: a or -5?
a
Let p = 0.61 - 0.71. Which is smaller: p or -172?
-172
Let l be 110/(-75) - (18/(-10) - -1). Which is smaller: 7 or l?
l
Let j = -13915/2 + 6815. Let q = 147 + j. Is 4 smaller than q?
True
Suppose -6 = h + 2. Let z be (-4)/(-6)*(10 - 94/4). Is z >= h?
False
Let n(g) = -g**2 + 2*g + 1. Let q be n(2). Suppose -15 = 3*j - 8*j. Is j less than q?
False
Let q be ((-2)/(-66))/((-2)/(-6)). Let h be (-1)/(4 + (-1 - 2)). Which is smaller: h or q?
h
Let m = 8 - 20. Let q be m/(-15)*2/4. Is q not equal to -1?
True
Suppose -10*g + 35 = -3*g. Suppose 0 = -x - 4 - g. Is -9 bigger than x?
False
Let q(u) = u**3 - 2*u**2 - 2*u + 3. Let y be ((-5)/(-15))/(1/9). Let t be q(y). Are 6 and t unequal?
False
Let k(h) = h**3 + 5*h**2 + 2*h - 4. Let a be k(-4). Suppose 4*i = -a + 36. Suppose -i = -3*o - o. Is 1/2 < o?
True
Suppose -3*n + 604 = -4*b, -2*n + 400 = -0*n - 4*b. Suppose 6*j - j - 4*z = 998, 3*z + n = j. Let f be 2/(-3) + 168/j. Which is smaller: 0 or f?
0
Let g be ((-1)/(-2))/(-1)*4. Suppose 3 = 3*k - 0, 3*q + 1 = -2*k. Which is smaller: g or q?
g
Let d be (-1)/(-2) - (-3)/(-6). Let z be d*(-2 + 1)/2. Suppose z = -3*i + i. Is i greater than or equal to -3/5?
True
Let r be 24/18*(-1)/(-2). Is -0.4 >= r?
False
Let o be (36/(-16))/((-6)/16). Suppose o*a - 27 = 3*a. Which is smaller: 8 or a?
8
Let i(w) be the second derivative of -1/20*w**5 + 2*w - 5/12*w**4 + 7/6*w**3 + 2*w**2 + 0. Let u be i(-6). Which is smaller: u or -3/2?
u
Suppose -6 = -5*v + m - 14, 5*v = -4*m - 18. Let s = 7 + -11. Which is smaller: v or s?
s
Let y be ((-9)/(-6))/((-3)/(-4)). Let b(i) = i**2 + 10*i + 24. Let j be b(-6). Which is smaller: j or y?
j
Let b = -5 + 5. Is b > -2/47?
True
Suppose 1 = -5*w - 3*l, -3*l + 6*l = -w - 5. Is w greater than or equal to 3?
False
Let b = 0.3 - 0.1. Suppose 0*q = 5*z - q + 150, -2*q = -3*z - 90. Let y be -4*((-21)/z)/7. Which is bigger: b or y?
b
Suppose 8 = -5*g - 37. Which is smaller: -8 or g?
g
Let q(y) = -y**3 - 8*y**2 - 8*y. Let c be q(-7). Let v be ((-8)/(-6))/((-19)/(-114)). Are c and v nonequal?
True
Let x = -8.7 + 0.7. Is 1 bigger than x?
True
Let a(s) = -s**3 + 5*s**2 + 5*s + 4. Suppose -5*u = -3*q + 33, 2*q - 12 - 15 = 5*u. Let w be a(q). Do -2 and w have the same value?
True
Let u = -0.8 - -0.83. Let p = 1.03 - u. Is p greater than -0.2?
True
Let a = 83 + -91. Which is smaller: 0 or a?
a
Let k = 9 - 8. Is k at most as big as 2/73?
False
Let b = 17 + -23. Suppose -p = 2*p + 18. Are p and b nonequal?
False
Let y be 1*(2 - (4 + -1)). Is -2/7 smaller than y?
False
Let z = 6 - 12. Let w = z - -10. Let b = w + -3.7. Which is smaller: 2 or b?
b
Let g = 8/13 + -81/26. Suppose -8 = -l - l. Let f be 184/(-44) - l/(-22). Are f and g non-equal?
True
Suppose 3 = -5*h - 2*i - 16, 13 = -5*h + i. Let k = -6 - -3. Does h = k?
True
Let y(c) = 3*c**2. Suppose 4*m = 4*d - 4, -2*d + 1 = -7*d + 2*m. Let x be y(d). Suppose -5*u - 2 + 37 = x*b, 2*u + 2*b = 18. Is 2 at most u?
True
Let p = -0.11 - -3.91. Let s = 4 - p. Let x = s - 0.3. Which is greater: -4 or x?
x
Let t(v) = v**3 - 5*v**2 + 8*v - 8. Let d be t(8). Let y = 1739/7 - d. Which is greater: 1 or y?
1
Let z = -648/5 + 130. Let b(f) = -f**3 + 7*f**2 + 7*f + 8. Let m be ((-6)/5)/((-3)/20). Let d be b(m). Which is smaller: z or d?
d
Suppose -10 = 6*i - i, 5*f - 85 = 5*i. Let x be 2/f*(5 + 0). Which is smaller: x or 5?
x
Let w = 1.1 - 0.8. Let l = 0 + 0. Let v = -0.1 - l. Does w = v?
False
Let i(g) = -g**3 - 2*g**2 - 1. Let c be i(2). Which is greater: c or -16?
-16
Suppose 4*r - 7 = 3*w + 2, -1 = -4*w + r. Let n = -3 + w. Let a be (-1)/n*(-6)/9. Which is bigger: -1 or a?
a
Suppose -5*x + 8 = -h, -2*h + 14 = x + 4*x. Which is smaller: 23/7 or x?
x
Let y be (6/(-1))/(-4056979 - 0). Let t = 1586268475/6973946901 + y. Let u = 1/191 - t. Is 1 equal to u?
Fa