r -4?
-4
Let s(r) = r**3 + 2*r**2 - r - 1. Let x be s(0). Let t be (-8)/10*5/9. Which is smaller: t or x?
x
Let f = -4 - -3. Let k = -663/28 + 150/7. Which is smaller: k or f?
k
Let g be (1/(-2))/(6/4). Let b(a) = a + 0 - 2 - 3. Let w be b(4). Which is bigger: w or g?
g
Let m be -2 + (-12)/(-4) - 3. Which is bigger: -3 or m?
m
Let j = -16 - -22. Let o = 1 - j. Let a be ((-3)/6*o)/2. Is 2 at least a?
True
Let k(l) = -l**2 - 4*l - 2. Let c be k(-4). Let y be (-6)/(c + 15/9). Let s be 33/y - 2/1. Which is smaller: s or -2?
-2
Let v be (7 + -8)/(1/1). Which is smaller: 6/13 or v?
v
Let q be -1 + (-6)/(-36) + (-2)/12. Let g be (8/(-30))/(4/6). Which is smaller: q or g?
q
Let m(l) = l**2 - 9*l + 10. Let i(c) = 2*c - 4. Let n be i(6). Let d be m(n). Is 2/3 greater than d?
False
Let u(o) = -o**3 - 3*o**2 + 1. Let g be u(-3). Let j be 0 + g - (0 - -2). Let t be 1*(0 - 0 - j). Which is smaller: 2 or t?
t
Let i = 177/119 - 35/17. Which is bigger: -1 or i?
i
Let d = 2 + 2. Let s = d - 3. Suppose s + 2 = -3*f. Which is bigger: f or -4/7?
-4/7
Let s = -3/76 + -65/38. Which is bigger: -1 or s?
-1
Let g(a) = -a**3 + 5*a**2 + 2*a - 13. Let w be g(5). Let c(i) = 3*i - 6. Let u be c(4). Let l = w + u. Are l and 3 unequal?
False
Suppose -4*k = -4*o, -3*k - 15 + 3 = 0. Is -30/7 less than o?
True
Suppose 0 = -6*h + 3*h - 6. Let n be 1*((-4)/h - -3). Is 5 greater than or equal to n?
True
Let m be (-1314)/8*6/11. Let x = 89 + m. Let h = -1/11 - x. Which is smaller: h or -0.2?
-0.2
Let p = 1/38782 + 35563089/193910. Let k be (-20)/(-10) + 182*1. Let i = k - p. Does 2 = i?
False
Suppose -w - 2*w = -2*o - 19, -5*o = -2*w + 31. Suppose w*v + 6 = -12. Let d = v - -2. Does d = -5?
False
Let m be (-2 - 15/(-6))*-2*-1. Let a(v) = -v**2 - 6*v. Let z be a(-6). Is z smaller than m?
True
Let y = -207329/453 + 1373/3. Is 0 != y?
True
Suppose -7*m - 154 = 28. Is -25 at most m?
False
Let a(d) = 5*d + 3. Let m be a(-5). Let c be m/(-18) - (0 + 1). Let r(s) = -s**3 - 2*s**2 - s. Let w be r(-1). Which is smaller: w or c?
w
Suppose 1 = 2*y - 1. Let a be ((-1)/(-3))/(y/(-43)). Let k = 209/15 + a. Which is greater: 1 or k?
1
Let k be (-6)/9 - (-22)/24. Let h = 2/17 - -7/85. Is h greater than k?
False
Let v be 7/(-14) + ((-174)/(-4))/(-1). Which is bigger: -43 or v?
-43
Let m = -0.05 + 0.05. Which is greater: -0.6 or m?
m
Let x = -104.8 + 105. Is -9 less than or equal to x?
True
Suppose -3*a = -3*g - g + 29, 3*a = 3. Let w = g + -4. Let t(c) = c**3 - 5*c**2 + 3*c + 5. Let b be t(w). Is b at most 0?
False
Let w be (-1)/((-4 - -7)*(-3)/(-9)). Which is bigger: -7/3 or w?
w
Suppose -3*v + 8 = 4*h, 2*h = 3 + 1. Let g be (12/(-63))/((-2)/(-3)). Is g less than v?
True
Let j be (-46)/(-9) + 1/3. Let c = 5 - j. Which is smaller: c or 0?
c
Let h(v) = 5*v - 2. Let u be h(1). Is 1 equal to u?
False
Let m = 4 - -1. Suppose m*j + 25 = -25. Let i be (-5)/25*j/12. Which is greater: -1 or i?
i
Let y be -10*2/(-14) + -2. Suppose -2 = -j + 2. Suppose 3*i - j*w + 9 = -w, 0 = i - 2*w + 5. Which is bigger: y or i?
y
Let q(v) = 2*v - 3*v + 1 + 2*v + 5. Let x be q(-7). Is x smaller than 2/15?
True
Let m(a) be the first derivative of 3*a**2/2 - 2. Let b be m(-1). Let s = 1.055 - 0.055. Which is smaller: s or b?
b
Suppose n - 4*c = 8, -3*c = -6*c - 6. Suppose -2 = -p - n*p. Let k be (-27)/(-30) + (-3)/p. Which is smaller: -1/4 or k?
k
Suppose 4*z + 2 - 10 = 0. Suppose 5*a + 2*u = -4, 10 = -5*a - 3*u - z*u. Are -1/7 and a non-equal?
True
Let q = -10 - -9. Are q and -3 equal?
False
Let g be 45/189*2/(-5). Is -1 < g?
True
Let v be 22/5 + (-6)/15. Suppose 2 = y, v*u + 5*y = -0*y + 6. Which is smaller: 4/11 or u?
u
Suppose 4*x + 14 = -v, 2*x - v = 4*v + 4. Let r be x/117 + 1/2. Let u = 5/26 + r. Which is smaller: u or 0?
0
Let i = 47 + -5. Which is bigger: i or -2/7?
i
Let n be 36/20 + 1/5. Is -0.22 at most n?
True
Suppose 3*o = 3*y + 114, y - 23 - 11 = -o. Let u = o + -109/3. Which is smaller: -1 or u?
-1
Let y = 4.8 - -0.2. Let d = -3 + -3. Let b = d + y. Which is smaller: b or 2/9?
b
Let g = 247/90 - 17/18. Let j = -18307/15 + 1219. Let v = j + g. Which is smaller: 1 or v?
v
Let c = 31 + -33. Suppose 0*f = -3*f + 60. Suppose 4*b + f = 0, 4*b + 1 = 5*p - 4. Which is smaller: p or c?
p
Suppose 2*c = 7 + 3. Which is bigger: c or 6?
6
Suppose 41 = -3*j - g + 10, 0 = -j - 2*g - 17. Is j at least as big as -31/4?
False
Suppose 5*p - 8 = r + 2*p, r + 5*p = 24. Suppose -5*o + 19 = r. Suppose -o*z - 3 = -4*z. Which is smaller: 2 or z?
2
Suppose 5*j + 4 - 19 = 0. Suppose -3*q = -0*q - j. Let o be q/2*(-3 + 3). Which is smaller: o or -2/3?
-2/3
Let c(i) = i**3 - 5*i**2 + 2*i - 6. Let l be c(5). Suppose d + 4*y - 40 = 0, -5*y + 65 = -d + 3*d. Suppose -f + d = 4*f. Is f > l?
False
Suppose -12 = -5*m - 2. Suppose -m = 2*r + 3*i, 2*r + 3*r = -3*i + 4. Which is greater: 1 or r?
r
Suppose -n = -0*n - 4. Let i = n - 3. Which is smaller: -2/7 or i?
-2/7
Let t = 7 - 4. Suppose -t*b + 2*a - 20 = b, 0 = 2*b + 4*a - 10. Is b bigger than -2?
False
Let i = -61 - -54. Is i greater than 2?
False
Let m = 1.12 + -1. Let b = m + -0.48. Let t = b + 0.06. Are t and -2 unequal?
True
Let q be 3 - -662*46/68. Let c = q + -451. Is c less than 0?
True
Let i(n) = n**3 - 4*n**2 + n. Let r be i(4). Let b = r - 2. Let u = -19 + 21. Is u >= b?
True
Let d(v) = v**2 + 5*v + 2. Let o be d(-5). Let l(p) = p + 7. Let y be l(-5). Is y > o?
False
Suppose -c - b = 3*c + 17, 5*c + 5*b + 25 = 0. Let m(x) = x**2 - 7*x + 7. Let h be m(6). Let l = -3 - h. Is l > c?
False
Let x = -6.5 + 3.3. Let o = x - -3. Let j = -1 - -1. Which is smaller: j or o?
o
Let o = 13.4 - 0.4. Which is bigger: o or -1?
o
Suppose 6*o - 2*o + 4 = 0. Is o equal to -0.13?
False
Suppose 3*a - 13 = -2*s, 3*a = -2*s + 2*a + 3. Let m be (-2)/(-4) - 18/4. Let p be ((-2)/m)/((-3)/9). Do s and p have different values?
True
Let d be (-4)/(-6) - 1/6. Let r = 15 - 9.2. Let n = 6 - r. Which is greater: n or d?
d
Let n = 13 + -16. Let a = -2 - -9. Let i be n/3 + a/5. Which is smaller: -1 or i?
-1
Let l be 6/(-3) + 4 + -2. Suppose l = 2*i - 3*i + 28. Let f be (-8)/28 + (-6)/i. Is f equal to -2?
False
Suppose -18*c = -13*c - 60. Which is smaller: c or 13?
c
Let k be ((-12)/(-657))/((-4)/(-6)). Which is smaller: k or -1?
-1
Let h = 158 - 86. Is 73 less than h?
False
Let c be -22*(-5)/(-920) + 1/4. Is c greater than 1?
False
Let s be 548/36 - (-8)/(-36). Which is greater: s or 14?
s
Suppose 2*m = 3*h - 3*m, 4*m = 3*h. Which is greater: h or -9?
h
Let u be (-10)/(-15) + 39/9. Which is smaller: 6 or u?
u
Let t = 6/14413 + -1268590/590933. Let i = 8353/1886 + t. Let r = 18/23 - i. Which is smaller: -2 or r?
-2
Let v be ((-9)/6)/(9/24). Is -7/2 < v?
False
Suppose -4 = -3*c + 4*z + 10, -z = 5*c - 8. Suppose 4*o - 5*h = 10, -h - 6 = 2*o + c*h. Is o <= 1?
True
Let t be -2*(-30)/16 + 12/(-4). Let d be (0 - -1)*(3 + -2). Which is bigger: d or t?
d
Let h be ((-2)/(-6))/(7/105). Suppose -3*f = -h*f - 22. Is f at least -10?
False
Let r(v) = -v**3 + 2*v**2 + 2*v - 1. Let c be r(2). Suppose 4*a + z = 1, 0 - 15 = -c*z. Is a > -1/6?
False
Let w = 0.113 - 0.013. Is -18 at most w?
True
Let k = 9 - 8.9. Let f(v) = -3*v + 5. Let m be f(6). Is m greater than k?
False
Let k = -0.02 - -0.02. Let d = 0.01 - k. Let b = -0.51 + d. Do 0 and b have different values?
True
Let c be 0/6 - (-14)/2. Suppose 0 = 4*z + 3 - c. Which is smaller: -2/21 or z?
-2/21
Let f be (-3)/126*-46 - 1. Is f at most 1?
True
Let o(w) = w**3 + 2*w**2 + w + 1. Let j(v) = -v**3 - 2*v**2 - v - 1. Let y(t) = -4*j(t) - 5*o(t). Let g be y(-2). Which is smaller: 1/17 or g?
1/17
Let d = 71 + -44. Let b be d/(-132) - 6/(-8). Is b at most as big as 1?
True
Let r be -1 - (3/3 + -5). Suppose -3*s = -4*j - 5, -3*s + r*j + 2*j = -4. Let l = s + -3. Is 1 less than or equal to l?
False
Let f = 0.8 + -0.6. Let v = 13/22 + -12/11. Which is greater: f or v?
f
Let s(v) = -v**2 - v. Let q = -3 + 6. Suppose -q*k + k = 2. Let l be s(k). Which is smaller: l or 3?
l
Let u = 1 + -3. Let o = -3 - 26. Let d = o + 28. Is d smaller than u?
False
Let y = 14 + -11. Suppose -12 = -w - y*w. Suppose -i = 5*z + 24, 3*i + w*z = -5 - 31. Is i > -10?
True
Let c(m) = -1. Let a(n) = n**2 - 14. Let l(o) = a(o) - 6*c(o). Let d be l(4). Is d <= 6?
False
Let m be (22/3)/((-34)/51). Suppose 6*u + 24 = 3*u