*j. Suppose -w - 8 = 4*u - 2*u, 3*u = 3*w - 12. Let z be f(u). Is z at most as big as 0?
True
Suppose 4 = -4*k + 28. Let g be k/28*(-4)/(-3). Is g > -0.09?
True
Let p = -31 - -38. Which is bigger: p or 10?
10
Let l(z) = z**3 - 4*z**2 - 5*z + 3. Let j = 16 + -11. Let s be l(j). Is s less than or equal to 1?
False
Let k = 10 + -16. Let t = 5.8 + k. Let g be 2 + -3 + (-6)/(-10). Is t at most g?
False
Let c be -1*2*(-2)/4. Let q = 1/23497 - 20653867/93988. Let i = q + 221. Which is bigger: i or c?
i
Suppose -60 = 2*u - 5*m, 2*u + 12 = -5*m - 8. Are -21 and u non-equal?
True
Let o be 0/(-4) + (-1)/(-6). Which is smaller: -1 or o?
-1
Let n be (-35)/21*(-18)/30. Suppose x = g + 2*x + 6, 2*g - 4*x = 12. Which is greater: n or g?
n
Let f(i) = 2*i + 11. Let l be f(-6). Let t be (3 + -3)/(1 - l). Let b = -3/133 + -73/133. Does t = b?
False
Let o = 25 - 94. Is o < -1?
True
Suppose 4*o + 2*s - 6 = 4*s, -5*o + s + 9 = 0. Suppose o = 4*b - 2. Which is bigger: 2/17 or b?
b
Let a = -17 + 17. Let r = -7 - a. Are r and -6 non-equal?
True
Let x = -4 + 8. Suppose x*w = -0*w. Let l = 2396/11 + -218. Which is greater: w or l?
w
Suppose 6*l - 12 = -0*l. Which is bigger: 3 or l?
3
Let p be 6/4*(-4)/(-24). Is 0.17 less than or equal to p?
True
Let q be (2/(-6))/(5/45). Let a be 2/56 + q/(-12). Is 0 greater than a?
False
Let i be (6/15)/(4/20). Is i greater than or equal to 2?
True
Let j = 94 + -95. Suppose -6*h = -2*h + 48. Let u be h/(-10)*(-2)/6. Is j smaller than u?
True
Let j(g) = g**2 + 4*g - 15. Let y be j(-6). Are y and -5/2 non-equal?
True
Let c = 64.1 - 62. Which is greater: 0.2 or c?
c
Let g(k) = k + 6. Let q be g(0). Let y be (8/(-30))/(4/q). Which is smaller: -1 or y?
-1
Let k be (-2)/(-4) - 74/(-308). Let t be ((-68)/44 + 2)/1. Let m = k - t. Which is smaller: m or -1/2?
-1/2
Let k = 15 + -11. Suppose -f + 10 = f. Let b = k - f. Are 0 and b nonequal?
True
Let g = -0.1 + -4.9. Let q = 0.26 + -5.16. Let j = g - q. Which is bigger: j or 4/9?
4/9
Let y = 686 - 4127/6. Is y not equal to -1?
True
Let l be (-2 - -6)*(-5)/(-510). Which is smaller: l or 0?
0
Let b = -0.02 + 0.05. Let n = b - 7.03. Let s = -7.1 - n. Is -0.2 != s?
True
Suppose -8*n - 35 = -n. Which is bigger: n or -3?
-3
Suppose n = -0 - 27. Is n not equal to -27?
False
Let d be 18 + -25 + (-25)/(-4). Let p(b) be the third derivative of b**6/120 + b**5/15 + b**4/6 + b**3/3 + b**2. Let v be p(-3). Is v <= d?
True
Let g(p) = -p + 3. Let s be g(0). Which is smaller: s or 2?
2
Suppose -2*g + 6 = 0, -2*z + 4*g - 2 - 6 = 0. Let c = z + -8/3. Let o = -0.9 + 0.6. Which is smaller: c or o?
c
Let o be (-2)/(-4)*(-3)/(-51). Let i = o - -15/68. Is -0.1 at most as big as i?
True
Let p = -0.5 - -0.4. Suppose 2*h + 2*h = -4. Let u be (1 + h/5)/(-2). Is p greater than or equal to u?
True
Let y = -21 - -20. Are 2/23 and y unequal?
True
Let g be 1*12/(-75)*-5. Let q = -46 - -47. Do g and q have different values?
True
Suppose 2*h + 0 + 6 = 0. Let v(x) = x + 3. Let t be v(h). Is t at most as big as 2/33?
True
Let h = -20.2 + 22. Let n = h + -1.1. Let i = -0.5 + n. Which is bigger: -0.2 or i?
i
Let y(x) = -7*x + 11. Let a(m) = 3*m - 6. Let i(u) = -5*a(u) - 2*y(u). Let n be i(8). Which is smaller: -0.3 or n?
-0.3
Let g = 10 - 1. Suppose 4*z + d - g = 0, 0 = d - 3*d - 6. Which is smaller: z or 0.1?
0.1
Let l be (-404)/(-203) + -12 + 10. Which is smaller: l or 1?
l
Let h = -25 - -19. Which is smaller: 0.2 or h?
h
Let n be 0/(-2) - 6/(-3). Let r be 44/(-12) - n/(-3). Let c be (-2 + 0 + 0)/2. Is c <= r?
False
Let g be 2/(-5) - 8/5. Let l be (1 + 10/(-4))*g. Let w be (l*1)/(6/(-4)). Do w and 1 have the same value?
False
Let t = -457 - -42499/93. Is -1 less than or equal to t?
True
Let n = 1 - 1. Let q be -6 + 2 - (-3 + n). Let p = 15 - 31/2. Which is bigger: q or p?
p
Suppose 162 = -11*n + 470. Are n and 29 nonequal?
True
Suppose 18*g = 13*g + 10. Is g >= 15?
False
Suppose 0 = -3*r + 3 - 0. Suppose 0 = -2*p - 5*z + r, -p - 2 = -3*p - 4*z. Is 4 smaller than p?
False
Let g(p) = -p**3 - 5*p**2 + 6*p + 4. Let w be g(-6). Suppose 3*u - 13 = -w*i + 4*u, 5 = 2*i - u. Let r = -5 + i. Do r and -1 have the same value?
True
Let n be 2 - 8/((-12)/3). Suppose c = -5 + n. Let g(t) = t + 6. Let d be g(-7). Is c less than or equal to d?
True
Let q = -7/6 - -8/3. Let c = q + -1. Let p = -5 + 6. Which is smaller: c or p?
c
Let f = 43 - 20. Is f < 1?
False
Let k be ((-8)/(-2) - 30) + -2. Is -27 at most k?
False
Suppose -4*k = -k. Let b = 3 + -19. Let t = -79/5 - b. Are k and t unequal?
True
Let l(c) = -7*c + 1. Let d be l(1). Let u(p) = -p**2 - 7*p - 9. Let r be u(d). Which is greater: -4 or r?
r
Suppose 0 = -5*t + 7*t - 12. Is t greater than 11?
False
Let f = 5.12 - 5. Let j = 0.88 + f. Is 0 < j?
True
Let h = -68 + 203/3. Let r = 0 + -0.1. Let p = r + -0.1. Are h and p unequal?
True
Let s(h) = h**3 - 6*h**2 + h - 4. Let o be s(6). Suppose 10 = 4*k - 2*n, -o*n + 14 = 4*k - 0*n. Let m(g) = g + 7. Let x be m(-5). Which is smaller: x or k?
x
Let i = 12 - 13. Let n = 41/51 + -8/17. Is i >= n?
False
Let w = -4.1 + 4. Let h be 3/9 - (-4)/(-6). Which is smaller: w or h?
h
Let p = -55/6 - -20/3. Is -4 at least as big as p?
False
Let r be ((-2)/6)/((-15)/(-6)*-2). Suppose -4*d = -0*d. Which is greater: r or d?
r
Suppose 31 - 1 = 3*b. Let c = b - 6. Suppose -5*n - c*h + 11 = 0, -5*n + 4*h + 5 = 26. Is -1 smaller than n?
False
Suppose -21 = 22*o + 1. Let r = -76/2415 - -1/345. Which is smaller: o or r?
o
Let k be 6/18*1*12. Let b be (32/(-6))/(k/(-6)). Do 8 and b have the same value?
True
Let o be (-9)/(-3) + (-9)/3. Is o greater than -1/3?
True
Let f = 7.1 - 1.1. Let z = 5.1 - 0.1. Let m = f - z. Are m and -1 nonequal?
True
Let u = 548 + -6016/11. Does u = 1?
False
Let x = 11.9 - 12. Let f = x - 0.1. Is f greater than or equal to 0.4?
False
Let g = 24 + -21. Let c = -26/3 + 9. Is c bigger than g?
False
Let t(d) = d**3 + 2*d**2. Let r be t(-2). Let b = 1 - r. Which is smaller: 0 or b?
0
Let x = -0.3 + -4.7. Let n = -5.1 - x. Which is bigger: n or 2/3?
2/3
Let m = -8.846 + 0.776. Let u = m - -8. Are u and -2 nonequal?
True
Suppose 0 = 5*t + 2*w + 21, 0*t + 3*w + 6 = t. Let n = -12/11 + -19/33. Which is smaller: n or t?
t
Let v(p) = p + 1. Let j be v(1). Suppose -2 = j*w + 10. Is w equal to -6?
True
Let k(x) = x**3 - 4*x**2 - 6*x - 3. Let a be k(5). Is a at least -11?
True
Let j = 27 + -19. Let w = -9 + j. Let c = -13/44 + 1/22. Is c bigger than w?
True
Suppose j = 5*m + 3*j - 10, -j = -m + 2. Suppose 0 = -m*l + l + 4. Let r be 3/(-2)*(-2 - 0). Which is smaller: r or l?
r
Let j = -2 + 2. Suppose j = 4*g - 12 - 0. Suppose 4 + 0 = -2*r + g*v, 0 = 5*v - 10. Which is smaller: r or 2?
r
Let x = -4 + 2. Suppose 18*n + n + 95 = 0. Is n greater than x?
False
Let t = 13 + -27. Let n be (-10 - t) + 146/(-36). Which is bigger: n or -1?
n
Let h = -28 + 25.9. Let i = 2 + h. Let j = i + 0. Which is bigger: j or -2/7?
j
Let a be 1/(-6) - (-10)/60. Suppose -1 - 3 = -4*s. Which is bigger: s or a?
s
Let z(g) = 2*g - 5. Let a be z(4). Let v be (-2 - 1) + (5 - a). Is v at least -2?
True
Let b(i) = -i**3 + 13*i**2 + 32*i - 31. Let j be b(15). Which is smaller: 0.1 or j?
j
Let k = -44 - -47. Which is smaller: 18 or k?
k
Let m be (-158)/8*-3*(-8)/6. Are -79 and m unequal?
False
Let y(g) = 9*g**2 + 2*g - 1. Let f be y(2). Let w be 1/(2 - f/18). Let u = 8 + w. Do -1 and u have different values?
True
Let q = -2 - -3. Let i = q + 2. Suppose 12 = -i*r - 3. Is r equal to -5?
True
Let p = 0.16 - -0.14. Let q(b) = b - 1. Let g be q(-1). Let o be -4*4/6 - g. Which is smaller: p or o?
o
Let j be 4/14 + 141/21. Suppose -2*t + j = -5*h + 1, -4 = -3*h + 5*t. Which is bigger: h or -3?
h
Let n be (-3)/12 - 7/4. Let y(i) = 4*i. Let s be y(1). Suppose u = s*u + 3. Do u and n have different values?
True
Let q(u) = u**3 + 5*u**2 + 4*u + 2. Let l be q(-4). Let y = 649955/48 + -13540. Let m = -1/16 + y. Is l > m?
True
Let z be 3/(-9)*3*-6. Which is smaller: z or 2?
2
Let g(r) = -r - 7. Let m be g(-9). Let x = 2 + -2. Suppose -m*n = -x*n. Which is greater: n or -2/21?
n
Suppose 2*g = g + 3. Let t(o) = 2*o**2 + g*o**2 + 4*o - 4*o**2 + 1. Let b be t(-4). Is b bigger than 1?
False
Let c(q) = 4*q**3 - 2*q**2 - 7*q + 8. Let i(s) = s**3. Let g(h) = c(h) - 3*i(h). Let f be g(4). Do 12 and f have the same