
Let c be (-8 + 2)*3/(-6). Suppose c*l + 2 + 4 = 0. Let r = -72 + 141/2. Which is bigger: r or l?
r
Let k = -2 + 6. Suppose 5*f + 34 + 14 = -3*l, 22 = -2*f - k*l. Which is smaller: -8 or f?
f
Let d(m) = -4*m**3 + 8*m**2 + 4*m - 7. Let k(u) = 3*u**3 - 8*u**2 - 3*u + 6. Let p(w) = -2*d(w) - 3*k(w). Let y be p(8). Which is smaller: y or 8/3?
8/3
Suppose 0*o - 8 = s + 3*o, -4*o = s + 11. Let q = -14840 + 979507/66. Let t = -5/6 + q. Which is bigger: s or t?
s
Let a(q) = q**3 + 7*q**2 + 6*q + 5. Let y be a(-6). Let g = 0 + y. Let m be 1/g + 27/(-10). Is m at least -3?
True
Let w be 28828/528 - 1/(-4). Let i = -164/3 + w. Are i and -0.1 nonequal?
True
Suppose 5*p + i = -1, -5 = 4*p - 7*p - 2*i. Which is smaller: -7 or p?
-7
Let y = -0.3 + 2.3. Let k = -1 + y. Let s = 0.26 - 0.06. Do k and s have the same value?
False
Let n be (-9)/15 - 34/10. Let o be 1/((-2)/(4/2)). Let s = -3 - o. Is s equal to n?
False
Let f(k) = k**2 - 6*k + 1. Let l be f(8). Is 18 at most l?
False
Suppose 4*u - 40 = -0*u. Let z be (u/25)/(24/135). Is 1 greater than z?
False
Suppose -k - 6 - 2 = 0. Let d be k/(-6) - 2 - -2. Which is bigger: d or 2?
2
Suppose 0 = 4*g - 2*a + 3*a + 34, 4*g + 5*a + 26 = 0. Let o be 5/3*g/33. Do o and -1 have the same value?
False
Let t be ((-1)/(-10))/(1/(-4)). Let u(v) = -2*v + 13. Let a be u(10). Let h be ((-2)/a)/((-3)/(-21)). Is t less than h?
True
Suppose -5*f = -17 + 2. Let q be 1/f + 1/(-3). Which is greater: -5/4 or q?
q
Let l be (-3)/(-3) + -1 - 0. Let j be (-36)/15 + 4/10. Let x be (2 + -2)/j + 1. Is l >= x?
False
Let c = -682 - -4766/7. Suppose 3*v = 4*r + 5, -3*r + 5*v - 1 = -0. Are r and c equal?
False
Let f = 223/5 - 1313/30. Is f greater than or equal to 0?
True
Let h be 2*(-3)/((-9)/3). Let z be (2 - 4 - 0)/h. Suppose -2*n - n = 3. Are n and z unequal?
False
Let v = 6 - 3. Suppose 4*d = d + v. Is d equal to 4?
False
Let x(j) = j**3 - 3*j**2 - 2. Let z be x(3). Is z > 0?
False
Let b = -15 + 6. Does -9 = b?
True
Let c be (-10)/(-6)*4 + (-12)/18. Is 2/7 at most as big as c?
True
Let l be (0 + 1)/(2/(-6)). Let c(k) be the third derivative of k**4/24 + 5*k**2. Let u be c(-3). Is l not equal to u?
False
Let w be (1/75 - 0)*(-12)/(-8). Which is greater: -1 or w?
w
Let d = -3/16 + 81/176. Are -1 and d nonequal?
True
Let l(c) = -2*c**3 + 2*c**3 - 7*c + 6 - 5*c**2 + c**3. Let m be l(6). Suppose 5 = 2*k + 3*k. Do k and m have the same value?
False
Let k = 25 - 25. Which is smaller: 2/3 or k?
k
Let x be (108/(-270))/(2 - (0 - 0)). Let t(u) = -u**3 + 2*u**2 + u - 1. Let o be t(2). Which is smaller: o or x?
x
Let o = -200 + 199. Which is smaller: 25/3 or o?
o
Suppose 4*l + 12 = 4*f, 5 = -3*l - 1. Let z = -97 - -139. Let b be (4/42)/((-56)/z). Which is smaller: b or f?
b
Let a = 2/153 + 101/3978. Which is smaller: a or 1?
a
Let l = -49/51 - 12/17. Let t = l + 4/3. Which is smaller: -1/2 or t?
-1/2
Let t(y) = y**3 - 8*y**2 + 12*y - 16. Let k be t(7). Is k < 18?
False
Let g = 9 - 6. Suppose i + i = -x - g, -15 = 3*x. Suppose 0 = -2*t - 5 + i. Is t less than -2?
False
Let x(k) = -k**2 + 11*k - 2. Let d be x(9). Let m = 8 - -7. Which is smaller: d or m?
m
Let k(a) = 3*a + 1. Let z(c) = c**2 + 6*c - 1. Let u be z(-6). Let i be k(u). Let d be (i/(-4))/((-3)/(-6)). Is d at least -2/5?
True
Let z(i) = -i. Let f be z(-1). Let a = -4 + 9. Suppose -2*m = -a*m. Which is smaller: f or m?
m
Let n be (-3 - 1)*1 + 133/38. Which is smaller: n or 1.1?
n
Suppose 3*m - 2*y - 18 = -5*y, -4*y - 48 = -4*m. Let x = m - 8. Which is smaller: x or 2/7?
2/7
Let r(a) = a**3 + 7*a**2 - 3*a - 13. Let g be r(-8). Which is greater: g or -52?
-52
Let u(z) = z**3 - 7*z**2 + 3*z + 5. Let v(y) = -6*y**3 + 36*y**2 - 16*y - 26. Let k(i) = 11*u(i) + 2*v(i). Let f be k(-5). Is 3 less than f?
False
Let p be 2 + -97*(-3)/(-18). Let o = p - -14. Let z be ((-2)/(-4))/((-2)/4). Which is bigger: z or o?
o
Let j be 4/(-3)*(-3)/(-2). Let o be j/(-4)*(2 + -4). Do -1/2 and o have the same value?
False
Let r(k) = -k**3 - 6*k**2 - 6*k + 7. Let d be r(-4). Are 0 and d equal?
False
Let l = -1 + 5. Suppose i = 4*i - 4*b + 2, i = -l*b + 10. Which is smaller: i or -0.1?
-0.1
Let t = 6 + -8. Which is bigger: -9 or t?
t
Suppose -5*m + 7 = 27. Let b be (2/20)/(2/m). Let n(o) = -o**3 - o**2 - 2*o - 1. Let d be n(-1). Is b >= d?
False
Let z = 0.3 - 0.1. Let x be 2 + 11 + 0 + 2. Let o be -6 + 3 - x/(-6). Which is bigger: o or z?
z
Let v = 2 + -1.9. Let a = 0.35 + 0. Let y = a - 0.05. Do v and y have different values?
True
Let g = 29/103 + 115363/721. Let m = -21 - -181. Let j = m - g. Is j equal to -1?
False
Let x = -44.6 - -76. Let f = -27 + x. Let y = f - 4. Is y >= 1?
False
Let k(o) = o**2 - 8*o + 1. Let w = 8 + 0. Let n be k(w). Is n less than 4?
True
Let t(k) = -k**3 - 8*k**2 - 7*k + 12. Let p be t(-7). Are 11 and p non-equal?
True
Let c = 101 + -104. Suppose 0 = m - 1 - 2. Suppose -3*u = -m*a + 24, 0 = -3*a - 0*a + 12. Do c and u have the same value?
False
Let r = 4 - 2. Suppose 3*z = -0*c + c - 4, 8 = 4*z + r*c. Is 2/9 at least as big as z?
True
Let j = 0.124 - 0.024. Does j = -1.1?
False
Suppose 0 = -3*f + 2*u - 25, 0 = -6*f + 4*f - 5*u + 15. Is -19/5 less than f?
False
Let y be (-4)/(-30)*18/(-24). Let v be (-68)/(-16) - (-1)/(-4). Let i(x) = x - 3. Let b be i(v). Do y and b have the same value?
False
Suppose 0*i - 6*i = 0. Let h = -1 - -1. Is h smaller than i?
False
Suppose 0 = b - 4*m - 1, 0*m = 2*b - 3*m + 3. Let g be (0 + 1 - 8) + 1. Which is greater: b or g?
b
Let d be 6/9 - (-4)/(-6). Suppose 0*c + c - 2 = d. Let k = 6 + -1. Does k = c?
False
Let f(j) = -4*j + 17. Let x be f(7). Is -10 > x?
True
Let c = 19 - 16. Let r = c + 2. Which is smaller: -1/4 or r?
-1/4
Suppose 2*g - 3*y = -0*y + 157, -3*y = -g + 86. Which is smaller: g or 0?
0
Suppose 0 = 7*a - 2*a. Let z be 4/(-18) - (-455)/1764. Which is bigger: z or a?
z
Let h = -0.3 + 0.1. Let a = h - -0.2. Let l = -2 - a. Is l bigger than -1?
False
Let i(q) = q**2. Let j be i(0). Is 2/5 bigger than j?
True
Let y = 134 - 936/7. Let f(c) = c**3 + 3*c**2 + 2*c. Let j be f(-2). Let v = -1 + j. Which is bigger: v or y?
y
Let k = 0.011 - 1.011. Let w(r) = r**3 - 6*r**2 + 4*r - 5. Let h be w(5). Do k and h have different values?
True
Let m = 322/1615 + -8/85. Do m and -3 have the same value?
False
Let s = -32/5 - -19/3. Which is smaller: 1 or s?
s
Let c(r) = -2*r**3 + 2*r**2 + 2*r + 1. Let m be c(-1). Suppose -m*h + 3 = -0. Which is smaller: h or 8/9?
8/9
Let y = 30 + -46. Which is greater: y or -14?
-14
Let f(l) = l**2 - l - 2. Let n be f(4). Let c = n + -53/5. Suppose -d = -4, -2*d - 6 = 5*y - d. Which is smaller: y or c?
y
Let m = 8.8 - 0.8. Let k = m + -8.3. Is -1 bigger than k?
False
Let a be (-18)/4*2 - -1. Let r be ((-7)/2)/(4*(-5)/(-40)). Is a > r?
False
Let s be 2*1*10/(-30). Is 0 at most s?
False
Let h = 3.1 + -3. Let u(q) = q**2 - 5*q - 5. Let i be u(10). Let d = -226/5 + i. Is d smaller than h?
True
Suppose 5*q + 3*c = -61, 2*q = -0*q + 3*c - 37. Is q > -13?
False
Suppose 3*y = 2*k + y - 30, 0 = 3*k + 5*y - 37. Let a = 7 + k. Let v = -103/5 + a. Are v and 0 equal?
False
Suppose 0*a - 2*a + 8 = 0. Let f be 7/(-2 + 0 + a). Which is bigger: f or 4?
4
Let r = -7 + 6. Let w = r + 0.7. Let o = -2 + 3. Is w greater than o?
False
Suppose -5*h + 0*h + 10 = 0. Let r = 5 - 3. Let c = h - r. Is 3 > c?
True
Let p = -221 - -4198/19. Is p bigger than -1?
True
Let q = -53/20 + 12/5. Is -7 smaller than q?
True
Let p be 7*((-4)/24 - 0). Let a = p + 55/42. Which is smaller: a or 1?
a
Suppose 8*l - 7*l - 2 = 0. Let v be 4/l - (-1 + 0). Is 2 >= v?
False
Suppose 0 = -10*m - 3*m - m. Which is bigger: 1/30 or m?
1/30
Let x = 2/11 - -623/22. Let b = -28 + x. Let m be (-4 - -6)/(4/12). Which is bigger: m or b?
m
Let k(u) = -u + 9. Let p be k(10). Suppose 0*y + y - 2 = 0. Suppose y*d = d. Which is bigger: p or d?
d
Let u(x) = -2*x + 12. Let c be u(-3). Does 19 = c?
False
Suppose 5*r - 3 = -q, -5*r - 2*q - 3 = -4. Is r >= 0?
True
Suppose 5*v - 3*j - 20 = 0, 7 = -0*v + 2*v - j. Let w = -1 + v. Let i = 2 - 2. Is i less than or equal to w?
True
Let w be -4*(2 - -1 - 1). Let p = -9 + 0. Which is greater: w or p?
w
Let y(l) = l**2 - l. Let s be y(1). Let z = -5862/95 - -308/5. Which is greater: z or s?
s
Let j = -8332/3 + 2746. Let p(z) = 4*z - 4. Let q be p(9). Let s = j