 l(i). Suppose -v + 4*v = -5*d + m, 2*d - 11 = -v. Which is smaller: v or -2?
-2
Let c(a) = 2*a + 3. Let x be c(-4). Let q = 2 + x. Let b be 3*q*1/(-45). Which is bigger: 0 or b?
b
Let v = -35.9 + 41. Let z = -4.9 - 0.1. Let o = v + z. Is o smaller than 1?
True
Let c(q) be the first derivative of q**3/3 + 3*q**2/2 - 5*q + 1. Let p be c(-4). Let v = 7 + -5. Which is bigger: p or v?
v
Suppose -10*w - 40 = -12*w. Let j = -9 + w. Is 11 > j?
False
Let s be (2 - 3/2)*-2. Which is smaller: -2/15 or s?
s
Let r = -9 + 32. Let p = -93/4 + r. Which is smaller: p or -3?
-3
Suppose 4*p - 192 - 188 = 0. Suppose -2*s - 3*s - 5*w = p, 2*w = s + 7. Is s < -14?
True
Let h be (-12)/44*8/12. Is h greater than or equal to -0.3?
True
Let g be -72 + -3 + (1 - 2/(-2)). Is g less than or equal to -73?
True
Let i = -97343/332 - -1173/4. Are 1 and i non-equal?
True
Suppose 0*p = 4*a - 5*p + 5, 2*p = -6. Let y be 2/8 - 45/12. Is a >= y?
False
Let g = -109.1 - -109. Which is smaller: g or -0.28?
-0.28
Let r(f) = -f + 1. Let w(h) = 7*h - 15. Let s(o) = 6*r(o) + w(o). Let l be s(5). Let m be l*(21/(-18))/7. Is m smaller than 0?
False
Let o(z) = -z**2 + 5*z + 1. Let c be o(4). Suppose -4*d - 4*t + 8 = 0, -d + c*t = t + 8. Does -4 = d?
False
Suppose -5*o - 3*v + 6*v + 17 = 0, 3 = 3*v. Suppose o = j - 3*j. Let c = 0 + j. Which is bigger: c or -3?
c
Let j be ((-21)/14)/((-2)/(-4)). Let m = -3 - j. Suppose -5*u + 3*k + 9 = -11, 30 = 5*u - 5*k. Which is smaller: u or m?
m
Let l be (-11)/(-24) - (-10)/(-80). Does l = 1?
False
Let j = -0.13 + 57.13. Which is smaller: j or 0?
0
Let l = -7233/7 - -1031. Which is bigger: l or -1?
-1
Let n be ((-5)/(-10))/(22/24). Is 1 less than n?
False
Suppose -w + 20 = 3*w. Suppose 4*v + 4 = 5*i - 8, 5*i = w*v + 10. Suppose -4*y - i*x = -5*y - 6, y + 4*x - 2 = 0. Do -1 and y have different values?
True
Let x = -6 - -2. Let b(q) = q**2 + 2*q - 4. Let k be b(x). Suppose 4 - 11 = k*z - 5*s, 5*s = -3*z + 21. Is z less than 2?
False
Suppose 3*s = 6 + 3. Let f be s/((2*-1)/(-2)). Suppose -f*w + x = 2, w - x + 3 = -w. Is w at most as big as -1/4?
False
Let v = 2/147 + -449/588. Suppose -4*g = 8 - 0. Which is greater: v or g?
v
Let q be 2 - (1 + -1 - 0). Suppose q*k - 1 = 7. Which is smaller: k or -1?
-1
Suppose -4*s + 27 = 5*v, -3*v + 0*v + 9 = 0. Suppose -3*l + 12 = 3*o, 4*o - 6*l = -4*l + 16. Is o smaller than s?
False
Let g(k) = k + 1. Let a be g(-3). Let u be 12/2*(-1)/a. Is u smaller than 3?
False
Suppose -4*n + 0 = -20. Let h(q) = q**3 + 4*q**2 - q + 4. Let d be h(-3). Suppose 3*y = m + d, 16 = y - 5*m - 8. Which is greater: y or n?
n
Suppose 4*h = h - 0*h. Is 1/21 >= h?
True
Suppose -3*q + 3 = 0, 4*j = 4*q - 20 + 140. Are j and 1/3 unequal?
True
Let b = -22 + 22. Do 1/26 and b have the same value?
False
Let c = 7 - 6. Let u = 116 + -115. Is c greater than or equal to u?
True
Let t = -0.22 - -2.02. Let g = 2 + -4. Let w = t + g. Is w at most 0?
True
Let j = -120 - -101. Is -19 >= j?
True
Suppose g - 3*m - 29 = 0, -20 = 4*m - 4. Is 17 at most g?
True
Let p = -108 - -84. Is p less than or equal to -2?
True
Suppose -7*r + 8 = -3*r. Let v = 3 - r. Which is greater: 2 or v?
2
Let f = -29 - -31. Which is bigger: f or -1/17?
f
Let t(c) = -c**3 + 4*c**2 + 4*c - 4. Let w be t(5). Let h be (3*30/w)/(-9). Is 1 at least as big as h?
False
Let m be 0 + 0 - (-1 + -1). Let h be ((-2)/10 - -1)*-5. Let c(u) = -u**3 - 4*u**2 + u + 5. Let b be c(h). Is b greater than m?
False
Let u = -0.7 + -0.3. Let w = 0.13 - -0.07. Is w equal to u?
False
Let o = 49/15 + -11/3. Let t(x) be the third derivative of x**4/24 + x**3 + x**2. Let w be t(-5). Which is smaller: w or o?
o
Suppose 0 = -3*o + 2*o - 4. Let q(d) = -2*d**2 + 5*d - 6. Let i be q(4). Let x be i/12*(-1 - -3). Which is smaller: o or x?
o
Let n be (3 + -1)*(-1)/2. Suppose -4*i = -2*o - 26 + 6, -o = -4*i + 16. Which is bigger: i or n?
i
Let m(u) = -u**3 + 4*u**2 + u - 2. Let a(z) = z**2 + 5*z - 2. Let w be a(-6). Let l be m(w). Suppose -8*q = -11*q + 9. Is l greater than or equal to q?
False
Suppose -31 + 39 = -2*r. Which is smaller: r or -5?
-5
Let b = 0.44 - -0.02. Let v = -0.4 + b. Do v and 1/4 have the same value?
False
Let f be (1 + 0)/(4/20). Suppose -f*b = -2*b. Is b not equal to -2?
True
Let t = 64111/4 - 463201/28. Let i = -516 - t. Which is greater: 0 or i?
0
Let c = 431 + -421. Suppose 5*r = -3*b - 17, -3*r - 2*b - 3 = 8. Which is bigger: r or c?
c
Let z = 0.22 + -12.22. Let o = z - -8. Is -1 at most as big as o?
False
Let m be (-4)/(-16) - 14/(-8). Suppose 21 = 3*c + 5*o - 11, -4*c - m*o = -24. Suppose -c*s = 8 + 4. Which is greater: -1 or s?
-1
Suppose 0 = c - 5 + 10. Let j = c - -1. Which is smaller: -2/5 or j?
j
Let h = -3 + 1. Which is greater: h or -5.7?
h
Let a = 0.8 - 24.8. Do 0 and a have the same value?
False
Let f be 148/8 + (-1)/(-2). Suppose 1 = 5*p - f. Does 4 = p?
True
Let s = 28 + -28.1. Let h = -0.4 - -9.4. Which is smaller: s or h?
s
Let c be (-1)/6 + (-197)/42. Does -6 = c?
False
Suppose -11 = -11*t + 22. Is -1.1 greater than t?
False
Let p = -0.3 - -4.3. Let h = p + -3. Let n(s) = -s + 3. Let q be n(4). Is h > q?
True
Let o(f) be the second derivative of f**3/6 + f**2/2 - 3*f. Let x be o(-1). Let b(m) = -m**3 + m**2 - m - 6. Let k be b(x). Is -4 at most k?
False
Let d(t) = 6*t + 0 - 6 - 4*t - t. Let u be d(7). Let x be 1 + 3*(-2)/8. Which is greater: x or u?
u
Let g = -10.5 - -10.5. Let r(c) = c**3 - 2*c**2 + 3*c - 3. Let n be r(2). Do n and g have the same value?
False
Let r be (0 + 1)/(-2) - 13/22. Which is bigger: r or 0?
0
Let r(q) = -5*q + 3 - 4 + 4*q - 3. Let n(x) = x**3 - 5*x**2 - 6*x - 3. Let g be n(6). Let c be r(g). Is c != 1/5?
True
Let p = 4 + -4. Suppose 3 = -p*s + s. Suppose -2*m + 2*y - 25 = s*m, -5*y = 4*m - 13. Is -4 >= m?
False
Let x = 5 - 2. Let m(l) = -l**3 - l**2 + l. Let y be m(-2). Which is greater: y or x?
x
Suppose 2*r - 10 = -0*r. Suppose -3*f = -4*f + 2*h, -r*f = -5*h. Let j be 2/(-6)*(1 - -1). Is f greater than or equal to j?
True
Let g = 0.1 - 0.11. Let y = 0.02 + g. Which is smaller: -1 or y?
-1
Let h = 1.01 + -1. Let y = -2.6 + 2.71. Let w = h - y. Are 3 and w non-equal?
True
Let g(k) = -3*k - 23. Let o be g(-7). Is o > 28?
False
Let o be ((-6)/5)/(6/(-40)). Suppose o = -5*v + 3*v, m + 3*v - 28 = 0. Suppose -4*r - 4 = -5*d + 1, 4*r = -4*d + m. Is 4 greater than or equal to r?
False
Let i be 4/(-5) - 7/(-35). Is i <= 0?
True
Let t = -32 + 95/3. Suppose -2*k - 5*g - 1 = 0, -2*g = -3*k + 3*g + 36. Let v be k/(-5) - (-4)/10. Which is greater: t or v?
t
Let j be 2/(-12)*(92/12 + -9). Let g = -1/62 + -77/31. Which is greater: j or g?
j
Let v = -29/220 - 3/44. Is v <= 0?
True
Let m be (-33)/(-12) + 1/4. Suppose m*d = 4*d + 60. Let a = d + 182/3. Is a bigger than -2/15?
True
Suppose 0 = 5*h + 3 + 17. Let d be 1/(-58)*h/1. Which is smaller: d or -1?
-1
Let a = -0.02 - -1.02. Let v = 9 - 6. Let n = -1 + v. Which is greater: a or n?
n
Let w(z) = -z**2 + 6*z + 9. Let y be w(7). Which is smaller: 1 or y?
1
Let p be (27/(-45))/((-1)/(-5)). Let w be (p - -4 - 7)/2. Which is greater: w or -1?
-1
Suppose z + 6 = -4*t - 2, 2*t + 4 = z. Let s = z - 1. Which is smaller: s or -2?
-2
Let t be ((-1)/(-2))/(16 - 18). Let y = -3.09 - 1.87. Let w = 0.04 - y. Which is bigger: t or w?
w
Suppose 8*f = 2*f. Which is smaller: f or 3/4?
f
Let p = -31 + 15. Is p greater than -0.3?
False
Let l be 2 + 78/(-45) + 0. Does 1 = l?
False
Let q = 15 - 6. Suppose 0 = -7*d + 6 + 22. Suppose u - 2*g = -11, -5*u + d*g - q*g + 20 = 0. Which is smaller: u or 1/4?
u
Let x be (-14)/(-6) - (-2)/(-6). Let s be (x/5)/((-5)/50). Which is greater: -3 or s?
-3
Let o be 173 - (1 + 0 + 0). Let k = -69 + o. Let q = 2783/27 - k. Which is bigger: q or 0?
q
Suppose -5*w = -0*w - 35. Let q(g) be the second derivative of g**3/6 - 3*g**2/2 + g. Let h be q(w). Which is smaller: h or 2?
2
Suppose 42 = 2*w + 4*t, -3*w - 3*t + 38 = -2*t. Which is smaller: 13 or w?
w
Let c = 119 - 119. Which is smaller: c or 1/13?
c
Let d(u) = -2*u + 5. Let o be d(-5). Let l = o - 11. Which is greater: -2 or l?
l
Suppose -9 - 124 = -7*j. Is 19 at most as big as j?
True
Suppose -n - n + 4 = -2*l, -7 = -2*n + l. Let a(o) = o**3 - 4*o**2 - 4*o - 5. Let f be a(n). Do f and 0 have different values?
False
Let c(z) = -z**3 - 7*z**2 - 7*z - 3. Let