ppose 4*s - 3*m = 2*s - 2, 5 = -5*s + v*m. Which is smaller: -2/33 or s?
s
Suppose j + 2 - 4 = 0. Suppose j = r + r. Is 1 at most as big as r?
True
Let i = 120.9 + -127. Let h = i - -6. Which is smaller: h or 1?
h
Let a = 8 + -2. Let l = a + -5.8. Which is bigger: -1/2 or l?
l
Let p = 59 - 73. Which is bigger: p or -13?
-13
Let s = -19 + 21. Suppose 3*o = -s*o - 5. Is -3 bigger than o?
False
Suppose 0 = -3*w - 4 + 1. Let f = 5.838 - 0.038. Let k = f - 6. Which is smaller: w or k?
w
Suppose -5*l = -2*l. Suppose 0 = -m + 10*m - 9. Is m at most as big as l?
False
Let n(a) = 3*a**3 - 2*a + 1. Suppose 3*b = 7*b - 4. Let k be n(b). Is k at least as big as -1?
True
Let u be ((-3)/(-2))/(1/(-4)). Is u greater than or equal to -5?
False
Let k be (-20)/3*18/(-4). Which is greater: k or 29?
k
Suppose 0*h - h = 0. Suppose h = -4*m + 4*s - 16 - 0, -12 = 2*m - 3*s. Which is bigger: -1/10 or m?
m
Let i = 56 - 66. Which is smaller: -11 or i?
-11
Let w(x) = x**3 - 2*x**2 + 4*x - 2. Let v be w(1). Let r(b) = -b - 3. Let s be r(-3). Which is smaller: s or v?
s
Let p = -31 + 21. Let h be p/(-25) + (-1)/5. Which is greater: h or 1?
1
Suppose 0 = -5*k + 5*u - 120, -k - u = 2*u + 16. Do -23 and k have different values?
True
Let k be 1/1*-3 + 1. Suppose -2*z + 13 = 5*a, -2*z = 2*z + 2*a + 14. Let u(o) = o + 7. Let y be u(z). Is y less than or equal to k?
False
Let c(r) = r**2 + 7*r + 7. Let t be c(-5). Let v = -959/590 - -3/118. Which is smaller: v or t?
t
Let b be 2*(55/20 - 3). Let v be 8/(-5) - (-2)/(-5). Which is smaller: b or v?
v
Let x = -5 - -4.9. Let z(m) = m + 12. Let h be z(-10). Is h less than x?
False
Suppose -4*i + 3*h + 15 = 0, 0 = i - 6*i + 3*h + 15. Let v(o) = -o**2 - o + 2. Let j be v(i). Let k be (14/21)/(j/3). Is k <= -2/5?
False
Let x(k) = -k**2 + 2*k. Let q be x(0). Is q smaller than 2?
True
Suppose 7*a - 8*a = 2. Is a not equal to -5?
True
Let f be -10*(-1)/(-25) + (-3)/(-20). Suppose -4*x + 2*d - 18 = 0, -5*x + 0*d - 28 = 3*d. Is f >= x?
True
Let t = -27 - -27. Which is greater: -2 or t?
t
Suppose 89 - 92 = -3*r. Is -2/177 less than r?
True
Let k = -130 - -59. Do k and -70 have the same value?
False
Suppose 2*y - 22 = 5*n, -n = 2*y - 1 + 15. Suppose -i + 144 = 152. Which is smaller: n or i?
i
Let w(h) = -h**3 + 5*h**2 - 4*h + 2. Let k be w(4). Suppose 5*d - 4*u = -2*u - 16, 14 = -4*d + k*u. Let t be d - ((-3 - 0) + 0). Are t and 3 equal?
False
Let o = -62054 - -7446407/120. Let s = o - -11/15. Which is smaller: s or -1?
-1
Let l = -0.65 - 9.35. Which is smaller: l or 0?
l
Let m be (-3)/4*24/(-732). Is m at least as big as -1?
True
Let x(p) = -p**2 + 1. Let t(r) = -r**2 + r + 1. Let d(c) = 4*t(c) - 3*x(c). Let u be d(5). Let h be (-46)/(-36) + 6/u. Which is smaller: h or 0?
h
Suppose -14 = -5*q - 7*z + 4*z, -z = -5*q + 22. Which is smaller: 2 or q?
2
Suppose -25 - 35 = -3*t. Which is greater: t or 21?
21
Let r = 6873/7 - 980. Is r equal to 1?
False
Let t be (-2)/12*(11 - 13). Let u = -0.6 + 3.6. Which is smaller: t or u?
t
Let v = -71/6 - -12. Is 0 > v?
False
Let y(f) be the first derivative of -f**3/3 - 5*f**2/2 + 5*f + 1. Suppose -5*d - 21 = 3*m, 6 = -3*d + d - 2*m. Let o be y(d). Which is smaller: 0 or o?
o
Let t(d) = 62*d. Let z be t(1). Suppose 4*w = 2*w - z. Let u = 92/3 + w. Which is bigger: 0 or u?
0
Let q(c) = c**3 - 6*c**2 + c - 9. Let k be q(5). Is -29 < k?
False
Let h = -5 - -6. Let y be 6 + -2 - (h - 1). Suppose -2 + y = -2*c. Is -3 at least as big as c?
False
Let n = 63 + -55. Is n < 84/11?
False
Let h be ((-2)/(-28))/(2/(-16)). Suppose -4 + 0 = 4*i. Which is smaller: h or i?
i
Let i = -1 - -0.9. Let s be (-49)/28 - -1*2. Which is greater: s or i?
s
Suppose c - 4*c + 9 = 4*p, -2*c = 4*p - 6. Which is smaller: -1/48 or p?
-1/48
Let r = -3 - -5. Let v = -87 - -87. Is v at most r?
True
Let k be 39/11 - (-4 - -7). Let i(m) = m**2 + m + 1. Let b be i(0). Which is smaller: b or k?
k
Let p = 10/41 + -172/369. Is p bigger than 0?
False
Let s = 0.044 + -4.444. Let r = 0.4 + s. Is r at most 1?
True
Suppose -3*r = 5*u, 0*r = -4*r - u. Suppose 0 = -r*d + 3*d - 21. Let m = d - 6. Is m smaller than 2/5?
False
Let h be 4/2 + 1 - 1. Suppose h*q + 64 = 5*b, 5 + 1 = 2*q. Let x be (b/(-6) + 2)*-1. Do -1 and x have the same value?
False
Let x(r) = 5*r - 4. Let u be x(4). Suppose -5*c = -u - 74. Which is smaller: 17 or c?
17
Let j = -149/48 - -7/16. Which is smaller: j or -4?
-4
Let m = -1 - -2. Suppose -5*h = -0*h - 5. Let c(u) = 3*u**2 - u. Let g be c(h). Is m at least as big as g?
False
Suppose -3*p - 7 = -25. Let z = p - -1. Let a be z/2*3/(-28). Does -1 = a?
False
Let y = -1/8 - 1/8. Let o(r) = -r**3 + 8*r**2 - 8*r + 8. Let s be o(7). Which is bigger: s or y?
s
Let q = 235/2 - 115. Let v(f) = -2*f - 2. Let l be v(2). Let a(m) = -2*m - 10. Let w be a(l). Is w greater than q?
False
Let h be (-8)/(-16)*(-4)/6. Let y(b) = b**2 + 2*b + 2. Let n be y(-2). Let r be (0 - n)/(2*-1). Which is smaller: r or h?
h
Let k = 15/4 - 13/4. Which is greater: k or 5/3?
5/3
Let s = 21 - 20. Let i be (s/2)/(2/16). Let w = 8 + -4. Is w greater than or equal to i?
True
Let y be 1 - 0 - 6/8. Is y <= 2?
True
Let a = -0.24 - -0.11. Which is bigger: a or -1?
a
Let a = 21 + -21.07. Let g = 189.07 - 188. Let f = g + a. Is 1 smaller than f?
False
Let p be 8/(-10) + 54/30. Which is smaller: -1/14 or p?
-1/14
Let h be 1/(-2) + 4/8. Suppose h = -10*f + 5*f + 5. Which is greater: f or 1/5?
f
Let a = 63 - 377/6. Which is smaller: a or 1?
a
Let d = 0 - 7. Let u(s) = -s**3 - 6*s**2 + 6*s - 7. Let h be u(d). Which is smaller: h or -1/2?
-1/2
Let q = 0 + 3. Let t = q - 0. Which is bigger: t or 0.2?
t
Suppose -6*v = 2*v + 24. Is v less than 0?
True
Let t(z) = 2*z**2 + 3*z + 2. Let b be t(-3). Suppose -2*v + 14 + b = 3*l, 20 = 4*l. Suppose 0 + 5 = v*s. Which is bigger: 2/3 or s?
s
Suppose 3*m = 7*m - 8. Does 0 = m?
False
Let j(p) = p**2 - 1. Let z be j(2). Suppose s - 4*s + 30 = 0. Suppose 0 = 2*q + 3*q - s. Is q less than z?
True
Let k(o) = o**2 + 6*o + 6. Let q be k(-5). Is 3/11 < q?
True
Suppose -c - 3 = m, -2*m + 3*c = 3*m - 9. Suppose -2*a - 3*q - 2 = m, a + 11 = -5*q + 3. Which is smaller: a or 4?
a
Let h be -1959*18/57*-2. Let z = 1237 - h. Let p = z + 44/95. Which is smaller: p or 1?
p
Let p = 7 + -5. Let u = 2.4 - p. Let n = 0.4 - 0.5. Are n and u non-equal?
True
Suppose 2*j + 2*c = 3*c, 4*j = -5*c + 14. Let s be (-149)/2 - (1 - 2). Let y = s + 1621/22. Does y = j?
False
Let a = 0 + -3. Let b = -1 + a. Let m be 2/5 + 3/5. Is b != m?
True
Let x be ((-4)/(-8))/((-131)/(-4)). Which is smaller: -1 or x?
-1
Let o(x) = -2*x + 13. Let r be o(8). Which is greater: r or -7/3?
-7/3
Suppose 2*r + r + 3 = 0. Let i(g) = -g. Let p be i(r). Is -2 at least as big as p?
False
Let m(g) = g**3 + 7*g**2 - 8*g + 1. Let o be m(-8). Let l be (-5 - -3) + 1 + o. Which is bigger: -1/2 or l?
l
Suppose 3*l = -2*x + 5*l, 2*l + 2 = 4*x. Let k = 253/455 - -1/65. Which is smaller: x or k?
k
Let v = -10 + 31/3. Suppose h = -0*h + 2. Let l(x) = -x**3 + 2*x**2 + 1. Let o be l(h). Is o equal to v?
False
Let d be 15/105*1*2. Is d equal to 1?
False
Let u be 5/10*4/1. Suppose 5*o - 3*y - 12 = -y, 2*o - u*y = 6. Is o at least as big as 3?
False
Let n(o) = o**2 - 11*o - 5. Let m be n(5). Let c be 4/(-14) + 25/m. Let z = 3 + -1. Is z at least c?
True
Let i be (4 - 3)/(2/(-38)). Is i smaller than -19?
False
Let u = -412/45 - -86/9. Which is greater: -3 or u?
u
Let b = -12 - -8. Suppose -5*l - 11 = 9. Is l not equal to b?
False
Let q = -0.23 + -0.77. Which is smaller: q or -35?
-35
Let f = 58 + -57. Which is greater: f or 17?
17
Let b be (-2)/(-4)*-9*-2. Suppose 0 = -h - 2*h + b. Let t be ((-1)/h)/(5/75). Which is bigger: -4 or t?
-4
Suppose -3*c + 3 = 4*z - z, 0 = 5*c + z - 9. Suppose -3*k - x - 2 = -c*x, x = -4*k + 2. Which is smaller: 2 or k?
k
Let q = 24 - 26. Suppose 18 = -2*z + z. Let d be ((-1)/(-3))/(8/z). Which is greater: d or q?
d
Suppose 5*u - 2*u = 129. Suppose 0*b - 2*b = -4*r + 34, -2*r - u = 3*b. Let x be (-1)/(0 + b/12). Which is bigger: 2 or x?
2
Let y be ((-2)/3)/(3/108). Let a be ((-4)/18)/(y/9). Let r = -18 + 17. Which is smaller: a or r?
r
Let l = -174/3185 + -3/980. Let b = l - 9/13. Is b less than -1?
False
Let w(y) = y**3 - y**2 - 2. Let z be w(0). Let m = 1 - -4. Suppose 0 = 3*i + 2*i + m. Wh