*a. Let n(z) = 4*g(z) + k(z). Suppose 0 = 3*i + 3*v + 2*v - 22, 5*i - 15 = -4*v. Let w be n(i). Do 2 and w have different values?
True
Suppose -174 + 706 = -28*j. Let a = -42 - -24. Which is smaller: j or a?
j
Let m = -23.67 - -24. Is m smaller than 0?
False
Let u = 4 + -8. Let t be u/8*(0 + -1). Which is smaller: 2 or t?
t
Let q = 1.7 + -1.67. Which is smaller: q or 3?
q
Suppose 0*z = -v - 3*z + 9, -6 = 5*v - 2*z. Are v and 0.18 non-equal?
True
Let c = -201 - -3215/16. Which is smaller: c or 1?
c
Let m = -93 - -557/6. Is m smaller than 2/25?
True
Let k = -10/63 - -8/21. Which is bigger: k or 0?
k
Let l = -211 + 1051/5. Let p(w) = -w + 4. Let s = -4 - -10. Let r be p(s). Are l and r non-equal?
True
Suppose 8 = 2*h + 5*x, -2*h + 28 = -4*h + 4*x. Is h smaller than -6?
False
Let p = -95.8 + 96. Does p = 1.2?
False
Let d be (-111)/(-36) - 6/8. Let p = d + -5/3. Which is greater: 2 or p?
2
Let i be 2/(-5) + 37*3/15. Which is bigger: -0.1 or i?
i
Let v be 4 + -2 + (-18 - 2). Let u = 35/2 + v. Suppose -n - 4*d - 15 = -d, -3*n + 2*d = -10. Which is bigger: u or n?
n
Let l(p) = -p - 10. Let y be l(-5). Let w = y - -5. Which is smaller: 2/5 or w?
w
Suppose h = -2*x, 3*x - 6*x + 25 = -h. Let s = h - -12. Which is smaller: s or 1?
1
Let n(g) = g**3 + 9*g**2. Let w be n(-9). Suppose -2*p + 5*p - 3 = w. Which is bigger: -1 or p?
p
Let h(a) = a**3 - 9*a**2 - 10*a + 1. Let r be h(10). Which is greater: 2/57 or r?
r
Let u be (20/(-30))/(2/(-12)). Suppose -2*z - u = -2*n, n - 9 = -2*n. Is -1/4 < z?
True
Let v(u) = u**3 + 3*u**2 - u. Let i(o) = -o**2 + 10*o - 12. Let k be i(9). Let c be v(k). Let m = 2 - c. Is m at most 1?
True
Suppose 2*s + 10 = -3*s. Let n be (-56)/91*(-1)/s. Is n greater than or equal to 1?
False
Let u be 3 + -4*(-4)/(-4). Which is greater: u or -2?
u
Let d = 19 + -20. Which is smaller: d or 3/19?
d
Let f = -1.6 - -1.9. Which is greater: f or -4?
f
Suppose 0 = -2*t - t. Which is smaller: -2/101 or t?
-2/101
Let w be (-5 - -8) + (1 - (-192)/(-14)). Is -10 >= w?
False
Let w(k) = -k. Let r be w(-1). Which is greater: r or -3/10?
r
Let r = -10 + 1. Let y be (-1)/15 - (-3)/r. Which is bigger: -2/7 or y?
-2/7
Suppose -4*s + 2 = -6. Let j be (4 - 4) + s + -1. Which is smaller: 0 or j?
0
Let p = -1.6 + 10.6. Is -1 smaller than p?
True
Let t(y) = 2*y + 4. Let g be t(-5). Let n be (8/3)/(2/g). Is -8 smaller than n?
False
Let x be (-357)/9 - (-2)/3. Let v be 1*-1*3/x. Which is bigger: v or 1?
1
Suppose 3 = -3*z + 9. Which is bigger: -2/5 or z?
z
Let c be 2 - (-29)/(-1) - 0/(-8). Is c greater than or equal to -28?
True
Let j = -21 + 22. Which is greater: j or -18?
j
Suppose 19 - 47 = 2*q + 4*a, 3*q + 69 = 3*a. Which is bigger: q or -0.1?
-0.1
Let s = -1.1 - -0.1. Let u = -0.1 + 0.04. Let i = 0.46 + u. Which is greater: s or i?
i
Let q be 6 - 6 - (138766 - -1). Let s = q - -33026499/238. Let h = -3/34 + s. Is 0 < h?
False
Let h = -7 + 10. Let f be (-2)/h - (-8)/(-6). Suppose -5*r + i - 25 = 0, 0 = -4*r - 3*i - 4 + 3. Which is smaller: f or r?
r
Let c be ((-5)/(10/4))/2. Let q be (c/(-30))/((-8)/(-32)). Is q smaller than 0?
False
Let y(s) = 2*s - 20. Let d be y(7). Is -8 less than d?
True
Let q(f) = f**3 - 7*f**2 + 8*f + 1. Let y be q(6). Let o(k) = 7*k - 8. Let j(p) = -15*p + 17. Let r(a) = y*o(a) + 6*j(a). Let z be r(4). Are 0 and z unequal?
True
Suppose -2*g - 13 = 3. Are g and -6 unequal?
True
Let j be -2*((-4)/(-8) + 0). Is 4/15 at least as big as j?
True
Let k be 2 - 17098/84*2. Let b = k + 405. Is 0 at least b?
True
Let t = 4 + -4.04. Let s = 5.96 - t. Is s < 0?
False
Let u = 18 - 16. Suppose 0 = -5*d + 7 - u. Which is smaller: 1/6 or d?
1/6
Let u(g) be the first derivative of g**4/4 + 2*g**3 - 3*g**2 + 7*g + 6. Suppose 4*b = 2*b - 14. Let w be u(b). Is 1 <= w?
False
Suppose -g - 10 = 4*g, -4*j = g + 34. Let y be ((-18)/(-12))/((-6)/j). Which is smaller: y or 3?
y
Let i be (-44)/(-16) - 3/4. Let x be (1/2)/((-1)/(-4)). Is x at least i?
True
Let z be 3*(-9)/((-486)/(-8)). Which is greater: -1 or z?
z
Suppose -m = 0, -5*t + 3*m - 5 = 2*m. Let p be (t - 2 - -7) + -3. Which is greater: p or -1?
p
Let l(j) = 4*j**2 - 2*j - 2. Let n = 11 + -7. Let g be l(n). Let t = g + -488/9. Which is smaller: 0 or t?
t
Suppose -m = -2*m - 59. Let h = -1237/21 - m. Which is greater: h or 0?
h
Let q(d) be the third derivative of -d**6/120 - d**5/12 - 7*d**4/24 - 2*d**3/3 - 3*d**2. Let p be q(-4). Let l = -7 + p. Is -2/9 at most as big as l?
True
Let i = 63435/73 - 869. Which is smaller: i or 1?
i
Let p(x) = 4*x**3 - 4*x**2 - 3*x. Let r be p(4). Let h = r - 1262/7. Let l = 74 + -372/5. Do l and h have the same value?
False
Let j(r) = r**2 - 3*r + 3. Let i be j(2). Let f = -293 + 2633/9. Which is bigger: f or i?
i
Let x = 12 + -11. Which is smaller: 2/253 or x?
2/253
Suppose 0 = 4*i - c + 1, -2*i - 5*c = -3 - 2. Suppose i*p - 3*p = -3. Let m be ((-8)/100)/(1/(-5)). Are m and p nonequal?
True
Suppose 4*l + 5*c = -85713, 5 = c + 2. Let z be 2/(l/9417) + 1. Let b = -3/188 + z. Are b and 0 unequal?
True
Let x be (-4)/(-4 - 14/(-3)). Let q be 186/54 + x/2. Is q equal to 0?
False
Suppose 0 = 3*o - h - 3168, 4*h + 1113 = 3*o - 2055. Let y = o + -11606/11. Is y at most 0?
False
Let z(a) = a**3 - 5*a**2 - 2*a - 1. Let i be (-37)/(-7) - 12/42. Let b be z(i). Do 0 and b have the same value?
False
Suppose 3*s - 18 = -3. Suppose 0 = 4*d + 4*b - 56, -b + 1 = -d + 3*b. Let f = d + -6. Are s and f equal?
True
Suppose -4*x = -2*x - 6. Suppose 3*h + x*z = 24, -5*h + 3 + 1 = -4*z. Let d(b) = b**3 - b**2 + b + 4. Let j be d(0). Does j = h?
True
Let k = -3204/5 + 638. Which is smaller: k or -2?
k
Let b be ((-2)/(-2))/((-10)/(-45330)). Let c = -13480/3 + b. Let n = 40 - c. Is -2/7 != n?
True
Let r = -3 + 3.05. Let n = r + -1.05. Let z = 0.5 - -3.5. Which is smaller: n or z?
n
Let n = -11/14 + 15/14. Let r(g) = -g**2 - 3*g + 2. Suppose -5*b - 24 = -9. Let d be r(b). Does d = n?
False
Let w = -16 + 16. Suppose 2*d - 12 = -w*d - 4*o, 5*o = -d + 15. Which is smaller: d or -4?
-4
Let q = -7.84 + -0.16. Let h = q - -7.9. Let o be (-6)/8*(-1)/(-3). Are o and h non-equal?
True
Let a = 925/9 + -103. Do a and 0.1 have different values?
True
Let i(h) = -h**3 + 3*h**2 - h - 4. Let c be i(3). Let d(m) = -m - 13. Let p be d(c). Let o be 1*(p - -2)/(-2). Does o = 2?
True
Let z(i) be the first derivative of i**4/4 + 4*i**3/3 + 3*i**2/2 - 1. Let s be z(-3). Let k be (0 - -2) + s/(-7). Which is bigger: 4/7 or k?
k
Let h = -2307 - -417565/181. Which is smaller: 1 or h?
h
Let n = -1.6 - -1.7. Let d = -0.3 + n. Is d less than 1?
True
Let n = -3 - -8. Suppose -n*z + 3 = -22. Suppose 5*k - 30 = z*c, -c - 14 = -4*k + c. Which is smaller: 3/5 or k?
3/5
Suppose x + 4*a = -4*x - 277, 5*x + 279 = -3*a. Which is smaller: -58 or x?
-58
Let g = 1 + 0. Suppose 2*p = 3 - g. Are -1/4 and p nonequal?
True
Let a be 16/3 + -2 - 3. Is 0 at least a?
False
Let v = 0.36 + -0.46. Which is smaller: 1 or v?
v
Suppose -u - 2 = -3. Which is smaller: u or 4/11?
4/11
Let l = 74.06 - 74. Let h = -4.1 + 4. Which is greater: l or h?
l
Let d be 616/21 - (15/9)/5. Is 29 >= d?
True
Let l = 574.02 - 569. Let y = 9 - 9.02. Let g = l + y. Is g equal to 0?
False
Let k(p) = -2*p - 5. Let t be k(-4). Let x be (17 - 2)*t/9. Which is smaller: x or 4?
4
Let i be 7/(-14) + 29/2. Let s be (-15)/10*4/i. Is -1 at least s?
False
Let l be -1*2/(-8) + 0. Suppose -3 = -k - 2. Do k and l have the same value?
False
Let r = -4 + 4. Suppose 4*k = -r*k. Let o be 0 + -2 + 35/14. Is o greater than or equal to k?
True
Let o(s) = -s**3 - 8*s**2 - 9*s - 11. Let x be o(-5). Which is bigger: x or -40?
-40
Let w = 2 + -7. Let h be 1*1*(2 + w). Suppose 0 = -3*m - m - 8. Which is bigger: h or m?
m
Suppose 0 = -4*n + 5 + 3. Suppose n = -g + 6. Suppose k + 17 = 4*c, -3*k + 9 = -0*k. Are g and c unequal?
True
Let h be ((-23)/(-92))/((-2)/(-4)). Which is greater: -1 or h?
h
Let u = 14 - 9. Let z = 4 - u. Let l be (10/16)/z + 1. Which is smaller: l or -1?
-1
Let a = 2 + -2. Suppose 0*d + d = a. Let t be (-4)/(-15) - 4/(-12). Is d at most t?
True
Suppose 60 + 20 = 5*g. Let s = g - 17. Is s smaller than 1/26?
True
Let w be 4 + 1*(-15 - (-8 + 4)). Is w equal to -1?
False
Let m = -0.1 + 0.2. Let k = 0.3 + -0.4. Let b = k + m. Which is greater: 0.1 or b?
0.1
Let l = 2.6 + -3.6. Is 3 