= -3*g, 2*g = -w + 4*g + 4. Is 14 at least w?
True
Let p be (-84)/(-135) + 2/(-5). Let s = 527 - 532. Which is smaller: p or s?
s
Let t(n) = 3*n**2 - n**3 + 8 + n**2 + 2*n**2 + 0 + 6*n. Let h be t(7). Let p be (3 + -5)/(-2)*(-2)/(-67). Which is bigger: h or p?
h
Let h = 30/71 + -232/213. Which is smaller: h or 34?
h
Let g = -27 - -38. Let s = 2802 - 2791. Is g <= s?
True
Let d be (-1 + 2 + 0)/(109/109). Is -2/245 smaller than d?
True
Let v = -568 - -645. Which is bigger: 391/5 or v?
391/5
Let q = -2.1 - 1.4. Let r = q + 3.6. Are r and 0.1 nonequal?
False
Let u = 25 - 7. Let k = -17.9 + u. Let w = 13 - 11. Is k > w?
False
Let n be ((-3)/(-44))/(90/(-80)). Is 1 not equal to n?
True
Let b be (12/(-2))/(-3) + 10. Suppose 97 = 4*q + 49. Is b < q?
False
Let v = -8000/43099 - -46/329. Are v and 1 non-equal?
True
Let w = 26 - 26. Suppose 4*a - 38 = 3*z, 0*z - z + 3*a - 21 = 0. Let r be 20/(-105) + 4/z. Is r bigger than w?
False
Suppose 4*s = 3*s + 2. Suppose -2*u = -10, 4*r - 6*u = -2*u - 12. Is r greater than or equal to s?
True
Suppose 14*w = -4*w + 1458. Is 485/6 at least as big as w?
False
Suppose 18 = -l - 4*l - 4*r, 2*l - 2 = 3*r. Suppose 5*c + 4*u = 19, -c = 3*c + 2*u - 20. Which is smaller: c or l?
l
Let q be 369/1188 + 2 + (-36)/16. Is q > -1?
True
Let l = -10463/220 - -17/55. Let q = 2081/44 + l. Which is smaller: q or 1?
q
Suppose -28 = -4*y - 10*h + 13*h, 3*y - 2*h = 20. Let d be 73/15 + 2/(-3). Is d at most y?
False
Let s = -11962 - -2715366/227. Which is greater: -1 or s?
s
Let v(z) = -z**3 - z**2 + 14. Let c be v(0). Let q = -12 + c. Suppose q*a = -0*a - 8. Which is greater: a or -3?
-3
Let y = 2643 + -1184. Which is smaller: 1460 or y?
y
Let l(m) = -m**3 + 9*m**2 + 17*m - 82. Let x be l(10). Do x and -53/4 have the same value?
False
Let s be 2/(((-32)/(-100))/4). Suppose -s*m = -20*m + 5. Which is greater: -14/13 or m?
m
Let d = -2 + 40. Let i = d - 38. Is 2/53 <= i?
False
Let p(n) = -2*n**3 + 7*n**2 + 29*n + 7. Let w be p(6). Which is bigger: w or 2/189?
w
Suppose 3*f = a - 65, 6*a - 4*f = 11*a - 344. Is 68 greater than or equal to a?
True
Suppose 0 = -4*k - 9*m + 4*m + 281, 0 = k + m - 69. Let t be k/322 + (-12)/42. Is t >= 0?
False
Let y(b) = b + 1. Let i be y(-3). Let c be 0/(3 + 0 + -2). Let n be (c - -3) + (-17)/4. Which is smaller: n or i?
i
Let j be 9/18*(-25)/(-20). Let t(v) = v**3 - 2*v**2 - 2*v + 2. Let u be t(2). Is u at most j?
True
Let p = 249/506 + 2/253. Which is smaller: 8/7 or p?
p
Let g(r) = 2*r**3 + 9*r**2 + 3*r - 8. Let u be g(-4). Let a be 7/14 - (-15)/(-22). Is u at most as big as a?
True
Let n = 4 + -3. Suppose -3*y = -3*l + 303 + 477, 0 = 3*y + l + 760. Let x be (-5)/(y/2)*(-72)/(-16). Which is bigger: x or n?
n
Let k = -45/13 + 1922/559. Which is greater: k or -1?
k
Suppose -6*z - 150 = -90. Suppose -10*l - 33 = -7*l. Which is smaller: l or z?
l
Suppose 0*n + w + 93 = n, 2*w + 8 = 0. Let z be (-82802)/(-760) + -20 - (-1)/20. Are z and n non-equal?
False
Let i(q) = q**3 + 22*q**2 + 85*q - 27. Let l be i(-17). Is l less than 1/7?
True
Let t = 0.66 - 1.66. Is t greater than or equal to 1163?
False
Let l(q) = 140*q**2. Let y be l(1). Let b = y - 139. Is 4/39 at least as big as b?
False
Let f be (-6 - -5)*1*(-3)/(-381). Which is greater: -1 or f?
f
Let r = -85 + 48.9. Let f = r + 36. Is -1 != f?
True
Let t be (-4 + (-210)/(-49))/((-1)/(-371)). Are 105 and t equal?
False
Suppose -g + 1808 = -x, 5*g = -3*x + 6*x + 5434. Let y = -19809/11 - x. Is y at least 3?
False
Suppose 0 = -3*u - h + 183, -103*h = u - 102*h - 59. Which is bigger: u or 60?
u
Suppose 0 = -d - 2*p - 5, 0 = 3*d - 7*d - 3*p. Let g be d - (-6 + 4 + 55). Is -52 less than or equal to g?
True
Let k = 500 + -500.02. Is -3 greater than or equal to k?
False
Let z be (2/(-5))/(19/380). Let d(p) be the third derivative of -p**6/120 - 2*p**5/15 - p**4/24 - p**3 - p**2. Let v be d(z). Is 1 != v?
True
Let t = 3 - 22. Let w = t - -93/5. Is -3 smaller than w?
True
Let u be (-2 - 25/14) + 20/10. Let b = -9/7 - u. Which is smaller: 6 or b?
b
Let w = 643/4 + -158. Which is greater: -2/3 or w?
w
Suppose 2*f = -y + 3, 0 = -4*y + 48 - 36. Let a be (-1)/(-3)*(-9)/(-246). Is a != f?
True
Let h be -1 - 431/(-460) - 2/(-5). Let q = h - 2/23. Which is smaller: q or 27?
q
Let d = 31 - 27. Suppose d*s = -0*s - 3*s. Let v(b) = -b**3 - 3*b**2 + 4*b + 2. Let l be v(-4). Which is smaller: l or s?
s
Suppose 20 = -4*b, -9*b - 23 = -4*o - 10*b. Which is smaller: o or -2?
-2
Let u = -144 - -174. Let h = -211/7 + u. Suppose -v - z + 1 = 0, 0*z - z + 1 = -v. Which is bigger: h or v?
v
Let h be 6/3 - (8/(-4))/(-1). Which is smaller: h or 1/147?
h
Let k = -28 - -26. Let t be k/(-13) - (-4)/(-26). Suppose t*u + 5*u + 18 = 2*j, -2*u - 11 = 3*j. Is j greater than 1/4?
False
Let y be (4/48)/((-68)/64). Is y at most -1?
False
Suppose g = -0*g + 5*g. Let m be g + -5 - 28/4. Which is smaller: m or -100/9?
m
Let w(m) = m - 1. Let f be w(7). Suppose 4*x - f*x - 16 = 0. Let s be ((-20)/x)/(1/2). Is s less than 5?
False
Let r be 5/3 - 2/(-6). Suppose 0 = 7*s - r*s. Is s greater than 6/7?
False
Let z = 570 + -31349/55. Let n be 2*(-2)/(-4)*1. Which is smaller: n or z?
z
Let a = 550/9 + -62. Let h be 0/2*(-7 - 154/(-21)). Which is greater: h or a?
h
Let c = -121 + 72. Is -2 bigger than c?
True
Let j(x) = x**2 + 21*x + 170. Let a be j(-8). Is 68 at least as big as a?
True
Let r(m) = 3*m**2 - 34*m - 26. Let n be r(11). Which is bigger: -35 or n?
-35
Let d = -689/275 + 28/11. Let b(j) = -j**2 - 4*j - 3. Let q be b(-2). Is d > q?
False
Let b be (1 - -45)/1*(-4)/(-8). Let s be ((-2)/6 - 0)*-3. Which is smaller: s or b?
s
Let o(w) = -2*w - 24. Let v be o(0). Let f be 8/v + (-28)/(-66). Which is bigger: f or 3?
3
Let r = 27 - 36. Let g be ((-18)/40)/r + 2/10. Are 17 and g non-equal?
True
Let r = -4 - -4.07. Let s = -0.0441 - 3.9559. Is s >= r?
False
Let t = -151.2 - -151.3. Let o = -14.9 - -13. Is o at least t?
False
Let n = 453 - 2267/5. Are 94 and n non-equal?
True
Suppose -120668 = 61*r - 33316. Which is bigger: -1431 or r?
-1431
Let m = -21 - -52. Let c = m - 33.6. Let h = c - -2. Which is bigger: 0.2 or h?
0.2
Let p be (-90)/(-2) - 0/5. Let g be (36/p)/((-2)/10). Which is smaller: g or -3/2?
g
Let m be (10/4)/((-1)/(-2)). Suppose -4*u - 17 = -3*r, 0*r = -m*r + 5*u + 20. Let v = 1 + r. Is -1 less than v?
True
Suppose -260*f + 267*f = -1603. Is f less than -229?
False
Let k be ((-1)/3)/((-2262)/156). Suppose -4*f - 3*p = -8, 4*f + 4*p - 1 - 11 = 0. Which is greater: k or f?
k
Let q = 46 + 180. Which is smaller: q or -0.1?
-0.1
Suppose 6*u - 2*u = 4. Is u smaller than 1/367?
False
Suppose -4 = 15*c - 19. Suppose 0 = 4*n + 2*y - 38, 0*n + y - 37 = -4*n. Is c less than n?
True
Suppose -3*q + 152 = -4*q. Let g be 4 - 28*(-20)/q. Is g > -1?
True
Let q be (-34)/(-51) + 28/(-6). Let s be 2/8 + (-119)/q. Let a be s/(-405) - (1 - 1). Is 1 > a?
True
Suppose -5*i - 336 = v + 254, 4*i - 5*v + 501 = 0. Let a = -1311/11 - i. Which is greater: a or -0.4?
a
Let g = 6.28 - 3.28. Is g <= -104?
False
Suppose -i = -5 - 5. Let n be (1 - 0)*2/i. Let h = 0.156 - 0.176. Does n = h?
False
Suppose m + 3 = -0*m. Let t = 433 - 445. Which is smaller: t or m?
t
Let l = -14/59681 + 1390388313/238724. Let b = l + -5874. Let y = 50 + b. Which is smaller: y or -16?
-16
Let t = -2.55 - -0.55. Let k = 14 - 10. Is k less than t?
False
Let g = -41 + 39. Let n be (-135)/(-280) - (-1)/g. Which is smaller: n or -1?
-1
Suppose 5*o = -4*p + 3*p - 40, -5*o + 15 = 0. Let c = -54 - p. Which is bigger: 1/68 or c?
c
Let c be -49 + 47 + (-10 - (2 - 1)). Which is smaller: -18 or c?
-18
Let t(x) = -x**3 + 7*x**2 + 5*x - 8. Let k be t(8). Let y = -30 - k. Suppose 4*p + y = 2*b, -p - 2*b = -b - 7. Is p bigger than -1?
True
Let g = -2174/3 - -725. Is -7/5 > g?
False
Let j be (-1362)/(-21) - ((-52)/(-28) + -2). Let v = 65 - j. Are v and -2/7 unequal?
True
Let u be (127/(-3) - -1)/(19/399). Let c = 16486/19 + u. Is c > 0?
False
Let l(d) = d - 1. Let z be l(6). Let f(q) = q**3 - 4*q**2 - 4*q - 1. Let o be f(z). Suppose 5*s - 1 = c + 11, 5*s - o = -3*c. Does 1 = s?
False
Let y = 52 + -73. Let p be (3/y)/(2/4). Which is greater: -2/29 or p?
-2/29
Suppose a + r = -r + 5, -4*r + 9 = 3*a. Let j = 225 + -7201/32. Is j at least a?
True
Let l(o) = o**2 + 5*o + 6. L