= l + 13, -5*v + l + z = 0. Which is bigger: v or 5?
v
Suppose -5*m = 3*v - 51, 3*v + 6 = m + 39. Let q be v/(-11) + 1 - 0. Which is bigger: q or 0.1?
0.1
Let g be (2 - 16) + (0 - (-6)/3). Is g at least as big as -40/3?
True
Let s be (-40)/18*(-27)/45. Let z = 11/6 - s. Which is smaller: -3 or z?
-3
Let h be (4/(-4))/(1 + 0). Let n be (1/6)/(2/3). Are n and h nonequal?
True
Let r = 90 + -91.3. Is -0.2 bigger than r?
True
Let a be (-2)/(-3 - -4) + 8. Let p = -7 + 13. Is a at most as big as p?
True
Let j be (-4)/(-16) + (-74)/8. Let m be 5 + j/(-3) + -6. Which is smaller: m or -3/2?
-3/2
Let a = -8 - -8. Let k(o) = o - 1. Let i(p) = -p**3 + 5*p**2 + 2. Let m be i(5). Let z be k(m). Is z at least a?
True
Let x = -0.006 + 0.206. Is x smaller than 8/7?
True
Let j(l) = -l - 6. Let z be j(-5). Let v = -8/9 - -2/3. Is z greater than v?
False
Let x(b) = b**3 - b**2 - 4*b - 1. Let w be x(3). Suppose w*i = -0*i + 5. Does 1 = i?
True
Let t(i) = i**3 + 6*i**2 - 8*i - 6. Let k be t(-7). Which is smaller: 2 or k?
k
Let m = 0.96 + 0.04. Let t = 1 - m. Which is bigger: -4 or t?
t
Suppose -3*x + 8 = u - 4, -u - x = -10. Suppose -u*o = -7*o. Is 0 at least o?
True
Let r = -15 - -8. Let z = r + 19. Are 21/2 and z nonequal?
True
Let y(c) = -c**3 - 9*c**2 - 9*c - 8. Let x be y(-8). Let r = 0 + x. Let a be 40/(-42) + (-4)/(-6). Which is greater: r or a?
r
Let b = 42 - 16. Is 77/3 smaller than b?
True
Let i = 24 + -24. Which is smaller: i or -5/12?
-5/12
Let r(c) = c**3 - 7*c**2 + 6*c - 3. Let a be r(6). Which is smaller: 4/7 or a?
a
Let s be 49/(-76) - 6/(-8). Is s smaller than 0?
False
Let d(j) be the first derivative of j**4/4 - 5*j**3/3 + j**2/2 - 5*j - 1. Let c be d(5). Let u = 39/8 + -149/24. Which is smaller: c or u?
u
Suppose b + 4*h - 7 = -29, -2*b = -3*h. Let w be ((-4)/b)/((-2)/3). Let r = -4 + 7. Is r at most as big as w?
False
Let o(l) = -l**2 + 6*l + 4. Let m be o(6). Let v be ((-2)/6)/((-10)/m). Which is bigger: 1 or v?
1
Let y be 1/((-9)/6 - -1). Which is smaller: y or -1/2?
y
Suppose -1 = u + 5. Is -6 greater than u?
False
Let y(t) = -t**2 + 9*t + 10. Let u be 156/15 + (-4)/10. Let i be y(u). Suppose i = -5*w + w. Are -1/10 and w equal?
False
Let m = -0.3 - -0.1. Let q = 0.2 + m. Suppose 5*r - 25 = u + 4*u, 6 = 3*r. Are q and u equal?
False
Let j = 25 + -15. Let d = 19 - j. Let q = d - 6. Do -0.1 and q have different values?
True
Let f be (-6 + 10)*(-3 - -2 - -4). Is 14 > f?
True
Suppose 0 = -l + 2*t - 7, -5*l + 2*t - 10 = -3*t. Suppose l*x - 4 = -13. Let v be 1/((3/2)/x). Which is bigger: -1 or v?
-1
Suppose 3*b = -0*b + 3. Let r be 6/(-14) - (0 + b). Is 0 less than r?
False
Let a = 2 + -1.999. Let n = -8.201 + a. Let w = n + 8. Is w >= 1?
False
Let j be -1 - (-5)/(20/8). Which is smaller: 11/5 or j?
j
Suppose 0 = -12*h + 20*h - 120. Is h at most 12?
False
Let o = 31.75 + 0.25. Is -0.1 at most as big as o?
True
Suppose -5*c + 2 = 7. Let p = -8 + 7. Let i = -1 - p. Which is smaller: i or c?
c
Let x = 15 - 6. Suppose 3*m + 12 = 5*b - 5, -5*b + m = -x. Let r be (46/(-12) - -2) + 2. Which is smaller: b or r?
r
Let k = -3 + 3. Suppose f - 5*f - 16 = k. Let o be 1/f + (-2)/(-8). Which is greater: -1/4 or o?
o
Let t = -184 + 182. Is t at most -6?
False
Let g = -14.07 - -14. Let i = g + -0.93. Is i not equal to 2?
True
Let i = 0.04 - 0.34. Let r = -0.07 - 0.23. Let o = i - r. Are -1 and o equal?
False
Let i be 6/4*4/36. Is i <= 5?
True
Suppose m - 4 = 2*u - 13, 0 = -5*u + 10. Let p = 1 - -1. Which is smaller: m or p?
m
Let i = 0 + 0.1. Let h be (2 - (-65)/(-20)) + 1 + 0. Does h = i?
False
Let n = 3 + 0. Let s = 5 - 5. Suppose n*h + 0*h + 12 = s. Is h smaller than -3?
True
Let l be 6/24 + 166/8. Do l and 22 have the same value?
False
Let n = -4 + 9. Suppose -n*w = -5*q + 2*q + 28, 2*w + 5*q + 5 = 0. Are -3 and w unequal?
True
Suppose 96 = -w - 7*w. Which is bigger: w or -10?
-10
Let b be ((-8)/20)/((-118)/(-10)). Which is smaller: b or 0?
b
Let x(s) = s**2 + 12*s + 19. Let r be x(-10). Is -4/7 greater than r?
True
Let y be 2*(-1 - -2)/7. Suppose 4*h - 19 = -5*z, 8 = 5*h - 0*z + z. Which is smaller: y or h?
y
Let y be ((-5)/(-1325))/(4/(-305)). Let q = 2/53 + y. Which is smaller: q or -1?
-1
Let q be 13 + -12 + 2/((-4)/(-118)). Is q less than 59?
False
Let g = 6 - 10. Which is greater: -0.1 or g?
-0.1
Let n = 9 - 0. Is n <= -2/9?
False
Let k = 9 - 9. Let j be 4/8*4/6. Which is smaller: j or k?
k
Let f be (5 + -2)*(-2)/6. Let n be (2 - f)/(-3) + -4. Let g = n - -4. Is g less than 4?
True
Let k = -366 - -28181/77. Is k > -1?
True
Suppose -8 = -2*s - 0. Suppose s = 4*o, 4*o = -2*p + 3*o + 5. Let z be 12/14*p/(-6). Which is smaller: 0 or z?
z
Let f = 3 + -4. Let d be (-2)/((f - -1) + 2). Is -2/3 at least d?
True
Let a = 1.81 + -0.21. Let x = 0.4 + a. Which is smaller: 0.3 or x?
0.3
Let t = 2.26 - -0.14. Let i = t - 0.4. Is 1 bigger than i?
False
Suppose 5*a - 2*d = -9, 2*a - d + 4 = -0*a. Suppose 0*y - 5*b = -5*y + 30, 12 = -4*y - 5*b. Suppose -y*o = 6 - 4. Is o > a?
False
Let v = -5 - -7. Suppose -u - 9 = -v*g, 2 = -4*g - 3*u - 5. Let i = -45 + 137/3. Which is greater: g or i?
g
Let z(t) = -t. Let p be z(2). Let h(s) = -2 + 3*s**2 - s**2 + 2*s + 0*s**2. Let m be h(p). Is m at least -0.1?
True
Let o be (54/(-15))/((-4)/10). Let b be o*(-1)/6*2. Let j = -2 - b. Is 1/7 equal to j?
False
Let k be (1 - (-148)/(-140))/(5/50). Suppose -3*f = -5*r - 6, 3*r = 2*f + 4 - 8. Is r < k?
False
Let k be (-3)/(-2)*24/(-9). Let m(x) = -x**3 + 6*x**2 - 3*x + 14. Let y be m(6). Is k at least as big as y?
True
Let c(f) = f**2 - 7*f. Let w be c(7). Suppose w = 4*u - 2*u. Suppose u = -5*h + h. Which is bigger: -5/6 or h?
h
Let a be 204/(-4)*(-3)/18. Which is bigger: 8 or a?
a
Let o be ((-74)/(-38) + -2)/(1/(-2)). Is 0 at most as big as o?
True
Suppose 6 = 4*q + 18. Let d = q + 6. Which is smaller: d or 4?
d
Suppose 2*y = -3*s + 95, -4*s + y + 123 = -0*y. Is s at most 31?
True
Let c be 1/(-2)*-4 + 1. Suppose z + 3 - 10 = 0. Suppose 4*d = c*d + z. Which is greater: 6 or d?
d
Suppose 4*g = 5*q + 17, -2*g - 2*q - 4 = -5*g. Which is smaller: 0 or g?
g
Suppose -4*y + 3*p = -108, y + 0*p = 3*p + 36. Let u be (-16)/y + (-136)/(-186). Is u greater than or equal to -1?
True
Let i be 10/52*(1 - 2/10). Which is greater: 0.06 or i?
i
Let p(q) be the second derivative of -q**4/12 + 5*q**3/6 - 5*q**2/2 + q. Let a be p(4). Which is bigger: -0.1 or a?
-0.1
Let u = 2.7 - 2.4. Let a = 0 + 0. Is a at least u?
False
Let s = 29 - 25. Is 3 bigger than s?
False
Let f = -6.94 - 0.06. Let n = f - -12. Let i = -4 + n. Which is greater: 3 or i?
3
Let q(u) = 3*u**2 + 14*u + 8. Let a be q(-4). Let o be (-40)/19 + 2 - 0. Is a < o?
False
Suppose v = -4*v + 3*n + 29, -2*v + 14 = -2*n. Suppose 5*o = -2*d + 8, -2*o - 4 = -2*d + v. Which is smaller: -3/14 or o?
-3/14
Suppose 0*z = 4*z + 16. Suppose -g - g = 2*v + 12, 5*v + 27 = -2*g. Let c = z - v. Is 3 >= c?
True
Let l(j) be the second derivative of j**3/3 - 2*j**2 - 4*j. Let r be l(-6). Is r less than -16?
False
Suppose 0 = 5*p + 3*b + 340, -4*p - b - 126 = 139. Let v be p/(-15) + (-2)/6. Is v smaller than 3?
False
Let v = -2.008 + 2. Let d = v + -2.892. Let r = 3 + d. Are r and -2 equal?
False
Let h = 3118/15 + -208. Is 0 at least h?
True
Suppose -7*f = -4*f + 9. Let h = 3 + 4. Let r(l) = -l**2 + 6*l + 5. Let i be r(h). Which is smaller: i or f?
f
Let s = 27545/17 - 1621. Is s != 0?
True
Let o = 12 + -11.6. Let j = -2 - -2.2. Is j != o?
True
Suppose 7*c - 11*c - 20 = 0. Is 4 bigger than c?
True
Let h(v) = v**2 - 5*v + 3. Let y be h(4). Let x be (-2078)/(-3843) - 4/18. Let u = 2/61 - x. Is y <= u?
True
Let o = 8 - 6. Suppose 2*i = -o*d + 6, -i + 4*i = -d + 9. Let n = -1 + d. Which is smaller: n or -2/9?
n
Let d = 0.3 + -0.2. Let q be (-3 - (-10)/4)*-262. Let i = q - 919/7. Which is smaller: i or d?
i
Let o = 0 - 3. Is o >= 3/4?
False
Let a be (1 - -2) + 4 + -29. Let c be 10/(-6)*a/(-55). Let x(k) = k**2 - 5*k - 7. Let f be x(6). Is f bigger than c?
False
Let i = 1 - 0. Is 2/9 >= i?
False
Let h = 0.321 - 0.121. Which is smaller: h or 6?
h
Let w = 0.29 - -0.01. Let n = 0.07 + -0.77. Let k = n - w. Is k <= 0.1?
True
Let h = -0.02 - 0.04. Let j = h + -5.94. Let w = j + 7. Which is smaller: -1 or w?
-1
Let j(n) = n**3 + 14*n**2 + 12*n - 16. Let c be j(-13). Are c and 2