et p = -3 + 2. Let v be s(p). Let f = -145/3 - -48. Which is smaller: f or v?
f
Suppose 0 = -3*h + 5*k, 2*k = -5*h + 7*k. Are h and 8 nonequal?
True
Suppose 3*v - 7 - 11 = -4*y, 5*v - 22 = -4*y. Let i = 4 - 2. Suppose -l + i*l + 2 = 2*o, o + 5*l = 1. Which is smaller: v or o?
o
Suppose 3*b - l = -0*l + 5, b - 5*l - 25 = 0. Suppose 0 = 6*q + 8*q - 56. Which is greater: b or q?
q
Let s = -12.1 + 2.1. Let l = s + 9. Are -2 and l equal?
False
Let c be 285/(-450) - (1 - 3/2). Let y be (-1 - 0)/((-2)/2). Is c <= y?
True
Let j(f) = -f + 2. Let i be j(-2). Suppose -10 = 4*b - 2*n, i*b - 9 = 4*n - 21. Are -1 and b nonequal?
True
Let o be 6/21 + (1905/(-567) - -3). Is o smaller than 1?
True
Let l(d) be the first derivative of -1/4*d**4 + 6*d + 1 - 1/2*d**2 + 5/3*d**3. Let s be l(5). Is s at least as big as 1?
True
Let s(u) = u + 2. Let i be s(-1). Let b be i/((-3)/18*-2). Let c be (-2)/(-2) - (b - 6). Is 3 equal to c?
False
Let r be 1/(0 + -1) + -3. Let p be (r + 3)*(2 - 1). Which is smaller: p or -2/11?
p
Let m = 6 + -5. Which is greater: -1/4 or m?
m
Suppose 4*y - 24 - 24 = 0. Suppose 2*v + j + y = 0, -5*j - 28 = 4*v - j. Let g = v - -5. Do g and 1 have different values?
True
Let b be 6/10*(-1)/3. Suppose 0 = v - 4 + 1. Suppose 0 = -2*p - v*w + 9, -4*p = -2*w - 2*w + 12. Which is greater: p or b?
p
Suppose 0 = -t + 10 + 3. Is 13 at most as big as t?
True
Let h be 3/3*6/5. Is h >= 1?
True
Let s = 49 + -52. Let a = 4 + -3. Which is greater: a or s?
a
Suppose 2*y + 990 = 2*r, 4*r + 2*y - 654 = 1326. Let f be (2/(-6))/((-10)/r). Let p = f - 18. Is p > -2?
True
Let i = 6517/2 + -358481/110. Let f = -9/11 - i. Is f >= -4?
True
Suppose -4 - 5 = 3*t + 3*x, 2*x + 9 = -5*t. Which is bigger: t or -8/5?
t
Let y = 4.01 + -1.01. Which is smaller: -1/6 or y?
-1/6
Suppose 2*h = -5 + 11. Let q be -14 - (4 - 12/h). Is q <= -14?
True
Let h = -135/2 - -71. Which is greater: h or 3?
h
Suppose 0*r - r = 1. Let y = 2 + r. Let m be y/(-3) - (-5 - -5). Is -1 smaller than m?
True
Let k = -73/10 + 74/5. Is k bigger than 7?
True
Suppose o = 6*o - 295. Let w = o + -471/8. Which is bigger: w or -1?
w
Let a = 219/260 + -6/65. Do a and -2 have the same value?
False
Let q be (-5)/15 - 4/(-3). Which is bigger: -4/13 or q?
q
Let l = -2.727 + 0.027. Let i = -0.7 - l. Which is bigger: i or 0.3?
i
Let u be 14/(-6)*(-6)/(-4). Is u less than or equal to -4?
False
Let u(c) = 8*c**2 - 3*c**3 + 8*c - 3*c**2 - 6 + 4*c**3 - 2*c**3. Let n be u(6). Which is bigger: n or 8?
8
Let g = -23 + 19. Let o = 0.8 + 0.2. Is o at least as big as g?
True
Let j be 0 + (-3)/(-6)*-4. Let c be 11/(-4) + (1 - j). Let q(b) = b**2 + 6*b - 7. Let d be q(-7). Which is smaller: c or d?
d
Let r = 3 + -2.9. Let p be (-4)/(-12) + 5/(-9). Which is bigger: r or p?
r
Suppose -3 = 6*l - 9*l. Which is bigger: 1/36 or l?
l
Let l(a) = -a**2 + 4*a + 2. Let b be l(5). Is -3 at least as big as b?
True
Suppose 0 = -5*a - 5*p + p + 23, 0 = -p - 3. Suppose -a = -k + 3. Suppose 15 = 5*w - k. Which is smaller: 4 or w?
4
Let z(d) be the third derivative of -d**5/60 + d**4/8 - d**3/3 - 5*d**2. Let p be z(2). Does p = 0.03?
False
Suppose 0 = l - 4*l - o - 48, -l - 16 = -4*o. Let v be (l/528)/(2/(-12)). Which is greater: v or 1?
1
Suppose -8*w = -6*w + 10. Which is smaller: 3 or w?
w
Let z = -19666 + 97622/5. Let w = z + 142. Which is smaller: 2 or w?
w
Suppose -48 = h - 7*h. Let m = h + -16. Which is smaller: -10 or m?
-10
Let n = 74 - 74. Which is greater: n or 2/51?
2/51
Let o = 7 + -6.9. Let w = 0 - 2. Let r be w/4 + 7/(-14). Are o and r unequal?
True
Let m(y) = -20*y**2 - 3 - y - 3 + 24*y**2 + 2 + y**3. Let j be m(-4). Which is greater: j or -3/7?
j
Suppose -2*s - 30 + 40 = 0. Is 5 != s?
False
Let s = -3 - -3. Which is smaller: s or -3?
-3
Suppose -11*f + 80 = -6*f. Is f at most 0.1?
False
Let j = 1 - 1. Let d = -1/262 + -1005/11266. Let t = -192/215 - d. Is j not equal to t?
True
Let l = -1 + 0. Let h be (-4)/20 + (-48)/(-45). Let v = h - 7/10. Which is greater: v or l?
v
Let v = -55 - -50. Which is smaller: v or -2/9?
v
Let c = -4 - -8. Let n = 3.94 - c. Which is bigger: n or 0.1?
0.1
Let j = 15 + -25. Let r be (-1 + j/(-6))*3. Let c be -4 + -1 + 3 + r. Are c and 1/11 equal?
False
Let z = -202 + 202.08. Which is smaller: -4 or z?
-4
Let b be 1*(2 + -2 + 2). Let i = 12 + -10. Suppose 4*d = w + 7, -d + 4*d + i*w = -3. Is b at least as big as d?
True
Suppose -4*s + 15 = -2*k - 3*k, 2*k = s - 3. Suppose -3*c - 13 = -4*t - 60, -3*c + 23 = -t. Let a = t - -7. Is k at most a?
False
Let v(i) = i**2 - 6*i. Let r be v(6). Suppose 2*m + r = -6. Do m and -3 have different values?
False
Let u = 102.2 - 102. Are 37 and u non-equal?
True
Let u = -1183/10 - -119. Which is smaller: 2 or u?
u
Let c be (4 + 123/(-36))*2. Which is smaller: 1 or c?
1
Suppose -4*z - 52 = 4*j, 3*z + 14 = -j - 5. Let p be (-75)/10*(-8)/j. Let u = p + 11/2. Are 1 and u non-equal?
True
Let a be (110/7)/5 - 3. Let z = 0.1 - 0.1. Is z bigger than a?
False
Suppose -5*h + 13 + 2 = 0. Let a = -14 - -15. Suppose h*n + a - 4 = 0. Is n != 2/5?
True
Let r(k) = -k**3 + 8*k**2 - 8*k + 8. Let u(l) = -l**2 - 6*l + 7. Let o be u(-6). Let y be r(o). Let f be (-1)/7 + (y - 1). Which is smaller: f or -1?
-1
Let b = 10/9 - 41/45. Let r = 0.2 - 0.21. Which is smaller: r or b?
r
Suppose 241 = -4*u - 1663. Let c be u/264 - (-4)/(-6). Let t = c - -3/22. Which is greater: -1 or t?
-1
Let p(c) = c**2 - 7*c + 1. Let l = 46 - 64. Let y = -11 - l. Let z be p(y). Which is bigger: z or 0?
z
Let l be (-35)/(-117) + 2/(-9). Which is smaller: l or -1?
-1
Let c(n) = -n**3 + 4*n**2 + 19. Let u be c(5). Do u and -3 have different values?
True
Let b be 21/24 + 3/24. Which is smaller: b or -4/51?
-4/51
Let y(d) = d**3 - 4*d**2 - 4*d - 7. Let j be y(5). Which is bigger: j or 0?
0
Let a be ((-6)/(-8))/((-3)/(-228)). Suppose x + l - 9 = 0, -2*l = 5*x - 3*l - a. Let s = 7 - x. Is s >= -4?
True
Let i be (204/(-4515))/(-1 + 0). Let k = 399893/3010 + i. Let h = -133 + k. Which is greater: h or -1?
h
Let k = 0.202 + -0.102. Which is greater: k or -0.15?
k
Let k be (-8)/2 + 2/1. Let q be (k/1)/(2/(-3)). Is q at least as big as 0?
True
Let k be ((-2)/(-6))/((-6)/(-198)). Let c be (-2)/(-8) + k/4. Suppose -j + 5 = c*i + 2*i, 2 = 2*i - 4*j. Is i > 2/5?
True
Let p(s) = 2*s + 2. Let q be p(3). Which is bigger: q or 2?
q
Let f = 65 - 65. Which is smaller: f or -27/5?
-27/5
Let w = 829 + -821.03. Let r = w - -0.03. Which is bigger: 0 or r?
r
Suppose 0 = -3*g + 5 + 1. Let i(m) = -2*m**3 - m**2. Let p be i(1). Let k = p + 5. Is g > k?
False
Let f = -12 + 12. Suppose -16 = -f*g + 4*g. Which is bigger: -1 or g?
-1
Let w(u) = -u**3 + 10*u**2 - 8*u - 7. Let m be w(9). Suppose -m = -5*z - 17. Is z > 0.1?
False
Let d be 2/(-4)*28/2. Is -4 smaller than d?
False
Let h(f) = 49*f**2 - 1. Let k be h(-1). Let y be (-584)/(-12) + 1 - 1. Let u = k - y. Is -2/3 at most u?
True
Let t be 2 + (-9)/((-36)/(-8)). Is t bigger than 9/10?
False
Suppose -k = 5*i - 46, 4*i - 4*k + 0*k - 32 = 0. Let a = i + -15. Which is greater: 1/2 or a?
1/2
Let m = 23 - 23.1. Let x = -20 + 11. Which is smaller: m or x?
x
Let l be (2/5)/(66*7/630). Let i = 0 - -1. Which is bigger: i or l?
i
Let v = -268 - -1356/5. Let w = -3 + v. Let n(a) = a - 1. Let y be n(0). Which is greater: w or y?
w
Suppose 16*q = 11*q - 30. Let j = q - -7. Which is greater: j or -2/23?
j
Suppose 4*x - 28 = -4*b, 0 = -4*b + 2*x - 26 + 72. Is 11 >= b?
True
Let p be (-1)/(-316)*2*6. Let q = p - -131/711. Which is bigger: -1 or q?
q
Suppose 2*x - x = 0. Suppose x = 2*i - 4*i. Is i less than 0?
False
Let x(w) = w**2 - 2*w - 11. Let h be x(5). Suppose -3*t + 2*t - 1 = -3*l, 0 = -h*t - 16. Which is smaller: l or -6/7?
l
Let j(c) = c**2 + 5*c - 4. Let n be j(-6). Suppose -n = -3*w + 4*w. Let u = -2 - w. Is -1 > u?
False
Suppose -7*x - 3 = -h - 2*x, 0 = 2*x + 2. Suppose 3*c + 0*c + 4*n = 26, 2*c - 2*n = 8. Let o be (-17)/c + (-2)/12. Does h = o?
False
Suppose 0 = a + 3*k + 8, -2*k + 10 - 89 = 5*a. Is a != -17?
False
Suppose -4*i + 1 = -2*i + 3*a, -5*a = -i + 7. Suppose -2*o = i*o + 28. Let y be (1/o)/(6/7). Which is smaller: 0 or y?
y
Let r = 2 + -2. Suppose -4*y = -3*w + 2, 2*y + 14 = -2*w - 3*y. Let u be (-1 - w)*(-6)/(-9). Which is greater: r or u?
u
Suppose 3 = 10*r - 27. Which is smaller: r or 