e
Let s = 1.0298 - 0.0298. Is s >= 6/11?
True
Let l = 143 + -138. Suppose -d + 5*q + 0*q = 20, -30 = -5*d - q. Are l and d nonequal?
False
Let x be (0 + -27)*(-5)/(-15). Let l be (x/9)/((-1)/(-11)). Is l not equal to -11?
False
Let u(l) = l - 110. Let j be u(19). Are j and -91 equal?
True
Let f = 10.775 - -0.125. Let q = 11 - f. Is -2/3 < q?
True
Let g be 6 - 4 - (-5)/20. Suppose 2*k = -0 + 4. Let u be k*(-2)/4 + 4. Are u and g nonequal?
True
Let v(n) = n**3 + 5*n**2 - 6*n - 4. Suppose 0*w - 3*k = -3*w - 15, -3*w = -4*k + 14. Let g be v(w). Which is greater: g or -26/9?
-26/9
Let g = -336.6 + 337. Let i = -6 - -4.7. Let u = -1 - i. Do g and u have different values?
True
Let v = 2.26 + -2.16. Which is bigger: -181 or v?
v
Let c = -130 - -111. Let v = 46 + -46. Which is greater: c or v?
v
Let b(m) = 8*m - 33. Let c be (10/4)/((-18)/(-36)). Let n be b(c). Is 7 not equal to n?
False
Let n be (4 - (-4 - -7))*-1. Let r = -8 + 3. Let b = r + 4.92. Which is bigger: b or n?
b
Let n = -1165/2 + 603. Let w = n + -21. Which is greater: w or 4?
4
Let h = 23/12 + -9/4. Let m = 83 + -82. Is m greater than or equal to h?
True
Let r = -751 - -3838/5. Does r = -2/5?
False
Let v = -4151/184 + 516/23. Suppose 4*a + 16 = -2*y + 6*y, -4*y + 19 = -a. Is v at least as big as a?
False
Let c(o) = 164*o**2 - 5*o + 3. Let j be c(1). Are j and 161 nonequal?
True
Let h = 59/4 - 279/20. Is h at least as big as 2?
False
Let i = -431 + 428. Let c = -13 + 7. Is i != c?
True
Let v = 503 + -516. Is 0.18 > v?
True
Let p(r) = -r - 2. Let w be p(-4). Suppose -5*a - 3*i + 17 = -w, 0 = 5*a + 4*i - 22. Is a greater than or equal to 4?
False
Let v be 8/(-60)*3 - 256/(-40). Let x = 8 - 5. Which is greater: x or v?
v
Let q = 23.58 + -23.08. Let b = -8/15 - -2/15. Is q < b?
False
Let l be (-27055)/(-45) + 58/(-261). Is l equal to 602?
False
Let p(f) be the third derivative of -f**6/120 + f**5/12 - 5*f**4/24 + f**3/2 + f**2. Let z be p(4). Let s be ((-1)/(-2))/(10/(-8)). Which is smaller: z or s?
z
Let q be 2/(-3) - (-56)/3. Let d = -131 + 116. Let i be (-108)/(-20)*(-50)/d. Is q less than i?
False
Suppose -2*r + 10 = -5*c + 8, c + 3*r = -14. Which is smaller: c or -16?
-16
Let t be ((-259)/(-42) - 6)*-2. Let i(l) = l**2 - l + 6. Let z be i(0). Let n = z + -6. Which is smaller: t or n?
t
Let j(p) = 3*p**3 + 47*p**2 + 80*p + 12. Let g(l) = l**3 + 16*l**2 + 27*l + 4. Let a(c) = -17*g(c) + 6*j(c). Let m be a(-6). Is m <= 24?
True
Let o be (3/(-5))/((-2)/10). Suppose 3*j + 2*q - 35 = 0, q - o*q = -2*j + 10. Suppose 2*x - j = -41. Is -17 less than x?
True
Let z = 103.5 - 48.5. Which is smaller: -0.2 or z?
-0.2
Suppose 47 + 17 = -2*x. Let m be (-10)/(-15) - x/(-39). Suppose -3*d + h + 4 = 0, -2*d + 4*h + 5 + 11 = 0. Which is smaller: m or d?
m
Suppose 0 = -4*r - t + 680, 2*t - 482 - 202 = -4*r. Which is bigger: r or 168?
r
Suppose -299*h + 20 = -303*h. Is h less than or equal to -17.1?
False
Suppose 13*m - 839 = -111. Which is greater: 55 or m?
m
Let j be 1/(-7)*(-10)/(-110). Is j less than -1?
False
Let p(u) = -u**2 + 5*u + 1. Let t be p(4). Let g be (t/(-15))/((-1)/(-4)). Let z(n) = -2*n**3 + 9*n**2 - 5*n + 3. Let d be z(4). Is g at most as big as d?
True
Suppose -15*z + 2243 + 622 = 0. Which is smaller: 190 or z?
190
Let j be ((-6392)/204)/(1/(-6)). Which is greater: 189 or j?
189
Let k(d) be the third derivative of -d**6/120 + d**5/12 - d**4/12 - d**3/3 - 7*d**2. Let v be k(4). Let x = 3 + 4. Which is greater: v or x?
x
Suppose -9*v = 51 + 147. Let k = v - -21. Is k at most 0?
True
Let b be 2/(-8) + 7/28. Do b and 1/121 have different values?
True
Let m = 30 - 29. Let n be 3/m - (-222)/(-66). Is 3/4 less than or equal to n?
False
Let i(l) = 28*l - 554. Let h be i(21). Suppose f + 4*f = u + 179, -5*f + 191 = -4*u. Does h = f?
False
Let d be 13/4*(-6 + 2). Which is smaller: 25 or d?
d
Let v be 19/((4/(-8) - (-14)/(-84)) + 1). Let u be 2/(-9) + (-1048)/(-18). Are v and u nonequal?
True
Suppose t - 78 = 3*t. Let a = -58 - t. Let u = a - -22. Which is smaller: 2 or u?
2
Let z = -7 + 10. Suppose -4*r = 2*t - 14, z*t = 4*r - 3*r. Let j = 2/147 + -23/147. Is j greater than or equal to t?
False
Let k = 32 + -35. Let q be 8/k + 1/3*-1. Are q and -3 non-equal?
False
Let s = -5.5 + 0.6. Let o = -18 - -23. Let t = o + s. Which is smaller: t or 2/5?
t
Suppose 0 = 3*j + 6 + 3. Suppose -4*n + 9 = -n. Suppose -s = -2*s - n. Is s less than or equal to j?
True
Suppose 19 = -5*w - 21. Let a(i) be the second derivative of -i**4/12 - 3*i**3/2 - 7*i**2/2 + i. Let q be a(w). Is -3 bigger than q?
False
Let z = -30.4 + 26. Let g = -1.4 - z. Are -9 and g equal?
False
Let h = -16.2 - -8.2. Let r = h - -11. Is 3 at most as big as r?
True
Let o = 11 + -9. Suppose 0 = o*a - 2, -3*j + 34 = a. Suppose -3 = -5*y + 57. Which is smaller: y or j?
j
Let i = 96 - 71. Let b be 1 + 4 + (-115)/i. Is b less than 9/2?
True
Suppose j + r = 13, 0 = -5*r - 19 + 44. Let c(t) = -t**2 + 10*t - 12. Let o be c(j). Let l = -5 + o. Is l less than -3/13?
True
Let n = -124/9 - -22063/1602. Which is bigger: 0 or n?
0
Let k(a) = -a**3 - a - 1. Let c be k(0). Suppose 5*v + 497 = -3*b, b + 8*v = 3*v - 169. Let t be 5/(200/b) + 4. Which is smaller: t or c?
c
Let s = -4527/26 - -327/2. Is -12 smaller than s?
True
Let f(c) = -c - 8. Let r be f(3). Let t = -16 - -15. Which is smaller: t or r?
r
Suppose -3*d - z = 612, -2*d = 2*d - 2*z + 816. Which is greater: -203 or d?
-203
Let c = 63 - 51. Suppose 7*y = c*y. Suppose -2*r = -2*f - 0*f - 2, 3*f = r - 3. Is y at least r?
True
Suppose 3*r = -2*j + 18, 3*r - 6 = j + j. Let d be j/6 + (-2)/4. Let y = 10603/21 + -505. Is y greater than d?
False
Let y = 73.007 + -0.007. Let g = y + -40. Is 0 > g?
False
Let w = 2/2401 + 4756/55223. Suppose 0 = -7*v + 4*v - 3. Is w greater than or equal to v?
True
Suppose -3*i = 2*b + 132, 0*i = -2*b + 2*i - 152. Is b >= -71?
False
Suppose -2*m + 22 = -13*m. Which is smaller: -10/11 or m?
m
Let m be 3 - (27/5 + -2). Suppose -2*z = t - 4*z + 10, 4*t - 3*z + 15 = 0. Suppose t = -3*l + 3. Which is smaller: m or l?
m
Let o(b) be the third derivative of -b**5/60 - 5*b**4/8 - 5*b**3/3 + 7*b**2. Let w be o(-14). Let j be w + 3 + -4*1. Is j smaller than 5?
True
Let t = -4 - -7. Suppose 5*p = 5*l - 20, 3 = -t*p - 3. Let u(o) = -o**3 - 8*o**2 - 2*o - 14. Let h be u(-8). Are l and h non-equal?
False
Let h = -26513/2 - -13507. Which is bigger: h or 250?
h
Let y(o) = -6*o - 6. Let z be y(-4). Suppose 54 + z = 6*q. Let s = q + -129/11. Which is smaller: 1 or s?
s
Suppose 0*r - 3*r + 6 = 0. Suppose -2*z = 5*k - 80, 5*k - 3*z - r*z - 115 = 0. Let o = k - 11. Which is greater: 5 or o?
o
Let h = 0.6 + 2.2. Let x = 3.1 - h. Let l = x + -0.2. Is l at least -7?
True
Suppose -6*q = -q. Let d = 160/197 + -55205/91014. Let y = d + -3/77. Which is smaller: y or q?
q
Let a be (-70)/(-6)*(-12 - -15). Let j = a + -30. Which is greater: j or 22/5?
j
Let b = 616.6 - 595. Which is smaller: -1 or b?
-1
Let q = 16 + -67. Is -1/3 >= q?
True
Suppose -45 = -6*x - 9*x. Suppose 7*f - 20 = x*f, 5*a + 5*f - 360 = 0. Is 67 less than or equal to a?
True
Let p be 17 - 51 - 3/1. Let c = p - -42. Let g(b) = -b + 11. Let h be g(5). Are c and h equal?
False
Suppose 0 = q - 2*h - 3 - 1, q + 2*h - 16 = 0. Let t be (q/135)/(-2 - (-16)/6). Which is smaller: t or 1?
t
Let c be (3/(-2))/(-6 - (-585)/100). Let g be c/(-3)*36/24. Which is bigger: g or -1?
-1
Let t(g) = 4*g**2 + 17*g + 12. Let q = 5 - 8. Let a(z) = -z**2 - z - 1. Let k(x) = q*a(x) - t(x). Let j be k(-13). Are -1 and j nonequal?
True
Let f = -235 - -234.9. Is 7/5 smaller than f?
False
Let n(y) = -7*y. Let r be n(10). Let h be -3 + (-272)/r + (-8)/28. Are 0 and h equal?
False
Suppose -3*l = 3*b - b + 9, 3*b - 4*l - 29 = 0. Suppose 4*f + 3 = -0*o + o, -f - 3*o + 9 = 0. Suppose f = 2*c - c - b. Does 11/3 = c?
False
Let x = 17 + -17.9. Let g = 0.87 + x. Let k = g - -0.13. Which is greater: 11/4 or k?
11/4
Let d be 9*16/(-24)*(-48)/18. Which is bigger: 5 or d?
d
Let n(w) = 150*w - 8400. Let t be n(56). Let v be ((-6)/65)/(4/(-15)). Which is bigger: v or t?
v
Suppose -s - 2 = 4*d - 0, -2*s = -4*d - 8. Let z be (0/2)/(-2 + (d - -2)). Which is bigger: z or -2/91?
z
Let a(i) = -2*i**3 - 3*i**2 - 3*i - 3. Let k be a(-2). Let c(z) = z**3 - 7*z**2. Let f be c(k). Are f and 1