4222. Let s = -104596/95 - x. Suppose 0 = 2*n - 5*a + 10, 9 = -2*n + 4*a + 1. Is n > s?
True
Suppose -4*c = 5*p - 352, -5*c - 4*p + 2*p + 423 = 0. Suppose 6*d - 8*d + 2*l = -152, -4*d + l = -319. Do d and c have the same value?
False
Let n = -63018 - -313801/5. Which is smaller: -257 or n?
n
Let s(j) = j**3 + 6*j**2 + 5. Let o be s(-6). Let h be 24/(-40) + 7/(35/32). Is o less than or equal to h?
True
Let y be (-23 - 594/(-36))/(14*10). Is 0 >= y?
True
Suppose 455*j = 456*j - 6. Let q be (-3*2)/(j/4) + 158. Which is smaller: q or 153?
153
Suppose -118*x - 427 - 45 = 0. Is x at least as big as -10?
True
Let f be 6/15 - (144/180 - 6/(-10)). Let h(o) = o**2 + 2*o - 7. Let u be h(0). Let n be (-1)/4 + u/20. Which is bigger: f or n?
n
Let y be (1076/(-8))/((-3)/(-2)). Let z = -45221 + 45130. Is y at most as big as z?
False
Let u be 3895 - -3*24/54. Let v = -3973 + u. Which is smaller: -78 or v?
-78
Let x(r) = 2641*r**2 - 30*r. Let o be x(-2). Is 10622 < o?
True
Let b(k) = -k**3 - 152*k**2 + 150*k - 454. Let r be b(-153). Which is smaller: r or 261?
r
Let x(h) = h**3 - h**2 - 3*h + 2. Suppose 29*f - 2 = 27*f. Let i be x(f). Let o = -21803/25 - -872. Is i greater than or equal to o?
False
Let i(z) = -106*z - 7419. Let m be i(-65). Is -555 <= m?
True
Suppose -3*m + 4 + 2 = 0. Let q be 266473/208964 - (-4)/34. Is q less than or equal to m?
True
Let c = -25647 + 16379. Which is greater: -9267 or c?
-9267
Let j = 227.68 - 51.6. Let q = -176 + j. Let g = 3 + -3.1. Is q > g?
True
Suppose 0 = t + 17 - 6. Let n = t + 9. Let o be ((-48)/14)/(-3) - (45 + -41). Which is smaller: n or o?
o
Suppose -4*z = 5*r + 61 + 48, -3*z - 38 = -5*r. Let h = -24 - z. Let g = -75.8 + 76. Is h smaller than g?
True
Suppose -3*a + 66 = 3*x, 2*x - 96 = 4*a - 22. Suppose -y - 3*b - x = -3*y, -3*y = -4*b - 41. Let k(z) = -z**2 + 15*z - 1. Let c be k(y). Is -1.7 equal to c?
False
Let w(b) = 11*b**3 + 26*b**2 - 2*b - 71. Let n be w(-5). Do n and -5494/7 have different values?
True
Suppose 4*y = 5*g - 4*g - 23, 4*y = -4*g - 48. Let s = 81 + -48. Let m be (s + -3 + y)*(0 - 1). Which is smaller: m or -19?
m
Let i = 0.03 + 1.57. Suppose -24 - 4 = -604*n + 590*n. Is n <= i?
False
Let t be 62740/8*(-32)/40 + -5. Is -6280 less than t?
True
Suppose 43 = -285*n - 244*n - 486. Is n at least as big as 18/241?
False
Let k = -7798 - -11137. Which is greater: k or 3338?
k
Let y be 1 - 1/((-1)/(-4)) - -7. Suppose d - 2*x = -8, 4*x + 0*x = -y*d + 16. Suppose d = -z + 2. Is -1 bigger than z?
False
Suppose 27*l + 68*l + 22602 = 102022. Which is greater: 829 or l?
l
Let w = -73662/13 + 5660. Are -6 and w nonequal?
True
Let h = 15 + -40. Let s = h - -30. Let i = -18 + 21. Is s smaller than i?
False
Let r be (2/4 + 0)/((-52)/104). Which is smaller: r or -45/47?
r
Let o be (-2)/10 - ((-255312)/(-30))/(-12). Let p = -702 + o. Is p greater than or equal to 39/5?
False
Let r be ((-12)/(-9))/((792/(-176))/(1/2836)). Is r > -1?
True
Suppose -12*s - 466 = -346. Let w be s/15 + (-1)/(-2). Which is smaller: 10 or w?
w
Let n = 1613/3 - 543. Suppose 5432*a - 5416*a + 51 = -13. Is a greater than n?
True
Let a(p) = -p**3 - 10*p**2 + 13*p + 21. Let g be a(-11). Let w be 27 + -31 + ((-2)/g - -32). Which is greater: 61/2 or w?
61/2
Let s = -585675860/41 + 14285471. Let r = s + -694. Is 0 bigger than r?
True
Let o = 5149 - 5155. Let w = -0.4 - -3.4. Let v = w + -5. Do v and o have the same value?
False
Let v = 27 + -25. Suppose -y = 4 - v. Let h be ((-6)/(-8))/(11/(-44)). Which is bigger: h or y?
y
Let g(k) = k + 230. Let j be g(21). Let y = j - 252. Let u = -6 - 52. Do y and u have the same value?
False
Let j = -3.204 + 3.104. Is j bigger than 24/133?
False
Let b be 8/(-18)*((-1929070)/76 - 2). Are b and 11282 non-equal?
False
Suppose -4*g - 466 = -2*c, -3*g - 3*c - 347 = -2*c. Let f = -442 - -328. Which is smaller: g or f?
g
Let q(t) = -23*t**2 - 70*t - 3. Let j be q(-3). Does 20/421 = j?
False
Suppose -6*d - 1375 = -7*d. Suppose 0 = -11*x + d - 495. Suppose 6*c - x = 16*c. Which is smaller: -2 or c?
c
Let n be (36332/93)/((-2427)/351 - -7). Which is greater: n or 4571?
4571
Suppose b - 5*c = 2, 3*b + 42 = -50*c + 53*c. Let o be (15/10)/(3/8). Let a(w) = -2*w**2 + 3*w + 1. Let d be a(o). Is b bigger than d?
True
Let c = -13773 + 14431. Which is greater: c or -6?
c
Let b be (-1 - (-38)/8)/((-742)/195888). Which is greater: b or -988?
-988
Let a(u) = -u**2 + 15*u + 1. Let j(z) = 2*z**3 + 2*z**2 + 3*z + 75. Let w be j(0). Suppose 9*y + w = 14*y. Let m be a(y). Is m less than 10?
True
Let c(v) = -9*v - 264. Let o be c(-29). Let g be o/(-2)*4/21. Which is smaller: g or -33/2?
-33/2
Suppose -8*n - 11 = -4*v - 11*n, 2*v = -n + 3. Is 8/2513 bigger than v?
True
Suppose 0 = 194*g - 1206*g - 131 + 3167. Let k(d) = -d**3 + 5*d**2 + 8*d + 2. Let o be k(6). Which is bigger: g or o?
o
Let f be (-1)/4*116/(-5249). Which is bigger: f or 0?
f
Suppose 4 = -5*c - u, 2*c - 9 = 7*c - 4*u. Let f = 27/231584 + -56410171/166972064. Let y = 2/103 - f. Which is greater: c or y?
y
Let k = 37414218661/1532 - 24421811. Let v = 1/383 + k. Which is smaller: v or 2?
2
Let t = 13156 - 65748/5. Let j be 5 + 1/((-2)/(-4)). Is t less than or equal to j?
True
Let u(y) = 29*y - 40. Let l(b) = -17*b + 113. Let f be l(7). Let m be u(f). Which is bigger: -216 or m?
m
Let k be 4/4 + (-6)/9. Suppose 5*s - 3*n = 2*s - 174, 15 = -3*n. Which is smaller: s or k?
s
Suppose -7 = 3*g - c, 2*g + 3*g = 5*c - 15. Let r be (g/(-15))/(((-50)/255)/10). Are r and -8 equal?
False
Let p be -4*1095/160 - (-12)/32. Let q(n) = -16*n + 4. Let o be q(-4). Suppose -7*h + 3*h - 3*v = 124, -o = 2*h + 3*v. Does h = p?
False
Suppose 77 - 82 = -o. Let u be 249*(1 + 82/(-84)) - o. Is u less than 1?
True
Let o be 30/9*24/10. Let a be 1805 - (4 - -1 - 0). Let l be 8/10*(a/16)/15. Is o <= l?
False
Suppose -450*v - o = -453*v - 1034, v + o + 346 = 0. Does v = -344?
False
Suppose 7*x + 86 = 604. Suppose p + 2*p - 222 = 0. Let r = p - x. Which is greater: r or 3/65?
3/65
Let x be (-1 - 247/(-51))*3. Let t = -1117/119 + x. Let l(k) = 2*k**2 - 75*k - 115. Let j be l(39). Is j not equal to t?
True
Let b = -14 - -20. Let a be ((-32)/6)/((-4)/b). Suppose -9*i = -a*i - 4. Is i equal to 4?
True
Let k be 11*(4648/(-84))/((-2)/(-3)). Let a = -913 - k. Which is greater: a or -2/1041?
a
Let x = -371 + 281. Let c = 90 + x. Which is smaller: -0.18 or c?
-0.18
Let r be (-3)/1086*12*(-5)/(-4). Which is smaller: -1 or r?
-1
Let g = -353622259/770 - -459250. Let x = 1/77 - g. Let n be 15 - (-3)/(-9)*42. Is n less than x?
False
Let d = -2515 + 2519. Is d < 557?
True
Let h = 166 + -146. Let i be h/45 - ((-2)/(-3))/2. Is i > 0?
True
Suppose 5*v + 2*f = -2 - 13, -2*v = -5*f - 23. Let r = 1159 + -1162. Let m be v + r/12 + (-18)/(-8). Is 1/36 not equal to m?
True
Let y = -225 - -221. Let c be y - -9 - -1*1*-18. Which is smaller: -8 or c?
c
Let j = 6963/5 - 30901799/22190. Is j less than or equal to 1?
True
Let d(s) = -s**2 - 3*s - 3. Let g be d(-2). Let h = -56614.24 + 56616. Which is smaller: g or h?
g
Let u be (-11)/((-55)/(-50)) - -7. Let h(r) = -133*r + 4. Let x be h(4). Let y be 16/u*(-108)/x. Which is greater: -2 or y?
y
Let u = 2232525/43 - 51923. Which is greater: u or -4?
u
Suppose 4*w = -12 + 68. Suppose 12*r - w*r + 2 = 0. Let x = 6 + -7. Is r != x?
True
Let f(n) = -64*n - 11. Let j be f(2). Let d = j - -141. Which is smaller: d or 1.8?
1.8
Let r = 283.9979 - -0.0021. Let x = -392 + r. Is 0 not equal to x?
True
Suppose 42*c - 1330992 = -56*c - 214*c. Which is smaller: 4269 or c?
c
Let u = 10.299 - -0.101. Let x = -10474 - -10473.8. Which is bigger: u or x?
u
Suppose 7*q = 40*q + 231. Which is bigger: 114 or q?
114
Let y(b) = -b**3 + 6 - 3 - 7*b**2 + 3*b**2 + 0*b**3. Let m be y(-4). Suppose v + m = 5. Does 13/6 = v?
False
Let k = 28025 + -28027. Which is greater: 154 or k?
154
Let o be (-26)/(-56) - 1 - (-16)/56. Let w = 0.0525 - -20.9475. Which is smaller: o or w?
o
Let i = -3159 + 3158. Which is bigger: i or 298.6?
298.6
Let y be ((-1)/(-7))/(107/(-2675)). Are y and 1/3 equal?
False
Let m = 4613 - 4634. Is 135 less than or equal to m?
False
Let s be (28/5)/(279/(-620)). Is -4/11 less than s?
False
Let l = 5.3 - 4. Let s = 0.121 - 0.121. Let m = s - l. Which is smaller: -1 or m?
m
Suppose -12*g + 81 - 9