 Suppose -4*p + 34 = 5*l, -4*l + 5 = -p - b. Let q = -0.0236 + -0.3764. Are q and l non-equal?
True
Let t be 9/123*30/45. Suppose 0 = -2*l - 0*l + 54. Let v = -26 + l. Which is smaller: v or t?
t
Let j = 38021 - 25330. Let q = j + -12556.98. Let s = q + -134. Is s < 1/4?
True
Let b be (-9 + 920/100)*1505. Are 2 and b equal?
False
Let q = 44 + -8. Let y = 4 - q. Let h = 28 + y. Are 1/4 and h unequal?
True
Let z(a) = a**3 - 5*a**2 - 9*a + 11. Let x be z(7). Suppose 15*m - 134 = x. Which is greater: m or 3?
m
Let x = 6320.3 + -6320. Let w = 0.4 + -0.6. Is w bigger than x?
False
Let a = -3422.8 - -3422. Let j = -11.2 - -11. Which is smaller: a or j?
a
Let k be 22/(-20) - (-56)/(-140). Let n = 83 - 82.89. Is n greater than or equal to k?
True
Let n = -15 + 24. Let t be (2 - (-954)/14) + (-4)/28. Suppose -4*a + 20*q = 15*q - 61, 5*a - 5*q = t. Is a <= n?
True
Let o = 74 - 51. Let q(m) = -23*m**3 + 3*m + 2. Let l be 1*((-1)/(-1) + -2). Let w be q(l). Is o not equal to w?
True
Let v = -210.27 + 8.27. Is v bigger than -0.2?
False
Let b = -8 + 48. Let i = -43.1 + b. Let d = i + 3. Is 15/11 smaller than d?
False
Let j be ((-1472)/(-690) + (-48)/36)/(1 + (-186)/190). Let d be (1/2)/((-1)/(-58)). Which is smaller: j or d?
d
Let p(u) = -u + 4. Let d be p(9). Let v be ((135/(-12))/d)/((-9)/(-24)). Let n be 1*v + 21/(-7). Which is smaller: n or 5/2?
5/2
Let f = 599 - 942. Let u = f + 328. Which is greater: 8 or u?
8
Let d be -10 - (1134/(-150))/21. Which is smaller: -10 or d?
-10
Let n = -2360399/240 + 9835. Which is smaller: -1 or n?
-1
Let o(h) = -247*h + 1678. Let i be o(7). Which is smaller: -401/8 or i?
i
Suppose -157*g = -154*g + 114. Let t = g + 37. Which is bigger: t or -3/541?
-3/541
Let j(w) = -8*w**3 - w**2 - 8. Let i = -399 - -397. Let d be j(i). Which is greater: 49 or d?
d
Let i(z) = -4*z - 6. Let w be i(16). Let p(u) = -5*u - 51. Let y be p(4). Which is bigger: w or y?
w
Let u = -2886.05 - -2960. Let r = u - 74. Which is greater: r or -6?
r
Let x be ((3 - 742/245)/(-87))/((-1)/(-2)). Which is smaller: 1 or x?
x
Suppose -4*s - 11 = 1. Let j be (-4)/s - 10/(-6). Are 22/5 and j non-equal?
True
Let a be (724 - 65) + (-5 + 7)*2/(-4). Is 670 at least a?
True
Suppose 0 = -4*m - 8 + 76. Let t = 17 - m. Which is smaller: 7 or t?
t
Let u = -384776475167/18005962515997 + 4/223058639. Let x = -1/907 + u. Is -2/3 bigger than x?
False
Let o = -302.1 + 305.1. Let b be 8 + 3/((-3)/4). Does o = b?
False
Suppose 5*c - 2*h + 345 + 183 = 0, 0 = -4*c + h - 420. Let y be (1 + 0)*(-16)/c. Does y = 0.2?
False
Suppose -4*k + 19 = -6*k - d, k + 4*d - 8 = 0. Let c be ((-126)/(-5))/(-2) - k/(-12). Which is smaller: -13 or c?
c
Let j(n) = -n**2 + 27*n - 20. Let s be j(26). Let q(r) = r**3 - 4*r**2 - 12*r + 15. Let m be q(s). Suppose 12*k = 9*k - m. Which is smaller: k or -4?
k
Let q(c) = 5*c - 9. Let j be q(9). Let a = j - 48. Let h(i) = i + 2. Let u be h(-12). Is a bigger than u?
False
Let p be 626/10 + (-6 - -2). Let b = p - 539/15. Let a = b + -23. Which is smaller: a or -8?
-8
Let s = 0.58 - -2.72. Let y = 5276 - 5277. Is y greater than s?
False
Let x be (-8124)/681 - (-14 + 2). Is 0 > x?
False
Let n be (-5)/((-25)/26) + -2. Let t = 308.14 + -302. Let u = 5.14 - t. Which is bigger: n or u?
n
Let p = 38711 + -38332.1. Is -2/7 != p?
True
Let l(f) = 136*f + 1035. Let n be l(-13). Is n at most -2201/3?
False
Let b be (2600/120)/13 - 28378/6. Are b and -4728 non-equal?
False
Let f(y) = 10 - 8*y + 15*y - 3*y. Let o be f(-2). Let d be ((-6)/(-513))/(o/6). Which is greater: 1 or d?
1
Let k = 45 - 31. Let s(m) = m**3 - 46*m**2 + 46*m - 52. Let i be s(45). Is i > k?
False
Let c(p) = -p**3 + 2*p**2 - 5*p + 12. Let r be c(2). Let m be 1/(-3) - (r/(-6) + -4). Is 14/5 < m?
True
Let z = 2629/35504 - 9/112. Let l = 8774 + -26320/3. Is l bigger than z?
True
Suppose 0 = -78*i - 68*i - 3504. Does -2/7 = i?
False
Let i = 0.26335 + -0.06335. Which is greater: -4.01 or i?
i
Suppose 0*x - 4*d - 570 = 2*x, 0 = -4*x + 5*d - 1088. Let u = x - -275. Which is smaller: 1/2 or u?
u
Let t be (5160/(-24024) + (-4)/(-22))/((-6)/(-4)). Is -22 equal to t?
False
Let x be -7*300 + -125 + 111. Are -2115 and x equal?
False
Suppose -x + 383*f - 382*f = 644, 4*f = 4. Is -5 at most x?
False
Let h be 78/(-1)*(-11)/33. Let q = h + -30. Let m be (q/90)/((-27)/45). Which is bigger: 1 or m?
1
Let v be (2/3)/((-3)/1557). Let l = 289 + v. Which is greater: -5 or l?
-5
Let c = -2.0437 + 0.0437. Let k be 24/63 - 16/(-56). Which is greater: k or c?
k
Suppose -2*a = -3*m - 2*m + 21, -3*m + 21 = -4*a. Suppose -q - m*c + 4 = 0, q - 4*c = -18 + 43. Is 130/9 at least as big as q?
True
Suppose 0*m = -10*m + 200. Suppose 3*o + 3*j - m = 10, 4*j + 26 = 2*o. Suppose -3*w + o = -i - 21, -i - 5*w = 0. Is i > -19?
False
Let x be 0*(16 - 648/40). Which is smaller: 2/3347 or x?
x
Let p be ((868/18)/1)/((-50)/75). Let r = p + 72. Which is greater: r or 0.055?
0.055
Let t(k) = 229*k - 26141. Let z be t(114). Suppose 164 = -5*m + 3*g, -8 = 4*g - 0. Is z <= m?
True
Let c be (-7 + (-90)/(-12))*-8348. Let p = c + 45850/11. Is p less than or equal to -6?
False
Let o = 315 - 359. Let w = -44 - o. Which is bigger: w or 1/66?
1/66
Suppose 6 = -2*c + 2*d, -10*d + 8*d = 4*c - 12. Suppose 0*g = -4*g. Let y be (-1)/2 - (g + 5)/(-10). Do y and c have the same value?
False
Let o(b) = -2*b**3 - 21*b**2 + 100*b + 25. Let t be o(-14). Do 240 and t have the same value?
False
Suppose -2*i - 157*y + 7 = -162*y, -5*i + 5*y + 10 = 0. Which is greater: i or 1664?
1664
Let v(u) = -12*u**2 + 8*u + 1. Let x be v(2). Let c = 115 - 147. Which is greater: x or c?
x
Let s = -255 + 256. Let r(j) = -2*j. Let q be r(-1). Suppose 5 = q*w - 1. Which is smaller: w or s?
s
Let s(x) = 5*x**2 - 12*x - 89. Let k(l) = 14*l**2 - 35*l - 266. Let f(o) = -4*k(o) + 11*s(o). Let v be f(15). Is v at most -2/15?
True
Suppose -14*i + 252 = -20*i. Let b = 0 - -3. Suppose -110 = b*c + 19. Are c and i unequal?
True
Let r = 18 + -13. Suppose 3*n - 2*n = -2*u - 14, -15 = r*u. Which is greater: -9 or n?
n
Let i = 4625 + -4781. Which is greater: i or 7?
7
Suppose 0 = 2*l - 5*s - 201 - 378, 0 = l - 4*s - 297. Let n = 238 - l. Is n at most -39?
True
Suppose -3*y = 2*y + 5*q + 10, -5*y + 10 = -5*q. Suppose 5*r - 7 = -x + 27, 4*x = -4*r + 40. Suppose -19*w + 16*w = r. Are w and y nonequal?
True
Let o = 3261 + -909817/279. Suppose 0*l = -l - 3*l. Which is bigger: o or l?
o
Suppose 828 = 18*l - 14*l. Let h = l + -206. Is h != 1/58?
True
Let b = -234 - -254. Let d = b - 58. Is 0.1 at most as big as d?
False
Suppose -50*c - 21*c = -41*c - 240. Which is bigger: c or 759?
759
Suppose -151*q + 130*q + 6846 = 0. Is 330 >= q?
True
Let h = 15 + 26. Let u = 93.2 + -46.2. Let k = u - h. Is 4/9 < k?
True
Suppose 4*i - 8 = -4*f, 3*f - 7 + 3 = -4*i. Let w = -1885 + 1973. Suppose w*j = 80*j + 80. Which is smaller: i or j?
i
Let z be 19138/4 - (69 + -65) - 2/(-4). Which is smaller: z or 4779?
4779
Let g = -561 + 618. Which is greater: g or 6?
g
Let b be (-72)/120 - 8976/(-10). Let r = 4483/5 - b. Are r and -39/10 equal?
False
Let r = -5322.2 + 5322. Let s = -6 - -5.89. Which is smaller: s or r?
r
Let z = 1412230/3783 - -30/1261. Let m = z + -404. Is -31 < m?
True
Let n(v) = 135*v - 674. Let k be n(5). Which is smaller: -48/1721 or k?
-48/1721
Let q be (-3)/582*96/(22 - 6). Suppose 3*d + 3*d - 18 = 0. Let z be 1*(-3)/d*0. Which is smaller: q or z?
q
Let i = 3881.65 + -3882. Which is smaller: i or 2/55?
i
Suppose n - 5*b = -6269, 6*b + 6281 = -n + 5*b. Which is smaller: n or -2?
n
Let b = 1133.43 + -1133. Is -14 at most b?
True
Suppose d = -5*n + 187, 6 = d - 2*n - 202. Let z = -238 + d. Is z < -34?
True
Let f = -245774/391 - -13310/23. Is -49 <= f?
False
Let b = -1.2 - -1.29. Let n = -0.91 - b. Let k = -49712/29 - -1714. Which is bigger: n or k?
k
Suppose 7*w + 27 = 153. Suppose -w*c - 2 = -16*c. Is -1/30 greater than c?
True
Suppose -2*p = 3*p + 3*f + 311, 0 = -3*p - 4*f - 180. Let x be (p/(-36) + -2)*3. Let s = -5 + 4.7. Which is smaller: x or s?
x
Suppose 16*r - 10*r = -17*r. Which is greater: r or -4/25?
r
Suppose -2*m - 6 = -5*m - 3*j, 4*m = j + 13. Let a be (-113)/m*(1 + -2). Let x = a + -38. Which is smaller: x or 1/4?
x
Let j(k) = 10 + 10 + 8*k**3 + 9*k**2 - 29 - 11*k. Let b(y) = 3*y**3 + 3*y**2 - 4*