e
Let y = -0.9 + 0.9. Let i = 10 + y. Let q = -14 + i. Which is smaller: 2 or q?
q
Let x = 6 - 2. Suppose -x*i + 55 = 23. Let j = 46 + -37. Which is smaller: i or j?
i
Let m = 130.859 - 131. Let j = 0.059 - m. Is -2 at most j?
True
Let c be (18/21)/(32/42). Which is bigger: c or 0?
c
Let q(p) = -p**3 + 12*p**2 + 13*p + 3. Let g be q(13). Is g less than or equal to 56/23?
False
Let y = 33 + -32.66. Let k = y + -0.44. Which is smaller: k or -6/11?
-6/11
Let s = 17.1 - -0.9. Let q = 27933.3 - 27933. Which is greater: q or s?
s
Let u be 9*2*(-1 - -2). Let k = 27 + -20. Suppose -k*j + 2*j - 5*i = -95, i = 0. Are j and u equal?
False
Let b(k) = -k**3 - 7*k**2 + k + 3. Suppose 3*u - 22 = 4*p - 63, 3*u - 3*p = -36. Let t be b(u). Let j be (92/6 + -16)*(0 - -9). Which is smaller: t or j?
j
Suppose -3*p + 4 = 4*a - 3, 27 = 5*p - a. Suppose -p*k + 4*g = 6, -4*k + 4*g = -2*k + 12. Suppose -k*z = z. Is -2/5 not equal to z?
True
Let s(g) = -g**2 + 10*g - 6. Let r be s(5). Let d = r - 22. Which is smaller: -2 or d?
d
Let v = 1.08 + -0.08. Let x be (5 + -2 - 3) + -11. Let r = x - -29/3. Which is greater: v or r?
v
Let s(k) = -k**2 - k. Let g be s(-1). Let c = g - 0. Which is smaller: c or 2/43?
c
Let x(o) = o**3 + 9*o**2 - 11*o - 11. Let k be x(-10). Are -195 and k non-equal?
True
Suppose 6*m + 4*m - 60 = 0. Let y be (m/(-30) - (-23)/140)/(-4). Which is bigger: 1 or y?
1
Let z = -129.4 - -129.562. Which is bigger: z or -1?
z
Let l(c) = 11*c - 49. Let u be l(12). Are 85 and u nonequal?
True
Let q be ((-20)/35)/2*-7. Let b(w) = 4*w**2 - 6*w + 5. Let z be b(q). Is 7 > z?
False
Let a(k) = -108*k - 121. Let q be a(-3). Is 203 not equal to q?
False
Let r = 10 + -17. Let w = 22 - 19. Suppose 0 = -3*d + 3*k - 2*k - 21, -2*k + 24 = -w*d. Which is smaller: d or r?
r
Let m = -1/2600 + -268839/2600. Let n = m - -104. Which is bigger: 0.1 or n?
n
Let u = 17.26 - 17. Let q = 0.12 - u. Let m = q - -0.08. Is -1 != m?
True
Let m = -1709/4 - -425. Let f = m - -5/2. Let s be 3/9 - (-2)/(-6). Which is bigger: s or f?
f
Let g(s) = -s**2 - 24*s + 4. Let c be g(-24). Suppose -d = -3*m - c*d - 9, -5*m = 2*d + 9. Is m greater than or equal to -1/44?
False
Let w be (-33)/(-99)*6/(-1). Let x be (-1 + 2)*(-1 - 61). Let d = 249/4 + x. Which is bigger: w or d?
d
Let r = 75 - 83. Let j be (-3 - 20/r)/(1/4). Which is bigger: j or 0.31?
0.31
Suppose 50*v - 52*v = 2. Let j be ((7/5)/(-1) - v)*-5. Which is smaller: j or 8/3?
j
Let t = 620/3 + -3163/15. Let l = -6/9877 - 2745416/642005. Let u = l - t. Which is bigger: -1 or u?
u
Let f = -9208 + 119760/13. Which is smaller: 4 or f?
4
Let j(m) = -m**3 + 4*m**2 + 12*m + 1. Let l be j(6). Let i be 1*(-3 - 4*l/(-2)). Which is smaller: i or 6?
i
Let m be 0/((-6)/(-3)) + 1. Let c be (-4 + 19)/5*m/9. Which is smaller: c or -7?
-7
Let x = -754 + 756.3. Which is bigger: x or 25?
25
Let p(t) = 323*t + 7. Let c be p(6). Let z = c - 9759/5. Is z less than or equal to -7?
False
Let w = 13 - 8. Suppose w*s = 3*y - 10, -2 = s - 2*y - 0*y. Let h = -33/101 - 1925/909. Is h at least as big as s?
False
Let r(l) = -l - 11. Let j be r(-11). Let m be (-16)/(2/(-1 - j)). Let u be m/(-40)*(-3)/(-1). Is u != 0?
True
Suppose 78 = 22*z - 28*z. Which is smaller: z or -112/9?
z
Let s = 209 - 268. Are s and -58 nonequal?
True
Suppose 2*u + 48 = 6*u. Suppose 7*c + 10 = u*c. Suppose 0 = 5*b - c*b - 3. Is -11 at least as big as b?
False
Let j be 4/(-18) - 200/72. Suppose b + 0 = 5*q - 12, b - 4*q + 10 = 0. Let c be j - 11*b/8. Which is greater: -1 or c?
c
Suppose 3*b - 103 = a, -2*a - 7*b + 12*b = 205. Is a greater than or equal to -95?
False
Let s(y) = -y + 21. Let d be s(9). Let b be (1/d)/(9/(-90)). Let v = b - -1/2. Is -0.7 < v?
True
Let b be 5*(-42)/35 - -6. Is -1/40 < b?
True
Suppose -34*c = -37*c + 9. Suppose 0 = 3*k + 2*k + c*i + 35, 3*k - 13 = 5*i. Are -10 and k unequal?
True
Suppose 3*l - 2*l = 2. Let w be l/4 + 25/(-2). Let h(s) = -s**2 + 160*s + 644. Let i be h(-4). Is w equal to i?
True
Suppose -2*f + 14 = -2*p, 9*p + 4*f - 18 = 11*p. Which is bigger: p or -3?
-3
Let x(g) = g**3 - 3*g**2 - 4*g + 1. Let v be x(4). Let l = 1 - v. Which is smaller: l or -4/3?
-4/3
Let j = 2 - -3. Let v(i) be the first derivative of i**3/3 + 10*i**2 + 26*i + 12. Let u be v(-19). Is j greater than or equal to u?
False
Let r be (-3)/((1645/(-110))/(-7) - 2). Are -24 and r non-equal?
True
Let h(t) be the first derivative of -t**3/3 - 5*t**2/2 + 3*t - 1. Let s be h(-5). Let p be (-2)/14*15 + s. Which is smaller: 1 or p?
p
Let w be 4/(-22) - (-30)/165. Suppose w = -5*z - o + 42, 4*o + 24 = 5*z - z. Is z less than 9?
True
Suppose -2*z - 4*s = 0, -z = 4*z - 2*s. Which is greater: z or 5/84?
5/84
Let n(o) be the first derivative of 2*o**3/3 - o**2 - o - 1. Let a be n(-2). Suppose 5*w = g - 25, 9*w = -5*g + 10*w + 53. Which is greater: g or a?
a
Let g(k) = -20*k - 5. Let m be g(3). Let b be ((-24)/10)/(2/m). Let p be b/8 - (-6)/(-8). Is 7 >= p?
False
Let t(l) = 16*l + 14*l**2 + 3 - l**3 - 22 + 3. Let y be t(15). Do -2 and y have the same value?
False
Let f be 3 + -3 - 2/(-1). Suppose f = -i + 4. Suppose -n = -4*q + 3*n, -3 = -i*q + n. Which is smaller: q or 4?
q
Suppose 3*w - o = -6*o + 371, 3*o = -w + 129. Let j = -117 + w. Is -5 less than j?
True
Let u = -207/370 - 3/74. Let q be 0/(-4) - (-2 + 37). Let j be 15/q - 32/(-42). Is j equal to u?
False
Suppose 0*w + 5 = w + j, 5*w - j = 49. Let u = w + 1. Suppose y + 6 = -5*d, -5*d + 2 + 1 = 2*y. Is u >= y?
True
Let l be ((-2)/4)/(34/(-156))*-10. Which is smaller: l or -22?
l
Let t = -0.799 + -0.021. Let i = 0.18 - t. Is i at least as big as -7?
True
Suppose 5*l - 3*f + 8 = 0, 29*f = -2*l + 25*f + 2. Which is bigger: -273 or l?
l
Let c(y) = 6*y**2 - 42*y - 36. Let u be c(12). Which is greater: 325 or u?
325
Suppose o + 0*o = 2. Suppose 0*a = -4*a - 2*b - o, -b - 6 = -3*a. Let s be (28/(-6))/7 - (-2)/3. Is s > a?
False
Let f = -35.2 - -25.2. Is f greater than or equal to 3/4?
False
Let d(f) = 2*f + 24. Let q(h) = -2*h - 25. Suppose -13 = 3*k - 7. Let g(b) = k*q(b) - 3*d(b). Let y be g(-14). Which is smaller: y or 4?
4
Let k = -55559/43 - -1292. Is -1 < k?
True
Let y be (-5)/(6/332*2). Suppose 0*z = -2*z - 282. Let t = y - z. Is 3 at most as big as t?
False
Let k = -1003.03 - -1003. Is k >= -2/11?
True
Suppose -f + 34 = f. Suppose 4*c - 20 = 0, 3*g + 1 = -3*c + 61. Is f < g?
False
Let p = 0.21 - -0.01. Let z = p + -0.14. Let l be (6/(-9))/(21/9). Is z at least as big as l?
True
Suppose 0 = -9*i + 536 + 22. Let c = 55 - i. Let l(s) = 2*s. Let a be l(-2). Which is greater: c or a?
a
Let r = 1089 - 7640/7. Which is smaller: r or -2?
r
Suppose -22*c = 7*c - 22417. Which is bigger: c or 774?
774
Suppose 0 - 3 = 3*b. Let z be -8 - (-3 + 3 + 4). Let a be (-2)/z + (47/(-30) - -1). Is b greater than a?
False
Let l = 8.5 + -0.5. Let y = -0.07 - 7.93. Let j = l + y. Is j >= -11?
True
Suppose -4*a - 2*p + 16 = 0, -1 = p + 1. Suppose r - 2*s = a, 2*r = 2*s + 4 + 2. Which is greater: -1/75 or r?
r
Suppose 3*j + 378 = 3*i, -2*j - 262 = -3*i - i. Let v = j + 97. Are -26 and v nonequal?
True
Suppose u + 4 = 0, -4*u = -5*w - u + 127. Suppose 4*i - 5*l - 32 = 0, 0 = 5*i - 4*l - 8 - w. Let j be (0 - (2 - i)) + -2. Is -1 greater than j?
False
Let q = -1 - -3. Suppose -3*c - q*g = 16, -3*c + 4*c - g - 3 = 0. Let z = 8 + -10. Is z less than or equal to c?
True
Let l = -21.7 + 0.7. Is -5 not equal to l?
True
Let p be 3/((-1470)/(-158)) - 8/40. Which is bigger: -1 or p?
p
Suppose -410 = -5*q - 405. Is 1/448 less than q?
True
Let u = 2023794916814 + -532298539019458197/263020. Let l = 3/13151 - u. Let m = 13/4 + l. Does -0.1 = m?
False
Let d = 3128 - 416027/133. Do 0 and d have different values?
True
Let h(k) = 5*k + 81. Let a(r) = -r - 16. Let g(v) = 22*a(v) + 4*h(v). Let o be g(-13). Which is smaller: o or 1?
o
Let l = 0.019 - 4.319. Let a = -4.244 - l. Which is smaller: a or 0?
0
Let x be (-1 - -1) + 2/(-4). Let b(v) be the first derivative of v**4/4 - v**2/2 + 1. Let d be b(-1). Is d at least as big as x?
True
Let k be (-10)/30 - 26/3. Let l be (-16)/k*((-63)/28 + 3). Is l greater than 0.5?
True
Let j(f) = f - 18. Let o be j(31). Which is greater: o or 11?
o
Let z = 1.1949 - 0.1449. Is z not equal to -3?
True
Let q(d) be the first derivative of d**4/4 + 10*d**3/3 + 