*m, 3*o + 0*m = 2*m - 13. Let f(d) = -d**2 - 9*d + 5. Let c be f(-10). Is c != o?
False
Let n = -25 + 29.2. Let z = -4 + n. Which is bigger: z or 0?
z
Suppose -4 = -4*d - 2*o - 2*o, -2*o + 4 = 3*d. Is d greater than 2?
False
Let n = -2.3 + 2.1. Is 8 smaller than n?
False
Let r = 16 + -13. Suppose s = r, u = -u + 5*s - 17. Let i = -128 - -1662/13. Which is smaller: u or i?
u
Let a = 20 + -40. Let p be (a/(-25))/(2/(-15)). Let j be (2/p)/((-2)/(-6)). Which is smaller: -2/3 or j?
j
Suppose -v = -n, -2*v - 7 - 3 = -4*n. Which is bigger: n or 4?
n
Let m = -23/195 + 12/65. Let a(x) = x. Let o be a(1). Which is greater: o or m?
o
Let x be 5/2*(-22)/(-20). Let k = x + -3. Which is greater: 0.2 or k?
0.2
Let h be ((-39)/(-8))/((-33)/44). Is -1 less than or equal to h?
False
Suppose 0 = -3*f - 0*c - c - 9, -5*f + 5*c - 15 = 0. Let y be (0 + 1)*1/f. Which is smaller: 0 or y?
y
Suppose 0 = -i - 4*i. Suppose -y = 4*y - 80. Suppose 4 = o - r + 2*r, 3*o = 4*r - y. Is o smaller than i?
False
Let j = -57 - -53. Which is smaller: j or 12?
j
Let f(d) = -d**3 - 4*d**2 - 4*d - 3. Let l be f(-2). Let h(y) = y. Let c be h(l). Let m = 4 + c. Is 2/21 at most m?
True
Let z be ((-6)/8)/((-1)/(-12)). Let h(s) = s - 1. Let p be h(z). Let f be 15/p*4/6. Are 1 and f equal?
False
Let i = -0.6 + -6.4. Let j = i - -3. Let d = -4 - j. Which is greater: d or 2/5?
2/5
Let k = -1.85 + 0.15. Let j = 1.6 + k. Which is smaller: j or 3/7?
j
Let f = 0.2 + -0.18. Let g = -0.78 - f. Let n = 1 + g. Which is smaller: n or -1/4?
-1/4
Suppose 2*b = z + 3*z + 4, 2*b = 5*z + 6. Which is greater: b or -6?
b
Suppose c + r = -3*r - 20, -36 = 4*c + 5*r. Is c > -9?
True
Suppose 3*j + 4*v = 9, 4*j - 12 = -5*v - 0*v. Suppose -11 = j*t - 4*n, 3*t + 3*n - 3 = -0. Let o = -2 - -1. Is t at least as big as o?
True
Let a = 82.5 - 83. Which is smaller: 0 or a?
a
Let i = -48 + 142/3. Let p(c) = -2*c - 7. Let q be p(-5). Let a be 0/(q*-1 - -1). Which is smaller: i or a?
i
Let f = 94 + -92. Suppose 6 = 2*q - 4. Suppose -q*g + f + 3 = 0. Do 1/2 and g have different values?
True
Let t(y) = -y**3 + 6*y**2 - 4*y. Let o = 5 + -5. Suppose 0*x - x + 5 = o. Let i be t(x). Which is bigger: i or 6?
6
Let d(o) = -o**2 + 6*o - 6. Let x be d(4). Let n be (6/(-15))/(3/(-15)). Suppose 0 = -n*l - 14 + x. Which is greater: l or -5?
-5
Let t be -4 - -2 - 0/(-2). Let f = 3 + t. Suppose -1 - f = -p. Which is smaller: p or 3/2?
3/2
Let j be 4 - 2*38/4. Which is smaller: -16 or j?
-16
Let p(j) = -2 + 2*j + 0*j + 0 + 0. Let t be p(-3). Is -9 at most as big as t?
True
Suppose 0 = 3*w + w + 24. Which is smaller: -7 or w?
-7
Let n be 3/(-8) + (-100)/(-96). Let l = 47.1 + -51. Let y = -4 - l. Are y and n non-equal?
True
Let j = 5 - 3. Suppose g = -j + 5. Suppose 0 = -s + g*d + 14, -s - 2*s + 7 = -2*d. Is s bigger than 1/5?
False
Let v(w) = -w**2 - 9*w - 9. Let x be v(-7). Suppose -45 = -x*l - 2*g, -2*l + 5*g - 1 = 2*g. Let i = -6 + l. Is i equal to 1?
True
Let t = 3/52 + -425/156. Suppose -5*o = -55 + 75. Which is bigger: t or o?
t
Suppose z = -2*z. Suppose z = -2*q - 2*q. Are q and 0 equal?
True
Let w = 1.37 - -0.63. Is -7 at most w?
True
Suppose 2 + 2 = 2*c. Suppose -c + 6 = -2*k. Let t be 11/36*-2 - (-6)/(-27). Is t greater than k?
True
Let q = 4.1 - 4. Let m = -0.1 + 0.5. Which is smaller: q or m?
q
Let l(g) = g**2 + 3*g - 5. Let p be l(-6). Let j = 8 - p. Are -5 and j nonequal?
False
Let m be 5/35*-1*3. Let l = -1 + 2. Which is greater: l or m?
l
Let w = 206017 - 33992689/165. Let u = w - 10/33. Which is smaller: u or -3?
-3
Let v be (4/(-6) - -1) + 155/(-5). Is v greater than or equal to -31?
True
Suppose 6*c = -25 + 1. Let t be (-1)/3 - 11/3. Is c != t?
False
Let d be -9 + -6*2/(-4). Let s be (-1)/3 + 4/d. Are 3/4 and s equal?
False
Let k be 3 + -3 + -3 - -7. Suppose 0 = k*f - 2*f - 2, 4*o - 23 = -3*f. Which is smaller: 0.1 or o?
0.1
Suppose 5*b = 3*i + 3*b + 3, -7 = 2*i - 3*b. Let l(c) = c + 4. Let a be l(-2). Let h = -1 + a. Is i equal to h?
True
Suppose 3*z - 2*z = -6. Which is greater: z or -0.1?
-0.1
Let r = -12 + 11. Which is bigger: 2/101 or r?
2/101
Let v = 10.96 + -11. Let j = v - -0.04. Let r = -0.3 + 0.5. Are j and r equal?
False
Let a = -21 + 17. Let f be ((-4)/a)/((-2)/2). Which is smaller: f or -5/4?
-5/4
Let g = -12 + 18. Suppose -3*i - i + 60 = 0. Suppose -2*z = -i + 13. Is z at most as big as g?
True
Let i be ((-4)/(-10))/(54/495) - 3. Is -0.72 at most i?
True
Let u(h) = -h**3 - 4*h**2 + 2*h + 8. Let n be u(-4). Which is smaller: n or -1/2?
-1/2
Let s = -10597 - -3189738/301. Let g = 2/301 + s. Which is smaller: 0 or g?
0
Let t(d) = 6*d**2 + d - 3. Let i be t(-3). Let o be ((-12)/i)/(-1*3). Which is bigger: -1 or o?
o
Suppose -6*q = -4*q - 2. Let p = 0.02 + -0.04. Is q at most as big as p?
False
Let c = 81/161 - 5/23. Let w = -18.42 + 22.3. Let t = w + 0.12. Which is greater: t or c?
t
Let c be (-1)/(388/(-8) + 15/(-5)). Which is smaller: -1 or c?
-1
Let l(i) = -i**3 - 5*i**2 + 6*i. Let f be l(-6). Suppose -4*k + 5*a + 6 - 16 = f, 4*a = -2*k + 8. Which is bigger: 0.01 or k?
0.01
Let d(i) = 4*i - 20. Let g be d(13). Which is bigger: g or 33?
33
Let q = -1/72 - -17/72. Let v = q - 13/18. Which is smaller: v or -1?
-1
Let l(w) = -2*w - 3. Let c be l(-4). Suppose 4*p - 8 = c*n, p + n - 2 = -2*n. Let u be ((p + -2)*1)/(-2). Which is greater: 2/7 or u?
2/7
Let h(x) = -x**3 + 5*x**2 + x - 5. Let b be h(4). Suppose -8 = 4*r - 2*w - 2, 5*w = b. Which is greater: -1 or r?
r
Let k be (2 - 0) + (-16)/10. Let z be (-2)/(-5) - (-6)/(-15). Are k and z non-equal?
True
Let o = 2/157 - 1743/1256. Let q = -159/104 - o. Is q at least 0?
False
Suppose 0 = 2*r + 1 - 5. Suppose -a + 2 = -r*a. Are -2 and a nonequal?
False
Let h(l) = l**2 - 7*l - 17. Let j be h(7). Which is bigger: 0 or j?
0
Let s be (-22582)/(-7189) + (0 - 3). Let f = -1/79 - s. Which is greater: -1 or f?
f
Let p = -1 - -4. Let k = 5 - p. Let c be 2/(-6)*(4 - 3). Is c >= k?
False
Let a be (6/2)/(6/4). Let b = 507 + -3543/7. Is a < b?
False
Let h = 73 - 109. Which is greater: h or 0.1?
0.1
Let m = 74 + -71. Are 11/3 and m equal?
False
Let d = 15 + -19. Which is smaller: -0.04 or d?
d
Suppose 8 = 5*m + 113. Is m equal to -22?
False
Suppose 4*z - 41 - 107 = -b, -4*b = 4*z - 652. Let g = b + -1178/7. Which is greater: g or -0.04?
-0.04
Suppose t + 68 = 4*u, 2*u = 3*u + 4*t. Let v be (-4)/u + 19/28. Suppose 3 + 0 = -3*x. Which is smaller: x or v?
x
Let r(k) = -5*k**2 - k. Let j(h) = h**3 + 4*h**2 - 4*h - 2*h**2 - 4 + 0*h + 0*h. Let l be j(-3). Let c be r(l). Is -5 != c?
True
Let i = -139 + 94. Which is greater: i or -46?
i
Let o be (-34)/(-84) + (-1)/2. Let m = -886 - -5315/6. Is m at most as big as o?
True
Suppose 3*w - 4*a - 3 = -4, -3*w - 5*a = -8. Let h = -7 - -12. Let k(d) = d**3 - 4*d**2 - 5*d. Let n be k(h). Is w > n?
True
Let y = 12.2 - 11. Which is greater: 1/11 or y?
y
Let d be (-2 + 1)*0/(-1). Suppose 2*f = 10 - d. Are 5 and f unequal?
False
Let b(j) = j**2 - 10*j - 2. Let k be b(10). Which is greater: -5/4 or k?
-5/4
Let y be 2/(-1) + 2 + -2. Let b be (y/(-2))/((-10)/(-4)). Which is smaller: -1 or b?
-1
Suppose -j = 4*d + 18, -5*j - 2*d - 165 = -57. Let l = -24 - j. Let o = 151/3 + -53. Is o less than or equal to l?
True
Let b be (-5)/(-10)*(1 - 5). Let c be (6/9)/(b/12). Let z = -5 - c. Is 2/7 < z?
False
Suppose 0*q = -2*q. Let s = -82/21 + 32/7. Which is smaller: q or s?
q
Let g = 21 + 59. Is g at least 79?
True
Let y = -75 - -109. Which is greater: y or 33?
y
Let l be ((-6)/(0 + -3))/1. Suppose 0 = l*g - 3 - 1. Is 5/6 != g?
True
Let z = 98 + -85. Does z = -2/15?
False
Let r be (9/18)/((-9)/(-2)). Is -1 smaller than r?
True
Suppose -6 = 2*k - 2. Which is greater: 3 or k?
3
Let k be -20*(1 + 9/(-15)). Let b = -11 - k. Let i = 199 + -803/4. Is i greater than b?
True
Let w be -9*1*3/(-9). Suppose 8*v = w*v + 20. Is v at least as big as 3?
True
Let n = 11/3 - 35/9. Which is bigger: -2/213 or n?
-2/213
Let p = 0 - 2. Let q = -3 + p. Do -5 and q have different values?
False
Let a = 5 + -7. Let c be 19/(-7) - a/(-7). Which is greater: c or -2/3?
-2/3
Let f be (-1)/2*18/(-15). Suppose 0 + 2 = 2*x. Is x < f?
False
Let a(d) be the second derivative of d**4/6 + d**3/3 - 3*d**2/2 + 2*d. Let x be a(-3). Suppose -5*u + 3*q - x = 0, -u - 4*q + 12 = u. Is 0 < u?
False
Sup