y and k nonequal?
False
Let i = -2 - 5. Let v = i - -5. Let m = -192 - -957/5. Is v <= m?
True
Let m = -0.05 + 0.88. Let j = m - 0.03. Let t = 1 - j. Is -1 not equal to t?
True
Let a be 7/7*(-1)/1. Let g be (-5)/(-10)*10/a. Is 1/4 at most g?
False
Let j be ((-2)/(-5))/(1*7). Let s be ((-2)/(-8) - 0)*(6 + -6). Which is bigger: j or s?
j
Let c be 0/(2/2*-1). Let k = 227 - 2045/9. Does c = k?
False
Let z be 3/(-12) - (-57)/(-12). Let v = z - -6. Is v bigger than 2/9?
True
Let l(g) = 4*g**2 - g**3 + g**2 + 5*g + 6 - 3 + 0. Let o be 4/(-14) + (-44)/(-7). Let w be l(o). Is w not equal to -3?
False
Let y = 0.039 + -0.039. Let u be (2/4)/(3/2). Is y at most u?
True
Suppose 3*n + 43 = -n + 3*d, n - 4*d + 14 = 0. Is -10 smaller than n?
False
Let k(s) = s. Let i be k(-2). Let b = -1073/4 - -267. Which is bigger: b or i?
b
Let u = -759/40 + 187/8. Which is smaller: 5 or u?
u
Suppose c + 28 = 2*l, -4*l + 4*c + 26 = -30. Is l at least as big as 14?
True
Let i = 4.5 - 2.3. Let b = -2 + i. Let h = 0.4 - b. Which is smaller: -1 or h?
-1
Let h(z) = -z**2 - z. Let n be h(-2). Let q be (-18)/10 + 1/(-5). Is n less than q?
False
Let u = 35910 - 178307/5. Let c = u + -247. Which is bigger: c or 1?
c
Suppose -5*t + 91 = -3*r - 10*t, 3*t + 15 = 0. Which is smaller: -20 or r?
r
Let z = -7.4 + 1.4. Let c = -9 - z. Which is bigger: c or 1?
1
Let v = 0.04 - 1.04. Is v at least as big as 17?
False
Suppose 2 = 5*b + 3*t, -2*b + 0*t - 16 = -3*t. Which is smaller: b or -16/5?
-16/5
Suppose 0 = 59*j - 54*j - 5. Suppose 2*d + p + 2*p + 6 = 0, 3*d = -3*p - 3. Is d != j?
True
Let s = 0.7 - -1.3. Suppose m = 4, -6*m + m = 5*b - 55. Which is smaller: b or s?
s
Let f(k) = k + 4. Let b be f(-3). Suppose b = 3*c + 4. Let w be (3/(-9))/(c/(-3)). Which is greater: -1/4 or w?
-1/4
Let h = -14 - -14.2. Let m = h + -1.2. Which is smaller: -8 or m?
-8
Let f be (-4)/(-6) - (-2)/(-3). Let m = -17/4 + 9/2. Which is bigger: f or m?
m
Let s = 1/166 + -355/3818. Which is greater: 0 or s?
0
Suppose 0 = -3*m + 7*m - 20. Let d = m + -24/5. Which is greater: -1 or d?
d
Let i(o) = -2*o + 6. Let k be i(4). Let c be (-2 - 0)/(-6 - k). Let t = -1 - -3. Which is smaller: c or t?
c
Let z = 26 - 283/11. Let a(j) = -j**3 + 3*j**2 - 2*j - 1. Let d be a(2). Which is smaller: z or d?
d
Let w(d) = -d**2 + 8*d - 12. Let j be w(6). Let z(r) = -r**2 - 4*r - 3. Let f be z(-2). Is j equal to f?
False
Let t = 2 + 1. Let r = 4 - t. Which is smaller: 2/9 or r?
2/9
Let b = 6.9 - 7. Is 6 bigger than b?
True
Let z be (28/(-18))/(4/(-3)). Which is smaller: 1 or z?
1
Let s = 13.6 - 15. Let w = -1 - s. Let z = -6 - -8. Which is smaller: z or w?
w
Let r = 35 - 18. Let t = 10 - r. Are -8 and t unequal?
True
Let f be 1/18*(13 + -10). Which is smaller: f or 0.2?
f
Suppose -32*y = -35*y + 270. Is 89 <= y?
True
Suppose 0*j - 2*j = -2*q - 8, 0 = 5*j + 2*q + 15. Is j > -2/33?
False
Let x = 1.26 - 0.36. Which is bigger: 1/4 or x?
x
Let j be (2/8)/((-4)/16). Are -1/28 and j equal?
False
Let q(z) = -z**2 - 2*z - 1. Let i be (-2)/(-3)*3/(-2). Let j be q(i). Do 0 and j have different values?
False
Suppose -2*q - 12 = -5*q. Suppose q*p = 3*d, 2*p + p = 4*d - 7. Suppose -p*i + 8 - 17 = 0. Is -2 greater than i?
True
Suppose -7*v = -21*v - 10*v. Suppose -2*u + 12 = -3*h, 0*u - 5*h = 3*u - 18. Suppose 26 = 3*c + 5*b, 4*c + u = c + 3*b. Which is smaller: v or c?
v
Suppose -3*k - 3*a + 8 = -2*k, -3*k + 8 = 5*a. Let o be -7 - (48/(-26) - (-8)/(-52)). Is o not equal to k?
True
Let j be 4/(-12)*(-1 - -3 - -1). Which is smaller: j or -3/28?
j
Let s(m) = 7*m - 7. Let t = 6 - 0. Let o be s(t). Suppose 0 = 4*q + q + o. Is -7 not equal to q?
False
Let r be (0/(-1) + 1)*5. Suppose -4*z = 0, 0 = -3*c + z - 3*z + 15. Let m = c - r. Which is smaller: -4/11 or m?
-4/11
Let f(s) = s**3 - 13*s**2 - 11*s - 11. Let k be f(14). Do k and 0 have the same value?
False
Suppose -3*y + g - 16 = -42, y - 14 = -5*g. Let w be y*1/(-1 + 2). Let x be (-6)/4*(-12)/w. Which is smaller: 1 or x?
1
Let u be (-146)/(68/(-36) - -3). Let c = u - -131. Do -3 and c have the same value?
False
Let r = -26.7 + 27. Which is smaller: -1/4 or r?
-1/4
Let k be -1 - (-1 - -2)*-1. Suppose 5*z + 2*z = 0. Is z < k?
False
Let p = -1108 + 45422/41. Is p < 0?
True
Let k = 14 - 13.1. Let b = 1 - k. Let a = 5 - 3. Which is bigger: b or a?
a
Let m = 1.1 + -1. Let s = -6 + 12. Let i(k) = -k + 7. Let h be i(s). Is m >= h?
False
Let g = -5 + 7. Suppose 0 = v + 7 + 3. Let i = v + 10. Which is smaller: g or i?
i
Let y be 4/(-18) + 16/(-9). Let u be (6/9)/(4/(-9)). Does u = y?
False
Let j(v) = 19*v - 3. Let n be j(1). Is n greater than 18?
False
Let z be (-787)/225 + 2 + 1. Let j = z + 18/25. Which is greater: -1 or j?
j
Let d(f) be the second derivative of -f**5/20 - f**4/6 - f**3/3 - f**2/2 + 3*f. Let g be d(-1). Is -0.1 at least as big as g?
False
Let c be ((-296)/40 - -7)*10/(-6). Which is smaller: c or 9/5?
c
Let m = -0.59 + 0.6. Let w = 0.09 + m. Let h be (-2 + 3)/(-2) - 1. Is h <= w?
True
Let q(t) be the first derivative of t**6/120 - t**5/60 + t**4/24 + 3*t**2/2 + 1. Let p(o) be the second derivative of q(o). Let f be p(1). Is f at least -2?
True
Let w = -60 + 62. Do 7/9 and w have the same value?
False
Let n = 0 + 0.3. Let p = 11 - 7. Let k be (1/(-4))/(3/p). Is k greater than n?
False
Let y be 2/9 + ((-32)/99)/(-1). Is 0 at least y?
False
Let q(z) = 3*z**2 + z. Let i(d) = 2*d - 3. Let s be i(2). Let o be q(s). Let p(f) = -f**2 - 2*f + 3. Let u be p(0). Is u > o?
False
Let j = -4/11 - 2045/33. Which is smaller: j or -63?
-63
Let m = 0 + 0. Suppose -2*h = 4*i + 3*h + 20, 2*i + 10 = h. Let z(l) = l + 6. Let p be z(i). Is m at most as big as p?
True
Let h(l) = l**3 - 21*l**2 - 14. Let w be h(21). Is -14 > w?
False
Let x(n) = n**3 - n**2 + n + 21. Let w be x(0). Which is bigger: w or 20?
w
Let b(l) = 1. Let j(h) = -h**2 + 2*h + 4. Let d(y) = 4*b(y) - j(y). Let c be d(4). Suppose 0 = 6*z - c*z + 18. Which is smaller: 10 or z?
z
Let j be (-85)/(-20) - 5 - -1. Are 2/3 and j unequal?
True
Suppose 4*b = -3*g + 3, -b + 3*g + 21 = 3*b. Do b and 3 have different values?
False
Let r = 3 - 3.01. Let d = 0.51 + r. Let l = 0.5 + d. Which is smaller: l or -1?
-1
Let u be (-24 + 3)/(-3) + -3. Let r = -9 + 15. Let p = 5 - r. Is u less than or equal to p?
False
Let t be (30/(-25))/((-4)/10). Suppose -5*x - 3*w = -47, -t*x + 4 = -5*w + 3. Suppose -2*p + x*p = -15. Is p bigger than -3?
False
Let k = 59 + -62. Is k at most 13?
True
Let a(o) = o**2 - 10*o + 16. Let l be a(8). Is 1 at least l?
True
Let w = 11 + -11. Let o be w - ((-32)/(-12) + -2). Which is bigger: o or 4?
4
Let j(a) be the third derivative of -2*a**2 + 0*a - 1/120*a**6 - 7/24*a**4 - 3/20*a**5 + 0 + 3/2*a**3. Let t be j(-8). Is 1 > t?
False
Let x be 6/(-9) - (-5)/12. Which is bigger: -0.04 or x?
-0.04
Suppose -5*f + 6*a - a = -60, -4*f + a = -42. Which is smaller: 9 or f?
9
Let u = -52 + 51. Is u at least as big as 2/83?
False
Suppose -4*w + 80 = w. Suppose -w = 4*n - l - l, 0 = -3*l. Which is smaller: n or -14/3?
-14/3
Let l be (3/((-54)/(-57)))/(-6 + 7). Which is bigger: l or 4?
4
Suppose -2 = f, 3*t - f + 8 = -2*f. Suppose 2*q = -2*q + 28. Let s = -9 + q. Is t equal to s?
True
Let w = 153.99 - 155. Let j = 0.01 + w. Which is greater: j or -1/10?
-1/10
Suppose -q = -2 - 10. Which is greater: q or 11?
q
Let x be 5/(-21)*3 + 1. Is 0 at most as big as x?
True
Suppose 28 + 131 = -3*q. Is q at least as big as -53?
True
Let b = -1262/7 - -180. Is 4 greater than or equal to b?
True
Let d = -1150 + 6833/6. Let w = -827/2 + 403. Let p = w - d. Which is greater: -2 or p?
p
Let r = 22 - 15. Let m(i) = -i**3 + 5*i**2 - 3*i + 2. Let a be m(4). Let b = a - r. Which is bigger: b or -2?
b
Let d = 33 + -32. Which is greater: 40 or d?
40
Let x = -0.03 - 0.07. Let c = 5.1 + -1.1. Let j = 3 - c. Which is bigger: x or j?
x
Let b(a) = a**3 - 4*a**2 + 3*a + 2. Let v be b(3). Let p(j) = 6*j - 2. Let m be p(v). Let u be 3/(-15)*m/(-12). Which is greater: -1 or u?
u
Let n = -56 - -63. Which is bigger: n or 23/4?
n
Let a be ((-14)/(-8))/((-201)/24 + 7). Which is smaller: a or -1?
a
Let k = -53 - -52.2. Which is smaller: k or 2?
k
Let a = 11 + -8. Let c be 0/(a - (-1 + 3)). Let d be 1/(-3) + 22/48. Which is smaller: d or c?
c
Let w = -671/13 + 52. Is w < -1/2?
False
Let w be