et c = 2.81 - -0.19. Suppose u + 4*u - 25 = 0. Suppose 0 = -4*s + u*q - 2*q - 11, 0 = s + 2*q - 11. Is c less than or equal to s?
False
Let n = -4 - -4. Let a = n + -1. Which is bigger: -2/5 or a?
-2/5
Let n = 13 + -14.2. Let p = n - -1.2. Is 1/5 != p?
True
Suppose -i - l + 6 = 0, -5*i + 2*i - 5*l = -28. Which is smaller: i or -2/111?
-2/111
Let w be 2/162*(-6)/(-4). Which is greater: w or -1?
w
Let p(x) = x**2 - x + 1. Let c be p(-2). Let h be (-1)/(-3)*(-3)/c. Let k = 43 - 43. Which is bigger: h or k?
k
Let r be ((2 - 1) + -2)/3. Is 10 smaller than r?
False
Let a = 31 + -33. Which is bigger: -1 or a?
-1
Let u = -18046/25 - -722. Is u less than or equal to -1?
False
Let u be (5 - 6)*(1 - -2). Let j(r) = -r**2 - 3*r - 3. Let n be j(u). Let k be (-2 - -2)*1/n. Is k bigger than 0?
False
Let r be 38*1/(-2) + 0. Let f = 12 + r. Which is smaller: f or -6?
f
Let p = 37 - -7. Which is smaller: p or 43?
43
Let s(w) = w**3 - 6*w**2 - w + 6. Let l be s(6). Let x(o) = -5*o + 3 + o**3 + o**2 + 0*o**2 + 4*o. Let b be x(l). Is 2 smaller than b?
True
Let q(x) = x**3 + x**2 - 2*x + 1. Suppose 5*t + 2 = -8. Let s be q(t). Is 1 greater than or equal to s?
True
Let a be 160/756 + (-4)/14. Do a and 1 have the same value?
False
Suppose p - 4*q - 3 = -15, -15 = 5*p - 5*q. Let a be ((-3)/(-2))/(6/(-8)). Let h be 0*(-1)/(-4)*a. Is h > p?
False
Suppose 0 = 5*g + 4*u - 16, -3*g + 5*u - 20 = -g. Which is smaller: 10/23 or g?
g
Let c(v) = v**2 - 13*v - 12. Let x be c(14). Let f be 156/42 + x/7. Is f smaller than 7/2?
False
Let g = 9 + -8. Let o = g + 6. Suppose o*n + 9 = 4*n. Is -5 smaller than n?
True
Suppose -y + 0 = -3*k - 1, -3*y + 2*k = -3. Suppose 4 = d - y. Let q(r) = r**2 - 6*r + 6. Let c be q(d). Is c less than 1?
False
Let w = 4/9 + -10/9. Which is greater: 0 or w?
0
Let q = -18/79 + 1046/1817. Which is smaller: -1 or q?
-1
Let r = 2 - 4. Which is smaller: -2/7 or r?
r
Let p = 6 + -11. Suppose 0 = -8*v + 6*v - 10. Is p not equal to v?
False
Let d = 3 + -2. Let v be d/((-4)/8*-10). Is v < -2?
False
Let o = -624 - -652.1. Let i = o + -25. Let m = i + -3. Which is bigger: 1 or m?
1
Let q be (1/25)/((-4)/10). Which is smaller: q or 0?
q
Let s(r) = r**2 + 3*r - 5. Let y(n) = n**2 + 9*n - 4. Let t be y(-9). Let p be s(t). Let z be 3/6*4/6. Which is bigger: z or p?
z
Suppose -137 = -25*c - 37. Which is smaller: c or 19/6?
19/6
Let h(l) = -l**2 - 1. Let m be h(1). Let b = 2 + m. Let q = 28/325 + -6/25. Which is smaller: q or b?
q
Let h = -3.1 - -3. Is h < 7?
True
Suppose 6 = -2*f - f. Which is smaller: f or -1?
f
Suppose 5*b - 53 = 2*s, 0 = -4*s - 7 - 9. Is b <= 10?
True
Let h be 4/(-87)*(-1009)/(-4). Let k = h - -27/29. Let i = k - -11. Is -2/7 at most i?
True
Let m = 16 - 23. Does m = -8?
False
Let m be 2 + (-4 + 2 - -4). Suppose 0 = -m*r + 2*r + 2. Is r >= 3?
False
Let j = 6 + -5.96. Let n = 2.04 - j. Which is greater: n or 6?
6
Let a(v) be the third derivative of -7*v**4/24 + v**3/6 + 2*v**2. Let d be a(1). Let t be (2/d)/(1/2). Which is smaller: t or -2?
-2
Let p = -7 - 15. Which is bigger: 2 or p?
2
Let b = 5.1 + -4.1. Let u be (2 - -3)*1*2. Suppose 4*k - 2*k - a = -u, 0 = 4*k + 2*a + 4. Is k less than b?
True
Let d = -39.96 + 40. Is d less than 0.1?
True
Let r(q) = -4*q - 36. Let n be r(-9). Is -4/11 greater than or equal to n?
False
Let k = 0 - -22. Is 21 bigger than k?
False
Let s be 3/(-3)*((-8)/(-9))/(-4). Is s at least as big as 1?
False
Suppose 0 = -4*g + s - 74, 3*s + 36 = -3*g - 12. Which is bigger: -16 or g?
-16
Let z = 24 + -49/2. Is 51 smaller than z?
False
Suppose -66 = -4*x + 5*x. Is x greater than or equal to -67?
True
Let w = -51 - -49.95. Let t = 10 + -9.95. Let u = w + t. Which is smaller: 5 or u?
u
Let z = -168 + 165. Which is greater: -32 or z?
z
Let f = 12438/10871 - 2/1553. Which is bigger: f or 1?
f
Let h = 9 - 9.1. Let n = -297/7 + 42. Which is smaller: h or n?
n
Let o = 49 - 33. Let f be 6 + ((-3)/1 - 0). Suppose 0*c = -3*g + 2*c - 8, f*g - 4*c = -o. Is 1 < g?
False
Let c be (-2)/(-3) - 13/(-3). Let t = c + -7. Is t greater than 3?
False
Let z(u) = 7*u + 4. Let f be ((-8)/12)/((-4)/(-18)). Let o be z(f). Let r be 1/2 + o/18. Is -1 greater than r?
False
Suppose 7*h = 38 - 3. Suppose 2*q - 8 = -5*b, -h*b + 6 = -4*q - 8. Do q and -4 have the same value?
False
Let q = -102 + 103. Is 2/27 >= q?
False
Let a be -2*((-18)/8)/(-9). Let z = 0.3 + 0.7. Let k = z + -1.1. Is k smaller than a?
False
Let m(k) = k**3 - 9*k**2 + k - 9. Let x be m(9). Which is smaller: 2/217 or x?
x
Let o = -7 + 8. Let v = 1 + o. Let c = -3 - -3.1. Are v and c equal?
False
Let b be ((-30)/(-25))/(2/(-5)). Suppose 0*u = -4*q - u - 24, -u = 3*q + 19. Is b > q?
True
Let y = 1.9 - 4.9. Is 0 <= y?
False
Let c = 1.4 + 3.6. Which is smaller: 1/3 or c?
1/3
Let l = 11845/578 + 2/289. Is 20 less than or equal to l?
True
Let j(u) = -u**3 + u. Let p be j(2). Which is smaller: -8 or p?
-8
Let d = -27 - -615/23. Is 1 != d?
True
Let r be -3*(4 - 39/9). Is r less than or equal to 2/37?
False
Let b = -0.09 - 1.91. Which is smaller: -0.1 or b?
b
Suppose 5*f + 6 + 9 = 5*b, -f - 23 = -5*b. Suppose i = b*x + 12 + 8, -2*x + 14 = 4*i. Which is smaller: x or -2?
x
Let l be 4 - 1*(-3 - -22). Which is smaller: l or -14?
l
Suppose -2*q - t + 35 = 4*t, 96 = 5*q + 4*t. Suppose -1 + 5 = 3*p + l, 5*p - 5*l - q = 0. Which is greater: 0.2 or p?
p
Let c = -4068/126755 - -3/1255. Let x = c - 573/1111. Which is bigger: x or 0?
0
Suppose 0 = -3*o - 7 + 22. Which is bigger: o or 2/3?
o
Suppose -y + l - 30 = 0, -4*l + 22 = 3*y + 105. Is y smaller than -28?
True
Suppose 13 = -d - 3*g, d - g - 3 = 4. Suppose -d*q = -4 + 8. Is -8/3 at most q?
True
Suppose -3*k = 3, 0*f - 2*k - 2 = -2*f. Let v be (0 - f) + 15/12. Which is bigger: v or 1?
v
Suppose 0 = 3*y - 5*x + 7, 2*y + 2*x + 6 = 4*x. Suppose 0 = -0*u + 5*u + 15. Let d(p) = 2*p + 3. Let k be d(u). Which is bigger: y or k?
k
Suppose -2 = z - 2*f, -z - f = 3*f + 2. Let y be (2 - 3)*z/(-5). Is y greater than 4?
False
Suppose -3*r - w = 8, 3*r + 12 = -4*w - 11. Let m = -5 - 1. Let l be (5/9)/(2/m). Which is bigger: r or l?
r
Let z = -167.2 - -167. Are -10 and z nonequal?
True
Suppose -34 = -5*n + 3*x, 0 = 2*n + x - 4*x - 19. Let l = -17 + 10. Let g = l - -12. Are g and n equal?
True
Let s be 1/23*(11 + -17). Is 1 at most s?
False
Suppose 0 = -2*o + 3*o - 2. Let a = 0 - o. Suppose -2*g + 2 = 3*n, 0*n + 2*g - 2 = -2*n. Which is bigger: a or n?
n
Let d be -111*(-2)/(-8)*4. Let m = -30/2069 - -1144307/10345. Let o = d + m. Is 1 greater than or equal to o?
True
Let v(r) = r**2 - 5*r + 4. Let m be v(3). Is -8/11 less than m?
False
Suppose 4*z - 2*w + 26 = 0, 2 + 2 = 4*w. Let b be (7 + z/3)/1. Suppose -4*q + c = 3 + 3, -b*c - 10 = 0. Does q = -2?
True
Let r = -1534/87 - -53/3. Let i = r + -37/232. Which is bigger: 0.1 or i?
0.1
Suppose -217 = 5*c - 32. Is c bigger than -38?
True
Let b = 0.06 - -0.34. Let z = b + -0.2. Let q = -3.8 - z. Does q = -2/3?
False
Let b = 279.01 + -281. Let f = -8 + 7.99. Let c = b + f. Is c not equal to -1?
True
Let u = 95 - 96.7. Is u at most 0.1?
True
Suppose -3*h + 17 = 5. Suppose 5*s = 3*l - 12, -3*s + 19 + 1 = 5*l. Is l less than h?
False
Let f be ((1 - 2) + -4)/(-2 - 6). Are f and 2 non-equal?
True
Let m be (-79)/(-1)*2/10. Let k = -82241/105 - -2398/3. Let z = m - k. Which is bigger: z or -1?
z
Let d(i) = 0*i - i + 1 + 1. Let u be d(8). Is u < -5?
True
Let k = -9 - -6. Let u be (2/(-6))/((-1)/k). Let r be ((-18)/30)/(3 - 0). Which is bigger: u or r?
r
Suppose -k = -4*t + 4*k - 48, -5*t - 43 = -2*k. Let c(a) = a**2 + 6*a - 7. Let g be c(t). Let i be 1/(-1 + (-8)/6). Is g greater than i?
True
Suppose 5 = 5*s - 0. Let a be 1/(6/(-4)) - -2. Is a <= s?
False
Let y = 2 + 0. Suppose y*p = -3*p - 5. Suppose -5*a - 13 = h, -5 = 4*a + 2*h + 9. Which is bigger: a or p?
p
Let f be ((-1)/2*-12)/2. Suppose -k - 4 = f*k. Let c be k/(3/(-2 + 20)). Which is smaller: -5 or c?
c
Suppose 0 = p - 4*p. Suppose 2*y - 35 = 5*k, -4*k + 5*y = -p*k + 11. Is k greater than -8?
False
Let y = 63 + -67. Is -5 at least y?
False
Suppose 4*t = -5*n - 140, 5*n = 5*t + 16 - 111. Is -26 at least as big as n?
False
Let r = 13/28 + -3/4. Suppose -2 = -2*t - 6. Let x be (3/t)/((-3)/(-4)). Which is greater: x or r?
r
Let v = 0.09 + -0.08. Let j = v + -0.01. Is -0.1 at least j