)/(-4)). Which is bigger: v or 1?
1
Suppose -5*j - 4*p = 173, -2*j - 63 + 7 = -5*p. Let a be -3 + j/(-8) + -1. Which is smaller: a or -1?
-1
Suppose -2 = -3*l + 2*l. Suppose -25 = 5*z, 0*s + s = -l*z - 8. Which is smaller: s or -1?
-1
Let c be (8/(-18))/(6/(-9)). Let v = -4 + 8. Suppose 6*l - 2*l = -v*t + 4, -3*t - 4*l = -3. Which is bigger: t or c?
t
Suppose -3*y - y - 20 = -2*s, 2*y = -2*s - 10. Suppose -k = 4*k - 5. Let g be (-2 - k)*(-2)/(-21). Which is bigger: s or g?
s
Let w = -16 + 16.1. Which is bigger: w or 7?
7
Let w be (-10 + 1)*2/6 + 3. Is -1/11 less than w?
True
Let x be ((-12)/(-8))/(-3) + 9/12. Is x < 2/21?
False
Suppose -o - j = -4, -26 = -4*o - 5*j - 9. Is 21/8 > o?
False
Suppose a - v - 13 = 0, 3*a = 4*a - 4*v - 22. Which is bigger: 12 or a?
12
Let f be (-17226)/3454 - (-1 + -4). Is -1 greater than f?
False
Let d = -20/7 + 22/7. Let f = 18 + -18. Is d <= f?
False
Let n = 0.51 - 0.5. Let u = n - -1.99. Is u >= -0.07?
True
Let q(b) = 2*b**2 - 3*b + 8. Let n be q(4). Let z = 20 - n. Which is greater: -9 or z?
z
Suppose 4*l = 4*f + 3*l, 0 = -5*f + 2*l. Let s be ((-18)/(-8))/(1/(-4)). Let g be (f + -1)/(3/s). Is g at least as big as 3?
True
Let l be 1/2 - 11/18. Is 0.2 != l?
True
Let q be (6 - 2)/2 + 2. Suppose q*p - 24 = f + f, 3*f - 24 = -4*p. Let y be ((-8)/12)/(4/p). Which is greater: y or -2?
y
Suppose 0 = -2*c + 2*d - 10, 2*c + 0*c - 2 = -d. Let l be ((-24)/20)/((-22)/5). Which is smaller: c or l?
c
Suppose -3*j - 3*b - 21 = j, -4*j + 5*b + 3 = 0. Let k be -2*(-3)/((-108)/j). Which is smaller: 1 or k?
k
Let i be (-1 - (2 - -2))/(-1). Suppose -i*s = -s. Which is smaller: 1/10 or s?
s
Let l be 1 - (-2 - (-2 - 1)). Which is smaller: 2/25 or l?
l
Suppose -4*s + 5*s = 165. Let p = 831/5 - s. Are 0 and p nonequal?
True
Suppose 0 = -18*t + 14*t + 4. Is 2/73 > t?
False
Suppose -f + 0*f = -5. Suppose -f*s = -10 - 10. Let x be (-12)/2*(-2)/3. Is x at least as big as s?
True
Let f be 2 - (31 - -4)/5. Is -5 at least as big as f?
True
Let i = -3 - -2. Let s = -10 - -10.6. Let a = s - 0.8. Which is bigger: a or i?
a
Let o = -54 + 44. Is -10 less than o?
False
Suppose 8*m + 10 - 10 = 0. Which is smaller: m or -3/20?
-3/20
Let n(z) be the first derivative of -z**3/3 - 5*z**2/2 + 6*z + 2. Let v be n(-6). Let t = -5 + 4. Which is bigger: t or v?
v
Let y = 0.4 - 12.4. Let n = 22 + y. Let x = n - 6. Is 1/4 less than or equal to x?
True
Let y(s) = s**2 + 0*s + s + 0*s - 17*s**3. Let r be y(-1). Suppose 5 = 4*j + r. Is 0.1 at least as big as j?
True
Let k be (3 - 2)/1 + -3. Let m be 17/(-55) + k/(-5). Does m = -1?
False
Let o = -2/53 + -96/265. Which is smaller: o or -1?
-1
Let w = -15 + 27. Suppose 2*h + 10 = w. Are h and 3/16 equal?
False
Let k = -155 - -154. Which is bigger: k or 3/5?
3/5
Let c be (-3)/46*96/72. Which is greater: c or 0?
0
Let s = 5 + -4. Let d be (2 - (2 - s)) + -1. Let v(x) = -x**2. Let a be v(1). Is a > d?
False
Let d be (-1)/(3/((-6)/26)). Let r(p) = 2*p + 1. Let j be r(-1). Is d smaller than j?
False
Let j(x) = 4*x + 5. Let u be j(-7). Do -23 and u have different values?
False
Let b(y) = y**3 + 4*y**2 - 4*y - 4. Let v be b(-5). Let i be 30/(-140)*4/v. Which is smaller: i or 1?
i
Suppose 0 = -5*k + 1 + 4. Which is greater: k or -6/23?
k
Let x(u) = u**2 - 7*u + 6. Let b be x(5). Let m be 13/(-2) - 3/(-2). Does b = m?
False
Let u(v) = -2*v**2. Let g be u(1). Let h be ((-10)/(-5))/(g/(-4)). Suppose -4*c = -2*c + h, -3*l - c + 7 = 0. Is l >= 2?
True
Let c = 1 - 5. Let a(v) = v**3 + 3*v**2 - 4*v - 1. Let h be a(c). Is -1/4 less than h?
False
Let i = 253/4 - 121/2. Which is smaller: 3 or i?
i
Suppose -8 = 4*c + 12. Are -0.2 and c non-equal?
True
Let y(x) = -51*x. Let p be y(-2). Let l = p + -710/7. Is l at most 1?
True
Let v = -3 - -3. Let r be (-1)/(-8) + (-9)/(-56). Which is bigger: r or v?
r
Suppose 0 = m + 3*m + 16. Let f = -3 - m. Which is bigger: 3/4 or f?
f
Suppose 4*i + 4*t = 0, 2*i + 4*t - 3 = -t. Suppose 0 = -4*l + 5*d - 4 - 2, -3*l + d + 1 = 0. Do l and i have the same value?
False
Let p = 8.7 + -1.7. Let v = -0.06 + 7.06. Let m = p - v. Which is smaller: m or -0.4?
-0.4
Suppose -4*m = x - 9, 0 = 3*m - 4*m + 4*x - 2. Let t be ((-1 - -5) + -2)/m. Let f = -2 + t. Which is smaller: -4 or f?
-4
Let k be 16/(-10) - (2 + -3). Let a = -457/5 + 91. Which is smaller: k or a?
k
Let h be 12/(-18) + 64/42. Is h at most as big as -2/17?
False
Suppose 0 = v + 2*x, 6*v + 2*x - 6 = 2*v. Suppose -b + 1 = v. Is b at least 0?
False
Let o = -8.1427 + 0.0827. Let z = o - -8. Let d = z - -0.06. Is 1 at most as big as d?
False
Let z = -0.03 + 0.14. Let y = -26 - -26.01. Let t = z - y. Is t at most as big as 1?
True
Let x = -12 - -6. Suppose -2 = 4*q - 3*q. Let n be q - ((-32)/x)/(-2). Which is smaller: -1/6 or n?
-1/6
Suppose -2*m = -5*m. Which is bigger: -1/9 or m?
m
Let t = 441 + -1904/5. Let n = 60 - t. Let y = 0 - 0. Is n < y?
True
Let u be 220/35 + 2/(-7). Suppose -b = -d - u, 4*b - 15 = 2*d + 15. Is 9 != b?
False
Let f = 2 + -1.5. Let w = 25.4 + -25. Let j = f - w. Is j greater than or equal to 0?
True
Let a = -2/629 - -28309/1258. Let w = 23 - a. Suppose 0*q - 3 = -3*q. Is w >= q?
False
Let h be 0 + -5 + 3 - 3. Is h < -14/3?
True
Suppose 0 = 3*r - k - 4, 5*r + 4*k = r + 32. Let y(m) = -m**3 + 3*m**2 + 12*m - 6. Let w be y(5). Is r at most as big as w?
True
Let b = -46 + 57. Which is smaller: b or 13?
b
Suppose -28 = 7*w - 161. Is w greater than 18?
True
Let d be (2/(-55))/(22/(-55)). Is -1 >= d?
False
Let x be 2/13 - 343/1638. Is x > -1?
True
Let j(g) = -15*g - 10. Let o(z) = -7*z - 5. Let c(p) = 6*j(p) - 13*o(p). Let w be c(-7). Let h be -2*((-5)/2)/(-5). Is h < w?
False
Let x = -1.92 + -0.08. Which is greater: x or 11?
11
Suppose 2*o = -5*p - 10, -2*p + 0*o - 13 = -o. Let t be (p/(-12))/(3 + 0). Let d(q) = -q**3 + 3*q**2 - 3*q + 2. Let r be d(2). Which is greater: t or r?
t
Suppose l - 6 = -5*y, 4 = 3*l + 5*y - 4. Is 1/11 smaller than l?
True
Suppose 3*a = 3 + 9. Which is smaller: 7 or a?
a
Let x be ((-6)/4 + 2)*-4. Let z = -1 - x. Is -1 smaller than z?
True
Let h be 2/(-30) + (-2)/(-3). Let q = 63 + -62. Are q and h equal?
False
Let t = -34/11 - -3. Is t at most as big as -1?
False
Let a = -0.135 - 0.865. Is 2/93 less than or equal to a?
False
Suppose -5 = -5*x, 3*q + 3*x + 0*x - 18 = 0. Suppose 0 = 2*a + 3*a. Let m = 4 + a. Which is bigger: q or m?
q
Let o(q) = -q**3 + 5*q**2 + 5*q + 6. Let a be o(6). Let h be 24/54*(-75)/(-40). Is a equal to h?
False
Suppose 12 = 3*s - 24. Which is smaller: 25/2 or s?
s
Let m = 0.09 + 1.91. Let y be (-3)/(-6)*2/4. Is y less than or equal to m?
True
Let v be -2 + 4/12 + 52/48. Is v >= -1?
True
Let z be -3*((-39)/(-9) + -1). Let x be ((-69)/z)/((-18)/24). Let c = x + 48/5. Is 2 at least as big as c?
True
Suppose 0 = y - 0*y + 219. Let b = -1969/9 - y. Is b greater than 0?
True
Let w(q) = -q**3 + 3*q**2 + q - 2. Let c be w(3). Let o be (-207)/(-246)*(c + 1). Let b = -2/123 + o. Which is smaller: 3 or b?
b
Suppose -116 = 2*a + 4*p - p, a + 4*p + 63 = 0. Let m = -82 - a. Let k be (-2)/72 + 6/m. Is k bigger than -1?
True
Let k(q) be the third derivative of -q**5/60 - 13*q**4/24 - 8*q**3/3 - 4*q**2. Let f be k(-11). Is 7 > f?
True
Suppose 3*v = 2 + 1. Suppose -6 = -5*r - v. Suppose -3*m + 6 = 3*f, 4*m + 0 + r = -f. Does 0 = m?
False
Let j = -0.3 + 7.8. Let t = j - 7. Let z = -0.3 + t. Is 0.2 at most z?
True
Let n = 13 + -8. Suppose 2*g + 273 = n*x - 0*g, -5*x - 4*g + 279 = 0. Let b be (-3)/(-4) - x/20. Is -1 < b?
False
Let c = 0.43 - -3.5. Let k = 0.07 + c. Which is smaller: 1/3 or k?
1/3
Let o = 17 - 17.3. Let y = o + 0.2. Let t = 2 - 2.1. Is t > y?
False
Let s be 0/(-2 - -4) - 45/(-7). Which is smaller: s or 5?
5
Let q = -7.2 - -6.2. Is q greater than or equal to 5?
False
Suppose -5*p + 3*c = 4, p - 5*p + 3*c - 2 = 0. Which is smaller: -20 or p?
-20
Let q be ((-25202)/3)/((-35)/(-3)). Let n = -720 - q. Which is smaller: 1 or n?
n
Let s(t) = -t**3 + 4*t**2 + 7*t - 5. Let o be s(5). Suppose -o*b - 6 = 4*k, 0 = 2*b + 2 + 2. Which is greater: k or 6?
6
Let r = 4 - 3. Let t be ((-10)/(-4))/((-10)/(-8)). Is t > r?
True
Let x be ((-22)/6)/((-1)/3). Suppose -b + 15 = f, 4 = -3*b + 16. Is f < x?
False
Let r be 2/1 + 5/(-1). Is r > -1/4?
False
Let r be 8/(0 + -4) + 1. Do -4/21 and r have the same value?
F