t l = -2 - v. Let z be -1*2 + -7 + 151430/17534. Which is smaller: z or l?
z
Let n(i) = -2*i**2 + 77*i + 45. Let g be n(37). Let j be 1/(-2) - (1 - 558/g). Is -1 at least j?
False
Let m be (-2)/(-3) + (-559)/(-39). Let k be ((-2)/(-2))/(1/(m + -2)). Let l = 9 + -8.7. Is k at most as big as l?
False
Let j = -2/1209 - 27799/4836. Let k = 1284 - 1289. Is k greater than j?
True
Let r = -173 + 120. Let l = -52.8 - r. Which is smaller: -2/17 or l?
-2/17
Let l(a) = a**2 + 2*a - 4. Let x be l(-4). Suppose 2*o = o + 2*h + 76, -3*h - 380 = -5*o. Let d = -75 + o. Is d bigger than x?
False
Let x(h) = 2*h**2 + 18*h + 5. Let v be x(-11). Suppose -7*z - 35 = v. Which is greater: z or -19?
z
Let r = 4.57 - 4.77. Is -69/8 at most as big as r?
True
Let p(v) = -3*v**2 - 25*v - 9. Suppose 5*w - 7*w = 2*g + 32, 30 = -2*w - g. Let a = -22 - w. Let m be p(a). Is 1/26 > m?
True
Let i be (3780/(-732312))/((-3)/4). Is -1 at most as big as i?
True
Let m be (177/(-9))/(2/(-6)). Suppose a - 4*a - 119 = -2*g, 0 = -5*g + 5*a + 295. Suppose 38*r + g = 39*r. Does m = r?
False
Suppose -l + 25 = 3*t + 20, -9 = -l + t. Which is smaller: 379/55 or l?
379/55
Suppose -7*u + 10*u - 354 = 0. Let h = -868 + u. Let j be (-3)/(h/(-155) + -5). Is j at least 20?
False
Let k = 149 - 165. Let d be (17817/39 - 2) + k/(-104). Which is smaller: d or 454?
454
Let j = 0.054 + 0.186. Let y = -0.04 + j. Let k = -96 - -88. Is k less than or equal to y?
True
Let y(o) = -126*o - 1073. Let w be y(-8). Is w >= -830/13?
False
Let x(y) = -y**2 - 10*y + 27. Let b be (-35)/(-14)*12/10. Suppose 23 = -b*s - 13. Let f be x(s). Which is smaller: 6 or f?
f
Let d(w) be the first derivative of 55*w**2/2 + 2*w + 15. Let z be d(1). Let h be 11/11*(-1 - (-58 - 0)). Do z and h have different values?
False
Let i(t) = t**3 - 8*t**2 + 69*t - 253. Let s be i(5). Which is smaller: 343/22 or s?
343/22
Let q = -1526 - -371. Let g be (-6)/4*3/q. Let n = g - 443/34650. Which is smaller: n or 1?
n
Let x = -120 - -118.75. Let a = 1.25 + x. Is 21 equal to a?
False
Let o = 349/3 - 118. Let n = -129 + 45. Let x = n - -84.2. Is o less than or equal to x?
True
Let y = 9777 - 557254/57. Let m = y - -1/19. Let b be (-6)/(-9)*-21 + -1. Is b smaller than m?
True
Let u(x) = x**2 + 13*x - 3. Let g be u(-4). Let i(k) = -27*k - 37. Let b be i(-12). Suppose -6*z = z + b. Is z less than g?
True
Let z be (10 + -7)*-7*(-1)/3. Let d be z/11*72/(-112)*-4. Is d > 0.1?
True
Let u be -20*363/165*(-2 + 3091/1546). Is u > 1?
False
Let o be (3*30/(-27))/(10*1/30). Which is smaller: -494/49 or o?
-494/49
Suppose 3*y + 5*z = -5, -18 = -7*y + 5*y + 2*z. Let j be y - 0 - 1 - (-4 - -9). Let q be 1*(-1)/(-3)*-2. Which is smaller: j or q?
j
Let j be -15*3/36*(-96)/120. Which is bigger: j or 3668?
3668
Suppose 176*c + 770534 = -112106. Which is smaller: -10027/2 or c?
c
Let r(a) = 23*a. Let c be r(2). Let j = -62029/7 + 8907. Let b = j - c. Is b > 2?
False
Let b be ((-5)/10)/(25/(-7900)). Is 154 > b?
False
Let l = 161 + -166. Let t be (525/(-125))/(2/l) + -2. Are 9 and t non-equal?
True
Let j be (-1 + 85/25)*(44 + 196). Is 575 > j?
False
Let y = -37 + 56. Let h = 26 - y. Is 11 at most as big as h?
False
Let g = -3 - 2. Let t = 23776.05 - 23776. Is g < t?
True
Let v be 0 - 12/15 - (-347618)/11635. Is 3 not equal to v?
True
Let r = 21.2 - -63.8. Let f = r + -61. Let n = 17.2 - f. Which is greater: n or 0?
0
Suppose 2*b = 3*k - 0*k + 51, 0 = -2*k + 4*b - 42. Let u = 16 + k. Suppose -4*q - n - 5 = 0, 3*n - u + 4 = 0. Is -3/4 <= q?
False
Let z = -429/356 + -1605405/2492. Which is bigger: -646 or z?
z
Let r be (-226)/(-1) + (7 - 35/7). Let c = 247 - r. Let q be 1/4 - (-237)/12. Which is bigger: c or q?
q
Let g = -1458.6 - -1330. Let j = 140 + g. Let p = j + 49.6. Which is bigger: p or -0.1?
p
Let b(i) be the first derivative of i**4/4 - 2*i**3/3 - 5*i**2 - 16*i + 109. Let a be b(-4). Which is bigger: a or 0.1?
0.1
Suppose 17*c = -22*c + 2*c + 192252. Which is smaller: c or 5197?
c
Let j be -7 - 1692/(-297) - -1. Is j less than or equal to 1?
True
Let f(u) = -u - 6. Let q be f(-6). Let y = -4784 + 1200782/251. Let n = y + 1767/1255. Is n less than or equal to q?
False
Let y(u) = u**3 + 7*u**2 - 25*u - 185. Let l = 554 - 560. Let p be y(l). Which is bigger: -1/6 or p?
p
Suppose -3*g + 2*r + 6 = 10, -3*g + 3*r = 6. Suppose v + 10 = 5*b, g = -4*b - v - v + 8. Suppose -3*w - 3*l = -15, 6*w - 3*l = b*w - 8. Are w and -11 nonequal?
True
Let d(r) = 9*r - 23. Let j = 138 - 115. Let a = -19 + j. Let s be d(a). Does 12 = s?
False
Let r = 8.3 - -50.1. Let d = -42 + 41.9. Is d bigger than r?
False
Let y = -2590 - -67349/26. Let h be ((-6)/(-3) - 49/21)/(2/(-6)). Is h less than y?
False
Let i = 889 + -1790. Is -2/3 greater than i?
True
Let h be (-20)/32*(2/(-8) + 109461/(-372)). Which is smaller: h or 183?
183
Let g be (-119*(-5)/(-30))/(((-68)/8)/(-17)). Do g and -9 have different values?
True
Suppose 0 = -w + 150 + 34. Suppose -i - j - w = 0, -3*i - i + 3*j - 722 = 0. Is -181 not equal to i?
True
Suppose -4*m = 2*b - 1124 + 6686, 0 = 3*m - 3*b + 4194. Let h be m/1308 + (-11)/(-4) + -3. Let g = h - 2/109. Are -1 and g unequal?
True
Let c be (9/(-6))/(600/920). Which is smaller: -2 or c?
c
Suppose -148*a = -119*a - 1189. Which is smaller: a or 24?
24
Suppose 9*y - 4*y = 5*u + 55, u = -5*y + 13. Suppose f + 9*f = -10. Let d be 35/(-7)*(f + 2). Is u smaller than d?
True
Let s be (-9)/31*68574/36 - -3. Suppose -2*u = -4*i - 1100, 3*i = -5*u + 2*i + 2750. Let b = s + u. Which is smaller: -1 or b?
-1
Let g = -3745/4 - -936. Suppose 2*j + 409 = -5*a, -179 = 2*j + a + 242. Which is smaller: j or g?
j
Let n be 55/66 + -6 - 2/(6/(-15)). Suppose -3*w = -7*w - 12. Let k be 2/3 + (-1)/w. Is n less than or equal to k?
True
Let f be ((-1)/(-14))/((-7 + (-1458)/(-210))/(-1)). Is 72 less than or equal to f?
False
Let l be 4/6 - (-8)/(-10). Let n = -92622 + 92598. Is l less than n?
False
Let c be 2*(-4)/(24/(-75)). Suppose 529*f - 531*f = 2*a - 58, 0 = 5*f - 15. Do a and c have the same value?
False
Let a be -12*(551/(-57) - -20). Which is bigger: -376/3 or a?
a
Let m be 401 - 0 - (-177 + 182). Is 394 at most as big as m?
True
Let a = -101.0364 + 101.1. Let d = 0.3636 - a. Which is bigger: d or -0.056?
d
Let q(z) be the second derivative of -3*z**5/20 - z**4/4 + 5*z**3/6 - 29*z**2/2 + 139*z - 1. Let m be q(-6). Do m and 482 have different values?
True
Let a = -311517/40 - -7787. Which is smaller: -1 or a?
-1
Let f = -1.0889 + 0.4889. Is -0.0593 >= f?
True
Suppose -8280 = 2*q - 8764. Is q < 247?
True
Suppose -67*a = 205*a - 272. Is a less than -5/1916?
False
Let x = -146.51 + 147. Let y = x - -0.03. Are 0.1 and y equal?
False
Suppose -39*x + 14*x = 15*x. Let a = 14400 + -8193598/569. Is x equal to a?
False
Let r be (-72)/(-216) - (-37)/(-3). Let c = -14 - r. Let a be (-4)/5*(-20)/(-12). Is a greater than c?
True
Let r(p) be the third derivative of -1/12*p**4 + 0*p - 1/3*p**3 + 0 + 8*p**2. Let q be r(1). Which is bigger: 0 or q?
0
Suppose j + 428 = 3*r, -430*r + 428*r = -j - 430. Is -432 greater than or equal to j?
True
Suppose 2*w + 99 = -3*v, 486*w - 491*w = 0. Are -110 and v unequal?
True
Let i(t) = t**3 + 7*t**2 - 4*t + 20. Let m be i(5). Let r = m + -276. Let j = 34 + -9. Which is bigger: j or r?
j
Let b = -4.49 - -7.49. Which is smaller: -762 or b?
-762
Let x be (-49)/7*174/(-638). Which is smaller: 2 or x?
x
Suppose -7*j + 120 = j. Suppose -4*s + s + 186 = 4*y, 0 = -5*y + j. Let o = s + -67. Is o < -11?
False
Suppose 156*p - 66*p + 54*p = 0. Which is smaller: -37/141 or p?
-37/141
Let a = -1.7727 + 0.9504. Let v = a + -0.1777. Let b = 75.091 + -75. Which is smaller: v or b?
v
Let g be ((-2)/3)/(2/(-3)). Let k = 61614 + -61600. Which is smaller: g or k?
g
Suppose 0*w = 3*w - j + 347, 2*j + 2 = 0. Let s = w - -162. Let c = 1 - -45. Is c > s?
False
Let c be (2/(-4))/(3/(-48)). Suppose -b + 56 = 3*b. Let q be ((2 + 0)/(-1))/(b/(-49)). Is c >= q?
True
Let a = -1412 - -1451. Which is smaller: 27 or a?
27
Let w = -16709 - -16759.082. Let g = -0.082 + w. Let i = g - 49.9. Which is greater: 24 or i?
24
Let m be (-5)/70*84/553. Is m less than 0?
True
Let c be -3 - ((-48216)/35)/6. Let f = c + -227. Which is bigger: f or 15/8?
15/8
Let m = 9628 - 9604. Suppose -120 = -3*a - 45. Which is bigger: m 