83. Which is smaller: u or 1?
u
Let l = -7 + 7. Let u = 116 + -1504/13. Is u <= l?
False
Let v = 8.9 - 9. Which is bigger: v or 0?
0
Let x be (-33)/1*4/(-3). Suppose 0*f = -f + x. Let j = 134/3 - f. Which is greater: 2 or j?
2
Suppose -3 = 2*p - 1. Let u = -3 + p. Let g be u/(-16)*1/(-3). Is 0 at least g?
True
Let y = -1/165 + 107/1320. Which is smaller: y or 1?
y
Let u be 4 + 3 + (-1 - 1). Suppose u = 4*d - 11. Let f be (d/27)/(16/(-24)). Is 0 greater than or equal to f?
True
Let a be (1 + (-15)/9)*(-6)/10. Which is smaller: a or -1?
-1
Let n = 1.44 + -7.34. Let v = -6 - n. Suppose 0 = -4*h + 9 + 7. Which is bigger: v or h?
h
Let y = -29 + 30. Which is greater: y or 1/15?
y
Let f = 0 - -0.4. Let z = 1 - 1.6. Let m = z - f. Is m > -1?
False
Let u(i) be the first derivative of 3*i**2 - i - 3. Let p be u(11). Let v be (2/p)/((-2)/10). Does 2 = v?
False
Let z be 5/(-5)*(12/(-15))/(-2). Is 2/9 greater than or equal to z?
True
Let r be (4/(-25))/(4/(-10)). Let d be ((-7)/(-2))/(3/6). Suppose -2*n - d = -q, 0*q - 3*n = 5*q + 4. Which is bigger: q or r?
q
Let c(i) = i**3 + 2*i**2 - 3*i - 4. Let y be c(-3). Which is bigger: y or -6?
y
Let b(s) = 2*s - 21. Let i be b(15). Does 35/4 = i?
False
Suppose -21 + 1 = -4*s. Suppose -s*n + 37 = 7. Let d be 2/((-15)/n + 0). Is -2 greater than d?
False
Let s be 1/((4/6)/2). Suppose -i = 2*r + 3*i, -s*i = 2*r. Suppose 5*l + 10 = -0. Which is smaller: r or l?
l
Let o(t) be the first derivative of -t**3/3 - 2*t + 1. Let m = -55 - -55. Let g be o(m). Is g less than or equal to -2?
True
Let k(z) = 3*z - 33. Let b(d) = d - 11. Let i(h) = -8*b(h) + 3*k(h). Let f be i(6). Let w = 9/2 + f. Do -4 and w have the same value?
False
Let s be 65/(-32) - (-14)/7. Is 0 > s?
True
Suppose 10*i = 11*i. Is 20 > i?
True
Let v be 39/12 + 1*-3. Suppose 8*m = 3*m. Does v = m?
False
Suppose -11*o - 4 = 7. Which is smaller: 1 or o?
o
Let s = 0.026 - -2.054. Let t = 0.12 - s. Let f = t - 0.04. Is f > -1?
False
Suppose -2*m - 3 = -9. Which is bigger: m or -0.3?
m
Let r = -1541/3 + 7789/15. Is 6 greater than or equal to r?
True
Let r be 8/4 - 3 - -1. Is 4/15 <= r?
False
Let r = 23/40 - 7/10. Let u(z) = -z**2 + z + 1. Let i be u(0). Which is smaller: r or i?
r
Let g = 604 + -342. Let x = g - 4452/17. Let k = 13 + -14. Which is greater: k or x?
x
Let s be (-5)/20*-3 - (-3)/4. Suppose 5*c + 9 = 3*l, -4*l + 12 + 0 = -4*c. Is s >= l?
False
Suppose -v - 23 = 34. Let b be (-2 - -1)*v/(-12). Is b at most -6?
False
Let t(a) = 2*a - 8. Let c(h) = 5*h - 17. Let y(v) = 4*c(v) - 9*t(v). Let x be y(-4). Let k = x + 6. Which is bigger: 1/4 or k?
k
Let z be 7332/(-126) + 1/3. Suppose -4*p - 122 = -354. Let y = p + z. Which is smaller: -1 or y?
-1
Let w be 162/90 + (-4)/5. Which is smaller: w or 14/11?
w
Let f = -7 + 1. Let n = f - -5.7. Which is smaller: n or 0.1?
n
Let u = 1.7 - -0.3. Are u and -8 nonequal?
True
Suppose -9*u = -7*u + 2. Let d = -3 - -2.91. Do u and d have different values?
True
Let l = 4 + -3.9. Let q = 2.8 - 0.9. Let a = q - 2. Is a >= l?
False
Suppose -2*a + 4 = 14. Let n be (-24)/27 - (-2)/9. Are a and n equal?
False
Suppose l = -4*l + 15. Suppose l*b = 2*b + 3. Suppose 0 = -4*x + 5 - 1. Which is smaller: b or x?
x
Let s be 2/(-8) - (-5)/4. Let l be (s/(-3))/(4/3). Which is smaller: l or 3?
l
Let m be ((-145)/(-8) - 0)*(-2)/5. Which is smaller: m or -8?
-8
Let s = -278/77 + 24/7. Let q = -7 + 6. Which is smaller: s or q?
q
Let v be (16/20)/((-2)/35). Let x be (-104)/v - (-16)/28. Is 0 bigger than x?
False
Let d(h) = h**3 - 9*h**2 + 8*h. Suppose a = 3*a - 2*b - 14, 3*a + 2*b - 26 = 0. Let k be d(a). Let m be 7/6 - (1 - 0). Are m and k equal?
False
Let d(a) = a**3 + 4*a**2 + 4*a + 3. Let x = 2 + -5. Let j be d(x). Let g = 1.95 - -0.05. Is g at least j?
True
Let g = -3.53 - -0.53. Is g bigger than 2/37?
False
Suppose 14*h = 903 - 21. Is 62 greater than h?
False
Let d be 0/2 + 168 + 0. Let w = 2687/16 - d. Are w and -1 nonequal?
True
Let i be (68/6)/2*6. Is 32 less than i?
True
Let n = -3.2 - 0.6. Let d = -4 - n. Let p = -0.1 - d. Which is smaller: p or -4?
-4
Let v be (-212)/(-20) + 4/10. Let h = v + -12. Which is smaller: 1/4 or h?
h
Suppose -s - 4 - 1 = 0. Let v be (1/s)/(4/(-10)). Which is greater: v or 0?
v
Let v = -79.8 - -80. Is v bigger than -3?
True
Let t(d) = -10*d**2 - 36*d + 1. Let y(z) = -2*z**2 - 7*z. Let q(b) = -2*t(b) + 11*y(b). Let r be q(-3). Is -5 >= r?
True
Let j = 2026/39 + -52. Is j bigger than 1?
False
Let g = -34 - -33. Is 2/73 less than g?
False
Let h(k) = 3*k + 15. Let b be h(-20). Which is smaller: b or -44?
b
Suppose -5*g + 0*g = -5*l, 5*g = 2*l - 9. Let r = l + -1. Does r = -3?
False
Let o be -2 - ((-5 - -4) + -7). Are 5 and o equal?
False
Let g be ((-3)/(-4))/((-45)/(-10)). Which is greater: g or -2?
g
Let a = -3.87 + 4. Let v = a + -0.21. Which is smaller: -2 or v?
-2
Let z = 10 - 5. Let x(q) = q**3 - 5*q**2 - q + 4. Let r be x(z). Are r and -1/3 equal?
False
Let x be 2/(-10) + (-21)/(-5). Suppose d + d + w + 3 = 0, -19 = -x*d + 3*w. Let r(n) = -n**2 + 12*n - 12. Let b be r(11). Which is bigger: d or b?
d
Suppose 9*y - 18 = 12*y. Let t be -6*1*y/(-9). Is -4 < t?
False
Let h(y) = -6*y + 5. Let q be h(-3). Is q greater than 24?
False
Let n(m) = -4*m - 33. Let r be n(-9). Which is bigger: 26/9 or r?
r
Let r be ((-3)/(-39))/(2/(-3982)). Let i = r - -153. Let j(q) = q**2 + 5*q - 1. Let x be j(-5). Is i at least as big as x?
True
Let c be ((-1)/(-226))/((-5)/20). Let r be (1/10)/(226/1396). Let t = c + r. Which is smaller: t or 1?
t
Let i = 0.18 - -4.82. Which is smaller: 0.2 or i?
0.2
Suppose -f + 41 = 42. Is f >= 25?
False
Let b be ((-6)/(-2) + -1)/1. Let o = -4 + b. Let t be (o + 1)/(1/(-9)). Is 8 less than t?
True
Let q be -2 - (-4 - 3/3). Suppose -q = -x - 2*x. Which is greater: x or 1/2?
x
Let f = 0.08 - -0.72. Let m = 0.3 - f. Are m and -0.1 unequal?
True
Let a(u) = -u**2 + u. Let z be a(3). Let v be (z - -6)/(1 + 0). Is -2 bigger than v?
False
Let z be (-1 - -1)*(-3)/6. Let f(o) = o - 13. Let q be f(12). Which is bigger: q or z?
z
Let n be 1*(1 + 1 - 2). Let t be 14/(-6) + 1 + 1. Which is bigger: n or t?
n
Let j(a) = a**3 - 16*a**2 + 40*a - 12. Let d be j(13). Which is greater: d or 7/25?
d
Let g = 2 - 3. Let s = -4 + 6. Let c = -3 + s. Are g and c equal?
True
Let x be 2*3/72*4. Suppose 0 = 4*b - 2*b. Let o(f) = -f**3 - f. Let j be o(b). Which is smaller: x or j?
j
Let z = -28 + 28.1. Which is greater: -2.4 or z?
z
Let f = 4 + 0. Let v be f/(-14) - (-2)/(-42). Suppose 2*c - 4 = -2*c. Which is smaller: v or c?
v
Let n = -119/339 - -2/113. Is -0.08 at least as big as n?
True
Let w = 6 - 10. Is w less than -2?
True
Suppose 3*v + g + 2*g = 15, -2*g - 26 = -2*v. Is v less than or equal to 8?
False
Suppose 3*m - 16093 - 1880 = 0. Let b = m - 29839/5. Let x = b + -323/15. Which is bigger: 1 or x?
x
Let x be 6/(-24) + 18/8. Suppose 5 = 3*t + x. Which is smaller: 0 or t?
0
Let q(z) = -z**3 - 3*z**2 + 6*z + 4. Suppose -l + 3*l + 2 = 0. Let t be (3 - l)/(-1*1). Let g be q(t). Is -5 less than or equal to g?
True
Let c = -47 - -283/6. Suppose -8*b + 5*b = 0. Which is smaller: b or c?
b
Let r(l) = l**3 + 2*l**2 + 2*l + 1. Let t be r(-3). Let j be 70/2*-6*5/75. Is t at most j?
True
Let i = -1.66 - 0.34. Is i greater than 1?
False
Let r = -0.2 - -9.2. Let s = r - 7. Does 2/11 = s?
False
Let f(c) = -c**3 + 4*c**2 - 2*c + 2. Let s be f(4). Let p(t) = t**2 + 6*t. Let l be p(s). Let z be ((-38)/285)/((1/(-3))/1). Is z smaller than l?
False
Let d(p) = -p**3 + 3*p**2 - 3*p. Let o be d(0). Let l be (-3)/(-2)*4/(-34). Which is greater: o or l?
o
Let w(n) = -n**3 - 6*n**2 + n - 2. Let f be w(-6). Suppose 17 = -5*q + 5*x - 43, 0 = 4*q + 2*x + 18. Are q and f equal?
False
Let w be ((-12)/(-9))/2*21. Let x = -18 + w. Which is smaller: -5 or x?
-5
Let f(q) = -2*q - 8. Let p(i) = 3*i - 2. Let k be p(-2). Let d be f(k). Suppose -d = -3*l + l. Is l greater than or equal to 4?
True
Suppose 0 = 4*g - n + 7, 7*g + 4*n = 3*g + 8. Which is smaller: -13 or g?
-13
Let d = -3 + 3. Let h be (d + 1)*(-2 - -1). Which is smaller: h or 0?
h
Let o be ((-38)/(-8))/(15/(-12)). Which is smaller: -3 or o?
o
Let q be 16/12*(1 + 2). Which is bigger: q or 2/7?
q
Let t(y) = 2*y - 2*y**2 - 1 + 3*y - 4*y - y**3. Let g be t(-3). Let q be (-21)/(-6) + 1/2. Is g