, -5*x = -4*s - 0*s + 4. Is -1 less than or equal to x?
True
Suppose -2*w = 2*w - 24. Suppose p - 3*z = 12 - 0, -4*p = 4*z. Suppose 3*l = -2*l - p*k + w, l = -k. Is l less than 0?
False
Let b be ((-21)/(-6))/7*0. Let w = -2 - -3. Which is greater: b or w?
w
Let d = 6.3 - -1.7. Which is greater: 1 or d?
d
Let g be -3 + 3/3 + 2. Suppose g = -3*r - 2*o - 13, -5*r - 4*o - 24 + 1 = 0. Which is smaller: r or 3/7?
r
Let y(k) = -k**2 - 8*k - 4. Let g be y(-8). Let x be 2/g + 10/2. Which is smaller: x or 5?
x
Let r(z) = -z**3 + 6*z**2 + 6*z + 7. Let s be r(7). Let p = s - 0. Suppose 0*v + 4*v + 4 = p. Which is greater: v or 2/11?
2/11
Let x = 3.3 - 3. Let z = x + -3.3. Let y(f) = f**3 + 13*f**2 - 1. Let t be y(-13). Which is greater: z or t?
t
Let u(s) = s**2 - 2*s + 2. Let a be u(2). Let q be (-4)/3 + a/(-3). Suppose 2*o + 1 = l - 2, -o + 3 = 4*l. Which is smaller: q or o?
q
Let d(q) = -6*q - 52. Let g be d(-16). Which is smaller: g or 43?
43
Let n = -62/3 - -21. Let p = 0 + n. Let r = 3 - 3.1. Is r > p?
False
Let y = -8 - -7. Let x = 4 + y. Is 3 less than or equal to x?
True
Let x(n) = -19*n**3 + 2*n**2 - 5*n. Let q(k) = 9*k**3 - k**2 + 2*k. Let t(m) = 5*q(m) + 2*x(m). Let l be t(-1). Does l = -9?
False
Let o be 1/((0 - -1) + -3). Let d be -1 + 8 + -13 - -5. Is o <= d?
False
Let c(p) = p**3 - p**2 - p - 3. Let d be c(3). Let w be (d/(-10))/(3/10). Do -1 and w have the same value?
False
Suppose 2*c = -3*c + 25. Suppose -2*v = 5*j - 4*j + 7, -22 = -3*v + c*j. Let r be (-1)/(v + 0 + 0). Which is bigger: r or 0?
r
Let n = -370/7 + 53. Is n greater than 4?
False
Let p(n) = n + 4. Let d be p(-2). Is -4 at least d?
False
Let t(k) = -6*k**2 + 17*k + 1. Let v be t(5). Are v and -65 nonequal?
True
Let z = 0.31 - 4.41. Let q = -4 - z. Let c = -0.1 + q. Is 0.1 > c?
True
Let f(u) = u**3 - 4*u**2 - u - 2. Let w be f(5). Is w bigger than 18?
False
Let d = -64 - -53. Is -10 at least d?
True
Let w = 227/981 + -1/109. Is w > -1?
True
Let o = 0.1 - 0. Let s = 14.8 - 15. Are s and o equal?
False
Let j = -12 + 12.04. Let i = 0.04 - j. Let o = -0.04 - -5.04. Is i >= o?
False
Suppose -3*h - 1 = -4*h, -4*a - 3*h = 1. Suppose -m + 5*i + 1 = 8, 2*m + 2*i + 2 = 0. Which is bigger: a or m?
a
Suppose 3*y = 4*n + 180, 4*n + 84 + 96 = 4*y. Does -46 = n?
False
Let x = 43 + -42. Let l(h) be the first derivative of -h**2/2 + 1. Let c be l(4). Is c greater than x?
False
Let i = -17/7 - -15/7. Suppose -11 = -5*g + 9. Let h be 0/1*g/(-8). Which is smaller: i or h?
i
Let x = 23 - 8. Which is smaller: 18 or x?
x
Let s = 185/22 + -21/11. Let p = -25/4 + s. Is p >= -0.07?
True
Let r(j) = -j**3 + 6*j**2 - 7*j + 7. Suppose -2*f + s + 6 + 3 = 0, 5*f - 27 = -2*s. Let u be r(f). Let t = u + 2. Is t not equal to -0.2?
True
Suppose y + 204 = 4*x - 3*y, -2*x + 118 = 2*y. Let w be (-120)/x + (-4)/(-22). Let g be (-3)/4*w/3. Is g > 1?
False
Let r = -4.3 + 4.6. Which is greater: 4/11 or r?
4/11
Let h = 92 + -38. Let u be 2/(-3)*h/24. Which is smaller: u or -1?
u
Let h(y) = y**3 - 8*y**2 + 7*y + 3. Let j be h(7). Let i = 7045/2 - 3594. Let d = i - -73. Is d < j?
True
Let i be (-4)/10 - (-87)/5. Let h = i - 11. Suppose -h = p - 5. Which is bigger: p or 2/15?
2/15
Suppose -f - 5*k + 22 = 0, 3*f - 4 = -f + k. Let l be 1/f*(1 + -3). Is l smaller than 1?
True
Let b = -20 + 41/2. Is 15 greater than b?
True
Let r be ((-3)/(-26))/(6/(-8)). Let i = r - -35/143. Which is bigger: i or 0?
i
Let u = -426 - -2976/7. Is u != -1?
True
Let c(z) = z**2 - 9*z. Let u be c(9). Let p be (-100)/6 - 4/(-6). Let g be (9/(-12))/(9/p). Is g >= u?
True
Let g = 28 + -29. Let l = 0 - -0.2. Let a = g + l. Which is smaller: 1/4 or a?
a
Suppose 15 = -5*m, -1 = 3*f - 2*m + 2. Let l be (-7)/f*4/14. Let x = -1.3 - -0.3. Is x at most as big as l?
True
Let b = 1 - 2. Let t be (-2)/(-10) - 3/5. Which is greater: b or t?
t
Suppose -v - 4 = -3*v. Let u = 1835/2 - 938. Let c = 21 + u. Which is bigger: v or c?
v
Let b = -123 - -74. Is -51 != b?
True
Let i be (-12)/(-4) + 22/(-6). Let c(l) = 2*l - 6. Let x be c(5). Let u = x - 6. Are i and u equal?
False
Let r = -13 - -9. Let a = -11 + 6. Which is greater: a or r?
r
Let w = 7 + -10. Let s = w + 4. Let l = 1 + 0. Is l <= s?
True
Let h = -2087991/23890 - -1/4778. Let t = -87 - h. Which is smaller: t or 2/3?
t
Let z(n) = n**2 - 11*n - 14. Let b be z(12). Which is smaller: -3 or b?
-3
Suppose -6*s = -s + 3*h + 45, -h = 2*s + 19. Let j = s + 10. Suppose 4*o + 1 = f - 15, 4*f = 16. Is o bigger than j?
False
Suppose v - 25 = -4*v. Suppose 0 = -4*g + 4*w + 2 + 2, -5*w = 5*g - v. Suppose r = 4*r. Which is smaller: r or g?
r
Let m be -2*((-6)/4)/(-3). Let s be 1 + (-9)/(-3)*m. Let x = -0.1 - -0.2. Which is smaller: s or x?
s
Let k(s) = -s + 6. Let c be k(8). Is -2/3 >= c?
True
Let p(u) = -u + 6. Let s be p(5). Let g = 5/47 - 117/658. Are s and g non-equal?
True
Let n = -2 + 0. Let i be ((-24)/44)/(2/2). Which is bigger: n or i?
i
Let h(o) = -o**2 + 1. Let f be h(0). Let u be (1 - f) + -2 + 2. Which is smaller: 2/9 or u?
u
Let k(y) = -y**3 - y**2 + 1. Let z be k(-2). Suppose m - 8 = -3*m. Suppose 0 = z*u + m*t - 20, 4*t - 8*t + 28 = 4*u. Which is smaller: -0.1 or u?
-0.1
Let r = 0 + 4. Suppose -4*q + 4*h + 10 = -10, 0 = -r*q + 3*h + 20. Suppose -11 = -j - 7. Is j greater than or equal to q?
False
Suppose -i = -4*l - 2*i - 10, 5*i = -2*l + 4. Is -1 < l?
False
Let s be 3*-1 + 40/16. Suppose a = -3*a. Is s bigger than a?
False
Let m be (-3 - 5/15) + 4. Which is smaller: 0.1 or m?
0.1
Let a(l) = l**2 - 6*l - 5. Let h be a(6). Let m = -5 - h. Does m = -1/6?
False
Let v = -4.3 - -0.3. Let a = -4.1 - v. Which is bigger: a or 1/8?
1/8
Let b = -5 - -5.1. Let w = -9.08 + 0.08. Let y = w + 4. Which is smaller: y or b?
y
Let q = 3 + -1. Let o = -1 - q. Let c be ((-20)/16)/(-5)*-2. Which is greater: c or o?
c
Let f = 1.4 - 0.5. Which is bigger: 0 or f?
f
Suppose -7*i + 23 - 9 = 0. Which is smaller: i or -13?
-13
Suppose -10*m + 8784 = -6*m. Let x = 186658/85 - m. Let b = 101/680 + x. Is -1 smaller than b?
True
Let q be (2/(-6))/((-2)/12). Let a be 1 - (q - 1 - 3). Let g be (3/(-2))/a + 0. Is 3 > g?
True
Let g = -57 - -57. Let f = -1931/8 - -241. Which is greater: f or g?
g
Let d(n) be the first derivative of -n**2/2 + 2. Let b be d(-6). Which is smaller: b or -0.1?
-0.1
Suppose 5*j + 2 = 12. Let s be ((-4)/10)/((-16)/60). Is j at least s?
True
Let i be (-2)/(-4)*0 + 0. Let r be (22/12)/(24/(-32)). Let p = r + 149/72. Which is smaller: p or i?
p
Let m(v) = 2*v + 2. Let n be m(9). Suppose 6*c = 2*c - 5*u - n, 0 = c - 2*u - 8. Is c >= 2/9?
False
Let g = -9 + 2. Are g and -8 nonequal?
True
Let s = -2.1 + 2. Let h = 129 - 131. Are s and h non-equal?
True
Let x be (-72724)/3216 + 1/(-4). Let y = -137/6 - x. Let w = y + 63/134. Which is bigger: -4 or w?
w
Let y = 6 + -7. Which is smaller: -2/13 or y?
y
Let w = -9 + 11. Suppose -3*b = -0*b. Which is smaller: w or b?
b
Let v be (5 - 7)*6/(-4). Let a = -1 + v. Is 3 less than or equal to a?
False
Suppose -n - 2*h = 8, 4*n - 3*h + 2 = -5*h. Is 2/3 > n?
False
Let i be 1/(10/8 + -1). Suppose -3*q + q = 10. Let h = i + q. Which is smaller: -2 or h?
-2
Suppose 1 = -d, -6*d + 21 = 5*r - 2*d. Let a be (-18)/30 + 8/r. Which is smaller: -2/9 or a?
-2/9
Let k = -1.58 + 9.48. Let h = k + -8. Is 0.2 < h?
False
Let q = 109 - 437/4. Which is greater: 1 or q?
1
Suppose -3*j + 16 = -0*j + 2*w, 2*w = -2*j + 14. Let a be 2/(-2)*j*-1. Is a smaller than 4?
True
Let v(s) = -6 - 4*s**3 - 2*s**3 + 7*s**3 + 2*s**2 - 7*s. Let b be v(-4). Let m be (1/(-3))/((-15)/b). Which is smaller: 0 or m?
m
Suppose -5*k - 40 = -4*a, 0 = -a - a + 4*k + 26. Suppose -5*h = f + 1, -4 = -4*h + a*f - f. Is h >= -2/69?
True
Let c be (-2 - -21)/(10 + -5) - 4. Which is greater: c or 8/5?
8/5
Let x be (-26)/39*(-3)/(-79). Which is greater: 0 or x?
0
Let o(w) = w**3 - 4*w**2 + w. Let j be o(2). Let s = 5 + j. Is 1/5 less than or equal to s?
False
Let a be (-58)/180 - 2/(-9). Is -0.1 > a?
False
Let i = -27 - -28. Are i and 1/10 equal?
False
Let k = -116 - -2089/18. Is 1 greater than k?
True
Let d = 114 + -116.92. Let y = d + 0.02. Let w = y + 3. Is -2 >= w?
False
Let i = -1 - -1. Let y be i + (1 + 0)*-1. Let w be ((-4)/(-90))/(20/(-100)). Is y <= w?
True
Let d be (-166)/(-8) - 2/(-8). Let j be 27/d + -1 + 0. Is j at most -1?