 Let g = x + k. Which is smaller: -2/95 or g?
g
Let d(b) = -66*b**2 - 76*b - 152. Let r be d(-2). Is -258 at least r?
True
Let l = -37 + 41. Suppose 2*a + 7 = 9*a. Suppose 0 = -r - a - l. Is r > -6?
True
Let r be -3*4/(-18)*13365/(-594). Let k = -14 + 20. Which is smaller: r or k?
r
Let y be (7/14)/((-7)/(-132)). Suppose 0 = -4*l + w + 31, -3*w = 3*l + 32 - 74. Do l and y have different values?
True
Let w = -1933/5 + 387. Let u be 6/(-4)*36/(-54). Suppose j + 2 = -u. Which is smaller: j or w?
j
Let f = -10887 + 10888. Is f greater than -6/5111?
True
Suppose 17*g = 12*g + 7435. Is g at most 1485?
False
Let l(j) = -j**3 - 13*j**2 + 28*j + 1. Let d(n) = -n**3 - 12*n**2 + 26*n + 2. Let w(o) = -5*d(o) + 4*l(o). Let g be w(-12). Which is smaller: g or -365?
g
Let c be 5028/323 + ((-5889)/663 - -9). Is c at most 15?
False
Let i be (-182)/1131*(-18)/42. Suppose 3*u = -u + 5*r + 37, 3*u = -2*r - 1. Which is greater: i or u?
u
Let j(w) = -w**3 + 31*w**2 + 29*w + 100. Let t be j(32). Suppose t*s = -22*s - 1196. Is -49 <= s?
True
Suppose 8 = -375*u + 377*u. Suppose -5*l + 143 = -u*l - 5*k, 3*l - 446 = -2*k. Is l less than or equal to 148?
True
Let l(o) = -o. Let g be l(-1). Suppose 10*v - 398 = 362. Let h = v + -74. Is g at most h?
True
Let k = -60 + -73. Let u = 155 + k. Let n be (1/(-3))/((-231)/u). Is n smaller than 0?
False
Let r be 8/(-14)*(-159)/(-318). Which is greater: -9 or r?
r
Suppose -3*o = -p + 20, 127*o - 125*o + 13 = p. Is p >= 3/2261?
False
Let d = 802979/445050 + 1/9675. Are d and 3 equal?
False
Let a = -13471 - -13472. Which is smaller: -25/241 or a?
-25/241
Let y(m) = -5*m + 3*m**2 + 14*m - 3 - 6*m + m**2. Let t be y(1). Suppose -5*k - 2 = -2*w, -t*k = -4*w + 6 - 14. Is k not equal to -5?
True
Suppose -3*g + 18 = q, -9*q + 6*q = -4*g + 24. Let p = 71 - g. Suppose 332 = 5*b - 2*i + i, -i = 5*b - 328. Is p at most as big as b?
True
Let u(n) = n**3 + 2*n**2 + 2*n - 365. Let w = -76 - -76. Let v be u(w). Let g be 4 + 0 + v/90. Which is smaller: g or 0?
g
Let d = 12996 + -9045. Which is smaller: d or 3952?
d
Suppose 2*z + 9858 = -l + 2756, z + 6 = 0. Which is smaller: -1 or l?
l
Let d be (4*(-20)/(-48))/((-35)/21). Let y = -3264952/407 - -8022. Does d = y?
False
Suppose 3*b + 25 = 2*q, -11 - 4 = 5*b. Suppose -625 + 617 = -q*x. Is 5/103 at least x?
False
Let g = -114 - -199. Let t = g + -48. Let f = -22 + t. Is f less than -0.3?
False
Suppose m + 3*m - 52 = 0. Suppose -4*l + 37 = 5*c, 2*c + 2*l = l + m. Suppose c*b + 37 + 43 = 0. Do -14 and b have the same value?
False
Let y be (-24865)/(-90)*21/(-917). Let k = y - -21/131. Is k at least -6?
False
Let t be 144/(-15) - -10 - 496/10. Let w be (-1 + (-10)/(-6))*882/(-12). Is w greater than or equal to t?
True
Let t(n) = 68*n - 23. Let b(z) = 1. Let u(o) = -5*b(o) - t(o). Let g be u(-3). Which is smaller: 223 or g?
g
Let i be ((-102)/(-5))/(30/100). Suppose 4*d + 89 = -3*h, i = -2*h - 4*d + 6. Which is smaller: -7 or h?
h
Suppose -2*h - 3*m - 26 = -m, 0 = -3*h - 4*m - 44. Let w = 4.9838 + -10.087. Let q = w - -0.1032. Which is smaller: q or h?
h
Suppose -13*h + 22707 = -2*b - 8*h, 56820 = -5*b - 5*h. Is b at least -11362?
True
Let b be ((-16)/10)/((-9)/45). Let k be (b/(-60))/((-1)/3). Suppose -33*c + 69*c + 36 = 0. Which is bigger: k or c?
k
Let r = 27189 - 27162. Which is smaller: 6 or r?
6
Let t be (-254)/777 - 10/35. Let x = 2/37 - t. Which is smaller: x or 83?
x
Let d be ((-291)/485)/(3/5). Suppose -5*n + j + 1339 + 1583 = 0, 0 = -n - 3*j + 594. Let u be ((-6)/n)/(8/(-10)). Is u at most as big as d?
False
Let q = -142 + 133. Let n = q + 19. Which is bigger: n or -0.2?
n
Let f = -25525650743079462/955 - -26728425979677. Let v = f + 4117788. Let k = v - -1/191. Are -21 and k nonequal?
True
Let d(v) = -v**2 + 13*v + 668 + v**2 - v**2 - 638. Let z be d(15). Which is greater: z or -3/23?
z
Suppose 2*b + 12*b = -98. Let j be 4/b - (-2388)/4032. Let t be (2/(-8))/((-26)/(-8) - 3). Is j > t?
True
Let g = 0.531 + 47.669. Let n = 41 - g. Let o = -5.2 - n. Is 3 smaller than o?
False
Let p = 0.1136 + -7.6136. Which is smaller: 11 or p?
p
Let g(z) = 43*z - 4. Let k be g(3). Suppose 56*b + 63*b - 11600 = 19*b. Let x = b - k. Is -2 less than x?
False
Let j be ((104/12)/((-14)/18))/(2272/(-1988)). Suppose -3*v - 50 = v + 3*f, f - 20 = 2*v. Let t = v + 21. Which is smaller: t or j?
j
Suppose 170 = -4*z - 2*i + i, -4*i + 180 = -4*z. Let b = z - -303/7. Let d = -1437 - -7189/5. Which is greater: d or b?
d
Suppose -4*d = 4*q - 8, -3*d + 30 - 12 = -3*q. Let m be (q/(-14))/(104/(-91)). Which is greater: -11 or m?
m
Let x = 11627 - 11604. Is -32 not equal to x?
True
Let o be (-306)/3*1/(-3)*-2. Let k = 199 + -142. Let u = o + k. Is -10 smaller than u?
False
Let r = 135 + -151. Let c be 9/36*r/30. Is -1/2 greater than c?
False
Let t = 40 + 296. Suppose -t = 11*g - 27*g. Suppose -2*l + g = -23. Which is greater: 20 or l?
l
Let x(p) = 2*p**3 + 13*p**2 + 15*p + 31. Let l be x(-8). Let r = -266 - l. Let z(d) = -d**3 + 9*d**2 + 12. Let t be z(9). Which is bigger: t or r?
r
Let y be -11*238/(-187) - 5. Which is bigger: y or 116/15?
y
Let j be (-10152)/66 - (-20)/22*29/(-145). Which is greater: -145 or j?
-145
Let i be (2 - -3 - 87)*(304/(-44) - -8). Is -90 bigger than i?
False
Let v be ((-5)/(-2) - 0)*2. Suppose y = -3*y + 5*o - 16, -v*y + 2*o = 3. Let i = 74626 + -1119386/15. Which is greater: i or y?
y
Let p be (42/1467)/((3818/2)/(-1)). Let u = 834863441/158695170 + p. Let r = u - 90/17. Which is smaller: r or 1?
r
Let v = -1.8464 - -6.8464. Is v at most 1/495?
False
Let l = -2 + 5. Suppose 2*j - j - 14 = 4*h, 24 = -4*j - 4*h. Let w = l + j. Are w and 2/17 unequal?
True
Let z(a) = 32*a - 30. Suppose -59*t + 6 = -56*t. Let q be z(t). Which is smaller: 100/3 or q?
100/3
Let f = -125009/11 + 11336. Is 2 greater than f?
True
Let s = -3.48 - -2.88. Which is bigger: s or 20?
20
Let m be ((-5024)/(-30))/(3/(-15)) + -7. Is m at most -843?
True
Suppose -47*i + p = -44*i + 616, -227 = i + 4*p. Let g = i - -347. Is g not equal to 140?
False
Let i be 13/(-3) + 2/6. Suppose -4*z + 72 = 4*u, 2*u + 4*z + 24 = 4*u. Suppose 8*r = 10*r + 5*d - 17, -r - 4*d + u = 0. Is r equal to i?
True
Let f = 0.98 - 2.58. Let p = -0.28 - -6.88. Let x = p + f. Is -1 bigger than x?
False
Suppose 219*b - 207*b = -46596. Let u = -19308/5 - b. Which is smaller: 21 or u?
21
Let z = 56498/5 - 11181. Is 1 not equal to z?
True
Let r = 21.3777 + -2.3777. Which is smaller: r or -211?
-211
Let u be (-192)/120 + (-40)/(-25) + 0 + 0. Which is smaller: 2/15405 or u?
u
Let r be (702/216)/(-2 + (-135)/(-68)). Which is bigger: 2 or r?
2
Let m(o) = o. Let z be m(-2). Let p = 100 + -96. Suppose 3*w + p*y - 5 = 0, -38*w = -42*w - 4*y. Is w bigger than z?
False
Let s(n) = -3*n**3 + 6*n**2 - 2*n - 21. Let o be s(-4). Let p = -2199/119 - -314792/1071. Let i = o - p. Which is smaller: -1 or i?
-1
Let p be (-2 + 22 + -8)/((-2)/5). Which is smaller: -239/8 or p?
p
Let p = 33391173/512 + -65217. Which is greater: 1 or p?
1
Let c be 174/4 - (-2)/4. Let o = -40 + c. Let a be -33*(0 + 4)/o. Which is smaller: a or -35?
-35
Let x(z) = z**2 + 12*z + 35. Let t be x(-7). Let a(c) = -c + 11. Let m(k) = k - 6. Let g(l) = 2*a(l) + 5*m(l). Let r be g(4). Which is smaller: t or r?
t
Let c be 17 + 22/(-2) + (-28)/4. Is c < -3/52?
True
Let w = 216.9698 + 0.0302. Let n = w - 217. Is n less than or equal to 36?
True
Suppose 25*r = 16*r + 27. Suppose -5*d - 3*n = 6, r*n + 0*n + 6 = 5*d. Does 1/193 = d?
False
Let c be (-32)/(-10) + 2/(-10). Let d be ((-4)/(-14))/(10/6*(-102)/(-2465)). Which is bigger: d or c?
d
Suppose 0*g = -6*g. Let j = -1759 - -365873/208. Which is smaller: j or g?
g
Let b(w) = w**2 - 9*w + 23. Let q be b(6). Let p be 546/(-35) - q - 4/10. Is p greater than 0?
False
Let d = -810 + 901. Which is smaller: d or 0?
0
Let t(m) = m**2 - 24*m + 96. Let p be t(39). Let s = -639 + p. Is s > 42?
False
Let i = -35.3 - -25.17. Let w = 10 + i. Let s be (-28)/(-140) + 1/45. Which is greater: s or w?
s
Let y = -9 - -14. Suppose 8*k = -5*s + y*k - 10, 4*k = 2*s - 22. Is 2/153 bigger than s?
False
Let r(a) = -3*a**3 - a**2 - a - 5. Let c be r(-3). Let j be c/132 + (-2)/12. Let y(p) = p**3 - 2*p**2 + p. Let g be y(1). Is g > j?
False
Let t be 0 + 12/28 + 190/(-35). Let d be ((-12)/15)/(422