280 - t. Let i(u) = -u**2 - 11*u - 15. Let v be i(-12). Which is smaller: g or v?
v
Suppose 6*g = 83 - 83. Which is greater: g or -2/33?
g
Suppose 0 = 6*o - 210 - 270. Let h = o + -80. Which is smaller: h or 9/8?
h
Let s(z) = -80*z. Let b be s(1). Let k(d) = -d**2 - 111*d - 3150. Let p be k(-52). Which is smaller: b or p?
p
Let c = 0.5 + -0.6. Let w = 422.081 + -422. Is w bigger than c?
True
Let y be 2568/(-9)*(1 - (-268)/(-264)). Let l be 17/51 - 31/(-9). Let j = l - y. Which is smaller: j or -2?
-2
Suppose -2770 = -30*y + 8060. Is 360 at least y?
False
Let k be ((-9)/2)/3*-22. Let t = 40 - 35. Suppose -4*n + 181 = t*y, 0 = -4*y + n + 210 - 82. Is k <= y?
True
Let j(p) = -99 - 2*p - 162*p**2 + 23*p + 163*p**2 - 2*p. Let d be j(-25). Is d >= 52?
False
Suppose 0 = -z - 49*w + 45*w + 21, -7 = 3*z - 2*w. Is z < 9/302?
False
Let j = -7 + 3. Let t = j - -5. Let u(f) = 211*f - 1285. Let y be u(6). Which is smaller: t or y?
y
Suppose 3*y + 5 = 4*y. Suppose 0*s - 20 = y*s. Let u = 83 + -88. Is s less than or equal to u?
False
Suppose 7*m + 1 = 15. Let f = 40 + -73. Let g be (-3)/f - 2/(-2). Is m at least as big as g?
True
Let y(p) = 5*p - 18. Let q be y(10). Let f = q - -33. Suppose -5*a - f = 4*b, a = -0*a + 3*b - 13. Which is smaller: a or -1/5?
a
Let p = -22.2 - -22.002. Let f = p - -0.188. Is 0.04 < f?
False
Let j = -4563 - -5807. Are j and 1246 nonequal?
True
Let b = 7439 + -9232. Are -1794 and b equal?
False
Let z = 207.715 + -206.8. Let d = -11 - -11.085. Let s = d + z. Is s smaller than -32?
False
Let m = 275 + -226. Let d = m + 13. Is 62 equal to d?
True
Let y = -10996924/823 - -13362. Let q = 384649 + -384650. Which is greater: y or q?
y
Let x = 362 - 92. Let v = -390 + x. Let w = v - -119.9. Which is bigger: 2/7 or w?
2/7
Let v = 6905 - 3579. Which is smaller: 3327 or v?
v
Let p = -366 - -236. Let c = -140 - p. Is 5 greater than or equal to c?
True
Let f = 1467 + -708. Let j be f/(-66)*1*6. Which is smaller: -1 or j?
j
Let d = -1729.5 + 1734. Which is smaller: -19 or d?
-19
Let p(g) = -5*g**2 - 9*g - 4. Suppose -5*z = 2*r + 20, 4*z + 0*r - 2 = 2*r. Let i be p(z). Do 2/77 and i have different values?
True
Let o(v) = -v - 5. Let g be o(-8). Suppose 0 = -l - z - 26, -6*l = -g*l - z + 66. Do l and -112/5 have the same value?
False
Let n(s) be the first derivative of -109*s**4/4 + 2*s**2 + 5*s + 2. Let k be n(-1). Let g = 111 - k. Is g equal to 1/25?
False
Let q be 33*(4 - -70*(-616)/10776). Which is smaller: 0 or q?
q
Let c = -1481 - -1481. Is c not equal to 2697?
True
Let v = 0 - -3. Let d = -0.194 + -1.426. Let n = d - -1.52. Are n and v non-equal?
True
Suppose 3*y - 4 - 8 = 0. Let j be y/13*2/(-8). Suppose -11*b - 1590 + 1601 = 0. Is b greater than j?
True
Let t be 1781757/(-486) + 10/(-12). Which is smaller: 2/3 or t?
t
Let b be (-4510)/(-8) + 18/(-24). Let h = -5188 + 5752. Which is smaller: h or b?
b
Let d be (2/(-1) - -74) + -1. Let r be ((-4)/(-8))/((-2)/184). Let i = r + d. Is i greater than or equal to 1/2?
True
Let m(u) = -u**3 + 14*u**2 - u + 19. Let a be 12 - (2 - 4) - 0/(-6). Let h be m(a). Suppose -15 = h*t, -g + t + 3*t + 67 = 0. Which is bigger: g or 56?
56
Let i = -84714/23 + 677545309/183954. Let o = i - 4/129. Is o >= 0?
False
Let c = -240 - -252. Let x = -12 + c. Suppose -3*w = 3*o, -2*w = o - 1 - 1. Which is greater: w or x?
w
Let u = 152.3 - 250.6. Let i = u - -99. Which is bigger: i or -21?
i
Let m be (-44)/99 + 10816/24498. Is 0 <= m?
False
Let v = 12 + -10. Suppose 3*y + 3*g - v*g = -17, -41 = 4*y + 5*g. Let r be (21/9)/(y/6)*-2. Is 9 bigger than r?
True
Suppose 3*q = -3*j - 51, -3*j + 4*j - 43 = 4*q. Let d be 40/q*(-3)/(-1). Let c = d + 24. Are c and 14 equal?
True
Suppose 25*a + 4*s + 146 = 23*a, -a - s - 72 = 0. Is -56 at most a?
False
Let u be (-66)/95 - (-18)/(-171). Let w = -2.4 + -8.6. Let p = w + 10.7. Which is bigger: p or u?
p
Let k = -476.9828 + 477. Let a = 28.0172 - k. Is a at most as big as -5?
False
Let q = 218.4 - -19.6. Let h = q + -238.2. Let k = -0.3 + -7.7. Which is smaller: k or h?
k
Let j be (2 - -8) + 6/2 + -7. Let w be j/(-60)*10*(-2)/8. Is w at least as big as 3/7?
False
Suppose 7 = -10*m + 57. Suppose -210 = -m*k - 5*o, 5*k - 3*k - 3*o - 59 = 0. Suppose -5*r + 282 = 97. Does r = k?
True
Suppose -4*l - z = 2*z - 6362, 6360 = 4*l + 2*z. Let n = -6253/4 + l. Let o = n - 26. Is o <= 1?
True
Let v = -331/120 - -21/8. Let z = -0.072 - 1.228. Let r = 8.3 + z. Is v greater than or equal to r?
False
Let v = 0.05 - -0.35. Let s = v - 0.3. Let p = 2643 - 10577/4. Which is smaller: s or p?
p
Let x = 244/9159 + 10957087/4359684. Let d = x - 45/17. Which is bigger: 0 or d?
0
Let f(q) = -2*q**3 - 6*q**2 + 7*q. Let x be f(-5). Let z be 1960/x - (-7)/((-455)/10). Which is smaller: 0.1 or z?
0.1
Let r be 2*42 - (-4 + 3)*4. Let t = 90 - r. Suppose -s + 3*w + t = -11, 2*w + 46 = 3*s. Are 19 and s nonequal?
True
Let j = -6746 - -6748. Which is smaller: j or 172/71?
j
Let d = -12861 + 12838. Which is bigger: 38 or d?
38
Let y = 0.7 + 0. Let k be ((10/8)/(-5))/((-6)/24). Let r be k/(-4) - 21/(-42). Are y and r nonequal?
True
Let h be (519/(-12))/((-246)/(-5176)). Let y = h - -910. Which is bigger: 0 or y?
0
Let b be -4*(6/12)/(4/2). Is -2/629 < b?
False
Suppose -4*a + 4*x = 6*x - 330, 405 = 5*a + 5*x. Let r be -4 + ((-160)/a - -6). Are r and -1 equal?
False
Let x be (-75 + -3 + (3 - -1))*2/(-4). Is 806/21 greater than x?
True
Let q = -47160 + 4574595/97. Which is smaller: 1 or q?
q
Let l be -52*(-8)/(33 + -1). Let b = -3 - l. Which is bigger: b or -31/2?
-31/2
Let d = 14319/29 + -985748627/1996418. Which is smaller: 1 or d?
d
Let h = 127 - 123. Suppose h*z - 34 = 2*f, 2*f = 2*z - 11 - 3. Which is greater: 8 or z?
z
Let d = 0.2 - -0.1. Let x = -168.5 - -171. Which is greater: x or d?
x
Let i(q) = -144*q**3 - 2*q**2 + 2 + 4*q**2 - 1 + 143*q**3 + 3*q. Let d be i(3). Is 3/119 bigger than d?
False
Let h be 21/(-10)*(-238)/204. Which is smaller: 1 or h?
1
Let u = 85 - 85. Suppose j + 7 = z, -5*j - 26 = -u*j + 4*z. Let r = 6 + -12. Is j less than r?
False
Let a(y) = 2*y**2 + 11*y + 15. Let f be a(-7). Suppose 5*k = -5*b + 153 + 37, 2*b - 2*k = 84. Let u = b - f. Which is smaller: u or 6?
u
Suppose u + 0*y - 3 = -y, 1 = y. Suppose u*r + 5*b + 10 = -0*b, -3*r + 3*b = -6. Which is smaller: r or -2/13?
-2/13
Let c = 0.3514 - -4.6486. Which is bigger: 2/287 or c?
c
Let a = -189 - -188.848. Let k = -0.152 - a. Is k >= 15?
False
Let k(w) = -35*w - 32. Let x be k(5). Let p = x - -218. Which is bigger: -2 or p?
p
Let s = 4751 + -5675. Which is smaller: s or -2/3?
s
Let s = 9328.3 + -9326.3. Let j = 61 - 129. Is j < s?
True
Let q be 1 - (5 - (-3 - 305)). Let w be ((-1)/3)/(28/q). Is w bigger than 3?
True
Let y be (-64)/570*50*(-3)/12. Let z = y + -1727/1596. Let r = 25/84 - z. Is -1 less than or equal to r?
True
Suppose 3*z + g + 1138 = 0, -5*z - 2382 = 3*g - 480. Is -376 less than z?
False
Let u = -2643181/339 - -7797. Which is bigger: -5 or u?
u
Let q(h) = 2*h**3 - 24*h**2 - 12*h - 45. Let a be q(20). Let l = a + -1742773/285. Which is bigger: l or 0.1?
0.1
Let q = -37.1 + 6.5. Let r = q - -26.6. Is r at most -2/19?
True
Suppose -58 - 3192 = -26*p + 11596. Which is bigger: 545 or p?
p
Let b be 27/15 + -2 - (-123)/615. Let y be (-81)/105 + -2 - 0. Let j = -18/7 - y. Which is smaller: b or j?
b
Let n = -8283 - -19696973/2378. Is 1 less than n?
False
Let s be (1240/204)/2 + 38/(1102/(-87)). Let i = 15/44 - 1/11. Is s greater than i?
False
Suppose -2*c + 42 = 11*u, -33 = 5*c - 5*u - 8. Which is greater: -20/89 or c?
-20/89
Let c = -1544/9 - -818/9. Are c and -3 unequal?
True
Let j be (-6)/(-4)*(-19)/((-228)/88). Are 24 and j non-equal?
True
Let t = -363 - -363. Let l be (-1*9)/(63/6). Is l bigger than t?
False
Suppose -n = 12*n + 117. Let l(w) = -w**3 - 17*w**2 - 2*w - 28. Let u be l(-17). Let q be ((-69)/n - 5)*u. Which is smaller: q or 14?
14
Suppose -4 = 3*a - 1. Let h be ((-33)/(-231))/((-191)/(-7)). Do a and h have the same value?
False
Suppose -74 = 3*d + 199. Let s = -10.653 + 11.653. Which is smaller: s or d?
d
Let i = 0.4 + -12.4. Let v = i + 7. Suppose b + 5 = -w, -w - 2 = -1. Is b > v?
True
Let x be 2/9 - (-735)/(-27). Let c = 419 + -372. Suppose 139 = -p - 4*p + j, p - 5*j = -c. Is p at most as big as x?
True
Let s = 