e -f + 5 = -y. Let u = 7 - f. Is u smaller than -6?
False
Let v = -107 + 106.3. Let z = 1.4 + -2. Let s = z - v. Which is bigger: s or 0.2?
0.2
Let r = -5.2 - -3.1. Let i = r - -2. Let z = 5 + -24. Are i and z equal?
False
Let j = 4.75 + -4.1. Let q = j - 0.15. Is q <= -4?
False
Let i = -136 + 118. Let l = i + 18.28. Which is greater: 1/5 or l?
l
Let h = -2 - -4. Let k(o) = 0 + 7 + 0 - 9 - o. Let f be k(h). Which is smaller: -3 or f?
f
Let w be (-4)/(-8) - 19/30. Let n = 30 + -10. Let a = n + -19.8. Is w <= a?
True
Suppose 4*h + h - 5*y = 25, -h - 3*y = 7. Suppose -3*l = -h*l. Let j = 105 + -841/8. Which is smaller: l or j?
j
Suppose 123 = -0*d - 3*d. Suppose -21*x + 861 = -42*x. Is x > d?
False
Let f = -8271176672/2049945 - 371109/8039. Let v = -4081 - f. Let u = v + -496/1785. Is -1 less than or equal to u?
True
Let x = 1 - 0. Suppose -545 = 2*n - n. Let s be n/780 - (-3)/4. Which is smaller: s or x?
s
Let j be 12/45*-3*-5. Suppose j*s = -3*f + 6*s - 8, 0 = -5*f + 5*s - 20. Let m = 113/1647 - -1/183. Is m > f?
True
Let o = 137.4 - 137. Let v be -5*(30/9 - 3)*-6. Is v less than or equal to o?
False
Suppose i - 9 = 94. Suppose -5*r - 11 = -m, r - 2*r - i = -5*m. Which is bigger: m or 22?
22
Let v be ((-48)/(-4432))/((-9)/(-6)). Which is smaller: 1 or v?
v
Suppose 1176*m + 15 = 1181*m. Which is smaller: -6 or m?
-6
Let s = -0.6 + 0.6. Let a be (1/4)/((-1)/20). Which is smaller: s or a?
a
Let d = 3.061 - -0.039. Let g = -0.9 - -1. Let c = g - d. Which is smaller: -0.3 or c?
c
Suppose 2*x - 3*d - 17 = 0, 3*d + 2*d + 28 = 3*x. Let g = 4 - 6. Is g bigger than x?
False
Suppose -4*p + 41*l = 40*l + 426, -p - 96 = 5*l. Which is bigger: -105 or p?
-105
Let s = -1178 - -1177. Let v be 21/(-12) + (-2)/8. Let k be (-13)/(-22)*v + 1. Which is smaller: k or s?
s
Let l(u) be the second derivative of u**5/60 - u**4/6 + 5*u**2/2 - 5*u. Let t(a) be the first derivative of l(a). Let w be t(4). Are 2/9 and w non-equal?
True
Suppose -o = -2*o + 2. Suppose -o*h + 0*h = 8. Let a be (-3)/14*(6 + h). Is a at least 2?
False
Let d = 32 - 16. Let v = 16 - d. Which is bigger: 1 or v?
1
Let t(u) = u**2 - 3*u + 2. Let i be ((-2)/4)/(5/(-30)). Let p be t(i). Let d be (p - 1)/((-3)/15). Is d <= -3/5?
True
Let h be (-36)/(-60) + (-72)/(-5). Suppose -9 = -2*g - d + 4*d, -g + h = -5*d. Let n = -1/230 + -183/230. Which is bigger: g or n?
g
Let z = -166596/143 + 1165. Is z greater than or equal to 0?
False
Let q = -70.7 - -67.7. Which is bigger: q or 4.1?
4.1
Let y be (0/(-1))/(-5 + 8). Let c = -1232/5 - -72698/295. Which is greater: c or y?
c
Let f = 0.06 - -0.04. Suppose 29*c - 10*c + 931 = 0. Which is smaller: f or c?
c
Let u(m) = -m**2 - 8*m + 15. Let o be u(-8). Let f = 74/5 - o. Are f and 0 unequal?
True
Let o = 1390 - 1308. Are o and 2 equal?
False
Let r = 313/1368 + -1/152. Is r greater than or equal to -2/45?
True
Let j = 1571.8 + -1572. Which is smaller: 351 or j?
j
Let j = 33 - 30. Suppose -3*s + 15 = j. Which is greater: -3 or s?
s
Let p(i) = -i - 5. Let z be p(-5). Let a be (-80)/(-35) - 2 - (-4757)/(-4326). Let b = a - 2/103. Is z at most as big as b?
False
Let v(b) = -3*b**2 - 113*b - 55. Let k be v(-33). Which is smaller: 408 or k?
k
Let u = -0.0881 - -0.1881. Let k = 19.961 + 0.039. Is u at least k?
False
Let s(i) = i**2 - 2*i - 2. Let d be s(3). Let b be (4*-1)/(8/(-12)). Let l be b/(-18)*3/23. Which is bigger: d or l?
d
Let w be (-2 - -2 - -109)/5. Which is smaller: 23 or w?
w
Let m = 23.5 - 16.4. Let l = m - 7. Suppose -2*z - 1 = -2*n + 3, -32 = -4*z - 4*n. Is z less than or equal to l?
False
Suppose -2*j = -25 + 1. Let g be (9/j)/(1/(8/(-9))). Which is smaller: -0.2 or g?
g
Let r = -1 + -6. Let g(l) = l + 17. Let q be g(r). Let t be ((-4)/6)/(q/30). Which is greater: t or -1?
-1
Let g = -304 - -304.183. Is g equal to -1?
False
Let i(v) = -v**3 - 7*v**2 - 3*v - 22. Let w be i(-5). Which is bigger: -62 or w?
w
Let p be (-3 + 4)/((-3)/6). Which is smaller: -36/11 or p?
-36/11
Let p be (5/45)/(10/(-2283)). Let o = p + 121/5. Is o smaller than 0?
True
Let t = 4 - 0. Suppose 3*f - 13 = d - 4, -t*f = 4*d - 12. Let j = 6.8 + -6.9. Which is greater: d or j?
d
Let k be 1/(-2)*(3 - 15/3). Suppose 4*n = 2*h + 494, 3*n + 44 = -4*h + 442. Let j be 132/n - 1/3. Which is smaller: k or j?
j
Let d be -63 - -4*(-9)/(-12). Which is bigger: -63 or d?
d
Let r(h) = h**2 - 34. Let x be r(6). Suppose j - x*w + 5*w + 32 = 0, -5*j - 5*w = 200. Do j and -44 have the same value?
True
Suppose -20 = -3*h - 2*h. Suppose r + 11 = -3*f - 0, -h*r = 2*f + 4. Let k = 0.8 - 0.7. Is r at least k?
True
Let s(r) = -10*r**2 - 80*r + 1. Let l be s(-8). Is -124 > l?
False
Let h = -33 - -21. Let g be h/(-4) + 8/(-3). Which is bigger: g or -1?
g
Let y(a) = a**3 + 4*a**2 - 3*a - 4. Let l be y(-2). Let r be l/25*(3 + 2). Suppose 2*s + r*s - 4 = 0. Which is greater: -3 or s?
s
Suppose 10*w - 15*w = -45. Let f = 11 - w. Which is smaller: -0.024 or f?
-0.024
Suppose -2*v + k = -26, -20 + 4 = -4*k. Let i be -1 - v/25 - 3/(-5). Is -5/14 equal to i?
False
Let o be (-1)/((-6)/(-8) + -1). Suppose -o*w - 262 = -4*k + 78, 1 = -k. Is w greater than or equal to -87?
True
Let k(q) = q**3 + 3*q**2 + 15*q - 4. Let s be k(-5). Let t be s/(-12) + (13/4 - 3). Is t > 0.4?
True
Suppose -u - 39*u - 27520 = 0. Is -689 less than or equal to u?
True
Let k = 453 - 316. Let l = k - 119.6. Let f = 17 - l. Is -1 bigger than f?
False
Suppose p = -3*p + 4. Let c be (p + (-25)/13)/2. Let n(l) = -l**3 - 25*l**2 - 107*l - 36. Let y be n(-5). Which is smaller: y or c?
y
Let t be (-476)/4046 - ((-64)/(-34) + -1). Are 4 and t equal?
False
Let s(i) = -i**3 - 4*i**2 - 3*i + 4. Let f be s(-3). Suppose 2*g - 5 = -5*r + 7*g, 0 = -f*r + 3*g + 3. Suppose r = -0*z + 4*z. Is -1/17 less than or equal to z?
True
Let w = 164 + -164.14. Is w < 3?
True
Let p = -3 - -3.1. Let k(m) = -m**2 + 5*m + 4. Let d be k(5). Suppose d*c = 5*i + 28, -4*c = 2*i - 21 - 7. Is c less than p?
False
Suppose 0 = b - 0*b - 1. Let c = 17.01 - 0.01. Is c <= b?
False
Suppose 223 = 4*x - 193. Let w = x - 57. Which is smaller: w or 48?
w
Let x be 132/15*5/1. Let d be x/(-46) + 2/2. Let p be 0*(-3 + 15/6). Is p != d?
True
Suppose 40 = -24*q + 232. Do 6 and q have different values?
True
Let d = 32127/3514 + 1/3514. Which is bigger: d or 8?
d
Suppose 22 + 8 = h. Suppose -7*x + 4*x + h = 0. Let a = 19 - x. Is a greater than or equal to 7?
True
Let f = 64/9 + -17737/2493. Which is greater: f or 0?
0
Let u be 4*-4*6/(-8). Suppose 0 = -2*m + u + 26. Let i be (-58)/(-3) - 10/(-15). Do i and m have different values?
True
Let h = 43 + -44.4. Let d = h - -1.51. Is d bigger than -3?
True
Let z = 4941/2 + -2496. Suppose 2*p - 23 = -73. Is p at most z?
False
Suppose 7*o = 2*o + 10. Suppose 0 = -5*l - 5*x - 45, -4*l + 1 = -o*x + 25. Suppose -7*u = 5*j - 3*u + 36, 3*j + u = -23. Which is smaller: j or l?
j
Suppose -2*w = 232 - 682. Does 227 = w?
False
Let c = 22.5 - 29. Let t = 5 + c. Let q = -0.5 - t. Is 1/5 greater than q?
False
Let h be 4238/286 + (-4)/(-22). Let j = h + -69. Is -55 > j?
False
Let h be 132/24 - 5/(-2). Is 8 bigger than h?
False
Let l = -865 - -864. Which is smaller: l or -2/155?
l
Suppose -2*u + 10 - 2 = 0. Suppose -4 = u*o + 4. Let l(g) = g + 3. Let w be l(-2). Is w < o?
False
Suppose -3*b - 4*l - 27 = 0, l + 4*l + 25 = -2*b. Let k be 20/6 + b/15. Suppose 0 = -k*y - 41 + 17. Is -5 != y?
True
Let j be (-77)/(-5) + -3 + (-342)/(-57). Which is greater: 18 or j?
j
Let z = 41217 + -3008773/73. Let j = -3775/3504 + z. Let r = -3/16 + j. Is 4 less than r?
False
Let f(a) = -2*a**2 - 49*a + 394. Let h be f(9). Is -209 at least as big as h?
True
Let r = 1180 + -10640/9. Does -3 = r?
False
Suppose -3*b = 4*m - 13, -4*b - 5*m + 8 = -3*b. Suppose 2*d + 16 + 0 = 4*k, 3*d - 3 = -b*k. Let c be (3/d)/(36/(-24)). Is c greater than 2?
False
Let s = -63 + -66. Is s > 0?
False
Let j(z) = -4*z - 7*z + 1 + 3 + 2*z**2. Let a be j(5). Is 2/13 at most a?
False
Suppose 0 = -6*i + 7*i + 15. Suppose 0 = 5*x + 99 - 24. Do i and x have different values?
False
Let g(q) = q - 1 + 2*q**2 + 6*q - 7*q. Let w be g(1). Which is bigger: 2/45 or w?
w
Let q be (-4 + (-1 - -4))*-5. Let h be q/30 + (-3)/(-3). Is h smaller than 2?
True
Suppose 0 = v - 2*q + q + 80, 0 = 3*v + 4*q + 261. Let l = 329/4 + v. Does l = -