 is bigger: -9 or d?
d
Let j be 6 - (-2 + 1)/(-1). Let c(f) = 5*f**3 + 3*f**3 - 2*f**3 + 1 - 2*f**3. Let b be c(1). Is j greater than b?
False
Let i = 170 - 1009/6. Does 1 = i?
False
Let j be -1*(2 - 3)*0. Let b(q) = 2*q + 1. Let x be b(-1). Are x and j equal?
False
Let w(o) = -3*o - 4. Let k be w(-1). Which is bigger: -2/91 or k?
-2/91
Let q = -4 + 6. Let y be 3*((-10)/6 - 1). Let a be (-2)/(-4) - 4/y. Are q and a nonequal?
True
Suppose -4*r - 14 + 2 = 0. Let k be 34/30 - (-1)/r. Which is smaller: 0 or k?
0
Let a = 75/2 - 39. Is -4 <= a?
True
Let l = -2 + 2. Let s = 2.947 - -0.053. Which is greater: s or l?
s
Suppose -2*v + 12 = -0. Let t be (-235)/(-1105) + v/(-39). Which is smaller: t or -1?
-1
Let b = -11 + 7. Let a = 4.1 + b. Does a = -2/3?
False
Let z(c) = c**3 - 3*c**2 + 2*c + 1. Let f be z(2). Let y be (2/(-10))/((-27)/225). Which is greater: f or y?
y
Suppose 2*s + 3*s = 5*p - 50, -5*s = 5*p. Let l = -9 - -5. Is s less than l?
True
Suppose 4*q = 5*v - 4*v - 9, q = v - 3. Let w = -0.04 + -0.96. Is w < v?
True
Let o = -33 - -31. Is o smaller than -4/3?
True
Let u be 2*-2*1 + 0. Let t be 34/72 + 1/u. Let j = -14 - -13. Which is greater: j or t?
t
Let l(h) = h**2 + 10*h + 10. Let f be l(-6). Is -4 at least as big as f?
True
Let n = 2 - 0. Let u be (0 + 3)*(n + -1). Which is bigger: u or 4?
4
Suppose -3*q = -2*z - 4*q + 9, -4*z = -5*q + 17. Let j(i) = -2 + 2*i**2 + 3*i + 0 - 3*i**2. Let y be j(z). Which is greater: y or 3/4?
3/4
Let g be (-16)/120 + (-47)/(-15). Which is smaller: g or -1?
-1
Let h be 34/60 - (-7)/((-42)/4). Is h < -1?
False
Let a be ((-1)/(-2) - 0)*0. Suppose 2*w - 6 = -a*w. Which is smaller: w or 5?
w
Let c = -259 + 767/3. Which is smaller: -3 or c?
c
Let n be (1/(-2))/((-1)/122). Suppose 4*a + 5*y = -n, -3*a + 4*y - 22 = 3*y. Let v be (3/(a/(-6)))/3. Is -2/5 less than v?
True
Let i(a) = a**2 + 2*a - 1. Let p be i(-3). Suppose 0 = 3*l + 5*b - 23, b + p = 2*l + 4. Which is smaller: -1 or l?
-1
Suppose 3 = 4*b + 35. Let l be (b/4)/(14/4). Let y = -16 - -16. Do l and y have the same value?
False
Let j(x) = -x**3 + 6*x**2 - x + 8. Let p be j(6). Let m be 90/(-11) + p/11. Is m at least -8?
True
Let w = 3/19 + -47/57. Let i = -5 - -9. Suppose -g - 5 = -z, 3*g + 25 = -i*z - 2*g. Which is bigger: w or z?
z
Suppose -5*c = -6*c - 3*g - 12, -3*g - 12 = 4*c. Let x = 7/4 - 3/2. Which is smaller: c or x?
c
Let a(j) = -6414*j**2 + j + 2. Let z be a(3). Let n = 518750/9 + z. Let g = n + 82. Which is bigger: g or -1?
g
Suppose -4*k = -20, -3*l - l = -3*k + 43. Let b be (-10)/6*(l + 6). Which is smaller: 2 or b?
b
Let z = 8 - 33/4. Suppose -18 = -5*m + 7. Suppose -4*h + 1 = m. Which is greater: z or h?
z
Let i = 5/6 + -7/6. Which is smaller: 0 or i?
i
Let k = -2 + 1. Let u = k + 1. Let v = -104 - -1142/11. Is v less than u?
True
Let n = 6 + -4. Let g(f) = f**2 - 2*f - 1. Let v be g(3). Suppose r - v = -r. Is r smaller than n?
True
Let l(n) = -n**2 + 4*n - 4. Let b be l(3). Let q(c) = c**3 - 11*c**2 + c - 16. Let s be q(11). Which is greater: s or b?
b
Let z be 66 + 0 + (-6)/9. Let b = z - 66. Let l(y) = -y**3 + y**2 - 1. Let f be l(-1). Which is greater: b or f?
f
Let w(s) be the second derivative of 11*s**5/20 - s**4/12 - s**3/3 - s**2/2 - s. Let h be w(-1). Let i = -10 - h. Do i and -1/7 have the same value?
False
Let l be 1 - (-20 - 0/1). Let i be -6 + 4 + 1 + -2. Let d be 2/i - l/9. Do -3 and d have the same value?
True
Let x(p) = p**3 + 8*p**2 + 7*p + 4. Let y be x(-7). Is 32/7 at least as big as y?
True
Let a = 8 - 8. Which is greater: -9 or a?
a
Suppose 13 = 5*k + 3*b, 0 = 2*k - 7*b + 3*b. Let h be k/(-2)*-1 + -1. Suppose h*f = 4*f. Do f and 0.1 have different values?
True
Suppose -4*u - 49 + 12 = -5*v, -71 = 5*u + 2*v. Let c = u - -21. Let a = -7 + c. Is 0 smaller than a?
True
Let w = -2/661 - -2003/6610. Is w at least 0?
True
Let u = -2 + 3. Let o = 8 - 16. Let n = 8 + o. Is u < n?
False
Let t = 9.043 - 0.043. Is t greater than 2?
True
Suppose 8 = i - 6*i - n, -3*i = -n. Which is smaller: i or -1/20?
i
Let i be (-1 + 23)*4/(-8). Are i and -10 equal?
False
Suppose -u - 5*b - 6 = 0, -u - 3*b - 7 = b. Which is bigger: u or -12?
u
Let p(z) = -z**3 - 14*z**2 - 12*z + 13. Let u be p(-13). Which is bigger: 8 or u?
8
Let c = 1.3 + -0.3. Is -10 at least c?
False
Suppose 17 = -5*c + 7. Let i be (-7)/2*(-20)/(-30). Is c equal to i?
False
Let q = -38.315 + 33.6. Let r = -0.235 + q. Let k = r - 0.05. Is k at most as big as -2/3?
True
Suppose 5*f + 0*f + 4*q = -3, -f = -3*q - 7. Suppose 5*y - f + 11 = 0. Suppose 3*g = -4*p, -g - 1 = p - 2. Is y > p?
True
Let h be -5 + (-7)/(7/(-4)). Let g(q) = q**3 - q**2 - 2*q + 3. Let p be g(2). Let m be (1 - p/2)/(-2). Which is smaller: h or m?
h
Suppose -8 = -3*c - 5. Let v = -4 + 3.4. Let z = v + 0.4. Is z >= c?
False
Let x = -46 - -90. Which is greater: x or -1?
x
Suppose -n - n - l = 15, -50 = 3*n - 4*l. Are n and -9 unequal?
True
Let x be 22/(-180) - 4/(-18). Let g = 13606 + -952393/70. Let m = g - x. Which is bigger: m or -2/9?
m
Let x = 3.96 + -4. Let d = -0.24 - x. Let a = d - 0.8. Is -2/5 >= a?
True
Let j = 26 + -25.94. Which is smaller: 0.1 or j?
j
Let u = 2.1 + -7.1. Let a = u - -5. Let i = 0.2 - 0.3. Which is smaller: i or a?
i
Suppose o - 3 = -0*o, -21 = -3*a - 3*o. Suppose 0*i - a = -2*i. Suppose 0 = -i*d - 0*d + 8. Is 2 at most as big as d?
True
Let k(l) = -l**3 + 2*l**2 - 3*l. Suppose o = -o + 4. Let z be k(o). Suppose -2 = -3*q - c - 18, -2*q = 5*c + 2. Is q at least as big as z?
True
Suppose g + 20 = 6*g, 0 = 4*y + g - 40. Let l be (-8)/3*y/(-6). Suppose -l = -0*a + a. Which is bigger: -3 or a?
-3
Let b be 45/(-30) + 31/18. Is -0.7 smaller than b?
True
Let t = -15 + 16. Let r be (t + 0)/(1/(-3)). Which is greater: r or -5?
r
Let n be (-12)/(-30) - (-116)/10. Suppose -4*r = -0*r - n. Is r at most 4?
True
Let v be (1006/(-12))/(8/6). Let w = 63 + v. Let f = 1 + -1. Which is smaller: f or w?
f
Let u(v) = v + 7. Let b be u(-5). Suppose -5*p + w + 35 = -4*w, 0 = b*p + 4*w + 16. Suppose -2*x - 20 + 28 = 0. Does x = p?
False
Let s be 20 - (-1 - -3 - 1). Suppose 4*y = -5*d - 2, -y - 2*d = -6*y - s. Are -2 and y non-equal?
True
Let l = -152 - -152. Let c = -2 - -2. Is c less than l?
False
Let a be (2 - 2)/(-3 + 2). Let l(h) = -h - 7. Let k be l(-8). Let v = a - k. Is 0 > v?
True
Let y = -52/5 - -54/5. Let j be ((-2)/(-4))/((-4)/8). Let i = -2 - j. Which is smaller: i or y?
i
Suppose -v + 7 = 2. Suppose -v*z + 4 = -36. Are 9 and z nonequal?
True
Let z = 3.06 - 0.06. Let v = 1 - z. Let y = -5.6 + 1.6. Is v greater than or equal to y?
True
Let b = 0.01 + -0.05. Let x = 2.04 + b. Let v = -0.9 - -1. Which is smaller: v or x?
v
Let d = -5 - -7. Suppose 12 = -d*r - 2*f - 2*f, -3 = f. Let j be (-4)/(-18)*(-3)/2. Is j bigger than r?
False
Let a = -0.4 + 0.6. Which is smaller: a or -5?
-5
Let m be -2 + (2 + -3)/(-1). Let f = -3 - m. Let c = -0.1 - -0.1. Which is smaller: c or f?
f
Let z(g) = -g**2 + 6*g - 7. Let o be z(5). Are o and -12/7 unequal?
True
Let p = -10.71 - 0.29. Is p at least as big as 1?
False
Let s be 12/26*(-2)/(-6). Let n = 0 + -1. Which is bigger: n or s?
s
Let y(o) = -o**3 - 6*o**2 - 6*o. Let v be y(-5). Which is bigger: 6 or v?
6
Let p(k) = k**3 + 5*k**2 - 8*k - 5. Let z be p(-6). Let d = -6 + z. Let c be 2 - 2/(-10) - 2. Is c >= d?
False
Let m be (70 - 0)*(-2)/4. Let y = -24 - m. Let t = -17 + y. Is -6 greater than t?
False
Let g(a) = -a + 4. Let w be g(3). Suppose -3*h = 2*z + 2*h - 1, -3*z - 11 = -5*h. Let y = z + w. Is -2/3 greater than y?
True
Let s = 61 - 29. Let p be (-24)/s + (-3)/(-2). Which is smaller: 0.3 or p?
0.3
Let u = -2 + 3. Suppose 8*p + 6 + 2 = 0. Which is greater: p or u?
u
Let p be 1*(24/(-3))/(-2)*-1. Is p >= -4?
True
Let w = 482774 - 4358384/9. Let f = -1494 - w. Let s = f - -215/72. Does s = 0?
False
Let d = 311 + -2795/9. Which is smaller: 1 or d?
d
Suppose 3*p - q = 39, 52 = 4*p - 3*q - q. Let b = p + -13. Is b bigger than -1/20?
True
Let u be (-1)/(1 - 9/6). Let q be (u/6)/((-3)/(-18)). Suppose -5*w - 17 = 8, w = -q*a - 5. Which is smaller: a or -1?
-1
Suppose -k = 4*k. Suppose -h + k*h = 0. Let g = -1.8 - 0.2. Which is smaller: g or h?
g
Let m = 0.2 - 9.2. Let g = -7 - m. Is g less than -3/5?
False
Suppose -5*f - 3 = -0*a - 4*a, 0 = -3*a - 4*f + 10. Suppose