*1. Let w be (4 - 5)/((-2)/6). Suppose k = -f - w*f. Which is greater: f or 1?
1
Let g = 4 - 3. Suppose 5*q = -5*z + 4*z + 5, 0 = -3*q + 4*z - 20. Suppose -2*d + v = 3*v - 8, 2*d + 5*v - 23 = q. Are g and d nonequal?
True
Suppose 1 = 3*t + 2*t - 2*y, 15 = -5*y. Is t at least -7/4?
True
Let n(a) = -a**3 + 2*a**2 + a - 4. Let q be 6/(-4)*4/(-3). Let s be n(q). Is -4 at least as big as s?
False
Suppose 0*l - 5 = 5*l. Is 2/9 less than or equal to l?
False
Let l = -17 + 32. Let y = 0 - l. Are y and -16 nonequal?
True
Let q(x) = -x - 1. Let h be q(3). Suppose -2 = -2*a - 4*k, -2*a = -3*k - 0 + 12. Are h and a equal?
False
Let z be 142/(-5) - (-6)/15. Let k be (6/z)/(2/21). Is -1 greater than k?
True
Let b = -6.4 - -10.1. Let o = -1.3 - b. Which is greater: 0 or o?
0
Suppose -4*b + 8 = -3*r, 0 = b + 3*r + 10 + 3. Which is smaller: 1/12 or b?
b
Suppose 3*t - 18 = -3*l + 36, 0 = -l - 3*t + 20. Is 16 smaller than l?
True
Let j = 2 - 4. Is -13 != j?
True
Let a = 0.16 + -0.26. Is a less than or equal to 2?
True
Let b be ((-1652)/(-20))/(-1) - 4. Let k = b - -9083/105. Which is smaller: k or 0?
k
Suppose 11 = 4*p + 3, 4*n + p + 394 = 0. Let a be (-37)/45 - 22/n. Is a at least as big as -2?
True
Let m = 71 - 70.71. Is 0.1 equal to m?
False
Let l = 8 + -13. Let u = l - -4. Which is smaller: -2 or u?
-2
Let z = 20 - 14. Let o be 1/((-3)/z + 1). Suppose 0 = -o*c + 2 - 4, 5*c = 5*u - 15. Which is smaller: u or 1?
1
Let c = 0.9 - 1. Let m = 3.07 - 0.07. Let z = m + -3. Which is smaller: z or c?
c
Let u = -0.1 - -3.1. Is -1/3 at least u?
False
Suppose 2*w - 3*w - 3*h + 9 = 0, 2*h + 2 = 2*w. Suppose -w = -3*u - 12. Which is bigger: u or -1/2?
-1/2
Suppose 28*d = 2*d - 26. Let p be 0/((0 + 1)/1). Which is greater: d or p?
p
Suppose -p - 2*p + 11 = -2*g, 3*p = -g + 8. Let v = -5/19 + 17/209. Which is smaller: v or g?
g
Let t = 19 + -28. Let n be t/(-6)*(-2)/(-39). Suppose -2*u - 4*b + 14 = -4*u, -u + 3*b - 10 = 0. Which is smaller: n or u?
u
Let o(s) be the third derivative of s**4/24 - 2*s**3/3 - 2*s**2. Let k be o(5). Let d = -1/91 + 185/273. Do d and k have different values?
True
Suppose -t - 10 + 9 = 0. Which is smaller: -1/9 or t?
t
Let r(a) = -a**2 + 6*a - 4. Let x be r(5). Let k be x - 2 - (-1 + 2). Which is bigger: 0 or k?
0
Let s = 29 - 17. Let p be ((-2)/(-24))/(6/s). Which is smaller: p or 0?
0
Suppose -l = 1 - 9. Let n = 11 - l. Let v(o) = o**2 + 3*o + 4. Let c be v(-3). Which is smaller: c or n?
n
Let l = 0.1 - 1.1. Let f = 9 - 7.8. Let g = -1 + f. Which is bigger: g or l?
g
Let k = -10.85 - 0.15. Let m = k - -8. Which is smaller: -1/3 or m?
m
Let q be 28/(-16) - (-2)/(-8). Let z = q - -1. Which is greater: 0.3 or z?
0.3
Let p(h) = -h + 13. Let k be p(-5). Is k less than 20?
True
Let b = -17 - -12. Suppose w + 0*w - 14 = -5*u, -2*u + 2 = 4*w. Let k be -1*u - (0 + 3). Which is smaller: b or k?
k
Let j be 7/(-28) - 26/(-8). Which is smaller: -9 or j?
-9
Let j be (-1930)/(-18) + (-4)/(-6). Let u = -108 + j. Which is bigger: -1 or u?
u
Let x be 7 + (-6 + 1 - -3). Is 9 smaller than x?
False
Suppose 5*s = 2 - 7. Which is smaller: s or 15?
s
Let d = 25 - 25. Is -5/7 bigger than d?
False
Let c = -30 - -15. Let h be 87/c - -2 - -3. Which is greater: -2 or h?
h
Let u(x) = -x**2 - 4*x - 2. Let c be u(4). Which is bigger: 0 or c?
0
Let r(d) = -4*d**2 - 5*d - 1. Let q(l) = -5*l**2 - 5*l. Let j(t) = 3*q(t) - 4*r(t). Let s be j(-4). Which is greater: 0.01 or s?
0.01
Let u be (2/(-3))/(2/(-6)). Suppose u*z + 4*y - y = 55, 0 = -3*z + y + 88. Suppose -5*i + t = -19, z = i + 2*i - 5*t. Is i at most 2?
False
Let i = 0.012 - 1.012. Is -1 greater than i?
False
Let z = -2.1 + 2. Let r be 0*(12/3)/4. Suppose 2*g + 2 = -r. Is g equal to z?
False
Suppose 4*d = -q - 3*q, 3*q - 10 = -d. Let r = -6 - -8. Suppose r*p - q = -3*p. Which is greater: 3 or p?
3
Let r = -336 - -233. Let l = -98.9 - r. Let n = l - 4. Which is smaller: -0.3 or n?
-0.3
Let k be -3 - -2 - -2 - -1. Suppose -k*f = -5*f. Suppose -2*h + 4*h - 2 = 0. Is f >= h?
False
Let q = -15.1 + 15. Let s be (8/6)/(6/9). Suppose -5 + 1 = -s*z. Is z at most as big as q?
False
Suppose 149*m + 258 = 146*m. Which is bigger: m or -87?
m
Suppose 4*f - 7 - 4 = -r, 10 = r + 5*f. Is 14 less than r?
True
Suppose 6 = 5*m - 2*f - 9, 2*m - 17 = 3*f. Which is greater: -1 or m?
m
Let x be -2 + (-57)/(-29) + 0. Suppose -20 = 11*z + 9*z. Which is smaller: x or z?
z
Let w = 4 - -1. Suppose 0 = m + 5*o - w, o = -3*m + 2*o - 1. Which is bigger: 1/18 or m?
1/18
Let x(m) = -m**3 + 5*m**2 - 4*m - 2. Let h be x(4). Let v be h/((2/(-3))/1). Suppose -2*j + 3*j = 3*c - v, -3*c = -4*j - 3. Which is smaller: j or 2/3?
j
Let q = 73 + -6. Which is bigger: -1 or q?
q
Let r = -13 + 12. Is r less than 12?
True
Let m(c) = -c**2 - 6*c - 7. Let r be m(-2). Is r smaller than -1/233?
False
Let i be 184/(-267) + (-24)/(-36). Which is smaller: 0 or i?
i
Let o = -0.28 - -14.28. Let f = o - 15. Which is smaller: f or -0.03?
f
Let n be 15 - (64/4)/4. Is 12 < n?
False
Suppose -3 + 7 = 2*q. Let w(m) = m**3 - 3*m**2 + 3*m - 1. Let f be w(q). Which is greater: 1/3 or f?
f
Let x = 6 - 6. Suppose -5*k + 11 = 1. Let a be 18/(-10) - (-4)/k. Which is smaller: x or a?
x
Let v be (15/105)/((-12)/14). Which is bigger: v or -1?
v
Let q = 0.1 - -3.2. Let k = q + -0.3. Let l = 3 - k. Which is bigger: -0.1 or l?
l
Let g(n) = -3 + 0*n + 4 - 2*n. Let k be g(1). Let a = -1 - 0. Is k less than a?
False
Let u = 463 + -3253/7. Which is bigger: u or -1?
-1
Let d = 10 - 9.93. Let r = d + -0.07. Are r and 2/17 unequal?
True
Let g = 24.7 + -11.7. Is 0.1 <= g?
True
Let b be (-10)/6*42/30. Which is bigger: b or -2?
-2
Let o be (2/(-2) + 5)/2. Let d be o/(-3) - 12/(-27). Which is bigger: 1 or d?
1
Let d(u) be the third derivative of -u**6/120 + u**5/15 + 5*u**4/24 - u**3/2 - 3*u**2. Let g be d(5). Is g <= -4?
False
Let d(m) = -m**2 - 18*m - 5. Let o be d(-17). Let b be (o/4 + 16)*1. Is 19 at least b?
True
Let g = 2/5 + 1/10. Which is bigger: g or 3?
3
Let c = -129 + 130. Is -17 <= c?
True
Suppose 0 = -0*q + 3*q - 15. Suppose -q*l + 4*w + 5 = 0, -4*l - 3*w + 2*w + 4 = 0. Which is bigger: l or 2/5?
l
Suppose 0 = -4*u + 7*u - 75. Let r = u - 21. Are 3 and r equal?
False
Let x(h) = -h**2 + 11*h - 7. Let b be x(10). Suppose 5*i = n - 0*n - 18, 4*n = -i + 9. Let c = n - b. Which is smaller: c or 1?
c
Let p(y) = 11*y + 10. Let a be p(-6). Let f be (-20)/126 + 16/a. Which is smaller: 0 or f?
f
Let k = 549 - 14819/27. Is k greater than 0?
True
Let r = -6 + 5.4. Let m = 0.5 + r. Is -1/11 smaller than m?
False
Let v = -141 - -139. Which is greater: 1.3 or v?
1.3
Let v = 55 + -4. Let p be 1 + 2 + v/(-15). Suppose -1 = 2*r + 1. Is r greater than p?
False
Let y(b) = b**3 - 9*b**2 - 7*b - 1. Let o be y(9). Let n be ((-6)/o)/(48/32). Which is greater: n or -2?
n
Let h(l) = l**2 + 16*l + 13. Let b be h(-13). Which is greater: -49/2 or b?
-49/2
Let p = -29 - -3. Let z be -3 + -3 + (-152)/p. Which is smaller: z or -1?
-1
Let c = -10/9 - -88/63. Let x = -4.6 + 4. Let f = x - -3.6. Is f <= c?
False
Suppose 0 = -6*m + 8 + 22. Suppose 2*h - 2*s + 5 = 1, m*s - 15 = 0. Let y be 9/68 - (-1)/(-4). Is y less than or equal to h?
True
Suppose 4*c - 4*f - 4 = 0, -c + 2*c - 16 = 4*f. Let j be 40/22 - (6 + c). Which is smaller: -1 or j?
-1
Let q = 0.1 - -7.9. Let d = 44.1 - 44. Is q > d?
True
Let o be (5/(-2))/5*24. Let x be (6/(-5))/(o/(-45)). Which is greater: x or -6?
x
Suppose -n = -3*n. Is n bigger than 1?
False
Suppose v + 3*q = 11 + 11, -3*v + 18 = -3*q. Let y be (v/(-3))/(-5) - -2. Which is greater: y or 4?
4
Let q(m) = -m**3 + 2*m**2 + 1. Let w be q(2). Let j = -1 + w. Let k be (0 - 2)/(-4 + 2). Is j greater than k?
False
Let s(l) = 3*l + 17. Let b be s(-5). Do 14/5 and b have the same value?
False
Let q be (4/(-2) + (-27)/(-18))*-44. Do q and 24 have the same value?
False
Let v be (1/(-1))/2*1789. Let h = v - -16984/19. Let q = h + 2/19. Which is greater: q or 1?
1
Let c be 2/15*(-5)/(-3). Let n(s) = -s + 8. Let f be n(6). Let a = f + -1. Which is smaller: a or c?
c
Let b(n) = -5*n + 34. Let c be b(9). Which is bigger: c or -12?
c
Let j = 15.2 - 16. Let p = j + 0.8. Which is greater: -0.13 or p?
p
Suppose 10 = -4*n + 6. Is 3/37 less than n?
False
Let q = 1325/7 - 189. Let i(k) be the third derivative of k**4/24 + 2*