 + -6)*(-1 - 0). Is n > g?
True
Let l be (1/(-15))/(11/((-2310)/12)). Let a be (0/((-2)/1))/(-2). Which is smaller: l or a?
a
Let q(h) = h**3 - 9*h**2 + 21*h - 12. Let z be q(8). Is z bigger than 89?
True
Let b be (-2 + 0)/((-1)/(-3 + 12)). Let n be (-11 + (-5)/5)*b/(-8). Is 29 at most as big as n?
False
Let d be 84/16 + (-2)/8. Suppose -d*f = 3 + 2. Let h = -144/11 + 997/77. Which is greater: f or h?
h
Let t = 828.1 + -828. Which is smaller: -283 or t?
-283
Let w be 3/(12/4) - 1*-12. Let i(p) = -3*p + 37. Let t be i(w). Let k = -10 + 7. Which is greater: k or t?
t
Let x = 1765 - 1764. Is 32/45 smaller than x?
True
Suppose l = -0*l - 1. Let c be (2 - 232/115)/(38/57). Let w = c - 37/345. Is l at least as big as w?
False
Suppose 0 = 3*s - 8*s - 115. Let j be (-5)/30*279/2. Let g = j - s. Is -1 < g?
True
Suppose 0 = -34*f + 13*f + 4872. Is 230 at least f?
False
Let q(d) = -2*d + 27. Let g be q(12). Suppose 0 = 3*j + g*o + 24, -j + 4*o + 15 = 3. Let c be ((-1)/j)/((-1)/(-20)). Is 5 >= c?
True
Let c be (-1)/(-2) + 26/(-20). Let m = -47 + 36. Let w = m + 10.9. Which is bigger: w or c?
w
Let i be 20/(-1) + (4 - (-9 + 12)). Which is bigger: -14 or i?
-14
Let y = -13.3 - -13.2. Is y less than 17?
True
Let f = 284 + -256. Which is greater: f or 30?
30
Let s(q) = -q**2 - 14*q - 25. Let r be s(-11). Let v = -4 + -1. Let w = r + v. Is 4 at most w?
False
Let h = -53.889 - 0.111. Let q = h - -53.8. Which is bigger: q or 1?
1
Let z be (6/56)/(12 + 539/(-44)). Let m = 7/8 - 3/8. Which is smaller: m or z?
z
Let a = 811 - 496. Is a at least as big as 315?
True
Let n be 3 - (-5 - -9) - (-8)/2. Let g be 1/(56/18 - n). Is 9 <= g?
True
Let q be (3 + -3 + -1)*-3. Suppose 0 = 3*z + 4*f - 0*f + 18, q = -f. Let b be (-3 + 2)*z/(-3). Which is smaller: -3/2 or b?
-3/2
Let k(g) = -4*g + 29. Let x be k(7). Let p be -1*((-1)/(-4) - x/4). Is -8/11 bigger than p?
False
Suppose 0 = 122*b - 113*b. Let c = -343667 - -5153128/15. Let m = c + 125. Is m greater than b?
False
Suppose -4*d + 4 = -0*d. Suppose 3 = -4*k - d. Which is smaller: -6/5 or k?
-6/5
Let a = 9 + -26. Suppose -5*b - 100 = -h - 4*h, 3*h + 30 = -2*b. Is b greater than a?
False
Let y be (-10)/(0 + -5) - -36. Which is smaller: y or 37?
37
Let q(n) = n**3 + 3*n**2 - 4*n. Let t be q(-3). Let o be (t/(-32)*-4)/(-3) - 1. Does o = -2?
False
Let i be -23 + -1 - (13 + 13 + -26). Suppose -2*n + 110 = -5*j, -2*n - 40 = 5*j + 70. Is j at most i?
False
Suppose -5*t = 5*c + 5, 4*t - 7 = c - 6. Let i be (-4)/(-10)*5/49. Is i < c?
False
Let q be (10 + 2 + -5)/7. Does 2/473 = q?
False
Let b = 11 - 14. Let n be 2*((-21)/3 - b). Does n = -8?
True
Let m = 310.3 - 320. Is 1 less than m?
False
Let r = 4 + -3. Suppose 0 = 2*v + 3*d - 5, -13*d - 13 = 2*v - 16*d. Is v smaller than r?
True
Suppose 0 = -0*r - r. Let i(q) = -q**2 - 5*q - 3. Let z be i(-4). Let v = r + z. Is -2 equal to v?
False
Suppose 2*m = -8, 4*s + 2*m - 21 = 11. Let q = s + -10. Which is greater: q or 2?
2
Let c be -126 - 9/((-72)/(-32)). Are -130 and c non-equal?
False
Suppose -3*c - 3*w = -19 - 8, -w = 0. Let p = 18 - c. Let n be (p/42)/(3/2). Which is greater: 1 or n?
1
Let t = -1 - -8. Let z be t/(-28) - (-713)/(-36). Let r = z + 20. Which is smaller: r or 1?
r
Let f = -182 - -183. Let k = -0.2 - -0.1. Which is smaller: k or f?
k
Suppose c + 5*g = 3, -5*c - 7 = g + 2*g. Let n = -3/296 - 4129/1480. Which is bigger: n or c?
c
Suppose -2*p - 11 = -5*j + 2, -4*j - 3*p + 15 = 0. Let m be (-3 + 0)/(j + 14/(-4)). Which is smaller: m or 2?
2
Let b be (83588/(-6))/(50/6). Let k = b - -1672. Which is bigger: 0 or k?
k
Suppose 0 = m - 4*m + 3279. Let q = m + -20773/19. Let p(k) = k + 2. Let s be p(-3). Which is smaller: q or s?
s
Let k be (-20085)/(-20) - 3/12. Let t be 2 - (k/250 - 3) - 1. Does t = 1?
False
Let b(u) = 6*u**2 - 3*u - 5. Suppose -4*n - 2*i - 10 = 0, 5 - 2 = -4*n + 5*i. Let h be b(n). Is h bigger than 25?
False
Suppose 4*o = 12*o - 32. Suppose -q - 3*p - 96 = 0, -84 - 255 = o*q - 3*p. Are q and -86 unequal?
True
Let b = 1551801/241 + -6439. Are 0.1 and b equal?
False
Let t = -117 - 689. Is 2/3 > t?
True
Let g be 1/(3/6) - -22. Let n = g - 8. Let a = n + -31/2. Which is greater: a or 1?
1
Let v = -500 + 353. Is v smaller than -147?
False
Let a = -3 - -7. Suppose 0 = 5*z + 20, -2*f + z - 14 = a*z. Does 2 = f?
False
Let r = -757.9 - -758. Which is smaller: r or 0.002?
0.002
Let m = 111/2 + -55. Which is smaller: -0.49 or m?
-0.49
Let t be (12/10 - 0)*(-1240)/(-372). Which is smaller: t or 14?
t
Suppose -11*v + 29 = 29. Let p = 14/3 - 5. Is v not equal to p?
True
Let w = -9 + 13. Let z be (1 + -1)/(-3 + w). Suppose z*c + c = 0. Is c equal to -2/5?
False
Let r = -787/60 - -43/15. Let y = 189/20 + r. Which is bigger: -1 or y?
y
Let p = 81 - 82. Is -3/41 greater than or equal to p?
True
Let s(c) = -c**3 + 8*c**2 + 11*c - 18. Let r be s(9). Which is greater: r or 12/83?
12/83
Let l(w) = -6*w - 68. Let u be l(-12). Are -2/5 and u equal?
False
Let d be (2 - 4)/(2/(-4)). Suppose -d*g + 9*g = 10. Which is bigger: 1 or g?
g
Let o = -18/283 + 1859/33677. Which is greater: o or -1?
o
Suppose -7*r + 8*r - 148 = -5*n, -2*r + 6 = 0. Is n >= 31?
False
Let x be 24*(1 - 5/3) - 2. Let m(j) = -j - 12. Let h be m(0). Let p = x - h. Which is smaller: 1 or p?
p
Suppose -5*p + 8*p = 6. Let b = -646 + 5167/8. Which is greater: p or b?
p
Suppose -2*f + 3*d = 15, 5 = -24*f + 27*f + d. Is f less than or equal to 4/575?
True
Let h = 2/151 - -1053/302. Let i = 43 - 38.6. Let c = i - 4.4. Which is smaller: c or h?
c
Let j be 5*30/(-200)*(-482)/(-3). Which is smaller: j or -121?
-121
Let z(a) = 2*a + 37. Let l be z(0). Suppose 0 = l*s - 32*s - 10. Is 3/2 at least as big as s?
False
Let s = -5028813/10 - -503495. Let y = -613 + s. Is y at most 0?
False
Let b = 0.4251 + -0.0251. Is 47 equal to b?
False
Suppose -121 = 5*l - d, -4*d - 7 = 9. Let z be 3/(-2 + 3)*l. Let c be ((-1)/(-3))/(5/z). Which is smaller: -6 or c?
-6
Let d = 127 - 226. Let p = d - -98. Which is bigger: -3/2 or p?
p
Suppose 17 - 17 = 7*n. Suppose 10*m - 70 = -n. Which is smaller: m or 6?
6
Let j(b) = b**3 - 11*b**2 + 9*b + 7. Let u be j(10). Is u greater than or equal to -54?
True
Let n(j) = -j**2 + 13*j - 8. Let b be n(12). Suppose -y = -b*g - 27, 3*y + 5 = -4*g - 10. Let s(t) = 2*t + 11. Let k be s(g). Is 3/7 at least as big as k?
True
Let k be -5 - (-3 + 21/6)*-12. Is k != -3/113?
True
Let g(f) = -f**2 + 7*f + 34. Let z be g(10). Suppose 2*c - z*c + 5*r = -33, -c + 14 = -5*r. Is 19 at least as big as c?
True
Suppose 13*p + 72 = p. Which is greater: -8 or p?
p
Let h(x) = 5*x**2 - 2*x - 2*x**2 + 1 - 2. Let p = 251 - 249. Let m be h(p). Which is greater: -2/7 or m?
m
Let i = 1078 - 1079. Let w be (-5)/14 - (-6 - -6). Is w >= i?
True
Let j = -3 + 2. Let s = -0.0858 + -3.9142. Is j bigger than s?
True
Let c be (-3 - 7 - -8) + 865. Is c != 1?
True
Let u = -199 + 20. Is -179 > u?
False
Let r be ((-602)/2107)/((1 - -1)/(-4)). Is 2 at most as big as r?
False
Let i(b) = -b + 10. Let j be i(8). Suppose 3*w + 3*x + 3 = 0, -j*w + 8 = -4*x - 2. Let g be (-2)/(-7) - (-15)/(-77). Which is smaller: g or w?
g
Let v be (2664/259)/(1/(1 + 27)). Which is smaller: v or 291?
v
Suppose -4 = -2*t - 0*t. Let g be (-13)/(-24) - 116/(-87). Which is smaller: t or g?
g
Let l = 9 - 9. Let o(a) = -2*a + l*a**2 - 2*a - a**2. Let y be o(-4). Is 1/2 > y?
True
Let u = 70 - 94. Which is smaller: -28 or u?
-28
Let z(w) = -17*w + 115. Let v be z(14). Is -123 > v?
False
Let t = 66 + -65.939. Let f = -0.039 - t. Which is bigger: f or -31/2?
f
Let x = 37511/9 + -4185. Is -16 greater than or equal to x?
True
Suppose 0 = -0*n - 5*n - 2*t - 27, -18 = 4*n - 2*t. Let q be (-18)/n*35/98. Which is smaller: q or 1?
1
Let n = -515 + 524. Which is bigger: -1 or n?
n
Let g be -8*(1/2 + -2). Let r be (-22)/(-33) - 3*(-8)/(-36). Suppose -g = -2*u - 5*b, r - 9 = -u - 4*b. Which is greater: -1/15 or u?
u
Suppose -z = 2*g - 3, 3*z - 2 = -4*g - 1. Which is greater: -76/15 or z?
z
Suppose -342*m = -370*m. Which is bigger: 5/192 or m?
5/192
Let n = -118 - -83. Let l be (12/(-20))/(n/25). Is 10 at least l?
True
Suppose -3*p + 12 = 3*z, 0 = -2*p - 2*z + 3*z + 17. Suppose -m = 2*o - 5*m - 88, 4*o - 2*m = 188. Let v = o - 38. Which is smaller: p or v?
p
Let g = -25.92 - -0.92. Let b = g 