u(5). Is h equal to a?
False
Let k = 171 - 159. Suppose f + 25 = 2*s + 2*f, s = 2*f. Let a = k - s. Which is smaller: 3 or a?
a
Let q = 6612.634 - 6.634. Is -2/5 not equal to q?
True
Let m = -102415/136 - -4916/17. Is -464 at most as big as m?
True
Let b = -520319 + 520321. Let u be (-6)/(-4)*(-2)/(-1). Is u at least as big as b?
True
Let t(w) = w. Let o(p) = -64*p + 10. Let b(a) = o(a) + 2*t(a). Let x be b(4). Let j be (-204)/x*7/4. Which is greater: j or 1?
j
Let l = 4678 + -4678. Which is greater: -1069 or l?
l
Let s(q) = 27*q**2 - 85*q + 5. Let z be s(4). Suppose -7*h - 3*h + 980 = 0. Is z > h?
False
Let t = 0.43148 - 0.13148. Which is smaller: t or 0.434?
t
Let g = -24 + 14. Let y be 3*(-5)/(-15) + g/(-2). Let z be -1*y/(-15) - 9/(-15). Is z < 1/23?
False
Let j = 71 - 75. Let z be j/(-20) - 28/(-385). Is z not equal to -1?
True
Let d = -1518.675 - 3.325. Which is greater: d or -3?
-3
Let f(g) = -1252*g + 6105. Let y be f(5). Which is smaller: y or -149?
y
Let x = -65 - -609. Let m = 549 - x. Do -1 and m have different values?
True
Suppose 2*s - x - 4 = -2*s, -3*s + 2*x = 2. Let w be (-6)/s*(-5)/(-18). Let y = -8417 + 8415. Is w < y?
False
Let f(j) = j**2 + 5*j - 21. Let v be f(-9). Let s be (-212)/(-10) + 12/v. Let n be (-2)/(s - -3 - 2). Which is greater: 1 or n?
1
Let l be ((-1)/(8/6))/(15/20220). Is -1011 at least as big as l?
True
Let r be (-1)/((-7)/(-14)) - -2. Let i(g) = g**3 - g**2 - g - 26. Let l be i(r). Is -27 less than l?
True
Let b(v) = v**2 + 106*v - 66. Let c be b(-107). Which is bigger: c or -91?
c
Let u = 9119 - 81857/9. Is u at most as big as 25?
True
Let r be (5 + 57/(-15))*(2 - (-16)/72). Is -773 greater than r?
False
Suppose 3*a + 5*t = 1, -5*t = -2 - 23. Let p be (-4)/14 - (0 + a/28). Let g = 14/15 - 34/15. Is p < g?
False
Suppose 0 = -5*n - m - 687, 5632*m = 5*n + 5629*m + 679. Is -90 at most n?
False
Let j be 45/(-27)*(-114)/(-15485). Suppose 0*s = -2*s. Which is smaller: s or j?
j
Let s(d) = 5987*d - 5992*d - 85 + 7. Let r be s(-32). Which is greater: 81 or r?
r
Let n = 1151 + -1149. Is n bigger than -1859?
True
Suppose -3*m = -4*v - 16333, -3*m = -10*v + 14*v + 16291. Is v > -4077?
False
Let r be 1/3 - 35/(-3). Let s = 6944 - 6939. Suppose s*c - 3*m = -r, -3*m = c + m - 16. Which is bigger: -4/3 or c?
c
Let b be (4 - 17*-6)*((-63)/(-9))/14. Suppose -3*d + 135 + 24 = 0. Is d at least b?
True
Let t = 131/8 + -3529/216. Are -11/2 and t equal?
False
Let g be 11 + 135/(-12) + (-9335)/20*1. Which is smaller: g or -471?
-471
Let d = 17859 + -17859.03. Does 2/695 = d?
False
Suppose -55*w + 103 = -54*w. Let x = -307/3 + w. Is -326 less than x?
True
Let z = -703.9 - -1166. Let h = z + -462. Let j = 13 + -13.36. Is h less than or equal to j?
False
Let p be (99/1287)/((-2)/8). Which is smaller: p or -0.18?
p
Let o(l) = -l**2 - 9*l + 13. Let d be o(-10). Suppose 0 = 5*f + w - 3698 + 3726, 0 = w + 8. Are d and f nonequal?
True
Let i(x) = -11*x - 941. Let k be i(5). Which is smaller: -992 or k?
k
Suppose -5*s + 2*z = -103 + 276, 0 = 4*z + 24. Let t be ((-35)/(-2))/(2/(-4)). Is t bigger than s?
True
Let q = -0.57 + 0.07. Let p = -683.5 + 683.4. Which is bigger: p or q?
p
Suppose -3*a + 1 = y, 0 = -6*a + a - 5*y + 15. Which is bigger: 13 or a?
13
Let r(c) = -11*c + 133. Let u(s) = -11*s + 131. Let o(a) = -4*r(a) + 3*u(a). Let d be o(-23). Is d <= -393?
False
Let a = -0.3214 + 0.0214. Suppose 2*q + 10 = -3*q. Let h be 57/(-84) - q/8. Which is bigger: a or h?
a
Let s(n) = 12*n**3 + n**2 + 2*n + 1. Let t be s(-1). Let b = 43916 + -43927. Which is greater: b or t?
b
Let s(o) = -o**2 - 2*o + 1. Let p be s(-2). Let f(j) = j**2 - 2*j. Let v be f(p). Let i be ((-2)/76)/(v/(-4)). Is i at least -1/5?
True
Let z = 230.4 + -208. Let i = -23.37 + z. Let c = i - -0.97. Which is smaller: c or -0.8?
-0.8
Let h(l) = -10*l + 19*l + 12 + l**3 - 14*l**2 + 21 - 11. Let s be h(13). Let x be -3*265/s*(-2)/(-3). Is x at least as big as 18?
False
Let y(c) = 17*c**2 + 20*c - 29. Let n be y(3). Let z be 8/2 + 26*(-20)/n. Is 1 bigger than z?
False
Suppose 0 = 2*u + 10, u - 14 = -3*p - 1. Suppose -w = p + 3. Let a = 134 + -143. Is a greater than or equal to w?
True
Let k = 0.467 - 3.571. Let b = k - -0.104. Is b greater than 98?
False
Let w(t) = 4*t**2 + 8*t + 10. Let n = 16 - 20. Let u be w(n). Let b = u - 29. Is 13 equal to b?
True
Let r(l) = -106*l - 119*l + 248*l + 25. Let y be r(2). Is y > 71?
False
Let a be (9/2 + -1)*(12 - 14). Let d be (6/(-10))/(a + (-2736)/(-390)). Are d and -35 equal?
False
Let i = -6657 - -6892. Which is smaller: 229 or i?
229
Let b be (-674)/17861 + 2098/5035. Which is smaller: 1 or b?
b
Let w = 450 + -2707/6. Let c(m) = -3*m**2 - 5*m + 61. Let d be c(-13). Let f = d + 380. Which is bigger: f or w?
f
Let v be (-106083)/156 + -1 - 10/(-40). Let n = v + 680. Let l = -47 + 46. Is l less than or equal to n?
True
Let d = 3899 + -3756. Is d less than 145?
True
Let r be 7282/10 + (-21)/(-70). Let l = r + -700. Is l equal to 30?
False
Let s be (0 - -4) + 8/(-2). Suppose -631*u + 649*u = -90. Which is smaller: s or u?
u
Let k = -134 + 134. Let p(u) = -15*u + 3. Let h be p(2). Let x be (-1 - 650/(-576)) + 6/h. Which is bigger: x or k?
k
Let q = -48 + 49. Let d be (1 - (1 + 1)) + 3 + q. Suppose -2*k = 4, 4*o + d*k = 2*k - 6. Which is bigger: o or 2/157?
2/157
Suppose -2*u - 6 = 3*f, 3*f = -2*u + 4*f + 10. Suppose 4*t - 3*t + 78 = -3*o, 0 = t - u*o + 102. Is t at most as big as -90?
True
Suppose 26 - 29 = -3*z, 0 = -5*k + 2*z + 418. Let o be ((-8)/k*7)/(4/21). Let r(i) = -i + 2. Let x be r(6). Do o and x have different values?
True
Suppose 3*z + 5 - 8 = 0, 2*w + 19 = -z. Let j be ((-2)/(-29))/((-7 - 53)/w). Are 0 and j unequal?
True
Let j(c) = -c**3 - 12*c**2 + c + 11. Let p be j(-12). Let a be 17 - (7 - (p - -1) - 3). Suppose 3*v - 4 + a = 0. Which is bigger: 1 or v?
1
Let x = 23902806070/56409 - 423741. Which is greater: x or 0?
x
Let g = 1193 - 684. Which is smaller: g or 510?
g
Let g = 11 - 20. Let i = 47 - g. Let b = i + -55. Which is bigger: 26 or b?
26
Suppose 51*q = 56*q - 2*w + 10, 4*q - 25 = -5*w. Which is smaller: q or -9/2?
-9/2
Let v = -2546.1 - -2560.1. Which is bigger: v or 595?
595
Let m(p) = 2*p**3 - 11*p**2 + 4*p - 1. Let s be m(5). Let l be (-24)/s - (-1 - (-423)/87). Is l bigger than 1?
False
Let s be 2/(-10)*(-8 - 57). Suppose -r + 11 = -3*z + 2*z, -3*z - r - s = 0. Let u = 16/105 - 20/21. Which is bigger: u or z?
u
Suppose 0 = -27*r - 2*r - 172*r - 15678. Is r at least as big as -61?
False
Let z be (-4)/10 + 534*3/4080. Let t = z + 3095/136. Let l = -22 + t. Which is bigger: 0 or l?
l
Let n be (24/(-27))/((-14)/63) - -546. Let q = n + -559. Do q and -21 have different values?
True
Let k = 8.56 + 301.44. Let d = 308 - k. Is d at most 3.69?
True
Let u = -4488913/30 - -149596. Let c = -107/6 - u. Let b = 2603/155 - c. Is b < -1?
False
Let v = -3198 - -3221. Are 43 and v equal?
False
Let q = 2362 + -2361. Which is smaller: 11/249 or q?
11/249
Let w = -0.0549 - 1.3251. Let d = w - 20.62. Is d greater than 0.02?
False
Let a = -0.67817 + 0.05817. Which is bigger: -13 or a?
a
Let f be (1664/(-834))/1 + 2. Suppose -63*w - 283 = 51*w - 397. Is f greater than w?
False
Let k = -533 + 22. Let y = k - -6640/13. Suppose -5*r - 2*z = -9, 0 = r - 2*z - 149 + 152. Which is greater: y or r?
r
Let g = 9635 - 9816. Suppose l + 30 + 152 = 0. Is l less than g?
True
Let h(f) = -f**2 - 18*f - 13. Let z be h(-17). Let o(v) = -15*v - 6. Let w(l) = -45*l - 17. Let r(c) = z*w(c) - 11*o(c). Let j be r(1). Is -17 less than j?
False
Let j = -116604 + 116627. Let n(s) = s**3 + 2*s - 1. Let y be n(1). Suppose 18 = y*b - 26. Is b greater than j?
False
Let t be (-18)/135 - (-1209)/(-45). Suppose -2*a = 2*a + 3*r + 87, -4*r - 84 = 4*a. Let i = -52 - a. Is t > i?
True
Let v = 4/116671 + -43415342/116671. Let n = -372 - v. Let r = 251 + -250. Is n less than r?
True
Let n be 2/(-7) + 27/21. Let i(j) = -16*j - 2 + 26*j + 0*j - 8*j. Let u be i(n). Do 3 and u have the same value?
False
Let d(l) be the third derivative of l**4/24 + 25*l**3/6 - 9*l**2 - 2. Let p be d(-16). Let o = -18 - -13. Which is bigger: p or o?
p
Let o = 12884 - 142518/11. Which is bigger: o or -72?
-72
Let t be -10*(3/6 - 0). Let f = 7 + t. Let v be (-2 + 6)*(14/7 + -4) + 10. Is f at l