)/(-63). Suppose -12*s = -s - s. Suppose 2*l + 4 = -5*m - s*l, -10 = -2*m + 5*l. Which is smaller: m or t?
m
Suppose -q - 3*c - 322 = 0, q + 0*q + c = -314. Let w = 1867/6 + q. Which is smaller: w or 1/2?
1/2
Let x(f) = -4*f**3 + 25*f**2 + 2*f + 21. Let s be (-76)/(-228) + -6*(-10)/9. Let d be x(s). Are -112 and d non-equal?
False
Let s = -110 - -232. Suppose -n + m + 55 = -0*n, -2*n - m = -s. Let r = 71 - n. Is r != 13?
True
Let h(b) = -3*b**2 - 35*b - 955. Let m be h(-28). Which is greater: -2328 or m?
m
Let a = -1537 + 1536.9. Do a and 331 have different values?
True
Let u be 456/1287*11/(616/126). Is 1 smaller than u?
False
Let t(u) = 33*u - 2376. Let o be t(72). Are 0.063 and o non-equal?
True
Let a = 6869 - 6867. Are 0.622 and a non-equal?
True
Let l = -47729/2 + 23865. Which is smaller: -3285 or l?
-3285
Let i = -267 + 333. Suppose -i*f + 63 = -69*f. Is f >= -25?
True
Let j be (2/5)/(-89 + 91). Is j > 1?
False
Let s(h) = -2*h + 83. Let u be s(39). Suppose -3*d - 3*g = 3, d + 3*g = -2*g - 17. Let k = d - u. Is -2 at least k?
True
Let a = -2036 + 2036. Suppose -3*m - 2*m + 3*v = -39, -10 = -5*v. Let b be m/78*(-1 + 0). Is a less than b?
False
Let i = 105397/352313 + -153/533. Do -1 and i have different values?
True
Suppose 16*r = 16 - 0. Let m be ((-16)/(-72))/(114/(2*-1)). Let v = m - 7/27. Is v greater than r?
False
Let y = 2392 + -52647/22. Let m = 1061/1078 + y. Which is greater: m or 0?
0
Suppose 5*a + b = -2, 0 = -6*a + 5*a - 5*b + 14. Let o(k) = -44*k**3 + k**2 + k + 1. Let n be o(a). Suppose -18*h + n = -23*h. Is h at least -8?
False
Let r = -734 + 737. Suppose r*l + 24 = -2*y + 1, 2*y + 5*l = -13. Let i be 18/((-2)/(-2)*-1). Is y less than or equal to i?
True
Suppose -8*c = -33*c. Suppose c = -21*s + 17*s - 624. Is s less than -157?
False
Let c = -2982 - -2988. Let w be 20/25*(-1)/(-4). Which is smaller: w or c?
w
Suppose 1 = -4*w - p, 4*w + 78 = p + 71. Is w < -87?
False
Let j(t) = -t**3 - 47*t**2 + 46*t - 79. Let o be j(-48). Which is greater: o or -1?
o
Let m = 1235.8 - 1235.6. Which is smaller: 4721 or m?
m
Let v(f) = 2*f + 2. Let l be v(-1). Let u = -47681/27438 + 59/34. Are u and l non-equal?
True
Suppose -16*g + 36 = 84. Let f be (-8)/g + (-1271)/615. Which is smaller: -7/8 or f?
-7/8
Let v = 61 + -45. Suppose -v*w = -2244 + 500. Which is greater: w or 108?
w
Suppose -4 = -4*y, -2*j + 0*j = -5*y - 39. Let z = j - 20. Suppose -3*b - 84 = 3*n, z*n - 2*b = -b - 44. Is -25 less than or equal to n?
True
Suppose 35 - 38 = -3*h. Which is smaller: -9/212 or h?
-9/212
Suppose -5*g = 3193 + 312. Let d = 709 + g. Let k(s) = s**2 - 4*s + 2. Let o be k(5). Which is bigger: d or o?
d
Let u(c) = -6*c**3 - 23*c**2 + 91*c + 2. Let s be u(4). Which is greater: s or -373?
-373
Let q(v) = -v**2 - 2*v - 1. Let t be q(-1). Suppose t = 6*d - 14*d - 88. Suppose 0 = 9*c - 8*c + 12. Is c at least as big as d?
False
Suppose 21168 = -25283*f + 25307*f. Is 878 greater than f?
False
Let u be (132/(-143))/(4*(5 + 2436/(-488))). Do u and -27 have different values?
True
Let j be -1 - 21/(-18) - (-23)/6. Suppose -j*m + 2*h - 714 = 0, -4*h + 6 - 10 = 0. Is m greater than or equal to -179?
True
Suppose 6 = -2*h, 3*h + 27 = 3*b - 2*h. Let a(l) = 1 + l**3 - 3*l**2 + 1 - 5*l + 1. Let k be a(b). Are 2/11 and k unequal?
True
Suppose -3*n = -22 - 5. Suppose -3*d - 3*f + n = 0, d - 5*f + 3 = -0*d. Suppose x - 4 = -d*g + 7*g, 3*x = -3*g + 12. Is -3/19 >= g?
False
Let n = -2085130190318 + 969584878732361/465. Let q = 1418850 + n. Let v = q - 4/93. Does v = -1?
False
Suppose p = 4*d - 3125, 0 = 203*p - 200*p + d + 9414. Is -3136 not equal to p?
True
Let b = 590 + -644. Let q be 2/12 + -9 + (-531)/b. Is q at least as big as 30/23?
False
Let q = -574 + 349. Let j = q + 405. Which is bigger: 181 or j?
181
Let h = -16429 + 15129. Which is smaller: h or -1303?
-1303
Let k(r) = r**3 + 12*r**2 + 13*r + 161. Let u be k(-12). Suppose 0 = -u*h + 31 + 4. Suppose 0 = -2*w - m + 13, 0 = -4*w - m - 4*m + 23. Is h > w?
False
Suppose 0 = -151*r - 7 - 3 + 161. Let z be -2 + (-1 - 256/(-90)). Which is smaller: r or z?
z
Let w = -216 - -145. Let l = 170 + -171. Which is greater: w or l?
l
Suppose 0 = -2*d - 4*t - t - 23, d = -4*t - 16. Let m be (-1)/(d/(-29))*-20. Is 146 bigger than m?
True
Suppose 0 = 5*c - 818 - 102. Let w be 12/(-10)*-8*(-345)/(-18). Is w > c?
False
Suppose -8*u + 20*u - 204 = 0. Suppose 12*y + u*y + 3451 = 0. Which is greater: y or -0.1?
-0.1
Let m = -1183/152 + 250/19. Let o = 65/12 - m. Suppose -2*c + 3*c = -1. Which is bigger: c or o?
o
Suppose -17 = d - 32. Suppose -14*t = d*t. Let a = -27 + 190/7. Which is bigger: t or a?
a
Suppose 0*g + 4 = -3*g + 2*j, -2*j - 8 = 0. Let d(h) = -2*h - 6. Let c be d(g). Suppose 5*w - 63 = -3*a, -3*a = c*w + 2*a - 29. Is 10 bigger than w?
False
Let h(o) = 42*o**3 + 763*o**2 + 5*o - 10. Let i be h(-18). Is 2167 not equal to i?
True
Let t = 2327 + -2328. Which is smaller: 3793 or t?
t
Let q(u) = -629846*u**2 - 2*u. Let o be q(2). Let s = 775969693/308 + o. Let r = 41/7 + s. Which is smaller: -1 or r?
-1
Let u = 1205578/39 + -30912. Which is smaller: u or 12?
u
Suppose 0 = i + 80 - 27. Let a be 0/(-2) - (2/37 - 420455/(-7770)). Which is smaller: a or i?
a
Let b(s) = -347*s + 6. Let m be b(1). Which is bigger: 8 or m?
8
Let k be (-9 - -5 - (-8 + 8))*-1. Let v be 0 - ((-4)/6)/(-2). Is k smaller than v?
False
Suppose 4*s + 18 = -2*y, -3*y + 4*s = s - 18. Which is bigger: y or -32/133?
y
Suppose 3*y + 1340*n - 13 = 1344*n, -2*n - 3 = -5*y. Let j be 1/2 - (-1130)/(-2268). Which is bigger: y or j?
j
Suppose -4*s - 1 = -5*s. Let o be ((-67)/10 + 1)/(1*-6). Let y = -1 + o. Which is smaller: y or s?
y
Let y be 193 + (3 - 5 - (5 + -5)). Suppose 0*k - k - 3*l + 198 = 0, 0 = -2*k - 3*l + 387. Which is smaller: k or y?
k
Let i = -114 + -327. Let n = i - -441. Is 4/269 at least n?
True
Suppose -4*b = -2*b - 182. Let t(a) = 11*a - 62. Let f be t(14). Is f smaller than b?
False
Suppose -163 + 67 = 13*k + 138. Which is smaller: -40 or k?
-40
Let c = 32155/12 + -2682. Let v = -1/12 + c. Let h(j) = j**3 + 2*j**2 - j + 2. Let p be h(-3). Which is greater: v or p?
v
Let v be (-28 - -28)/((3 + -2)*2). Suppose -4*u + 13 = -2*u + 5*a, v = 4*u + a + 1. Are u and -1/538 nonequal?
True
Let g be 1/(-4) - (-7 - (-375)/20). Let j(m) = -m**3 - 13*m**2 - 12*m + 1. Let d be j(g). Which is bigger: 17 or d?
17
Suppose -4*j + 5*j - 3 = 0. Suppose 3*z = j*k - 9, 3*z - 7 = 3*k + 4*z. Let b be (-2 - 17/(-8))/(-7 + 5). Is b > k?
True
Let p = 4530 + -4527. Is 2 greater than p?
False
Let k = 1284 + -6388/5. Let a = k + -234/35. Which is greater: -1 or a?
a
Let t be 2 - 0/(10/((-4)/2)). Let i be (5 - t)/(5/15). Is 10 bigger than i?
True
Suppose 64*a + 59 = 5*a. Is a >= -3/3667?
False
Let x = 40705/18212 + 68/4553. Let d(c) = -c**3 + 4*c**2 + 2. Let g be d(4). Is g less than x?
True
Suppose m + 10 = -13*b + 8*b, 0 = m - 5. Let d be -36 - (-2 + 0)/((-2)/b). Is -33 at most d?
True
Let y(k) = -3*k**3 - 18*k**2 + 21*k - 2. Let d be y(-7). Let w be ((8/20)/d)/((-15)/45). Which is bigger: w or 1?
1
Let u be 12/54 - 1*(-453)/27. Let g = 122897/7124 + -2/1781. Is g bigger than u?
True
Let a = -10.5 + 81. Let f = a - 62. Which is smaller: f or -1?
-1
Let s(f) = 46*f**2 + 2160*f - 110. Let z be s(-47). Suppose -4*o = 5 - 17. Suppose -o*i + 1 + 9 = -4*b, 3*i = -3*b + 3. Which is bigger: z or i?
i
Let n = 3513 + -3514. Which is bigger: -30/97 or n?
-30/97
Let v = 20 + 64. Suppose 0 = -q - 5*i, 3*q + 2*q = 3*i - v. Is -14 bigger than q?
True
Let b = -3469 - -3466. Is b at most as big as -20?
False
Suppose -2*f + 4*n = -72 - 34, 4*f - 227 = 3*n. Is 61 less than f?
False
Let i = -284.848 + 284. Let p = -44.152 + i. Which is smaller: 4 or p?
p
Let v = -15 + -41. Let d = -56.1 - v. Let h be 2*(-42)/(-7)*2/30. Which is smaller: d or h?
d
Suppose -6*o = -10*o - 2*l + 2, -2*l = 3*o - 1. Suppose 4*n + 7 = t + 4*t, -n = -4*t - o. Is t at least as big as -27/14?
True
Let s = 569159 - 21628053/38. Let u = 1 + -2. Is s at least u?
True
Let t = -5038821/3707 + 14952/11. Is -1 bigger than t?
False
Suppose 5*c = -0*n + 2*n, 0 = -2*c + 2*n. Suppose -7*q + 9*q + 8 = c. Let v be q + (-2 - (-7)/((-14)/(-66))). Is v != 28?
True
Let i = -7 + 0. Let d = -0.0555 + -3.8445. Let y = 1.1 - d. Which is greater