 + 4 + -3)/11. Which is greater: o or t?
t
Let u = 7 - 5. Let a = u + -7. Let r = a + 4. Which is bigger: 1/7 or r?
1/7
Let t be (-4)/20*(-2)/(-2). Let n(u) = 3*u + u - 3*u. Let l be n(1). Which is bigger: l or t?
l
Let b = 3 - 3.6. Let x = b - 0. Let i = x + 0.7. Which is greater: i or 5?
5
Suppose -4*l = 6 - 2. Let u(j) = j**3 + 6*j**2 + j - 8. Let m be u(-5). Let v be 9/m - l/(-4). Is 1 at least v?
True
Let p = 4 - 2. Let f = -5 - -12. Let g = f - 4. Which is bigger: p or g?
g
Let s(l) = -l + 19. Let y be s(12). Let t = y + -7. Let c be 3/(-4)*4/(-6). Which is bigger: c or t?
c
Suppose -7*a = -4*a + 9. Does -30/11 = a?
False
Let l = -2 + 1. Let f be l/(4/8*2). Which is smaller: f or -2/21?
f
Let z(p) be the third derivative of p**4/24 + p**3/3 + p**2. Let u be z(-4). Let j be u/((-20)/2) + 0. Is 0 less than or equal to j?
True
Let i = 18 + -18. Is 1/4 equal to i?
False
Let u(p) = -5*p + 9. Let o be u(2). Do o and -24 have different values?
True
Let v = -12695441/2 - -2996128579/472. Let p = v - 77/8. Let q = p + 163/531. Which is greater: q or 0.1?
q
Suppose -3*q - 14 = -4*p, 3 + 18 = -4*q + 3*p. Which is smaller: -7 or q?
-7
Let a = -621/4 + 156. Let r = 0.4 - -0.68. Let t = -0.08 + r. Which is smaller: t or a?
a
Let q be 2/8 + 12/80. Let z = 0 - -0.1. Which is bigger: z or q?
q
Let n = -17 + 24. Let j be (-24)/(-40) - 2/(-5). Is j greater than n?
False
Let h be (-54)/(-10) + 6/(-15). Suppose 4*m - 6*m + 1 = h*p, 5 = -m + 3*p. Let w(i) = 2*i + 18. Let b be w(-10). Do m and b have different values?
False
Let p be (-6)/(-4) + 361/(-20). Let w = p - -67/4. Let j be (-1)/((1 - 2)*-1). Which is smaller: w or j?
j
Suppose -48 = 3*u - 9. Suppose -17*n = -18*n - 14. Which is smaller: u or n?
n
Let w be (-1)/(-4) + (-82)/172. Let d = -1/43 + w. Is 0.6 bigger than d?
True
Suppose -8*g = -7*g + 1. Do g and -1 have different values?
False
Let r = 0 - -11. Let d = -12 + r. Is d bigger than 1/9?
False
Let t be (6 - 4) + 1/5. Is t bigger than 2?
True
Let v(w) = w**2 - 1. Let u = 6 + -8. Let m be v(u). Is m greater than 2?
True
Let x = 13 - 14. Which is smaller: -9/4 or x?
-9/4
Let w(q) be the second derivative of q**4/12 + 4*q**3/3 - 7*q**2/2 - 2*q. Let s be -10 - (-3)/(2 - -1). Let a be w(s). Is a < 2?
False
Let i = 0.131 - 0.051. Which is smaller: i or 0?
0
Let k(j) = j + 1. Let q be k(4). Suppose -r = r + 4*y - 14, -q*y = 5*r - 30. Suppose 3*v - 3*u + 18 = 0, r*v + 2*u = -0*u - 16. Which is smaller: -1 or v?
v
Let z be (7 - 4) + 8/2. Let d = 24 + -23. Is z > d?
True
Let a = 4 + 0. Suppose 0 = -q + 3*z + 10, 2*q + 8 + 2 = -a*z. Let t be (-8)/(-16)*(-2)/4. Which is smaller: q or t?
t
Suppose -11 = z - 0*z - 5*b, 0 = -4*z - 5*b + 6. Suppose o + 2*n = -4*o - 8, -5 = 5*o + 5*n. Which is smaller: z or o?
o
Suppose 4*u = u + 9. Let y be (-2)/u + 4/(-12). Let t be (-6)/(-18) + 2/30. Is t < y?
False
Let s = -14 - -20. Let i(f) = -f**3 + 6*f**2 + 6. Let j be i(s). Let t be ((-4)/j)/(1/(-3)). Is 0 >= t?
False
Suppose -8 = 2*v + 4*s, 3*v + v - 3*s = -38. Is -20/3 greater than v?
True
Suppose 0 = d + 2*b - 5, -4*b - b + 12 = 3*d. Let a be -1 - (-2 - d)*2. Is -2/9 less than a?
True
Suppose -4*f - 32 = -2*p, 3*p - f = 4*f + 44. Let a = -10 + p. Let y = -1 - 0. Is a bigger than y?
False
Suppose -4*t = -12, -5*a + 22 = 3*t + 3. Let c(n) = -a - 4*n - n + n**2 - n. Let k be c(6). Is k at least as big as -2?
True
Let g be -3 + -2 + (6 - -2). Is 3 <= g?
True
Let w = 0.047 - 0.247. Which is greater: 0 or w?
0
Let t = -2 + 1. Let m be t - (4/3)/(-2). Let w(l) = l**3 + 8*l**2. Let v be w(-8). Which is smaller: v or m?
m
Let o(d) = -d - 2. Let z be o(-5). Suppose -h - 4 = -z*h. Let x be 92/(-84) - h/(-3). Which is smaller: x or -1?
-1
Let y be (-24)/3200*2/(-4). Let u = y + 4767/8800. Which is smaller: u or 2?
u
Let d = -9 + 7. Let n = d + 2.3. Let k = 0.01 - 2.01. Which is greater: k or n?
n
Let k be -2 - (-28 - -2*1). Suppose -3*u + 14 - 5 = 0, k = 2*m + 4*u. Suppose 10 = m*b - b. Are 2 and b nonequal?
False
Let k(y) be the first derivative of 2 - 3*y**2 - y + 1/3*y**3. Let l be k(6). Which is bigger: l or -3?
l
Let q be (6/4)/(-3 + 0). Let z(h) = -h**2 + h + 6. Let k be z(6). Let d be 3 - (-3 + k/(-3)). Is d < q?
True
Let d = 11 - 7. Let b be ((-18)/d)/(3/18). Let c be ((-6)/b)/(4/6). Is c greater than or equal to -1?
True
Let j be ((-12)/18)/(1/(-6)). Is 2 smaller than j?
True
Let k = 8 + -3. Suppose -17 = -q - 0*q - k*l, -3*l - 29 = -5*q. Is q less than or equal to 7?
True
Let l = -19 - -18. Is l less than -1/37?
True
Let f(k) = -k**2 - 5*k - 1. Let l be f(-5). Suppose 2*n + 2*u - 6 = 0, 2*u - u = 4*n - 22. Let z be (2/(-10))/(2/n). Is l > z?
False
Let l = -4 + 2. Let b = 2 - l. Let q = -3.7 + b. Is q equal to 1?
False
Let m = -28/435 - 2/29. Is -1 equal to m?
False
Suppose -3*c - 92 + 29 = 0. Is c > -22?
True
Suppose -3*u - 2*s - 3 = 0, -5*u + s + 9 = 1. Suppose m - 1 = -0*m. Is u != m?
False
Suppose 20 = -4*w, -o + 2*w = -4 + 6. Let n be (-2)/o + 1/6. Do n and 2 have different values?
True
Let z be -2 + (-1 - -2) - 0. Let b(r) = -r + 9. Let j be b(13). Let c be (-22)/(-28) - (-2)/j. Is c equal to z?
False
Let g(u) be the first derivative of -u**2/2 + 9*u + 1. Let j be g(7). Suppose -j*n = -n - 1. Which is greater: n or -1?
n
Let g be (-20)/78*(-1)/(-5). Which is smaller: -1 or g?
-1
Suppose -2*g - 30 = g - 3*z, 3*g + z = -14. Suppose s - 2 = -0. Let w be (-70)/22 - g/s. Which is greater: 0 or w?
0
Let x = 0.023 + 0.177. Is -11 at most as big as x?
True
Let a(b) = -8*b**3 + 4*b**2 - 2*b - 3. Let h be a(3). Let n be (-4)/(-18) - 12/h. Does n = 1?
False
Let q = 7.3 + -6.3. Is q > 13?
False
Suppose 2*f - 4*t = 94, -3*f - 2*t = -117 - 24. Which is smaller: -0.1 or f?
-0.1
Suppose 0 = -11*d - 74 + 30. Let k = 3 + -4. Which is smaller: d or k?
d
Let c = 14209/6 - 2390. Let r = -61/3 - c. Is 1/5 != r?
True
Let d = -3 + 2. Suppose 5*n = n. Which is smaller: d or n?
d
Let r = -10.2 - -11. Let q = -0.2 - r. Which is smaller: q or -4?
-4
Let c = 95575214 - 5256786336/55. Let w = 2719 + c. Let s = -1/5 - w. Is s not equal to 1?
True
Let n be (2/(-6) + 0)/1. Let y = 21 - 23. Which is bigger: y or n?
n
Let z = -16 + 8. Let v = 7 + z. Suppose -w - 2 = 3*x, 2*x = -5*w - 0*x - 10. Which is smaller: w or v?
w
Let z = -13 - -9. Let s be (z + 4)*2/2. Suppose s = 2*c + 1 + 1. Is -1 at least c?
True
Let l = 0.033 - 8.133. Let c = l + 8. Which is bigger: c or -1?
c
Suppose -d + 2*d = 12. Let s = 11 - d. Does s = -2/5?
False
Suppose i = -3*i + 8. Is i greater than 5/6?
True
Suppose 3*t + 2 = t. Let s = t + 0. Let w be (-3 + s)/(1 - 0). Which is greater: -3 or w?
-3
Let y(q) = q**2 + 10*q - 5. Let w be y(-9). Is -13 at most as big as w?
False
Let q be -2 - ((-36)/4)/(-3). Is q greater than or equal to -7?
True
Let u = 0.45 - -0.55. Let c = 14 - 10. Let h be c/6*6/(-22). Which is greater: h or u?
u
Let c be ((-2)/12)/((-6)/27). Which is bigger: 2/5 or c?
c
Suppose -3*f - 5 = -u, -3*u = -2*u + 3*f + 7. Is -1 <= u?
True
Suppose -3*u + 8*u + 10 = 0. Let d be (-38)/6 - u/6. Let n = -5 - d. Is n != 2/3?
True
Suppose 31 = 3*y + 1. Let q be 8/(-14)*(-7)/y. Is -0.1 at most as big as q?
True
Suppose 2*j = j. Let b = -6 - j. Is b equal to -7?
False
Let i = -12.1 - -12. Which is greater: i or -5?
i
Suppose i - 3*i = 2. Let k(n) be the second derivative of -n**4/12 + n**3/6 - n**2 - 2*n. Let s be k(0). Which is smaller: s or i?
s
Suppose -r - 2*j = 4, 3*j = -r + 5*j + 16. Let c be (r/(-28))/(15/20). Does 1 = c?
False
Suppose 0 = 7*i - 23 + 16. Suppose 4*m - 8 = -0*m. Suppose m*b - 3 - 3 = 0. Is i >= b?
False
Suppose -4*x - 22 + 125 = 5*f, 3*x - 2*f - 83 = 0. Is 27 at most x?
True
Let q be 8/(-4)*(-9)/6. Suppose 0 = 2*x + 2*x + 3*t + 5, 15 = q*x - 4*t. Let c(u) = u**2 - 5*u + 2. Let h be c(5). Which is smaller: h or x?
x
Let s be -10*(-1 - 1)/4. Let j = -9 + s. Is -3 at most j?
False
Let p(r) = -r**3 - 2*r**2 + 1. Let f be p(-1). Let h be ((-5)/25)/((-2)/(-6)). Are f and h nonequal?
True
Let c(u) = u - 3. Let w be c(-4). Let a(k) = -k - 3. Let q be a(w). Is 1 <= q?
True
Let z = 276 + -3861/14. Which is bigger: z or 1?
1
Let p be 10/(-5) + 1/1. Let i be (-5 + 1)/((-2)/84). Let t = i + -1173/7. Which is greater: t or p?
t
Let r be 6*(0 + (-2)/6). Is r not equal to 0.2?
True
Let m be 11/2 + 3/(-6). Suppose