 + p. Let q be h/(-225)*(-6)/4. Which is greater: -1 or q?
q
Let a = -21.4 + 27. Let s = a - 131.6. Is 1 not equal to s?
True
Let c = 220 - 206. Let o be (-60)/(-8)*c/1827. Which is greater: o or -1?
o
Let q be (1/2)/((-6 - -1) + 45/10). Let y be (2/(-1))/((-1)/1). Let x be y/(-1) + 64/28. Are q and x equal?
False
Let w(s) = -s**3 - 3*s**2 - 4*s. Let y be w(-2). Let m(p) = 21 + 0*p - p + p - y*p. Let c be m(5). Which is bigger: c or -6/37?
c
Let g(b) = -b - 40. Suppose -4*z - 5*a + 0 = -10, -4*a = -4*z + 28. Suppose 0 = i + 3*i - z*t + 64, -4*i - 48 = -t. Let u be g(i). Is u >= -29?
True
Let m(h) = 10*h + 21 + 2*h + 4*h - 15*h. Let v be m(-20). Let o be (-78)/(-322) - 4/14. Is o >= v?
False
Let f be 12/40 - (-1)/(-4). Suppose 45*v = 127*v - 57*v - 25. Which is smaller: v or f?
f
Let h be (-1 - 1382/(-1378))/1. Let g be 96/72 - (-11)/(-33). Is g less than or equal to h?
False
Let g(h) = h + 4. Let v be g(-6). Let k be 4*2/v + (17 - 71). Which is bigger: k or -59?
k
Let s = -6132 + -700. Which is greater: -6834 or s?
s
Let t be 9/(-156)*-8 - (-224)/(-91). Which is bigger: t or 875?
875
Let q be (-20)/5288*(-7 + (-6266)/130). Is -1 < q?
True
Let v(n) = 20*n - 78. Let s be v(4). Let u be s/(-13) - 6604/(-7774). Is u less than 0?
False
Let h = -7 + 10. Let l = -4424 + 13279/3. Which is greater: h or l?
h
Let y = -584104/149 + 3920. Which is greater: y or 0?
0
Let l = 313 + -729. Let r = l + 418. Which is smaller: 63 or r?
r
Suppose -60*g = -65*g - 55. Let m = 9 + -9.09. Let d = 2.09 + m. Which is smaller: d or g?
g
Suppose -19*d - 3*w - 6 = -18*d, -2*d = -5*w - 10. Is 9/587 at most as big as d?
False
Let t(l) = -l**3 + 28*l**2 - 27*l - 10. Let y be t(27). Let k be (-6)/y + 54/135. Is 1/5 greater than k?
False
Suppose -3*g = -3*h - 72 + 24, g = 4*h + 76. Let i be (-2)/(-6) - (-64)/(-3). Which is bigger: i or h?
h
Let n = 67.29 + -67.26. Which is bigger: 230 or n?
230
Suppose 3*f + o = -4*o + 440, 4*o + 20 = 0. Let s be f/20 - 2/(-8). Suppose -s + 8 = -2*r. Which is smaller: -2/45 or r?
-2/45
Let y = -25432/3 + 12470157/1471. Is -1 smaller than y?
True
Let c be (5 - (-9)/(-6))/((-1)/8). Let n be 3/(-18)*c/(-364). Is 0 <= n?
False
Suppose -4*w = 2*c + 371 + 239, 589 = -2*c + 3*w. Is c equal to -300?
False
Let d be 2/(-3)*(-12)/16. Let w(m) = 22*m - 2009. Let s be w(95). Is s smaller than d?
False
Let r(k) = k**3 - 8*k**2 - 10*k + 10. Let f(a) = -a**3 - 2*a - 7. Let p be f(-3). Let x = p - 17. Let t be r(x). Do t and 0.1 have different values?
True
Let x be (-8)/294*(-14 - 18620/(-1320)). Which is smaller: x or -1/4?
-1/4
Let o(m) = 5*m - 26 + 22 + 14. Let w be o(6). Suppose 2*h - 29 = 51. Is h bigger than w?
False
Let m = 25.006 + -0.006. Let t = -27 - m. Let g = -52.3 - t. Which is bigger: g or -0.6?
g
Suppose 13*v - 47*v = 34. Is -13/207 at least v?
True
Let v be (-8)/52 + 21028/(-208). Let q be (2 + -6)/(2/51). Which is bigger: v or q?
v
Let n(h) = 7109*h - 90. Let t be n(-2). Is -1 bigger than t?
True
Let z = -8.746 + 8. Let l = 0.849 + z. Is -2 > l?
False
Let z = 1 - -1. Let m be (3/4)/(z/(-8)). Let a = 101.353 + -100.953. Which is bigger: a or m?
a
Let c(g) = 18*g**2 - 9*g + 42. Let t be c(7). Is t equal to 863?
False
Let p(f) = -f - 5. Suppose 0 = -3*v - 51 + 45. Let i be p(v). Which is smaller: i or -23/14?
i
Let t be (-2)/((-1)/(3 + 18/(-9))). Are 1393 and t non-equal?
True
Suppose 4 - 14 = -5*g. Suppose g*c + 7*i = 2*i - 16, 3*c + 3 = 3*i. Let b be 4 - (-9 + 13)/(-1). Do b and c have different values?
True
Suppose 74*x - 202728 + 29568 = 0. Is 2340 at most x?
True
Let x = 12945 - 7852. Is 5093 at most as big as x?
True
Let r = 3116 + -3171. Is r at least as big as 1/112?
False
Let r(p) = p**3 - 13*p**2 - 45*p + 13. Let t be r(14). Is t less than -420?
True
Suppose -7*x + 42 = 14. Suppose -x*r - 6 = 26. Is -3 < r?
False
Suppose -29*k + 35 = 64. Let w = -7 - -4. Do k and w have different values?
True
Let n be ((-26)/(-39))/(2/15). Suppose -2*a + n = -7*a. Let u be (-568)/355*(-10)/12. Which is greater: a or u?
u
Let m(l) = 4*l**3 - 15*l**2 - 17*l - 4. Let s be m(5). Is 2/3 smaller than s?
True
Let g be 306/30 + (-36)/30. Is -343 equal to g?
False
Let z(p) = 10*p + 2. Let h be z(1). Let t be 2*h/(-16)*2/3. Let v be t + (-1 - 17/(-7)). Which is smaller: 0 or v?
0
Let n(h) = -h**3 - 24*h**2 + 192*h - 67. Let i be n(-29). Which is smaller: i or -7143/5?
i
Suppose 2*y - 5*m - 1346 = 413, -2*m = -10. Is y at least 890?
True
Let g be (-618)/(-21) - (-9)/(-21). Suppose 4*n = -25 + g. Are n and -6/79 nonequal?
True
Let a = 63 - 60. Suppose 0 = h - a*h. Is 24 greater than h?
True
Let t be (-87)/705*-26*25/(-120). Let b = -1/564 - t. Is b bigger than 184?
False
Let t = -75.17 + -0.83. Let m = -16 + t. Let n = m + 85. Which is smaller: n or 3/4?
n
Suppose -5*k + 14*k - 54 = 0. Suppose -2*j - k = 2*h, 5*j + 14 = 3*j - 4*h. Which is smaller: 3/175 or j?
3/175
Let w(n) be the first derivative of n**3/3 - 4*n**2 + 6*n - 16. Let c be w(9). Are 14 and c unequal?
True
Let o = 803.0528 - 803. Let g = 0.2528 - o. Which is smaller: 0.081 or g?
0.081
Let u be 0 + -3 + (-104)/1 + 30 + -24. Which is greater: -100 or u?
-100
Let i = -15.057 + 5157.057. Which is greater: -2 or i?
i
Let r = -2587 - -20695/8. Let v be (-14)/54 - (-4)/12. Is r != v?
True
Let a be 1131/132 - 4/(-22). Let u = a - 331/36. Let z(l) = l**2 - 11*l + 11. Let o be z(10). Which is smaller: u or o?
u
Let f = 1/61 - 609/7381. Is f >= -1?
True
Let k be (-9)/(-15)*4*25/20. Suppose -2*d + 0*d = k*x + 69, -2*d + 3*x = 39. Is -22 at most as big as d?
False
Let j = -0.33987 - -1.91987. Which is bigger: -85 or j?
j
Suppose 49 - 48 = g + 3*h, -g = -h - 1. Do -5502 and g have the same value?
False
Let q be (-1 - -7) + 5041525/1360. Let h = 3713 - q. Is -1 < h?
True
Let u be (-1)/(-2) - 4/(-8). Let z = 0 - u. Let q = -326.61 + 327.11. Is z greater than or equal to q?
False
Let s = -1 + 0. Suppose 2*h = -h - y - 427, 4*h + 556 = -4*y. Is s bigger than h?
True
Let i = 26842/372633 - 59/669. Which is smaller: -1 or i?
-1
Let t = 12.038 - 9.038. Which is smaller: -630 or t?
-630
Suppose 119 = 2*c - 4*b - 211, 0 = 4*c - b - 667. Suppose -14*l + 13*l = 3*u + 192, 2*u = l + c. Which is greater: l or -176?
-176
Suppose 1294*k - 1333*k = -78. Which is smaller: k or 1.92?
1.92
Let h = -6.6 - -8. Let d be (0/(-7))/(-3 - 1). Suppose 20 = -20*s - d*s. Which is smaller: s or h?
s
Let t = -11506 - -11798. Which is bigger: 293 or t?
293
Suppose -909*g - 896*g + 39816 = -1791*g. Which is bigger: 2847 or g?
2847
Let n = 174 + -293. Let y = -111 - n. Which is greater: 0.3 or y?
y
Let a(p) = -9 - p**2 - 5 + 9*p - 8 + 12. Let b be a(9). Suppose 0 = 4*c + 54 - 14. Is b less than or equal to c?
True
Suppose 18*k - 9114 - 822 = 0. Is k > 553?
False
Let p = -8.148 + 10.148. Which is greater: -1601 or p?
p
Let q = -1073 - -1077. Are 27 and q unequal?
True
Suppose -24*u = -25*u - 8. Let p be (-2)/(-6)*8*54/u. Let i be 7/14 + (7/p - 1). Is i greater than 1?
False
Let s = -81603 - 16601. Let c = 1179121/12 + s. Let g = c - 56. Are g and 0 equal?
False
Let v = -5716 - -5716. Is 43/51 greater than or equal to v?
True
Let l = -6164 - -6446. Is 286 not equal to l?
True
Suppose -b + 4*d - 2 = 0, -3*b - d + 2 = -5*d. Suppose 0*g = g - 3*j - 70, 0 = -b*j - 6. Let z = -60 + g. Is 2/35 less than z?
True
Let y(i) = -206*i - 724. Let x be y(0). Which is bigger: -726 or x?
x
Let d = 853971/19998110 + -12/31345. Which is smaller: d or -1?
-1
Suppose -5*m = -0*m + 10. Suppose -2113 = -7*l + 799. Let y = 3739/9 - l. Which is smaller: y or m?
m
Let l be (-5)/2 - 271116/408. Are l and -667 equal?
True
Let l(w) = -68*w + 588. Let x be l(42). Which is smaller: -2267 or x?
x
Suppose 5*z = 0, -2*z = -3*m + 2*m + 55. Suppose -x - 3 = -v, -6*v + m = -v + 5*x. Is v <= -12?
False
Let v be (-104)/8 + 5/5 + 3. Let o be 1*(-4 - v - 48). Which is smaller: -300/7 or o?
o
Let f(y) be the first derivative of -y**2/2 - 8*y + 1. Let g be f(0). Let j = -420614 - -420606. Is j less than g?
False
Let b be (15/10)/((-12)/(-88)). Suppose -5*h - 4*l + 65 = 0, 5*h = 2*h + 5*l + 39. Is h greater than or equal to b?
True
Let s = 576/25 + -586/25. Is s at least as big as 0.992?
False
Let x(z) = -12*z + 137. Let b = -343 + 354. Let f be x(b). Let t be (4/10)/((-2)/(-21)). Does 