- 6 - 10. Suppose -5*w = -2*q - 117, -2*w + 137 = -y*q - 89. Let o be 1*(-5)/((-20)/q). Is -15 > o?
False
Let m be 6/(-4)*(0/1 + (-108)/(-324)). Which is smaller: 6589 or m?
m
Let f be 11/5 + (-9)/45. Let b be ((-498)/1162)/(37/7). Which is smaller: b or f?
b
Let o = -11757517/1036 - -79452/7. Let w = o - 40/37. Let j = -0.199 + 0.2. Which is smaller: w or j?
j
Let j = 1449/187 - 93/11. Let r be 9/((-81)/(-12)) + (-244)/3. Let o be (-4)/(-16) - (-4)/r*5. Which is smaller: o or j?
j
Let w(j) = 2*j - 28. Let n = -31 - -45. Let o be w(n). Suppose o = q - 2*q. Is q bigger than -19?
True
Suppose 2*x = -4*u + 4, 0*x - 3*u - 23 = -5*x. Let a(k) = 73*k - 12. Let o be a(x). Is 281 smaller than o?
False
Suppose 0 = -3*k - 3*m - 360, -2*m + 454 = -3*k + 94. Let w = k + 172. Let p = 49 - w. Is -3 != p?
False
Let d = -12939 + 918688/71. Is d less than 0.1?
False
Suppose -113*r + 114*r = 5*d + 61, 4*r - 4*d - 212 = 0. Which is smaller: r or 46?
46
Suppose -2*g = -i + 20, g - 3*g - 76 = -3*i. Let w be ((-4)/i)/(2/4). Let z = 6807.09 - 6807. Is z greater than or equal to w?
True
Let v be -1 - ((42/(-18))/7)/((-6)/(-12)). Which is bigger: 4695 or v?
4695
Let w(l) = 39*l - 5. Let u be w(1). Let i be ((-3)/3 + -2)*u. Let x be -3*(-1)/(-10)*85/i. Which is bigger: 1 or x?
1
Let s(t) = -2164*t. Let h be s(-3). Let p = -4317 + h. Let l = p + -258827/119. Which is bigger: 0 or l?
0
Let j = 0.37848 + -0.10848. Is j <= -126/11?
False
Let c = -3436 - -5250. Which is smaller: 1812 or c?
1812
Let z(h) = h**2 - 10*h. Let r be z(9). Let d = -5 - r. Suppose 5*m = -l + 2*m - 65, -2*l - 130 = d*m. Is -65 bigger than l?
False
Suppose 31*h - 8*h + 912 = 981. Is -1/24 greater than h?
False
Let c be 6/45*-3 + (-4312)/21960*-2. Which is smaller: c or -1?
-1
Suppose 0 = -r + 4*r - 492. Suppose -4*c - r - 28 = 0. Let s(n) = -4*n**2 - 36*n - 47. Let q be s(-9). Which is smaller: q or c?
c
Let t = 24 + 155. Let m = t - 176.88. Which is bigger: 0.1 or m?
m
Let z(y) = -109*y - 1. Let m be z(-3). Let n = m - 1632/5. Which is smaller: n or -1?
-1
Let j = 62/435 + -456013/3190290. Which is greater: j or 0?
0
Let j = 44 - 58. Let s be 0 - 0 - j/42. Let a = 50.94 + 1.06. Is a bigger than s?
True
Suppose 2*d - 45 = -4*q - 3*d, 2*q - 30 = -4*d. Suppose 2*k - 12 = 2*b, -k + 16 = -b - q*k. Which is greater: 1 or b?
1
Let r(m) = -6*m**2 + 3*m + 123*m**3 - 8 - 122*m**3 - m. Let j be r(6). Suppose -h + j*n = -3, -3*h - 5*n = 2 + 6. Which is bigger: -1/29 or h?
-1/29
Suppose -2*q - 44*p - 6 = -43*p, 0 = -4*q - 4*p - 24. Which is smaller: 8/29 or q?
q
Let w = -1443 + 1417. Is 13 less than w?
False
Let x be (-5)/17881*(-944)/(-9440). Is x <= -1?
False
Let x = 6401/9500 - 76/125. Let w be (0/((-2)/1))/(-3). Which is smaller: x or w?
w
Suppose 4*n + 164 = -y + 5*y, 5*y + n - 181 = 0. Let a be y/1 + -1 + -17 + 18. Is 37 greater than or equal to a?
True
Let m = -327 - -325. Let z be -9*(-4)/4*(3 + m). Which is smaller: 8 or z?
8
Let k be 2/2 + ((-4420)/330)/26 - -4. Which is greater: k or 5?
5
Suppose h - 4*p - 9 - 13 = 0, 3*h + 5*p + 19 = 0. Suppose 4*w + 8 = 0, h*s + 2*s - 4 = 2*w. Is s >= 1/24?
False
Suppose -1497 = -9*v + 1554. Which is bigger: 340 or v?
340
Suppose -2*b - 29 = -3*x - 49, -2*b - x = 4. Which is greater: b or 1/90?
b
Suppose -6*s = -3*s + 5*c - 179, 257 = 5*s - 2*c. Let m = -51 + s. Suppose 2*x + 105 = 5*l - m*l, 0 = -5*x - 5*l - 325. Are -117/2 and x unequal?
True
Let l = 2045511/2005 + -5101/5. Is 1 < l?
False
Let p = 45 - 40. Let g be -2*(-1)/p*(-5)/2. Let i be ((3 + -4)/(-1))/(g/47). Are i and -47 nonequal?
False
Suppose 4*u - 21*p - 109 = -26*p, 65 = 13*p. Is -148 at least u?
False
Suppose u - 2*z = 5, 0 = 4*z - 6*z. Let f be 5 + 5 - 3 - u. Which is smaller: f or 2/3?
2/3
Let u be 3/46*(-92)/(-483). Let i(r) = -3*r**2 - 2*r**2 + 4*r**2. Let y be i(-1). Which is bigger: y or u?
u
Let k = -11476 + 11367. Is k at least as big as 20?
False
Let s = -105/2 - -955/18. Suppose -b - 877 = -2*r + 3*r, -4421 = 5*b - 4*r. Let a = b - -881. Is a >= s?
False
Let b = 4802 - 3536. Which is greater: b or -2?
b
Let s be (10/(-4))/(5/(-10)) - 1. Suppose -5*x - 16 = g, 0 = s*g - 2*x + 14 - 60. Let l be 134/11 + 26/(-143). Is l not equal to g?
True
Let j(r) = -r**2 + 6*r + 16. Let u be j(8). Suppose u*t = t + 49. Are t and -49 nonequal?
False
Let o(m) = -23*m + 58. Let v be o(2). Suppose 202 = v*z - 566. Which is bigger: z or 63?
z
Let n be 2/(-21) - (2/14 + (-1352)/1092). Is n <= 2300?
True
Let x(r) = -9*r**3 + 6 + 3*r**3 + 5*r**3 + 7*r**2 + 4*r. Let m be x(9). Is -120 equal to m?
True
Suppose n = 4*s + 3*n + 2978, 732 = -s - 3*n. Let v = s + 2959/4. Suppose 0 = -4*b + 5*k - 42, 2*b - 16 = 3*b - 4*k. Which is smaller: v or b?
b
Let n be (-4 - (-2 + -3))/(3/(-597)). Let x = -183 - n. Is x != 11?
True
Let t = -34 - -61. Let i = 21 - t. Let x = 5.5 + i. Which is smaller: 3 or x?
x
Let o = -0.721 - 13.139. Let u = -13.7 - o. Is 5 greater than u?
True
Let w be (-2)/(-20)*(-4)/29. Let y be -1 + 9 - ((-27816)/(-285) - 90). Which is bigger: y or w?
y
Let v(g) = -g**3 + 15*g**2 + 2*g - 19. Let b be v(15). Suppose s - 94 = b. Let i = 100 - s. Is 1 equal to i?
False
Suppose -o - 41 + 50 = 0. Let j be (o/(-6))/((-6)/(-2600)). Let t = j - -17557/27. Is 1 > t?
True
Let w = -3 + 8. Let p = -95 - -84. Let a = w - p. Which is bigger: a or 15?
a
Let m = -16 + 16. Let y = -2.474 - 133.526. Is m greater than or equal to y?
True
Let w be (-122)/(-4)*-4*8/16. Let d(s) = -s**2 + 23*s - 10. Let a be d(15). Let j = w + a. Are 49 and j non-equal?
False
Let o be 50*5/(-2)*5/(-25). Let a(r) = r**2 - 24*r - 24. Let j be a(o). Is 10/57 less than j?
True
Suppose -2*m - 7 = -m. Let z be 4440/(-858) - (-84)/(-231). Which is greater: z or m?
z
Let x = -9 - -22. Suppose x = 63*a - 50*a. Let m be 50/(-77) + 6/21. Do m and a have the same value?
False
Let r = -176.9 - 31.1. Let h = 185.2 + r. Let u = h - -23. Which is greater: -4 or u?
u
Let q be 3268320/(-99)*39/(-422). Let r = q - 3051. Which is smaller: r or -1?
-1
Let i = -200181 + 994813/5. Let f = i + 1193. Do f and -24 have the same value?
False
Let j = 94.35 + -97.95. Let w = -17.4 - -19. Let o = j + w. Is -1/5 at least o?
True
Let q(a) = a**3 - a**2 - 7*a - 20. Let u be q(4). Which is bigger: u or -5/326?
u
Let w = 5 - 9. Suppose 0 = -17*x - 60 - 8. Is x not equal to w?
False
Let f = -20 - -14. Let r = f + 7. Let j be ((-76)/(-96) + -1)*-4. Is j >= r?
False
Suppose -3*h - 1662 = -3*z, 3*h + 1064 + 49 = 2*z. Let a = 686 - z. Is 137 not equal to a?
False
Suppose 5471805 + 5103485 = -291*c + 3766472. Is c <= -23398?
True
Suppose 3 = -4*i + 19, 2*i + 426 = -s. Let z = s + 434. Which is smaller: -1/400 or z?
-1/400
Suppose 0 = 4*f - 16*f + 240. Suppose -4*q - z + 5*z - 48 = 0, q - 3*z + f = 0. Let n(h) = 2*h**2 + 14*h - 15. Let x be n(q). Is -6/25 <= x?
True
Let o = 271 + -268. Suppose -3*j - 4*b = 11, 4 = j + j - o*b. Which is smaller: 2/67 or j?
j
Let w = -500 + 499.9472. Let v = w - 0.4472. Do v and 15 have the same value?
False
Suppose -50 = -5*q - 7*v + 2*v, 0 = -q + v + 10. Suppose q*g + 125 = -55. Which is smaller: g or -19?
-19
Let u(t) = -t**3 - 4*t**2 + 2*t + 12. Let m be u(-4). Let x be (-8373)/189 - (-4 + 2). Let l = x - -427/9. Is l <= m?
False
Suppose n = -0*n - 2*c + 18, n + 4*c = 24. Suppose -7 = o + 2*p + n, p + 15 = -o. Suppose 5*f + 16 + 28 = -4*l, -4*f = -2*l + 56. Which is bigger: o or f?
o
Let m be 113/5*(-285)/(-684). Let b = -29/3 + m. Which is smaller: -9 or b?
-9
Suppose -3*h - 3*f = 1023, -581*h = -583*h - 3*f - 685. Which is smaller: h or -340?
-340
Let j = 37 + -38. Let p = 222 - 222.33. Is p at least as big as j?
True
Suppose 0 = 15*f - 58*f - 7697. Let l = -160 - f. Which is smaller: 89/5 or l?
89/5
Let l(i) be the second derivative of -i**5/10 - i**4/6 + i**2/2 + 322*i. Suppose 0 = -5*w + 2*w - 3. Let s be l(w). Which is smaller: s or -2/135?
-2/135
Let v = -15316363/13 + 1178814. Let a = v - 633. Let b = -23 + 22. Which is greater: a or b?
a
Let s = -281 + 122. Let l = s - -156. Are l and -2 non-equal?
True
Let q = 134 - 176. Suppose 61*v - 57*v - t + 164 = 0, v + 4*t + 41 = 0. Which is greater: v or q?
v
Let v be (-2)/(-11)*(-210)/(-1155). Which is greater: 1 or v?
1
Suppose s - 5*l - 140 = 0, 0 = -15*s + 8*s - 2*l + 980. Which is smaller: -1 or