) = -2*l**2 + 5*l - 2. Let x be u(3). Let g = x + n. Which is bigger: g or 1/2?
1/2
Suppose -3*n - 22 = -2*r, -r - 13 - 3 = 3*n. Let v be 0 + 2 + n/3. Which is smaller: v or -3?
-3
Let c = 135 - 139. Is -6/11 smaller than c?
False
Let g(p) = 22*p + 13. Let l be g(11). Let q be 117/l + (-2)/5. Which is smaller: q or 1?
q
Let v(p) be the third derivative of p**5/30 - p**4/6 + p**3/2 - 2*p**2. Let i be v(2). Let u be -1 + i - (1 + 1). Is u smaller than -2?
False
Suppose -3*p + 48 = l + 11, 2*p = 3*l + 43. Let x = -7 + p. Which is smaller: 6 or x?
6
Let h = -0.23 + -4.77. Is -0.3 != h?
True
Let h be (48/(-20) - -3) + -1. Let x = 55 + -52.95. Let y = -0.05 + x. Is h not equal to y?
True
Suppose 0*x = -x + 2*s + 9, -5*x + 36 = -s. Let u be (-4)/(-3) - (x - 8). Do u and 1 have different values?
True
Let d(a) = a**2 + 4*a - 13. Let v be d(-6). Which is smaller: -15/8 or v?
-15/8
Let a be -1 - ((-20)/3)/4. Let h = 0.09 + 4.91. Which is smaller: h or a?
a
Let b = 0.08 - 0.04. Let a = b + -0.24. Which is smaller: -0.1 or a?
a
Let t = -1 + 3. Let g be (t - 0)*4/(-8). Let u be (-1)/(-4)*(-1 + g). Are 0 and u nonequal?
True
Let g(c) = c**2 + 2*c - 4. Let f be g(-3). Is f != -1?
False
Let s(m) = -2*m - 6. Let u be s(-7). Suppose 0*k + 4*k - 2 = -x, u = -4*x. Let f be (1*-1)/(k/5). Which is smaller: f or -3?
f
Let u(z) = -z**3 + 6*z**2 + 1. Suppose s + 2*h - 5*h = 9, -5*s = h + 3. Suppose 0 = 4*l + 3*i - 2*i - 24, s = -i. Let j be u(l). Do 0 and j have the same value?
False
Let a = 19 + 0. Let h be a/(-15) + 2/3. Suppose -16 = 3*i + 4*p, 4*p - 3*p = -2*i - 4. Are h and i nonequal?
True
Let y = -3 + 3. Suppose y = -2*p + 7*p + 10. Is 2 at most as big as p?
False
Let r be (3 + -3)/(-1 + 2). Are r and 7 equal?
False
Suppose -5*h - 10 = -3*l - 0*l, 25 = 5*l. Let f be (3*(-3 + 2))/h. Let n = -7 - -5. Which is bigger: f or n?
n
Let g = 26 - 15. Let d = 8 - g. Let u = d + -1. Do -2/7 and u have the same value?
False
Let w(g) = -g**3 + 4*g**2 + 4*g - 1. Let l be w(5). Which is bigger: l or -7?
l
Let u be ((-24)/(-15) + (-6)/10)*2. Which is smaller: u or 3/11?
3/11
Let i(m) = 4*m**2 + 6*m - 10. Let b(f) = 3*f**2 + 4*f - 7. Let n(r) = 7*b(r) - 5*i(r). Let t be n(3). Is 0 at least t?
False
Suppose -4 + 16 = 12*u. Which is smaller: 5 or u?
u
Let z = 368/9 - 40. Which is smaller: z or 1?
z
Let i = 35 - 20. Is i <= 15?
True
Let c = -691/13 - -53. Which is smaller: 0.1 or c?
c
Let x be 1/(-4) + (-4)/((-112)/7). Suppose -8 = 7*i - 2*i - j, -9 = 3*i - 2*j. Is x > i?
True
Let i = -6 - -8. Let u(d) = -9*d**2 - 3*d + 1. Let c be u(3). Let t = c + 271/3. Is i greater than or equal to t?
True
Suppose -3 = 2*o + c - 0, -4*o = -c - 9. Suppose 3*f + 4*b = -o, 5*b = 3*f - 0*f + 46. Is f smaller than -6?
True
Let x = -19 + 48. Are 29 and x equal?
True
Let b = 0.054 - 0.014. Which is bigger: 4 or b?
4
Let s(p) be the second derivative of -p**5/20 - 5*p**4/12 + p**3 - 3*p**2/2 - 2*p. Let d be s(-6). Let l be (-5 - -10)*4/(-5). Is l <= d?
True
Suppose -2*d - 13 = 23. Let f be (-4)/d + (-244)/(-36). Let s(g) = -g**3 - g + 1. Let k be s(0). Which is smaller: f or k?
k
Let a = -17 - 3. Let y = 21 + a. Let k be 2/7 - 2/7. Which is smaller: k or y?
k
Let q = -16/5 + 19/5. Is q greater than 2?
False
Suppose 3*m - 5*m + 14 = 0. Let s(b) = -b + m*b - b - 2*b. Let z be s(-1). Is z <= -4?
False
Let g be (12/8)/(6/(-32)). Suppose -v + 9 = -h, -2*v = -4*h - 3*v - 36. Do h and g have different values?
True
Let s = 70/11 + -608/99. Does 1 = s?
False
Suppose 8*v = 4*v - 4*j + 64, 3*v - 3*j = 24. Let z = 8 - v. Which is greater: z or 0.1?
0.1
Let j = 936194/251 + -5352067558/1434465. Let m = j - 2/1143. Is m bigger than -1?
False
Suppose -4*w = -4 - 4. Let r(s) = -s**2 - 3*s. Let v be r(-4). Let t be 0 - 0 - v/7. Is w less than or equal to t?
False
Let f = -4 + 5. Let z be ((-6)/(-9) - f)*1. Is z >= 1?
False
Let o be (-11594)/85 + 2/5. Let i = o + 950/7. Which is bigger: i or 22?
22
Let b = 122/3 + -41. Are b and 2 non-equal?
True
Let u = -2.9 - -3. Let k = -0.4 + 5.4. Let w = k - 3. Which is greater: u or w?
w
Let h be (-168)/245 - 4/(-10). Let q(v) = v**3 + 5*v**2 + 5*v + 4. Let r be q(-4). Is r equal to h?
False
Suppose 5*b - 2*q - 2 = 38, q + 11 = b. Is 3 at most b?
True
Let t be (-6)/(-39) + 33/39. Let y = 1/76 - 163/836. Is t greater than or equal to y?
True
Let n(m) = -3*m - 19. Let i be n(-9). Is 4 < i?
True
Let p = -51 - -23. Let j = -27 - p. Is j at most 0.6?
False
Let g = -71/2 + 33. Is -4 less than g?
True
Let w(f) = -f**2 - 3*f + 8. Let z be w(-5). Let a be ((-135)/(-69) + z)/1. Which is bigger: 1 or a?
1
Suppose -3*w + w = 0. Is 2/27 at least as big as w?
True
Suppose -3*c + 35 = -97. Which is bigger: -1 or c?
c
Suppose 4*p = -20 - 8. Let q = 5 + p. Which is greater: q or -3?
q
Suppose 3*g - 58 = 3*u + g, -8 = -4*g. Is -18 greater than u?
False
Let h = -1192/7 - -170. Let o = 0.1 + -0.2. Which is smaller: h or o?
h
Suppose 0 = -3*y + 2*y + 5. Suppose 2*z = -y + 1. Let g = -18 + 15. Which is greater: z or g?
z
Suppose 0 = -4*i, 2*d + 2*i + 38 = 10. Is 1/2 equal to d?
False
Let m = 1.9 - 98.9. Let f = m + 89.3. Let j = f - -8. Is j <= 0?
False
Let h = -308 - -28337/92. Which is smaller: 0 or h?
0
Let m = 0.05 - 0.01. Let w = m + -0.14. Which is bigger: -0.2 or w?
w
Suppose -6*z = -5*z - r - 4, -4*z + 2*r + 10 = 0. Let i be z*(-3)/12*-2. Let o be 5 - (5 + -2) - 1. Which is smaller: i or o?
i
Let f be (-12)/(-20) - 18/5. Let i be -3 - ((-4 - f) + -1). Let s = 14 - 55/4. Is i != s?
True
Let z = -6 - -10. Suppose z*s - 8 = 5*b, s + 0 - 2 = -b. Let o = -3 - -4. Which is smaller: o or b?
b
Suppose 432 - 84 = -6*m. Is -59 smaller than m?
True
Let d = 12.88 - 13. Let p = d - -5.12. Which is bigger: 1 or p?
p
Let s be ((-2)/(-15))/((-5)/(-25)). Which is smaller: s or 1?
s
Let f = 63 - 40. Which is greater: f or 25?
25
Let o = -25/3 - -103/12. Suppose -4*h - 3 = -7*h. Let w be 0/(-2)*h/(-2). Which is bigger: w or o?
o
Let w(a) = -a**2 - 8*a - 1. Let u(k) = k**3 + 4*k**2 - 3*k + 2. Let v be u(-5). Let y be w(v). Let t be (-22)/11 - (y + -4). Which is smaller: t or 2?
2
Let a = -10 + 7. Let n = -2.1 + 2. Is a > n?
False
Let j = -37/164 - 1/41. Let u = -49/1131 - 1/39. Let l = u + -52/87. Is j < l?
False
Suppose 3*u + 3 = 0, 4*x - 1 + 10 = -5*u. Suppose 5*y + 0*y = -3*c + 29, -4*y = -3*c - 7. Let m = c + -4. Is x at least as big as m?
True
Let o = -4 + 1. Let r be 8/4 + (o - -1). Let q = -11/20 + 4/5. Is r >= q?
False
Let i be ((-3)/(-36))/((-12)/256). Is -1 != i?
True
Let k = -94 - -94. Let f = 1/413 - -18583/826. Let y = 23 - f. Is k greater than y?
False
Let l be 286/730 + 1/(-5). Let r = 486/511 + l. Is 1 not equal to r?
True
Let r = 0.2 + 0.3. Let l = r + -0.2. Let o = 0.96 - -0.04. Which is greater: o or l?
o
Let z = -24.8 - -25. Let q = -0.8 - -1.1. Which is greater: q or z?
q
Let l be (-1)/(4/(-8)*2). Is 9/7 not equal to l?
True
Suppose -4*b - 3*q = 38, b = q - 2*q - 10. Let h be (5/(-50))/(b/20). Let j = -1 - -1. Are j and h unequal?
True
Let n(x) = -2*x + 26. Let c be n(5). Are c and 16 non-equal?
False
Suppose 3*w + 3*o - 15 = 6*w, o = -3*w - 23. Let p = 6 + w. Let m(g) = -g + 6. Let h be m(5). Is p < h?
True
Let u be 2/44*(-8)/(-3). Which is greater: u or 0?
u
Let c(b) = 5*b + 17. Let i be c(-17). Are i and -68 unequal?
False
Let d = 28 + -26.87. Let n = d - 0.13. Let s = -0.1 + 0.1. Which is bigger: s or n?
n
Let t be (1 - 0) + 4 + -4. Suppose 0 = 4*o - 4*j - 8, t = -j - 1. Let v = 8 + -10. Which is smaller: v or o?
v
Suppose 5*y + 35 = -w, w + 0*w = -2*y - 32. Which is greater: -32 or w?
w
Suppose -5*l - 2*c + 8 = 0, -4*c + 4 = 4*l - 0*c. Let g = 33 + -20. Let i = -10 + g. Is i equal to l?
False
Let r be (-10)/(-9)*(-48)/(-14). Let t = r + -11/3. Is t bigger than 0?
True
Let c be 0 + 2/13 - 1878/39. Is -48 less than or equal to c?
True
Let z be (-1)/(-8)*(-16)/12. Is -2/9 > z?
False
Let g(a) = -a**2 + 17*a + 44. Let f be g(19). Which is bigger: 1 or f?
f
Let k = -0.01 - 1.99. Let r = k - -2.2. Suppose q = 3*f + 6, 2 = -f + 4*q - 0*q. Which is smaller: r or f?
f
Let u = 0 + 0. Let n = 0 - -0.07. Let c = n + 1.93. Is c bigger than u?
True
Let d(o) = o**3 + 4*o**2 - 5*o + 2. Let h be d(-5). Suppose -g - 2*w = -3 - 2, 4 = 2*g + h*w. Let j = -3 - -1. Which is greater: j or g?
g
Let k be 1/(-