 12, -4*w = 20. Is p > r?
True
Let o(a) = a**3 - 12*a**2 - 27*a - 11. Let q be o(14). Which is greater: 18/11 or q?
q
Let h = 2 - 3. Let x(q) = q**3 - 8*q**2 + q - 4. Let p be x(8). Suppose 8 = -p*u - 0. Which is smaller: h or u?
u
Suppose 2*w + w - 3 = 0. Suppose -5*n + 10*n + 105 = 0. Let h be n/(-6) - w/2. Is h < 3?
False
Let m = -38 + 38.1. Which is bigger: -1/7 or m?
m
Suppose -3*a + 20 = a. Suppose -c + 5 = g + 1, -4*c + 16 = a*g. Let n be 1/(-2) + 21/6. Is c > n?
True
Let d(w) = w**3 + 8*w**2 + 6*w - 8. Let n be d(-7). Let z be (-1)/3 - -2 - 2. Is n greater than or equal to z?
False
Let h be (-8 - (-2 + 2))/(-2). Let w be (-4)/(-6)*6/h. Let j be (-2)/(-6) - (-8)/(-15). Which is greater: w or j?
w
Let i = -79 + 319/4. Is 2 bigger than i?
True
Let g be (-3 - 0 - -9)*-1. Is -0.1 > g?
True
Suppose 5*g + 4*y = -9, -g + y = -0*g. Which is smaller: g or -1/2?
g
Suppose 15 = -n + 105. Let x be n/(-75) - (-1)/5. Which is greater: x or -2/7?
-2/7
Let w = 36 + -37. Is 6/23 at most w?
False
Let i = 169/70 + -19/7. Which is bigger: i or -1?
i
Let m = -8.95 - -9. Is m smaller than 2?
True
Let f be -2 - (-3 - -2 - -1). Let t be (2/4)/(3/18). Suppose t = 3*m + 2*s, -m = -4*m + s - 6. Which is smaller: m or f?
f
Let q(i) = i**2 - 5*i + 1. Let z be q(6). Which is smaller: 11/2 or z?
11/2
Let f(s) = -s - 10. Let b = 6 - 14. Let k be f(b). Which is greater: -3 or k?
k
Let i be (7/(84/76))/(1/3). Is 19 less than or equal to i?
True
Let o be (-4)/14 + (-4)/(-14). Suppose p - 3*p = o. Which is bigger: -2 or p?
p
Let q(l) = -l + 11. Let i be q(6). Let o = i - 8. Is o smaller than -1?
True
Let b(g) = g**3 - g**2 - 2*g + 2. Let o be b(2). Suppose 3*l - 12 = l. Suppose 0 = -o*z - l. Is z at least as big as -2?
False
Let d(b) be the third derivative of -b**6/120 + b**5/10 + b**4/24 - b**3/6 + 5*b**2. Let f be d(6). Are f and 4 equal?
False
Let d = 713 - 52051/73. Does d = 0?
False
Let s = 3 - 9. Suppose 28*a - 22*a = -30. Does s = a?
False
Let a be 2/1 - (-232)/(-114). Let f = 47/285 - a. Suppose 3*i - 2*z - 7 = 0, -2*z = -2*i + 2*z + 18. Is f greater than i?
True
Let h be (-25)/75 + 52/(-6) + 5. Let b = -1 - 0. Is h greater than or equal to b?
False
Let z = 28 - 29. Which is smaller: z or -2?
-2
Let v = 27 + -22. Suppose 3*y + 15 = 8*y. Which is greater: v or y?
v
Let c = -2 - -2. Let q = -21 - -9. Let d = 10 + q. Is d less than c?
True
Let t = 0.45 + 0.05. Let f = -0.4 + t. Which is smaller: 1 or f?
f
Let v = -120 + 483/4. Let a(s) = s + 19. Let p be a(-17). Which is smaller: p or v?
v
Let s(y) = y**3 - y**2 - 1. Let w be s(0). Is w < -2/29?
True
Let m(l) = -l**3 + 7*l**2 - 3*l + 9. Let p be m(7). Let z be (1/(-9))/(4/p). Is 0.2 less than z?
True
Let r be (-24)/14 + 2 - 0. Suppose 4*g + 13 = 5*m, -2*g + 3*m - 12 = -g. Which is greater: r or g?
g
Let v be -1*(2 + -1)/(-1). Let g be v/2 - (-9)/6. Suppose -g*q = -3*x + 9, -3*q - 9 = 2*x - 2. Which is smaller: 2/9 or x?
2/9
Let b = 11 - 6. Suppose p - 3 = b*m - 3*m, -6 = -m - p. Which is bigger: -2/43 or m?
m
Let c = 20 - 7. Is -1 bigger than c?
False
Let x be ((-1)/2)/(1/2). Let i = -29 - 33. Let s = 373/6 + i. Which is smaller: s or x?
x
Let m = 148.1 - 156.07. Let l = -8 - m. Let k = l - 0.07. Which is smaller: k or 0?
k
Suppose -c - 4*c + 25 = 0. Suppose 5*z - p - 4*p = -5, 0 = -z + c*p + 11. Is -3 less than z?
False
Let v = -12 + 22. Let a = -7 + v. Let u = -2 + a. Which is smaller: -0.1 or u?
-0.1
Suppose -24 = -4*k - 2*p, 5*k - 3*k = -2*p + 14. Suppose -4 = -k*o + o. Which is smaller: 2/11 or o?
2/11
Let i be 2 + (14/3)/(4/(-114)). Which is smaller: i or -130?
i
Suppose 5*k - 39 + 4 = 0. Suppose 2*a - k*a = 0. Is a less than -2?
False
Let i = 19 - 17. Is -2 less than or equal to i?
True
Let y be (97/(-84) - 1) + 1. Let w = 19/12 + y. Suppose 4*z - 6 = -2*z. Which is bigger: w or z?
z
Let h(k) = -8*k**2. Let l be h(-1). Let u be ((-2)/l)/(30/(-8)). Is 1 greater than u?
True
Let q be 0/((-9 - -3)/6). Is q < -3?
False
Let i = -0.01 + 0. Let w = -0.99 + i. Let g = 232 - 2090/9. Is g <= w?
False
Suppose -4*v = -2 + 18. Let j(g) = -g**2 + 8*g - 10. Let d be j(7). Which is greater: d or v?
d
Let a = 134 - 138. Which is smaller: -2 or a?
a
Let o = 5 - 8. Let v = -2.9 - o. Which is smaller: v or 4?
v
Let n = 6 - 6.03. Let r = -149 + 155.9. Let u = 7 - r. Does n = u?
False
Suppose -y - 3*y + 48 = 0. Let l be ((-6)/(-26))/((-18)/y). Let j(z) = z**3 - 1. Let v be j(1). Are l and v equal?
False
Let u(y) = y**2 - 5*y - 1. Let r be u(5). Let c be r - (0 + 1 + 0). Are -2 and c unequal?
False
Let j = 40.9 + -31. Let b = j - 10. Which is bigger: b or -0.4?
b
Let k(x) = -x**2 - 10*x - 9. Let i be k(-6). Suppose 3*l + 2*l = -4*v + 20, 2*l - i = -3*v. Suppose -4*z + 0*z = l. Which is smaller: -2 or z?
-2
Let j(k) = k**3 - 5*k**2 - 5*k - 6. Let c be j(6). Let l(n) = n + 1. Let w be l(-3). Let o be -1 - (w/(-5) - 1). Is o less than c?
True
Suppose -2*d - 5*f + 19 = 0, f = -d - 0*d + 5. Which is smaller: d or 3?
d
Suppose 0 = -0*l - 3*l. Let b be ((-19)/6)/((-32)/(-24)). Let a = -13/8 - b. Is l < a?
True
Let o = -284/63 - -38/9. Do o and 2/7 have different values?
True
Let v(b) = 2*b - 3. Let s be v(2). Suppose -1 = p + s. Is -3 bigger than p?
False
Let z(f) = f**2 + f - 1. Let c be z(-2). Suppose 2*q = 5*s + 11, 4*s = -6*q + q - 22. Let w = -2 - s. Is w less than c?
False
Let k(j) = -j**3 + 5*j**2 + 6*j + 2. Let h be k(6). Which is greater: h or 0.01?
h
Let a be (-3)/13*(-12)/18. Suppose 3*t = -t. Which is smaller: t or a?
t
Let z = 2.3 - 2.4. Let v(k) = 3*k**3 + 1. Let n be v(-1). Is n at least z?
False
Let m(s) = s**3 - 3*s - 5. Let b be m(-2). Which is bigger: b or -9?
b
Suppose 4*n = -4*x + 16, -5*n - 2*x + 0*x + 26 = 0. Suppose -o = -n*t + 2*t + 4, o - t + 1 = 0. Suppose 4*s + o*s = 4. Which is smaller: s or -0.1?
-0.1
Suppose 2*v + 3 = 3*v. Suppose 1 = -v*l - 2. Which is smaller: l or -2/15?
l
Let n = -5 + 4. Which is bigger: n or 0?
0
Let q(h) = h**3 - 13*h**2 - 17*h + 20. Let r be q(14). Let c be (-10)/(-65) + r/(-26). Suppose -5*i = -25 - 10. Which is smaller: i or c?
c
Let k be 0*(6/(-4) - -2). Which is bigger: k or -1/32?
k
Suppose 0 = r - 8 + 4. Suppose 5*l - 31 = -3*z, -22 = -z - 0*z - r*l. Do 5/3 and z have the same value?
False
Let n = -7 + 14. Which is bigger: n or 5?
n
Suppose j = 2*m + 11, 2*j - 22 - 5 = 5*m. Let d = 2 - j. Suppose -5*a - 3*r - 5 = 0, 8 = 2*a - 2*r - 6. Is a less than d?
False
Let u be -3 + 1/(-11)*-18 + 2. Are 0 and u unequal?
True
Let k = -7 - 4. Let x be (-2)/k - (-32)/66. Is x bigger than -4?
True
Let y(d) = d**3 - 18*d**2 - 22*d - 3. Let z be y(19). Is z smaller than -60?
False
Let l = -4653/7 + 663. Is l != -3?
True
Let f be (8/18 + 2)*60. Let k = f - 148. Suppose 2 = -3*c - 1. Which is greater: k or c?
c
Let a = 45 + -42. Is 1/2 greater than a?
False
Let b = 17.06 + -17. Which is bigger: b or 1?
1
Let t = -0.72 + 0.67. Let p = -90.95 + 94. Let u = p + t. Is u at most -2?
False
Let z(m) = 8 + m + 0 + 8. Let b be z(-11). Suppose -3*a + b*w = -5*a + 18, -2*w = -5*a - 13. Which is smaller: a or 3/8?
a
Let m be 12/20 + 324/10. Let p be 22/m*9/(-5). Do p and 0 have the same value?
False
Let z = -2 + 7. Suppose 12 = n - v, -3*v + v - 45 = -z*n. Which is smaller: n or 8?
n
Let l = -2.3 + 2. Let c = -0.1 + 0. Which is smaller: l or c?
l
Let b = -482/3 - -2443/15. Which is smaller: 1 or b?
1
Let i = 5.4 - 5.3. Let f be (5 - 2)/(1/(-7)). Let d be f/(-4) + (-2)/8. Are d and i non-equal?
True
Let v be 12/7 - (-2)/(-1). Let b = -0.115 + 4.815. Let g = b - 5. Is v greater than g?
True
Let h = 132.1 - 132. Let r be (10/6)/(2/(-6)). Let v be (1/r)/(2/5). Which is smaller: h or v?
v
Let g = -58 + 54. Is g at most as big as -5?
False
Suppose 4*w - 4 = 4. Suppose 0 = 4*d + 4 - 24. Let a = 6 - d. Do w and a have the same value?
False
Let t = 0.1 - -0.9. Let i = -3 + 8. Suppose 0 = i*y - 13 - 12. Which is bigger: y or t?
y
Suppose -6 = c - 3*c. Let z = -2 + c. Which is smaller: 0 or z?
0
Let w = 2.21 - 0.21. Which is smaller: -1/8 or w?
-1/8
Let c be 0 - (3 + 68/(-8)). Which is bigger: 6 or c?
6
Let q = 8 + -7. Let b be -15*((-1)/3)/1. Suppose -b*k = -9 - q. Is 2 > k?
False
Let u = 0 + -1. Let h be (2/(-4))/(1/24). Let w be 27/h - 2/(-8). Which is smaller: u or w?
w
Let c be 5/10*12/(-21). Suppose 5*x - 5*u