t q = 306 - 307. Let z be (-119)/2*4/(-2). Let o be z/(-77) - 2*q. Does o = 0?
False
Let a = 33 + -62. Let m = a - -28. Is -2/25 greater than or equal to m?
True
Let o = -611/45 + 69/5. Which is greater: -82 or o?
o
Suppose 6*r - 38 = -2. Let n be 4 - r - (-992)/500. Is 0 >= n?
True
Let c(y) be the third derivative of -5/24*y**4 + 0 + 7/6*y**3 + 0*y - 1/60*y**5 + 8*y**2. Let p be c(-6). Which is smaller: 8/7 or p?
p
Let c = -21750/11 - -1979. Is 1 < c?
True
Let q(s) = 3*s**2 + 2*s + 2. Let i be q(-1). Let z = -7.16 - -7. Let u = -0.06 - z. Is u smaller than i?
True
Let i(o) = 4*o**2 - 3*o - 8. Let z be i(-5). Is z less than 0.1?
False
Suppose 0 = -5*w + 3*v + 629 - 3474, -4*w = -v + 2276. Which is smaller: -570 or w?
-570
Let l = 25 + -24.7. Is -14/9 greater than l?
False
Let d be 441 - (-2 - (-1 - (5 + -3))). Is d smaller than 441?
True
Let n = -1066 - -1053. Which is smaller: n or -10?
n
Let d = 15 + -12.3. Let p = 1.693 + 0.007. Let x = d - p. Which is smaller: 0.15 or x?
0.15
Let s = 2 - 2. Let w be 22/10 + -2 + s. Let l(o) = o**2 + 14*o - 18. Let b be l(-15). Is w at least b?
True
Let j = -104.981 + 105. Is 2/11 bigger than j?
True
Let t(q) = 7*q**2 - 3*q + 1. Let m(w) = -14*w**2 + 6*w - 1. Let x(r) = -2*m(r) - 5*t(r). Let a be x(-3). Let v be (30/a)/((-34)/(-30)). Is 0 != v?
True
Suppose 0*v + 4*v = 120. Let n = v + -21. Is 9 greater than or equal to n?
True
Let f be (-2)/12*(-99)/176. Let t be (-3 + 6)/6*2. Which is smaller: f or t?
f
Suppose 0 = 3*v + 4*p - 28, -5*p + 25 = 3*v - 7. Let y be (4 + -22)/((-66)/v). Suppose 0 = 3*x + 3*c + c - 7, 0 = 4*c - 4. Which is greater: y or x?
y
Suppose 5*o - 18 = 2*k, 3*o + 4 = 4*k + 12. Let l be (-4)/6 - 666/(-27). Suppose 0 = -o*d - 0*d + l. Which is greater: 4 or d?
d
Let l = -94 - -95. Let y = -6236/33 - -189. Is l less than y?
False
Suppose -3*j - 19 - 8 = 0. Suppose 3*f = -2*x - 8, -4*f + 66 = 2*x - 7*x. Which is smaller: j or x?
x
Let g(y) = 3*y**2 + 36*y + 32. Let b be g(-11). Which is bigger: b or -2/703?
-2/703
Let u be ((-1)/12)/(3/8). Let k(g) = -2*g + 7 + 7 - 4*g**2 + 3*g**2 - 11. Let l be k(-3). Which is smaller: l or u?
u
Let p = -22/2487 - -62497/223830. Let s = -10/27 + p. Let b be ((-2)/(-4) - 1)*2. Is b greater than s?
False
Let x = -2453/5 + 491. Is -2/67 != x?
True
Suppose 0*b - 2*r = -3*b + 7, -2*b + r + 4 = 0. Let a be 0/(0 + b)*1. Which is greater: a or 9/8?
9/8
Let a(g) = g**3 - 13*g**2 + 19*g - 35. Let u be a(13). Which is greater: u or 211?
u
Suppose -95*d + 93*d = -48. Suppose 135 = -19*a + d*a. Which is greater: 26 or a?
a
Let a = -1935 - -1459. Which is smaller: -478 or a?
-478
Let l = -1.03 - -1.6. Let m = l + 13.43. Do -0.3 and m have the same value?
False
Suppose -5*q - 3*u = 2*u - 20, 0 = 2*q + 3*u - 11. Let x(o) be the second derivative of -o**4/12 + o**2/2 + 10*o. Let l be x(q). Is l < -0.1?
False
Let c = -2631/232 - -91/8. Let y = c - 35/174. Is -1 at most as big as y?
True
Let n be ((-9)/6)/(-2 + 35/10). Which is smaller: n or -1/276?
n
Let h = 0 - 0. Let p = 56 + 32. Let z be 10/15 - p/60. Is h bigger than z?
True
Let x = 85337099/369 - 231266. Let k = 1039 + -42596/41. Let t = k - x. Which is greater: t or -2/7?
t
Let z(f) = -f**3 + 7*f**2 + 32*f - 7. Let v be z(10). Let d be ((-12)/5)/((-1)/5). Is d greater than v?
False
Suppose 4*p + 10 = 3*p. Suppose -2*a - 97 + 101 = 0. Let i be (6/(-105))/(a/p). Which is smaller: 1 or i?
i
Suppose -l + 13 - 19 = 0. Is l at least as big as 51/7?
False
Suppose -6*z + 5 = -7. Let b be 2*z/4 + 1075/(-1065). Which is smaller: b or -1?
-1
Let u(w) = w**3 + 8*w**2 + 14*w + 21. Let r be u(-6). Does r = 39/5?
False
Let l be (0 + 0)*(-4 - -5). Suppose l = -4*g + 2*j, 3*j - 8 = -j. Is g less than -3?
False
Suppose 11*l - 3*u - 155 = 9*l, 2*l - 5*u - 153 = 0. Which is greater: l or 77?
l
Let q = -0.0019 + 0.3219. Let j = -0.3 - -0.1. Let n = q + j. Which is bigger: 1 or n?
1
Suppose -3*a + 6 = 21, 213 = 3*l - 3*a. Let t = 15112/3 - 4972. Let j = l - t. Which is smaller: j or -8?
-8
Let o(b) = 12 + 2*b - b + b**2 - 5*b - b. Let p be o(4). Is p smaller than 6?
False
Let b be ((-6)/(-15))/((-6)/5). Let q(d) = 5*d + 5. Let l be q(3). Which is smaller: b or l?
b
Let k = -13 + 5. Suppose -2*h = -5*b - 38, 5*h = 5*b + 3 + 122. Suppose 28*i - h*i = 7. Are k and i nonequal?
True
Let d(h) = -6*h + 0*h**3 + 0*h**3 - h**3 - 2*h + 6 - 7*h**2. Let y be d(-7). Let r = -436/7 + y. Is 1 < r?
False
Let t(h) = h**2 - 12*h - 4. Let p be t(12). Let o(u) = u**3 - u - 4. Let z be o(0). Let r be (z/(-76))/((-2)/p). Is r greater than -1?
True
Suppose 4*h - 1073 = -5*y, -422 = 5*y + 5*h - 1492. Is y not equal to 1521/7?
True
Let b = -237278/101 - -7654883/4545. Let i = -665 - b. Is 0 greater than i?
False
Let g = -273 - -272. Which is greater: -16/23 or g?
-16/23
Let c = 16.3 + -2.3. Let g = c - 18. Is 1/2 greater than or equal to g?
True
Suppose 2*n - 5*w = -8*w + 116, -5*n - 5*w + 285 = 0. Which is smaller: n or 215/4?
215/4
Let n = -457 + 1823/4. Which is smaller: n or 0?
n
Let d be (93/12 - 2)/((-437)/92). Which is smaller: 0 or d?
d
Suppose -1 + 4 = j. Suppose 0*v - 3*i = -j*v - 57, -4*v - i = 71. Is -1/3 less than v?
False
Suppose 27*q = 71 + 118. Which is smaller: 5 or q?
5
Let x = 1.375 - 1.175. Is 6.05 < x?
False
Let c be (-6)/(-15)*5 - -12. Suppose -h - c = -2*h. Let j be h/(-7)*(-2)/(-50). Is j < -1?
False
Let b = 5 - -21. Suppose 0 = 5*w - 36 + b. Which is smaller: 9/8 or w?
9/8
Let q = 72 - 30. Suppose 0 = -5*x - 23 - q. Which is greater: x or -2?
-2
Let l = 84.8 - 82. Let h = -2.9 + l. Which is bigger: -5/3 or h?
h
Let y(g) = 2*g**2 + 3*g - 2. Let r be y(-3). Let p(s) = -s**2 + 7*s + 3. Let a be p(r). Which is greater: a or 18/11?
a
Let s = -12 + 12. Let q be 2/(s + (-2)/16). Let v be ((-5)/q)/(2/8). Which is smaller: 2 or v?
v
Let l(s) = -37*s - 2. Let p(a) = 3*a - 2. Let m be p(1). Let h be l(m). Are -38 and h non-equal?
True
Let u = -45.3 + 45.3. Is u less than 20?
True
Let f be 10/6 - 1/(-3). Suppose -f*w = -11*w - 9. Is -1 <= w?
True
Let p(f) = -67*f + 94. Let g be p(-13). Is -2/5 greater than or equal to g?
False
Let v = 0 + 6. Let l be v/4*1/(-6). Let m = 67/161 + -3/23. Is m equal to l?
False
Let l = 264 + 73. Let i = 19881/59 - l. Which is smaller: i or 0?
i
Let x = -152 - -154. Is x less than 41?
True
Suppose 0 = -2*i + 2 + 4. Suppose i*w - 9 = 6*w. Let z be (w - (-7)/2)*-2. Which is smaller: 0 or z?
z
Let v = 1479 + -1448. Which is bigger: 32 or v?
32
Let i = -47 + 47. Let v = 54239/46 + -1179. Is v greater than or equal to i?
True
Let r(m) = m**2 - 23*m - 571. Let t be r(-15). Which is bigger: 5/63 or t?
5/63
Let n = 18 - 13. Let k be -2 + -1*(-12)/n. Is 0 greater than or equal to k?
False
Suppose 2*f - 26 = -4*t, -37*f + 36*f - 3 = -2*t. Is -77 < f?
True
Let c = -137 - -149. Suppose 0 = -b + 13 - c. Let g be (4/114)/((-1)/3). Is g equal to b?
False
Let p = 457 + -457. Which is bigger: p or -2/113?
p
Let g = -1 - -2. Let u be (15/20 + -1)/((-106)/16). Which is smaller: g or u?
u
Let w = 72/31 + -729/434. Let c be (1/(-5))/(28/(-280)). Which is bigger: c or w?
c
Let p = 30 + -51. Let r be (-23 - p)*(-1)/(-5). Are -7.2 and r non-equal?
True
Let n(z) = 1. Let c(b) = 4*b + 23. Let r(g) = -c(g) - 2*n(g). Let m be r(-7). Which is greater: m or -1/8?
m
Let x(p) = 2*p**2 - 3*p. Let n be 0 - -4 - (-9 - -11). Let z be x(n). Suppose 0 = v - 1 - z. Is 4 at most as big as v?
False
Let c be ((-153)/3)/(0 - 1). Which is greater: 50 or c?
c
Let r = 1433.84 + -1434. Which is smaller: -0.29 or r?
-0.29
Let s(v) = -v**3 + 3*v**2 + 6*v - 4. Let n be s(4). Suppose -43 = -5*a - c - c, 0 = 3*a + n*c - 23. Do 11 and a have the same value?
False
Suppose 2*t + 2*t = -2*q - 36, 5*t + 49 = -3*q. Let z be 8 - ((-16)/4)/4. Let o = -10 + z. Is o greater than or equal to q?
True
Let c be (-118 + 108)*(1 + 606/10). Which is greater: c or -615?
-615
Let f = 42/433 - 1328/4763. Suppose -r + 5*r = 0. Is f less than or equal to r?
True
Let q = -139 + 146. Let y be (q/(-7))/(2 + (-75)/37). Which is smaller: 38 or y?
y
Let c be ((-28)/(-8))/(-7) + 170/24. Is c smaller than 7?
True
Let b = -4/3 - -5/6. Let t = -92.15 + 92.35. Is b smaller than t?
True
Let r(u) = -u - 2. Suppose 0 = -0*a - 3*a - 12. Let d be r(a). Suppose 66 = -4*b - d*b. Is b at most -11?
True
Let m 