or -3?
s
Suppose -30 = 2*v - 2*b, -4*v + b - 36 = 12. Which is smaller: v or -10?
v
Let d = 6 + -7. Is -1 < d?
False
Let k = 153 + -193. Does k = -1?
False
Let c be ((-1)/(-210)*4)/((-3)/9). Is c less than or equal to -1?
False
Let t(m) = -3*m - 8. Let y be t(-8). Let d = y + -18. Let q = 0.3 + -2.3. Is d > q?
False
Let w(b) = b**2 - 3*b - 12. Let d be w(5). Which is smaller: d or -5/7?
d
Let s = 0.6 + -1.1. Let w = 0.4 + s. Is w != 7?
True
Let c = 108 - 80. Is 2 at least c?
False
Let i be (-8)/(-24) + (-17)/33. Let v be 0 - (0 + -1 - 0). Let z = 2 - v. Which is greater: i or z?
z
Let a = -1 + 0.96. Let r = -9.96 - -11. Let h = a + r. Which is greater: 0.1 or h?
h
Let m = 0.02 + -1.02. Let t = m - 4. Which is bigger: 0 or t?
0
Let y = -29 - -60. Is y equal to 31?
True
Let d(o) = -o**2 + 7*o + 9. Let s be d(8). Which is greater: s or 4/3?
4/3
Let g = -8 + 0. Let b = 4 + g. Let k = -5/22 - 1/44. Which is bigger: b or k?
k
Let v(j) = -j**2 - j + 1. Let s be v(-2). Let c = s + 1. Let b = c - 1. Which is smaller: b or -2?
-2
Let i(q) be the second derivative of q**5/20 - 5*q**4/12 - 7*q**3/6 + 3*q**2/2 - 2*q. Let y be i(6). Let b be 1*(y - -2)*3. Is b at most -1?
True
Let t(l) be the first derivative of 3*l**4/2 + 1. Let c be t(-1). Let m be 24/(-18) - 2/c. Is m at least 1/4?
False
Let j = -3.9 - -4. Is j at most 8/7?
True
Suppose 0 = -m + 4*m. Suppose 12 = -3*l - m. Let w be (l - 1)*(-2)/5. Is 3 bigger than w?
True
Let u be 2/((2/(-120))/1). Let h be ((-4)/u)/(1/(-23)). Let n = -1/10 - h. Are 2 and n unequal?
True
Let n = 2 - 0. Suppose -6 = -3*s + n*s - d, -18 = s - 5*d. Which is smaller: -1 or s?
-1
Let h be -1*((-4)/(-2))/2. Let g be ((-5)/(-15))/((-2)/(-12)). Let q be (-9)/27 - g/3. Is h equal to q?
True
Let h(q) be the first derivative of q**3/3 + q**2/2 + 4. Let d be h(1). Let m be (-3)/18*-4 - 0. Are m and d unequal?
True
Let k(i) = i**3 + 4*i**2 - 3*i + 5. Let a be k(-5). Suppose -11*m = 42 + 2. Which is greater: m or a?
m
Let l be (-2 - (0 + -4))/2. Let b(s) = -s + 4. Let k be b(0). Suppose t = k*t. Which is smaller: l or t?
t
Suppose 2*i - 16 = -3*w + 4*i, -3*w - 9 = 3*i. Let s = -20 + 20. Suppose 0*n + n - 1 = s. Is n less than w?
True
Let l be 4/(-18) - 43/9 - 3. Are l and -6 nonequal?
True
Suppose -5*u = -6 - 4. Does u = 0?
False
Suppose -6*p = -5*p - 5. Let b = p - 3. Let m(f) = -f - 5. Let k be m(-7). Is k <= b?
True
Let z = 15 + -37. Let j be 3/12 + z/(-8). Suppose j*w + 2*w = -15. Is w at most -4?
False
Let b be (12/2 + -1)*1 + -2. Which is smaller: b or -1?
-1
Let z be (2/5)/(2/(-10)). Is z less than -9?
False
Let b(m) = -2*m**3 + m**2 - 2*m + 2. Let i be b(1). Which is smaller: -1/4 or i?
i
Let f = -0.4 + 0.8. Let n = f + -0.3. Is 1 at least as big as n?
True
Let g(s) = -s**2 + 7*s + 6. Suppose 3*x - 2*x = 8. Let y be g(x). Let r be (-1)/(-1 + 2 + y). Which is smaller: -1/3 or r?
-1/3
Suppose -5*w + 28 = -w. Let b(q) = -2*q + 10. Let s be b(w). Let o be (-12)/42 + 19/(-7). Do o and s have the same value?
False
Let q(v) = -4*v**2 + 2*v - 1. Let x be q(1). Let u = -2 - -2. Which is greater: x or u?
u
Let n = -5 + 5. Let b = -27 - -47. Let t be -1 - (b/3)/(-4). Which is bigger: t or n?
t
Let h be ((-291)/(-18) - 5) + (-2)/12. Which is smaller: h or 0.3?
0.3
Let k = -0.1 - -0.04. Let u = k - -0.16. Is -0.2 at least u?
False
Let a(q) = -3*q**3 - 2*q**2 + 1. Let i be a(-1). Suppose -3*w - v = -46, -4*w + i*v - 78 = -9*w. Suppose p + w - 2 = 3*o, p + 18 = 5*o. Are o and 3 unequal?
False
Let l = 11 + -13.4. Let x = l - -2.3. Which is smaller: 16 or x?
x
Let s(i) = 2*i. Let z(k) = -2*k + 1. Let l(h) = 4*s(h) + 5*z(h). Let u be l(3). Are u and -2/3 equal?
False
Let m be (35/15)/(3/2). Which is smaller: 2 or m?
m
Let a = -227223 - -40900267/180. Let k = 2/45 + a. Which is smaller: 1 or k?
k
Let c = 1278/235 + -30/47. Is 4 at least as big as c?
False
Let j be -3 + (52/14 - 1). Let t = -2 + 1.9. Are t and j non-equal?
True
Suppose 0 = -5*y - 3*i + 116, 3*y - 16 = 2*y + 3*i. Let q = y - 16. Let r be 10/q + 2 + -4. Which is greater: r or -1?
r
Let v be 12/(-7 + 3) - 1. Is v at least as big as -0.01?
False
Suppose x + 3*f - 11 = 6*f, 0 = -x - 4*f - 17. Let h be 2 + -4 + 1 + 2. Let t be x/4 - h/(-4). Are t and -1 equal?
False
Suppose 2 + 8 = 2*x. Let i = 9 - 4. Suppose 0 = -i*d + 3*c - x, -c - 2 = -d - 3. Is d greater than -1?
False
Suppose -2*b + 7 + 9 = 0. Let n(z) = -z**2 + 10*z - 12. Let h be n(b). Suppose 1 + 19 = 4*r. Is h greater than r?
False
Let p be (18/(-15))/(2/(-10)). Let u = 4 - p. Does -1/2 = u?
False
Let q be (8/(-84))/(2/3). Let l = 3/28 - q. Let c be (2/(-8))/((-1)/4). Which is smaller: c or l?
l
Suppose 2*v - 42 = 2*f, -f + 2*v + 3*v - 29 = 0. Is -20 greater than or equal to f?
False
Let o be (-6)/(-33) - 420/1947. Which is bigger: o or 1?
1
Let z = -2 + 1. Let g = z - -2. Let m(b) = b - 1. Let y be m(g). Is y at most as big as -1?
False
Let z = -32 + 32. Which is smaller: z or -2/359?
-2/359
Let d = -11 + 6. Let i = d - -6. Let c = 1.8 - 2. Which is smaller: c or i?
c
Let m be 6/15 - (-139)/15. Let i = m - 10. Suppose r = 4*j - 20, -3*r = -4*r + 3*j - 15. Are r and i unequal?
True
Suppose -4*n - r = -0*n, 5*r = 0. Let d(k) = k**2 - 10*k + 12. Let t be d(9). Which is bigger: t or n?
t
Let j be -3 + 2 + -1 - -4. Suppose -4 = q + j*b - 1, -12 = 4*q - 3*b. Which is bigger: q or -2?
-2
Let f be (-2)/3 + 4/6. Let y be -2 + 0 + (3 - 2). Let s be ((-2)/y)/10*-1. Are f and s nonequal?
True
Let z be 265/(-150) + 6/60. Which is smaller: z or -3?
-3
Let s = -5 - -6. Suppose 0*o + s = o. Is 2 <= o?
False
Let c be (14/(-10))/(1/(-5)). Is 8 at least as big as c?
True
Let m = -11/8 - -3/2. Suppose -1 = 2*q - 3. Which is bigger: q or m?
q
Suppose f - 7*m + 9 = -8*m, 4*f + 39 = -5*m. Is f greater than or equal to 1/6?
False
Let n = 20 - 7. Is n greater than or equal to 1/3?
True
Suppose 0 = 4*k + 34 - 14. Let y be -3 + 3 + (k - -5). Are y and 3 nonequal?
True
Let d(z) be the second derivative of z**4/12 - 2*z**3/3 + z**2 - z. Let y be d(3). Which is bigger: 0 or y?
0
Let z = 5631/70 + 11/70. Let n = 81 - z. Let s be 0/3 + 1 - 2. Which is smaller: n or s?
s
Let q = 0.02 - -0.88. Which is bigger: q or -1?
q
Suppose -3*b - 5*c = -145, c - 98 + 6 = -2*b. Let w be b/12 + 2/8. Suppose -w*l = -0*l - 12. Which is bigger: l or 4?
4
Let t = 0.6 + -1.3. Let c = t + 0.8. Is c at most as big as -6?
False
Let y be ((-4)/(-12))/((-28)/72). Which is smaller: y or -2?
-2
Suppose v - r - 11 = -5*r, -4*r = -5*v + 7. Is v > -5/4?
True
Let k = -10.8 + 9. Let r = k - -0.8. Is r at least 1?
False
Suppose s - 17 = 2*s + 4*q, -12 = 4*s + 2*q. Let u = -1.9 - -2. Let x = -1.1 + u. Is s at least x?
True
Let q(p) = -p + 1. Let x be q(7). Let o be 20/x*(-6)/(-4). Let d be (0 + 2/35)*o. Is d smaller than 1?
True
Let f = -0.06 - 0.1. Let r = 0.05 + f. Does 1 = r?
False
Let g(c) = c**3 - 3*c**2 + c + 1. Let p be g(3). Suppose 0*h = -p*h - 4. Let x = -17/9 + 5/9. Which is bigger: h or x?
h
Let n(h) = h**2 - 8*h + 3. Let b be n(8). Suppose 5*p + 45 = -t, -b*t = p + 2*p + 27. Are -9 and p non-equal?
False
Let l = 42 + -44. Let u(q) = -q**3 - 8*q**2 - 6*q + 3. Let r be u(-7). Let o = -7 - r. Which is greater: o or l?
l
Let u(v) = -v**3 + 3*v**2 + 4*v + 7. Let o be u(4). Which is smaller: 9 or o?
o
Let m = -2 + 1. Let b be (1/(-2))/(m/6). Suppose b*k + 4 = -k. Which is bigger: -2 or k?
k
Let x = -8 - -13. Suppose -3*v - x*t + 16 = 0, 0*t - 2*t + 22 = -4*v. Is v at least -2?
False
Let i = -1/131 + -241/2751. Suppose 3*c + 2 = -7. Let q(k) = k**3 + 2*k**2 - 3*k - 1. Let r be q(c). Is i greater than or equal to r?
True
Let c(y) = -y**2 + 6*y + 1. Let p be c(5). Let v = p + -3. Let i = 1 - v. Which is smaller: i or 2?
i
Suppose -4*x + 17 = 4*p + x, 3*p + 26 = 4*x. Which is greater: p or -19/11?
-19/11
Let f = -5 + 7. Suppose -2*o + 5*h + 6 = 0, h = -5*o - h + 15. Suppose -g - f*g = -o. Which is greater: g or -2/11?
g
Let s(t) = -t**2 - 6*t + 5. Suppose 16 = -2*c + 2*l, 5 = -3*c + 2*c - 2*l. Let z be s(c). Which is greater: z or 0?
0
Let c(w) = 2*w + 4. Let d(m) = 3*m + 7. Let g(l) = -5*c(l) + 3*d(l). Let j be g(1). Suppose j*k + k = 0. Do k and -2 have the same value?
False
Let x(l) = l**3 - 2*l**2 - 2. Let y be x(2). Let g be (-4)/(-12) - y/3. Are g and -1/2 unequal?
True
Let a 