 be (-30)/k*(-6)/(-15). Do y and -3 have the same value?
False
Suppose 0 = 3*n - 9*n - 132. Let c = n - -23. Let m = 0.06 - -1.94. Is c > m?
False
Let s = 5/57 + 1/133. Is s at least as big as 4?
False
Let h = -1.6 - -18.6. Let a = -17.06 + h. Let g = 702/5 - 140. Which is bigger: g or a?
g
Let z be (-20)/(-11) + 6/33. Suppose 0 = -0*a + a + z. Let i be (-16)/(-6)*(-3)/a. Which is smaller: i or 3?
3
Let y be 1 + (-1)/(-2) + 27/(-30). Let j(m) be the second derivative of m**4/12 - 3*m**3/2 + 7*m**2/2 + m. Let i be j(8). Are i and y nonequal?
True
Let b(g) = -g**2 + 5*g + 22. Let z be b(10). Is -28 greater than z?
False
Let u = -164 - -156.1. Let y = 8 + u. Which is greater: y or 2?
2
Let u(a) = -3*a + 3. Let h be u(1). Is 2 equal to h?
False
Let o = 22 + -29. Is o greater than -39/5?
True
Suppose 0 = -u - 1 - 2. Let b be (-39)/(-6) - 2/4. Suppose -b = l + 2*q - 0*q, -5*l + 4*q - 2 = 0. Is u > l?
False
Let f(s) = -2*s**2 + 23*s - 12. Let d be f(11). Which is smaller: d or -2/3?
d
Let v = 0.58 - -0.12. Which is greater: v or -3?
v
Let a be (-6914)/((-60)/7 + 0). Let p = a - 805. Let t = -9/5 + p. Which is greater: 0 or t?
0
Suppose 3 = 4*z - 29. Let n be ((-10)/8)/(z/(-32)). Is 5 at least as big as n?
True
Let v be ((-4)/2)/(2/3). Let b = -5 - v. Let t = 0 + b. Is -3 at most t?
True
Suppose 0 = 5*g + 3*w - 38, 4*g - w = 18 + 26. Let n = g + -6. Let a be 16/(-6) - n/(-6). Which is greater: -3/2 or a?
-3/2
Let h be (-460)/(-140) + (1*2)/(-1). Which is smaller: h or 1?
1
Suppose -c - 2 = -6. Let h = 17 - 12. Suppose 8 = 3*m - 2*t, -h*m + c*t = -4*m - 16. Is 0.2 < m?
False
Let u = -35 + 48. Is 15 at least u?
True
Let o(m) = -7*m + 2. Let k be o(-1). Suppose -25 = -3*b + 5*v, 2*b - 2*v - k = 1. Which is greater: -0.11 or b?
b
Let x = -0.24 + 0.09. Let b = -0.05 - x. Which is smaller: b or 3/7?
b
Let r = -13 + 8. Let u be ((-11)/11)/(r/(-3)). Is u at least -2?
True
Let o(h) = h**3 + 2*h**2 - h + 6. Let b be o(-3). Do 1/32 and b have different values?
True
Suppose -31*v + 24*v = -147. Which is greater: 19 or v?
v
Let t be 0/(6 + (0 - 3)). Suppose -5*f = -2*c, t = -3*f + 6 - 18. Which is smaller: -9 or c?
c
Let n(m) be the first derivative of -m**4/12 - 2*m**3/3 + 2*m**2 - 3*m - 1. Let f(z) be the first derivative of n(z). Let q be f(-5). Is q smaller than -2?
False
Suppose -2*n - 10 = -4*s, 0 - 10 = -5*s + 3*n. Let j = s - 6. Is j greater than or equal to -4/15?
False
Suppose 0*m - 2*m - 8 = 0. Which is smaller: m or -0.2?
m
Let b(g) = g. Let j(n) = -n**2 + 3*n + 3. Let z be j(5). Let p = z + 4. Let s be b(p). Is -4 greater than s?
False
Let b = -4 - -4. Let q = -4 + b. Let w be 27/21 + q/14. Which is smaller: 2 or w?
w
Suppose k = -d - 1 + 2, k = -5*d + 25. Let c be (4/(-29))/((-12)/d). Which is smaller: 0 or c?
0
Suppose i + 1 = 2*i. Let y = -1 - i. Let f be y/(-4)*8/18. Is f greater than -1?
True
Let b(q) = q**2 + 17*q - 14. Let k be b(-8). Is -86 < k?
False
Suppose 3*o - 119 = -5*y + 44, o - 1 = 0. Is 33 at most as big as y?
False
Let u be (-49)/532 - (-2)/8. Are u and -1 non-equal?
True
Let o be (7 + -6)*(-11 + -1). Let g be ((-2)/o)/((-4)/(-8)). Which is smaller: g or 0?
0
Suppose -2*v + 63 + 67 = 0. Is v <= 65?
True
Let i(s) = -18*s**2 + 2*s - 1. Let u be i(-2). Let r be 3 + 0 - (-253)/u. Which is bigger: -1 or r?
r
Let o(p) = p**3 - 3*p**2 + p + 2. Let g be o(3). Suppose 5*q + 4*z + 7 = 0, -g*q = -z + 3*z + 1. Do q and 2/15 have the same value?
False
Let z(t) = -9*t**3 - 20*t**2 - 23*t + 9. Let d(i) = 5*i**3 + 10*i**2 + 12*i - 4. Let y(c) = -7*d(c) - 4*z(c). Let h be y(-9). Which is greater: h or -6/13?
h
Suppose 2*s + 51 = -5*c, -6 = s - 2*c - 2*c. Let p be s/(-45) - 8/70. Is -1 bigger than p?
False
Let v = -12 + 13. Which is greater: v or 2?
2
Suppose 15*g = -9 + 24. Are g and -0.6 nonequal?
True
Let s(o) = -o**2 - 2*o + 2. Let t be s(-2). Suppose 2*l + 0*l = -2*g - 6, t*l - 5*g = 15. Which is bigger: l or 7/5?
7/5
Let n be 4/26 - (-592)/208. Which is greater: n or 13?
13
Let r = -2 - -1. Let g = -6 - -4.5. Let c = g + -0.5. Is r at least as big as c?
True
Let b be (-4 + (-9)/(-3))*-7. Let v be 4/18 - 671/(-99). Is b less than v?
False
Let y be (-1 - (-3 + 2))/(-1). Let h = 222/395 + 3/79. Let t = y - h. Is t at least 2/3?
False
Let j = -33 - -54. Is j < 23?
True
Let d(w) = w**2 - 3*w + 1. Suppose -3*k + 6 = -k. Let o be d(k). Let a = 0 - o. Is a bigger than -3?
True
Let d be 1 + 1 + (0 - 3). Which is smaller: 1 or d?
d
Suppose f = 4*g - 75, -5*g + 40 = 2*f - 57. Is g at most 19?
True
Let v = 0.033 + 0.021. Which is bigger: 0 or v?
v
Let t be (-4)/10 + ((-4260)/(-25))/1. Is t at least 170?
True
Let g = 1 + 2. Let h = 10 + -7.2. Let x = g - h. Which is greater: x or -2/3?
x
Let v = 366 - 364.21. Let n = v + -1.8. Is -1 greater than n?
False
Let z = 2318/7 - 332. Which is smaller: z or -1?
-1
Let k = 14 + -6. Suppose 5*h - 3*p = 68, -56 + k = -4*h + 4*p. Let c = -33/2 + h. Which is smaller: 0 or c?
c
Let v be ((-9)/15)/(24/(-15) - 4). Which is greater: v or 1?
1
Let m = 1 - -5. Suppose 0*d + d = -m. Let w be 8/(-6) - (-4)/d. Do -2 and w have the same value?
True
Let b be -7*((-93)/(-15) - 6). Suppose -16 = -5*y + 9. Suppose y*l + 4 = -1. Is b <= l?
True
Let y(v) = -v**3 - 7*v**2 + 17*v - 7. Let q be y(-9). Is 12 >= q?
True
Let i(m) = 11*m**2 - 8*m**2 + 2 + 3*m + m - m**3. Let t be i(-2). Is 15 > t?
True
Let d be 1 + (-3 - 60/(-27)). Is -2/7 at least as big as d?
False
Let m = -0.164 + 0.092. Which is smaller: m or -1?
-1
Let a = 11 + -15. Let t = -113 - -115. Which is smaller: a or t?
a
Let d = 4.4 + -4. Let l = -5 - -3. Is l less than d?
True
Let p = 0.11 - -1.89. Let w be 3/(-6) - 3/(-14). Which is smaller: p or w?
w
Suppose -4*b + 5*a = 2*a + 66, 5*b - 3*a = -84. Let j = -12 - b. Is j at least 7?
False
Suppose p + 4*h - 16 = 6*p, 0 = h + 1. Let u be 2/(-28)*(p + 462). Let k = u - -33. Which is smaller: 0 or k?
0
Let u = 58 - 83. Is u less than -25?
False
Let x = -0.6 + -0.2. Let w = x - 3.2. Let l = -4 - w. Is l < 0?
False
Let k = 10 + -5. Let x be 4 - 2 - (k + -3). Which is greater: x or -3/7?
x
Let q(v) = -v**3 - 7*v**2 - 7*v - 7. Let k = -19 + 13. Let g be q(k). Which is smaller: g or 0?
g
Let m = -3 + 3. Let p = -4 + m. Let c = 4 + p. Which is bigger: c or -2/5?
c
Let h = 3/89 + -7/2848. Which is bigger: h or 0?
h
Let r(c) = c**2 - 5*c + 4. Let z be r(5). Suppose z*h + 1 = v - 2, 0 = -4*v + 4*h. Which is bigger: -1/9 or v?
-1/9
Let f(b) = -b**3 + 3*b**2 - 3*b + 2. Let j be f(2). Let q be (-1)/(-4) - (-116)/(-16). Let a be q + 6 - -1*1. Are a and j nonequal?
False
Let v = -1 - -2. Let g be (v/(-23))/(10/(-20)). Which is bigger: 1 or g?
1
Let w(s) = -s**2 + 2*s + 2. Let a be w(3). Let h = 823/11225 + 3/449. Is a at most h?
True
Suppose m = d + 2, 4*d + 3*m = -d + 6. Let x(a) = a**3 - 4*a**2 + 4*a - 3. Let p be x(3). Is d at most as big as p?
True
Let b = -23/4 - -11/2. Let l = 3 - 3.02. Let p = 1.98 - l. Which is greater: p or b?
p
Let w be (5/(-60))/((-1)/(-2)). Is w at least as big as 1?
False
Suppose -7*z + 20 = -2*z. Let q(l) = l - z - 8 + 3. Let m be q(7). Which is greater: -1 or m?
-1
Let x be ((-21)/14)/(2/12). Let w be (0 - -3) + 29/x. Is w at most as big as -1?
False
Let s = -18 + 29. Are s and -0.1 equal?
False
Let b(w) = 8*w**3 - w. Let z be b(-1). Let t be (12/14)/(3/(-21)). Which is bigger: z or t?
t
Let f be ((-4)/(-12))/(10/5919). Let h = f + -197. Which is bigger: 0 or h?
h
Let r = 2.16 - 1.93. Which is greater: r or 2/7?
2/7
Let v(c) = c**3 - 5*c**2 - 5*c - 6. Let m be v(6). Is m smaller than -3/7?
False
Let u = 0.7 - 4.7. Let r = 4 + u. Let l = -2953/15 - -197. Is r greater than l?
False
Let z = 1 + -1.5. Let p(u) = u**2 + 4*u - 4. Let n = -7 + 2. Let k be p(n). Are z and k non-equal?
True
Suppose -6*m - 98 = -4*m. Let y be ((-2)/7)/(56/m). Which is smaller: 1 or y?
y
Let r = 428/95 - 22/5. Let s(n) = -n**2 + 6*n. Let f be s(5). Suppose -3*p - 4*a - 3 = 0, f*a = a. Which is smaller: p or r?
p
Suppose 3*u = -c, -5*c - 2*u - 3*u = 0. Let q be (-3 - -2) + 15/9. Does q = c?
False
Let r(x) = -x**3 + 9*x**2 - 9*x + 10. Let v be r(8). Suppose 3*o + 4 = -v*z, -4*o - 11 = 4*z - 3. Is 0 less than o?
False
Suppose 0 = -2*d + 4*d - 4. Suppose -6*r = -d*r. Suppose 5*l - 5 = r, l + 0 = -t + 2. Which is greater: 0 or t?
t
Let l(c) =