)). Is v <= 0?
False
Let d be (2/4)/((-2)/(-4)). Let f be 87/90 - (d - 0). Let y = -19/30 + f. Which is smaller: 0 or y?
y
Suppose -3*a - a = 12. Which is smaller: a or -2?
a
Let j(x) = x**3 - 3*x**2 + x. Let r be j(1). Let p be (-2)/(-11) - (1 + r). Which is smaller: 1 or p?
p
Suppose -3*b + 20 = -1. Let v be ((-7)/(-3))/((-3)/(-9)). Are v and b equal?
True
Let k(q) = q**2 - q - 2. Let j be k(0). Let h be (-7)/j + 3/6. Which is smaller: 6 or h?
h
Let s = -21 - -18.96. Let p = s + 0.04. Which is bigger: p or 4?
4
Suppose 3*w - 2*w - 5*l = -25, 5 = l. Suppose 0 = -3*x - 0*x. Is w bigger than x?
False
Let q = -403/495 - -7/9. Which is smaller: 0 or q?
q
Let o(z) = 16*z**2 + z. Let w be o(-1). Are 15 and w non-equal?
False
Let n = -0.11 + 0.17. Is n smaller than 2/7?
True
Let m = 82 - 37. Let y = m - 46.97. Let s = y - 0.03. Which is smaller: -1 or s?
s
Let u = 939/2 + -483. Let p = -14 - u. Suppose -3*x - x + s = 9, -3*x = -2*s + 13. Is x > p?
False
Suppose -6*h - 10 = -h. Let i be 2/3 + (-284)/(-6). Let o = -99/2 + i. Is o less than or equal to h?
False
Let z(k) be the second derivative of 7/6*k**3 + 7/12*k**4 - 1/20*k**5 + 2*k + 7/2*k**2 + 0. Let v be z(8). Is v smaller than -2/5?
True
Let x(k) = -k + 17. Let d be x(7). Let i be (d/30)/((-4)/6). Which is smaller: i or -12?
-12
Let j = 0.8 - -3.2. Let o = 6 - j. Do 2 and o have the same value?
True
Suppose 2*d + 2*d + 8 = 0. Let q be d/(-5)*15/6. Is q < 2/3?
False
Suppose 1 = 2*p - 3*p. Which is greater: p or -1/2?
-1/2
Let o = 0.81 + 0.19. Suppose 3*q + 3*h + 7 + 2 = 0, -3*q + 5*h = -23. Is q equal to o?
True
Let o = -205 + 195.1. Let j = -10 - o. Is j at most -5/6?
False
Let b(r) be the third derivative of 0 + 7/60*r**5 - 1/120*r**6 - 1/4*r**4 - r**2 + 0*r - 1/3*r**3. Let l be b(6). Which is smaller: -1 or l?
l
Suppose 3*o + 2 + 10 = 0. Is -2 not equal to o?
True
Let x(f) = f + 10. Let h be x(-6). Suppose -10 = -7*l + 2*l - h*q, 2 = l - 2*q. Is l greater than 2?
False
Suppose 0 = a + 29 + 146. Let b = 1223/7 + a. Which is greater: b or -1?
b
Let w(c) = -c - 3. Let o(k) = -2*k**2 + 3*k - 2. Let v be o(2). Let m be w(v). Let p = 45 - 44. Is m < p?
False
Let k be (-124)/(-154) + (-14)/(-49). Which is smaller: 2 or k?
k
Let l = 25 - 57. Is -32 not equal to l?
False
Let z be 0/(5 - 4 - 0). Suppose y = 6*y. Is y at least as big as z?
True
Let v be (2 - 28)/((-10)/25). Let g be (3/18)/((-2)/(-789)). Let p = g - v. Which is greater: p or 2?
2
Let d = 4/27 + -233/54. Which is greater: -5 or d?
d
Let t = 75 + -75. Which is smaller: 16 or t?
t
Let u = 15/98 - -3/49. Is 0 greater than u?
False
Suppose 2*z = z - 6. Let p be (-6)/((-6)/(-2)) - z. Suppose -5*i + 30 = -5*g, 1 + 24 = -5*g + p*i. Which is smaller: g or 1?
g
Let a(n) = n**3 + 6*n**2 + 2. Let m be -1*3 + 15/(-5). Let o be a(m). Is 3 not equal to o?
True
Let n(f) = -10*f + 5. Let o be n(5). Let w be (-1)/((o/6)/(-3)). Are w and 0 unequal?
True
Let v = 0 - -12. Which is greater: -3 or v?
v
Let q be 19/(-5) - 2/10. Let x be (0 + -1)*2/1. Let d = q - x. Which is smaller: -3 or d?
-3
Let f be -1 - 4/(12/15). Let m = f + 4. Let u be 1 - 7/(-3)*-1. Is u <= m?
False
Let c be 0*(-3)/(-6) + 2. Let l = 325/4 + -80. Which is smaller: l or c?
l
Let q(f) = -f**2 + 5*f + 7. Let u be q(5). Let t be 3 - u*(-2)/(-6). Which is smaller: 2 or t?
t
Let q be 2*((-27)/(-6) + -3). Suppose 0 = -q*b + 6 - 21. Is b bigger than -4?
False
Let q be ((-6)/9)/(372/(-9)). Which is smaller: 0 or q?
0
Let b = -6 + 6.05. Let y = b - 0.04. Is y smaller than 0.1?
True
Let x = -0.8 - -7.8. Is x greater than or equal to 3?
True
Suppose 2*a - 20 = 2*c, -4*c + 2*a - 40 = a. Are c and -9 non-equal?
True
Suppose 0*z = -5*z. Suppose 9 = 3*k - z*k. Let q(g) = -g**3 + 3*g**2 + 5*g - 2. Let p be q(4). Is p greater than or equal to k?
False
Let d be 0 + 106*(-3)/6. Which is smaller: d or 0?
d
Suppose z - 9 = -4*q, 4*q = -0*z - 3*z + 11. Let x = -35 - -39. Let r be x/(-24)*(-5 - -1). Which is smaller: z or r?
r
Let h = -11 + 14. Let m = h - 3.03. Let q = 23/2 - 12. Is q > m?
False
Let b = -6 - -12. Is b greater than or equal to 6?
True
Let k = -2 + 1. Let v = 3.1 + -2.1. Which is bigger: v or k?
v
Let d(i) = -i**3 - 3*i**2 + 3*i - 3. Let g be d(-4). Let l be (77/(-198))/(1/2) - -1. Which is bigger: g or l?
g
Let a = 196/37 - 3089/185. Which is smaller: a or -11?
a
Let h = 2/42336723 + -34366228068917/635050845. Let s = h + 54113. Let x = -28/9 - s. Is x != 0?
True
Let u(n) = n**3 + 3*n**2 - 1. Let z be u(-2). Suppose 2*w - z*w = 6. Is w smaller than -6?
False
Let j be (-2)/758*((-9)/3 - -5). Is 0 greater than j?
True
Let w = -60 + 41. Is w greater than 1?
False
Suppose -4*g - 15 = p, 4*g + 3*p + 2 = -3. Let v be (g/15)/(2/(-6)). Is 4/17 less than v?
True
Suppose -4*g - j = 24, 2 = -3*g - 4*j - 3. Which is smaller: -8 or g?
-8
Let k(m) be the third derivative of -m**4/24 + 8*m**3/3 + 2*m**2. Let j be k(0). Suppose -w + 2*g + 12 = 5*g, w - 4*g = -j. Which is smaller: w or 3?
w
Suppose -11*v - 37 = 447. Which is greater: v or 2/7?
2/7
Let k(o) = -o**3 - 5 + 2*o**2 - 4 + 4*o + 5 + 0*o**3. Let r be k(3). Let d be (-2)/(-3)*(-3)/6. Is d smaller than r?
False
Let c = 0.36 + -1.36. Are c and 0.3 unequal?
True
Let h be (116/8 + -4)*(-12)/(-27). Which is bigger: 4 or h?
h
Let m be 12/48 + ((-190)/(-24))/5. Is 1 not equal to m?
True
Let w = 13 - 12.8. Let t = 0.02 + 3.98. Does t = w?
False
Let d(z) = 2*z - 2. Let n be d(-2). Let j be (6/(-10))/(n/4). Let x be 2*(-2)/(-2) - 1. Is x equal to j?
False
Let b = 33.88 - 34. Which is smaller: b or 0?
b
Let q be (-5*2)/(3 + -5). Let k(g) = g - 5. Let t be k(q). Are t and 3/7 non-equal?
True
Let k(w) = 2*w**2 - 3. Let m be k(3). Suppose -4*r = -4*y + 20, -4*y - r = -0*y - m. Suppose 0*t - y = -4*t. Is 3/4 at least t?
False
Suppose q = -4*o - 3 - 9, 5*q + 4*o = 4. Suppose q*r - 5*c = 34, -3*r + 2*c = 5*c - 12. Is r at least 6?
True
Let r = 14 + -6. Is 7 > r?
False
Let z(g) = -g**3 + 9*g**2 + 10*g + 3. Let r be z(10). Is 3 smaller than r?
False
Let b = -4 - -3. Suppose 6*k + 10 = k. Which is smaller: b or k?
k
Let m = -0.34 + 1.24. Let f = 5 - 4.8. Which is bigger: f or m?
m
Suppose -d - 53 - 36 = 2*f, -5*d = 5. Let m be 20/(-6)*(-12)/5. Let n be (-40)/22 + m/f. Which is greater: -1 or n?
-1
Let o = -2.8 + -0.2. Let f = 2 + o. Let b = -0.02 - 0.08. Which is greater: f or b?
b
Suppose -y = 3*s - 0*y - 136, -121 = -3*s - 4*y. Let f be (-1)/(-2) - s/(-2). Let j be f/(-10) - (-4)/10. Are j and -2 nonequal?
False
Let v = -1.7 - -2. Let s = -0.7 + 1. Let p = s - 0.3. Are p and v equal?
False
Let m = -155 + 153. Is -14 < m?
True
Let z be ((-3 - -3)*-1)/1. Which is smaller: z or 7?
z
Let j = -33.5 + 35.53. Let o = 0.03 - j. Let q = o + 0. Which is bigger: q or -0.2?
-0.2
Suppose 3*v - 4*z + 15 = 0, 6*z - z = v + 16. Let h be (1 + -1 + 1)*-1. Let l be (h/(-2))/(2/(-4)). Is l greater than v?
False
Let c = 62.98 - 0.98. Let w = 64.9 - c. Let d = 3 - w. Is 2/7 greater than d?
True
Suppose -17 = -2*s - 3*o, -2*s + 11 = o - 0. Let z be ((-1)/3)/(4/(-42)). Do s and z have the same value?
False
Let p(i) = -i**2 - 9*i - 5. Let o be p(-9). Which is greater: o or -3?
-3
Let u = 109 - 95. Is u < 13?
False
Let v be -4 + (-2 - 41)/(-1). Is v equal to 39?
True
Let y = -4 - -6. Suppose -3 - y = f. Let z be 2/f - (-6)/(-10). Does 1/8 = z?
False
Let n = 2/235 + 227/940. Which is smaller: 59 or n?
n
Suppose -2*h + 5*k + 15 = 2*h, 2*k + 6 = -3*h. Is -1/35 < h?
True
Let w = 19 + -17. Is w not equal to 14/5?
True
Suppose -m + 4*r + 10 = 0, 0*r + 4 = -4*r. Suppose -j + m*j = 0. Is j at most as big as -1?
False
Let x = -26 - -21. Which is smaller: -46/11 or x?
x
Suppose 0*b + 15 = b + 4*h, 4*h + 100 = 4*b. Is b bigger than 43/2?
True
Let c = 0.03 - 6.03. Let p = c + 2. Let w = 0 + 0. Which is bigger: p or w?
w
Suppose -2*d + 5*d - 45 = 0. Let v be d/45*12/(-7). Is v equal to -1?
False
Let d(s) be the first derivative of -s**3/3 - 3*s - 3. Suppose -3*x = -6*x. Let b be d(x). Which is smaller: b or -2?
b
Let j = 46.8 + -45. Is j > 2?
False
Let i = 3052/905 + 5/181. Are i and 2 non-equal?
True
Let h(v) = -v**2 + 4*v + 2. Let u be h(4). Suppose 5*r - u*i - 9 = 0, -r - i = -6*i - 11. Which is smaller: -4/9 or r?
-4/9
Let g = -23 + 208/9. Which is smaller: g or 0?
0
Let n = -63896/69 + 926. Is -1 at