et t be n(0). Suppose 4*w + t + 2 = 0. Which is bigger: w or x?
w
Let n be -1 - (-1 + (5 - 6)). Let r = -16/17 - -214/119. Is n less than or equal to r?
False
Let n be (-3)/4*(-6 + 2). Let u be -3*(-1 + n/9). Suppose 4*r + u*f + 15 = -f, 3*f = -15. Which is smaller: 1/5 or r?
r
Suppose -4*d + 10 = -5*a - 9*d, 5*d = -4*a - 10. Let l = 20 + -19. Are a and l unequal?
True
Let j(w) = -4*w**3 - 33*w**2 - 15. Let i(g) = -g**3 - 8*g**2 - 4. Let y(o) = -9*i(o) + 2*j(o). Let r be y(-6). Suppose r*q - q = 0. Is q greater than 2?
False
Suppose 3*u = -p + 9, 3*u - 2*p = -4*p + 12. Suppose -14 = 3*a - f, u*f + 0 = a - 2. Which is smaller: -0.1 or a?
a
Suppose -7*l = -15*l + 144. Which is smaller: 17 or l?
17
Let a = -1.29 + 1.4. Suppose -54*s + 1 = -53*s. Which is smaller: s or a?
a
Let b(x) be the first derivative of x**3/3 + x**2 - x + 5. Let c be b(1). Which is smaller: 3 or c?
c
Suppose -k = -2*k - 5. Suppose 10*m = 6*m + 12. Suppose -i + o = 2, -m*o + 6 = -5*o. Does i = k?
True
Let h = 2.3 - 1.3. Which is greater: h or -3?
h
Suppose -4*w + w = 0. Let z(f) = -24*f**3 + f**2 - f. Let b be z(1). Let y be (-2 - -4) + b/10. Which is greater: y or w?
w
Let c = 246 - 6152/25. Which is smaller: c or 0?
c
Let w = 2 - -2. Suppose 2*r = w*r - 2. Let t be ((-1)/4)/((-2)/(-4)). Which is greater: t or r?
r
Let g = 357 - 1087/3. Suppose -19*f + 15 = -22*f. Which is smaller: f or g?
g
Let v = 0.07 - 3.07. Is v at least 7?
False
Let w = -9 - 0. Which is smaller: -7 or w?
w
Let b be (-6)/27 - (-194)/(-18). Is -15 less than or equal to b?
True
Let w = 5 - 2. Suppose 23 = 4*s + 5*h, -3*s - h + 4*h = w. Let b be 1/(s*2/4). Are b and 3/7 nonequal?
True
Suppose z - 4*z = -5*f + 19, 0 = 2*z - 2*f + 6. Suppose 16 = -4*l, -9 = -5*u - 2*l - 2. Which is bigger: u or z?
u
Let u be 2 - (5/5 + 2). Does u = 9/25?
False
Let b = 5 + -3. Suppose 0 = -4*d + 2*d + 4. Suppose a - 2*a = -4*q - 15, 0 = b*a - q - d. Which is greater: 1/6 or a?
1/6
Let z be (1 + -3)*90/140. Do z and -2 have different values?
True
Let u = 3 - 1. Let f = u + -1.9. Do -1 and f have different values?
True
Let g(t) = t - 10. Let m = -9 - -18. Let d be g(m). Is d != 1?
True
Suppose 2*f + 0*f + 3*j = 5, -f - 4*j = 0. Suppose -5*q + 2*q = -f*m - 40, -18 = 2*m - q. Let g = 20 - 28. Are m and g unequal?
True
Let v = -5.07 + 0.07. Let d = 2 + v. Is 2/3 > d?
True
Let q = -37/4 - -103/12. Let z = 0.1 - -0.9. Let n = 0.9 - z. Which is bigger: n or q?
n
Let j = -1/700 + 7011/7700. Which is greater: -1/3 or j?
j
Suppose 2*g = g + 1. Suppose -s = -3 + g. Suppose c = -s*c. Which is bigger: c or 1?
1
Let o be (-3)/(1 + (-1 - 1)). Suppose t + 15 = o*t + 5*z, -4*t - 12 = -4*z. Which is smaller: t or 2/15?
t
Let m be (8/6)/(2/(-6)). Let i be (-18)/m*2/3. Suppose 4*l - 5*o = -14, 0 = -5*l + o - 5*o + i. Which is greater: 0 or l?
0
Let j = -2/9 + 23/90. Is 0 greater than j?
False
Let b = 15 + -24. Let d = 59 - 68. Do d and b have the same value?
True
Let h be 2/20 - 23/46. Which is smaller: 5 or h?
h
Let g = -2 + 3. Suppose -2*m + 1 = -5. Let y = m + -2. Is y less than or equal to g?
True
Let l = -1 + -18. Is -18 greater than l?
True
Let o = -4.211 - -0.111. Which is smaller: -1 or o?
o
Suppose 6*i = -90 + 282. Which is bigger: i or 33?
33
Let x = 0.11 + -0.09. Let r be (-10)/(-46)*(-2)/2. Let i = r - -61/69. Which is smaller: x or i?
x
Suppose 0 = 5*l - l - 12. Suppose -1 = l*m - 4*m. Which is greater: 1/7 or m?
m
Suppose -3*s + 4 = -2*s. Suppose 0 = -5*q + 2*i + 3*i, -2*i + 14 = 5*q. Let h = q - s. Is h less than -3?
False
Suppose 0 = 9*m - 6*m + 24. Is -11 bigger than m?
False
Suppose -5*r - 13 - 2 = 0. Let v(g) = g**2 - 6*g + 4. Let c be v(4). Which is smaller: r or c?
c
Suppose 2 - 1 = h. Let c = h - -3. Suppose -k - k = c. Is k < -1?
True
Let l = 1.055 - 0.055. Let g = -1 + 2. Let z = 0.9 - g. Which is smaller: l or z?
z
Let i be -3 - (6/(-2) - 11). Let r = i + -9. Does 2 = r?
True
Let d(c) = 13*c**2 - 77*c - 14. Let z be d(6). Let m = -3 - -3.1. Which is smaller: m or z?
z
Suppose 2*y + 3*y = -15. Which is smaller: -4 or y?
-4
Let q = -6/29 - 45/203. Is q smaller than -2?
False
Let t be (-10)/(3*2/(-3)). Let n be t/2*8/170. Let g be (-12)/(-42) - (-4)/(-14). Which is bigger: g or n?
n
Let n = -3.08 - -0.08. Let l = -3 - n. Which is smaller: -2 or l?
-2
Suppose 3*d + 0*d = -9. Let c be d/(-2) - (-12)/24. Is 2 != c?
False
Let z(n) = -n**2 - 17*n + 35. Let v be z(-19). Are v and -6 equal?
False
Let z = -8 + 7.3. Let l = z + 0.7. Is l bigger than 1?
False
Let d(b) = b**3 - b. Let r be (5/((-15)/6))/2. Let g be d(r). Is g > 3/7?
False
Let g be 1 + ((-36)/13 - -1). Let y = g + -19/26. Is y at least as big as -3?
True
Let k(y) = 7 - 10*y + 2*y + 2*y**2 - y**2. Let q be 5/(-15) - (-57)/9. Let n be k(q). Is -3 > n?
True
Let v = -344/1253 + -2/179. Is 1 greater than v?
True
Let f = -6 + 9. Suppose -f*u = -4*i - 12, 4*u - i - 16 = -4*i. Are u and 1 nonequal?
True
Let q be (-3 + 2)/((-2)/20). Let x = q + -10. Which is greater: x or 1/4?
1/4
Suppose 3*m = 5*b, 0*m + m + 4 = 3*b. Suppose -1 - 6 = -5*f + 2*c, -f - 2 = b*c. Which is greater: 1/24 or f?
f
Suppose -4*r - 15 - 1 = 0. Suppose 0*u - 2*u = 12. Let m = u - r. Is -3 greater than m?
False
Let r = -0.2 - -0.3. Let p = 6 - 6.5. Let f = -0.6 - p. Is f greater than or equal to r?
False
Suppose -5*l = -5, q = -l + 4 + 1. Is q less than or equal to 11?
True
Suppose -3*q + 3*b = -6*q, q + 5*b - 4 = 0. Is q at most as big as 1/53?
True
Let h = -1/7 + 17/21. Which is smaller: -6/5 or h?
-6/5
Suppose i = 3*l + 22, -2*i = i + 4*l - 40. Is i at most 16?
True
Let i = -1633/4 - -408. Let b be 0/2 - 6/(-5). Is i at most b?
True
Let d = 31 - 31.13. Which is greater: d or -1?
d
Let l be (22/33)/(4/(-42)). Suppose -i + 29 = -4*u, 4 = 4*u + 5*i + 3. Which is smaller: l or u?
l
Let d = -33 - -28. Let y = 82.9 + -88. Let i = y - d. Which is bigger: i or 0.3?
0.3
Let r be (-9)/12 + 1*(0 - 3). Is r bigger than -5?
True
Let k = -43/220 + 3/20. Let f(w) = 2*w**2 - 15*w + 6. Let l be f(7). Which is smaller: k or l?
l
Suppose -13*n = -11*n + 2. Is n less than -4?
False
Suppose 5*j - 25 = -0*j - 5*o, -4 = -o. Let t be (-1)/((-4)/(-8)) + (-32)/(-20). Is t >= j?
False
Suppose 8*i = 5*t + 3*i + 5, 4*t + 2 = 2*i. Which is smaller: 3 or t?
t
Let r = -3 - -3. Suppose 3*q + l = -8, -3*l - 18 + 7 = -4*q. Let i = 2 + q. Which is smaller: r or i?
r
Let b(q) = q + 2. Let j be b(-3). Suppose -3*v - 5 + 17 = -5*w, 4*v - 16 = -4*w. Is w greater than j?
True
Let o(q) = q**2 - 13*q + 5. Let t be o(11). Which is smaller: t or -16?
t
Let g be (-368)/92 - 86/34*-2. Is g equal to 0?
False
Let o = -8 - -7. Is -9 greater than o?
False
Let s = 87/2 - 46. Which is greater: s or -0.01?
-0.01
Let f(k) = -k**3 - 14*k**2 - 32*k + 7. Let g be f(-11). Let a(s) = s**2 - 3*s + 1. Let b be a(2). Is b at most g?
False
Let p be 2/(-9) + (-40)/(-18). Suppose 0 = 3*l + 4*g - 8, 10 = l + l - p*g. Suppose -4*s - l = -0*s. Is s less than 0?
True
Suppose -3*l + 3 = 15. Suppose 0*g = -3*g - 15. Which is bigger: g or l?
l
Let r = -0.35 + 0.5. Let d = r + -0.85. Which is smaller: 2 or d?
d
Let t(f) = f. Let z be (6/4)/((-1)/2). Let r be t(z). Suppose 42 + 14 = -14*v. Which is smaller: r or v?
v
Suppose 3*b - 9 = 3*m, b = m - 5*m + 8. Is m at most as big as -2/5?
False
Suppose 5*w - 2*w - 2 = -g, w + 10 = 5*g. Let j be (-6)/(-3)*7/g. Let o be j/(-14) + 10/16. Which is bigger: 1 or o?
1
Let h(x) = x**3 + 7*x**2 + 6*x - 3. Let r be h(-6). Let f be r + 60/9 + -3. Is 2 greater than f?
True
Suppose -5 = -4*y - 4*a + 11, 0 = -3*a + 15. Suppose 0 = -2*h + 6*h - 4. Which is greater: y or h?
h
Suppose -11 = -5*w + 39. Suppose 5*j - 2*n - 30 = w, -3*j - 5*n = 7. Is j at most 6?
True
Let v(w) = w**2 - w + 1. Let q(c) = -c**3 + 10*c**2 - 3*c + 9. Let m(d) = q(d) - 6*v(d). Let h be m(5). Do h and -6 have the same value?
False
Suppose -5*b = -6 + 11. Let u be b/4 + 12/48. Is 2/21 greater than or equal to u?
True
Let v be ((-1)/(-3))/((-2)/(-12)). Suppose 3*n - 9 = -3*m + 3, 4*n - v*m = 4. Suppose 0 = w + 5, 2*s - 3*w - 31 = n*w. Is s smaller than 1?
False
Let y be (-16)/((-4)/((-12)/15)). Is -3 smaller than y?
False
Let c be ((-1)/2 + 1)*-2. Let l be ((-21)/(-6))/7*(-44)/22. Is c >= l?
True
Let l(r) = -r**2 - 6*r - 3. Let v be l(-5). Let d be (6/4 - 2)*v. Is d at 