et f be (9/(-6))/(18/(-12)). Let w be (f - 0) + -9 + 5. Is w less than -8/5?
True
Let f be ((2/2)/545)/(-101 + 102). Are 1 and f equal?
False
Let v(z) = z**2 + 3*z - 1. Let b be v(-3). Let r = 0 + 3. Let p be (r/75)/(4/10). Is b at least as big as p?
False
Suppose 4*v + l + 127 = 0, 2*v + l = -38 - 25. Which is smaller: v or 2?
v
Let k(i) = i**3 + 10*i**2 - 9*i + 19. Let q be k(-10). Which is smaller: 110 or q?
q
Let w = -8 - -17. Suppose 0 = -24*y + 164 + 76. Which is smaller: w or y?
w
Let u be (4 - 0) + (5 - -12). Are 23 and u non-equal?
True
Let c = -52 + 58. Suppose 0 = 3*k - 3*a - 177, k = 3*a - c*a + 75. Which is smaller: k or 64?
k
Let y = 0.522 + -4.522. Is -48 equal to y?
False
Let y = -4.61 + 25.51. Let k = 21 - y. Is k not equal to -0.07?
True
Let y = -40 - 113. Let t = y + 137. Which is smaller: 1 or t?
t
Let y be 5 - (6 + (-15)/40). Suppose -3*m - 3 = -0*m. Which is smaller: y or m?
m
Suppose -23 = -u - 93. Let m = u - -488/7. Let i = 9/8 + -29/40. Is i at least as big as m?
True
Let l = 55 + -59. Let f(y) = y**3 + 4*y**2 + 2*y + 5. Let v be f(l). Which is smaller: v or -8/3?
v
Let p = -61303978105051/140194161 + 1/46731387. Let w = -4765916732/10899 - p. Let x = w + -12/173. Which is bigger: x or -2?
x
Suppose -12*p - 110 = -p. Let i be p*(-45)/(-10) - (4 + 0). Is -51 <= i?
True
Let g be 15 + 0/(3 + -5). Suppose 4*n = -n + g. Let z = -137 - -141. Is z at most as big as n?
False
Let z be (19/9)/(38 + -39). Which is bigger: z or -3?
z
Let l = -0.0507 - 1.2493. Is -0.1 greater than l?
True
Suppose -2*r + 5*v - 7 = -r, -3*v + 21 = 5*r. Suppose 4*h + h = -r*j + 43, -h = j - 7. Suppose -2*y + o - h + 1 = 0, -4*o - 8 = 0. Which is greater: y or -5?
-5
Suppose 2*s - 30 + 2 = 0. Let j be s/(-7)*18/4. Let h = 53/6 + j. Which is smaller: h or -1/4?
-1/4
Suppose v - 43 = -0*v - 5*o, -2*v + 5*o = -56. Suppose 4*n + 88 = -2*h + 12, 2*h = 3*n - 55. Let l be (-4)/4 - h/v. Is l at most as big as -1?
False
Let t = 1690/9 - 188. Suppose 3*l + 43 = -4*z, -2*l = -z - 3*l - 11. Let c be z/15 - 1/3. Which is smaller: t or c?
c
Let m = -47473/15 + 3163. Let f = m - -8/3. Let o(t) = -t + 4. Let k be o(2). Is k less than or equal to f?
False
Let o be (3 + 5)*(15/12 - 3). Let s be (4 - 34/7)*o/2. Suppose -2*t - t + 18 = 0. Is s at least t?
True
Let y = -0.93 + 24.33. Let n = 24 - y. Let k = -0.4 + n. Which is greater: k or -6?
k
Let j(a) = -a**2 + 5*a - 5. Let q = 19 + -15. Let t be j(q). Are 2/15 and t unequal?
True
Suppose 4*v - 3*v + 1033 = -4*u, 2*v - 524 = 2*u. Do -260 and u have different values?
True
Let y = 27.4 + 0.6. Let s = 28.13 - y. Let d = s + -2.13. Are 1 and d equal?
False
Let m = 9 + -1. Suppose m*f - 11 = -43. Which is greater: f or 4?
4
Suppose 6*h = 4*h + 6. Suppose h*y - 2*x + 11 = 0, -5*y = 3*x + 14 + 36. Let l be -3 + ((-5)/1 - -2). Which is smaller: l or y?
y
Let x be 25/((-18125)/30)*-45. Which is smaller: x or 2?
x
Suppose 0*o + 2*o + 14 = 4*u, 5*o - 5*u + 10 = 0. Which is greater: 9 or o?
9
Let v = 1.075 + 5.625. Is 1 <= v?
True
Let k = -29 - -37. Suppose z = -4*w - 14 - k, -18 = 4*w - z. Which is greater: w or -11/2?
w
Let b = -9 + 9. Let o be 3/15*(-7 - (-94)/14). Which is smaller: o or b?
o
Let o be 68/6 + (-17)/51. Let z = 19/2 - o. Is z < 3/7?
True
Let s be (38/(-42))/(84/98*2). Which is greater: 2/5 or s?
2/5
Let w = 928 + -930. Which is greater: w or 93?
93
Let l(i) = -i - 2. Let g be 1/(1/(5 + 0)). Let a = 3 - g. Let p be l(a). Does p = -2/23?
False
Suppose 4*a + 4 = 0, 3*k - 5*a - 4 = -4*a. Is -5/27 less than k?
True
Suppose 14*b - 3*b - 22 = 0. Suppose 0 = 5*o, 3*c + 5*o - 10 = 2*c. Let t = b + c. Which is bigger: t or 10?
t
Suppose o + k = -3, -12 = 4*o - 2*o + 5*k. Let f be 20/(-110) - 326/22. Let t be ((-8)/(-130))/(-4 - 54/f). Is t greater than or equal to o?
True
Suppose -3*z = -3*t + 312, t + z = 74 + 40. Are 110 and t equal?
False
Let f = -488 + 490. Is f > 65?
False
Suppose 74 = -2*h + 60. Which is smaller: -70 or h?
-70
Let f = 3883/21 - 185. Suppose -7*h + 9*h = -20. Let p = h + 10. Is p >= f?
True
Let n be 12/24*(1 + 3)/2. Is 1/5 greater than or equal to n?
False
Let i be 168/32*(-8)/(-3). Let j(q) = q**3 + 7*q**2 - q + 8. Let k be j(-7). Suppose 5*u + k = 2*o - i, 0 = -4*u - o - 18. Which is greater: -11/3 or u?
-11/3
Let a(q) = -2*q**2 + 59*q - 326. Let v be a(18). Is v not equal to 0.8?
True
Let l = -61.98 + 62. Let w be (6/5)/((-2)/5*-2). Is l smaller than w?
True
Let s(k) = -k**2 - 6*k + 8. Let i be s(-6). Suppose 0 = -n + 4*v - i, -5*v = 6*n - n - 35. Let b = 83/20 - -7/20. Which is greater: b or n?
b
Let f(u) = 6 + 0*u - 3 + u. Let h be f(-4). Let j be ((-4)/(-15))/((-1)/3). Which is smaller: j or h?
h
Let d(t) be the third derivative of t**4/8 - 9*t**3/2 + 28*t**2. Let k be d(9). Is k equal to 5?
False
Let j = -26.6 + 22.6. Is j equal to -8?
False
Let u = 313 - 369. Is u smaller than 4/9?
True
Let u be (-7)/(-805)*-4*(-1)/(-2). Which is bigger: u or -1?
u
Let j(q) = q**3 + 15*q**2 + 3*q + 32. Let o be j(-15). Let g = o + 27. Which is smaller: g or 25/2?
25/2
Suppose 0 = 4*v - 2 - 2. Let c = 5597/32 - 175. Is c equal to v?
False
Let m = 258 + -208. Is m bigger than 52?
False
Let v = -337 - -331. Which is bigger: 6 or v?
6
Let w = 1316 - 1316. Let a(d) = -d - 3. Let s be a(-4). Suppose -f = -w*f - s. Which is bigger: f or -2/31?
f
Let b = -5 - -4.88. Let y = -46.88 + b. Let o = y + 46.81. Which is smaller: 0 or o?
o
Let q = 333 - 348. Which is smaller: -0.11 or q?
q
Let i(b) = 18*b - 90. Let c be i(5). Let o = -2 - -3. Let l be -2 - (o + -3 + 1). Is l <= c?
True
Let l = 4819 + -81801/17. Do l and 6 have different values?
True
Suppose -5*g + 7 = 4*p + 1, -3*g = 2*p - 2. Let f(h) = -3*h - 3 - 4 - p. Let w be f(-6). Is -1 at least w?
False
Let k be 9 - 28 - (-1 + 3). Let g = k - -26. Is g equal to -1?
False
Let q = 3.4 - 2.4. Which is smaller: q or -1/102?
-1/102
Suppose 0 = 5*i + 7*i - 6*i. Which is smaller: 12/13 or i?
i
Suppose 0 = -6*t + 3*t. Suppose t = 5*z - z + 24. Let y(k) = -k**3 - 7*k**2 - 5*k + 5. Let w be y(z). Is -3/4 >= w?
True
Let q = 82 - 49. Let w(a) = -10*a + 264. Let o be w(23). Does o = q?
False
Let g = 16.9 - -2.1. Let j = g - 21. Let i = 1 + 0. Is i bigger than j?
True
Suppose 2*a = -2*g + 544, 0 = -4*a - 5*g - 41 + 1132. Are 270 and a nonequal?
True
Let c = -0.24 + -1.43. Let p = -0.443 - -0.273. Let m = p - c. Is m less than 1?
False
Suppose -3*y + 61 + 5 = 0. Let z = -25 + y. Let g be -3 - (z - (-20)/12). Which is bigger: g or -2?
g
Let h(n) = -3*n**3 + 9*n**2 - 2*n - 15. Let b(k) = k**3 - 1. Let f(u) = -4*b(u) - h(u). Let i be f(-9). Which is smaller: 1/67 or i?
1/67
Let k(n) = -91 + n**3 + 2*n + 2*n**3 + 56 - 4*n**3 + 18*n**2. Let i be k(18). Which is smaller: -6/25 or i?
-6/25
Let b = -990.9 - -991. Let h(a) = -a**3 - 5*a**2 + 7*a - 2. Let p be h(-6). Let t be (-2 - -3) + 5/p. Is t less than or equal to b?
False
Suppose -5*v - 23 = g, -v - 7 - 4 = -3*g. Let c = -12 - -21. Let w be (-2)/((-6)/c + 0). Which is greater: w or g?
w
Let r = -3 + 1. Let p(z) = z**3 + 25*z**2 + 25*z + 29. Let n be p(-24). Let t be (30/21)/n - (-100)/(-105). Is t < r?
False
Suppose -3*d + 0*d - 117 = 0. Let n = -33 + d. Let k be (2/(-12))/(9/n). Which is greater: k or 1?
k
Let z = -364 - -364. Which is smaller: z or -10/123?
-10/123
Let u = -11 + 15. Suppose -4*b + 0*b = u. Let s be (-4)/(-14) + (-46)/14. Is b greater than s?
True
Let x be (-1 - -9)/8 + -6. Which is greater: 0.57 or x?
0.57
Suppose 0 = -2*d - 0*d + 12. Let o be ((-9)/(-2025))/(2/d). Does o = 0?
False
Let u = 25037/4 + -6314. Which is smaller: u or -55?
-55
Let v = -35 - -37. Suppose -v*u - 3*u - 355 = 0. Are -72 and u equal?
False
Let p = -248 + 235.7. Let m = p - -12. Let u be (-140)/(-44) - (-3)/(-1). Is m != u?
True
Let p(v) = 9 + v**3 - 14*v + 10 + 30*v**2 - 16*v**2. Let z be p(-15). Is z less than 4?
False
Suppose -25 = -t + 4*a - 0*a, 3*t = -5*a - 10. Suppose 4*i + g = 7, 0 = t*g - 6 - 9. Let o = 288 - 291. Is i < o?
False
Let v = 0.14 - -51.86. Let n = v + -42. Which is smaller: n or -0.2?
-0.2
Suppose 5*l - 3*l = -g + 4, 5*l - 3*g - 10 = 0. Let c be (6 - 15) + (-2 - -1) + 2. Let p be 15/c*(-20)/45. Is l > p?
True
Let f be -7 + (864/102 - 1). Is 0 bigger than f?
False
Let k be 27/(-15) + -1*(-1)/(-5). Let t be 17/k*3/3. Are 