910980 = -2*w. Let u = -1641958/9 + p. Let h = u - -246. Is h not equal to 0?
True
Let t(a) = -a**2 + 1. Let v be t(2). Let z(p) = -p**2 - 2 + 0*p + p - 3*p + 0. Let c be z(-3). Is v >= c?
True
Let j = -1067 - -1349. Is j smaller than 282?
False
Let v be -75*6*2/(-20) - 0. Is 45 at least as big as v?
True
Suppose t + 3 - 5 = 0. Let x be 748/36 - t/(-9). Let u = x - 21. Which is bigger: u or -3/11?
u
Let f = 1 - 10. Let y be (8/(-12))/2 - 20/(-24). Are f and y nonequal?
True
Let f = -514 + 484. Do -5/6 and f have the same value?
False
Let b = -32 - -35. Suppose -4*q = l - 31 - 60, 0 = -b*q - 3*l + 66. Is q > 22?
True
Let d(g) = -2*g**3 - 9*g**2 - 8*g - 9. Suppose -2*x + 1 = j + 5, 5*j + 20 = -x. Let c be d(j). Which is smaller: 2 or c?
2
Let t(m) = -4*m**2 - 67*m + 18. Let v be t(-17). Is 4/223 greater than or equal to v?
False
Let q be (33/22)/(24/(-2)). Let z = -2 - -3. Which is smaller: z or q?
q
Suppose -4*x - 2*b = -7*b - 71, 93 = 5*x - 2*b. Which is smaller: x or -2?
-2
Let m(n) = -n**2 + 12. Let q be m(0). Let c be 212/4 - q/(-3). Which is bigger: 56 or c?
c
Suppose -82*q = 143 + 21. Is 30 smaller than q?
False
Let y be 34/6 - (-2)/(-9)*3. Suppose s + 8 = 5*u, -2*u - y = 5*s + 8. Which is greater: u or 12/11?
12/11
Let n(y) = y**2 - 7*y. Let o be n(7). Let f be o - (1*-4 + 2). Let d be (-1 + f)/(2/(-22)). Is 0.1 <= d?
False
Suppose 0 = -2*i - 4 + 12. Suppose -f = 3*f + i. Let z = 469/5 - 95. Is z <= f?
True
Let z = 4 - 18. Let s = 51/4 + z. Let o be (5 + -7)/(-2) + (-8)/4. Is s at most o?
True
Suppose -2*w + 2 = -0. Let t(p) = p**2 + 10*p - 11. Let j be t(-11). Which is smaller: w or j?
j
Let c be (-4 - 15/(-6))*-2. Suppose s - 13 = -4*s - 2*n, 4*s = c*n + 15. Is 3 != s?
False
Let n = 477 + -472.81. Let z = n + -4.5. Let i = 0.11 + z. Which is smaller: i or -5?
-5
Let x = 9 - 4. Suppose 0*j + 10 = 2*j, 0 = 5*t - 3*j + x. Let o = -0.1 + 0.1. Is t smaller than o?
False
Let i be ((-22)/330)/(5/59). Let w = -1/75 + i. Let q = -5 - -3. Is w greater than q?
True
Suppose 0 = -7*d + 54*d + 1786. Which is smaller: -39 or d?
-39
Suppose -m = 4*m + 40. Let g = m + -28. Let p = g + 115/3. Which is smaller: 2 or p?
2
Let y = 0.0536 - 0.1436. Let h = -374/35 - -72/7. Which is smaller: h or y?
h
Let m = 119 - 120. Which is smaller: m or -1/73?
m
Let u = 2.95 - -5.08. Let f = u + -0.03. Let y = 8 - f. Which is smaller: -0.1 or y?
-0.1
Let x(s) = 15*s - 332. Let w be x(-19). Is -617 at least w?
True
Let a(c) = c**2 - 41*c + 41. Let z be a(40). Which is bigger: -4/259 or z?
z
Let j be ((-53)/30)/(3/(-18)). Is j != 11?
True
Let k = 2/31163 + -2953/1869780. Which is greater: k or -1?
k
Let d be 7*4/70 + 298/5. Let u be (-24)/d + (-64)/(-10). Suppose -27 = -3*p + 4*c - 7*c, -4*p - 3*c + 34 = 0. Is p less than or equal to u?
False
Let k = 3158/12999 + -3/619. Is -2 >= k?
False
Suppose -1 = -7*a + 27. Which is smaller: 10 or a?
a
Let i = -5.61 + 0.11. Let o = i + -1.5. Suppose -2 - 3 = 5*z. Which is smaller: o or z?
o
Suppose 4*u + 58 = -202. Let p = u - 26. Let d be (-9)/21 + (-53)/p. Is d equal to -3?
False
Let t be (-78)/(-10) - (-8)/40. Let h = 5 - t. Let r(s) = s**3 + 3*s**2 - s + 8. Let q be r(-4). Which is smaller: q or h?
q
Let m = 1.2057 + -0.2057. Let v = -53 - -34. Let p be 0 - 1 - 17/v. Which is smaller: p or m?
p
Let c = 147 + -138. Let n(b) = b**3 + 5*b**2 + 3*b - 1. Let o be n(-4). Let s be (0 - -6)*4/o. Which is smaller: s or c?
s
Let y be 15/10 - (-3)/(-2). Suppose y = -k + 2*k. Let j(x) = x**2 - 5. Let m be j(k). Which is smaller: -3 or m?
m
Suppose -3*n + 150 = -8*n. Let g = -1 + n. Is -29 at least as big as g?
True
Let j = -83 + 92.7. Let w = 9.6 - j. Which is greater: 7 or w?
7
Let o be 2/(5 - 102/20). Let l be (-5)/(o/(-32)) + 4. Do l and -9 have the same value?
False
Let u = -4.6 + 21.2. Let l = u - 17. Is l less than 3?
True
Suppose -4*z + 153 = -23. Suppose 0 = 3*k + 9, -2*n - k + 3 = -2. Let a be n/(-18) - z/(-9). Is 4 >= a?
False
Let q = -319/237 + 1/79. Is -4.3 less than q?
True
Let p = -146 - -259. Suppose 4*m + p = 9. Let v = -92 + 67. Which is bigger: m or v?
v
Let t be (-6)/(-14) + (-76)/14. Let f = t + 6. Suppose -4*k + 9 = -2*i - 13, -5*i + f = 4*k. Is 2 at most as big as k?
True
Let p be 9/24 + (-100533)/248. Which is smaller: 0 or p?
p
Let w be -2*1/(-2)*(2 + -1). Let u be (-1)/(-2) + (-15)/2. Let h be (-44)/105 + (-2)/u. Is w greater than h?
True
Let o be -8*(-1)/2*2. Suppose -2*s + 3*u + o = 0, 4*s - u - 2 = 4. Suppose 0 = 2*j + 9 + s. Is -5 smaller than j?
False
Let i be (125/(-39125))/(1 + 8). Are i and 0 non-equal?
True
Suppose -5*f = -2*q + 23, 3*q + 5*f + 11 = 2*q. Suppose 3*d - q = 2*d. Suppose -3*z - z = d. Which is smaller: 3/2 or z?
z
Let b be (-18)/8*-4 + -1. Suppose b*p = 7*p + 25. Is 25 > p?
False
Let y = 61 - 96. Let u be 12/(-4) + 0 + 2 - 34. Is y > u?
False
Let u be (6 + -2 + 1)*1. Let t be 10*((-3)/u - -1). Is 0 less than t?
True
Let z = 11.97 + -13.37. Which is smaller: 21 or z?
z
Suppose 2*w + 36 - 44 = 0. Suppose 5*t + 21 = 3*k, -4 = -2*k - w*t + 10. Which is smaller: 39/5 or k?
k
Let h = 209 - -77. Let f be 8/(-6)*(-33)/h. Which is smaller: f or -3/2?
-3/2
Let j = 286 + -9151/32. Let o = -3 - 1. Let v = o - -3. Is j != v?
True
Let m = 0.093 + 59.907. Let y = -59.73 + m. Which is smaller: 1 or y?
y
Let d be 1/2*3*52. Let l = d + -48. Let q = 22 + -23. Is l smaller than q?
False
Let l(y) = -4*y**3 + y**2 - 1. Suppose 5*s - 25 = 0, -4*s = -d - 12 - 7. Let f be l(d). Suppose 4*a - 7 = -27. Which is smaller: a or f?
a
Suppose -7*t - 140 = -3*t. Let a = t - -23. Let v be 10/60 + 2/a. Is v > -1/25?
True
Let u(p) = 4*p**3 + p**2 - p + 2. Let d be u(-3). Let t be 4 - (d/(-24) + 0). Suppose -2*b = -6*b. Which is bigger: b or t?
t
Let a = 48221/5 - 9566. Which is bigger: a or 78?
a
Suppose -s - 8 = 3*s, -3*w - s = -4. Let d(v) = -15*v**2 - 4*v + 1. Let o be d(w). Is -67 > o?
False
Let t be (1 - 2518/(-8))*(-6)/45. Let q = 145 + -103. Let f = q + t. Which is bigger: f or -1?
f
Let o = -8 - -12.8. Let m = -443 + 443. Which is smaller: m or o?
m
Let n = -19739 + 19620.87. Let m = n - -118. Suppose 0 = -t - 0*t + 2. Is m at least t?
False
Suppose 0*p + w = -p + 4, 2*p = 2*w - 8. Let n be -246*14/1701 - -2. Which is greater: n or p?
p
Suppose 0 = -2*h - l + 4 + 4, h = -2*l + 7. Let g be h/((-324)/(-22))*-3. Let p = -1/9 - g. Which is smaller: 2 or p?
p
Let z(i) = -i**3 + 6*i**2 + 7*i + 5. Let g be z(7). Suppose -2*v - g*l + 4*l - 5 = 0, 3*l + 15 = 3*v. Let t = v - 10. Are -10 and t non-equal?
False
Let b be ((-162)/4)/3*-2. Are b and 34 equal?
False
Suppose -7*i = -p + 12, 5 - 7 = 2*i. Do 104 and p have the same value?
False
Let o = 53 - 89. Let n be 4/(-6)*o/40. Which is smaller: 0 or n?
0
Let n be ((-2)/6)/((-2)/72). Suppose -3*c - 9 = -x - 2*c, 3*c + n = 0. Suppose 4*w = -3*k - 14 + 62, x*w - 87 = 3*k. Does 14 = w?
False
Let k = -595 + 773. Which is smaller: k or 2?
2
Let u be (-12)/(-6) + 256/(-8). Is -29 less than u?
False
Let b(f) = -3*f + 13. Let o(s) = -s**3 - 10*s**2 + 10*s - 1. Let d be o(-11). Let a be b(d). Are -17 and a equal?
True
Suppose -2*n = 3*w + n + 285, 3*n = 9. Let o = w + 2844/29. Which is smaller: 1 or o?
o
Let z = -0.19 + -2.81. Is -0.2 bigger than z?
True
Suppose -11*f = -0*f + 22*f. Let k = -2861/7 + 408. Is f greater than k?
True
Suppose 6*n - 5*n = 6. Let q be (-21)/14*(-20)/n. Suppose -j + 3*t = -7, 3*j + 4 = -q*t - 3. Is 0 less than or equal to j?
True
Suppose 149 = -35*x - 201. Are -7 and x equal?
False
Suppose -3*z + i = -1, -8 = 3*z - 7*z - 2*i. Let t be 21/7 - (-122)/(-5). Let m = 109/5 + t. Is m > z?
False
Suppose -u + 2 = -12. Suppose -15*p - 15 = -u*p. Is p at most -15?
True
Let w = 179 - 165. Does 14 = w?
True
Let b(v) = v**3 + 12*v**2 + 9*v - 9. Let j be b(-11). Suppose -4*q + z - j = -q, -28 = 4*q + 4*z. Let s = -0.6 + 0.5. Which is smaller: s or q?
q
Suppose -4*c = 2*n - 34, -c = 3*n - 0*n - 21. Suppose -2*p + 38 = 4*l, 0*l - 45 = -3*p - 3*l. Let d = 16 - p. Which is bigger: d or c?
c
Let a = 541 - 533. Let l = 1 - -4. Is a != l?
True
Let m be 6/(-3) + (1 - 152/(-174)). Let s = m + -412/29. Which is bigger: -14 or s?
-14
Let a(m) = m**3 - 8*m**2 + 2*m + 5. Let c be a(7). Let r be c/(-8) - 4/(-16). Suppose r*p + w = -p - 27, 0 = -2*p + 3*w - 21. Which is bigger: p or 2/5?
2