s z < g?
False
Let s = -8 + 10. Let h be (-2)/s - (-2)/(-8). Suppose 5 = -3*u - 1. Which is smaller: u or h?
u
Suppose 3*q - 6 = -57. Let h = -18 - q. Is -1 bigger than h?
False
Let i = -1.8 - -0.8. Let b be 0*(3 + -2 - 2). Which is smaller: b or i?
i
Let t(i) = 9*i + 11. Let v be t(-4). Let g = 36 + v. Is 12 at least g?
True
Let f be -1*0/((-15)/(-3)). Is -19 greater than or equal to f?
False
Let l(f) = 5*f**2 - 11 + 6*f**2 - 10*f**2 - 9*f. Suppose -2*s - 3*a = -20, s = -0*a - 2*a + 10. Let v be l(s). Is v greater than 0?
False
Suppose -20 = 6*s - s. Let b be 0 + -1 + (-8)/2. Is b less than s?
True
Let p be 2 + (0 + -2)/2. Let k(z) = z**2 - 10*z + 18. Let g be k(8). Let q be (-9)/(-56) - g/7. Which is smaller: q or p?
q
Let h be (-1)/4 + 120/(-32). Let q(m) = m**2 + 3*m + 3. Let v be q(h). Do 7 and v have the same value?
True
Let t = -141 + 177. Is t at most as big as 35?
False
Let w(a) = -a + 3. Let p be w(6). Let s(r) = -r**3 - 2*r**2 + 4*r + 4. Let b be s(p). Is -1 >= b?
False
Suppose -5*a - 5*g + 35 = 0, 4*a - 5*g - 16 = -3*g. Let z(t) = 2*t**3 - 3*t**2 + t. Let n be z(2). Let m = a - n. Are m and 0 equal?
False
Let s = 21.5 - 22. Which is smaller: 1 or s?
s
Let i = -7 - -6. Is -4/15 < i?
False
Let r = 1.47 + -0.07. Let b = -1.6 - r. Are b and 3 non-equal?
True
Let f = 103/5 - 21. Which is greater: 0 or f?
0
Let o = 105 + -118.1. Let z = o - 0.9. Let a = 9 + z. Is -1 >= a?
True
Suppose -3 = -9*n + 6. Are 2 and n equal?
False
Let u = 0.006 + 0.194. Let v = -2.4 - -0.4. Which is smaller: v or u?
v
Let o = 2 + 4. Suppose -2*k - k = -33. Suppose -4*p = -9 - k. Do o and p have the same value?
False
Let w = 5/6 + -1/2. Which is bigger: w or 9?
9
Let m be (-273)/(-28) - 2*1/2. Which is greater: m or 9?
9
Let r(f) = -f**2 + 4*f - 1. Let k be r(0). Which is smaller: k or 1/60?
k
Let g = -0.23 - -0.2. Let a = -0.02 + g. Let d = a + -0.05. Is d > -2/7?
True
Let z be -4 + (-4 + 8 - 1). Suppose 3*d = -2*n - 8 - 1, -d = 3. Which is greater: z or n?
n
Let f be 3/12*(-8)/(-18). Are f and -1 unequal?
True
Let j(u) = -u**3 - 5*u**2 + 3. Let q be j(-5). Suppose f + 7 = 2*r - 4, 0 = -5*f + q*r - 34. Do -3 and f have different values?
True
Let k = -881/34 + -10/17. Is k greater than -28?
True
Let x(j) = -j + 6. Let h be x(-7). Let z = h - 23. Let l be 6/z - 2/5. Which is smaller: -2 or l?
-2
Let m = 3 - -3. Let u = -2.9 - -3. Which is bigger: u or m?
m
Suppose -10 = -n - 4*u, -5*n + 2*u - 60 = -0*u. Let z be (8/n)/((-6)/(-15)). Which is greater: -3 or z?
z
Let f = -89 - -80.9. Let m = -8 - f. Which is bigger: m or -1/5?
m
Let r = 0 + 4. Suppose -5*n + 7 = -r*x, 6 - 2 = -3*x + 5*n. Let u(w) = 4*w. Let m be u(-1). Which is smaller: x or m?
m
Let c = -79/767 + -3/59. Suppose -2*p + 2*g + 14 = 0, 2*g = -0*p - 4*p + 58. Let f = p - 11. Are c and f equal?
False
Suppose 0 = -4*i + 2*i - 10. Is -2 <= i?
False
Let f(l) = -l**3 + 7*l**2 - 10*l + 2. Let y be f(4). Is 2/9 less than y?
True
Let m = 5189/19 - 273. Which is bigger: m or 1?
1
Suppose -7 = -2*i - 3. Suppose 4 = -i*p + 3*k, k - 2 = -p + 1. Suppose y = 3 - p. Which is smaller: 5/3 or y?
5/3
Let w be 3/(-3) + 14/(-2). Let p be 7*-3*(3 + -2). Let a be w/p + (-2)/(-7). Is a equal to -1?
False
Let w(i) = -i**3 + 2*i**2 + 2*i + 2. Suppose 3*t - 21 = -5*m, -5 = -m + t - 2*t. Let y be w(m). Which is smaller: y or -3?
-3
Let o = 0 - 4. Let t be (o + 3)*(-2 - -1). Is t >= 2/15?
True
Let o = 5 + -6. Which is greater: o or -1/29?
-1/29
Let w = 17/13 + -106/91. Let h(x) = -3*x**3 - 4*x**2 - x - 8. Let k(q) = q**3 + q**2 + 3. Let d(c) = 4*h(c) + 11*k(c). Let r be d(-4). Which is bigger: r or w?
r
Let u = 360 + -5398/15. Which is greater: u or 0.1?
u
Suppose -b = 3*t - 8, t + 3*b - 17 = -t. Let m = -0.03 + 2.03. Is t >= m?
False
Let w(r) = r**3 + 5*r**2 - 17*r + 3. Let g be w(-7). Which is smaller: 23 or g?
23
Let z = 2 + -2.1. Let j = 9 - 10. Do j and z have different values?
True
Let y be (-1 - 1)/(-2) - 1. Let a = -0.127 + -1.173. Which is smaller: a or y?
a
Suppose -4*b - 162 = 90. Let r = 443/7 + b. Let f(x) = x - 1. Let s be f(2). Is r bigger than s?
False
Let g = 1 + -2. Let r = -1.97 + 2. Let s = -0.27 - r. Which is greater: s or g?
s
Let r be (6/90)/(2/(-6)). Which is bigger: -1 or r?
r
Suppose -5*v + w = -34, 4*w + 17 = -2*v + 5*v. Suppose -v*q - 70 = -2*q - 5*x, 4*q + 2*x + 56 = 0. Let g be (-11)/q + 2/(-4). Is 1 at least g?
True
Suppose 8 = -10*b + 18. Which is greater: b or -96?
b
Suppose 2*s - 3*s = 0. Which is greater: s or -2/9?
s
Let p(l) = -l - 4. Let i be p(-3). Let y = 4 + -3. Suppose x = 2*a - y, -3*a - 3*x - 31 = 2*x. Is i less than a?
False
Suppose -o + 3 = 3*n, -5*o - 3*n - 21 = -0*n. Is -5 at least o?
True
Let b = -1 + 1. Suppose 2*p - 97 = 3*p. Let a = p + 777/8. Is a bigger than b?
True
Let o = 18.61 + 0.39. Let b = o + -2. Is b equal to 0?
False
Let q be (12/4)/(6/(-4)). Which is bigger: -4/3 or q?
-4/3
Suppose 3*h + 34 = -4*z, h + 9 = -2*z - 5. Let b be (-4)/27*39 + (-4)/18. Is b bigger than h?
False
Let h = 10 - 6. Suppose 0 = -h*y + 7 - 3. Is 1 less than y?
False
Let w = 0.08 - -0.42. Let j = w - 0.7. Which is smaller: -2/23 or j?
j
Let r = -561 - -567.86. Let l = r + 0.14. Let b = 6 - l. Which is smaller: 1/3 or b?
b
Let u = 6 - 7. Let j(i) = 2*i**3 - i**2 - 2*i - 1. Let f be j(-1). Which is smaller: u or f?
f
Let t = -2 + 1. Suppose -2*k - 4*q = -0*k - 22, 5*k - 2*q - 7 = 0. Suppose -p = k*z - 7, 0*p + 2*p = -3*z + 5. Which is bigger: p or t?
t
Let i = 10/3 - 8/3. Is 0.4 greater than or equal to i?
False
Let x(y) = -y**2 - 8*y - 12. Let l be x(-6). Let j(g) = g**3 + 5*g**2 - 5*g + 6. Let n be j(-6). Let z = n + -2. Is z bigger than l?
False
Let p = 17.81 - 18. Let n = 0.09 + p. Let u be (-5 - -2)*4/(-6). Which is bigger: u or n?
u
Let z = 445 - 12011/27. Is -1 less than or equal to z?
True
Let k(m) = m - 2*m + 0 + 5*m**2 + 0. Let c be k(1). Let b be (c/(-12))/((-2)/(-6)). Which is smaller: b or -1/2?
b
Let i = -5.43 - 0.57. Which is smaller: i or 1?
i
Let k = -3.8 + 3. Let j = k - 0.2. Is 0.5 equal to j?
False
Let x = 6.21 + -6.1. Which is bigger: x or 0.3?
0.3
Let p = -0.4 + 0.36. Is 1 <= p?
False
Suppose -34 + 2 = 4*d. Does d = -11?
False
Let m = -34/9 - -152/45. Let w be -2 + (-4)/14 + 2. Are m and w non-equal?
True
Suppose j - 8 + 3 = 0. Suppose -3*u + 2*r - 22 = 0, j*u + 12 + 16 = -r. Suppose -a = -0 + 5. Are u and a nonequal?
True
Let d = -13 + 12. Suppose -2*g - 5 = 5*k, -k - 4*g = -7*g + 1. Is k not equal to d?
False
Let g = -1 - -1. Let n = 779208/11 - 70782. Let w = n + -55. Which is smaller: g or w?
g
Suppose -8*j + 16 = -4*j. Suppose -f - j = -2*u + 6, -2*f + 10 = 2*u. Suppose u*o + 4*m = -35, -5*o - m + 5 = -5*m. Which is bigger: -1 or o?
-1
Let b(i) = 12*i - 48. Let j be b(6). Which is smaller: 23 or j?
23
Let z(q) = -q**2 + 3*q + 4. Let h be z(3). Suppose l + 15 = -h*l. Let s be 1/l + 6/(-9). Are s and 0 unequal?
True
Let f = 1900/7 - 272. Which is greater: f or -2?
f
Let l be (3 + 0)/((-6)/20). Let x(v) be the third derivative of -v**6/120 - v**5/6 - v**4/24 - 5*v**3/3 - 2*v**2. Let c be x(l). Is c at most as big as -2/9?
False
Suppose -2 = 3*h - 5. Is -1/8 smaller than h?
True
Let f(o) = 3*o**3 + o. Let u be f(-1). Which is smaller: u or -8/3?
u
Let r = -24 - -39. Suppose 19*i = 14*i + 80. Which is bigger: r or i?
i
Let y = -62 + 1673/27. Which is smaller: y or 1?
y
Let a(c) be the third derivative of c**5/120 - c**3/2 - 3*c**2. Let f(u) be the first derivative of a(u). Let o be f(-3). Is -2 smaller than o?
False
Let v = 80 + -80. Is v > 15?
False
Suppose 2*v + 10 = 5*d + 35, -1 = d. Suppose 5*z = 3*s - v - 5, 0 = -4*z + s - 12. Suppose 2*i + 3*i = 0. Is z greater than or equal to i?
False
Let q = 297 + -300.06. Let s = q + 0.06. Is -2/3 less than or equal to s?
False
Let w be (-32)/39 + 3/(63/14). Is w greater than -4?
True
Let h = -0.15 - 0.05. Which is smaller: h or -5?
-5
Suppose 0 = -4*h + 20 - 4. Suppose 63 = h*y + 11. Suppose 0 = -4*d - 3*b - 16, 0 = 5*b + 33 - y. Are d and 1/3 unequal?
True
Let t(w) = -3*w + 1. Let c be t(-3). Suppose 0 = 5*n - c. Suppose -3 = -m - 0, 5*m = i + 14. Is n at least i?
True
Let t = 15.6 + -9.6. Is t smaller than -2?
False
Let q = 5.6 - 6. Let h = -1.4 - q. Let a be (2/15)/(1/(-3)). Which is smaller: a or h?
h
Suppose 3*w - 3 - 6 = 0.