se 8*o + 805 + 851 = 0. Is o < j?
True
Let m be (4 + -1 - -4)*-1. Let u be (-850)/225 - 2/9. Is u less than m?
False
Let m = -53 - -75. Suppose 0 = -5*o - 2*w - 2*w - 192, -2*o - w - 78 = 0. Let v = o + 161/4. Are m and v nonequal?
True
Let x = 64.96 - -64.24. Is x greater than -2/5?
True
Suppose 6*y - 26 = -2. Let z be (y/(-40))/(251/2239). Let a = z + -2/251. Which is greater: 1/4 or a?
1/4
Let o = -8.66 + 28.66. Suppose 3*z - 10*z + 14 = 0. Is o != z?
True
Let b = -460 + 537. Let f be 1507/b - 4 - (-3)/7. Which is greater: 15 or f?
f
Let k = -75 - -74.824. Let z = k + 0.376. Is z <= 21?
True
Let q = 712 + -670. Let o be (9/(-6))/(q/(-448)). Which is smaller: -13 or o?
-13
Let p be (-45)/(-36) + 2/(-2). Let i = 82 + -83. Let s be (-1 - i) + 120/(-32) + 3. Which is greater: p or s?
p
Let j be (((-144)/(-15))/3)/((-81)/27540). Are j and -1089 equal?
False
Suppose 0 = -3*z - 5*j + 26, 3 - 9 = -5*z + j. Suppose -17*m + z = -15*m. Which is smaller: 2/169 or m?
2/169
Let x = -40209 + 40209. Which is smaller: x or -5/526?
-5/526
Let a be -1 - (((-48)/(-4))/4 + (-17300)/(-10)). Is -1734 > a?
False
Suppose 0 = 17*c - 2*c - 585. Suppose -5*x = -164 - 26. Is c not equal to x?
True
Let k = 33 - 39. Let z be 2 + (-15)/k + (-1)/(-2). Suppose -16 = 4*a - 5*g, 22 = z*g + 2. Which is greater: 1/33 or a?
a
Let d = 0.0482 + 0.0182. Let q = d + -0.0364. Which is greater: -15 or q?
q
Suppose 7*g = 4*g - 252. Let r = -22 - g. Suppose r*p + 16 = 66*p. Which is smaller: 19 or p?
p
Let r = -7.6 - 29.4. Let z = 31.602 + 5.318. Let b = z + r. Which is greater: 1/3 or b?
1/3
Let b = 18356 - 2092543/114. Let v be ((-2)/(-2))/(76/36). Let m = b + v. Are m and 0 equal?
False
Let n = 723.2 + -723.3. Is 737 at most n?
False
Suppose 2*j - 83 = -3*j + 3*y, 5*y + 5 = 0. Let v be j/104 - (-74)/26. Suppose -5 = l, 3*t + v*l + 17 = 5*t. Is 2/121 less than or equal to t?
True
Let z(d) = -15*d**2 + 4*d - 51. Let f be z(15). Which is greater: f or -3365?
-3365
Let p = -5158 - -5145. Is p bigger than -9?
False
Let b be -2 + (-4)/(3 - -1). Let d(z) = 3*z - 41. Let u be d(13). Let c be (-3)/(-2)*(16/(-4) - u). Do c and b have different values?
False
Let d = 10 + -72/7. Suppose 4*i = -v - 49, 22 = -i + 3*v - 0*v. Which is bigger: i or d?
d
Let d(m) = 29*m - 34. Let y be d(1). Let u be y/(-3) + (-544)/1824 - -2. Does u = 4?
False
Suppose -4*t = -t - 4*v - 20, -2*t - 5*v = 25. Let f(o) = -4*o**2 - o + 16. Let u be f(t). Which is smaller: u or 22?
u
Let n = -6623 - -6465.05. Let h = n - -158. Which is greater: h or -2/5?
h
Suppose -3*x - 3*q + 59 = -43, 2*x = -q + 64. Let s be ((-4735)/2)/((-85)/x). Let h = -835 + s. Which is bigger: 2 or h?
2
Let r(i) = -i**2 - 16*i - 46 - 22 + 68. Let u be 6*((-5)/3 - 1). Let v be r(u). Is -2/165 greater than or equal to v?
False
Let f(a) = 5*a**2 - 55*a - 5. Let j be f(11). Let u be ((-11)/(-44))/(j/(-20)). Are -1/177 and u nonequal?
True
Let k be ((-20)/(-21))/(5 + (-424)/(-72)). Do 0 and k have the same value?
False
Suppose 0 = 3*l + 5*q - 154, l + 17 = q + 63. Let d be (2 + -2)*24/l. Which is greater: d or 1/280?
1/280
Let f = 5253/2 - 2840. Is -215 > f?
False
Let b(k) = k**2 - 5*k + 1. Let z be b(5). Let y = -18598.18 + 18598. Which is smaller: z or y?
y
Suppose 11*n + 51 = 40. Let v be 1096/1810 + (-24)/40. Is v less than or equal to n?
False
Let u = 50382/23 + -151148/69. Let a(x) = -x - 2. Let s be a(-2). Which is greater: u or s?
s
Let g = -1935 - -5935. Which is greater: g or 3999?
g
Suppose 0 = 3*c + r - 2123, -3*c + 3*r + 997 + 1118 = 0. Is c less than 707?
False
Let j be 1*((-6176)/(-28))/(-4). Let y = j - -1832/35. Which is smaller: y or 0.4?
y
Let p = 98 + -98. Let d be (-2)/4*((-381)/(-375) - 1). Is d > p?
False
Suppose 0 = 3*p + q - 9, -8*p = -9*p + 4*q + 3. Let l = -5989/11 - -547. Which is smaller: l or p?
l
Suppose 24*b - 250 = 19*b. Suppose 5*i - b = 7*i. Let h = i - -18. Does h = -7?
True
Let n(a) = -16*a**2 + 3*a + 17*a**2 - 19*a - 99. Let o be n(21). Which is smaller: 11/2 or o?
11/2
Suppose 61*k + 298 + 312 = 0. Let p(n) be the third derivative of -n**5/60 - n**4/12 - n**3/6 - 4*n**2. Let v be p(-4). Which is smaller: k or v?
k
Suppose -17*f = -2*o - 16*f, 0 = 4*o + 2*f. Is 93/13 < o?
False
Suppose -i + 3*x = -4*i - 9, 3*i + 5*x = -19. Suppose 5*c - b = -2, -3*c = -4*c - b + i. Which is bigger: 6 or c?
6
Suppose -439*c + 29516 = -126*c - 28389. Is c at most 185?
True
Let l = 488 + -211. Suppose -2285 = -18*n + 2683. Which is smaller: l or n?
n
Suppose 19*w = 24*w + 365. Let j = w + 367/5. Which is smaller: -107 or j?
-107
Let w = -3 + 2. Let y = 16612/71 - 234. Which is greater: y or w?
y
Let o = -764 + 471. Let q = 300 + o. Is q >= -0.04?
True
Let t = 23 + -24.6. Let l = -1.1 - t. Let x = l + -0.5. Which is smaller: x or -10?
-10
Suppose -8*h + 240 = -2*h. Suppose g - m + h = -2*g, -g = 5*m + 24. Let j be (-50)/3 - ((-136)/24 + 5). Is j greater than g?
False
Let t = -273 - -278. Let k = -49 + 52. Is t < k?
False
Suppose -319 = u + 145. Let s = 427 + u. Which is greater: -44 or s?
s
Suppose 2*g + 5*d = -0*g - 788, 0 = -g - 4*d - 388. Suppose -31*j + 23*j = 3232. Is g at least as big as j?
True
Let m(i) = i**2 - 17*i + 33. Let r be m(15). Suppose -r*u + 4*y + 85 + 34 = 0, -5*y - 25 = 0. Suppose 3*q + 2*q - u = -4*w, -q = -4*w + 3. Is q smaller than 16?
True
Let p = 28999/23 + -1261. Is p at least as big as 10?
False
Suppose -174 = -5*k - k. Let y(i) = -5*i - 10. Suppose 4*l + 32 = -2*w, -4*l - 2*w = -4*w + 32. Let h be y(l). Which is smaller: k or h?
k
Let m be (5 - -5)*6/10. Suppose 2*o - 4*x = -m*x + 46, -5*x = 0. Is 26 > o?
True
Let y = 453.2 + -453.5. Are y and 0.0264 nonequal?
True
Let b be (-2)/7*-6*(-7)/(-84). Is 0.06 != b?
True
Let l(a) = -37*a**2 - 30*a + 9. Let s be l(4). Which is smaller: -699 or s?
s
Let z = 4836 - 4878. Let t = 34 + -76. Is t <= z?
True
Let p(f) = -5*f - 338. Let c be p(0). Let s = c + 354. Let d(v) = 16*v. Let z be d(1). Is s at least as big as z?
True
Suppose 2793 = 3*p - 26*p + 4*p. Let n = 49.1 - 49. Which is greater: n or p?
n
Suppose -14*k = -601 + 27. Is 87 at least k?
True
Let m be (5 - (1 + -1)) + 25 + -52. Is m not equal to -5?
True
Suppose 5*u - 29 = -z, z + 121*u - 124*u + 19 = 0. Let q = 6/43 - 223/1290. Is q != z?
True
Let p = 8838 + -18080. Are -9242 and p unequal?
False
Let p = -59861 - -113401/2. Which is greater: p or -3162?
p
Suppose 29*h + 173 + 10 + 252 = 0. Is h greater than 11?
False
Let i be (-302)/15 + 28/210. Suppose 3*c - 9 - 12 = 0. Let b(a) = -5*a + 13. Let r be b(c). Which is bigger: i or r?
i
Let m be (3393/(-203) + 17)/((-2)/(-658)*45). Is 3 bigger than m?
True
Suppose -221 = -5*v - 3*o, -149 = -4*v + o + 21. Suppose 4*y + d - 73 = 0, 0 = -2*y + 2*d - 9 + v. Let f be (-10)/45 + (-50)/y. Is 2 at least f?
True
Suppose 3*v + 20 = -2*g + 15, -2*v - 4 = g. Suppose 2462 = g*j + 3*j + q, 0 = -j - 5*q + 502. Which is greater: j or 491?
j
Let u be 4712/(-24) + -4 - 4/(-12). Is u at least -198?
False
Let v(f) be the first derivative of -4*f**2 + 146*f - 27. Let q be v(18). Is q equal to -4?
False
Suppose 3*d - 14 = -2*y, -80*y = -3*d - 79*y + 20. Which is smaller: -77 or d?
-77
Let v be -1*(60/8 + -1)*-14. Suppose -4*q - v - 109 = 0. Let i = -41 - q. Which is bigger: i or 2?
i
Let b be (-13)/(-3) + 7*(-2)/(-21). Suppose 4*z - f + 4 - 2 = 0, -z - b*f = -10. Is 2/479 at least as big as z?
True
Let z be 483812/1665 - 2/(-10). Which is bigger: 291 or z?
291
Let k(x) = -x. Let w(n) = 12*n + 11. Let q(u) = 4*k(u) - w(u). Let a be q(-26). Which is smaller: a or 404?
404
Let d = 1722 - 1721.6445. Let y = d - 0.0555. Which is greater: -65 or y?
y
Let x = 0.27 - 20.27. Let a = 212/63 + -6022/1827. Which is bigger: x or a?
a
Let w = 7092 + -7093. Which is bigger: -2939 or w?
w
Let j be ((-173412)/27)/(132/18). Let s = 876 + j. Let w = 6 - 6.15. Are w and s unequal?
True
Let g be (-420)/252*27/15. Is g >= -136/33?
True
Let r be 3654/19976 - (-28)/(-154). Let g = r + 16795/2724. Is g not equal to 0?
True
Suppose -16*s - 59556 = 31*s - 26*s. Is -2836 less than s?
False
Let w(z) = -20*z**2 + 38*z - 107. Let x(g) = -17*g**2 + 38*g - 108. Let d(b) = -5*w(b) + 6*x(b). Let n be d(3). Which is smaller: 1 or n?
n
Let t = 14807 + -16030. Which is bigger: t or -1231?
t
Suppose 0 = -4*h + 2*g + 2, 