reater: s or l?
l
Let p(s) = s**3 + 7*s**2 - 8*s - 4. Let r be p(-8). Suppose a - 4*f - 5 + 3 = 0, -2*a - 2*f - 16 = 0. Is r smaller than a?
False
Suppose -4*w + 44 = -2*x, 0*w - 3*w + 40 = -2*x. Let a = x + 17. Is a greater than 5?
False
Let k(j) = j**2 + 4*j + 2. Suppose 0 = 5*y - 1 + 16. Let g be k(y). Let p be 8/156*3/g. Which is greater: 1 or p?
1
Let j(a) = -a - 4. Let z be j(-5). Let b = z + 0. Let r = 1 + -2. Does r = b?
False
Let m be 245/77 - (-2)/(-11). Suppose -3*r - m = -6*r. Let n(z) = z - 1. Let d be n(1). Is r less than d?
False
Let m be (-687)/30 + (-2)/(-5). Let t = -311/14 - m. Suppose 0*z = -5*z - 5. Is t at most as big as z?
False
Let g = 1/70 - 89/1330. Which is bigger: -1 or g?
g
Let t be 5/(-7) + 8/(-28). Suppose 0 = -c - 3 + 1. Is t not equal to c?
True
Suppose h + 11 = 5*b - 8, -b = -4*h. Let w = 4 - b. Suppose 0 = -p - w*p. Do p and -3/7 have different values?
True
Let r(f) = f**3 + 6*f**2 - 7*f + 3. Let j be r(-7). Suppose 2*n - 10 = -j*n. Which is smaller: 3 or n?
n
Let p = -38 + 53. Let g = p + -5. Is g > 10?
False
Let z(s) = s + 3. Let b be z(-3). Suppose -r - 5*i + 1 = 3*r, -i = -r - 11. Let d = r - -11/2. Which is greater: b or d?
b
Let p = 0.05 - 0.45. Let n = -0.6 + p. Let c be 2*(-4)/72*(-12)/2. Is c at least as big as n?
True
Suppose -2 - 1 = 3*c. Let a = 0.05 + -2.05. Is c not equal to a?
True
Let t(w) = -w**3 - 18*w**2 + 17*w - 36. Let l be t(-19). Is l at most as big as 12/5?
True
Let i be (11 + -13)*66/16. Which is smaller: i or -9?
-9
Suppose 4*t = -0*t. Do t and 0 have different values?
False
Let j(q) = q**3 + 4*q**2 + 6*q + 7. Let a be j(-3). Suppose 2*k - 5*t - 21 = 0, 4*k - 13 = 5*t + 4. Is a less than or equal to k?
True
Let t be 0/(-2 + 1 - 2). Let g(k) = 4 - 1 + 6 - k + t. Let h be g(7). Which is smaller: h or 3?
h
Suppose -5*m + 8*m - 24 = 0. Suppose 2*w + 0*w = -4. Let u = 5 - w. Is m bigger than u?
True
Suppose -a - 1 = -2, 1 = 3*i - 5*a. Let z be (9 - 3)*1/i. Suppose 6 - 3 = z*d. Is 1 >= d?
True
Let t = 19 - 15. Is t at most as big as 0?
False
Let m = 3 + 0. Is 5/3 not equal to m?
True
Let x = 46 - 31. Suppose 2*j + j = -4*q - x, 5*q - 5*j = 25. Let y = -1685/9 - -187. Do q and y have the same value?
False
Let a(y) = 2*y - 33. Let s be a(16). Which is bigger: -1/29 or s?
-1/29
Let j(p) = 4*p**3 - 5*p**3 + 4*p**2 - 10 + 3 + 6*p. Suppose 0 = 5*b - 20 - 5. Let h be j(b). Which is bigger: 1 or h?
1
Let p = -75 + 71. Which is smaller: 3 or p?
p
Let r = -1.9 + 3.9. Is r greater than or equal to -2?
True
Suppose 21 = -5*x + 1. Let t(d) = 2*d + 2. Let r(j) = -3*j - 2. Let h(b) = 3*r(b) + 4*t(b). Let n be h(6). Is x at least as big as n?
True
Suppose 0*g - 4*g = -24. Let k(w) = -w + 6. Let y be k(g). Is y < 2?
True
Suppose 3*s + 13 = -3*g + 2*s, -13 = 4*g - 3*s. Let o be (0 - 1)/(g - -5). Does o = -2?
False
Let t(s) = -s**3 - 13*s**2 - 11*s + 3. Let c be t(-12). Let v = 8 + c. Do v and -3 have the same value?
False
Let q = 5 + -7. Let u be -9*((-10)/(-6) + q). Suppose -u*j - j = 0. Is 3/7 greater than j?
True
Suppose -5*o + 2*o - 36 = 0. Which is greater: o or -11?
-11
Let j = -995/1169 - 1/167. Are j and 1 non-equal?
True
Suppose -3*y = -5*r - 14, 2*y = 3*r + r + 10. Suppose -y*p + 3 = 6. Which is smaller: p or -1/2?
p
Let u be (-2)/6*9/15. Which is smaller: -1 or u?
-1
Let u = 10 + -7. Suppose -u*g = 23 + 4. Let q = -1167 - -1158. Are q and g unequal?
False
Let x = 14 + -4. Let y be 1/(-2) - (-1)/x. Let w(o) = o - 1. Let a be w(0). Which is bigger: a or y?
y
Let k = 0.21 + -2.21. Is 0.04 greater than k?
True
Let b = -1 - 0. Let u be -2 + 1 + (-1)/b. Suppose 0 = -3*s - 3*v + 6, -2*v + 2 + 2 = u. Is 1 > s?
True
Let u be (12/21*-1)/((-20)/14). Are 1 and u nonequal?
True
Let q = -3 - -2.94. Let z = q + 0.36. Let i = -3 + 3.1. Which is bigger: z or i?
z
Let i = -144 - -143. Which is greater: -7/12 or i?
-7/12
Let m be 1 + (16/(-3) - -4). Let d be ((-4)/(-32))/(1 + -2). Let z = -19/40 + d. Is z >= m?
False
Let w = 6465591/190 + -34029. Let d = w - 1/38. Which is smaller: 0 or d?
0
Let g = -18 + 17. Which is bigger: g or -1/8?
-1/8
Let m be 2/(-12)*(1 - 5). Which is smaller: -3 or m?
-3
Let i = 0.25 - 0.3. Let g = i + 0.45. Let d = 0.6 - g. Which is smaller: -1/3 or d?
-1/3
Suppose 20 = -3*i + 83. Let w be ((-20)/i - -1)*-1. Is w at most 0?
True
Let t(p) be the third derivative of p**6/120 - p**5/12 - 7*p**4/24 + 7*p**3/6 + 5*p**2. Let u be t(6). Is -2/11 > u?
False
Let s = -1 - -7. Let b(h) = -h + 8. Let m be b(6). Let k = 7 - m. Is s smaller than k?
False
Suppose -5*r = 2*x + 111, -2*x - 2*r - 133 = -19. Let n be x/70 - (-4)/10. Is n at least as big as -1?
True
Let q = -16 - -16. Is -2 not equal to q?
True
Let p = 73.99 + -74. Are 5 and p unequal?
True
Let s = 9.96 - 10. Let f = -0.16 + s. Is -2 bigger than f?
False
Let d = -2.2 - -10.2. Let k = -1.1 + 1. Do d and k have the same value?
False
Let z be 27/72 - (-5)/8. Is z <= 5?
True
Suppose -2*k + 8 = 3*w - 8*w, -12 = -3*k. Suppose -17 = -z + 4*l, w = -l - 4 - 0. Which is bigger: 2/11 or z?
z
Suppose -4*h = -y + 5, 0 = y - 0*h + 2*h + 1. Suppose 2*u = u + y. Which is smaller: -1/4 or u?
-1/4
Suppose 2 - 22 = -4*k. Suppose -k*q = 10, -b - 2*q - 6 = b. Let d be 3*-1 - (-48)/18. Do b and d have different values?
True
Let j be -3 + (-22)/(-6) + (-10)/(-3). Is 3 at least j?
False
Let t = 22.03 + -22. Is 0.3 at most t?
False
Let s = 41/7296 + 1/456. Is 1 greater than or equal to s?
True
Let q = 62 + -249/4. Is q at most 7/5?
True
Let o = 187 + -186. Which is smaller: 2.1 or o?
o
Let k = -1.6 - -1.72. Let p = 0.02 - k. Which is smaller: p or 3?
p
Let y be 12/(-4)*5/(-3). Suppose y*p = 2*p - 3. Is -2 > p?
False
Suppose -2*x - 2*q = -3*q + 78, -3*q = 6. Is x less than -39?
True
Let r(h) = h**2 + 3*h - 3. Let y be r(-5). Suppose 2*v = p + 1, -3*v - 3*p = p - y. Let i = 398/5 + -80. Which is greater: i or v?
v
Let o be (-1 + 4)*1 - 1. Do 2 and o have the same value?
True
Let a = 0.03 - -0.17. Which is bigger: 2 or a?
2
Let t be 10/25 + 27/(-5). Is -32/9 bigger than t?
True
Suppose -4*l = 4*k, -8*k + 3*k = -5*l + 10. Which is smaller: -5 or l?
-5
Let x = -4 - -7. Let h = -30 + 12. Let c = -14 - h. Is c greater than x?
True
Suppose 0 = 3*w - 5 - 7. Let b = 118/3 + -107/3. Is w greater than b?
True
Let k = 1.1 + -1. Let d = -7.96 - -8. Let h = 0.44 - d. Which is smaller: k or h?
k
Let j = 21/2 - 193/18. Which is greater: j or -1?
j
Let t be (1 - (-8)/(-20))*-5. Which is smaller: -2 or t?
t
Let p = -97580/139 + 702. Which is smaller: p or 1?
p
Let l be 8/(-12) - 2/(-6). Let i(s) be the third derivative of s**5/60 - s**4/4 - s**3/6 - s**2. Let c be i(6). Which is smaller: c or l?
c
Let f = -140.8 + 125. Let x = f - -16. Which is smaller: 1 or x?
x
Let r = 2 - 2.1. Let x = 0.2 + r. Let m be (-2)/(0 - (-1)/2). Which is bigger: x or m?
x
Let n(x) = 20*x + 1. Let s be n(1). Let v = -22 + s. Let q = -421/700 + 3/100. Is q <= v?
False
Suppose 0 = 3*m - 3*s, 4*m = 4*s - s + 4. Suppose -m*z = -z. Let f = 23/6 + -13/3. Is f at most as big as z?
True
Let j = 0 - -4. Suppose -t = -4*q - j, t + 3*t = 4*q - 8. Is -10/7 smaller than q?
False
Let a = 1 + 4. Suppose -11 = -a*z + 4. Suppose 5*n + 4*p - 5*p = 1, z = 5*n - 3*p. Which is bigger: -2 or n?
n
Let u(h) = -h**2 - 8*h - 7. Let r be u(-7). Let z = 0 - 1. Let j = z + 1. Are j and r nonequal?
False
Let t(f) = -8*f**3 + 1. Let b be t(-1). Which is bigger: b or 8?
b
Let c be (-2)/69*(2 + 1). Let t = -6 + 10. Suppose t*j + 3 = -1. Which is smaller: c or j?
j
Let n(b) = -b**3 + 7*b**2 + 1. Let s be n(7). Which is smaller: s or 3/8?
3/8
Let g = -39 - -118/3. Are -2/15 and g equal?
False
Let j be -145 - (-1 + 2 + 1). Let f = -16944 + 117581/7. Let w = f - j. Is -1 bigger than w?
False
Suppose 3*l + 0*l = 0. Which is smaller: l or -3/16?
-3/16
Let t(k) = -k + 5. Let y be t(7). Let c be (-2)/y + (-4)/1. Let d(a) = a**3 - 5*a**2 + 2*a + 5. Let u be d(4). Do u and c have the same value?
True
Let n be ((-6)/(-4))/((-9)/(-12)). Suppose 8 = g - n. Suppose 5*q + 0 = g. Is 3 bigger than q?
True
Let n(x) = -x + 4. Suppose 46 = 5*c - 2*m + 11, -45 = -4*c + 5*m. Let a be n(c). Let z = a - 0. Is z > 1/3?
False
Let k(m) = -13*m - 7. Let a(v) = 7*v + 3. Let q(c) = 11*a(c) + 6*k(c). Let h be q(-8). Which is bigger: h or -1/5?
-1/5
Let s be ((-2)/8