Is 15/8 at most z?
True
Suppose 0 = -2*u - 2*b + 2, 3*u + 5*b + 0 = 1. Let y be -4 - (-2 + (-3)/3). Let o = y - -2. Is u <= o?
False
Let p = 255/4 - 63. Let w = -9 + 19. Suppose 4*m = -m + w. Which is greater: m or p?
m
Suppose 4*f + 668 = -g, f + 4*g = 2*f + 184. Let r be 1*4*(-3)/f. Is 1 at most r?
False
Let v be 203/28 + (-1)/4. Let g be ((-1)/v)/((-3)/(-6)). Which is smaller: g or -2?
-2
Let h = -3 + 0. Suppose 3*r = 7*r - 16. Suppose -y - d + 17 = -5*d, 4*y + r*d = -32. Is y at least h?
True
Let m = 8003/9 + -891. Which is smaller: m or -1?
m
Let h be 4/(2*(-1)/(-1)). Suppose 0 = 2*v + 4*k - 14, v - h*k + 14 = 3*k. Suppose n = 2*n + v. Which is smaller: n or -2/5?
n
Let m be 6555/55 + 4/(-2). Let v = m - 117. Which is smaller: v or 1?
v
Let o = 0 - -0.2. Let x = 0.1 + 0.4. Let p = -0.5 + x. Which is smaller: p or o?
p
Let c be (-48)/(-18)*2/(-8)*15. Which is smaller: -39/4 or c?
c
Suppose -9 = s - 0*s. Let j = 16 + -24. Is s at least as big as j?
False
Let m(r) = -4*r**3 - r**2. Let v be m(2). Let c be 408/v - (-2)/(-3). Is -13 greater than c?
False
Let b be 268/310 + (-24)/30. Is b at most as big as 0.1?
True
Suppose 0 = -3*u + 7 + 5. Suppose 2*f = u, 2*f + f = -3*b + 15. Let i(t) = t - 5. Let r be i(4). Do b and r have different values?
True
Suppose -18 + 12 = -n. Which is smaller: n or 2?
2
Let l be 2*((-1)/(-4))/((-3)/30). Is -5 >= l?
True
Let i be ((-7)/14)/(2/(-4)). Is i less than or equal to 1?
True
Let p be (-414)/(-27)*3*1. Which is greater: 1 or p?
p
Let y = 13 + -7. Suppose 2*f + 3*q = 3*f - 6, -2*q - 11 = -3*f. Let s = f - y. Is s < -3?
False
Let v = -8 + 8. Let o be (-2 - -3)/(v - 1). Let s be 8/14*1/(-2). Is o less than or equal to s?
True
Let g(v) = -6*v - 7. Let b(i) = 5*i + 8. Let s(n) = -3*b(n) - 2*g(n). Let o be ((-10)/(-2))/(1 + -2). Let z be s(o). Is z less than or equal to 5?
True
Let l be (3/(-3) - -4) + -5. Suppose -j = -4*q - 9, 4 + 0 = -4*q. Let t = l + j. Is t <= 3?
True
Let m(p) be the first derivative of -p**2/2 + 2*p + 2. Let u be m(-2). Suppose -l + 2*z + 0 + 7 = 0, 0 = -l + u*z + 13. Is -1 smaller than l?
True
Let g be (1 + -1)/(-6 - -7). Let s = 0.2 + 2.8. Is s at most as big as g?
False
Let t = -67.3 - -67. Are 1.7 and t nonequal?
True
Let q = 12 - 13. Suppose w = 2*w - 4*x - 1, -5*x + 2 = 2*w. Which is greater: q or w?
w
Let i be 1*((-4)/2 - -5). Let z be (-1)/(-3) + 10/6. Let f = i - z. Which is smaller: f or 2/7?
2/7
Suppose -5*v = -5*f + 15, 0 - 3 = v + 5*f. Let o = 2 + -2. Let a be o - 3/(1 - -2). Are v and a nonequal?
True
Let u = 6 + -3. Let o = u + -3. Let t be -2 + 3 - (o + 2). Is -1 less than or equal to t?
True
Suppose -3*v = -3*t - 36, 0 = -2*t + 7*t - v + 76. Suppose 6*u = 3*u - 66. Let k = u - t. Which is greater: -7 or k?
k
Suppose p + x + 21 = -3, -3*x - 120 = 5*p. Let u = p - -94. Let y be (8/u)/((-42)/35). Is 1 > y?
True
Let c = 85 - 73.2. Let y = 12 - c. Which is smaller: y or 0.06?
0.06
Suppose -2*z = -6*z + 8. Suppose z*n = 4*n - 16. Suppose -n = b + 3*b. Which is smaller: -4/5 or b?
b
Let g be 142/6 + 10/(-15). Let v = g - 45/2. Let t be (-2)/(-5) + (-2)/5. Which is smaller: v or t?
t
Let u = -6.93 - 0.27. Let m = -7 - u. Let b = -1.2 + 0.2. Is m at most b?
False
Let n = 14 + -10. Suppose -4*h + 0*h = n. Let r be ((-3)/(-2))/(42/(-8)). Is h at most r?
True
Let b = 30 + -483/16. Which is smaller: b or 1?
b
Let f(a) = -2*a**3 + 3*a**2 + 2*a - 1. Let h be f(3). Which is smaller: h or -23?
-23
Let a = -6 + -33. Is -39 at least as big as a?
True
Let b be ((-9)/3 + 3)/(-2). Which is bigger: -3/10 or b?
b
Let c = 105 - 94. Is c at least 9?
True
Let w = 0.6 - 1.6. Let k be 6/(-15)*(-1)/(-2). Do w and k have different values?
True
Let u = 1.8 - 0.8. Let i(a) = a**3 + 9*a**2 - 10*a. Let l be i(-10). Let z = 1 + l. Is z greater than u?
False
Suppose c + i - 5 = 0, -10 + 2 = -2*i. Is -5/14 at most c?
True
Let t(y) = y**2 - 7*y + 7. Let i be t(7). Let j = i - -13. Let n be 8/j - 6/(-10). Is n at least as big as -3/10?
True
Let j(a) = a**3 - 4*a**2 + 1. Suppose g + 8 = 4*o + 3*g, 3*g - 12 = 3*o. Suppose -l + 4 = -o. Let v be j(l). Which is smaller: v or -1/3?
-1/3
Suppose -p + 2 = 5*q - 8, -3 = 2*q - p. Is -4/39 at least q?
False
Let d = 14 + -6. Suppose -u = u - d. Suppose -u = -r + 1. Is r at most 4?
False
Let z be 6/(-15)*(-208)/198. Let q be (-2)/4 + 95/198. Let t = z + q. Which is bigger: t or -1?
t
Suppose -2*w = -w - 5*y + 21, 3*w + y + 31 = 0. Is w smaller than -1/12?
True
Let q = -15960509447/38847105 - 4/706311. Let l = 6000/11 + q. Let a = l - 135. Does 1 = a?
False
Let f = 7.6 + -9. Let z = f - -0.4. Let m = 2 + z. Which is greater: m or -1?
m
Let o = 3/131 + -283/917. Let v = 2 - 3. Is o bigger than v?
True
Suppose -29 = -3*x + 1. Let f = 10 - x. Is 3/4 at most as big as f?
False
Let b(a) = a**2 + 16*a + 15. Let n be b(-15). Is 0.13 smaller than n?
False
Let w = -18 - -16. Let p = -157 + 103. Let i be (-2)/(-9) - (-39)/p. Which is smaller: w or i?
w
Let k = 5 - 6. Let b(n) = -3*n + 1. Let t be b(k). Suppose 5*c + t = -1. Is -1/9 greater than or equal to c?
True
Suppose -4*h + 39 - 3 = -3*l, 22 = h - 4*l. Let s = -7 + h. Is s <= 2/17?
True
Let a = -11 + 7. Let o be (-6)/a*14/(-63). Suppose 3*q = q. Does o = q?
False
Let k(c) = -c**3 + 4*c**2 - 2. Let m be k(3). Is 9 < m?
False
Suppose 5*c + 4*l = 38, -2*c - 2*l + 17 = 3. Which is bigger: c or 11?
11
Let l(y) = 3*y + 1 - 4*y**2 + 3*y**2 - 3*y**3 - 2*y. Let i be l(-1). Suppose i*o - 6 = -o. Which is smaller: 1 or o?
1
Let v = 4 - 3. Let x = 0.1 + 0.4. Let w = x + -0.4. Which is greater: w or v?
v
Let a(x) = x**3 - 9*x**2 - 10*x + 2. Let r be a(10). Suppose -y + r*y + 1 = 0. Let k be 2/(-7)*y/2. Is k bigger than -1?
True
Suppose 4*h - 4 = 2*r, -2*r + 6*h - h - 4 = 0. Which is smaller: 0 or r?
r
Let c = 1.22 + -0.22. Is 2 >= c?
True
Let c = -7 - 0. Let l = 7 + c. Is 4 less than l?
False
Suppose -z = -3*q - 27, -2*z = -3*z - q + 11. Suppose j + 4*j - z = 0. Suppose -2*d = 1 + j. Which is bigger: -1 or d?
-1
Let k = 1 + -1.5. Let d = 10/7 - 23/21. Do d and k have the same value?
False
Let g = 10 + -4. Which is greater: g or -1?
g
Let f = 22 + -31. Let l = f + 10. Do 12 and l have the same value?
False
Let c = -5 + 1. Let z(k) = -k + 5. Let d be z(c). Let o = d - 10. Is -1 at least as big as o?
True
Let c = 187 + -186. Let x(r) be the second derivative of r**4/12 + 5*r**3/6 - r**2/2 - r. Let o be x(-5). Which is smaller: o or c?
o
Let s = -1/5 - -7/10. Let p(o) = -2*o**3 - 2*o**2 + o - 2. Let r be p(-2). Let v be (-14)/(-10) + r/(-10). Which is bigger: s or v?
v
Let w(u) = u**3 + 7*u**2 + 7*u. Let z be w(-5). Let s be 6/z + (-26)/(-10). Let m = 1 + 2. Is s at least m?
True
Suppose -b = -6*b + 35. Let x = b + -10. Is x at least as big as -2?
False
Let i = 23 - 32. Suppose 3*l = 15, 4*l - 15 = 2*y + 21. Let k = i - y. Is k greater than 3/7?
False
Suppose -f + 4 = d, 0*d - 4*f + 10 = -2*d. Suppose -r = 5*b - 20, 4*r - 3*b = -0*b + 34. Suppose -5*k - r = -i + 3*i, 3*i - 5*k - 10 = 0. Are i and d nonequal?
True
Suppose 0 = 3*t - 2*u - 49, 4*u = u + 3. Is 17 bigger than t?
False
Let h be (-7)/28 - 2/(-8). Is h greater than or equal to 12/11?
False
Suppose 0 = -2*n - 7*b + 2*b + 146, -2*n + 140 = 2*b. Is n at most as big as 68?
True
Let i(x) = x - 2. Let q(z) = -z + 1. Let r(m) = -5*i(m) - 4*q(m). Suppose 13*d - 80 = -3*d. Let l be r(d). Which is smaller: l or -1?
-1
Let v = -27 - -68. Which is smaller: 40 or v?
40
Let y be 2 - 2/(-12) - 2. Which is bigger: y or 1?
1
Let c be 3 - ((-44)/36 - -4). Suppose 2*w + v - 2 = 3*v, -5*v = 2*w + 5. Is c less than w?
False
Let f be -3 + (2/(-1))/(2352/(-3522)). Which is smaller: 0 or f?
f
Let m(b) = b**3 - 4*b**2 - 4*b - 5. Let d be m(5). Let h be (d*2/6)/2. Let y be (-35)/21*(-1)/(-5). Which is smaller: h or y?
y
Let a(j) = 2*j - 18. Let z be a(-8). Is -34 < z?
False
Suppose 2*a - 34 - 12 = -z, -a + 3*z + 30 = 0. Let w be (-1 - (-28)/a)*2. Let n(f) = f**2 - 7*f + 1. Let s be n(7). Is s >= w?
True
Let a = 64 + -62. Suppose 3*s = 4*x + 5, -2*x = -s - 6*x + 7. Is a equal to s?
False
Let k(w) = -3*w**3 + w**2 + 4*w - 1. Let c be k(2). Is c less than -12?
True
Let v be ((-1)/(-2))/((-3)/24). Is v not equal to -4?
False
Let u(i) = i**2 - 6*i + 7. Let v be u(5). Suppose 0*p = -2*p. Suppose -3 = -y - p*y. Is v !