et i be (-2)/(3*(-2)/(-3)). Is u smaller than i?
False
Let l(p) = p**3 - p**2 + 2. Let d(a) = -a**3 - 7*a**2 - 6*a. Let c be d(-6). Let z be l(c). Suppose -2*r - b + 4 = 1, -r = -4*b + 3. Is z >= r?
True
Suppose -w = 3*w. Let x be (0 - w - -1)/1. Let v = x + -2. Which is smaller: 2/3 or v?
v
Let p be (1 + -1)/(6 + -7). Suppose p*k = k + 1. Which is greater: k or 0.2?
0.2
Let i = -0.64 + 0.69. Which is bigger: i or -1?
i
Let q = 6 + -7. Let u be 1/(1/(-2)) + 7. Suppose 4*b + b + u*c - 5 = 0, 4*b - 1 = -c. Which is smaller: q or b?
q
Let x = -0.1 + -1.1. Let k = 1.28 + x. Is -0.1 <= k?
True
Suppose j - 2*w + 26 = 0, j - 7*w + 2*w = -32. Let m = j - -23. Which is greater: m or 8?
8
Suppose -5*s + 18 = -2*s. Let x be (-3)/s + (-9)/6. Are -3 and x unequal?
True
Let z be (-6)/(-2) - (1 - -3). Let r = z + -7. Is r less than or equal to -10?
False
Let q = -0.4 + 3.3. Let p = q - 3. Let k = 0.244 - 5.244. Is k at most p?
True
Suppose -3*t - 11 = 4*u + 10, -3*t + 5*u = 48. Which is greater: t or -31/3?
-31/3
Let t = 5 - 1. Suppose k - t*k = 3. Which is bigger: k or 3/11?
3/11
Let c be 2/(-8) + (58/72 - -1). Which is smaller: c or 3?
c
Suppose 0 = -5*r + 3*s - 171, 5*r - r + 2*s = -150. Which is bigger: -35 or r?
-35
Let i(d) = -d + 7. Let q be i(-5). Suppose m - 6*m = -3*x - q, 3*m + x = -4. Which is smaller: m or 1/5?
m
Let s = 2.9 + -2.9. Are s and -25 nonequal?
True
Let i = 0 + 2. Let r = 24.6 + -25. Which is greater: i or r?
i
Suppose -6 = 5*h - 16. Suppose 0 = -3*m - h*m - 5. Is m equal to 2/23?
False
Let p be 0 + 4 + -13 - -1. Which is smaller: p or -9?
-9
Let b be 5/20 - (-22)/(-24). Suppose -3*l + 16 = l. Suppose -4*s = -16, -s - 8 = l*r - 3*s. Which is smaller: r or b?
b
Let n(r) = -r**3 + 6*r**2 - r + 8. Let o(s) = -s**3 + 5*s**2 - s + 8. Let z(l) = -4*n(l) + 3*o(l). Let x be z(9). Are 2/3 and x equal?
False
Let u = -76 + 77. Which is bigger: 11/9 or u?
11/9
Let u(y) be the first derivative of y**2/2 + 2. Let f be u(1). Let g be (6/16)/((-6)/(-4)). Is f != g?
True
Suppose 19 + 9 = 4*h. Let v(t) = 4*t - 3*t - 1 - h + 1. Let l be v(5). Which is smaller: l or -3?
-3
Suppose 5*j + 3*h = 2*h + 5, 2*j - 5 = -h. Which is smaller: 4/27 or j?
j
Suppose 2*x - 5*x = 3*a + 3, -4*x + 3 = -3*a. Suppose 3*i = i + 4. Let p be i/(-7) - (-228)/210. Which is greater: p or x?
p
Suppose j = v - 29, -v + 11 = j - 18. Which is greater: 30 or v?
30
Let f(i) = i**2 - 4*i - 12. Let v be f(6). Let r = -7.8 + 11. Let n = r + -3. Which is bigger: n or v?
n
Let f = -0.02 - -0.07. Let l = 1.05 - f. Which is smaller: l or 5?
l
Let x = 0.6 + -2.2. Is x less than 6?
True
Suppose -7*t + 4 = -3*t. Let q(y) = -y**3 - 7*y**2 - 5*y + 3. Let k be q(-6). Let i be 5/5 - k/(-4). Which is smaller: i or t?
i
Suppose -4*m - 8 = -2*m. Let q = -32 - -27. Which is smaller: m or q?
q
Let j be (-5)/35 - 165/(-665). Does j = -1?
False
Let b be -4 - 1/(4/(-852)). Let h be (-4)/(-22) - b/1815. Which is bigger: 1 or h?
1
Let k = -7 + 4. Suppose -37 + 31 = p. Which is smaller: p or k?
p
Suppose 5*u = 2*u - 3. Let k(a) = -2*a**3 - 3*a**2. Let p be k(-2). Let v be 14/(-35)*6/p. Is v not equal to u?
True
Let v(y) = y**2 + 5*y - 9. Let s be v(-7). Suppose s*g - 2*g = 0. Are g and 1/8 non-equal?
True
Suppose -24*y + 24 = -0*y. Let h be (-3)/114 - 0/(-2). Which is smaller: y or h?
h
Suppose 7*o - 5 = 2*o. Which is smaller: -4/33 or o?
-4/33
Let n = 2 - -8. Suppose 38 - n = -4*x. Is -6 at least x?
True
Let j(q) = -q**3 + 6*q**2 - 6*q + 1. Let w be j(5). Suppose z + 4*r = 3 - 1, z - 2*r = -4. Is w greater than or equal to z?
False
Let m = 7.4 - 7.4. Which is bigger: 58 or m?
58
Let j = 0.3 + -0.2. Let w = -0.8 + j. Let k = w + 0.9. Is k less than -3?
False
Let d(l) = -9*l - 2. Let i be d(-1). Suppose 2*a - i*a = -p + 13, -5*p + 45 = -5*a. Is p not equal to 2?
True
Let f be -2 + 2 + (-8)/(-2). Let l(m) = m**3 - 2*m**2 - 3*m - 6. Let k be l(4). Suppose -k = -5*t - 9. Which is smaller: f or t?
t
Let o = -127 + 129. Which is smaller: -2 or o?
-2
Let v = 336 - 1007/3. Suppose 0 = -4*j - 3*q + 12 + 10, 0 = -3*j + 3*q + 6. Suppose 0 = -0*y - 2*y - 2*b + j, -2*y = -b - 1. Which is bigger: y or v?
y
Let t = -31 + 23. Let n = 8.4 - 16.2. Let l = n - t. Which is bigger: 0.1 or l?
l
Suppose 0*h - h + 1 = m, 3*h = 0. Let f = 8252/33 + -250. Which is smaller: m or f?
f
Let x(u) = u**3 + 11*u**2 - 2*u - 16. Let t be x(-11). Suppose -3*q = -t*q. Is q at least 4/9?
False
Let q = -3 + 0. Let r be (-3)/9*q*-1. Which is greater: 1/4 or r?
1/4
Let p be (-9)/(-6) - 1/2. Let h = 7 - 10. Which is smaller: p or h?
h
Let l(u) = u**2 + 6*u - 1. Let j be l(-5). Let r(p) = -p**3 - 8*p**2 - 5*p + 9. Let g be r(-7). Which is smaller: g or j?
j
Let g(w) = -w + 7. Suppose p = 1 + 8. Let z be g(p). Let x be ((-2)/(-6))/((-2)/6). Are z and x equal?
False
Suppose 19 = r - 5*q, 2 = 2*r - q + 3*q. Suppose 0 = -r*z + 8 + 20. Is z less than 5?
False
Let z be 0*3/9 + 36. Let h be -1 - (2 - z/14). Suppose -2*a - 4*q = 18, -a + 5*q = -29 + 3. Is h less than a?
True
Let j(h) be the first derivative of -h**2/2 - 3*h + 3. Let t be j(-4). Let c be (-1)/(((-1)/2)/t). Does 0 = c?
False
Let r be 9/(-6) + 27/(-6). Which is bigger: r or 1?
1
Let y(f) = -f**2 - 14*f + 4. Let q be y(-14). Suppose 0 = -q*z + 5*w + 6, 4*w = -z + 3*w - 3. Let t = -2/127 - 244/635. Is t less than z?
False
Let y(g) = -7 + 5 - 5*g + 4*g. Let u be y(0). Which is bigger: u or -1?
-1
Let f(h) = -2*h**2 + 7*h - 1. Let u be f(6). Is u > -31?
False
Let s = 12.1 + -12.1. Do -0.023 and s have the same value?
False
Let j be 3/(-2) - (-78)/44. Suppose 0 = 2*w - w - 3*i + 1, 3*w + i + 3 = 0. Is j at most w?
False
Let i = -41/5 - -87/10. Which is greater: 14 or i?
14
Let h be 870/(-55) + 6/(-33). Let v = h - -19. Let y = 7 + -4. Is y >= v?
True
Let s = -6/37 + -94/333. Which is bigger: s or -1?
s
Let g = -14 - -111/8. Is 2 at least as big as g?
True
Suppose -6131 = m + 3*h, 3*m = -0*m + 3*h - 18453. Let l = m - -43094/7. Let c = l - 10. Which is smaller: c or 0?
0
Let k = 2 + 2. Let z = k - 2. Let d be (-1 - 0)*(-2 - 1). Which is bigger: z or d?
d
Suppose d + 57 = -99. Let b = -1406/9 - d. Which is smaller: b or 1?
b
Suppose 4*h - 2*h = -2. Suppose -3*t - 10 = -4*x + 2, 0 = 5*t + 20. Let r be 28/21 + h + x. Which is greater: -2/17 or r?
r
Let z(g) = g + 4. Let f(t) = t + 4. Let l(y) = -3*f(y) + 4*z(y). Let q be l(-6). Let d be (-8)/14 + q/(-7). Does d = -1?
False
Suppose 1512 = 4*z + 4*o, 5*o = 6*z - 2*z - 1539. Let y be (z/(-22))/((-2)/(-20)). Let u = y + 173. Which is smaller: u or 1?
u
Let p = 996/7 + -142. Which is greater: 0 or p?
p
Let t be ((-1)/3)/((-2)/(-3))*2. Which is smaller: t or 3/25?
t
Let h be (1 - 4/(-12)) + -1. Is 10/7 at most as big as h?
False
Let y = -67 - -66. Is y at least as big as -15/8?
True
Let c be 4/10 - 2/5. Let s be 2/6*c + 4. Is s <= 4?
True
Let a = 4 + -2. Let c be (a/4)/((-3)/(-2)). Let l = 0.1 + 0.9. Which is bigger: l or c?
l
Suppose 3*s - 4 + 1 = 0. Which is greater: 3/46 or s?
s
Let p = 17 + -17.9. Let y = p - -1. Let g = 0.2 - 2.2. Which is greater: g or y?
y
Let c be 7 + -3 + (2 - 2). Suppose 0*x = -2*x - c. Is x > -5?
True
Suppose -i - 4*i + 5*l - 25 = 0, 2*i - 4*l + 16 = 0. Let z be 3*((-14)/6 - -2). Let k = z - 2. Is i smaller than k?
False
Let h be (-72)/3*(-7)/(-14). Is h greater than -12?
False
Let o = -0.03 + -2.97. Let u = 3 - 1. Let k = o + u. Which is greater: 0.1 or k?
0.1
Let o(m) = -4*m + 33. Let a be o(18). Do a and -40 have the same value?
False
Let d = -8 + 5. Let q be 81/(-12) + d/(-4). Let w(r) = 2*r + 9. Let t be w(q). Which is smaller: t or -2?
t
Let h be -4 - (-6)/(-3)*-1. Let s = 2 - h. Let k = 0.96 + 0.04. Which is bigger: k or s?
s
Let j = 8 - 6. Let n(x) = 5*x**3. Let y be n(1). Let c = j - y. Which is greater: c or -3/2?
-3/2
Let b(n) = 2*n + 1. Let k be b(0). Which is greater: 1/17 or k?
k
Let t(d) = d**2 + 5*d + 4. Let m be t(-3). Let h = -2 + 4. Let k be h*-2 - (2 - 4). Do m and k have different values?
False
Let h be 1*(1 - (-2)/(-2)). Let l be (-3 + -28)*23/(-5). Let d = l + -143. Which is smaller: d or h?
d
Let j = 0.07 - 0.2. Let r = j - -8.13. Let b = r - 7.8. Does 2 = b?
False
Let n = -1.7 - 0.3. Let j = n - -1.4. Is -0.1 smaller than j?
False
Let y be (-4)/(-6)*(7 - 4). Let j = y + -5. Let b be (j/(-2))/(15/(-4)).