496 - -518. Let f(v) = -4*v + 1. Let t be f(-5). Is p less than t?
False
Suppose v - 14 = -v - 2*a, -30 = -4*v - 5*a. Let t be (2 + 22/(-10))/(v/(-25)). Which is smaller: -6/73 or t?
-6/73
Let n = -32 + -27. Let h = n + 59.035. Which is smaller: 0.1 or h?
h
Let f = 1241598/97 - 12800. Let w = -31 + 30. Is f not equal to w?
True
Let o be (35/2)/((-2)/4). Suppose -2118 - 1247 - 8115 = 328*j. Is j smaller than o?
False
Let f = -32 + 79. Suppose -4 - 2 = -2*a, 3*o - 5*a - 1050 = 0. Let w = o - 356. Which is smaller: f or w?
w
Let g = -14673 + 14772.815. Let x = g - -0.185. Let s = -98 + x. Are 19 and s equal?
False
Let i = 836/3317 - 96/107. Let g be (-5042)/(-1953) + (-2)/9. Let w = g + i. Is 2 greater than or equal to w?
True
Let t = -3928 - -1826522/465. Is 0.3 less than t?
False
Let a = 3041/3 + -4719623/4656. Is a < -1?
False
Let t(x) = -11*x + 62. Let m(p) = 5*p - 31. Let l(d) = -7*m(d) - 3*t(d). Let r be l(9). Let q be r/(52/264)*2/(-4). Is -33 at least q?
True
Let y be ((-1477)/633)/(14/(-6)). Are -1323 and y non-equal?
True
Let c be 8/(-258)*(-24)/80*-755 - -4. Which is greater: -2 or c?
-2
Let z(n) = n**2 + 5*n + 4. Let r be z(-4). Suppose 4*d - 5*c = 16, -6 = -2*d + c + c. Let f be (-1)/((-2)/(-12))*d/56. Which is bigger: f or r?
f
Let b = -21.259 - -21.429. Let d = -1.4 - -1.45. Do d and b have different values?
True
Let d = -5390 - -5352. Which is smaller: d or -2/451?
d
Suppose -r = 2*c - 2, -r = 3*c + 4*r + 11. Suppose c*t - 13 = w - 6, -t = w - 1. Let n be (4 - 1 - 3)/(14/((-56)/(-4))). Which is smaller: w or n?
w
Suppose -112 + 565 = 3*o. Let h be o/20 + 5/25 + -1. Do h and 7 have different values?
True
Let t = 2193 - 2192.952. Which is bigger: -0.024 or t?
t
Let g = 377 - 931. Let z = g - -572. Which is smaller: z or 2?
2
Let x = -1504 - -1831. Which is smaller: 0 or x?
0
Suppose 3*s = 4*s. Let p be (5572/(-138))/(12/(-72)). Let g = p + -242. Are g and s non-equal?
True
Let r = 4.81 + -4.7. Let n = 3.89 + r. Which is smaller: -25 or n?
-25
Let t = 10046 + -10045.9. Which is smaller: -3241 or t?
-3241
Let z = -4 - 10. Suppose 193*b - 194*b + 77 = 0. Suppose -12 = -5*u - b. Is u > z?
True
Let m(i) = -7*i - 28. Let w be m(-7). Suppose 3*z - 5*g = -33, 4*g - g - w = 2*z. Is z != -4?
True
Suppose 25*g - 19130 = 22920. Let t be g/(-390) - -4 - (-8)/60. Is 1 greater than or equal to t?
True
Let b = -39 + 45. Let o(p) = p**3 - 5*p**2 - 8*p + 12. Let f be o(b). Which is greater: f or 3/148?
3/148
Let q = -0.015 - -1.065. Let b = -0.95 - -1.95. Let u = q - b. Are 5 and u equal?
False
Suppose 900 = -6*j - 138. Let p = j + -56. Let y = -1369/6 - p. Is y >= 1?
False
Let a = 5.9041 + 0.0959. Let j = -9 + 9.1. Which is bigger: j or a?
a
Let x = 57026 - 57135. Let p be 109/2*(-1 - 1). Is p smaller than x?
False
Let z be (24/10)/((-2)/25). Let m be (-14)/z - (-8)/40. Let y = -2190 - -15328/7. Which is smaller: m or y?
y
Let g = -0.29 + 2.29. Let c = 82.947 - 83. Let y = c + 0.253. Is g > y?
True
Suppose -1476*k + 19 = -734*k - 723*k. Suppose 0*p - 24 = -2*b - p, -3*p + 39 = 3*b. Is k greater than or equal to b?
False
Suppose -2*v + 4*u - 6 = -0, -2*v + 2*u - 4 = 0. Let i be (-27 - 1) + 2/v. Let q = 1472 - 1501. Which is smaller: q or i?
i
Let o(l) = -l**2 + 7*l + 5. Let d(f) = -f**2 + 6*f + 4. Let b(z) = -6*d(z) + 5*o(z). Let r be b(0). Is r != -3/58?
True
Suppose -93*b - 14003 = -112*b. Which is smaller: b or 738?
b
Let z = -389.163 - -389. Let i = -1.463 - z. Which is greater: 2 or i?
2
Suppose 7*h - 9*h = -130. Suppose -58*g - 938 = -h*g. Which is greater: g or 135?
135
Suppose 0 = -16*h + 48 - 96. Let i = -3 + 13. Let g(z) = z**3 - 10*z**2 + z - 13. Let u be g(i). Is u >= h?
True
Suppose -66805 = 16*v + 5*j, -7*v + 3*j = -3*v + 16697. Is -2 >= v?
True
Suppose -3*x - 12 = 3*t, 0 = -3*x - 0*x - 5*t - 4. Let l = 52 + -60. Are x and l unequal?
False
Suppose -4*j + 2*n = 88, n = -j - 2*n - 8. Let g be 5 - (3 - 436/j). Which is smaller: -21 or g?
-21
Suppose 21 = 168*n - 171*n, 5*j = n - 4743. Which is smaller: -946 or j?
j
Suppose 0 = -11*o + 10*o + 210. Suppose 645 = -205*m + o*m. Is 129 at least as big as m?
True
Let l be ((-621)/(-24))/(429/52). Do 2 and l have the same value?
False
Suppose 20 - 43 = -p - 3*h, -4*p - 5*h = -64. Which is bigger: 244 or p?
244
Suppose 62*x - 61*x - 4 = 0. Let y be -5 + x/(-4)*7. Which is smaller: -91/8 or y?
y
Let l = 117 - 106. Suppose 10*o = l*o. Suppose -5 = -4*a - 5. Is a at most o?
True
Let a(r) = -17*r + 4*r - 8*r - 21. Let v be a(4). Let l be (-1 - (-22)/18)/((-175)/v). Is l less than or equal to -1/2?
False
Let m be 100/(-9)*(16 + 24 + -34). Is m at least as big as 2/11?
False
Let n be 4029/9 + 2/(-12)*4. Let p = n + -404. Is p <= 41?
False
Let b(p) = -4*p**2 + 63*p - 249. Let k be b(8). Is 2469 at least k?
True
Let z be ((-1264)/14)/((52/(-3))/(-26)). Do z and -134 have different values?
True
Suppose g + 2 = -2*v, 5*g - 16 + 2 = 2*v. Let n = -24993/55 + 454. Let f = n - -1/55. Which is smaller: v or f?
v
Let s = 6714 + -6848. Let z be 9/(3/((-135)/3)). Which is bigger: z or s?
s
Let h = 3469 - 3069. Is h >= 408?
False
Let g = 760177/33559 - 838/37. Are 1 and g equal?
False
Suppose -10*b = -6*b - 8. Suppose -5*y - 1 = t, b*y + 16*t - 18*t - 2 = 0. Which is greater: 2/291 or y?
2/291
Let l = -1.073 - 81.027. Let c = 52 + 30. Let d = l + c. Which is smaller: -3/16 or d?
-3/16
Suppose 0 = -6*x + 105 + 63. Let l = x + -22. Let s(k) = k**3 - 5*k**2 - 8*k + 8. Let g be s(l). Is g bigger than -3?
False
Let t = 5/1343 + 3134/240397. Let m(l) = -2*l - 6. Let q be m(-3). Which is smaller: t or q?
q
Let l = -23538/349 + -42118994/20591. Let b = l + 2113. Which is smaller: -1 or b?
-1
Suppose 5*h + 0*h - 80611660 = -5*k, 0 = 2*k + 4*h - 32244666. Let s = -2386084313/148 + k. Let c = s + -559/4. Do c and -3 have the same value?
False
Let l(n) = n**3 - n**2 - n + 1. Let g(u) = -5*u**3 + 5*u**2 + 10*u - 16. Let v(q) = g(q) + 4*l(q). Let r be v(2). Is -18 greater than r?
False
Suppose 2*r - 256 = -5*d, 683 - 748 = -d - 5*r. Is d > 67?
False
Let j = -152507/1251 + -507/139. Is -125 equal to j?
False
Let r be -13 + 716 + 7 - ((-6)/3 - -9). Which is greater: 693 or r?
r
Suppose 5*c + n + 17983 = 0, 127*c - 3599 = 128*c - n. Which is smaller: -3598 or c?
-3598
Let r = 12109 + -14720. Is -2611 bigger than r?
False
Let z(t) = -t**3 + t**2 + 2*t - 1. Let j be z(2). Let d be 1325/9 - (-16)/(-72). Let g be (-6)/9 - 217/d. Is g greater than j?
False
Let k = 102 + -36. Suppose 1073*i = -109*i - 1219*i + 153664. Which is smaller: i or k?
i
Let l(b) = -b**2 + 2*b + 2. Let f be l(4). Suppose -5*a = 4*j + 32, 2*a = -3*j + 36 - 46. Let z be f/15 + a/(-70). Are 1/3 and z equal?
False
Suppose 182*f - 4794 = -120*f + 2152. Do f and -4 have the same value?
False
Let z be (-33)/(-55) + 77/5. Suppose -4*a - 32 - 80 = 0. Let p be (-132)/63 + z/a. Is -4 at most as big as p?
True
Suppose 3*z + 13 = -3*c + 10, -z = 5*c + 17. Let p(v) = -v**3 + 6*v**2 - 5*v + 1. Let q be p(5). Let g be (-38)/c - 2/q. Is 8 bigger than g?
True
Suppose 73 = -w + 2*q - 2, 4*w + 250 = -2*q. Does -59 = w?
False
Let o be 0 - (-18 - (-3 - 0)/(-1)). Suppose 0 = -p - 5*c - o + 1, 3*p = 4*c + 16. Let g be 9/(-36) - 26/88. Is p bigger than g?
True
Let x(t) = -t**3 - 2*t**2 + 2*t + 1. Let b be x(-2). Let v be ((-24)/(-9))/(b/9). Let d = 20 + -29. Are d and v non-equal?
True
Let u = -638 + 424. Let s = u + 211. Do s and -33 have different values?
True
Let h = -156801 - -686631583/4379. Which is greater: h or -1?
h
Suppose 38*n - 35*n - 22 = u, u = -7. Are 10 and n equal?
False
Suppose -c - 3*f + 8 - 25 = 0, -3*c + 4*f = -14. Let s = 55837069/276 - 202308. Let i = -2/69 - s. Is c less than i?
True
Let n be (0 + -1)/((-19)/551). Suppose 4*r - 9 = -u, -2*u - u + 2*r - n = 0. Which is bigger: u or -17/3?
-17/3
Let c = -38718 - -37497. Is c > -1236?
True
Suppose -8 = 3*o - 2*y + 7*y, 2*o - y + 1 = 0. Let r be o*(-45)/(-28)*63/(-54). Which is greater: r or 1?
r
Let g = 6989 + -6991.2. Which is smaller: g or 0.1?
g
Suppose -5*j = 25, -5*t - j - 12 + 2 = 0. Let o be (t/(-22))/(2/40). Suppose 4*z - 2*r = 3*r + 3, 4*z + r = 9. Is z > o?
True
Let t be 4 - 0 - 17/(17/(-2)) - 7. Which is smaller: t or 1097?
t
Let h = -258 - -237. Let y = 104.8 - 84. Let b = y + h. Do b and -7 have the 