be (7 - 1) + -2 + -1. Suppose -w = -z*w. Suppose w = -t + 4*s - 15, -16 + 1 = -5*t + 2*s. Do 5 and t have the same value?
True
Let o be 6/9*(0 - 3). Let p be ((-26)/12 - o)/(-1). Let q = -0.43 + -0.57. Is p less than or equal to q?
False
Let m = 226 + -2492/11. Is m greater than -1?
True
Let j be (-20)/25 + 4/5. Let d = 3 + -4. Let p be (-2)/(-4)*d/(-4). Are p and j nonequal?
True
Suppose 0 = 3*m - 4*s - 44, 3*m - 16 = m - 4*s. Let r = -8 + m. Which is smaller: r or 5?
r
Let o be (-30)/135 - (-2)/((-18)/(-5)). Let g = -7 + 14. Is o at least g?
False
Let l = -154/17 + 568/119. Let y = 81/14 + l. Is y bigger than 2?
False
Suppose -5*y - 4*l - 2 = 6, -y + 6 = -3*l. Let x be 2/(-8) + (-34)/(-40). Which is smaller: y or x?
y
Suppose 5*d + 4*p - 108 = d, 0 = 5*d - 3*p - 143. Is d greater than or equal to 27?
True
Suppose 4*q + 6 = 26. Let u be ((-5)/(-2))/((-2)/12). Let c be (1/3)/(q/u). Are -1 and c equal?
True
Let f be (6/(-4) - -1)*6. Let t(n) = -n**3 + 5*n**2 + 5*n + 1. Let i be t(6). Let b = -8 - i. Are f and b unequal?
False
Let q(j) = -j**3 - 5*j**2 - 5*j + 2. Let l be q(-4). Let p(t) = t + 5. Let c be p(-7). Let i = l + c. Is 4 at most i?
True
Let b = -0.9 + 1. Let u = 0.1 + -0.1. Let z = u + b. Is -2 at least as big as z?
False
Let p be (1/(-2))/(1/(-4)). Suppose o = -4*w + 7, -5*w + 10 = o + p. Is w less than 0?
False
Suppose -6*w + 10*w - 8 = 0. Is w < 2/3?
False
Let c = 4 - -44. Is 49 at least c?
True
Let l = -9 - -6. Let a be 40/(-12)*l/2. Which is bigger: 6 or a?
6
Let a(f) be the second derivative of f**3/2 + f**2/2 + f. Let m be a(-1). Let w be (-2 - -2)/((-4)/(-2) + 3). Is m != w?
True
Suppose 95 - 79 = 4*o. Suppose -j = -4*j. Is j <= o?
True
Suppose -6*c = -2*c + 3*d + 1, c + 4*d - 3 = 0. Let y = 56 + -57.4. Which is smaller: c or y?
y
Let c be (-9)/(-6)*4/(-2). Let l = 4 - 4.3. Let p = l - -1.3. Which is smaller: c or p?
c
Let y(m) = 2*m + 38. Let f be y(5). Are -3 and f non-equal?
True
Suppose -2*i - 26 = i - 5*c, c - 14 = 5*i. Suppose 0 = -0*g + g + 4. Is i equal to g?
False
Let i(s) be the first derivative of -2*s**3/3 + s**2 - s + 2. Let n be i(1). Which is smaller: n or 0?
n
Suppose -3*q - 12 - 18 = 0. Is q greater than or equal to -11?
True
Let c = -67936 - -3736811/55. Let q = 15/161 - -6597/1771. Let d = c - q. Which is smaller: d or 1?
1
Suppose d = -3*d + r + 58, 4*r + 50 = 3*d. Suppose 0 = -3*k + k - 2*m + d, -3*m + 13 = k. Suppose -3*a - 4*h = -1, 4*a + h - k*h = 18. Is 2 greater than a?
False
Suppose 37*p - 40*p = -3. Which is smaller: -2/29 or p?
-2/29
Let a = 0 + 4. Let z = a + -4. Which is smaller: 1/4 or z?
z
Let x = 4/4503 + 118559/22515. Let a = x - 17/3. Which is smaller: a or 1?
a
Let l = 14 - 27. Let u = 19 + l. Is 8 not equal to u?
True
Let a = -0.169 - -0.069. Is a not equal to -9/7?
True
Suppose 0 = -9*v + 4*v. Suppose 0 = w - 3*w. Is v at most w?
True
Suppose 0 = u + 3*u - 2*o + 28, 2*u - 2*o = -14. Let k(c) be the second derivative of -c**4/6 + c**3 + 2*c. Let v be k(4). Which is bigger: u or v?
u
Suppose -n + 47 = 4*s - 146, 5*s = 5*n + 235. Is 46 less than or equal to s?
True
Suppose -21*m = -17*m - 4. Let q be -3 + m + 15/3. Is q < 4?
True
Let c be (-18)/15 - (-8)/(-10). Let z(n) = n**2 + 6*n + 2. Let g be z(-5). Which is smaller: c or g?
g
Let x(o) = o**2 - 2*o + 3. Let i be x(2). Let h = i + 3. Suppose 2*a - h = -a. Is -0.1 smaller than a?
True
Let k = -54 + 323/6. Which is bigger: k or 0?
0
Suppose -4*r - 2*q + 3 + 1 = 0, -3*q = 6. Suppose 5*s - 6 = 4. Suppose s*t - 4*b - 26 = 0, b + 19 = -r*t - 4*b. Is 3 smaller than t?
False
Let z = -105838/109 + 971. Which is bigger: z or 1?
1
Let d be 1/4 - (-66)/(-8). Let s be d/20*(-15)/(-9). Suppose 3 = v + 3*m, v + m = -0 + 1. Which is bigger: s or v?
v
Let d = 27 + -18. Is -2 at most d?
True
Let y be 4 + (-1 - 2/(-1)). Suppose 4*m - y*s = 3*m - 6, s = -3*m - 2. Let n be m/(-1 - 0 - 0). Is -2/9 smaller than n?
True
Let i be (-2)/(-4)*-2 - -4. Let q(p) = 4 + 2*p - 7*p + p**2 + 0*p**2. Let u be q(i). Is u < -2?
False
Let p be (-1)/(-4) - 6180/(-48). Let r = 648/5 - p. Which is greater: r or 1?
1
Let k = -2 + 1.9. Let x be (-38)/88 + (-4)/(-22). Which is smaller: k or x?
x
Let z be ((-1)/8)/((-2)/6). Let n = 11 + -5. Suppose 0 = 2*b - n*b. Is z bigger than b?
True
Let w = -5249/21 + 250. Is -1 greater than or equal to w?
False
Let s = 0.092 + -0.092. Which is smaller: s or -5/4?
-5/4
Let r be (-3)/2 + 15/6. Let q be ((-2)/(-4))/((-5)/92). Let w = 44/5 + q. Is r not equal to w?
True
Let j be (-5)/(4/(-8)*-2). Which is greater: j or -3?
-3
Let h = -48 + 31. Are -1/3 and h equal?
False
Let y be ((-5)/15)/((-1)/(-39)). Let a = -12 - y. Is -1/5 < a?
True
Let b(v) = -v**2 - 8*v + 6. Let t be b(-8). Let r = 4 - t. Are 1 and r equal?
False
Let o(p) = -p**2 + 4*p. Let d be o(6). Let x be 26/d + 2 + 0. Let n be ((-2)/6)/(1/(-3)). Which is bigger: x or n?
n
Let b(i) = -i**3 + 9*i**2 - 10*i + 11. Let q be b(8). Let g be 1 - 2 - (q - 0). Which is smaller: g or 3?
3
Let w = 2 - 6. Let c(p) = -p**2 - 3*p + 3. Let a be c(w). Suppose 0 = 2*s + 2 - 0. Is a at least as big as s?
True
Suppose 0*d + 2 = -d. Let t be 3/d*18/27. Which is greater: t or 1?
1
Let d = 2 + -1.2. Let a = d - -0.2. Let g = -104/15 - -33/5. Which is greater: g or a?
a
Suppose -2*s - 12 = -32. Let a be (-6)/s + 3/15. Let p = 2/7 - -1/21. Which is greater: a or p?
p
Suppose 0 = y - 5*b + 6, 6 = b + 2*b. Let m = -6 + y. Is m at most -2?
True
Suppose 0*g = -2*g + 4. Which is smaller: g or 7/3?
g
Let j be (-2)/10 - (-4)/420. Do 1 and j have the same value?
False
Suppose -x + 3 = 2*x. Suppose n = -0 - 1. Which is smaller: n or x?
n
Let h = 1 - 2. Let o(v) = -v**2 - 5*v - 4. Let w be o(-3). Suppose 4*d = -2*c + 3*c + 4, 2*d = -c + w. Which is smaller: c or h?
h
Let r = 56 - 65. Is 1/2 < r?
False
Let y = -169/552 + 8/23. Which is bigger: y or 1?
1
Let i = -36 - -35.97. Does -0.4 = i?
False
Let r be 4 + 94/(-12) - -5. Which is smaller: 0 or r?
0
Suppose 3*a - 3*w = -12, 5*a - 3*w + 8 = -w. Which is smaller: 1 or a?
a
Let o(n) = n**3 + n**2 - 2*n + 1. Suppose -c + 4*c + 24 = 0. Let p = c - -6. Let x be o(p). Is x <= -1?
False
Let q be 8/4*(24 - 1). Let x = 187/4 - q. Suppose 5*y = 2*d - 6*d - 2, 0 = -2*d - 6. Which is greater: x or y?
y
Let s(h) be the second derivative of h**5/20 - h**4/12 - 2*h**3/3 + 4*h. Let o be s(3). Is o != 7?
True
Let o = -219/7 - -6365/203. Let b = o + -64/87. Let y = -1/34 + -59/306. Which is smaller: y or b?
b
Let r = -9223/572 + 204/13. Let s = 2/11 + r. Is -0.4 smaller than s?
True
Let x be (-2 - -4) + 64/(-24). Is -0.5 equal to x?
False
Let a be 8/(-10)*(4 - -1). Let d be (-1)/3*(a + 2). Which is smaller: d or -2/3?
-2/3
Let g be (2/1)/(-1 - 1). Let b = -71 - -425/6. Is g smaller than b?
True
Let x = -0.29 + 0.18. Let i = x - -0.1. Let l = 0.01 + i. Is -0.2 < l?
True
Let v be 0 - (-2 - 27/(-14)). Which is smaller: v or 0?
0
Let d be 2 + 14/(-10) + (-34)/15. Is -3 at most as big as d?
True
Suppose 2*p = 13*p + 33. Is -3/2 less than or equal to p?
False
Let w = -75 - -16. Let o = w + 299/5. Which is bigger: 2/3 or o?
o
Let d(i) = -2*i. Let k be d(-1). Suppose -5*t + 31 = -4*z, 0 = 3*t + t - z - 16. Is k at least as big as t?
False
Suppose 1 = 2*l + 11. Is l > -5?
False
Let w = -19.97 + 20. Which is smaller: w or -5?
-5
Suppose -3*x = -u - 12, -1 - 15 = 2*u - 4*x. Suppose 0 = a - u*a - 15. Let w = a + -9. Is w bigger than 6?
False
Suppose 0 = -4*z - 8 - 8. Let v be 1/(-4) - 1/z. Suppose v = p - 2*p. Which is smaller: p or -1?
-1
Let d be 3 + -3 + -3 - -8. Let h = d - 8. Let g be ((-2)/h)/(6/(-9)). Is g equal to 1/16?
False
Let w = 3 + -3.1. Let d be -1 - ((-136)/60)/2. Which is bigger: w or d?
d
Suppose -3*m = h + 6 + 9, -3*h - 2*m = 10. Which is smaller: 1/78 or h?
h
Let g = -115/91 - -9/13. Let s = 77 + -77. Is g >= s?
False
Let h be -1*2 - (-7 - -1). Suppose -h*u - 25 = u. Let l be (-36)/(-20) - 1/u. Is l > 1?
True
Let i(p) = -52*p - 1. Let o be i(-4). Let k = o + -425/2. Which is bigger: -5 or k?
-5
Suppose 0 = -5*i + i - 12. Let n be 4/(-2) + (-5)/1. Let a = 4 + n. Is a smaller than i?
False
Let q = -100 - -92. Let w = 1 + -1. Is w equal to q?
False
Suppose -v = 5*q - 131, 3*v - 127 = -5*q + v. Which is greater: 26 or q?
q
Let c = -1 - 7. Let l = -7 - c. Suppose -4 = -5*g + l. Is