 z be 6/4*(-2 - 0). Let b be ((-9)/5)/((-6)/20). Let p be b/4*4/z. Is 0 at most p?
False
Let o(y) = y**2 + 2*y + 4. Let x be o(-3). Suppose 2*n = -p, x*n - 3*p = 3*n. Suppose 0 = 5*d - 2*d - 2*a + 3, 3*a - 9 = 0. Which is greater: d or n?
d
Let x = -0.03 - -0.33. Let v = 2.7 + x. Let a = v - 3.3. Which is greater: -1/4 or a?
-1/4
Let y = 27 + -19. Suppose -5*w = -2*u - 13, -3*u - y = -5*u - 2*w. Are u and 2/23 equal?
False
Let c = 67.8 - 68. Which is greater: -17 or c?
c
Suppose 2*x + 4 = -2*z, 2*x + 4*z + 11 = x. Let r = -6 - -6.09. Which is greater: x or r?
x
Let d be 2/(-9) - 688/(-504). Let g be -1 + 2 - (-3 + 0). Let c = g + -3. Are c and d non-equal?
True
Let s be (-1440)/(-56)*(-2)/3. Let x = s - -1278/77. Which is smaller: -2 or x?
-2
Let d(a) be the third derivative of -a**4/24 + a**3/3 - 2*a**2. Let r be (-2 + 8/7)*-7. Let z be d(r). Is z >= -4?
True
Let t = -8341 - -2627417/315. Is t <= -1?
False
Let w = -0.25 + 0.15. Are w and 1/24 non-equal?
True
Let v be (4/(-6))/((-4)/6). Suppose -v - 1 = 2*f. Which is smaller: 0 or f?
f
Suppose 8 = -5*i - 7. Suppose 0*v = -v - 1. Which is smaller: v or i?
i
Suppose -2*r = 10, 8 = w + 4*r - 3*r. Let d(j) = -j + 14. Let t be d(w). Let u be -2 - 0 - 77/(-28). Is t at most u?
False
Let w = -18 + 20. Let l be 64/(-168) - w/7. Which is smaller: l or 0?
l
Let s = -50872/17 + 2991. Let u = -409/255 - s. Is u at most as big as 0?
True
Suppose m - 5*m = 0. Let c = -1805/13 + 139. Is c != m?
True
Let a be 654/(-8010)*-3 - (-3)/(-15). Which is bigger: a or 1?
1
Let i(s) be the first derivative of -s**4/4 - 5*s**3/3 - 3*s**2/2 + 2*s - 1. Let f be i(-4). Let t be 3/((-18)/15) - f. Which is greater: t or 2?
2
Let q = 8.2 - 2.2. Let g = q - -14. Which is smaller: 0.1 or g?
0.1
Suppose 5*h + 0*h - 20 = 3*d, -2*d + 16 = 4*h. Let v = h + -4. Which is smaller: 2/5 or v?
v
Suppose -2*p = 2*p - 8. Let o be (-3)/(63/(-60)) + -2. Which is smaller: p or o?
o
Let a = 6.6 + -6. Let d = 0.44 - 0.04. Let r = a + d. Which is smaller: r or -1?
-1
Let a be ((-2)/4)/(11/(-462)). Let q = a - 21. Which is smaller: q or -1?
-1
Let w(a) = -a**2 - 4*a. Let q be w(-3). Suppose q*t = -t. Which is bigger: t or 3/5?
3/5
Let d(b) = b**2 + 3*b. Let l be d(-3). Is l > 21?
False
Let j be (4 + -6)*(0 + -1). Suppose 5*q = -3*m, q - j*m = -0*q. Is q at most as big as 3/7?
True
Let p = -4 - -6. Suppose 0 = -5*f - k + 2105, -4*f + 0*k + p*k + 1670 = 0. Let i be 2/(-5) - (-133)/f. Which is smaller: -1 or i?
-1
Suppose 5*u = -51 - 44. Let m = 31 + u. Suppose -4*i = 3*r - i + m, -i - 1 = 4*r. Which is smaller: r or 0?
0
Let y be -2 + (-4)/(-4 - -3). Let g be y/9 - (-70)/(-72). Let z(o) = o**3 + o**2 - 2*o + 1. Let h be z(-2). Is h <= g?
False
Let f = 5 + 0. Let k be (2/f)/((-69)/30). Are k and 0 non-equal?
True
Let t = 103.7 - 110. Let f = t + 1.3. Is f at most as big as 0.2?
True
Let c = -4 - -4.04. Let k = 1.04 - c. Let s be 1 - (1 + 2) - -1. Is k at least s?
True
Suppose -2*o = -o - 15. Let l be (6 + -2)*(-3)/o. Does 0 = l?
False
Let t be ((-1)/7)/(13/221). Are 1/2 and t equal?
False
Suppose 7*v + 112 = -9*v. Suppose -10 + 31 = -3*w. Is v < w?
False
Let l = -0.03 + 4.03. Let b = 8 - l. Which is bigger: b or 1?
b
Suppose -4*a + 2*r = 0, 0 = -2*a + 6*a + 3*r - 10. Let z = -61 + 303/5. Is a < z?
False
Let t(m) = -m**3 + 11*m**2 + m - 13. Let l be t(11). Let b = -10 - -5. Let x be l/b*9/(-6). Does -2 = x?
False
Let k be ((-3)/4)/((-3)/(-12)). Let j(a) = a + 3. Let t be j(-6). Is k < t?
False
Let v be (1 - 0)*0/2. Suppose -z = g + 4*z - 5, -2*g - 4*z + 10 = v. Suppose 7 = -g*b + 4*s, -5*b + 2*s = s + 13. Are b and -2 equal?
False
Suppose 3*y = s + 5, -4*y = -3*s - 37 + 7. Let n be (-4)/s - 66/(-14). Suppose 9 = -n*w - 6. Which is smaller: -1 or w?
w
Let o be ((-3)/(-2))/(27/(-252)). Which is greater: -13 or o?
-13
Let k = 1 + -5. Let u = 8 + k. Suppose -u*r + 1 + 3 = 0. Do -1 and r have different values?
True
Let w be 2/(-5) + 285/275. Is 2 greater than w?
True
Let p be (-124)/(-16) + 1/4. Suppose u - p = 2*y, 0 = -y - 8 + 3. Do -2 and u have the same value?
True
Let c = -55.11 - -55. Which is smaller: 5 or c?
c
Let a be (2 - 4)*(-44)/(-8). Let w(r) = r + 13. Let v be w(a). Do v and 1 have the same value?
False
Let a(t) = -7*t + 1. Let l be a(-2). Which is bigger: 12 or l?
l
Let x = 0.27 + -0.07. Let v be 234/60 - (1 - -2). Let g = v + -37/30. Which is bigger: g or x?
x
Let r = 1 - 5. Let q = 370/3 + -123. Which is smaller: q or r?
r
Let x(g) = -53*g**2 - 2*g + 1. Let u be x(1). Let t be ((-1)/3)/((-9)/u). Which is bigger: -4 or t?
t
Suppose 9 - 6 = -k. Let p(i) = -i**3 + 8*i**2 - 7*i - 3. Let a be p(7). Is k smaller than a?
False
Let j be (-1)/(-4) + 117/(-78). Is 2/3 greater than or equal to j?
True
Let g be 10/4*14/7. Let q = 5 - g. Is 0 >= q?
True
Suppose y - 16 = 3*s, y + 14 = -s - 2*s. Is -6 <= s?
True
Let x = 8 + -7. Let a = 3 - 1. Suppose -3*t = -0*n - 4*n + a, -4*n = -8. Which is bigger: x or t?
t
Let v = -2 - -4. Let l = 0 + v. Is l >= 1?
True
Let j(p) = 3*p + 14. Let v be j(-10). Is -16 <= v?
True
Let u = 3 - 1. Suppose 0 = -u*d - 4*c + 26, c = -3*d + 3*c + 31. Which is bigger: d or 12?
12
Let g = -129293/99 + 1306. Which is smaller: g or 1?
g
Let y be (-2316)/(-27) + (-4)/(-18). Do 85 and y have the same value?
False
Suppose 4*w + 11 + 5 = 0. Are w and -4 nonequal?
False
Let w(k) = 2*k + 29. Let v be w(-13). Is -1/2 bigger than v?
False
Suppose -f + 220 = -5*f. Let v = -37 - f. Suppose 3*x + 2 = -10, 0 = -2*u + 3*x + v. Is u at least 3?
True
Let z be ((-20)/6)/((-10)/15). Let n(v) = 4*v**3 - 6*v**3 + 10*v**2 + z*v + 3*v**3 - 8 - 2*v**2. Let m be n(-7). Is m greater than or equal to 6?
True
Let i = 10 + -11. Which is smaller: i or 2/13?
i
Let j be -3 + (-18)/((-4)/2). Suppose -j = 2*q + q. Is q at least as big as -0.1?
False
Let y be -6*(3/(-9))/1. Let z be -1*(0 - 12/9). Which is bigger: z or y?
y
Let c be (3/270)/((-2)/8). Suppose 10*h = -9*h - 19. Is h at least as big as c?
False
Let h(o) = o**2 - 6*o + 3. Let g be h(4). Let x(y) = 4*y**3 - y**2 - y - 1. Let s be x(-1). Is g at least s?
True
Let r(f) = 2*f**3 + 21*f**2 + 19*f + 3. Let i be r(-10). Which is greater: -88 or i?
i
Let y = 1.3 - 0.3. Let i(b) = b**2 - 7*b + 2. Let j(s) = -2*s**2 + 13*s - 3. Let v(w) = 5*i(w) + 3*j(w). Let p be v(3). Which is smaller: p or y?
y
Suppose -h + 7 = -3*u + 2, 0 = -2*h - 5*u + 10. Suppose -3 = -f + h. Does f = 7?
False
Suppose 0 = -2*j + 5*j - 6. Let s be 5/j*8/70. Which is greater: s or -4?
s
Let n(u) = -u**3 + 5*u**2 + u - 1. Let o be n(5). Suppose o*b + b = -k + 6, -2*k = -2*b. Which is bigger: b or -2/5?
b
Let s = -2.123 + 0.123. Which is smaller: s or -34?
-34
Suppose 3*y = 8*y - 15. Let k be (-10)/(-14) + (-2)/y. Is k smaller than 1?
True
Let q(a) = a**2 + 4*a - 4. Suppose 4*b - 25 = g, -5*b - 2 + 12 = 3*g. Let w be q(g). Suppose 2 = h + w. Which is smaller: 0 or h?
0
Let n be 16 - 19 - 4/(-1). Let b(w) = w**2 - w - 1. Let q be b(-1). Is n smaller than q?
False
Suppose 4*k = -24 + 8. Let c = 4 + k. Is c not equal to -1/4?
True
Let i(m) = m**2 - 8*m + 7. Let v be i(7). Suppose v = 2*t + t + 72. Let s be ((-14)/t)/(1/4). Are s and 2 unequal?
True
Let p = 20 + -458/23. Which is smaller: -1 or p?
-1
Let b = 18 - 18.1. Suppose 3*z = 2*x - 2, 0 = 3*z + 2*x + 20 + 2. Let o be (6/z)/((-21)/4). Which is smaller: o or b?
b
Let t be (72/(-28))/(6/(-56)). Let i be (20/t)/(-5)*-8. Let p = 0 + 0. Which is smaller: i or p?
p
Let r be (-4)/30 - 74/(-330). Which is bigger: r or 1?
1
Let v be 18 - (-3 + 1 - -2). Let n be (v + -3)*(-2)/5. Let i = -4 - n. Is i at least as big as -0.1?
True
Let y = -6 - -32/5. Let n = 6.6 - 6.7. Which is greater: y or n?
y
Let j = 17.7 - 18. Is 3 less than or equal to j?
False
Suppose -36*s + 37*s - 40 = 0. Which is greater: 41 or s?
41
Suppose 3*s + 2*c = 58 + 49, -c - 44 = -s. Let f be s*(2 - (-37)/(-15)). Let q = -18 - f. Does 0 = q?
False
Let x = 2.7 + -26.1. Let r = x - -21. Let i = r + 2. Is i bigger than 0.1?
False
Suppose -a - 75 = 5. Let o = 5 + a. Let f be o/231 - 2/(-11). Which is smaller: f or 0?
f
Let i = -5 - -5.7. Let h = -0.6 + i. Are h and -0.1 equal?
False
Suppose 0 = 7*f + 9 - 2. Is 7 <= f?
False
Let y = -99 - -105. Are y and 5 equal?
False
Suppose -c + 1 = 3. Let v be (-1 + 1)*c/4. Let g(w) = -w**3 - 1. 