et i be 1/2*-4 + -9. Which is greater: -1 or i?
-1
Let b(s) = 9*s - 1. Let v be b(1). Let z = v - 6. Let t be (-1)/(-2) + (-1)/(-2). Which is greater: t or z?
z
Let q = 0.08 - 0.04. Let p = 14.96 + q. Let d = p - 10. Is d not equal to 0.1?
True
Suppose -3*c - 4*v = -4, 3*v = c - 2 + 5. Suppose -2*k + c*k = 0. Let s = -4/15 - 2/5. Is s bigger than k?
False
Let m(q) = -9*q - 14. Let d(r) = -5*r - 7. Let v(a) = -5*d(a) + 3*m(a). Let y be v(-9). Is y at least 10?
True
Let c be (-1)/(-1*1/(-6)). Let p be (-6)/(1*9/c). Let n be 2/p*(-1 - -3). Is 0 equal to n?
False
Let q be ((-2)/(-25))/(7/(-105)). Which is smaller: -2 or q?
-2
Suppose 5*m + 5 = o, 7 = -4*m - 3*o + 3. Let z be 0 + 0 + 1 + m. Suppose -4*p + 16 = 4*n, 3*n + n + 2*p = 8. Is z smaller than n?
False
Suppose -4*u - 5 = u. Suppose 3 = 3*g - 3. Let h be (2 + -4)/g + -1. Which is greater: u or h?
u
Suppose -4*s - 3 = -7*s. Which is smaller: 1/50 or s?
1/50
Let r = -2/231 - -772/231. Let l be ((-16)/(-12))/((-2)/(-3)). Suppose 0 = l*g - 2*w + 3*w - 8, -g + 4*w = -4. Is g bigger than r?
True
Let s(v) be the third derivative of v**5/60 - v**4/4 - v**3/6 + v**2. Let q be s(6). Is -2/41 > q?
True
Let p be (-4)/(-8) + (-2)/((-116)/(-33)). Is 0.1 > p?
True
Let n = -557/582 - -12/97. Which is smaller: n or 0?
n
Let i be (1 - (3 - 3))*2. Suppose -4*b = i*c - 22, 0*b - 10 = -b - 2*c. Are 5/2 and b unequal?
True
Let i be 4/16 - (-5)/(-20). Is i < -2?
False
Suppose 2 = -4*f - 0*f + z, 3 = -5*f + z. Which is smaller: f or 1/8?
f
Let c(g) = -2*g + 8. Let s be c(7). Let p = s - -10. Suppose -5*d - 3*x - 8 = 0, 2*x - 8 = p*d + 4*x. Is 2/7 smaller than d?
False
Let j = -21 + 20. Which is smaller: j or 3?
j
Suppose 2 = z - 2*z. Let h = z + 1. Are -1 and h nonequal?
False
Let m be ((-2)/(-5))/(2*28/(-70)). Let w = 43/94 + 2/47. Is m less than w?
True
Let t = 1.01 - 0.01. Let f be 2/7 - (-31)/(-84). Which is smaller: t or f?
f
Let b be ((-2)/88)/(33/(-24)). Are 0 and b unequal?
True
Suppose 2*d - 3 = 1. Let y(b) = -b**2 + 2*b - 1. Let q be y(d). Let i be 4 + 1/(5/(-20)). Are i and q equal?
False
Let u = 7 + -8. Let r(z) = z**3 + 2*z**2 + 2*z + 1. Let c be r(u). Suppose -2*h - 2*h = c. Which is smaller: -5 or h?
-5
Let b be -3 + (-3 + 2 - -2). Let o be -15 + (b - (0 + -2)). Let q be ((-2)/o)/((-6)/(-10)). Which is smaller: 0 or q?
0
Let b be 390/336 - (4 - 1). Let s = 17/8 + b. Let r be (-4)/10 + 12/80. Which is smaller: s or r?
r
Let g be ((-12)/14)/((-10)/(-15)). Which is greater: -1 or g?
-1
Let n(m) = 3*m + 3. Let c be n(-1). Are c and 6/13 equal?
False
Let b(q) = -q**2 - 4*q. Let p(w) = -w**3 - 3*w**2 + w + 1. Let a be p(-2). Let r be b(a). Which is smaller: r or -6?
-6
Let i(m) = -174*m**3 - 4*m**2 - m + 5. Let v be i(5). Let c = v - -108729/5. Let a = c - -103. Which is bigger: a or 0?
0
Let j be 2/(-13) + -2 + 15/13. Is 1/5 less than j?
False
Let g = -644.2 - -645. Let z = -2 + 2.1. Does g = z?
False
Let y = -0.03 + -0.47. Let d = 1 + y. Let k = -52/259 + 18/37. Which is smaller: k or d?
k
Let b(s) = -s. Let q be b(-2). Suppose -3*l = 0, -2*r + 3*l = q*r + 20. Let x = 9 + -13. Which is greater: x or r?
x
Suppose -54 = 11*y - 8*y. Is -17 greater than or equal to y?
True
Let r(w) = w**2 + 10*w + 10. Let n be r(-11). Let h = -14 + n. Is h <= 6?
False
Let l = -1.8 - 0.2. Let c = -83.1 - -77. Let o = c + 6. Which is bigger: l or o?
o
Let z = 2 - 2.1. Let p = -1 + -1. Which is smaller: z or p?
p
Let c be (-2 - -3) + 0 - 1. Let b = -241/56 + 39/8. Which is greater: c or b?
b
Suppose -4*r + 0*w = w + 9, -5*r - 12 = 2*w. Suppose -3*c - 2*c = 5. Let l = -1 - c. Which is smaller: l or r?
r
Let u = -27 - -20. Which is greater: -5 or u?
-5
Let g be (-1 + 4 - 1)*-45. Let u be -2 + -2 + g/(-21). Let v = -6 + 13/2. Is u greater than v?
False
Let k(l) = l**3 - 18*l**2 - 19*l. Let g be k(19). Which is smaller: -4/11 or g?
-4/11
Suppose 0 = 2*t + 1 + 7. Let i = -4 - -1. Which is bigger: i or t?
i
Let k(l) = -l**3 - 5*l**2 - l + 5. Let j be k(-4). Is -4 smaller than j?
False
Suppose -2*k + 1 = 5. Let s = k + 7. Suppose 3 + 2 = s*z. Is -1/6 <= z?
True
Let u = 39305 + -313599/8. Let d = u - 105. Is d greater than or equal to -1/4?
True
Let u = -25/2 + 13. Suppose -4*v = -3*d + 5, -5*v + 5*d - 9 - 1 = 0. Which is greater: v or u?
v
Let a(q) = -4*q**2 + 6. Let o(m) = 11*m**2 - m - 17. Let r(h) = -8*a(h) - 3*o(h). Let g be r(3). Are 4 and g non-equal?
True
Let q be 3/(-12)*(-8)/(-6). Let w = 2.8 + -3. Let h = 0.3 + w. Is q equal to h?
False
Suppose 0 = 5*h + 2*v - 4*v + 20, 5*h + 40 = -2*v. Which is bigger: -7 or h?
h
Let c(t) = -4*t - 23. Let o be c(-12). Let l = -25 + o. Is 2 <= l?
False
Let a be (1 + 2)/((-135)/60). Is a at least -3?
True
Let m = 25.72 - 19.8. Let i = m + 0.08. Is 0 <= i?
True
Let f be -16*(4/(-16) - 3/2). Is 28 greater than f?
False
Let b = 30.13 - 0.13. Which is greater: 0.1 or b?
b
Let s(p) = -2*p**2 - 14*p. Let h be s(-6). Let i(o) = -o**3 + 13*o**2 - 11*o - 8. Let v be i(h). Which is greater: v or 2?
v
Let l be 0/((-6)/(-2) - 0). Which is greater: l or 3?
3
Let m = -6 - -11. Let s = m + -6. Let z = -2 - -2. Which is bigger: s or z?
z
Let h = -3 + 5. Suppose h*t - 6 = -t. Let r = 91 - 89. Is t at least r?
True
Let n = -23/7602 - 23634319/98826. Let s = 239 + n. Suppose -22 = -2*j - 4*m, 3*j + 8 = 4*m - 9. Is j > s?
True
Suppose 0 = 2*r + y + 2 + 2, 2*y = r + 12. Let z = -9 + 5. Let u be (2/z)/((-8)/r). Is u at most as big as 0.1?
True
Suppose 0 = -4*t + 8, -4*w + 186 + 126 = -2*t. Let i = -54 + w. Suppose -i = 2*r - 5*v, -2*r - 10 = r - 2*v. Which is greater: r or 1?
1
Let p = -12 + 14. Is p not equal to 4/5?
True
Let s = 47 - 46. Suppose -8 = d - 3*d. Which is greater: s or d?
d
Let k = -11 - -12. Is k >= 5?
False
Let v(w) = w**2 + 3*w + 3. Let t be v(-3). Suppose t*j = -2*j. Is j >= -1?
True
Suppose -24 - 26 = 5*f. Which is bigger: f or -11?
f
Let j = 359 - 5389/15. Which is bigger: j or -1?
j
Let f = 25 - 27. Which is smaller: f or -0.1?
f
Let t = 0.15 - 0.25. Is t bigger than 2/3?
False
Let l = 13 - 11.3. Let z(s) = s**3 + 2*s**2 - s - 1. Let j be z(1). Is l <= j?
False
Suppose 16 = 3*j + 1. Suppose -j*a - 91 = -4*b, -3*b + 2*b - 71 = 5*a. Which is greater: a or -14?
-14
Let i be 0/1 + (-6 - -10). Let w = -3 + 6. Is i bigger than w?
True
Let f be 3/((-1)/(-2)*-2). Let n = 68 - 72. Which is smaller: n or f?
n
Let r(s) = -s**3 + 6*s**2 + 6*s + 9. Let v be r(7). Suppose 0 = c - v*z, 2*c - 5*z = -3*c. Which is smaller: -1/4 or c?
-1/4
Let x be (-270)/21 - (-2)/(-14). Which is bigger: x or -1?
-1
Let o = -9/5 - -2. Is o greater than 1?
False
Suppose 5*w = -10, -5*n + 2*w = -30 - 9. Suppose b = -2*u + n, -15 = 3*b - 5*u + 2*u. Is b equal to -2/5?
False
Let a = 10 - 20. Which is smaller: a or 0.1?
a
Suppose -3 + 33 = 3*n. Let b = n + -18. Are -6 and b unequal?
True
Let p be (2/6)/(-3 + (-1353)/(-450)). Is p < 50?
False
Let p = -1571/3 - -529. Which is greater: p or 4?
p
Let y = -0.02 - 2.98. Let d = -3.4 - y. Suppose -5*r - 7 = 2*n, -n - 2*n + 1 = -4*r. Do r and d have the same value?
False
Suppose 4*g - 8 = 2*i, i + 5*g - 2*g + 9 = 0. Let q be 8 + -7 + i/4. Which is bigger: -0.3 or q?
-0.3
Suppose 0 = -3*a - 5*r + 6, 4*a - 4*r - 34 = 6. Let l = 0 + a. Do 7 and l have the same value?
True
Let b be (-1)/2*(2 + 4). Let r(j) = -j**2 - 2*j + 4. Let t be r(b). Which is smaller: -3/8 or t?
-3/8
Let i = -15.3 + 1.4. Let t = i + 14. Which is smaller: 1 or t?
t
Let g = -6 - -6.4. Let m = 0.5 - g. Do m and 0 have different values?
True
Let l be (-2 - -9)*(24/(-14) + 0). Suppose 33 = 3*w - 6*w. Is w at most l?
False
Let h = -1367/10 + 137. Let p be 2/(2/9*-3). Let v = -2 - p. Is v at most as big as h?
False
Let o = 5 - 7. Let z be (2 + o)/(2 - 3). Which is bigger: z or 1/9?
1/9
Let i be (2 - 2/4)/(3/18). Which is smaller: i or 28/3?
i
Let k be 81/(-99) - 2/11. Which is smaller: -2/73 or k?
k
Let b be (6/(-240))/((-12)/(-530)). Let t = 7/16 + b. Let k = 0.17 + 1.83. Are k and t unequal?
True
Let m = -111 + 120. Is 15 >= m?
True
Let b(q) = 12*q - 10. Let z be b(5). Do z and 0 have different values?
True
Suppose 2*r + 3 = q - 4, 5*q + r - 24 = 0. Suppose 3*i + 1 + 2 = 0, -q*o = i - 4. Which is bigger: o or 5/3?
5/3
Suppose 14 = 3*r - p, -5*r + p = -3*r - 11. Suppose k + 4 = -r*y + 2*y, -8 = -4*y + 2*k. Is 2/7 greater