3/568. Is 0 at most z?
True
Let a = 0.5 + 0.5. Let i = -1.1 + a. Let g be 3*(-3)/((-36)/(-8)). Is g bigger than i?
False
Let t = -1.7 - -0.3. Let w = -1.3 - t. Which is smaller: 0.5 or w?
w
Let w = -438 - -14013/32. Which is smaller: -1 or w?
-1
Let y = 192/35 + -26/5. Let o = -0.2 - -3.2. Let v = o + 2. Does y = v?
False
Let u = -79.25 + 97. Let y = 0.25 + u. Which is smaller: 1 or y?
1
Let s = -1 + 0. Suppose 3*v - 2*v - 10 = 0. Let m be ((-1)/(-5))/(6/v). Which is greater: s or m?
m
Let j(p) = -1 - 4 + 2*p + 2 - p. Let n be j(4). Is n equal to -2/25?
False
Let j be 10/(-5)*2/142. Which is bigger: 1 or j?
1
Let v = 1 - 2. Suppose -2*g + 6*w - 11 = 3*w, -5*g - 8 = -w. Is v >= g?
True
Suppose 12*r - 16*r - 136 = 0. Which is smaller: -36 or r?
-36
Let s be (-6)/(-8) - 5/12. Let n = 4.04 - 0.04. Do s and n have the same value?
False
Let f = -1 + 1.1. Are 7 and f nonequal?
True
Let i be 6/(-4)*(-4)/(-12). Let y = -0.06 + 0.06. Is i at most y?
True
Let u be 0 + (-6)/3 - -4. Let x(w) = w - 1. Let a be x(u). Which is smaller: a or 2/3?
2/3
Let j be 4/(-8) + 4/28. Which is bigger: j or 1/3?
1/3
Let k = -3 + 3. Suppose -5*z + z - 520 = 0. Let g be (-10)/25 + (-72)/z. Is k at most as big as g?
True
Let o = -21 - -31. Let x = -10 + o. Which is greater: x or 3?
3
Let y = -6695/23 + 291. Let o = 2 + -3. Is o less than or equal to y?
True
Let c = 0.02 - -1.98. Let f = -2 + c. Is -0.1 at most as big as f?
True
Let b be 72/154 + 0 + 48/(-168). Which is bigger: -0.3 or b?
b
Suppose -3*p - p = 20. Which is bigger: -4 or p?
-4
Let g = -158 + 1108/7. Suppose 3*t + 3 = -0*t. Is g greater than or equal to t?
True
Let v be (4 + -3)/((-52)/(-24)). Does -1 = v?
False
Let y(w) = 4 - 7*w - w**3 + 2*w**3 + 3*w + 0 + 4*w**2. Let d be y(-5). Is d less than -3/8?
True
Let t = 0.2 - 0.1. Suppose j + 60 = -4*j. Let c = 14 + j. Do c and t have different values?
True
Let r be 0/(-3) - 1*(-2 - -3). Let y(d) = -d - 5. Let w(a) = -2*a**3 - 2*a**2 + a. Let z be w(1). Let b be y(z). Is b smaller than r?
True
Suppose 2*k - 8 = 5*d, 0*d = -2*k + 2*d - 4. Let h be (4/(-6))/(20/k). Suppose 0*s - 3*s = -4*m + 9, 5*m = 3*s + 9. Is m < h?
True
Let b = -0.2 + -0.8. Let d = -4.6 - -4.62. Is b not equal to d?
True
Let g(c) = -c - 2. Let q be g(-1). Let h = -477/1336 - 3/167. Which is smaller: q or h?
q
Let z = 4/79 + -5341/948. Let i = 25/4 + z. Is 0 greater than or equal to i?
False
Suppose -2*m = -4*m - 10, -w = -4*m. Let d be (-15)/w - (-22)/(-8). Which is smaller: -1 or d?
d
Let q(m) = -m**2 + m + 1. Let x be q(-1). Do 2/19 and x have the same value?
False
Let r = -3099962164/215 - -14418483. Let g = 272/5 - r. Let w = g - 101/215. Which is smaller: -1 or w?
-1
Suppose -2*i + 4*b - 68 = -5*i, -2*i = 5*b - 36. Let z be (-18)/(-7)*i/6. Suppose 2*x = -2*w + 2, 5*x = 4*w + x + z. Does -1 = w?
True
Let x = 127 + -133. Let s(o) = -o + 4. Let a be s(5). Which is bigger: a or x?
a
Let u = -0.2 - 0.8. Suppose 0*m - 17 = -m - 4*o, 5*o = 2*m + 18. Which is bigger: m or u?
m
Suppose -2*c + c = -10. Let s be (1/(1 - 2))/c. Which is bigger: -1 or s?
s
Let d = 31 - 120. Let t = -80.2 - d. Let n = -0.8 + t. Which is bigger: n or -1?
n
Suppose 2*l + 41 - 9 = 0. Let f = l - -11. Is f >= -0.1?
False
Let p = 6 + -10. Let l be (-4)/p*(1 + -1). Let z = 28 - 142/5. Which is smaller: l or z?
z
Suppose -28 = -5*v - 8. Suppose -2*c - 7 = 3*f, v*c + 3*f + 10 + 7 = 0. Is c < -5?
False
Let o = -9 - -11. Let f = 7/4 + -5/4. Is f at least o?
False
Let p = 42 - 49. Which is smaller: -0.5 or p?
p
Let b(k) be the third derivative of -k**5/60 + 5*k**4/12 - 2*k**3/3 - k**2. Let x be b(10). Which is bigger: x or -3?
-3
Let g(b) = -2*b - 10. Let s be g(-10). Which is bigger: 12 or s?
12
Let d = -1.6 - -1.3. Which is smaller: d or -0.1?
d
Let j = 0.17 + -0.09. Let z = j + 0.12. Which is smaller: -2 or z?
-2
Suppose 2*w - 10 = -3*w. Suppose j = 3 - w. Suppose -5*a + a = 0. Is j bigger than a?
True
Let w = -8.16 - -8. Are w and -0.1 unequal?
True
Let a be (-2)/4*-4 + -3. Let y = 2 - 3. Do y and a have the same value?
True
Suppose 4*r - 4 = 12. Let t be (r/8)/(3/6). Is t > -1/4?
True
Let y = -8 + 10. Suppose 3 = -r + y*r. Is r at least as big as 4?
False
Let b = -11.5 + 12. Let d = 1 - 1.6. Let k = d + b. Is -2/11 smaller than k?
True
Let p(u) = u**2 - 12*u + 16. Let k be p(11). Suppose -k*s = 2 - 12. Suppose -5*q + 4*n - s*n = 4, 3*q = -n - 9. Which is bigger: q or -1?
-1
Let v = -1 + 2. Let w(j) = -3*j**2 + 57*j + 1. Let y be w(19). Is y bigger than v?
False
Suppose -3*q + 51 = 4*c, -q = 2*c - 2*q - 23. Suppose -y - 4*r - c = 14, -5*y + r = 25. Let h be y/21 + (-132)/(-21). Is h smaller than 6?
False
Let w(x) = x**3 - 7*x**2 - x + 9. Let d(f) = f**3 + f**2 - 3*f + 1. Let q be d(2). Let k be w(q). Which is smaller: 3/5 or k?
3/5
Suppose 65*y - 59*y - 96 = 0. Which is bigger: y or 29/2?
y
Let d = 1.04 + -0.04. Let m(t) = -t + 3. Let j be m(0). Suppose -3*p + 0 + j = 0. Is d greater than or equal to p?
True
Let b be -4 - ((-53)/7 - -3). Is 0 > b?
False
Let r be (13 + 2)*(-2)/(-2). Let o = 5 - r. Is -9 less than or equal to o?
False
Let t = -67 - -62. Is -4 greater than t?
True
Let z = -4/13 + 43/182. Let l = -53/42 + z. Which is greater: l or 0?
0
Let x(j) = -j - 7. Let k be x(-7). Suppose -4 = -k*d - 4*d. Is 0 <= d?
True
Suppose s + 0 - 4 = 0. Suppose s = -6*r + 16. Which is smaller: -2 or r?
-2
Let a = 0 - -7. Let z be a/28 + 1/(-4). Which is greater: z or 1?
1
Suppose 0*b - b = 0. Suppose -5*v + 2 = -2*y, -5*y - v = -b*v + 5. Suppose -3*z + w = -3*w + 9, -3 = -w. Is y greater than or equal to z?
False
Let c = 561/4 + -141. Is c at most as big as -1?
False
Let p be (-2)/6 + 2/6. Let j = -7 - -4. Let q be j*(2 - (-10)/(-6)). Which is greater: p or q?
p
Let l be (-1)/((0 - 1)*1). Let t be (-64)/78 - (-4)/6. Is t bigger than l?
False
Let v = 28 + -30. Is -1 greater than or equal to v?
True
Let b be (10 + 2)/(-3)*-3. Let x be (-2)/b - 140/(-264). Is -1 at most x?
True
Let q = 191 - 3057/16. Which is bigger: 1 or q?
1
Let u(i) = i - 6. Let l be u(-7). Let p be l + 4/(4/(-3)). Which is bigger: p or -17?
p
Let h = 16 - 16. Suppose 4*x + 5*f = f, -3*f = -2*x + 5. Let z be x - (0 + 5/7). Which is bigger: z or h?
z
Let j be (1 + 3 - -1)/1. Let u(m) = 2*m**2 + 3*m + 2. Let k be u(-1). Let z(w) = 4*w**3 - w**2 + w. Let q be z(k). Is q less than j?
True
Let r be (-6)/(-14)*(-484)/144. Let z = r + 4/21. Which is smaller: z or -1?
z
Let n be (-32)/8 - (-6)/2. Let j be (-2)/(n + (-30)/(-2)). Is 0 bigger than j?
True
Let a(h) = h**3 + 5*h**2 + 3*h + 3. Let z be a(-4). Let p be 8/12 + 19/3. Let v = z - p. Is 1/5 less than v?
False
Let b be ((-16)/(-32))/(10/(-44)). Is b <= -1?
True
Let x = -37 + 37. Suppose -4*b = 4*f + 16, -5*f + 2*b - 4*b = 11. Which is greater: x or f?
x
Let z = 1 + 6. Let o(d) be the first derivative of d**2/2 - 5*d + 1. Let i be o(z). Which is greater: i or 1?
i
Suppose 2*l - 364 = -5*c + l, -4*c = 3*l - 300. Suppose 2*u = -2*u + c. Let a = u - 73/4. Is a >= 1/3?
False
Let u be 2/(-6)*6/(-16). Let s = 3 + -4. Which is smaller: s or u?
s
Let c = -35/87 - -2/29. Which is smaller: 0.6 or c?
c
Let w(b) = -b**2 + 4*b - 2. Let n be w(4). Let l = n + 3. Let y = -9 - -19/2. Which is bigger: y or l?
l
Let g = -18 - -11. Is -7 not equal to g?
False
Let u(z) = z**2 + 5*z - 4. Let q be ((-6)/(-15) + 0)*-15. Let k be u(q). Is k less than 3?
True
Let x be 27/2*(-4 - -6). Which is smaller: 28 or x?
x
Let a be (-3)/12 + (-2)/(-8). Suppose -124*j + 114*j = -10. Is a less than j?
True
Suppose g - 2*g - 2 = 0. Let t be 3/3 + g + 2. Let j be 3/(-15)*(-1 - t). Is j smaller than 0?
False
Let t = 1 - 1. Let x be (2/3)/(2 - 40/3). Which is greater: x or t?
t
Let b = -24/7 - -185/56. Let x = -11 - -15. Let i = 5 - x. Is i bigger than b?
True
Let n = -122 - -120. Is 2/31 <= n?
False
Let c(y) = 7*y - 1. Let p be c(2). Which is bigger: 14 or p?
14
Suppose -4*j + 10 = -9*j. Let u be j/10 - (-8)/(-10). Suppose 2*z = -4*l - 8, 6*z = 3*z. Is l at most as big as u?
True
Let b = 2077/90 + -196/9. Let o = 137/90 - b. Is o greater than 3?
False
Suppose p - 16 = -p. Let h(m) = m**2 - 11*m - 7. Let s(f) = 3*f**2 - 23*f - 14. Let b(t) = 5*h(t) - 2*s(t). Let v be b(-7). Which is bigger: p or v?
p
Let y be 5/(-1)*4/910. Are 0 and y non-equal?
True
Let b = 1/9