 -1 - 3, -k*c = -5*w + 3. Let j = 0.1 - 2.1. Is j smaller than c?
True
Let l = 3.1 + -11.1. Is 0 at most as big as l?
False
Let g = -137 + 97. Let f be ((-10)/15)/(g/18). Which is greater: f or 0.1?
f
Let i(m) = -2*m + 2. Let h be i(3). Let u = h + 3. Which is smaller: -2 or u?
-2
Let v be (-3)/(-11)*5/(-3). Do -1 and v have the same value?
False
Let t be 37/21*26/158. Let v = -1/237 + t. Let y = -0.5 - 0. Which is greater: y or v?
v
Suppose 0 = -4*z + w + 3 - 0, 4*w = z - 12. Suppose 2*r - 3 = -3*c - 4, z = 3*r + 6. Let y = c + -1. Which is bigger: y or 1/3?
1/3
Let n be (-2)/((-7)/(35/2)). Suppose 6 + 22 = 4*l. Is n less than l?
True
Let m(q) be the third derivative of 3*q**2 + 1/24*q**4 - 7/3*q**3 + 0*q + 0. Let c be m(8). Is -6 not equal to c?
False
Let k = -1 - 0.7. Let p = 1 - -1. Let z = p + k. Is 1/3 equal to z?
False
Suppose -2*r + 11 = m + 33, -5*m - 134 = -2*r. Is -26 at least m?
True
Let b = 0 + -1. Let f be 1 - (2 + b)*-1. Suppose 0 = -f*a - 5*y - 13, -5*a - 5*y - 6 = 4. Which is smaller: -1 or a?
-1
Suppose 0 = -w + 7*t - 3*t - 8, -2*t + 2 = 0. Is w greater than -4?
False
Suppose 4*a - 2 = 3*a - c, 5*a - 3*c = 26. Which is smaller: 3 or a?
3
Let g = 348/1267 + 2/181. Let w be 0/(-1) - (-1 + -1). Suppose -w*x + 7 = -3*o, -2*x = -o - 2 - 3. Which is smaller: g or o?
o
Let y(d) = -d + 6. Let x be y(8). Let l be 1 + -1 + 1 - x. Which is smaller: l or 0?
0
Let c be ((-10)/6)/((-4)/(-40)). Let d = 17 + c. Let k be (-4)/6 + (-1)/3. Is k equal to d?
False
Let p be (-1 + (-20)/(-15))/((-56)/(-12)). Suppose 3*m - 4*s = 29, m = 6*m + 2*s - 5. Suppose 4*r - m*r = 0. Is r >= p?
False
Let f(l) = -5*l. Let z be f(1). Let r = -4 - z. Let o be r/(-1)*1 - -1. Which is smaller: -2 or o?
-2
Let f be (-3)/(-1) - (-14 - -41). Let v = f - -20. Is -1 < v?
False
Let p = -1/86 - 35/4386. Which is smaller: 0 or p?
p
Let f = -85/1177 + -2/107. Let h = -8/33 + f. Suppose -2*g + g = 1. Which is smaller: h or g?
g
Let k = 0.07 - 0.17. Which is bigger: 3/7 or k?
3/7
Let b = 1 + -1.05. Let v = b + 0.35. Let h = 0.1 + -0.1. Which is greater: h or v?
v
Suppose 2 = -2*j - 4*d + 10, 8 = 5*j - 2*d. Suppose y + j = -y. Which is greater: -2/19 or y?
-2/19
Let d be (-5)/(-20) - 2/8. Let t be 1/(-4) - (-15)/20. Which is greater: d or t?
t
Suppose 4*c - 2*c = -2. Let y be 6/(-56) - 3/(-12). Which is smaller: c or y?
c
Let q be (2/(-5))/((-15)/(-25)). Let a(g) = g**2 - 3*g - 2. Let i be 16/5 + (-1)/5. Let m be a(i). Which is smaller: m or q?
m
Let h = 49 + -73. Let q = -31 - h. Is q at least as big as -7?
True
Let a = 3 + -9. Let o = -5.9 - a. Which is smaller: o or -4?
-4
Suppose -c + 30 = -0*c - 2*i, 48 = 2*c - i. Let k be (-3)/(-24)*c + -3. Which is smaller: k or 0.2?
k
Suppose 4*a - 21 = -f, 0*a + 28 = 3*f + 5*a. Let j be (-8)/(-20) - 34/60. Are f and j equal?
False
Let g be -4 + 1 + 8 - 2. Is g > -3?
True
Let h(q) = -q**3 + 3*q**2 + q. Let m be h(3). Let k be 1/((-14)/(-2488)) + m. Let j = k - 181. Is 1 greater than j?
True
Let d = 19 + -19.3. Are 0.2 and d equal?
False
Suppose -6*l + 12 = -4*l. Let i be (2*7)/(-1 + 3). Is l >= i?
False
Let n(f) = -f**2 - 8*f - 7. Let k be n(-5). Suppose -k*r + 20 = -4*r. Suppose 0 = 2*s - 15 + r. Is 5 >= s?
True
Let j(n) = -4*n**3 - n**2 - 4*n - 3. Let b be j(-1). Which is greater: 8 or b?
8
Suppose -v - 8 = 3*j + 13, 5*j = 2*v - 24. Let b(n) = -n**2 - 7*n - 6. Let u be b(j). Let d be (-47)/156 + (-2)/(-8). Which is smaller: d or u?
d
Suppose -2*y = -4*z - 88, -y + 16 = 3*z - 3. Which is greater: y or 35?
35
Let f = -64 - -64. Which is smaller: f or -1/7?
-1/7
Suppose -5*j = 3*v - 5, v - 2*j + 2 + 0 = 0. Which is smaller: v or 5/17?
v
Suppose -6 = 4*r - 14. Let v be 0 + (r - 3 - 1). Let u be (1 - 18/15)*v. Is 1 not equal to u?
True
Let l be (0/(-1) - -11)*-1. Suppose -2*s - 5 + 15 = 0. Let u = s + l. Is u greater than or equal to -5?
False
Let i = -5 - -4.4. Let t = -0.47 + 0.17. Let c = i - t. Is c < -1/3?
False
Let u(n) = n**3 + 9*n**2 + 3. Let g(a) = -3*a - 3. Let d be g(-2). Suppose -b = d*b + 36. Let j be u(b). Is 3 at least j?
True
Let z be 1 + (4 - 4)/4. Let j be 92/126 - (-4)/(-14). Is z smaller than j?
False
Suppose 4*f - 16 = -4*f. Let t = -20 + 11. Let g be (f - (-12)/t)*12. Do g and 8 have the same value?
True
Let o(g) = -g**3 - 10*g**2 + 10*g - 9. Suppose -2*v = -4*s - 34, s + 4 = 2*v + 3. Let b be o(s). Does 0 = b?
False
Let d = 14 + -25. Let f = 27 - 83/3. Is d bigger than f?
False
Let b = -43 - -34. Is b < 2/7?
True
Suppose 1 = d - 1. Let c(x) = -x**2 - 4*x - 4. Let o(t) = 2*t**2 + 5*t + 5. Let y(v) = 4*c(v) + 3*o(v). Let s be y(d). Which is smaller: 0.1 or s?
0.1
Let o = 683409/83 + -8234. Let q = o - -2363/249. Let h = -9 + q. Which is smaller: h or 1?
h
Suppose 2*q = 2*f + 6, 27 - 3 = -4*f + q. Is f > 2?
False
Let k = -1.3 - -1. Let y = k + 0.5. Let x = y - 0.2. Do x and 0 have different values?
False
Let p = -698/5 + 140. Let r = -0.6 + 2.6. Let h = -3 + r. Which is smaller: p or h?
h
Let d(x) = 2*x**2 + x + 29. Let w be d(0). Suppose 5*n - w = -i, 36 = 4*i - 2*n + 8. Is i < 10?
True
Let d = -30 - -22. Suppose 3*i - 72 = -3*z, 0*i - 2*i - 4 = 0. Suppose 0 = 4*c + 4*h + 52, 2*h - z = -5*c - 76. Is d less than or equal to c?
True
Suppose 33*t - 28*t - 5 = 0. Which is greater: -2/181 or t?
t
Let t(z) be the first derivative of z**3/3 + 3*z**2 + 5*z + 4. Let l be t(-6). Is l smaller than 5?
False
Let s(n) = n**3 + 7*n**2 + 1. Let h be s(-7). Is h greater than 0?
True
Let v = 1/8 - 3/8. Let y = -0.5 - -2.5. Let p = 1 - y. Which is greater: v or p?
v
Let k be -2*(-2 + 10/4). Let r = -363/4 - -89. Is k >= r?
True
Let f be (2 - 4)*(0 + -2). Suppose 0 = a - 3*a - f. Let u(j) = -j + 1. Let d be u(a). Is d < 4?
True
Let q be (-3)/(-6) + (-684)/1336. Which is greater: q or 1?
1
Suppose -3*y - 2*t + 16 = 0, 4*y - t + 2 = 27. Do 6 and y have the same value?
True
Suppose 3*x = 6*x. Do 1/6 and x have the same value?
False
Let i = -28.09 + 28. Is 0 < i?
False
Let y = -0.037 + 0.107. Let f = -0.19 + 0.36. Let l = f - y. Is -2/3 greater than or equal to l?
False
Let t be ((270/12)/(-5))/69. Which is bigger: t or 1?
1
Suppose -h = -4*h + 24. Let i = 5 - h. Is i bigger than 2/3?
False
Let m = -23602826/165 - -143047. Let b = -1/33 - m. Suppose 5*f - 1 = 4. Which is smaller: b or f?
b
Suppose 2*g = -0*g - 6. Let i be (-2 + g/(-6))/3. Is -1 <= i?
True
Suppose 0 = -5*y + 2*t + 3 + 3, 2*y + 5*t + 15 = 0. Suppose -a - 2 = -y. Is a at most as big as -1?
True
Let m be 19/(950/320) + 6/10. Let h(p) = p**2 - 3*p - 9 + 0*p - 2*p. Let q be h(m). Is 5 smaller than q?
False
Let k = 73 - 295/4. Suppose -5*v - 22 = -3*x + 7, -x - 2*v = 5. Suppose -2*u = 2*u + i + x, -3*i = -2*u + 9. Is k greater than u?
False
Let g be (2 + -5 - -3)/(-2). Suppose g*i - 3 = 3*i. Which is smaller: 2/5 or i?
i
Let l = 1.22 - 0.52. Is -2 < l?
True
Let y be (-2)/(2 - (0 + 14)). Let g be (-1)/2 + 9/2. Suppose -m + 5 = g*m. Is y greater than or equal to m?
False
Let q = 2 + -2.2. Let s = 0.1 + q. Let h be ((-1)/(-1))/(9/6). Which is greater: h or s?
h
Let w(p) = 3*p + 2 + 3*p**3 + 0*p**2 - 4*p**3 - 3*p**2. Let q be w(-3). Which is bigger: q or -6?
-6
Let u = 2 - 1. Suppose 3*r - 2*r - u = 0. Let h = -5 + 7. Which is greater: h or r?
h
Suppose 3*k = -2*n + 5, -5*k + 3 = 4*n - 6. Is k less than 3/20?
False
Suppose -5*i - 14 = -9. Let h be 2/(-4) + (-3)/(-12). Which is smaller: h or i?
i
Suppose 2*s + 0 = 4, 5*h - 2*s - 6 = 0. Suppose o - 4*w = -13, 3*o - 5*w + 13 - 2 = 0. Suppose o*a = -h*a + 15. Is 0.2 greater than or equal to a?
False
Suppose -p - 23 + 19 = 0. Which is smaller: -14/3 or p?
-14/3
Suppose -1 = -4*w + 7. Let j(m) = -3*m**3 + 3*m**2 - 4*m - 1. Let i be j(w). Is i at least as big as -20?
False
Let r = 478221/95 - 5034. Let f = -2/19 + r. Are -2 and f non-equal?
True
Let t = 61.53 - 71.6. Let n = t + 10. Let y = 0.27 + n. Which is greater: y or -2?
y
Let q be ((-6)/9)/(4/(-18)). Let r = q - 5. Let f be ((-16)/(-20))/(4/(-10)). Is f equal to r?
True
Let i = 10 - 9. Let r = 0.76 + 0.04. Let c = 1 - r. Are i and c nonequal?
True
Suppose -t - 9 = 2*t. Suppose -2*k - 2*h = 6, 4*k - 2*h + 23 = 5. Which is smaller: k or t?
k
Let y = -20/17 - -66/85. Is y equal to -8?
False
Let s = -9 + 8. Which is greater: s or 0.1?
0.1
Let b(f) = 13*f - 47. Let n be b(5). Does n =