3*h + x, 25 = 5*h. Which is smaller: -3/4 or q?
-3/4
Let u(n) = n**2 + 11*n + 19. Suppose 9 = -t + 1. Let i be u(t). Is -9/2 > i?
True
Let v(n) = 9*n + 22. Let i be v(-3). Which is smaller: i or 1?
i
Let t be 8*(3/6)/1. Suppose 17 = -s + t*d + 4, 5*s - 10 = -5*d. Let y be (1/(-2 + 1))/s. Which is bigger: -1/7 or y?
y
Let a = -20 + 14. Let s = a + 6. Let p = -0.1 + s. Is p at most as big as 0.01?
True
Let d(a) = 5*a**2 + 4*a + 2. Let j be d(-2). Suppose 3*f - 2*x - j = 0, -3*f - 5*x = -f + 16. Is 2 equal to f?
True
Suppose -25 = 10*m - 15*m. Let p = m + -1. Which is smaller: p or 3?
3
Let u be (-2)/(-5) - (-63)/15. Which is greater: 5 or u?
5
Let z = 21 + -20. Let b = -4/11 + 50/77. Are z and b nonequal?
True
Let j be ((-63)/(-14) + -6)/(63/(-16)). Which is smaller: j or -1?
-1
Let l(y) be the second derivative of y**3/6 + 3*y**2 + 5*y. Let u be l(-10). Do u and -4 have the same value?
True
Let s be (3 + (-3)/1)/3. Which is greater: s or 1?
1
Let m = -0.19 - 0.81. Let k = 143 + -1289/9. Is k smaller than m?
False
Let k be 60/84*(-4)/(-10). Let j = 0.02 - 2.02. Which is smaller: k or j?
j
Suppose 5*b + 5 = -5*d, -d - 5 = -b - 4. Which is bigger: -2/7 or b?
b
Let q be ((-2)/3)/((-10)/(-15)). Let c be (q - 1)/(-2)*-3. Does c = -7/2?
False
Let o be (-1)/(0 + 1 + 2). Let q = 193 - 192.94. Do q and o have different values?
True
Let y = 7 - -1. Let l = y - 71/6. Let s = 14/3 + l. Is 1 <= s?
False
Let q be 32/60*6*-5. Let t = -12 - q. Are t and -0.1 unequal?
True
Let q(b) = -b**3 - 13*b**2 - 11*b + 16. Let y be 0/(-3) + 1 - 13. Let c be q(y). Which is smaller: c or 2?
2
Let m(g) = -45*g + 8. Let y be m(-1). Which is smaller: 52 or y?
52
Suppose 7 = -4*a - 17. Let t be (a/(-4) - 2)*-20. Let m be ((-2)/(-5))/((-18)/t). Which is greater: m or 1?
1
Let u = 3 - 2.96. Let m = -0.94 - -0.9. Let x = m + u. Is 1 smaller than x?
False
Let k(u) = 9*u - 1. Let l be k(3). Suppose -5*i - l = -11. Let n be (i/(-4))/(0 - -1). Which is bigger: 2 or n?
2
Let k be -5 + 1*(-4)/3. Is k < -6?
True
Let c = -48 + 42. Which is greater: -2 or c?
-2
Let h be 2/(-10) - (-44)/20. Is 3/2 less than or equal to h?
True
Let s(x) = -x + 2. Let c be s(1). Suppose 4*z + 2 + 6 = 0. Let i be z/10 + 10/25. Is c bigger than i?
True
Let f = -17.154 - 0.046. Let b = 17 + f. Which is smaller: -3 or b?
-3
Let x = 5 + -3. Is x <= 0.01?
False
Let d(m) = -m**3 - 10*m**2 + 13*m + 22. Let s be d(-11). Which is bigger: -2/87 or s?
s
Let c be (-2)/(-12)*10*-12. Is c equal to -19?
False
Let t be (-1 + 2/(-6))*3. Suppose -5*s = -3*s + 14. Let v = s - t. Which is smaller: 0 or v?
v
Suppose -3*m + 1 - 4 = 0. Let p be (0 - 2) + 0 - m. Let h = 0 - p. Which is bigger: -2/5 or h?
h
Let z(k) = k**3 + 6*k**2 - 9*k - 4. Let a be z(-7). Let s be (-2)/8 - a/(-104). Let v(p) = -p**2 - 3*p + 1. Let y be v(-3). Is s > y?
False
Let g(q) = -11*q**2 + 9*q + 9. Let n(o) be the first derivative of 7*o**3/3 - 3*o**2 - 6*o + 2. Let v(c) = 5*g(c) + 8*n(c). Let m be v(3). Is m > -3?
False
Suppose 13 = -l + 41. Which is greater: l or 27?
l
Suppose t + 2*t + 9 = 0. Let g = t + 7. Let n = g + -5. Are n and -3/8 non-equal?
True
Let y(v) = v**3 - 4*v**2 + 4*v - 2. Let p be y(3). Let x be 40/(-12)*2/(-10). Do p and x have different values?
True
Suppose i + 4 = 5*i - 2*p, -5*i + 5 = -p. Let c be (6/(-4))/((-6)/4). Let n = c - i. Is n smaller than -1?
False
Let d be (-1)/2*14/21. Is 18 at least as big as d?
True
Let n = 37/4 + -9. Is 9 >= n?
True
Let s = 0.01 + 0.04. Let x = -0.15 + s. Which is smaller: x or -2/13?
-2/13
Let d = 0.2 + 0. Which is smaller: d or -1/5?
-1/5
Suppose 0*u - 3880 = -4*u. Let m be (6/u)/(16/3180). Let y = m - -2/97. Which is greater: 2 or y?
2
Let b = 0.5 + -1. Let i = b - -0.4. Let x = i - -0.1. Which is greater: x or 1?
1
Suppose 0 = 4*j - 6*j + z + 2, 2 = 2*j + 3*z. Which is greater: 2 or j?
2
Suppose 2*w - 8 = -3*w - y, 6 = w - 2*y. Suppose 7 - 9 = w*a. Is a >= -6/11?
False
Let o = -22 - -33. Let c(j) = 3*j + 10. Let m be c(0). Which is smaller: o or m?
m
Let r = -0.11 + 0.51. Is r at most -0.3?
False
Let t = 22 + -15. Which is smaller: t or -2?
-2
Let c = -2973547272120 + 1162655776421261/391. Let g = c + 3086901. Let p = g - 26/17. Is -1 < p?
True
Suppose 0 = -0*x - 3*x. Let q = 2 + 5. Do q and x have different values?
True
Let v be ((-1)/(-4))/((-1)/(-116)). Suppose -5*t - 5*a = 5, 5*t + v = -2*a + 5*a. Which is smaller: -5 or t?
-5
Let u = -4 - -4. Which is bigger: 3 or u?
3
Let l = -0.089 + -3.911. Is l at most as big as 3?
True
Suppose 0 = 4*j + 5*m + 1, 0 = 4*j - 4*m + 3 - 11. Let r be 0 + 1 + j + -3. Let z = r - -3/4. Is 0 at least z?
True
Suppose 12 = 8*z - 2*z. Suppose -3*p + 3 = -3. Is p at least z?
True
Let w = -793/3 - -276. Let j = -12 + w. Suppose y = -y. Is y not equal to j?
True
Let j be 196/70 - 1/(-5). Which is smaller: 21/5 or j?
j
Let s = -0.03 - 0.07. Let q = -0.7 + 4.7. Let w = -4.2 + q. Which is smaller: s or w?
w
Suppose -16 = 4*p, 2*w - 17 = -w + 2*p. Is -0.6 != w?
True
Let j(x) = 2*x + 5. Let s be j(-4). Let d be (-3 - 0)*(-1)/3. Suppose h + i + 4 = 0, -i + d = -2*h - 1. Which is smaller: s or h?
s
Suppose -f - 29 = -3*v, -3*f + 2*f = 5*v - 35. Suppose -5*w + 2 = -v. Let c(r) = r**3 + 9*r**2 - 11*r - 10. Let h be c(-10). Is w at least h?
True
Let p = 1 + -1. Let h be ((-2 + 3)*5)/(-1 - 1). Which is smaller: h or p?
h
Let q(g) = g**3 - 3*g**2 - 3*g + 1. Let s be q(3). Let d = -7 - s. Which is bigger: 0 or d?
d
Let k be (-6)/(-45) - (-26)/30. Is 1/3 greater than k?
False
Let i(k) = 4*k**2 - 5*k + 5. Suppose 4*q = f - 12 + 28, -4*q - 5*f + 16 = 0. Let v be i(q). Let z = v - 197/4. Which is smaller: 0 or z?
z
Suppose 0 = 3*m + 2*m. Let f be m/(1*3/(-3)). Does f = -2?
False
Suppose 3 = 2*c - 7. Is 3 <= c?
True
Suppose -3*k = -5*u + 25, 0 = -5*u + 5*k + 29 + 6. Let t = 0.2 + -0.1. Which is greater: u or t?
u
Suppose 7 = -2*j - 3*j + 4*m, 4*j + 16 = -2*m. Let y = 1 + j. Is -5 <= y?
True
Let l be 24/32 - 1269/1676. Let q = l - -919/11313. Which is bigger: q or 0?
q
Let k = 248/5 + -50. Is -0.1 less than k?
False
Suppose -2*z + 3*m = -8, 5*z - z - m + 4 = 0. Let c = -6 + 3. Which is smaller: z or c?
c
Let x be 2 + -2 - ((-16)/(-20))/(-4). Suppose -o - 1 = z, o - 2 = -4. Are z and x non-equal?
True
Let h = -2.2 + 2. Let a = -1.2 - h. Let j = 0.9 - 1. Which is smaller: j or a?
a
Let z be 0/(-9 + 4) - -2. Is z less than or equal to 14?
True
Let g = 67 + -67. Which is greater: g or -1/8?
g
Let j(p) = p**2 - 4*p + 3. Let i be j(4). Suppose -k = -i*k + 2. Is k greater than 1/4?
True
Let r(z) = -4*z - 3. Let s be r(-2). Suppose -2*o = 3*o - s. Which is bigger: o or 2/3?
o
Let k = -9.05 + 0.05. Let t = 6 - k. Let z = t - 21. Is 0 equal to z?
False
Let j = 18 + -17. Let i = -535/6 - -89. Is j less than or equal to i?
False
Let y(q) = -q**2 - 10*q - 12. Let n be y(-9). Let g = n - -8. Is 5 smaller than g?
False
Suppose 4*n - n + 6 = l, -4*n - 16 = -4*l. Suppose 0*i + l*i + 12 = -4*y, -y - 3 = 4*i. Is 0 greater than or equal to i?
True
Suppose -4*v - v = 35. Let b(z) = -z**3 - 8*z**2 - 10*z - 9. Let m be b(v). Suppose -3*k + m = -2*j, -2*j - 6*k + 2*k = -16. Which is smaller: -1/8 or j?
-1/8
Let g(z) = z + 5. Let t be g(-8). Let m be t + 3 + (-6)/1. Let i be (-1)/(-2)*m/(-21). Are 0 and i nonequal?
True
Let v = -59/200 - 1/200. Is v <= -1?
False
Let i(x) = 1 + x**2 - 1 + x**3. Let m be i(-1). Suppose -3*y - y = m. Is y at most as big as -1?
False
Suppose -2*u + 2*r = 1 + 1, r = 2. Let a be 1/(-3) + 2/6. Let y be (a - 10/(-14)) + -1. Is y greater than or equal to u?
False
Let u be (-2 + 2 + -1)*-1. Let w be ((-120)/(-63))/(2/(-159)). Let f = 152 + w. Is f smaller than u?
True
Let i = -1.99 - 0.01. Suppose 1 = -2*a + 3. Is a bigger than i?
True
Suppose n + 1 - 4 = 0. Suppose -2*l = 3*l. Let o(c) = -c**2 - c + 2. Let s be o(l). Are n and s equal?
False
Let t = 1.4 + -1.5. Is -23 equal to t?
False
Let o be (30/13)/(6 - (-7)/(-1)). Are o and -2 equal?
False
Let c(l) = l. Let v be c(4). Suppose 0*w + 5*x = 3*w + 27, -32 = 5*w - v*x. Which is smaller: -5 or w?
-5
Let s be (-6)/(-15) + 69/15. Suppose s*i - 3*p = 18, 2*i = 2*p - p + 7. Is i less than 3?
False
Let q be (0 - -1)*(-28)/(-24). Is q smaller than 2?
True
Let a = 10.85 - 11. Let y = a + -0.85. Which is bigger: -2 or y?
y
Let g = -5 + 10. Is g