t l = 5 - 3. Which is smaller: u or l?
u
Let x = -8.2 + 4.7. Is -0.1 at least as big as x?
True
Let r = -73 - -363/5. Let u(z) = z**3 - 2*z**2 - 2*z + 3. Let f be u(2). Let y be f/((-3 + 1)/2). Which is smaller: r or y?
r
Let h(a) = -a**3 - a**2 + a - 2. Let d be h(0). Let l be (d/(-8))/(6/8). Let b be (-1)/4 - 1/(-4). Is b at most l?
True
Let t = -106 + 1376/13. Let u = 7 - 5. Let h = -3 + u. Which is smaller: t or h?
h
Let n be 3 + 54/(-33) + -1. Which is bigger: 1 or n?
1
Let w = 22 - 16. Let z = 0 - w. Is z != 1?
True
Let c(r) = -r**3 + 2*r - 17. Let t be c(0). Is t less than or equal to -17?
True
Suppose -3*q - 4*g = 10, g = -2*q - 3*g - 12. Suppose -3*c - 5*m - 18 = 19, -q*c - 3 = -m. Which is greater: c or -3?
-3
Let i be 8 + 4/(-6)*-3. Suppose -h = 5*s + i, -h - h + 8 = -4*s. Is h != 0.9?
True
Let h be (-456)/48 + (-1)/2. Is -9 >= h?
True
Let s(v) = 0*v**2 + 4*v**2 - 3*v - 2 - v**2 + v**2. Let n be s(-1). Which is bigger: n or 2?
n
Suppose -5*s = -2*s + 3. Is -5/8 less than s?
False
Suppose 0 = 5*n - 5, 0 = -3*b - n + 1 + 3. Let f be b + (-3)/9*1. Which is greater: f or 0?
f
Suppose -5*h + 42 = -2*i - 0*i, 5*h + 13 = -3*i. Let a be i/4 - -2 - -1. Let p be (-4)/(-14) - (-4)/84. Which is smaller: p or a?
a
Suppose 2*c = 3*c - 3*f + 6, 2*f - 4 = 2*c. Which is smaller: -1/17 or c?
-1/17
Let o = 446 - 446. Let w = -0.17 + 10.17. Which is greater: o or w?
w
Let h = -39 + 27. Let w = 12.3 + h. Which is greater: -1 or w?
w
Let a = 0 - -0.1. Is -4/13 equal to a?
False
Suppose -26 = -2*q + 104. Is 63 < q?
True
Suppose z = -0*z - 4*o - 23, o - 24 = 4*z. Let i(m) = -m**2 - 7*m + 1. Let t be i(z). Let x = -7 + 6. Which is bigger: x or t?
t
Let m be 1*(-36)/(-4)*1. Let h be 25/10*m/(-15). Is h bigger than -3?
True
Let o(l) = -1 + l**3 - 7*l + l**2 + 0*l + 7*l. Let t be o(0). Which is smaller: t or -5/4?
-5/4
Let t = 0.5 - 0.7. Which is smaller: 2/9 or t?
t
Let h(x) = -x**2 + 4*x - 4. Let p be h(-7). Is p at most as big as -81?
True
Suppose 3*o - o + 4 = 0. Let p be (-3)/(((-9)/(-2))/3). Is o bigger than p?
False
Let u(b) = b**3 - 15*b**2 + 13*b + 33. Let r be u(14). Is r at least 19?
True
Let h = -4 + 11. Let y = h + -6.9. Let k = 0.3 - y. Which is bigger: k or 0?
k
Let p(g) = -g**2 - 22*g + 13. Let k be p(-23). Which is greater: k or -4?
-4
Suppose -2*y - 48 = 4*y. Which is bigger: -10 or y?
y
Suppose 0 = 9*p - 4*p - 95. Is 19 at least p?
True
Let h = 5/133 + 2/19. Suppose -50 = 4*x - 9*x. Let v = -9 + x. Which is greater: h or v?
v
Let l be 2/6 + 2 + -3. Let x(d) = d**2 + 3*d - 12. Let s be x(-5). Let k be 0/s - (-1)/4. Is k at most l?
False
Let n be (-8)/(9/(45/(-40))). Let i = -4/9 - -8/9. Is i greater than or equal to n?
False
Let r = -0.165 + 0.065. Let v = 0.3 + -0.4. Let u = 0.1 + v. Which is bigger: r or u?
u
Let t = -4 - -11. Does t = 5?
False
Suppose 4*b = -2*o + 70, 55 = -4*b + 9*b - 4*o. Does b = 19?
False
Let w(t) = t**3 + 6*t**2 + 5*t - 3. Let d be w(-4). Let f = 5 - d. Let v(o) = -o**2 - 3*o + 5. Let h be v(f). Which is smaller: 2 or h?
h
Suppose -2*j + 2*p = 4 - 0, 0 = 5*j + 4*p - 8. Let s = 5 + -3. Suppose -3*u - 5 + s = j. Which is smaller: 1 or u?
u
Let u = -0.32 - -0.02. Let l = -0.8 - u. Let y = l + 0.5. Which is bigger: 4 or y?
4
Suppose 0 = o - 0 - 3. Suppose 4*r - o = -j - 19, -3*j + 32 = -4*r. Is 3 greater than j?
False
Suppose 0*v - 3*v + 25 = 5*l, 10 = -4*v + 2*l. Let w = -2/111 + 80/333. Does w = v?
False
Let j = -1.8 - 1.2. Which is smaller: j or -0.3?
j
Let j be -4 - (-20)/5 - 1. Which is greater: -20/9 or j?
j
Suppose n + 5*y = 4*n + 451, -2*n = -y + 303. Let z = -1062/7 - n. Suppose -3*f + 4 = 1. Which is smaller: z or f?
z
Let i be ((-3)/12)/(5/4). Let f be 1 + 3 - 1 - -2. Let z = f - 5. Is i at least z?
False
Let c(o) = -2*o - 10. Let v be c(-7). Suppose 4*f = -v - 0. Let n = -2 + 1. Is f at most n?
True
Suppose 6 = -2*y - 5*t, -3*t - 1 = -3*y + 11. Let j(v) = -v**3 - 8*v**2 + 10*v + 12. Let f be j(-9). Let b be (4/12)/(1/f). Which is smaller: y or b?
b
Suppose 3*h - 16 + 4 = 0. Let y(q) = -q**2 - 2*q + 3. Let d be y(-3). Let w = d + 3. Which is smaller: w or h?
w
Let z = -18 - -12. Let a be (2/1)/(z - 5). Which is smaller: -1 or a?
-1
Let u be ((-134)/4)/((-13)/2) + -3. Do u and 1 have the same value?
False
Suppose -b + 1 + 1 = 0. Suppose 0 = -z - b*z - 3. Let k be 1 - ((-4)/5 - z). Are 0 and k unequal?
True
Let x(n) be the second derivative of -n**4/12 - n**3/3 - 3*n**2/2 - 2*n. Let v(q) be the first derivative of x(q). Let h be v(2). Are -6 and h nonequal?
False
Let t be -7 + (-1)/(-1)*(0 - 2). Is -5 > t?
True
Suppose -3*x = -5*x - 10. Let z be 2/x*(-10)/1. Let a be 3/2*z/(-9). Is a greater than 1?
False
Let p be -36*3/((-9)/5). Let j be (-2)/10 - (-2)/p. Is 0 equal to j?
False
Let i be (0 - (0 - -1))*9. Is i smaller than -10?
False
Let a be (-2)/(-7) + 260/(-336). Let g = a + 7/12. Which is smaller: -1 or g?
-1
Let a be 1/(4 - 2)*6. Suppose k = -4*x + 17, 4*x - 1 = a*k + 12. Let j(i) = -i + 3. Let s be j(3). Which is smaller: s or k?
s
Let q = -0.01 + 0.08. Let j = -0.23 + 0.2. Let f = q - j. Is f less than or equal to -1?
False
Let v = 16 - 18. Let g be 2/(v/((-8)/(-52))). Are g and -1 unequal?
True
Suppose 0 = -4*y + y - 3. Let m be (-14)/(-5) - y/5. Let g be (m/7)/((-9)/(-12)). Which is bigger: g or 0?
g
Let t(w) = -w**3 - 10*w**2 + 2*w + 9. Let p be t(-10). Let n be (-106)/22 + 2/p. Is n greater than -5?
False
Let m = -1568/3 + 517. Let h = -31/3 - m. Is -6 > h?
False
Let t = 0.38 - 0.18. Let x = -40.27 - -40. Let u = 0.07 + x. Which is bigger: u or t?
t
Let i be 2 - (-70)/(-74) - 1. Which is bigger: 1 or i?
1
Suppose 5*w - 7 - 13 = 0. Is 5 greater than or equal to w?
True
Let x = 0.18 + 2.92. Let s = x + -3. Which is smaller: s or -5/2?
-5/2
Let s be 25 + -21 + -3*1. Let f = s - 3/4. Is 7 smaller than f?
False
Let f = -0.37 - -0.3. Is f not equal to 0?
True
Let l = -0.14 - -3.74. Let m = 1.4 + l. Which is greater: m or -2?
m
Let k be 1/(-6) - 4/(-6). Let u(x) = -x**3 + 6. Let i be u(0). Suppose -l - 5 + i = 0. Which is smaller: l or k?
k
Let f(g) = -g + 2*g + 0*g - 2 + 7. Let k be f(-6). Is 1 bigger than k?
True
Let u be (8/6)/((-6)/(-72)*-10). Is u not equal to 6/11?
True
Let j(h) = h**2 + 12*h + 35. Let n be j(-8). Let a = -1 + 1. Let x be a - (1 - 4)/n. Are 2/3 and x equal?
False
Let k be 5/(-35) - 177/(-651). Which is smaller: k or 1?
k
Let o = -22.7448 - -0.0448. Let x = -23 - o. Which is smaller: x or 0.6?
x
Suppose 0*z = 2*z. Suppose z = -0*b + 5*b. Let r be ((0 - -2) + -2)/(-3). Is b bigger than r?
False
Let y = 5 + -6. Is -2/17 equal to y?
False
Suppose 14 = c - 4*q + 1, -2*q - 94 = -4*c. Let k(b) = -2*b + 29. Let f be k(13). Suppose y + j + 6 = 0, 2*j + c = -f*j. Does y = -3?
False
Let d be 2 + ((-150)/81 - 0). Which is greater: 1 or d?
1
Suppose -4*f + 5*f + 27 = 0. Let d be (3/(f/852))/2. Let n = -47 - d. Which is bigger: 1 or n?
1
Suppose 5*c = -0*z + 5*z + 70, -3*z = -2*c + 39. Let k = -15 - z. Let o be (-6)/24*(k + 0). Is 1 at most as big as o?
True
Suppose 2*b - 4*z + 16 = 0, -4*b - z + 12 = 2*z. Let m(i) = -2*i - 3. Let d be m(-2). Suppose d = -v - 0*v. Which is smaller: b or v?
v
Let j(q) = -10*q + 31. Let y be j(3). Which is smaller: y or -1/119?
-1/119
Let v = 1 + -2. Which is smaller: 1 or v?
v
Let x(y) = y - 10. Let w be x(7). Let c = 2 - 3. Which is smaller: w or c?
w
Suppose 0 = 2*t - 3*t + 2. Let k = t + -3. Let a = 5/2 - 3. Which is greater: a or k?
a
Let q be (-2)/8*(-52)/39. Is q greater than 1/3?
False
Suppose -18 - 63 = -9*m. Which is greater: 5 or m?
m
Suppose -5*m + 20 = -3*m. Suppose 2*x + 3*x - m = 0. Is x less than or equal to 2?
True
Let b = -2 - -1. Let i be b*(2 - (2 + 1)). Which is smaller: -1/3 or i?
-1/3
Let b = -31/30 + 2/15. Is -2 less than b?
True
Let w = 1/869 - 4373/24332. Do -1 and w have the same value?
False
Suppose 4*w - 2*w + 16 = 0. Which is smaller: -6 or w?
w
Let u(g) = 5*g. Let m be u(6). Let s be m/(-56) - (-4)/14. Are 2 and s unequal?
True
Suppose -r + 6*r + 24440 = 0. Let a = r - -34116/7. Let x = -14 - a. Is 2/5 < x?
False
Let l = 12 + -134/11. Suppose 0 = -f - 2*f - 3. Which is greater: l or f?
l
Suppose 7 - 8 = k + 3*z, 5*k + 5 = z. Which is greater: -0.29 or k?
-0.29
Let s(i) = i**2 + 2*i. Let c be s(-2). Suppose c = -5*h - g + 2*g + 18, h 