 10. Let d be c(6). Suppose 0 = -2*l - l + 3. Which is smaller: d or l?
l
Let i = 70 + -488/7. Let q = 4 + -3.93. Are i and q unequal?
True
Let a(q) = -q**2 - 9*q + 4. Let n be a(-9). Let o(g) = g**3 - g**2 - g + 1. Let j be o(2). Which is greater: j or n?
n
Let w be 0*2*(-2)/8. Let y = w + -1. Which is smaller: y or 1/4?
y
Suppose 4*n + 40 = 3*r, -r = 4*n - 3*n - 11. Is 12 at least as big as r?
True
Let y = -237.7 - -263. Let p = y + -24. Let r = -0.3 + p. Which is bigger: r or -2/5?
r
Let r be -9*(6/2)/((-27)/6). Is r <= 33/7?
False
Suppose -6*g - 3 = -3*g. Let l = g + -1. Is 1 greater than l?
True
Let m = -52 + 51. Which is bigger: 1/27 or m?
1/27
Let s = -102 - -104. Is 0.12 greater than or equal to s?
False
Let o = 29 + -28. Is o at most as big as 5?
True
Suppose 3*x - 1 = -4*k, 3*x + 1 + 26 = 3*k. Let j be (-5)/4*1/x. Let t(c) = -c**2 + 7*c - 5. Let l be t(6). Which is smaller: j or l?
j
Let t = -2/405 - -824/2835. Suppose -6 = -2*f - 3*h, 3*f - h - 9 - 11 = 0. Which is bigger: t or f?
f
Let i(w) be the second derivative of -w**3/6 - 9*w**2/2 - 2*w. Let n be i(0). Which is bigger: -8 or n?
-8
Let c = 11 - 11.3. Let i = -0.3 + 0.2. Which is smaller: i or c?
c
Let x be -7 - 42/(-5) - 2/5. Is x at most as big as 1/4?
False
Suppose -3*q = -2*y - 7, 5*q - y = 2*y + 12. Suppose q = -0*w + 3*w. Which is greater: w or -2/19?
w
Suppose 2*p = -19*p + 357. Let i(u) = 3*u**2 + 4*u - 3. Let w be i(2). Is w < p?
False
Let a = -64 + 61. Which is greater: a or -3/5?
-3/5
Suppose 0 = t + 1 + 6. Let c = t - -4. Let r be c/5 + -2 + 3. Which is greater: -1 or r?
r
Let w = -77/2 - -39. Let o = -0.06 - 2.94. Do w and o have the same value?
False
Let y be 3 - (3 - 2 - -1). Let n be (-3)/(-3*3) + y. Which is greater: -3 or n?
n
Let p = 1451/9 - 161. Let i = p - 25/72. Which is smaller: -1 or i?
-1
Let w = 0.7 + 0.3. Suppose -4*b + 8 = -0. Which is greater: b or w?
b
Let i(c) = -c**2 + 6*c - 2. Let v be i(6). Let o = 0 + 0.1. Is o at most v?
False
Let g(c) = 3*c**3 + c**2 - 1. Let o be g(1). Which is bigger: -1 or o?
o
Let v be 3/(-12) - 1/4. Suppose 2*q + 2*q = q. Which is smaller: q or v?
v
Let d be 10/45 - (-22)/(-18). Let c(j) = -j**2 - j - 1. Let a be c(d). Which is bigger: 1/4 or a?
1/4
Suppose 5*d + 7 = 2*p, -3*d - 2*p - 2 = -1. Is d equal to 1/65?
False
Let a be (-2)/(6/(-3) + 5). Which is bigger: a or 1?
1
Let v(m) = -m**2 - 7*m - 3. Let g be v(-6). Suppose 0 = -4*p + 3*q + 23, 4*p = 3*q - q + 22. Let b be (3/p)/(g/2). Is -1 > b?
False
Let m = 5 - 6. Suppose 4*y + 19 = -37. Let u = 69/5 + y. Which is smaller: u or m?
m
Let n be ((-18)/21)/((-9)/42). Which is bigger: 5 or n?
5
Suppose 8*n = 7*n. Is n at least as big as 0?
True
Let g be (-3)/(-3) + 1348/(-26). Let u = g - -51. Is u > -1?
True
Suppose b - 10 = 4*m + 3*b, -12 = 4*b. Let h = -1219/35 + 234/7. Is m > h?
True
Let g = -151 - -1662/11. Is g < -1?
False
Suppose 1 = -s + 4. Suppose -5*n - 42 - 14 = -4*p, -s*n + p - 28 = 0. Let m be (-2 + (-15)/n)*-2. Which is smaller: m or -1/4?
-1/4
Let b be (24/(-9))/(2/(-3)). Suppose 2*r + 4*j = -b, -4*j - 69 + 25 = -3*r. Suppose 2*f - 4 = 4*f + 2*p, -2*p - r = 0. Are f and 0 unequal?
True
Let n = 38/21 + -26/21. Let t be ((-1)/(-3))/(11/66). Which is smaller: t or n?
n
Suppose 5*l - 2*d = 3*d - 20, 3*d - 12 = -5*l. Are 1/74 and l nonequal?
True
Let m be (-2)/((-2)/1)*-3. Let o(r) = -r**2 - 6*r + 14. Let b be o(-8). Is b at most as big as m?
False
Let w = 7/22 + 2/11. Suppose -5*k + 0*k + 15 = -3*p, -k + 3 = -p. Which is smaller: w or p?
p
Suppose -2*a + 5*r + 13 = 0, 5*a - 3*r + 0*r - 23 = 0. Let o(w) = w**3 - 5*w**2 + 5*w - 4. Let v be o(a). Which is smaller: v or 2/9?
v
Suppose -4*x + 3*w + 42 = 0, -2*x - 2*w = -39 + 11. Let s = x + -12. Let f = -2 + 1. Which is greater: f or s?
s
Let k(p) = -13*p + 3. Let r be k(-3). Let u be (r/(-5))/((-2)/10). Let b be 10/14 + 12/u. Is b less than 0?
False
Let k be (3/1)/(((-32)/12)/(-8)). Are 7 and k equal?
False
Let v be (-15)/(-14)*(-16)/(-12). Which is bigger: 0 or v?
v
Suppose -4*p = -w + 4, -2*w - 2*p = -p + 19. Let y = w - -7. Is y > 2/9?
False
Let t(o) = -2*o**3 - 2*o**2 - 4*o - 5. Let y be t(-3). Are 43 and y non-equal?
False
Let j be 6/8 + 4/(-8). Let d = -9 - -15. Let g = d + -5. Is j at least as big as g?
False
Let v be 2 - (85/20 + -2). Suppose 0 = -n - n - 2. Let y = n - -1. Is v less than or equal to y?
True
Let l(y) = y**3 + 6*y**2 - y - 3. Let u be l(-6). Suppose -u*v - 19 = 2*c, 5*v + 20 = -5*c + 3*v. Which is smaller: -2/3 or c?
c
Let u(c) = 2*c - 3. Let h be u(6). Suppose -h*r - 3 = -8*r. Do -5 and r have the same value?
False
Let s = -10.3 + -2.7. Let r = s + 14. Let x = 7.4 - 8. Which is smaller: x or r?
x
Suppose -11*v + 16*v + 20 = 0. Let h be (-141)/(-15) - v/(-10). Is h bigger than 9?
False
Let b = 70/3 - 23. Let c = 15 - 25. Let p be 1/5*c/(-4). Which is greater: b or p?
p
Let n be -2 - ((-88)/(-12) - 0). Which is smaller: -9 or n?
n
Suppose -2*m + 4*m = 0. Suppose 4*l + m*c - 17 = -c, -l + 2*c - 7 = 0. Suppose -q - l + 2 = 0. Which is smaller: q or -2/7?
q
Suppose -d = -0 - 4. Suppose 0 = d*c + 2 + 10. Suppose 8*b + 12 = 5*b. Is b bigger than c?
False
Let z = -9 + 17. Suppose k + z = -5*f + 32, f = -k + 4. Is k > 0.1?
False
Suppose -3*g = 5*s + 190, 2*s + 3*s + 4*g = -185. Let m = s + 203/5. Suppose 4*l = 2*l. Which is greater: m or l?
l
Let g = -60 + 57. Let k be ((-1)/2)/(10/4). Which is bigger: g or k?
k
Let g be 4/(-10) - (-59)/(-40). Which is bigger: -3 or g?
g
Suppose 8*n - 535 = -87. Is 56 != n?
False
Let j be 13/(-10) + 2/(-4). Do -2 and j have the same value?
False
Let n = 14 - 9. Is n > 0.2?
True
Suppose 3*x + 1 + 20 = 0. Do x and -7 have the same value?
True
Suppose 0 = -k + 5*q + 21, -q - 3 = 2. Let c be (k - -1)/6*14. Is -9 > c?
False
Let c = 5 + -5.1. Which is smaller: c or -17?
-17
Let p = -0.98 - -0.88. Which is smaller: p or 0.037?
p
Let d(x) = -4*x - 9. Let l(v) = -5*v - 9. Let b(c) = -6*d(c) + 5*l(c). Let i be b(0). Which is smaller: i or 8?
8
Let d be 200/45*-3*(-6)/4. Which is bigger: d or 21?
21
Let u(x) = x**2 + 8*x - 14. Let r be u(-10). Suppose -3*g + 501 = -r*g. Let v = g - -1840/11. Is v <= 1?
True
Let f = 57 + -286/5. Which is bigger: 1/15 or f?
1/15
Let c = 8 - -1. Let y be (-6)/c*-3 + -6. Is y at least as big as -3?
False
Let f = 14 + -13.7. Let a = 0 - f. Let i = -0.2 + 0. Which is greater: i or a?
i
Let d(m) = 3*m**2 + 3*m + 1. Let l be d(-2). Let t = 7 - l. Is -1/4 greater than or equal to t?
False
Suppose -5*u = -3*u + 2. Which is smaller: -0.07 or u?
u
Let m be 0*(0 - (-4)/8). Do 30 and m have different values?
True
Let s = -0.5 - 3.5. Is s at least -1/2?
False
Let f = -7 - -5. Let j be 6/(-27) - (-64)/(-198). Which is smaller: f or j?
f
Suppose 6*i = 4*i - 56. Let w be ((-7)/(-21))/((-3)/63). Let z be 5/w - (-8)/i. Which is greater: z or -1/6?
-1/6
Let d = 126 - 379/3. Which is greater: 0 or d?
0
Suppose 2*l = -7*l + 9. Is l < -0.25?
False
Let h = 0 + -6. Suppose -3*g + 5*x + 6 = -1, 2*g - 5*x = 13. Let n = h - g. Does n = -1?
False
Suppose 0 = 22*p - 17*p. Are 2 and p unequal?
True
Let o(t) = -t**3 + 6*t**2 - 4*t - 4. Let k be o(3). Which is smaller: 8 or k?
8
Suppose 8 = -z - 5*c + 2, -3*z - 2*c - 31 = 0. Let y(q) = -4*q + 1. Let w be y(3). Is w != z?
False
Suppose -5*d + 5*o - 547 = 243, -5*d + o - 774 = 0. Is -154 greater than or equal to d?
True
Let w be -1 - (0 - (-4)/(-6)). Is w != -1?
True
Let p(v) = -v**2 + 7*v. Let u be p(7). Let q = 0 + u. Which is smaller: -0.2 or q?
-0.2
Let a be 0 - (-5)/((-5)/(-3)). Let x be (-56)/(-44) - -1 - a. Which is greater: x or 0?
0
Suppose 5*i - 10 = 5*l, 4*i - 13 = 5*l - 5. Let d be 2*21/(-18) + i. Which is smaller: 1 or d?
d
Suppose -2*u = -3*u - i + 108, 0 = -3*u + i + 312. Suppose -b + 6*b = -u. Let j be -2 - (-2 + (-6)/b). Do 0.2 and j have the same value?
False
Let f be 1/4 + 10/(-104). Let z be 2/6 + 24/9. Let n be (-2)/(-6) - (-2)/z. Which is greater: n or f?
n
Let a = 2.6 - -0.4. Let p = a + -2.8. Let f = 1041/7 - 149. Which is smaller: p or f?
f
Let v be 28/(-9)*(-5)/(23 + -3). Are v and 0 unequal?
True
Let m be (-1 - 22/(-10))/2. Is m equal to 2?
False
Suppose -30 = -4*m + 2*m. Let t be m/(-12)*(0 - -4). Which is smaller: -6 or t?
-6
Let u = -8 - -129/16. Is u at least as big as 0.2?
False
Let d be ((-1