-2)*s. Suppose 8 = -c*u + 3. Is u smaller than -0.2?
True
Let h = 17 + -17.2. Let a = -0.1 + 0.6. Let r = a - 0.5. Is r at most h?
False
Let h = 0.07 - 0.07. Let d = -1 + h. Which is smaller: -4/9 or d?
d
Suppose 3*u + 5*l = -87, 2*u + 6*l + 62 = 4*l. Is -33 not equal to u?
True
Let h be ((-2)/(-4))/((-1)/(-2)). Let m be (-20)/35*((-362)/116 + 3). Which is smaller: h or m?
m
Let s be ((-15)/(-25))/(9/3). Suppose 4*v + 11 = 3. Let k be v/(-4)*(-1 + -1). Which is greater: k or s?
s
Let p = 8 + -8. Which is smaller: 0.23 or p?
p
Suppose 3*v + v - s - 66 = 0, 3*s = 5*v - 86. Let f = v + -11. Suppose f*b - q - 3*q = 19, 8 = 2*q. Which is bigger: b or 5?
b
Let l(q) = q**2 + q. Let v be l(1). Let a be (-1)/2*(4 - v). Which is greater: 0 or a?
0
Let a = 13.8 + -14. Is a less than or equal to 33?
True
Suppose 0 = -3*a - 4*s + 24 + 12, 5*a = s + 60. Suppose -4*v + 4 + a = 0. Let m(c) = 6*c**2 + 2*c + 1. Let z be m(-1). Which is smaller: z or v?
v
Let y be 6/(-6) + (6 - 0). Let m be (5/(-2) + -1)*-2. Which is smaller: m or y?
y
Let z be -3 - (-2 - (1 - -1)). Is -2/11 at least as big as z?
False
Let p be -1 + -2 + 0/(-2). Suppose -2*f + 0*f = 4*o - 2, 0 = 3*f - 3. Let g = o + -1. Which is greater: g or p?
g
Let n = 3 + -11. Let y(c) = -c**2 - 9*c - 7. Let h be y(n). Suppose -4 - h = -5*t. Do t and 1 have different values?
False
Let a = 0.06 - 4.06. Let g = a - -4. Which is smaller: g or 2/11?
g
Let m = 4 - 6. Let g = 131 + -133. Is g smaller than m?
False
Let n be 22/(-7*10/(-35)). Let r(z) = z**3 + 2*z**2 - 2*z - 2. Let k be r(2). Which is smaller: n or k?
k
Let o = 0.35 - 0.3. Let a = o + -0.04. Let h = a - 0.21. Is -1/3 bigger than h?
False
Let s = 1.725 - -0.265. Let k = 0.09 + -0.1. Let d = k - s. Which is smaller: d or 0.3?
d
Let j = 47 + -33. Suppose 9*v - 5 = -5*t + 4*v, -2*t = 5*v - j. Let h be (-2)/(-10)*(t - -1). Which is smaller: h or -1?
-1
Let m = -2 + 7/3. Let l = -0.5 + 2.5. Let i = l - 2.1. Are m and i unequal?
True
Let s(z) = 3 + z**2 - 8*z + 3*z + 4 - 6. Let v = 4 + 1. Let u be s(v). Is u greater than 3?
False
Let r = 0.4 - 0.6. Let c = r + 0.2. Let p = c + -0.1. Which is smaller: 2/15 or p?
p
Let s = -9 - -3. Suppose -f = 2*f - 27. Let c be s/2*(-3)/f. Is -1/6 less than c?
True
Let w be (-2)/10*(2 - 4). Let a(y) = y - 10. Let o be a(9). Is o greater than w?
False
Let h = -90/7 + 769/56. Which is smaller: h or 1?
h
Let h be (-33)/55 - 336/(-10). Let i be h/30 + 1 + -2. Which is bigger: 0 or i?
i
Let q be ((-12)/(-240))/(1/6) + 0. Which is smaller: -3 or q?
-3
Let v(y) = 2*y**2 - 2*y + 1. Suppose 0 = 2*k - 7*k + 25. Suppose 3*t - 3 = 2*h - k*h, -2*t + h + 2 = 0. Let j be v(t). Do j and -2 have the same value?
False
Let i = -16 - -11. Let j be (-1 + 1)/(10/i). Which is smaller: -2/75 or j?
-2/75
Let t be (-94)/(-168) + (-8)/(64/6). Which is bigger: 1 or t?
1
Let t(d) be the first derivative of -d**5/120 + 5*d**4/24 + d**3/3 - 2. Let u(j) be the third derivative of t(j). Let a be u(4). Which is greater: -1 or a?
a
Let k(q) = q**2 - 5*q + 5. Let s be k(2). Which is smaller: s or 2/17?
s
Let u = -1 - -1. Which is bigger: u or 1?
1
Let h(q) = q**3 + 2*q**2 + q + 1. Let a be h(-1). Suppose k - 6 = -t, -2*k + 22 = 3*t + 2*k. Suppose 3 = t*m + 5. Which is greater: a or m?
a
Let w(m) = -m**2 - 5*m + 4. Let t be w(3). Let p be 8/t + (-29)/(-35). Is -2/7 at least as big as p?
False
Let o be (1*(-3)/12)/(394/(-16)). Are 0 and o equal?
False
Let p = -0.52 - -0.51. Let h = -0.16 - 0.85. Let z = p - h. Which is bigger: -0.5 or z?
z
Let k be (-2 - (0 - -1)) + 2. Suppose -18 = 4*u - 62. Let y = 10 - u. Are y and k non-equal?
False
Let t = -0.047 + 2.047. Which is smaller: 0.4 or t?
0.4
Let q = 0 + -1. Let l be (1 + 0)/((-1)/(-2)). Suppose 3*c - 6 - 6 = 0, 7 = -i + l*c. Is i bigger than q?
True
Let q = -129/20 + 27/4. Which is greater: q or 0?
q
Let l = -0.06 + -2.94. Let a = -0.05 - -15.05. Let t = 14 - a. Is t bigger than l?
True
Let d be (-1 + 3)*(-99)/(-22). Let u be (d - 4) + -2*1. Which is bigger: -1 or u?
u
Let s be 3/(-6)*2/5. Which is bigger: 1 or s?
1
Let a = -65 + 50. Which is smaller: a or -17?
-17
Let o be (9/20)/(3/5). Is 1.2 at most as big as o?
False
Let g = -172 + 178.08. Let r = g - 6. Let c = -0.02 - r. Is c greater than or equal to 1/15?
False
Suppose 0 = 3*j - j + 6. Let f be 2/1 - (-3)/j. Let w = -78 + 78. Which is smaller: w or f?
w
Let q be ((-48)/15)/(2/(-5)). Which is smaller: 9 or q?
q
Let q = 1 - 1. Suppose -y - 3*y + 4 = q. Is y at most as big as 2?
True
Let v(l) = -6*l + 17. Let c(w) = -3*w + 9. Let r(u) = 11*c(u) - 6*v(u). Let d be r(5). Let b = d + -34/3. Is -2/7 greater than or equal to b?
False
Let s = 9 - 15. Let n = s - -10. Suppose n - 1 = -3*q. Which is smaller: q or -2?
-2
Suppose -6 = -4*p + 10. Suppose i + 5 = 3*v, -8 = 4*i - 4*v + p. Let o be (-2)/(-6) - i/(-6). Which is bigger: 1/7 or o?
1/7
Let x = 7 + 5. Let s be -1 + x/10 + 0. Suppose 2*g - 3 = -1. Is s > g?
False
Let j be -8*9/6 + 1. Let q = -9 - j. Suppose -2*n = -m - 2, 3*m - 2 = 4*n - 4. Are q and m equal?
True
Let n = 13 - 10. Suppose 0 = -3*l + 3*s, -3*s - n + 2 = -4*l. Which is greater: -1/16 or l?
l
Suppose 5*v = 2*q + 3, -2*q + 0 = 3*v - 5. Which is smaller: 1/18 or v?
1/18
Let r be 2/2*-1 - 0. Let l be 2 - (39/15 + -1). Does l = r?
False
Let d(v) = v + 1. Let s be d(-2). Suppose u + 12 = 4*u. Let b = 2 - u. Which is greater: b or s?
s
Let r = -2 + 2. Let d = -0.1 - -0.8. Let k = d + -0.8. Is r smaller than k?
False
Let v(a) = -8*a**2 + a + 1. Let i be v(-1). Suppose 4*p = -3*l + 15, 2*l + 1 - 11 = 5*p. Let y be 1*(-2)/i + p. Which is greater: y or 1?
1
Let u be (4/2 - 0)/1. Let s be (-2)/((-2)/(-3)) + u. Which is greater: s or 2/21?
2/21
Suppose 6*t = 10*t. Which is bigger: -4/7 or t?
t
Let q = -2 - -1. Let p(f) = -4*f + 4. Let m(y) = -7*y + 8. Let l(r) = 3*m(r) - 5*p(r). Let a be l(3). Which is smaller: q or a?
q
Let y = 3 + -2.4. Is -2 < y?
True
Let p be (2 + 0)/(2/4). Let j be 22/p - (5 - 6). Is j less than 8?
True
Suppose 4*o = -3*h - 5, -2*h + h + 5*o + 30 = 0. Let n = -3 + h. Which is greater: n or 1/2?
n
Let y be -1*3/(-33) - -1. Is y at least as big as 2?
False
Let y be (-62)/(-15) - 58/435. Which is bigger: 7/2 or y?
y
Suppose -a + 4*a = 15. Do a and 9 have the same value?
False
Let f = 67 - 74. Is f > 0.1?
False
Let o be (0 + 45/35)/1. Are 1 and o equal?
False
Let t = -0.38 - -0.4. Which is smaller: t or 3?
t
Let n = 5 - 7. Suppose -3*q + 2*q = -9. Let h be (-2)/42 - (-3)/q. Is n at least h?
False
Let l be 4/8 - (-34)/160. Let g = l - 5/16. Suppose -4*q - 3*h = 8, 0*q - q = -3*h - 13. Which is greater: q or g?
q
Suppose -6*g + 12 = -2*g. Let v(o) = -o + 4. Let l be v(g). Let j = 0 - l. Is j at most as big as -1?
True
Let s be 2/14 + 460/(-35). Which is smaller: s or -23/2?
s
Let b be (-1)/2 + 39/6. Suppose n - b*n + 10 = 0. Suppose -3*x = -2*x - 2*g + 1, 3*x = 5*g - n. Is -2/13 less than x?
True
Let a(p) = -p**3 - 9*p**2 - 10*p - 11. Let k be a(-8). Let o be 10/(-45) - k/18. Is o < 0?
True
Let f = -2 - -10. Let q be (-2 + f)/2 + -1. Suppose 0*t + q*t = 0. Is 2 < t?
False
Let q = 2/105 - 1159/210. Which is smaller: -5 or q?
q
Let y be ((-16)/10)/((-2)/10). Suppose -y*k = -3*k - 45. Let f(t) = -t**3 - 6*t**2 - t + 3. Let n be f(-6). Do k and n have the same value?
True
Suppose 2*c - 49 = -0*h + 3*h, -4*c + 4*h + 88 = 0. Is c less than or equal to 19?
True
Let v = 10 + 15. Which is smaller: 1 or v?
1
Let s(j) = -j**2 - 2*j. Let k be s(-3). Let l be 15*(k - -2)*-4. Let n be (-6)/(-4)*8/l. Is n bigger than -1?
True
Let v be -52 - (-1 - 0)/(-1). Let f = v + 423/8. Which is smaller: 1 or f?
f
Let q(f) = 11*f**2 - 4 + f**3 + 5*f - 6*f**2 - 9*f**2. Let p be q(3). Which is bigger: 4 or p?
4
Let i = 23 - 21. Is 5 > i?
True
Let u = 49/2 + -25. Which is smaller: u or -1?
-1
Let i = 34.98 + -35. Which is bigger: 2/5 or i?
2/5
Let c be ((-2)/39)/((-20)/(-30)) - 0. Is -1/3 >= c?
False
Suppose 2*k + 68 = 6*k. Let v(c) = c**2 + 5*c + 3. Let w be v(-7). Is k less than or equal to w?
True
Let t = 19 + -11. Suppose -3*z - v + 8 = 0, 2*z - t = -v - v. Suppose -z*k - 25 = -7*k - 3*r, 3*k + 2*r = 16. Is k != 1?
True
Suppose -2*y = 3*y. Which is smaller: 2/7 or y?
y
Let q = -6222 + 335999/54. Let k = q - -1/54. Which is smaller: 2/3 or k?
k
Let a be (-4)/77*7/