*3. Let v be m(7). Which is bigger: 2/7 or v?
2/7
Suppose -4*s = 2*w - 16, -s + 4*w = 3 + 11. Suppose 25 = k + 4*k. Let q(z) = -z**3 + 6*z**2 - 6*z + 7. Let t be q(k). Is s at least as big as t?
True
Suppose -3*l + 5 = 8. Which is greater: -1/5 or l?
-1/5
Let c(f) = f**3 - 16*f**2 + 16*f + 4. Let p be c(15). Is p at most 20?
True
Let a(n) = -n**2 - 11*n + 11. Let r be a(-12). Which is smaller: -9/10 or r?
r
Suppose 0 = -2*o - 3 + 19. Suppose -z + 6*z - o = -3*u, 0 = -2*z + u + 1. Let l be (-1 - 1 - -4)*z. Is 1/4 at least as big as l?
False
Let k(f) = -f**3 - 7*f**2. Let h be k(-7). Let t = 9 + -8.9. Which is smaller: h or t?
h
Let g be 0*(2 - 3) + 24/(-352). Is 0 less than g?
False
Suppose -2*i = -2*h + 12, 4*h + h + 4*i = 21. Is h <= 4?
False
Let u(k) = -5*k + 3*k - 15*k**2 + 12*k**2 + k**3. Let t be u(3). Is -7 > t?
False
Let s(a) = -2*a**2 - 2*a - 1. Let h be s(-1). Which is smaller: h or -3?
-3
Suppose 7*z + 128 = -635. Is -109 not equal to z?
False
Let g = 66 - 793/12. Which is smaller: 1 or g?
g
Let b = -2/113 - 216/565. Which is bigger: b or -2?
b
Suppose 5 = z + 4*z. Is 1 >= z?
True
Let k be (-1)/(21/(-2))*(-28)/12. Let h(u) = -u**2 - 4*u + 4. Let x be h(-5). Is k greater than x?
True
Let i = 0.04 + 0.3. Let w = 0.4 - i. Are -0.1 and w equal?
False
Let m = -13.4 + 11. Let q = 2.5 + m. Are 0.1 and q non-equal?
False
Let b be ((-3)/((-42)/(-4)))/1. Let k = 12 - 14. Is k < b?
True
Let b be -2 - (-2 - -1)*4. Let a be (2/(-4))/(b/(-24)). Which is bigger: a or 4?
a
Let s = -12 + 22. Let u = -6 + s. Are 4 and u non-equal?
False
Suppose -5*o - 61 = 39. Is o <= -20?
True
Let u = -4 + 1. Let h be (0 - u - 4)*-5. Which is bigger: 6 or h?
6
Suppose r - 12 = -7. Suppose -4*f + 10 = z - 5*f, 0 = -3*z + 5*f + 38. Is z greater than or equal to r?
True
Let w = 0.69 - -0.21. Do w and 0 have the same value?
False
Let d = 10 + -11. Is d less than or equal to 1?
True
Let i be (-56)/(-21)*(-6)/(-8). Which is greater: 3 or i?
3
Let p = 635 - 427. Let m = p - 209.98. Let x = m - 0.02. Which is bigger: -1/4 or x?
-1/4
Let m be 275/10*(-8)/10. Let g = -41/2 - m. Which is smaller: 1 or g?
1
Suppose -3*g + 13 = 4. Suppose 0 = g*j + j. Let x be 1*-1 - 11/(-6). Is x greater than j?
True
Let r be (-14)/(-20)*(-15)/(-4938). Let h = 1859931/23044 + r. Let q = -81 + h. Which is greater: -0.1 or q?
-0.1
Let d be 39/4 - 4/(-16). Suppose d = 3*p + 13. Is p <= -2/9?
True
Let z = 0.22 - 7.22. Is z less than or equal to 1?
True
Let h = 1.4 - 1.8. Let a = -2.9 + 3. Which is smaller: h or a?
h
Suppose 2*o + 3*w + 8 = 0, 0*o + 2*o = -w. Suppose -o*p + p = -132. Let z be (-2)/(-7) + p/28. Is z at most as big as 3?
False
Let i = -12 + 8. Let c be 1 + i*(-2)/(-10). Let d(n) = -n**2 - 2*n - 2. Let b be d(-1). Is c at most as big as b?
False
Let w be (2 + -1 + 1)*1. Let p = 4 + -3. Let m be p/3 + (-3)/(-18). Which is smaller: m or w?
m
Suppose 3*d - 3*g + 45 = 0, d + 5 = -g - 4. Is -14 greater than d?
False
Suppose 3*h + 3 + 12 = 0. Which is smaller: h or -8?
-8
Let z = 484/3 + -160. Let x = 7 - 6. Let u = x + -0.9. Which is smaller: z or u?
u
Suppose 2*f + 6 + 14 = 0. Let d be 5/f - 1/(-2). Let b be 5/8 - (-6)/(-24). Is b less than d?
False
Let c be (-4)/10 + 12/30. Let g be 6/4 + -1 + c. Is -4 equal to g?
False
Let v be (-3)/4*6/9. Let d(z) = -z - 5. Let p(f) = -4*f - 14. Let o(a) = 7*d(a) - 2*p(a). Let n be o(9). Are v and n non-equal?
True
Let d = 8 + -3. Suppose -5*b + 3*g = -13, 4*b + 4*g - g - d = 0. Let q = -2 - -1. Which is bigger: b or q?
b
Let g be (-2)/10*(-30)/(-36). Is g < -1?
False
Suppose 4*z + 6 = 6*z. Is 3/2 bigger than z?
False
Let c = -3.5 - -1.6. Let n = c - -0.3. Let o = -0.4 + n. Is o > 1?
False
Suppose -140 + 101 = -3*z. Is z <= 13?
True
Suppose -o + 5*y + 3 = 0, -y + 5*y = -4*o + 12. Let s = 2 - o. Let q be 10*1/(-14) + 1. Are q and s equal?
False
Let l = -16 - -11. Let j be (l/(-3))/((-4)/(-36)). Let v be (-2)/(-10) + 12/j. Which is greater: v or 4/9?
v
Let p be ((2 - 0) + -3)/(2/(-20)). Which is smaller: p or 0?
0
Suppose 0 = -x - 2*z - 3, -z = -4*x + 3*z. Let n = 123 + -123. Is n bigger than x?
True
Suppose -4*s = -3*s - 20. Suppose -2*n = 2*n - 60. Let u be (-16)/(-42)*n/s. Which is bigger: 0.4 or u?
0.4
Suppose 17*o + 56 = 13*o. Let i be 4/o*7/(-3). Which is smaller: i or 0?
0
Let l = -1 - -2/3. Is -7 <= l?
True
Let j(q) = q**3 - 5*q**2 - 6*q - 2. Let z be j(6). Suppose 0 = -4*b - 1 - 3. Which is smaller: z or b?
z
Let f = -27 - -18. Let q = 13 + f. Suppose -11 = q*w + 3*s + 1, 4*w + 2*s + 8 = 0. Is 1/5 > w?
True
Suppose a + 2 = 1. Let r be (a/1)/((-8)/(-56)). Is -8 < r?
True
Suppose h = -3*h + q + 95, -3*h + q = -71. Which is smaller: h or 25?
h
Let z = 357 + -14635/41. Which is smaller: z or -1?
-1
Let v be (-120)/(-70) + 4/14. Let s be (v + 52/(-32))*2. Suppose 3*t + 9 = 3*a, -2*t + 14 = 4*a - 2*a. Is t less than s?
False
Let r be (12/18)/(20/18). Which is smaller: r or 2?
r
Let q be 4/(-10) + 189/35. Which is smaller: q or 6?
q
Suppose 2*p = -2*t - 0*p + 98, -4*t + 190 = -2*p. Which is smaller: 47 or t?
47
Let a = 34 - 25. Which is bigger: 10 or a?
10
Let k be -1 - ((-3 - -2) + -1). Suppose -k + 7 = 2*t + 2*o, t + 3*o - 3 = 0. Suppose -3*z + z = -t*q - 19, -2 = 4*q + 2*z. Is -3 less than q?
False
Let m = 0.22 - 0.02. Which is bigger: m or 1/4?
1/4
Suppose 2*h + 4*a = -3*h + 240, 5*h - 3*a = 240. Let x = -242/5 + h. Which is smaller: -1.3 or x?
-1.3
Let h = -0.7 - -0.1. Let g = 0.8 - 0.2. Let s = g + h. Which is greater: 0.05 or s?
0.05
Let f = 17 - 29. Let y be (f/(-9) - 1)*9. Which is smaller: -0.2 or y?
-0.2
Let c = -1093/4 + 275. Let h = -57/28 + c. Do 0 and h have different values?
True
Suppose g = 3*r - 5, 0*g = -4*g + 2*r - 10. Let w be (-1 - -2)/(1/13). Suppose -23 = s - 4*j, -4*s + 3*j = w + 14. Is g at most s?
False
Let m be (5 - 3 - -1) + 13. Let p be 1 + ((-28)/m)/1. Suppose -i + 8 = -4*g, 3*g + 4 = g - 4*i. Is g less than p?
True
Let r = -113 + 66. Let v = -51.7 - r. Let a = 5 + v. Which is smaller: a or 0.1?
0.1
Let b be 8 + -8 + (-2)/(-9). Do 1 and b have different values?
True
Suppose -7*b + 18 = -6*b. Which is bigger: b or 0?
b
Let d(l) = 3*l. Let b be d(2). Let x(c) be the first derivative of c**2/2 - 8*c - 1. Let s be x(b). Is 2/5 != s?
True
Let z = -40 - -38. Which is greater: 1 or z?
1
Let c(f) = f**2 + 8*f + 5. Let s be c(-7). Let y be (0 + -4)*1/s. Let q be 0 + y - (-65)/(-40). Which is bigger: 0 or q?
q
Suppose 0 = -3*o + 8*o - 10. Let p be (-6)/o - -2 - -3. Suppose n + p*n = 0. Is -1/6 at least n?
False
Suppose -y - 4*y = 0. Which is bigger: -2/19 or y?
y
Let o = -45 - -39. Which is smaller: -7 or o?
-7
Let u(d) be the second derivative of d**4/3 - d**3/6 + d**2/2 + d. Let b be u(1). Which is smaller: b or 3?
3
Let k = 371 - 13729/37. Which is smaller: k or -1?
-1
Let z(r) be the first derivative of r**2 - r - 4. Let q be z(1). Is q greater than or equal to -1/8?
True
Let a = -7 - -12. Suppose a = -4*t - 3. Is t < -2?
False
Let a = 2 + -2.3. Is -1 bigger than a?
False
Let n(q) = q**3 + 7*q**2 + 5*q - 3. Let r be n(-6). Suppose -2 + r = -i. Is -2/3 at least i?
True
Let f = 1.2 + -7.2. Let g = f + 8. Which is smaller: g or 1?
1
Let j be (-7)/4 - 2/8. Let o(m) = m**2 + m + 1. Let y be o(-2). Let p(t) = t - 4. Let f be p(y). Is j greater than f?
False
Let g be (-5)/2*(-168)/1610. Is 0 equal to g?
False
Let s be 2/(6/9) - -2. Let q(t) = t**2 - 6*t + 4. Let c be q(s). Is -3/2 > c?
False
Let o(k) = -8*k. Let g be o(2). Let q = g - -6. Let x be -2*(q/(-8) + -1). Which is smaller: -2 or x?
-2
Let o = -1 - 1. Suppose -2*d + 0 + 16 = 0. Which is smaller: d or o?
o
Let x = 291/4 - 4955/68. Is x less than -5?
False
Let h be (8/10)/((-28)/(-1050)). Which is smaller: h or 117/4?
117/4
Let a = 3 - 3. Suppose 6 = 2*q - a. Let y be (q/(-1))/(3/2). Which is greater: -3 or y?
y
Let x = 0.6 + -0.4. Let t = 0 + x. Let o = -2.4 - -2.5. Is o at most t?
True
Let h(w) be the first derivative of -w**2 - w - 1/4*w**4 - 2 + w**3. Let d be h(2). Which is smaller: d or 2/3?
d
Let n be 1*2*15/10. Let u = -8 - -11. Suppose -3 = -u*r + 6. Is n greater than r?
False
Let a be -1 - 6*4/(-21). Let n be (0 - (-2)/4)*2. Are n and a equal?
False
Let h be 1*(-9)/(-3) + 176/(-56). Is h not equal to 10/3?
True
Let t(h) = h**3 + 3*h**2 + 2*h - 1. Let z be t(-2). Le