 ((-32)/c)/(-8). Is r bigger than q?
False
Let n = -161 + 213. Is 1/4 >= n?
False
Let i(c) = c**2 - c + 3. Let o be i(0). Let y = o - 2. Let p = 393 - 4715/12. Is p smaller than y?
True
Suppose -2*z - 4*w = -w + 98, 2*w + 137 = -3*z. Let g = z + 299/7. Is g <= -1/4?
True
Let z(q) = -17*q - 698. Let g be z(-41). Which is greater: g or 4/689?
4/689
Suppose 4*l - 38 = -3*b, 6*b + 61 = 5*l + 3*b. Is 29/3 greater than or equal to l?
False
Let f = 0.07 + 0.63. Let u = -0.767 - -5.467. Let a = f - u. Is -2/3 greater than or equal to a?
True
Suppose -2*y + 16 = -y. Let c = -264/101 + 7419/404. Is y equal to c?
False
Let c = 0.3 + -2.3. Let m(z) = z**3 + 47*z**2 + 317*z + 126. Let k be m(-39). Which is smaller: c or k?
k
Let g(p) = -9*p**3 - 2*p**2 - 15. Let k(m) = 4*m**3 + m**2 + 7. Let f(y) = -6*g(y) - 13*k(y). Let b be f(2). Suppose 5*i + b = 1. Is i bigger than -1?
False
Let v = 177135 + -1236059/7. Let n = -556 + v. Which is bigger: -1 or n?
n
Let s = 0.22 + 0.1. Let d = 74.3 - 74. Let i = d - s. Which is greater: i or -2?
i
Suppose 5*g - 2*z = 574, -g + 0*z = -z - 116. Let d be g/(-7) - 6/(-21). Let u = 21 + d. Which is smaller: u or 4?
4
Let t = 93 - 149. Are t and 0 nonequal?
True
Let y = 0.1109 + 2.0891. Is y != 0?
True
Let l = 119/15 + -43/5. Let b = -18.91 - -19. Are b and l unequal?
True
Suppose 2*l = -5*a + 9, -6*a + 7*a + 7 = 4*l. Let s be 4/238 + -3 + 2 + 1. Is s > a?
False
Let c(f) = -f**2 - 15*f - 37. Let o(i) = i**2 + 1. Let w(n) = -c(n) - 2*o(n). Let h be w(17). Which is smaller: h or 38?
h
Let j be -2 - (-16)/10 - (-2008)/5120. Is 0 greater than or equal to j?
True
Suppose -4*z + 93 = -z. Suppose 0 = 4*g + 5*m - 30, 5*g + 5*m - 2*m = z. Suppose 2*a + g = -3*a. Which is smaller: -2 or a?
-2
Suppose 0 = -4*d - 3 + 39. Let b be -10*(d/(-6) - -2). Which is greater: b or 0?
0
Let l be (-718377)/(-1785) + (-2 - 18/(-7)). Let t = l - 403. Is 0 bigger than t?
False
Let j(p) = p**3 + 14*p**2 - 18*p - 5. Let r be j(-15). Suppose 6*f = f + r. Which is smaller: 13/2 or f?
13/2
Let c = -295/77 - -39/11. Let m = -0.023 + -2.877. Let w = -3 - m. Is w smaller than c?
False
Let k = -730 + 717. Suppose 0 = -2*u + 4*x - 8, 0 = 5*u - 3*x + 6. Is u > k?
True
Let s(a) = a**3 - 10*a**2 - 24*a - 3. Suppose 0*k - 4*g = k - 12, 5*k + 3*g = 60. Let o be s(k). Let r = -2 + 2. Is r smaller than o?
False
Let t be (1 - 4)/(1/(-1)). Suppose 3*a = 5*b - 4*b - 3, -4*a = -t*b + 14. Let n = 2 + b. Which is smaller: n or 9?
n
Suppose 3328*w - 3331*w = -126. Is w at least as big as 47?
False
Let m = -31 + 30.963. Let b = m + -1.963. Which is smaller: -24 or b?
-24
Let n(d) = -27*d - 117. Let u be n(8). Are u and -333 non-equal?
False
Let q = 6 - 6.1. Let w = -0.9 + q. Let h = -3 - w. Do h and 0 have the same value?
False
Let d = 24 + -159/7. Let r = 71.889 - -0.111. Let i = r - 72.1. Is d smaller than i?
False
Let i(r) = -5*r - 4. Let l(k) = -k. Let g(n) = i(n) - 6*l(n). Let s be g(5). Which is smaller: s or -2/7?
-2/7
Let c = 2607/7 - 370. Let a = -2 + c. Which is greater: 3 or a?
3
Suppose -5*i - 3 = -3*v, 1 + 1 = 2*v + 5*i. Let k = -43 - -29. Let u be (-1)/(-2)*k/(-4). Which is smaller: u or v?
v
Let n = -21 - 45. Let g = n - -67. Which is bigger: g or 1/106?
g
Let s = -19 + 13. Suppose -3*h = 4*o + 1, 10 = -2*o + 7*o. Which is greater: h or s?
h
Let p be (-3)/(-15) - (-828)/(-3940). Which is bigger: 1 or p?
1
Let l(m) = -5*m + 1. Let f be l(-3). Let w(z) = 13*z + 913 - z**2 + 5*z - 936. Let t be w(f). Is t less than 11?
True
Let z be (36/3780)/((-2)/(8/2)). Which is greater: -1 or z?
z
Let a be ((-2)/6)/(0 + 5/(-60)). Is 3 > a?
False
Let w = -0.53 - 2.47. Which is smaller: -37 or w?
-37
Let n be (3*1)/(6/8). Suppose 1 - 15 = -3*k + 5*j, -4*j = -n*k + 8. Which is smaller: k or -6?
-6
Let o(x) be the second derivative of x**3/6 - 7*x**2/2 - 10*x. Let n be o(3). Are 0 and n equal?
False
Let k(r) = 27*r - 153. Let g be k(5). Is g greater than -75/4?
True
Let t(r) = -r - 1. Let a be t(-4). Let q(o) = o**3 - 5*o**2 + 6*o. Let p be q(a). Which is bigger: 2/9 or p?
2/9
Suppose 0 = 5*b + 6 - 16. Let h be (-3)/(-6)*b/(-3). Let n = -2237/3 - -746. Which is smaller: n or h?
h
Let r = 1 - 2. Let n = 2074 - 2045. Does r = n?
False
Let m be (-3)/(-35) - (12 + 732/(-60)). Which is smaller: m or -0.45?
-0.45
Let j = 0.45 - 32.45. Let u = 35.6 + j. Which is bigger: 1 or u?
u
Let o be -16*(2 + -5)*2/4. Let i = -8 + o. Is i at least as big as 14?
True
Suppose -2*l + 2*d - 1 = 5, l - 3*d + 11 = 0. Which is bigger: l or 3/86?
l
Let y(g) = -44*g**3 - 3*g**2 - g + 1. Let c be y(-1). Let v = -1679/39 + c. Is -1 > v?
False
Let f(i) = -12*i + 313. Let h be f(26). Let c be (3/(-2))/(25/2). Do c and h have different values?
True
Let i = -4835/4 - -1194. Let s = 73/4 + i. Which is smaller: 3 or s?
3
Let m = 8.21 + -0.21. Let w = m - 10. Let v be -1 - -5*(-2)/(-6). Are v and w equal?
False
Let c be (-33)/(-45) + 16/(-40). Which is greater: 29/4 or c?
29/4
Suppose -3*t + 16 = -5*j, -5*t - 18 = 2*j + 7. Let u be (-2 - t) + 3 + 2. Suppose b = u*b. Which is smaller: 3 or b?
b
Suppose 0 = -t + 4*u - 9*u - 5, 2*u + 74 = -4*t. Which is bigger: -93/5 or t?
-93/5
Let j = 5371/7 - 767. Which is bigger: j or 7.8?
7.8
Let k(w) = -2*w + 13. Let o be k(7). Let y = -0.7 - -1.4. Let s = 5.3 + y. Which is greater: o or s?
s
Let s = -18 - -131.2. Let r = -113 + s. Which is smaller: -1/109 or r?
-1/109
Suppose 0 = -2*p - 0*p + 12. Suppose 0 = 5*m - 4 - p. Suppose 0*j = 5*j + 4*k + 15, -3*j + 3*k - 36 = 0. Do m and j have different values?
True
Let v be 1/(5/(-315)) - 3. Let g = v - -81. Is g less than 16?
True
Suppose -m - 12 = -5*y, 0*m - 4 = 3*m + y. Which is bigger: -114 or m?
m
Suppose g + 2*s = 3, 0 = -2*s + 6*s - 8. Suppose 42*q = 48*q. Which is greater: q or g?
q
Let w = 2.98 + 0.02. Let o = 119 + -23. Let i = o + -90. Are w and i equal?
False
Suppose -110 = 19*z - 14*z. Let l be ((-62)/4 - 2) + (-6)/2. Which is smaller: l or z?
z
Suppose 0 = -0*z + 3*z - 18. Let g(p) = p**3 - 8*p**2 + 10*p - 8. Let h be g(7). Let v = -8 + h. Is z smaller than v?
False
Suppose -5*f + 12*f = -8*f. Which is greater: f or -4/37?
f
Let x = -2336/357 - -108/17. Suppose 3*j + 3 = -2*c, 4*j + 4 = -2*c - c. Which is smaller: c or x?
x
Suppose -c = -3*j - 12, c - 3 = -2*c - 2*j. Let w be 1/c + (41/3 - 1). Are 12 and w equal?
False
Let j be 1 + (-475)/(-239) - 3. Let f = -16978/717 - j. Let o = f - -23. Which is bigger: -1/2 or o?
-1/2
Let b be (-3)/2 + 608/192. Are 1 and b equal?
False
Suppose 0*d + 5 = b + d, -4*b = -d - 5. Suppose 0 = -7*p + 8*p. Suppose p = -b*u - 3*u. Which is bigger: u or -2/9?
u
Let v(u) = 1779*u + 2. Let j be v(-2). Let n = j + 21287/6. Is n at most as big as -7?
True
Suppose 2*o = -4*d + 10, -2*o + 7 = -3*d - 17. Let a be (-1)/(((-783)/(-6))/o). Is a less than or equal to 1?
True
Let x = -67/308 - 3/44. Which is greater: x or -23?
x
Let k(b) = 2*b - 1. Let n be k(4). Let v(y) = y - 7. Let i be v(n). Let l(w) = -w**3 + 2*w**2 - 6. Let a be l(i). Is -6 greater than a?
False
Let n(i) = -i**3 - 10*i**2 + 6*i - 48. Let h be n(-11). Is h less than or equal to -0.044?
False
Let d = -0.03 - 0.77. Let c = -9.8 - d. Let a = c + 9.2. Is a < 1/5?
False
Let q = 20 - 6. Is 17 >= q?
True
Let o = -1.2 - -1. Let z = 6.8 - o. Let l = z + -5. Which is smaller: l or -0.09?
-0.09
Suppose 0 = 5*i + 5*m - 45, 0*i + 32 = 4*i + 3*m. Let b be i/2*72/30. Let v = b - 5. Which is greater: v or 2/29?
v
Let o = -4 - -6. Let f be -2 + o/((-10)/1121). Let y = f + 225. Is y <= 0?
True
Suppose 2*n = -2*x - 80, -3*n - 2*x - 119 = -0*x. Is -38 != n?
True
Let i = -843 - -842. Which is smaller: i or -13/14?
i
Let c(f) = -127*f - 123. Let g be c(6). Which is smaller: -883 or g?
g
Let i(z) = -z + 1. Let v be i(-5). Let u be 104/(-10) + v/15. Is -9 less than u?
False
Suppose 4*z = -z - 7*z. Is z bigger than 27?
False
Let k = 14 - 10. Suppose 4*q = 0, k*q - 42 = 4*d - 2*d. Which is bigger: d or -19?
-19
Suppose 3*t + 3*a + 15 = 0, 20 = 3*a - 7*a. Is 8 != t?
True
Suppose 0 = 5*u - 47 - 8. Let f be 20/(-1)*4/10. Let l = f + u. Which is bigger: l or 4?
4
Suppose 0 = -s - 0*i - 2*i + 1, -33 = -5*s + 4*i. Suppose 7*p + 2 + s = 0. Is p greater than or equal to 2?
False
Let a(t) = -12*t**2 + 1 - 17*t + 22*t + t**3 + 7*t**2. Let o be a(3). Let k = -0.24 