+ -2)). Let r be 4/(-3)*(-1 - c). Does k = r?
False
Let l = -4 + 64. Let p = -359/6 + l. Is -2/5 smaller than p?
True
Let s = -32 - -12. Which is bigger: s or 1?
1
Let w = 10 + 5. Suppose 8*l = 5*l, 5*p - w = -3*l. Let b = -2 + p. Which is smaller: 0 or b?
0
Let l = -3/2 + 7/6. Let u be (-6)/(-4)*4/3. Suppose u*r + r - 3 = 0. Is l at least r?
False
Let b = -23 - -16. Let k = b - -8. Which is smaller: k or 0?
0
Let z = -1 + -5. Let p be -1 + (-2 + -2)/2. Let j be (p/(-9))/(2/z). Do j and -1 have the same value?
True
Let w = -4 + 10. Let k(n) = -n**3 - n**2 - n + 7. Let j be k(0). Which is bigger: w or j?
j
Let i = 7 + -4. Let l be 2/i + (-4)/15. Suppose -j - 3*j = -4. Is j < l?
False
Let u = 14 + -20. Suppose -12 = -4*q + 28. Let n = q + u. Is 5 not equal to n?
True
Suppose -2*r + 20 = -2*j, 2*r + j = -j + 8. Is 7 at most r?
True
Let h(r) = r**2 + 7*r + 3. Suppose -18 = 3*w - 3*x, 2*w + 18 = -w - 2*x. Let p be h(w). Let q = 4 + -7. Is p < q?
False
Let x = -1117/7 - -160. Let v = x + 5/21. Let a = 1 + -0.8. Which is smaller: v or a?
a
Let p be (-6)/(-27)*6*6. Let a = -6 + p. Suppose 5 - a = -3*v. Is -2 bigger than v?
False
Let a(q) = -q**3 + 11*q**2 + q - 19. Let x be a(11). Which is greater: x or 1?
1
Let r be (-3)/5 + (-1272)/(-2220). Which is smaller: r or 1?
r
Let v be 0 - 3/((-18)/4). Suppose n = -n. Suppose n*c - 6 = c. Is c smaller than v?
True
Let g = 5.3 + -2.2. Let k = -3 + g. Let d = k + 0. Is 2 >= d?
True
Let r = -97 - -72. Is -27 less than r?
True
Let n be 1 + (-6)/(-5) + -1. Let v(l) = -l**3 + 7*l**2 - 5*l - 6. Suppose -4*z + z = -18. Let w be v(z). Is w > n?
False
Let z be (-2)/(-8)*((-75)/40)/5. Which is smaller: 0 or z?
z
Suppose 6 = -3*d - 0*d. Let r(i) be the second derivative of -i**4/12 - 2*i**3/3 - 3*i. Let j be r(d). Is 3 smaller than j?
True
Let q(s) = -s**3 - s**2 - s - 1. Let d be q(-2). Suppose d*m = -3*c - 32, m + 2*c = 3*c. Is m bigger than -5?
True
Suppose -7*v + 5*v = 18. Is -9 greater than v?
False
Let u = -2.2 + 2. Let a = -78 - -236/3. Do u and a have the same value?
False
Suppose -5*s + 8 = -4*v, 0 = -0*s + 3*s - 4*v. Suppose t = s*i - 2*t + 5, 5*t = 15. Let w = 1 + i. Which is smaller: w or 2/3?
2/3
Let d be 3/6 + 4182/(-4). Let t be 2/d*(-2625)/(-12). Let y = t - -9/38. Is y at most as big as 1?
True
Let p = 13 + -15.4. Let r = 8.4 - 8. Let v = p + r. Do -0.1 and v have different values?
True
Let w(i) = 5*i**3 - i**2 + 4*i - 3. Let c be w(2). Suppose -3*m = -2*p - 0 - 15, 0 = 4*p + 5*m + c. Let j = p - -13. Which is greater: j or 3?
j
Let k = 16/15 - 37/30. Which is bigger: k or 1?
1
Let c be (-9)/(4/(8/3)). Let a be -3*(-2)/(c/1). Which is bigger: a or 0?
0
Let l be (-3)/(65/10 + -2). Which is smaller: l or -73?
-73
Let f = -28 - -28.4. Let d = 0.5 - f. Which is bigger: 0.2 or d?
0.2
Suppose 80 = -4*x - 4*s, 3*x - s = -3*s - 64. Which is greater: x or -25?
x
Let k(g) = 16*g - 34. Let s be k(5). Is 1 at least s?
False
Suppose 4*n - 4*v = 4, 2*n = -0*v + v + 2. Let y be 2/(17/(68/(-24))). Is n not equal to y?
True
Let s(j) be the second derivative of 1/6*j**3 + 0 - 4*j - 9/2*j**2. Let r be s(8). Are r and -1 non-equal?
False
Suppose -3*g = 4*h + 2, -4*h + 3 = -1. Let o be (-8)/7 - g/14. Is 5 at least as big as o?
True
Let z = -6 + 5. Let m be (-3)/(-4) + z + 0. Which is smaller: m or 0.4?
m
Let k be (-22 - -21)*1/4. Is k at least -0.08?
False
Let g be ((-6)/(-21))/((-9)/(-147)). Is g smaller than 6?
True
Let h = 63.4 + -74. Let f = -0.6 - h. Are 2/9 and f equal?
False
Let h(y) = y + 2. Let x be h(2). Suppose 5*s + d - 35 = 0, 3*d - 20 + 3 = -x*s. Suppose 4*c + 16 = -3*f, 2*c + 4*f + 10 = -s. Does c = -2/5?
False
Suppose -3*k = -2*z - 328, 80 = k - z - 30. Do 109 and k have the same value?
False
Suppose -4*u = -u + 15. Do u and -7 have different values?
True
Let k(q) = q**3 + 6*q**2 + 1. Let a be k(-6). Suppose 2 = 7*m - 5*m. Is m < a?
False
Let t = 3.1 + -0.1. Let p = 4 - 3. Let g = t - p. Which is smaller: g or -2/5?
-2/5
Let b be (-6)/(-4)*2*1. Let r(n) = -n**3 + 5*n**2 - 5*n + 3. Let g be r(b). Are 6 and g non-equal?
False
Suppose 61*o + 18 = 59*o. Is o >= -1?
False
Let m = -7.06 - -0.06. Let k = m - -6.9. Are k and -2 equal?
False
Let t = -0.7 - -0.8. Which is greater: -9 or t?
t
Suppose -3*d = 5*i - 7*d + 7, 5*d - 19 = -4*i. Let q = 3624275/52 - 69701. Let o = 13/4 + q. Is i at least as big as o?
True
Let d = 29 + -29. Do 3/20 and d have the same value?
False
Let t = 0 - -0.3. Let o = 10.1 + -6.8. Let q = o - t. Is 2 < q?
True
Let j = 132 + -291. Let d = -472/3 - j. Which is smaller: 1 or d?
1
Let j(u) = u**3 + u**2 + u - 6. Let n be j(0). Let s be (-63)/12 - 2/(-8). Is n less than s?
True
Let z = -85 - -89. Are z and 4 non-equal?
False
Let q be 1047/590 + (-2)/(-10) - 2. Which is bigger: 0 or q?
0
Suppose -16 = -4*a - 0*a. Let k = -6 - -23. Let x = -12 + k. Which is greater: x or a?
x
Let y be (2/(-4))/((-3)/6). Let m = -3 + y. Let w be 4/3 + 0 + m. Which is greater: w or 0.1?
0.1
Let d = -1 - -1. Let m = -10 + 10.1. Let j = m - d. Is 3 > j?
True
Suppose o + 2*o - 3 = 0. Let p be (4 - (1 + o)) + 0. Let n be -1*(p - (-13)/(-7)). Which is smaller: n or 0?
n
Let m = -53 + 53.8. Are m and 1 unequal?
True
Let f = 4/87 + -194/435. Which is greater: f or 0?
0
Let y be (3*(-1)/51)/(1/2). Let q be 0 + 1/(0 - -1). Which is smaller: q or y?
y
Let u = 0.0733 - 4.0633. Let o = 0.01 - u. Let c = -3 + 2.9. Do c and o have different values?
True
Suppose k + 2*l - 32 = -4*k, -4*k + 28 = 4*l. Let c be 3 + k/(-15)*-5. Are c and 7 non-equal?
True
Suppose 7*h + 288 = -h. Is h at least -36?
True
Let s = -1/40 - -2/5. Is 1 less than s?
False
Let k = 2 - 0. Let u be -2 + -3*k/(-3). Suppose -q + 5*t + 4 = -4, -t - 2 = u. Is -3 <= q?
True
Let t be ((-50)/10)/(1 - 0). Is t at most -0.1?
True
Let o be -9*-2*(-2)/(-4). Let q be 9/3 - (2 + -3). Suppose -q*c + o*c = 0. Is c greater than or equal to -0.1?
True
Let v(i) = -i**3 + 7*i**2 - 8*i + 7. Let y be v(6). Let k be 9/4 - (-5)/(-20). Suppose -3*q = k*h - 6 - 1, 19 = -h + 3*q. Which is smaller: y or h?
y
Let c(v) = 2*v**2 - 13*v + 4. Let p be c(5). Is p greater than -10?
False
Let x(l) = l**2 - 30*l + 205. Let n be x(12). Let a = -5 + -7. Is a greater than or equal to n?
False
Let x be (-36)/20*(0 + -5). Suppose -4*m + x = -m. Does m = 4?
False
Let y = -0.3 - -0.3. Let n = -64 + 72.1. Let q = n + -1.1. Is q < y?
False
Let y(v) be the second derivative of v**3/6 - 5*v**2/2 - 2*v. Let h be y(4). Let u = h + 2. Is u less than 2/3?
False
Let g = -4 + 0. Let u be 37/(-140) + (-1)/g. Let p = 137/210 - u. Is 0 less than p?
True
Let z be 1*(-2)/((-4)/(-2)). Let w be z*5/(65/(-2)). Let u = 12 + -12. Is u < w?
True
Suppose -4*k + b = -5, 3*k + k + 5*b = -1. Is -2/123 at most k?
True
Suppose -136 = -0*r + 4*r. Let m be (r/(-18))/(2/(-6)). Let y = m - -77/12. Which is bigger: 2/3 or y?
y
Let k be (-9)/12*12/(-3). Which is bigger: k or 2?
k
Let y be -1 - 797/(-5) - 3. Let s = -156 + y. Which is smaller: s or -2?
-2
Let y(g) = g**2 - 13*g + 13. Let d be y(12). Which is smaller: -1/18 or d?
-1/18
Let t be (-3 - (-2 - 1))/(-2). Let m be ((-1)/(-7))/((-8)/16). Is t greater than m?
True
Let m be (-4)/22 + (-14)/(-77). Suppose 0 = 2*a - m*a. Is 1 not equal to a?
True
Let z(x) = 2*x - 9. Let f be z(4). Which is smaller: f or -3/2?
-3/2
Let y be 1/3 - (-30)/18. Let r be 4/(-10) + 17/5. Is y >= r?
False
Suppose 0 = 3*v + 15, -2*m + v = -10 + 3. Let w = 33/13 - 32/13. Is w > m?
False
Suppose -6 = -0*i + i + 2*v, -5*i + 2*v + 30 = 0. Suppose i*s = -s. Which is greater: 1 or s?
1
Let d be 0/((-3)/(7 - 4)). Which is greater: d or 6/19?
6/19
Let c be (2/(-50))/((-24)/(-20)). Is c equal to -1?
False
Suppose 4*p - 4 = -12. Let x be p/8 + (-14)/(-88). Is -1 at least as big as x?
False
Suppose x + 4 = -u, 2*u + 4 = -4. Let m(s) = -s - 6. Let p be m(x). Let q be ((-4)/p)/(2/3). Which is greater: q or -2/13?
q
Let w = 0.14 - -0.96. Let j = 0.1 - w. Is -6 bigger than j?
False
Let m be ((-24)/(-3))/(-2) + 2. Let g be m*(-2)/4*2. Let p(d) = d - 2. Let h be p(3). Which is smaller: h or g?
h
Suppose 2*v = 3*v + 3. Let k(l) = -l - 1. Let h be k(v). Suppose 3*c + 22 = -5*j, 20 = 5*c - j - 2*j. Which is smaller: c or h?
c
Let b = -9 - -9.01. Let r = b + -0.11. Let f = r + 1.1. Is f < -0.06?
False
Let x = -45 - -101. I