*s + 4. Let m be w(-3). Which is smaller: m or q?
q
Let t be (-24)/(-14) - (-2)/7. Suppose 0 = -7*l + t*l + 70. Suppose 38*v - 30*v = 104. Which is greater: l or v?
l
Let x = -66 + 138. Let r be (1 + 3)/4*0. Which is bigger: x or r?
x
Let r = 28.6 + -29.6. Which is smaller: -21 or r?
-21
Let k(r) = -r + 2. Let m(h) = -7*h**2 + 13*h - 3. Let a(s) = s**2 - s + 1. Let g(t) = 6*a(t) + m(t). Let c be g(7). Let u be k(c). Is u smaller than 4?
True
Let w(u) = u**2 - 11*u + 31. Let f be w(5). Are 3/40 and f nonequal?
True
Let m(i) = 2*i**2 - 31*i + 15. Let q be m(15). Which is smaller: -4/27 or q?
-4/27
Let h = 825 + -831. Is 0 at most as big as h?
False
Let h be (-10)/(-45) + (-4)/18. Let u be (h/(9/3))/2. Suppose u = 2*y - 3*r + 8, -y + 5*r - 5 = 13. Is 22/7 bigger than y?
True
Let f = 22/9 + -737/18. Is f >= -40?
True
Let u(i) be the first derivative of i**2 - 1. Let x = -62 - -63. Let j be u(x). Is j at most 3/4?
False
Suppose 3*r = 49 + 206. Is 81 bigger than r?
False
Let r(j) = 10*j + 10. Let b be r(-7). Let y be b/(-63) - -4*(-1)/6. Which is bigger: y or 8/3?
8/3
Suppose -2 - 2 = 4*r. Let a = 350/19 + -4892/247. Which is bigger: r or a?
r
Suppose -v - k + 8 = k, 5*v + 8 = 2*k. Suppose v = -4*i + 3*i + 11. Suppose -i*b = -6*b - 30. Is 6 greater than or equal to b?
True
Let x = 2 - -3. Let m(z) = -z**3 + 3*z**2 + 9*z - 12. Let q be m(x). Is q at least as big as 1?
False
Let y = -3 + 3. Suppose y = 2*c + 2*s - 18, -c + 3 = -4*c + 3*s. Which is bigger: c or -5?
c
Let s = -6.1 - 0.9. Let n = -11 - s. Let w = n - -3. Do w and 0.08 have the same value?
False
Suppose r = 2*r + 2*j + 6, 3*j = -5*r - 9. Suppose r*u = -10*u - 20. Is u bigger than -14/13?
False
Let n be (125/(-90)*3)/((-2)/18). Which is bigger: 38 or n?
38
Let j(v) = -v - 4. Let l be j(-8). Let d be 35/(-14)*l/15*-1. Is d greater than or equal to -0.2?
True
Suppose -5*j - 36 = -2*j. Let q = j + 7. Let o be -3*q/(45/(-2)). Which is smaller: o or -1?
-1
Let z = -130 + 130. Let u(y) = 39*y. Let n be u(-2). Let b be 0 + (3 - n/(-27)). Which is smaller: z or b?
z
Let r(n) be the first derivative of -5*n**2/2 + 20*n - 33. Let l be r(4). Which is greater: -2/219 or l?
l
Let c be (-81 - 15)*(-5)/(-2). Are -240 and c equal?
True
Let o = -14 - -19.9. Let q = o - 4. Let m = q - 1.8. Are 9 and m non-equal?
True
Let g = -1.79 - -1.08. Let m = -0.29 + g. Which is greater: m or 0?
0
Let j(p) = -p + 15. Let g be j(14). Let l = 7 - 6. Let z be (0 + l)*21/(-133). Which is bigger: z or g?
g
Let j = -260 - -160. Let q = -68 - j. Suppose 2*h = 5*b - h - 47, 4*b - q = h. Which is bigger: 6 or b?
b
Let y = -86 + 88. Let b = -972867/20 + 48625. Let j = 75/4 + b. Is y at most as big as j?
False
Let p(x) = 2*x - 6. Let a be p(6). Let q be (-4)/a*2/4. Suppose -2*m = -m. Is q less than m?
True
Let w = -1042 + 1056. Is 37 at least w?
True
Let m = 18/5 + -293/80. Which is smaller: -2/9 or m?
-2/9
Suppose 5*a = -4*f - 5, -a - 7 + 6 = 5*f. Suppose b - 6*b + 5 = f. Let p be 1*(20/22 + -1). Which is smaller: b or p?
p
Let y = 703/926670 - -1/11730. Is y >= -1?
True
Let x = -301 + 300. Which is greater: x or 2/83?
2/83
Let m = -4.25 - 0.69. Let r = -0.02 + -0.04. Let o = m + r. Which is smaller: o or -2/5?
o
Let x(u) = 2*u**2 + 15*u + 6. Let v be x(-5). Which is greater: v or 4?
4
Let k be 23/(-4) + 2/(-8). Let p = k + 11. Let q be (2/(-6))/((-69)/1035). Is p != q?
False
Suppose f - 5 = -a + 4*f, -5*f - 5 = 0. Let r = a - -2. Suppose v + r*v = 0. Is -6/5 < v?
True
Let g be 2/(4/(-8 + 6)). Which is bigger: g or -35/19?
g
Let v(o) be the third derivative of o**5/60 + 5*o**4/24 - 4*o**3/3 + 5*o**2. Let s be v(-7). Let q = 7 - s. Is 2 at most q?
False
Let m = -17 + 17. Let i be (-1)/(-5) - (-260)/(-550). Which is bigger: i or m?
m
Let a = 63/4 - 917/60. Let j = a - 17/30. Suppose z + 15 = -4*z, -4*z = 4*b + 12. Which is bigger: b or j?
b
Let a be (-5 + 1232/256)/(5*1). Which is bigger: 1 or a?
1
Let m be 10/25 - 5/((-125)/665). Is 21 equal to m?
False
Let w(f) = -f**3 + 6*f**2 + 8*f - 10. Let z be w(7). Let t be 0/((5 - 1) + z). Let p = 481/14 + -69/2. Is p > t?
False
Suppose -k = 6*w - w - 41, 0 = w - k - 7. Suppose 4*j - 8 - w = 0. Let n = -9 + j. Is n at most -5?
True
Suppose -67*b + 65*b = -4. Suppose g = 4*z, -b*g = -6*g - 5*z + 21. Let j be ((-3)/(-4))/((-2)/(-8)). Do g and j have different values?
True
Let j = -758.12 - -759. Which is smaller: -0.5 or j?
-0.5
Let a be (-11 - (-2 - 5))*(-1)/(-9). Are a and 1 unequal?
True
Let w(u) = u**2 + 4*u - 7. Suppose -3*k + 12 = -5*k. Let p be w(k). Suppose p*m + 16 = -4. Which is bigger: -2 or m?
-2
Let t(x) = -x**3 - 3*x + 7. Let o be t(2). Let b be o/4 - (-1 - 25/(-20)). Is b greater than or equal to 1/3?
False
Let t = 199/100 - 39/20. Let h be 2/(-1)*(-45)/30. Let v be h/18 - 15/(-18). Which is smaller: v or t?
t
Let i(y) = -3*y + 3. Let q be i(2). Let k be 255/(-40) - q - -4. Suppose 4*m + 5*l = 19, -5*m - 3*l + 6*l - 4 = 0. Which is greater: m or k?
m
Let k = -1.7782 - -0.0082. Which is bigger: k or -0.2?
-0.2
Let f = -48 - -58. Suppose -f*t = -5*t + 5. Which is smaller: -1/38 or t?
t
Let l = 3.15 + -3.25. Does l = -0.079?
False
Let i = 5 - 6. Which is smaller: i or -90?
-90
Suppose 5*m = -0*x - 2*x, 5*x = 0. Let w be (-3411)/(-162) - 3/2. Let k = w + -59/3. Which is smaller: m or k?
k
Let z(c) = -c**3 - 8*c**2 - 6*c - 1. Let k be z(-7). Let a = -6 - k. Let q = -199 + 199.03. Is q less than or equal to a?
True
Let r(m) = m - 15. Let f be r(-14). Suppose 0 = -4*y + 17 - 129. Which is smaller: f or y?
f
Let z = -42.8 - -43. Let h = -3.21 + 1.81. Is z greater than h?
True
Let q = -1816 - -1813. Which is greater: 122 or q?
122
Suppose 3*t + 12 = -v, -2*t + 27 = -7*t - 4*v. Let k(l) = -l**2 - 5*l - 3. Let z be k(t). Is 2 smaller than z?
True
Let v be (2/50)/(5 + (-18 - -12)). Let i(a) = a**2 - a - 1. Let x be i(-1). Is v at least as big as x?
False
Let s(z) = z**2 - 12*z + 27. Let n be s(9). Suppose 3*i - 206 = 5*g, n = -4*g - 2*i - 28 - 150. Is g >= 1/3?
False
Let o = 1370 + -1095. Which is bigger: 3 or o?
o
Let f be (-244)/28 - (-2)/(-7). Let a = 14 - 5. Let z be (-128)/12 - (-6)/a. Which is smaller: f or z?
z
Suppose -2*p - 3 = 7. Let a = p + 2. Let q(w) = -w**3 - 4*w**2 - 2*w + 1. Let i be q(a). Do 0 and i have the same value?
False
Let p = -1948 + 165578/85. Let z = -91/255 - p. Is 0.1 equal to z?
False
Let y = -224 + 272. Which is bigger: y or 239/5?
y
Suppose -i + t = -3*i + 1, -6 = 2*t. Let f = i - -13. Which is smaller: f or 16?
f
Let t = -293 + 166. Which is smaller: -128 or t?
-128
Let n = -6.02 + 6.03. Let c = 16/3 - 17/3. Is n >= c?
True
Suppose -5*u = -2*c + 124, 0 = 4*u - 8*c + 3*c + 106. Suppose -j - 9 = -s + 13, 5*s = j + 22. Which is bigger: j or u?
j
Let z be 51*-1 + (-1 - 0). Suppose n + 4*g = -15, -181*n = -186*n - 4*g - 219. Are z and n unequal?
True
Let o = -712 - -575. Are -137 and o equal?
True
Let j be (-1)/(39/6) + (-143395)/(-72787). Let y = -1/509 - j. Which is greater: y or -2?
y
Let f(a) = 2*a**3 + a - 1. Let c be f(1). Let q be -2 + 3 + c + -3. Which is smaller: q or -2/3?
-2/3
Suppose 2*l - s = 0, -3*l - 6*s + 26 = -s. Let y be 0 - 1 - 1/(-1). Suppose y = -0*i + l*i + 3*j - 14, j = -2*i + 6. Is 2 bigger than i?
True
Let k = 7.7 + -13.7. Is 0.2 >= k?
True
Suppose 4*d + 2*o = -6, -o + 6*o + 15 = 2*d. Let s = 10 + -14. Let w be (-4)/s - 7/3. Is d at least as big as w?
True
Suppose 4*v = 5*m - 9, v = -3*m + 19 - 0. Suppose -32*n + v = -28*n. Is 15/14 equal to n?
False
Suppose 0 = -9*a + 4*a + 15. Which is smaller: -6 or a?
-6
Let o(a) = -a**2 - 4*a + 7. Let z be o(-5). Let x be (-1)/(z/(-30)*-1). Is x != -16?
True
Let x = -18.75 - 0.25. Let m = -20 - x. Let i = -3 + 0. Is i at least as big as m?
False
Let p = -137.41 + 138. Let v = -3.51 - p. Let s = v - 0.9. Which is bigger: s or -0.1?
-0.1
Let f be 178/(-20) + 42/(-70). Which is smaller: f or 0.3?
f
Let l be (2/(-3))/((-10)/(-75)). Which is greater: l or 1/19?
1/19
Let u = 0.26 - -0.04. Which is smaller: u or -51?
-51
Suppose -26*v - 2034 = -6. Which is greater: v or -698/9?
-698/9
Let t = 6 - 5. Let g = -0.3 + -8.7. Let k = 4 + g. Which is smaller: k or t?
k
Let b = -3572 - -7702. Let j be (-2)/(-80)*b/(-40). Let o = j - 3/160. Is o > -4?
True
Let s(p) be the third derivative of p**4/12 - p**3 -