 z = 14 + -6. Let o be 0*-2*(-2)/z. Let h = -5/2 - -11/6. Is o < h?
False
Let a = -137/18655 + -3/205. Is a >= 0?
False
Let j = 407/30 + -85/6. Let o = -5 - -3. Is o less than j?
True
Let j = -126 - -193. Let m = j - 334/5. Let u = 52 + -52. Which is smaller: m or u?
u
Suppose 4*j + 5 + 43 = 0. Let i be 9/j*16/(-42). Which is smaller: i or -1?
-1
Suppose 0 = 3*q, -c + 5*c = 2*q - 24. Is c > 1/3?
False
Let s be (7/(-14))/((-5)/(-2)). Let b(q) = q + 3. Let l be b(-2). Is s at least as big as l?
False
Suppose -48 = -5*v - 2*i, -4*i - 4 = -0*i. Suppose 0 = 2*t + 3*t + v. Is t bigger than -2?
False
Let k(n) = 4*n**2 - 6*n - 2. Let p be k(2). Which is smaller: 0 or p?
0
Let t(m) = 9*m**3 + m**2 - 1. Let w be t(1). Let h be (-6)/w + 4/(-3). Let q = h - -2. Which is bigger: 2 or q?
2
Let u(p) = 4*p**2 + 12*p + 2. Let h(q) = -q**2 - 4*q - 1. Let v(w) = 7*h(w) + 2*u(w). Let g be v(6). Is g at least 10?
False
Let a(s) = s**3 - 6*s**2 + 5*s. Let m be a(5). Suppose m = -j + 6*j - 65. Is 13 greater than or equal to j?
True
Let z = -12 + 18. Let b = z + -13. Let d = b - -10. Which is smaller: 2 or d?
2
Suppose q - 1 = -8. Is -7 greater than q?
False
Suppose -4*m - 3*t = -11, -4*m + 4*t + 1 = -31. Which is bigger: m or 3?
m
Let x = -127 + 75. Are x and -1 equal?
False
Let m = -63 + 41. Let x = m - -24. Let t be ((-1)/5)/(2/(-8)). Do x and t have the same value?
False
Let f(p) = -p**3 + 10*p**2 + 11*p - 5. Let r be f(11). Let c = -7 - r. Is -2 bigger than c?
False
Let o be (7 + -12)*(-2)/5. Suppose -x = f - 4, -o*f - 8*x + 16 = -4*x. Is -2/11 smaller than f?
True
Let k = 0.38 - 28.78. Let x = k + 26. Let u = x + 0.4. Which is smaller: -1 or u?
u
Suppose 25 = -5*n, 5*v = -3*n - n - 10. Suppose 0 = 3*w + v*w. Is w at least 1?
False
Suppose 2*x + t + 37 = 5*x, 5*t - 55 = -5*x. Suppose 2 = -5*k + x. Suppose q = -k*q - 24. Is -8 <= q?
True
Suppose 11 = -3*q + 5*u + 5, 5*q = 5*u. Let c be 4/28*3/q. Is -1 bigger than c?
False
Let j(c) = c - 4 + 3 + c. Let k be j(4). Let d = k + -6. Is 3 less than or equal to d?
False
Let u = 4 + -3. Suppose 2*r + 25 = -3. Let v be 35/r*8/(-50). Is v > u?
False
Suppose -t + 7 = 1. Suppose x = t*x. Let a be (-2)/(-8) - 1/2. Is a at most as big as x?
True
Let l = -24 + 3. Let c be (-4)/(-10) + l/15. Do -2 and c have the same value?
False
Let i(x) = -2*x - 2. Let q(d) = -1. Let o(s) = s - 4. Let y(c) = -o(c) + 5*q(c). Let t(f) = 6*i(f) - 11*y(f). Let j be t(-2). Is 2/7 at least as big as j?
False
Suppose 2*s + h = s - 1, -5*s + 13 = -h. Suppose 5 = s*g + 3*r + 13, 4*r + 8 = 0. Let p = -3 - g. Do p and -4/3 have the same value?
False
Let m = -3 + 3. Suppose 0 = -5*f - m + 15. Suppose 0 = 4*v - 3*k + f, -3*v + 29 = k + 3*k. Is 4 != v?
True
Let x(w) = 5*w**3 + 5*w**2 - 7*w - 3. Let y(c) = c**3 - 1. Let s(v) = -x(v) + 4*y(v). Let l be s(-6). Are l and -7 equal?
True
Let x be (30/75)/(1/55). Suppose i = -i + x. Is i at most 11?
True
Let h(j) = -2*j + 5. Let l be h(7). Which is greater: l or -1?
-1
Let v(s) = -s - 1. Let z be v(-2). Let n be 0 + (1 + 0)/z. Is n greater than or equal to 2?
False
Let y be -3 - -6 - (-3)/((-3)/16). Is y greater than or equal to -11?
False
Let c = 2 - 2.1. Let q = 2 + -1.7. Which is greater: q or c?
q
Let x be (3 - (-1)/(-1)) + -1. Let l be (x/(-9))/((-4)/12). Suppose 0 = w - 2*j - 7 - 0, -5*j = 4*w + 11. Which is smaller: l or w?
l
Let y = 159 - 158. Is -2/27 less than y?
True
Let q = -14 - -15. Suppose -q - 5 = 3*l. Which is smaller: l or -1?
l
Let s = 1 - -3. Suppose -5*v + 1 = -s. Is 3/5 greater than or equal to v?
False
Let x = -1 + 0.9. Are x and -3 unequal?
True
Let z = 0.9 + -1.16. Let o = 0.06 + z. Is o less than 3?
True
Suppose 8 = l + 3*l. Suppose -3*q = l*q. Suppose 29*k - 1 = -1. Are k and q equal?
True
Let o = -1.3 + 1.2. Let h = 7 + -12. Let k = -4.97 - h. Which is smaller: k or o?
o
Suppose -2*u - 3*u + 3*f = 19, -u = 2*f - 4. Is u > -9/5?
False
Let j = 12 - 12. Which is smaller: j or -1?
-1
Let b(p) = p**3 + 4*p**2 - p. Let c be b(-4). Suppose -3 = m - c*m. Let z(g) = -g**3 - 9*g**2 + 9*g - 10. Let a be z(-10). Which is smaller: m or a?
a
Let f = -17.05 - -17. Which is smaller: f or 0.2?
f
Let x(u) = -u**2 - 7*u - 1. Let s be x(-6). Suppose 0*k - s = 5*k. Suppose 7*g + 10 = 2*g. Is k greater than or equal to g?
True
Let h = 1 - -7. Suppose -2*g = g. Let j be (-2)/h + 0 + g. Is j less than or equal to -1?
False
Let c = -125 + 257/2. Which is greater: -0.2 or c?
c
Suppose 3*x - 15 + 0 = 0. Suppose g + 2*l + 4 = -2, -l = -x*g - 8. Let k = g - -4. Are 3/2 and k non-equal?
True
Suppose 6 = 3*g + p - 34, -2*g - 2*p = -32. Suppose 3*q - 2*s = g, 0*q - 4 = q + 2*s. Which is bigger: 3 or q?
3
Suppose 13*s - 8*s - 10 = 0. Which is greater: s or 4?
4
Let u be 1 - (9 - 2/(-2)). Let z = u + 3. Let a be (z/(-4))/(-3)*-10. Is 3 at most as big as a?
True
Let s be (-2)/(-6)*3 + 2. Let p(x) = 3*x. Let a be p(1). Is a at least as big as s?
True
Let w = -16 + 35. Which is smaller: w or 18?
18
Let g = 0 + 6. Let k be 2/(-4*(-3)/6). Suppose -k = 5*j - g. Which is smaller: 1/6 or j?
1/6
Suppose 0 = -2*s + 3*s. Suppose 4*q - 2 - 6 = m, -q - m + 7 = s. Which is bigger: 5 or q?
5
Let r(j) = 8*j + 33. Let t be r(-4). Which is smaller: t or -5/21?
-5/21
Suppose -3*r + 0 - 7 = j, 4*r - 4 = -4*j. Let k(u) = -u**3 - 11*u**2 - 10*u + 5. Let g be k(-10). Is g <= j?
True
Let h be 1/3 - 80/(-12). Suppose 2*d = h*d + 2*z - 2, -3*d = -5*z + 5. Which is smaller: 1/2 or d?
d
Let b(l) = l**2 + 4*l. Let x be b(-4). Suppose 3*r + 4 - 1 = x. Let h be r*0/(-1) + 2. Is 3 greater than h?
True
Let s be 8/6*(-2 - 1). Let t be -2*(-1 - -2) + s. Is -5 < t?
False
Let z = 0.054 - -0.046. Is z less than or equal to 6/11?
True
Let g = -5 - -13. Suppose -2*h + 0*h - g = 0. Suppose -5*i - 15 = 2*a - 4*a, -4*i - 3*a - 12 = 0. Is i greater than h?
True
Let y = -12 - -5. Let z be (3/(-5))/(y/105). Which is smaller: z or 1/2?
1/2
Let b be 112/(-58) + (-16)/(-8). Which is greater: b or -1?
b
Suppose -3*u - m - 8 = 0, 0*u - 3*m = -3*u + 12. Let g be (u/(-6))/(-2 - -3). Let b(c) = -c**2 + 3*c - 2. Let k be b(2). Do k and g have different values?
True
Suppose c - 6 = -2*c. Suppose 4*v + c + 6 = 0. Is -2 less than v?
False
Let d(w) = -w**3 + 6*w**2 - 4*w + 1. Let m be d(5). Suppose 0 = 6*k - 3*k + m. Which is smaller: -1 or k?
k
Suppose 4*v - 12 = -2*b, -3*b + 10 + 6 = 5*v. Suppose b*q - r - 6 = 0, 2*r + 20 = -3*r. Let h(w) = -w - 5. Let u be h(-6). Is q at most u?
True
Let s = -20327/29 - -701. Suppose 0 = 5*t + 3*i + 40, 0*i + 2*i = -2*t - 12. Let b = t + 10. Which is smaller: s or b?
b
Let s be 2*4/(-4)*-2. Let t be (2/(-12))/(s/(-16)). Is t less than 2/5?
False
Let t be 1/(-4) + (-3843)/36. Let w = t + 1176/11. Which is bigger: w or 0?
0
Let q = 16 - 6. Is q at least as big as 11?
False
Let c = -0.96 + -0.04. Let r = -0.7 + -1.3. Let j = r - -1. Is c bigger than j?
False
Suppose l + 1 = 2*p - 6, 0 = -p + 3*l + 11. Which is bigger: p or 3?
3
Suppose -2*q - 1 = -q. Are q and 1/11 equal?
False
Suppose -63*y = -61*y - 6. Is 11/3 less than y?
False
Let p be (1 - -1)*9/15. Let w(x) = -x + 4. Let h be w(3). Is h > p?
False
Let i = 2 - 2. Let t = 11 + -10.2. Let z = t - 0.7. Which is greater: z or i?
z
Let a be ((-2)/(-30))/((-123)/(-18)). Which is smaller: a or 0?
0
Let a = 52 + -108. Is a less than -57?
False
Let r = 32 + -18. Let y be 4/r*(-1)/3. Which is greater: 1 or y?
1
Suppose 12*k + 58 = 10. Let z = -11 + 8. Which is greater: k or z?
z
Let h be 105/(-110) - 2/(-2). Which is smaller: h or 2/9?
h
Suppose -2*l - 4*k = 2*l + 12, -2*k + 18 = -2*l. Let b be (-18)/15*l/9. Which is greater: 0 or b?
b
Suppose 0*j + 7 = j. Let y = j + 14. Suppose -4*z + 5*i = -y, z + z = 2*i + 10. Which is greater: 2 or z?
z
Suppose -2*k + 2 = -2. Let h be k/6 + (-16)/(-6). Suppose 2*f - 4 = -0. Is h at least as big as f?
True
Let f = 11 + -17. Let h be 126/297 - (-2)/f. Which is smaller: h or -0.1?
-0.1
Let p be (45/(-6))/5 - (-43)/2. Which is smaller: 21 or p?
p
Suppose 21*v - 23*v - 36 = 0. Which is bigger: -17 or v?
-17
Let z be (-2)/(-6) + 14/(-6). Suppose 3*c + 22 = -4*t + 13, -4*t + 12 = -4*c. Which is bigger: z or t?
t
Let l(d) be the second derivative of -d**4/12 - 7*d**3/6 - 5*d**2/2 + d. Let r be l(-6). Suppose 1 = 4*k + 9, 4*k = p - 8. Which is bigger: p or r?
r
Let