e 3*x + 10 = -2*l, v = 4*l - x - 4*x - 24. Let n = 0 - 1. Which is greater: n or l?
l
Let o(x) = -2*x**2 + 4*x + 6. Let k be o(-3). Let m be 4/23*k/32. Is 1 at least m?
True
Let x = -201 + 203.98. Let f = 10.98 + -11. Let j = x - f. Do -1/4 and j have the same value?
False
Let m(p) = p**2 + 4*p. Let j be m(-4). Let v = -33 - -33. Is v bigger than j?
False
Let n = 3 - 3. Suppose -4*h + 5*f - 8 + 1 = 0, 5*h + 2*f - 16 = n. Is h bigger than 1/4?
True
Let w = -1 - -0.3. Let h = w + -2.3. Is 2/5 greater than h?
True
Let y = -3.9 + 20.9. Let x = -17.07 + y. Is 0 smaller than x?
False
Let t(f) be the third derivative of f**5/60 - f**4/4 + f**3/3 - f**2. Let u = 138 - 132. Let l be t(u). Is 2 not equal to l?
False
Suppose -x + 4*x + 3 = 0. Let z be ((-6)/56)/((-1)/4). Are x and z unequal?
True
Suppose 24 = 3*g + 5*i - 13, -g = 3*i - 19. Suppose -h = -c + g, -4*h - c + 4 = -0. Suppose y = -h*y + 1. Which is smaller: -1/3 or y?
-1/3
Let h(x) = -x**3 + 2*x**2 + 3*x - 7. Let z be h(2). Let o be 8/(-10)*1/4. Is z != o?
True
Let d = -5 + 13. Suppose 0 = -5*c + 3*k - 17 + 44, 5*k = -4*c - d. Let m be 20/16 + 2/8. Is c equal to m?
False
Suppose 0 = -4*v - 26 - 78. Does v = -26?
True
Let z(h) = -h + 3. Let p be z(6). Let x = 6 + -6. Let l be x + -2 - -4 - 6. Is p less than or equal to l?
False
Let p be ((-4)/(-6))/(6/99). Suppose 3*t = -q + p, -9 = 3*q - 3*t + 6. Let k = q - -2. Is k < -1/4?
False
Let y(q) be the second derivative of -q**3/3 - q**2/2 + q. Let i be y(-2). Let m be 5/2*i/(-15). Which is bigger: 0.2 or m?
0.2
Let q = -11 - -9. Let a be (-3 + q)*8/10. Let r = -8 - -5. Which is smaller: r or a?
a
Let x = 29 + -34. Let m = -0.2 + 0.2. Is m greater than x?
True
Let p be ((-6)/(-10))/((-9)/42). Let z = 14 - 16. Is z < p?
False
Let f = -152/9 + 17. Suppose 4*i - 3*y - 5 = 0, -y - 2 = 5*i + 6. Which is smaller: i or f?
i
Let y = 17 + -16.9. Are y and 1.1 nonequal?
True
Let k = 0.3 + 1.7. Is -2/19 greater than or equal to k?
False
Suppose 0 = 10*i - 2*i - 8. Do i and 1/24 have different values?
True
Let u = 5/21 - -1/21. Suppose r - 2*g - 6 + 1 = 0, 7 = -r - 4*g. Let s be (-2 + 1 + r)/1. Which is bigger: s or u?
u
Let t(f) = -2*f + 5. Let l be t(3). Which is smaller: 2/7 or l?
l
Let t(r) = -r**3 + 11*r**2 - 11*r + 14. Let s be t(10). Let n = 12 - -8. Let d be (2/n)/(s/16). Which is greater: 0.2 or d?
d
Suppose m - 4*i - 4 = -2*i, -44 = -5*m - 2*i. Let f(b) = -b**3 - 6*b**2 + 6*b. Let t be f(-7). Is t bigger than m?
False
Suppose n = -2*n - 6. Let f be (4/6)/(n/9). Suppose -j - 1 - 1 = 0. Is j at least f?
True
Suppose 3*q - 2*i - 21 = 0, 0 = -q - 3*q + 5*i + 21. Let o = q - 10. Which is greater: o or 8?
8
Let h be 26/(-39)*6/10. Are 2.8 and h unequal?
True
Let j = -1.4 - -2.3. Let g = -0.9 + j. Let n = 7 - g. Do n and -1 have the same value?
False
Suppose 0 = -0*d + 2*d + t + 16, -t = 4. Let o(z) = z**2 - 6. Let p be o(4). Let i be p/d + (-2)/6. Is 0 bigger than i?
True
Let p = -16 - -16. Is p != 1/46?
True
Let q be (-5)/(5/3) + -7. Let x = -9 - q. Which is greater: -0.1 or x?
x
Let p = -3.8 - -3.8. Which is smaller: p or 1?
p
Let n = -1.1 + 0.1. Let c be 0 - (-3)/((-36)/(-8)). Is c greater than n?
True
Let x = 6 + 5. Let h = 11.7 - x. Let d = 0.8 - h. Is -0.3 bigger than d?
False
Let r = 0 + -1. Let f be 3/(0 + (-5154)/(-4)). Let v = -3450/6013 + f. Do v and r have the same value?
False
Let v = -41 + 122/3. Is v at least as big as -2.3?
True
Let s be 21/6*12/7. Which is greater: -1 or s?
s
Suppose 2*w - 92 = -5*y - 0*w, -3*w = 3*y - 48. Which is greater: 22 or y?
22
Let s be (1*6 - -2)*1. Suppose -n - n - s = 0. Let y(t) = 4*t - 12. Let l be y(2). Is l != n?
False
Let l(q) = -q**3 - 9*q**2 - 8*q + 1. Let s be l(-8). Is s less than 2?
True
Let t = -32 - -67. Which is smaller: t or -0.3?
-0.3
Let g be -1*(-4)/(8/10). Let n = -2 + g. Suppose -5*t + 2*f + 35 = -2*f, -2*f = 2*t + 4. Is t bigger than n?
False
Let l(b) = -2*b + 35. Let o be l(0). Is 34 smaller than o?
True
Let i(k) = k**3 - 9*k**2 + 10*k - 14. Let x be i(8). Which is smaller: x or 1/11?
1/11
Let a be (2/(-6))/(1/15). Does 0 = a?
False
Let h be (-60)/(-16) - (-1)/4. Suppose 2*g = h*g. Which is greater: -3/5 or g?
g
Let d(r) = -r**2 + 6*r. Let n be d(6). Suppose n = -g + 7 - 1. Is g greater than 5?
True
Let z = -87 - -3. Let s be (-12)/20 + z/10. Which is greater: s or -10?
s
Let t be (3 - -6)/(30/(-8)). Which is greater: -1 or t?
-1
Let g(l) = -8 + 9*l**2 - 4*l**3 - 4*l**3 + 3*l**3 - 7*l + 4*l**3. Let h(n) = n**3 - n**2 - 2*n - 4. Let c be h(3). Let j be g(c). Are j and -1/3 equal?
False
Let s(d) = -d**3 - d**2 + 2*d. Let r(t) = -2*t**2 + 2*t + 2. Let m be r(2). Let i be s(m). Is -2/11 at most as big as i?
True
Let n(p) = p**2 - 3*p - 4. Let i be n(4). Let b be (i - (-8)/20)*-5. Which is bigger: b or 4?
4
Suppose -u = -2*u + 6. Is 6 at least u?
True
Let k = 3 - 4. Let b = 1 - 4. Let p be ((-1)/(-1))/((-3)/b). Is k at least as big as p?
False
Let k be 8/60 + (-154)/30. Is k greater than 0.1?
False
Let h = 41 - 41. Which is smaller: h or 5/14?
h
Let h be (1/2*-2)/(-3). Let a = 8 - 8. Is h greater than a?
True
Suppose b = 4*b + 12. Let k be b - 0/2 - 1. Which is smaller: k or -6?
-6
Let i = -38 - -63. Which is bigger: 23 or i?
i
Suppose 3*p - 4*n = p + 4, -3*p + 2 = -2*n. Let s = 4 - p. Suppose s*x - 12 = -0*x - 2*q, -4*x + 5*q - 2 = 0. Is x equal to 3?
False
Let q(z) = -z**3 - 4*z**2 + 3*z - 5. Let u be q(-5). Suppose -u*i + i = 0. Is 4/9 equal to i?
False
Let q be 4/6 + 20/(-30). Is q smaller than -2/25?
False
Let b be -57 + 2 + -2 + 0. Let k = 39 + b. Let f be 2/(-3)*k/28. Is 0 > f?
False
Let q = 11 - 34/3. Let f be 4 - 3 - 2*-1. Suppose f*i = -i. Is i at most q?
False
Suppose -8 = -3*a - 41. Which is smaller: -7 or a?
a
Let o = 923/33 - 85/3. Let k = -31/55 - o. Let g = 2 - 2. Is g greater than k?
True
Let p be 3/2 - 115/(-46). Suppose -3*z = 3*n + 15, 3*z + 15 = 3*n - 0*n. Suppose n*l = l - 3. Is l bigger than p?
False
Let c = -7123/30 + 1393/6. Let z be (17/(-4))/((-9)/(-12)). Let f = c - z. Is f > 1?
False
Let l = 234 - 4912/21. Is 0 smaller than l?
True
Suppose -d + 4*x - 87 = 4*d, -2*d - 21 = 3*x. Which is bigger: d or -14?
-14
Suppose 4*m - 17 = 3. Suppose 12 = 4*f - m*b - 19, 0 = -f + 3*b + 6. Which is bigger: 10 or f?
10
Suppose 0 = 3*k + x - 121, -5*k + x + 133 = -66. Suppose -a - a - k = 0. Let q = 59/3 + a. Is 2 smaller than q?
False
Let r = 15 + -14.8. Is r != 6/13?
True
Let o = -60 + 56. Are o and -5 non-equal?
True
Let x(f) = -15*f - 1. Let a be x(-1). Suppose 18*j = a*j - 4. Let b = -4904/13 + 377. Which is smaller: b or j?
j
Let w = -63.93 + 64. Which is smaller: 0.2 or w?
w
Suppose 0 = -4*z + 5*c + 51 + 46, 0 = 5*z - 2*c - 134. Suppose 0*x = -2*x + 5*s - z, 12 = 3*s. Which is bigger: -2 or x?
-2
Suppose a + u = 9, 2*u - 38 = -4*a - 10. Suppose a*m - 8 = m. Which is bigger: m or 0?
m
Let s = -89/56 + 15/8. Is -1 equal to s?
False
Let k = -2 + 3. Let t be (-5)/4 + 1/4. Let v be 3/t*(-8)/84. Which is bigger: v or k?
k
Let u be (-2)/(-8) - 0/2. Let l be 7/5 + 2/(-5). Suppose -3*p + 2 = -l. Is u != p?
True
Suppose -x + t - 27 = 6*t, 0 = 5*x + 5*t + 55. Which is bigger: 0.06 or x?
0.06
Suppose -r = -2*r - 2*w + 2, -3 = -4*r - 3*w. Let q be (r/(-1))/(3 + -7). Which is bigger: 1/23 or q?
1/23
Let m be -1*(-3 - -1)/(-2). Let f be (-18)/66*(-3 - -4). Which is smaller: f or m?
m
Suppose -8*c + 5*c - 48 = 0. Is -16 bigger than c?
False
Let a = -1 + 2. Which is smaller: a or 3.6?
a
Let p(x) = 2*x**2 - 2*x + 1. Let f be p(3). Which is smaller: 40/3 or f?
f
Let b = -38/225 + -4/75. Which is bigger: 5 or b?
5
Suppose -5*z = 2*p + 1913, p + 203 = 3*z + 1342. Let t be z/(-30) - 1/5. Let u = -12 + t. Are u and -1 nonequal?
True
Let n(b) = -b**3 + 7*b**2 - 5*b - 1. Let d be n(6). Suppose -4*l + 0*z - 46 = -2*z, 0 = d*l + 4*z + 64. Is -12 less than or equal to l?
True
Let o(x) = x + 5. Let a be o(-6). Does a = -3?
False
Let q be (0 - (-14)/(-2))*-3. Let b be 2/(-1) + 49/q. Is b less than or equal to 0.1?
False
Suppose -7*p = -6*p + 1. Let a be 1/10 - 2/4. Are a and p equal?
False
Let i be 2 - 3/((-3)/(-2)). Which is smaller: 1/14 or i?
i
Let l = 6.02 + -0.02. Let y = 0.15 - 9.15. Let k = l + y. Which is bigger: k or 1?
1
Let y = -2841/29 + 98. Which is smaller: 1 or y?
y
Let z = 0.24 - -2.76. 