 = -b + 3*o + 9, 0 = -b - 2*o - 3*o - 15. Let n(s) = -s - 5. Let h be n(-7). Suppose 0 = 4*w - 8, -2*w + 6 = -i + h*w. Is i > b?
True
Suppose -12 - 2 = 2*q. Is -6 smaller than q?
False
Let z = -2/5 + 3/20. Let c = 12 + -7. Is c greater than z?
True
Let m = 4 - 3. Let c = 1303 - 3865/3. Let h = 15 - c. Is h <= m?
True
Let w = 16 + -11. Let z = w + -5. Are 0 and z non-equal?
False
Let t = -7.9 + 8. Is 12 greater than t?
True
Let c be 2 - (-2 - -2) - 1. Let z = -2 + c. Suppose -4*k - 3*q = -0*k - 8, 5*q = 3*k + 23. Are k and z non-equal?
False
Let i be 1/(4/24*2). Let k = i + -3. Which is bigger: -6/13 or k?
k
Let c be ((-33)/(-6))/(2/4). Suppose -t + 0*y + 5*y = 3, 3*t - c = -5*y. Is 1/2 >= t?
False
Suppose 2*v = -0*p - 5*p + 42, 0 = 4*p - 2*v - 30. Which is smaller: p or 7?
7
Let l(o) = -3*o**2 - 4*o - 3. Let f be l(-2). Let n(t) = t - 4. Let q be n(6). Suppose q*i + 24 = -2*i. Which is bigger: f or i?
i
Suppose k = -i + 1, -5*i - 2*k + 5 = -0*k. Let j be (2/3)/(2/3). Is j greater than i?
False
Let o = -0.08 - 0.42. Let m = o - -1.1. Let q = 0.4 + m. Are 2/17 and q nonequal?
True
Let r = 8 - 6. Let d(b) = -b**3 - 14*b**2 - 13*b + 2. Let m be d(-13). Is r less than m?
False
Let b = 31 - 21. Let z be (8/(-6))/(b/15). Which is greater: -3/5 or z?
-3/5
Let j be ((-3)/12 + 3/4)/(-1). Is 0.001 less than j?
False
Let t = -8 + 6. Suppose 24*n - 38 + 134 = 0. Which is greater: t or n?
t
Suppose 0 = x + 1 + 4. Let a be 9/(-14) - x/10. Is -1 at least a?
False
Let n(b) = b - 10. Let x be n(8). Let p be 1/10 + 1/x. Which is greater: p or 1?
1
Let q be (-623)/(-91) + (-2)/(-13). Suppose -21 = -2*x - q. Which is smaller: x or 19/3?
19/3
Let k = -48 + 48. Is k greater than 27?
False
Let g = -13227/830 + 159/10. Is 1 greater than or equal to g?
True
Suppose -q + 8 = -5*q. Let f be -2*((-5)/q + -3). Is -3/7 at most f?
True
Let g be (3 - -9)/(-6) - -26. Is 24 smaller than g?
False
Suppose 2*j + 5 - 15 = -2*r, -4*j = -12. Suppose 0*z = -g - 4*z + 3, 0 = -2*g - 4*z + r. Which is bigger: 1 or g?
1
Let z = -2 - -2.2. Let l = -0.8 - -0.7. Let c = z + l. Is 0 greater than c?
False
Let b be ((-12)/(-10))/(4/10). Suppose 2*s = 5*x + 34 - 2, b*s + 3*x = 6. Is s at most as big as 6?
True
Suppose -z = -2*z + 2*x, 0 = 4*z - 5*x. Suppose f = -z - 4, 0 = 5*p - 5*f. Let u(w) = -4*w**2 - 2*w - 1. Let q be u(-1). Which is bigger: p or q?
q
Let i be 1/7*4/(-2). Let h = 3 - 5. Let j = -2 - h. Which is bigger: j or i?
j
Let w = -17.9 - -18. Is w >= -4/13?
True
Let d(w) = -w**2 + 8*w + 1. Let j be d(8). Let f be 1/(j/(-1)) + 5. Which is smaller: f or 2?
2
Suppose 0 = -w - w - 24. Let s be (-13 - -1)/(-2 - -3). Is s > w?
False
Suppose 0 = 2*o - 7*o + 65. Let k = -21 + o. Which is smaller: k or 0?
k
Let g be -3*(-4 - 14/(-3)). Which is smaller: -4 or g?
-4
Let m be 34*1/(-77) - 12/42. Which is smaller: m or -2?
-2
Let p = 111 + -1219/11. Let u = -191/7 + 6268/231. Let y = p - u. Is y >= -1?
True
Let k(u) be the first derivative of u**3/3 - 2*u**2 + 2*u - 3. Let j be k(2). Let o be 1/j - 2/(-4). Is o <= 3/4?
True
Let p be 17/(-5) + (2 - (-7)/7). Which is bigger: p or -13?
p
Suppose -5*g + 8 = -v, 3*v - 19 + 7 = -3*g. Let j = 4 - v. Suppose -n = n + j. Is n at least as big as 0?
False
Suppose 3 = -0*r + r. Let y be (-4)/r - 18/(-27). Which is smaller: y or -1?
-1
Suppose 3*t + 28 = 61. Is t at most 9?
False
Let n = 2 - 2.1. Let t be 12/(-8)*(-2)/(-12). Which is bigger: n or t?
n
Suppose 9*q - 15 = 4*q. Suppose -1 + q = -i. Do 1/3 and i have different values?
True
Suppose 0 = -v - 38 + 33. Which is bigger: v or -6?
v
Let i = -4 + -2. Let h be (2/(-18))/((-3)/i). Do h and -1 have different values?
True
Let q(l) = l. Let s be q(0). Let a = -22 + 20. Which is bigger: s or a?
s
Let y = 25.06 - 0.06. Let v = 19 - y. Which is smaller: 2/5 or v?
v
Let i be (-6)/4*28/(-21). Suppose i*r + 0*r = 0. Which is greater: 1/4 or r?
1/4
Suppose -3*m = v + 2*v + 24, 0 = 5*v - 2*m + 5. Let k be -2*(69/20 + -3). Let p = -77/30 - k. Is p greater than v?
True
Let c = -2873/9 + 319. Let s(u) = -u**3 - 6*u**2 - u - 6. Let p be 4/(-3)*18/4. Let l be s(p). Which is bigger: c or l?
l
Let b = -0.3 - 0.7. Let g = 0.93 + -0.13. Let t = g + 0.2. Do t and b have the same value?
False
Let w = -49 - -56. Does 7 = w?
True
Let s = 112 - 61. Are s and 0 equal?
False
Let z = -23624/15 - -1576. Let d be 9/60 - (-2)/8. Let s = z - d. Which is smaller: s or -0.3?
-0.3
Let h(a) = a**3 + 3*a**2 - 6*a - 3. Suppose t = u + 7, -3*u = -2*u - 4*t + 16. Let x be h(u). Are x and 5 unequal?
False
Let c = 76 + -87. Which is smaller: c or 2/9?
c
Let b be 215/325 + 1/(-5). Is b less than or equal to 0.2?
False
Let u(v) = 3*v + 27. Let j be u(-9). Let c = -4 - -6. Are c and j nonequal?
True
Suppose 0 = -5*s - 4 + 19. Suppose -5*w - z + 8 = 0, 4 = s*w + 2*z + 2. Which is smaller: w or 1?
1
Let b = 15.93 + -16. Let w = b + -0.13. Are w and -2/3 equal?
False
Let a = 0 + -4. Let k = 57 + -60. Is k at least as big as a?
True
Suppose -4*r = j - 3, 2*j - 5*j = 3. Is 18/11 greater than r?
True
Let s = -12/25 + 34/175. Which is smaller: s or -1/3?
-1/3
Suppose -2*c - 3*c + 20 = 0. Let l be 6/(-8)*1*c. Let y be l/(4/((-16)/(-6))). Is y at least as big as -2?
True
Suppose 1 = 3*d - 2. Suppose -4*c + c - 2*u = 6, 0 = -3*c + 2*u - 6. Let w = c - -3. Does d = w?
True
Let z be -3 + 1*(-168)/(-52). Let a = z - 63/104. Do a and -1 have the same value?
False
Let b = -11 + 11. Let k = -2/817 + 1680/18791. Which is greater: b or k?
k
Let t be ((-73)/2)/((-3)/18). Let k = t + -129. Let m = k - 539/6. Which is smaller: 1 or m?
m
Suppose -u = -4*u + 5*z + 25, -u = -2*z - 8. Let t = -9 + u. Is t less than or equal to 1?
True
Let p(f) = -f**3 + 6*f**2 - 7*f + 9. Let i be p(5). Let y be 2*(-61)/(-69)*-1. Let r = y - -10/23. Which is greater: i or r?
i
Let z = -17906/37 + 484. Which is smaller: z or 1?
z
Let t = 0.015 - 0.125. Is -2 at least t?
False
Let t = -0.6 + 0. Let d = -0.7 - t. Which is smaller: 5 or d?
d
Let u = -6 - -6.1. Let q = -0.1 - -0.1. Is u greater than q?
True
Let a(d) = d**2 - 1. Let c be a(-2). Suppose -c*x + 0 + 36 = 0. Let u(f) = -f + 11. Let r be u(x). Is 0 smaller than r?
False
Suppose -4*y = -2*y. Let w(i) = -4*i - 2. Let d be w(-2). Let j be -1 - 5/d*-2. Which is smaller: j or y?
y
Let j = 3.19 + 0.01. Let z = -0.8 - j. Is 0 at least as big as z?
True
Let r = -1 - -2. Let o = -64 + 77. Is r != o?
True
Let y be (-10)/(-6) - (-4)/(-6). Let q be ((-1)/(-4))/((-187)/(-88)). Is y < q?
False
Suppose 0 = -y + 8*y - 2*y. Which is smaller: 0.02 or y?
y
Let p = -89 - -88. Let u = -5 + 8. Let w = u - 6. Which is greater: w or p?
p
Let r(z) = -z - 7. Let g be r(-7). Which is smaller: g or -3/17?
-3/17
Suppose -3*u = -u + 2*y + 8, -4*y + 16 = 0. Let a = 6 + u. Which is bigger: -7/3 or a?
a
Let s = -48 + 41. Suppose -2*f + 5*g = -3, -f - 3*f - 21 = -g. Is s at least as big as f?
False
Let g be (15/9 + -2)*-27. Suppose -2*r + 0*r - g = -o, -15 = 5*r. Is 2 >= o?
False
Let p be (-140)/1700 - 2/(-10). Let a = 0 + 0. Which is smaller: a or p?
a
Let f = 7.7 - -1.3. Let t = -8 + f. Is 2 <= t?
False
Let w = 6 - 3. Suppose 14 + 1 = -w*h. Is h greater than -0.1?
False
Suppose -u = -0*p - 5*p + 2, -u - 2 = 0. Let o be 16 + p + (-3 - -1). Let r be 52/o - 3 - 1. Which is bigger: r or 0?
0
Suppose 2*y - 9 = 5*n, 0 = n + 2*n + 5*y - 7. Suppose -4*c + 3*j + 2 = 0, -3*j - 3 = 3. Let r = c + 3. Which is smaller: r or n?
n
Let q(n) = -3*n + 31. Let t be q(10). Which is smaller: t or -3/125?
-3/125
Let p = 17 - 18. Is p at least as big as 0?
False
Let l(d) = d - 11. Let h be l(8). Let w = -4 - -6. Let c = w - h. Is 4 smaller than c?
True
Suppose 114 = 9*r - 6*r. Is r < 36?
False
Let t(o) = o**2 + o - 2. Let r be t(-3). Suppose -g = 3*g - r. Is 1 <= g?
True
Let x = -3 - -5. Let j = 5 + -3. Suppose j*i = 2 - 0. Which is bigger: x or i?
x
Let f = -7 + 3. Is f less than -5/2?
True
Let z be (3 - -9)*(-27)/204 + 2. Which is smaller: z or 1?
z
Let a(f) = f**2 + 2*f - 7. Let s be a(-5). Suppose 0 = -3*w - 4*u + 5, 0*w = -3*w + 3*u - 30. Let i = 12 + w. Do i and s have the same value?
False
Let v be 54/(-225)*(-1)/21. Is v at most -1?
False
Suppose 5*w - 41 = 6*a - 4*a, -2*a = -4*w + 32. Which is smaller: w or 3?
3
Let w be (6/4)/((-3)/(-4)). Suppose 20 = -l + 6*l. Suppose w*h + 8