re s and q unequal?
True
Let j = 4532 + -5664. Is -1132 < j?
False
Suppose 150 = -2*v - 3*x, -x - 204 = 70*v - 67*v. Are -62 and v nonequal?
True
Suppose w - s + 26 = 16, 6*w = s - 50. Let l = -20885/7 + 2977. Which is smaller: l or w?
w
Let r = 21985 + -13619. Is 8368 less than or equal to r?
False
Let q = 307190/7 + -43884. Which is smaller: q or 1084?
q
Let x = -19 - -102. Let u = 60506 + -60423. Is u less than or equal to x?
True
Let l = 8309198563928737/523887 - 15860669503. Let t be 3454/10374 + (-1)/3. Let b = t + l. Which is smaller: b or 0?
0
Let q be (-1 - 2709/48)/((-75)/4 - -19). Which is smaller: -230 or q?
-230
Let n(m) = -19*m - 54. Let k be n(-3). Let t be k/2*(-14)/168. Is 0.1 greater than or equal to t?
True
Suppose -2*p = w - 1, 4*w = 4*p - 54 + 22. Let a(t) = -t**3 - 5*t**2 + 9*t + 6. Let v be a(-6). Let f = -13 - v. Which is smaller: f or w?
w
Suppose -20 = 2*s - 4*b, 0 = -3*s - 0*s + 2*b - 14. Let k be 9/6*((-8)/(-12) + s). Is k less than or equal to 3?
True
Suppose 43*m = 2975 + 3183 + 5323. Which is greater: m or 10?
m
Let j be (3 + 0)/18 - (-93)/(-570). Let x = j - 422/57. Is x > -8?
True
Let j be 3579/(-245) + (-17)/(595/(-42)) - -9. Which is greater: j or -3?
-3
Let x = -4 + -11. Let j(m) = 28*m + 14. Let s be 5 - (-2 - (-3 - -5) - -10). Let d be j(s). Is x bigger than d?
False
Let m = 91220/641664063 - 2/120909. Is 0 equal to m?
False
Let s(a) = 2*a**2 - 4*a + 2. Let b be s(-3). Let i be -5*(-11)/((-55)/b). Is -32 greater than i?
False
Let x = -27200 + 27005. Is -2 bigger than x?
True
Let l = -89.88 - 1.12. Let t = 332511 + -332510. Which is smaller: t or l?
l
Let w = -30.0361 - 0.0639. Let p = 30 + w. Let d = 45602/75 - 608. Which is smaller: d or p?
p
Let i = -15406 - -14128. Is -1278 < i?
False
Let b = -3622 - -3625. Is 111 less than b?
False
Suppose 9*b - 2*b = 556 + 1103. Is 1 > b?
False
Let m = -181 - -173. Let f = m + 80. Which is greater: 1 or f?
f
Let f = 92/745 + -104823/850045. Which is bigger: f or 1?
1
Let v(i) = -i**3 + 4*i**2 + 2*i. Let u be v(4). Let f = 5 - u. Let g(h) = -4*h**3 - 137*h**2 - 170*h - 175. Let x be g(-33). Which is greater: f or x?
f
Let q be 1159/183*(12/79)/2. Let t = 3224/7031 - q. Suppose 8 = -2*d - 4*z, 3*z = d - 11 + 5. Which is greater: t or d?
d
Let x = 53 - 51. Suppose h - 4*b - 138 = -h, 133 = x*h + b. Suppose 27 = -4*y + a - h, 5*y + 113 = -a. Which is bigger: y or -21?
-21
Let m = -95645/57 - -1678. Suppose 0 = -4*b + 4. Do b and m have the same value?
False
Suppose 211*r + 25*r = -12*r + 57288. Which is greater: r or 226?
r
Let u = -5051 + 5141. Which is smaller: 95 or u?
u
Let h(m) = m - 8. Let a be h(7). Let u be 56 + (-18915)/325 + (-9054)/(-4120). Which is bigger: u or a?
u
Suppose 13*t + 9 = -1065 - 83. Is t greater than -57?
False
Let o(l) = -21*l + 1239. Let x be o(59). Is -52/153 != x?
True
Let b = -46 - -28. Suppose 0 = 5*g + 2 - 62. Let x be (b/g)/(33/4). Which is greater: x or -1?
x
Let u = 1653 + -1831. Is -177 greater than u?
True
Let d = 5243 - 1846. Is d <= 3397?
True
Suppose -3*l + 14 = -4*i, i + 8 = 4*l - 15. Suppose -11*u - 142 = -10. Let y be l/(-48)*u*8/(-54). Is -5 at least as big as y?
False
Let l = -867 + 1517. Is 650 smaller than l?
False
Let z = -767945/11 + 69992. Let d = -179 + z. Is d smaller than -5/2?
False
Suppose -11*w = -18*w. Suppose v - 4*z + 27 = w, 4*v + 138 = -z - 38. Which is smaller: -44 or v?
-44
Let t = -235 + 479. Suppose 4*n - 2*p = -t, -3*p + 242 = 4*n - 8*n. Let i be n/4*-1*14/7. Which is smaller: i or -2?
-2
Let p = 100.4 - -5134.6. Is p != -2?
True
Let g = 102.1 - 5.1. Let m = 81 - g. Which is smaller: m or 5?
m
Suppose -2*d + 662 = -4*p, 338 = -3*p + 2*d - 158. Let m = 325 - 1299/4. Is p at most m?
True
Suppose 5*g = -2*q - 10, 2*q - 2 = -4*g - 8. Suppose v + 243 = 4*o - 7*o, -o - 67 = q*v. Is -83 not equal to o?
True
Let t be 6/13 + 0 + 3661/6799. Which is bigger: -4/2755 or t?
t
Let q = -782 - -873. Suppose -86*v = -q*v + 5. Which is greater: v or -2/653?
v
Suppose -r = -3*i + r - 1744, -568 = i + 2*r. Let v = i + 1159/2. Which is greater: 2 or v?
2
Let n be -2 + 7 - (-14)/(-4)*412. Let h = -181063/126 - n. Which is smaller: h or 0?
h
Let c be (12/(-5))/(-97 - -100). Is c >= -11?
True
Suppose t - 7 = -3*c, -9 = -5*c - 2*t + t. Let s be 501/126*-1 - (c + -5). Which is greater: s or 1?
1
Suppose 420 = -p - 4*t, 37 = 5*t + 12. Let y = p - -311. Which is bigger: y or -647/5?
y
Let v(k) = -4*k**2 - 6*k + 27. Let s(x) = -x**3 + 3*x**2 - 3*x - 3. Let g be s(3). Let b be v(g). Let t be b/(-21) + (-8)/(-28). Which is greater: t or 22?
t
Suppose 12 = 4*f, 52*m - 2*f = 53*m + 4937. Which is smaller: -4945 or m?
-4945
Let b = -925684/31 - -29858. Which is bigger: b or -4?
b
Suppose 2*x - 2*p - 36 = 0, -82*p + 85*p = 18. Let m = 0 - -23. Is x less than or equal to m?
False
Let s = 3/479 + 361/95321. Suppose -3*k = -25*k. Which is smaller: k or s?
k
Suppose 0 = z + 2 - 5. Suppose -c - 19 - 7 = -q, 69 = -4*c - z*q. Suppose 423*a = 363*a - 1140. Which is smaller: c or a?
c
Let m = 759 + -760.284. Let v = 0.284 + m. Is 28 <= v?
False
Suppose 0 = -8*f + 3*f + 45. Suppose 4*b - f = -3*i, -2*i - 2*i + 12 = b. Let l be (2 + (-18)/8 + 0)/(2321/844). Which is bigger: b or l?
b
Let w be (-8 - (-192)/15)*15. Which is bigger: w or 0.28?
w
Suppose 18 = -8*o - 38. Let d be o/((-91)/(-2)) + 320/52. Suppose 5*q = d*q + 2*q. Which is greater: q or 1/10?
1/10
Let o = -3628 - -3065. Which is smaller: -592 or o?
-592
Let i = 2274 + -2275. Which is smaller: i or -7/204?
i
Let x = 133.75518 + 0.24482. Which is smaller: 13 or x?
13
Let h = 4 + -2. Suppose 0 = h*k - 2 + 46. Let p(c) = -483*c - 990. Let v be p(-2). Which is bigger: v or k?
k
Suppose 0 = 3*z + 1445 - 1451. Suppose 5*w + v - 2 = 3*v, -5 = z*w + 5*v. Which is smaller: -19/16 or w?
-19/16
Let w = -2031 - -1350612/665. Which is greater: w or -1?
w
Let z(p) = -2*p**3 - 7*p**2 - p - 10. Let i be z(-5). Suppose i = -5*q + 5*n, 2*q - 5*n = -n - 24. Is q bigger than -13?
False
Suppose 7*q = -85 + 4530. Is q equal to 636?
False
Let a(h) = -h**3 + 75*h**2 + 68*h + 17. Let z be a(76). Which is bigger: z or -583?
-583
Let b be 8/1 - 546/105. Suppose -3*t + 9 + 6 = 0. Suppose 0 = -4*c + 5*r + 13, 0*c = -c + 3*r + t. Are b and c equal?
False
Suppose 2*a + g = 4*g - 20, 2*g = -5*a - 31. Let w(c) = c**2 + 7*c - 2. Let z be w(a). Let m be z/(-4)*(-39 - -21). Which is smaller: 1 or m?
m
Let y = 29749 - 29750. Is y bigger than 1/21823?
False
Let f be (7562/2016 - 4) + 10/45. Let d be 36/90 + 14/(-10). Which is bigger: d or f?
f
Let s = 99.13236 - -0.19764. Let j = 99 - s. Is 0.3 < j?
False
Let l be 1/352*(-8 - 63830/91) - -2. Is l greater than -1?
True
Let l(f) = -f**3 + 3*f**2 - 3*f - 110. Let b be l(0). Let c be (b/100 + 1/1)*-8. Are -16 and c unequal?
True
Let y be ((-20)/35)/(6/(-21)). Suppose 0 = -2*l + 2*r - y, -5*l = 5*r - 15. Let w = -1053/488 + 17/8. Which is smaller: w or l?
w
Let i = -111.2 + 114. Let l = -3.1 + i. Which is smaller: l or 7/2?
l
Suppose -6 + 1 = -263*w - 5. Is -39/524 <= w?
True
Let f be (64/80)/2 - (3 + 12981/15). Is f smaller than 0.2?
True
Let z = 477 - 475. Suppose 3*l = 5*d - 1301, 2*l - 3*d + 879 = -z*d. Which is greater: l or -443?
l
Let n(x) = 195*x - 14235. Let b be n(73). Is 3/29507 smaller than b?
False
Suppose -337*h = 14934 - 53689. Do -27 and h have different values?
True
Let q = -13063 - -12275. Which is smaller: -1573/2 or q?
q
Suppose 395094 + 1096386 = -170*p + 247760. Which is greater: -7314 or p?
-7314
Suppose -63*x - 6752 = 66*x - 137*x. Which is smaller: 845 or x?
x
Let a(f) = -43*f**2 + 13*f - 51. Let v be a(6). Let s be ((-8)/(-24))/(v/36). Which is smaller: s or 1?
s
Let o = -8850 + 11108. Which is greater: 1 or o?
o
Suppose 339*i = 343*i + 2*a - 2830, -1420 = -2*i + 4*a. Which is smaller: 700 or i?
700
Let u be (20/(-30))/(2/(-6)). Let w(a) = a**2 - a + 1. Let r(h) = -h**3 + 15*h**2 + 22*h - 35. Let o(p) = u*w(p) + r(p). Let c be o(18). Is 22/9 >= c?
False
Let t = 762 + -4059. Let k = 10003/3 + t. Which is smaller: k or 1/2?
1/2
Let j(p) = -45*p + 3194. Let t be j(71). Which is bigger: 1/17548 or t?
1/17548
Let u(o) = 11*o - 967. Let a be u(88). Which is bigger: -2/715 or a?
a
Let v = -227 - -212. Which is greater: v or 2/63?
2/63
Let d be (14304/30)/((-321