 g = -295 - -386. Suppose 209*a + g = 216*a. Let p be (-2)/(-4) - 25/(-2). Does p = a?
True
Let l = -7602 + 7597. Which is greater: l or 1/77?
1/77
Let v(r) = -71 - 4*r**3 - 90*r + 5*r**3 + 100*r - 2*r**3 - 46 + 8*r**2. Let z be v(7). Which is greater: 36/13 or z?
36/13
Suppose 110 = -5*k + 3*z, 4*k - 6*z = -3*z - 91. Let f(w) = -2*w - 42. Let h be f(k). Let j be h/10 + 177/105. Which is smaller: j or -1/4?
-1/4
Suppose 86*l = 79*l + 35. Suppose -4 = y - l. Is -6/29 less than or equal to y?
True
Let j(x) = -x**3 + 87*x**2 - 201*x - 4074. Let v be j(84). Let u be (2 + -1)*(206 - -3). Is v bigger than u?
True
Let x = -12 + 9. Let a be 4/(-14) - (43686/(-35))/9. Let h = a + -140. Which is smaller: x or h?
x
Let s(z) = -2*z**2 - 131*z - 1466. Let i be s(-13). Which is smaller: -103 or i?
-103
Suppose 8*o - 396 = -14*o. Let h(r) = -r + 21. Let t be h(o). Which is greater: 32/17 or t?
t
Let m be (-970)/(-776)*(-1 - -5) + (-9214)/1842. Are m and -6 nonequal?
True
Let p = 0.687 + -1.977. Let v = p + 1.19. Which is smaller: v or -274?
-274
Let p = 18 - -50. Let v = p + 18. Is v not equal to 87?
True
Suppose 4*o - 16 = 6*o. Let p = 0.18 - 0.23. Which is smaller: p or o?
o
Let k(f) = -f**2 - 20*f - 70. Let z be k(-14). Suppose -8*i - 30 = -z*i. Which is bigger: 2 or i?
i
Let i = -972.9 - -971. Which is greater: -27/7 or i?
i
Let p be (-4)/18 + 6/(1089252/40069). Let f = p + 2/711. Is f > -1?
True
Let k = 6/295 + -313/885. Let v = -678 + 677. Is v > k?
False
Let h = 126 - 88.6. Let r = -41 + h. Let f = -302.1 - -302. Which is bigger: r or f?
f
Let w(k) = -69*k - 2605. Let g be w(-37). Which is smaller: g or 4?
g
Suppose -5*x - 1008 = 9*x. Let n be (-12)/(-7)*112/x - 0. Which is greater: n or -1/4?
-1/4
Suppose 24*p - 9*p + 7*p - 1782 = 0. Is 116 != p?
True
Let j = 3649/786 - -25/131. Let q be 16/(-60) + 4/(-30). Is q <= j?
True
Let n = 1/63099 + 106184/441693. Let q be 12/(-82)*(-4)/(-6). Let f = n + q. Is f at least as big as -1?
True
Let s(v) = 2*v**3 - 13*v**2 + 12*v + 4. Let a be s(5). Let k(b) = 2*b**2 + 30*b + 88. Let x be k(a). Is -2/1137 at most x?
True
Let z(b) = -49*b**2 + 3 - b + 13*b**2 - 2. Suppose -25*m + 18*m = -7. Let h be z(m). Is -36 less than h?
False
Let u be 518 - 10 - (-6 - (-2 - 0)). Suppose 10*m - u = 6*m. Which is smaller: m or 127?
127
Let n = 39 + -35. Suppose -150 = -n*p - 2*p. Suppose p*z = 24*z - 33. Is -34 >= z?
False
Let v = -9.7 + -139.9. Let o = v - -151. Does o = 1?
False
Let o be ((-7)/(882/60570) - 4/14) + 2. Is 1/4 equal to o?
False
Let m be (10/(-4) + 1)/((-12753)/(-1308)). Is m bigger than 6.5?
False
Let o(z) = 4*z - 4. Let p be o(2). Which is greater: 90/31 or p?
p
Let j be 6/(-13) + (-704)/(-286). Which is greater: j or -664?
j
Let s be (-2226196)/(-1274) - 96/(-312). Which is smaller: s or 1748?
s
Let w = -78 + 78. Suppose 137*s - 141*s + 4 = w. Suppose -1 + s = 2*y. Are y and -2/11 unequal?
True
Suppose -21*n = -18*n - 618. Let o = n - 54. Is 154 <= o?
False
Suppose 120*f - 19792 = 117*f - 5*g, 3*f = g + 19816. Is 6604 at most as big as f?
True
Suppose -4*m - 4*n + 5*n = -181, 5*m + n = 215. Suppose m = -13*h + 15*h. Let c be 0 + 4/(-22) + 26/h. Is c less than or equal to 6/5?
True
Suppose -4*b + 6 = 2*x, -5*b = -4*x - b + 12. Let y(m) = 2*m**3 - 6*m**2 + 4*m + 5. Let o be y(x). Is o bigger than -2?
True
Let g = -26/9461 + 206383/9688064. Which is smaller: g or 1?
g
Let p = 6.388 + 0.012. Let v = 6.67 - p. Let n = -1.27 + v. Which is smaller: n or -2?
-2
Let c be (-2)/8 - 61/(-4). Suppose -c*x - 295 + 25 = 0. Let l(i) = -i**3 - 19*i**2 - 14*i + 28. Let o be l(x). Is o less than -43?
True
Let h(s) = -s**2 - 6*s + 21. Let v be h(-9). Let z be v/(-14) + 38/14. Do z and 2 have different values?
True
Let m be (0 + -24)*16/8. Let y be (-8 - -102)*(-3)/6. Are y and m non-equal?
True
Let f = -376 - 79. Let u be -2*f/(-28)*1/10. Let b be (4/(-5))/((-1)/(-5)). Is b <= u?
True
Let s be (-1 - 15/144)*2. Let m = -7/8 - s. Let y = 67357 - 67356. Which is smaller: m or y?
y
Let u = -1599 - -17718/11. Let q = u + -5300/451. Let y = -16530 - -16529. Is y >= q?
False
Let m = 48 + -101. Let c = -21 - m. Suppose -2*f = -3*f - c. Are -33 and f non-equal?
True
Let l(g) be the second derivative of -4*g**3/3 + 43*g**2 + 45*g. Let i be l(10). Is 6 bigger than i?
False
Let z(p) = 10*p - 54. Let d be z(9). Let t be 99/d + 2/8. Suppose 0 = 4*b - 5*q + 132, 0 = b + 4*q + 36 - t. Which is smaller: b or -31?
b
Suppose 261 = 15*l - 9. Let i be ((l/285)/(-3))/(969/(-85)). Is 1 greater than or equal to i?
True
Suppose 20 = 5*m + 50. Let h be (m/(-63)*3)/((-6)/27). Which is smaller: h or -2/3?
h
Let k = -209 + 165. Let r be 0*(k/12 + 2 + 2). Which is smaller: 1/71 or r?
r
Let i = -185/1066 + 11/1599. Which is greater: i or 1587?
1587
Let b(u) = -2*u**3 + u**2 + 3. Let f be b(3). Suppose 17*z - 35*z = 0. Suppose -4*w - 169 = -s, z = -17*w + 22*w - 4*s + 225. Are w and f unequal?
True
Let k(f) = -f**3 - 9*f**2 + 17*f + 15. Let d be k(-11). Suppose 2*j - 3*v - 1 = d, -3*v = 2*j - 53. Suppose -x + 6 = 5*o + 1, 5*o = -25. Is j equal to x?
False
Let l be (432/(-952))/9*28/(-8). Let m(i) = i**2 + 4*i + 4. Let y(x) = -2*x**2 - 9*x - 9. Let a(n) = 5*m(n) + 3*y(n). Let w be a(-6). Is l at most as big as w?
False
Let u = -442 + 702. Suppose -4*n - 2*m - 208 = 0, 5*n + 0*n + 4*m = -u. Which is smaller: -47 or n?
n
Let t(a) = -3*a**2 + 194*a - 672. Let d be t(61). Which is bigger: -8/3947 or d?
-8/3947
Let k = 135.31 + 1.67. Let j = 137 - k. Let u = 0.2 + -1.2. Is j smaller than u?
False
Let j(p) = 91*p - 26. Let y be j(-108). Is -9855 bigger than y?
False
Let t = -2537.9 - -2424. Let h = 113 + t. Does h = -0.4?
False
Suppose 144 - 124 = 5*o, o = -b - 58. Which is smaller: b or -78?
-78
Let h(n) = -n**3 + 36*n**2 - 94*n - 161. Let f be h(33). Is -15 at least f?
False
Let z = -0.046 - -0.246. Let k = 107 + -29. Let b = -391/5 + k. Do b and z have different values?
True
Suppose -2 = 5*q - p, 4*q - 26*p + 31*p + 19 = 0. Let u = 230 + -34727/151. Are q and u equal?
False
Suppose -6*j + 6 + 0 = 0. Let q = 3085/102 + -179/6. Which is smaller: q or j?
q
Let u = 6339 + -6340. Which is smaller: -182/223 or u?
u
Let j = -201 - -19093/95. Let b = -170729 + 170730. Is b <= j?
False
Let b = -0.83 + -1.57. Let d = -2.1 - b. Which is smaller: d or 1/16?
1/16
Suppose 4*i + 228 = -16. Let k = -62 - i. Which is smaller: 7/8 or k?
k
Let g = 261 - -275. Let x be 10/15 + g/(-21). Which is smaller: x or -25?
-25
Let g be 4/(-14)*791/1017. Is 397 greater than g?
True
Let j be (-2*1)/((-32)/(7 - 64839)). Is -4053 less than j?
True
Let j = 1008 + -1010. Which is smaller: j or 14/5?
j
Let k = -527.53 - -525. Let p = k + 2.73. Is p less than 1?
True
Let l(s) = -s**3 + 16*s**2 - s + 13. Let v be l(16). Let z = v + 3. Let d = 73/572 + -9/44. Is d greater than or equal to z?
False
Suppose 4*j = -0*j - 60. Let m be 1340/11 - 86/(-473) - -4. Let b be (-10)/j*m/(-3). Which is smaller: b or -26?
b
Let p = -1074.84 - -1101. Which is smaller: 1/2 or p?
1/2
Let r(m) = m + 9. Let h = -2 + 6. Let q be r(h). Let k = 51/4 - q. Is -11 != k?
True
Suppose -587 + 311 = -3*g. Is 91 smaller than g?
True
Let i be -17*105/(-714) + (-5)/(-4)*1. Suppose 5*p + 3 - 23 = 0. Which is bigger: p or i?
p
Let i(f) = -5*f + 65. Let u be i(11). Let h be (u/655)/2*2. Which is greater: 0 or h?
h
Suppose 5*i = 4*y + 8 - 47, -3*i - 5*y - 53 = 0. Let x(t) = t**3 + 10*t**2 - 11*t + 18. Let m be x(i). Let g be (-28)/(-153) - 4/m. Which is greater: 1 or g?
1
Let x be 67/42 - 4750/3325. Suppose 4*y - 2*m = 8, y + m + 1 = -3. Is x at least y?
True
Let o = -5518 + 5194. Which is bigger: o or -320?
-320
Let b(x) = x + 14. Let g be b(-14). Let c be (30/(-9) - g)/(4/(-6)). Suppose -n - 6 = -1, -5*a + 2*n + 45 = 0. Is a < c?
False
Let c = 13501/51 + -265. Does 1 = c?
False
Suppose 2*a = -4*a + 246. Suppose -2*p = 5*c - 104 - a, -2*c + 58 = -4*p. Is 29 greater than c?
False
Let x = -4551/4 + 1147. Let t = x + -193/20. Let c = 49 + -38. Is t >= c?
False
Suppose -2*c - 4 = 0, -9*c = p - 4*c + 756. Are p and -746 non-equal?
False
Let f be -1 + (21 - 14) + -6. Which is smaller: -0.268 or f?
-0.268
Let n = -9630 - -9623. Is n bigger than -26.8?
True
Let c be ((-65)/(-2))/((-4)/320). Is -2600 < c?
False
Suppose 0 = 4*v + 5*m + 1895, -2