t x be ((-8)/(-30))/((-8)/(-12)). Suppose w + 3 + 2 = 0. Which is bigger: w or x?
x
Let a(y) = -y**2 - 8*y - 2. Let u be a(-7). Let n(p) be the third derivative of -p**4/24 - 3*p**2. Let c be n(-6). Which is smaller: c or u?
u
Let d be -5 + 1 + (-33)/(-15). Which is bigger: 1/3 or d?
1/3
Let g = -20.1 - -20. Suppose -5*z + 2 = -3. Let r = 1 + z. Is g > r?
False
Suppose -h + 50 = -6*h. Is h at most -11?
False
Let n be (-1 - (-8)/5) + 0. Suppose -2*k - 5*z = 16 + 4, -3*k + 4*z - 76 = 0. Let d = k + 20. Which is greater: n or d?
n
Suppose -5*f + 2*f = -6. Suppose -f*t + 5*a = -9, 1 = -2*t - 2*a + 3. Let g = 9.8 + -10. Which is smaller: t or g?
g
Let r = -23 + 3. Which is smaller: r or -135/7?
r
Let y(a) = -a**3 + 6*a**2 + 7*a - 4. Let g be y(7). Let u = g + 6. Which is smaller: u or 0?
0
Suppose -j = -4*j. Is j smaller than -2/113?
False
Let s(d) = d**3 + 4*d**2 + 3. Let i be s(-4). Which is bigger: -2 or i?
i
Let o(s) = -s**3 - 6*s**2 - 5*s + 1. Suppose 5*i = 4*i - 5. Let u be o(i). Let x = -0.2 - 0. Is u at most x?
False
Let w = 1757/286 - 68/11. Which is greater: w or 1?
1
Let u = -3.8 + 2.8. Is u less than or equal to 0.1?
True
Let t = -2763/7 - -394. Suppose 5*z - z = 0. Which is smaller: z or t?
t
Suppose 5*l - 2 - 3 = 0. Which is smaller: l or 2/21?
2/21
Let f(b) = 11*b + 10. Let l be f(-1). Which is smaller: l or 1/10?
l
Suppose 3*v - 12 = -v. Let z be -21*6/45 + v. Which is bigger: z or 1?
1
Let c be 3 + (1 - 0) + -3. Let k be 1/12 + (-3)/(-12). Does c = k?
False
Suppose 0 = -3*f - 2*n + 16, -5*n = -4*f - 0*n - 17. Let h be (44/165)/(f/(-5)). Let k = 2 + -4. Is h at most as big as k?
False
Let o(n) = -n - 8. Let y be o(-8). Suppose y = -m - 0*m + 5*w - 21, 2*m - 13 = -w. Let d = -1 - -4. Is m less than d?
False
Let q be 3/(-5)*944/(-6). Let l(v) = -v**3 - 8*v**2 - v + 4. Let h be l(-9). Let p = q - h. Which is bigger: p or 1?
1
Let h be ((-15)/12)/(11/132). Is -16 bigger than h?
False
Let k be (-2)/1 + 1486/(-6). Let t = 252 + k. Is t less than 2?
False
Let d = 44 - 131/3. Which is smaller: -0.1 or d?
-0.1
Let t(i) be the third derivative of -i**5/60 + 11*i**4/24 - 5*i**3/3 + i**2. Let q be t(11). Which is smaller: q or 2/5?
q
Let t = 0.9 + -1.06. Let s = t - 0.04. Is -1 equal to s?
False
Suppose 2*l = 5 + 1. Suppose -l*o = o. Which is bigger: o or 4/3?
4/3
Let v be (-2)/6 - 15/(-63). Let a be 2/(-3 - 7/(-3)). Let s be 2 - a/(-4)*4. Which is bigger: v or s?
v
Let m(l) = -l**3 + 5*l**2 + l - 3. Let d be m(5). Let w be (d/5)/(8/20). Are w and 2 nonequal?
True
Let c = 0.01 + -0.03. Let k = 17.98 - 17. Let p = k - c. Is -1 >= p?
False
Let g be -2*(-3)/6*2. Suppose 4*n = g*n + 40. Let y be (-4)/10 + 8/n. Which is smaller: -1 or y?
-1
Let t = 2/285 - 107/1710. Which is bigger: t or 1?
1
Let v = 2.9 + -2.89. Which is greater: -4 or v?
v
Let x be (-497)/(-1463) + 70/(-22) + 3. Let z(c) = c**2 - 7*c + 7. Let v be z(6). Which is bigger: x or v?
v
Let y be 4/14 - (-69)/(-21). Let t = 10 - 16. Let b = t + 4. Is y at most b?
True
Let d be ((-6)/(-9))/((-4)/(-12)). Suppose 0 = -d*f + 2. Which is bigger: 1/18 or f?
f
Let w(m) = 2*m**2 + 31*m - 8. Let x be w(-16). Is x bigger than 47/6?
True
Let m = -74 - -64. Is m != 2?
True
Let w(l) = l**2 + 16*l + 27. Let s be w(-17). Are s and -1 non-equal?
True
Let u = 26 - 16. Let t be (182/4)/((-15)/u). Let m = -31 - t. Which is bigger: 2 or m?
2
Let d be ((-2)/(-4))/(93/(-48) + 2). Is d bigger than -2?
True
Let h = 2340/11 + -213. Is h <= 2/7?
True
Suppose 0 = -2*x + 4*x + 4*r - 6, 5*r - 8 = -3*x. Which is greater: x or -6?
x
Suppose 0*u + 2 = -2*u, -11 = 3*j + 2*u. Let y = -4 - j. Let a be (2/6)/((-4)/3). Is a bigger than y?
True
Suppose -d - d = 0. Let i = -125 + 877/7. Which is smaller: d or i?
d
Let c(q) = -q**3 + 10*q**2 + 10*q + 2. Let k be c(11). Are -10 and k nonequal?
True
Let k = -75 - -218. Let m = k + -575/4. Which is smaller: -4 or m?
-4
Suppose -21 - 24 = -v. Let b be 12/v + (-4)/6. Is 1 greater than b?
True
Let d be (-10)/(-14) + (-4)/(-14). Let b be (6/(-4))/(108/16). Is b < d?
True
Let o(r) be the first derivative of r**4/4 - 2*r**3 + r**2/2 - 5*r + 4. Let z be o(6). Which is bigger: 2/19 or z?
z
Suppose -10*w + 9*w = -26. Which is greater: w or 2?
w
Suppose -3*g + 11 + 55 = 0. Let o = -23 + g. Do o and 1 have the same value?
False
Let j be ((-12)/30)/(227/5). Which is smaller: 1 or j?
j
Let u = -7 - -3. Let q = u + 4. Which is greater: -1 or q?
q
Suppose 5*n - 147 = -127. Is 4 != n?
False
Let f = 24 - 12. Is f not equal to 3?
True
Suppose 0 = a - 2*a + 2*u + 27, 4*a - 96 = 4*u. Is 0.1 smaller than a?
True
Let g(l) = l**2 - 3*l - 3. Suppose -3*x + 4 = -8. Let q be g(x). Let d = q - 2. Is d greater than -1?
False
Suppose -6*u = -2*u - 12. Let m(n) = n**3 - 4*n**2 + 3*n + 4. Let s be m(3). Suppose 5*j + 22 = s*z, 3*j = j - 4. Is u < z?
False
Suppose 9*t - n - 25 = 4*t, t + 21 = -5*n. Is t greater than 3?
True
Suppose 9*w = 4*w - 5. Let h be 3 + -1 - (-18)/(-8). Which is smaller: h or w?
w
Let r(v) = -8*v - 55. Let n be r(-7). Let p be 22/14 - (0 + 2). Which is bigger: n or p?
n
Suppose -3*g + 8 = -7. Suppose 0*z - 5 = g*z. Let q be (1/(-3))/((-16)/(-6)). Are z and q non-equal?
True
Let n be 8/10 + (-120)/25 + 3. Is n <= -2/53?
True
Let f = -0.2 + 0.38. Which is greater: f or 0.1?
f
Let r = 11 + -10.86. Let j = r - 0.04. Which is smaller: -0.3 or j?
-0.3
Let f = 347/3 + -117. Is -1 bigger than f?
True
Let t = -18 - -18.8. Let s = 7 + -6.1. Let g = t - s. Is -0.1 <= g?
True
Let o be (-50)/(-9)*5/((-75)/18). Which is bigger: o or -7?
o
Let g = -0.1 - 3.9. Let f = -1.6 + 7.6. Let q = g + f. Which is greater: q or 0?
q
Let r be 1/((-18)/4 - -1). Let x(n) = -n**2 + 2*n + 2. Let g be x(3). Which is greater: g or r?
r
Let c = -3 + 4. Which is greater: 5/3 or c?
5/3
Let p = 31 + -32. Which is smaller: p or 2/5?
p
Suppose -5*i + 1709 = -u, i + 0*i + 3473 = -2*u. Let o = 136988/79 + u. Which is greater: o or 1?
1
Let j be -1 + 1 - (-1 - 0). Let n be (2 - j/1)*5. Suppose -5*t + n + 0 = 0. Which is bigger: t or -1?
t
Let a(p) = p**2 - 5*p + 1. Let r be a(5). Let c be (-2*(-4)/(-72))/(3/9). Which is smaller: c or r?
c
Let j = -2/155 + -284/2015. Let k = 88 - 89. Is k equal to j?
False
Suppose -4*x - 20 = 0, 0 = 2*b + 3*x - 17 + 38. Let u be ((-31)/11 - b)/3. Which is smaller: u or -1?
-1
Let f(n) = -n**2 + 6*n - 7. Let t be f(3). Let p be ((-1)/t)/((-9)/(-36)). Is -2 greater than p?
False
Let m = -1157/7 + 166. Let j = -9 + 9. Which is greater: j or m?
m
Let t(p) = -p**2 - 7*p + 21. Let r be t(-8). Is r >= 13?
True
Let m(y) = y**2 + 5*y - 2. Let l be m(-5). Let v be 1 - 633/255 - l. Let o = -2/17 + v. Which is bigger: o or 0?
o
Let l be (-1)/(-1)*1 + -7. Let g be 2/(((-14)/(-4))/7). Let v = g + l. Are v and -2 nonequal?
False
Let t be ((-21)/56)/((-1)/8). Let y = -2 + 1. Which is greater: y or t?
t
Suppose -w = -5*l - 0*w + 6, 7 = 5*l - 2*w. Suppose -4*b + 4*j + 19 = -33, -3*j - 29 = -2*b. Let d be b/(-5)*1/34. Is d bigger than l?
False
Suppose -1 = -2*b + 1. Let g(h) = h**3 - 9*h**2 + 8*h + 2. Let c be g(8). Suppose -4*k + 3 = 2*n - 7, -c*k + n - 5 = 0. Which is greater: b or k?
b
Let l(i) = i**3 - 6*i**2 + 5*i - 5. Let z be l(5). Let f be (-8)/(-54)*2355/z. Let x = 70 + f. Which is bigger: x or -1?
x
Let r(j) = 3*j**2 + 5*j + 4. Let g be r(-6). Let l = g + -583/7. Is 0.1 at least l?
True
Suppose 4*u - 36 = 12. Let i be (14/8)/((-9)/u). Is i bigger than -1?
False
Suppose 8*j - 15 = 3*j. Suppose -q = -j*q. Which is smaller: -1 or q?
-1
Suppose -3*w + 6*w = 0. Which is smaller: -7/6 or w?
-7/6
Let r = 14 + -15. Let y(s) = s**2 + s. Let v be y(r). Which is greater: v or -2/3?
v
Let z be (-46)/(-112) + (-4)/32. Suppose 0 = b + 3*b + 8. Let g be -1*8/6 - b. Is g != z?
True
Let y be ((-54)/63)/((-6)/28). Suppose -y*v = -v. Which is smaller: v or 4?
v
Let b = -5 - 1. Let j be ((-8)/10)/(b/(-15)). Let n = 1 - 3. Are j and n nonequal?
False
Let b = -110 + 65. Is -43 bigger than b?
True
Let g(z) = 2*z**2 - 4*z + 2. Let y be g(2). Let c be ((-6)/5)/((-21)/(-70)). Let k = c + y. Which is smaller: k or -3?
-3
Let l = -46687/1698 + -4/849. Let n = l + 27. Let i(g) = g**3 - 3*g**2 - g + 3. Let p be i(3). Is p >= n?
True
Suppose -2*k - 3 = l, -k - 2 - 3 = 0. Let u = -4 - l. Let j be 9/18*(-2)/u. Is 1 < j?
False
Let c = 2