u
Let m be 19/(-133)*14/24. Which is smaller: m or -2/11?
-2/11
Let d = -4/121 + -985/3146. Let f = 1/129 - 271/1677. Let j = f + d. Is -1 smaller than j?
True
Let a = 3.511 + -0.521. Let s = a - -0.01. Let w = 3 - s. Which is bigger: 1 or w?
1
Let h = 1 - 1. Let o be (8/20)/((-1)/(-10)). Suppose -5 - 1 = o*f - 2*i, 0 = 5*f - 3*i + 7. Which is smaller: f or h?
f
Let g = 5 - 5.04. Let h = 0.06 - g. Which is smaller: h or 0?
0
Let w = 2/15 - 8/15. Let h = 0.8 - 0.1. Let m = h - 0.3. Is m equal to w?
False
Let w(g) = -g**3 + 3*g**2 + 3. Let s be w(3). Let c = -1 + s. Which is bigger: c or 2/3?
c
Let q = 1/19107 + 2375632/95535. Let j = 25 - q. Which is bigger: 1 or j?
1
Let i = 17.71 - -0.39. Let v = i + -18. Which is bigger: 3 or v?
3
Let d(n) be the third derivative of n**4/24 + n**3 - 3*n**2. Let x be d(-5). Let c = -3 + x. Which is smaller: -4 or c?
-4
Let s = 72 - 60. Which is smaller: -2/3 or s?
-2/3
Suppose 24*q - 10 = 22*q. Let d(b) = -b**3 + 5*b**2 + 4*b + 1. Let w be d(q). Is w equal to 22?
False
Let z = 0.9 + -0.4. Let y = -0.5 + z. Which is smaller: -2 or y?
-2
Let f be 2/11 + (-168)/198. Suppose i = 5*i. Let v be i/(0 - -1) + -1. Is v != f?
True
Let l(t) = -t**2 - 3*t + 3. Let c(p) = p + 1. Let j(x) = -4*c(x) + l(x). Let n be j(-7). Which is greater: 2 or n?
2
Suppose -4*r + 2*n - 7*n = 372, 2*n = -2*r - 186. Which is smaller: -94 or r?
-94
Let t = -1852/10591 + -1/623. Is 1 at most t?
False
Suppose -118 = 5*j + 2*g + 77, 0 = 3*j - 3*g + 117. Which is greater: j or -40?
j
Let k be (-24)/((-2)/3*(-45)/(-80)). Which is smaller: k or -1/2?
-1/2
Let d = 0 + 8. Let b be (3/d)/((-3)/2). Let p be (-2 - 1)*(128/168)/(-8). Is b at most p?
True
Let z = -14.09 - -14. Let k = -0.01 + z. Which is greater: k or -5?
k
Let o = -4 + 1. Let v = o + 4. Let r = 22 - 25. Are r and v equal?
False
Let s(a) = -a**2 + 6*a - 4. Let p be s(3). Let z be (-4)/(-10)*p/1. Let i(b) = -b**3 + 5*b**2 + 2*b - 7. Let t be i(5). Is t smaller than z?
False
Let o = 217/4 - 54. Is 1/44 >= o?
False
Let k(m) = -m + 10. Suppose -22 = -4*u - 2*c, 0 = u + 3*u - 2*c - 26. Let p be k(u). Which is smaller: 6 or p?
p
Suppose 0 = p + 1 - 2. Let c(t) = -t**3 - 6*t**2 + 6*t - 10. Let l be c(-7). Let z be (-1)/(l*1*1). Which is bigger: z or p?
p
Let p be 15/9*3 + -4. Which is greater: 1/58 or p?
p
Let c = -24/7 + 100/21. Let n(v) = -3 - v - 3 + 1 + 4. Let p be n(-2). Which is bigger: c or p?
c
Let i be 1 + -4 + 4 + -1 + -1. Which is smaller: 2 or i?
i
Let u(d) = -d**3 + 32*d**2 - 2*d + 55. Let m be u(32). Are m and 1 equal?
False
Let l(g) = g**3 - 4*g**2 + g. Let s be l(4). Let n(i) = -2*i - 6. Let u be n(-5). Let p = u - s. Which is bigger: 4/3 or p?
4/3
Let q(s) = s**2 - 3*s - 4. Let k be q(3). Let x = 2 + k. Let b(y) = 2*y**2 - 10*y + 5. Let d be b(4). Which is bigger: x or d?
x
Let d = 18 + -11.6. Let g = d + -7. Let w = -0.4 + g. Which is smaller: 3 or w?
w
Let k = -7 + 6. Let j be (6/4)/((-12)/(-16)). Let d be j/(-3) + (-2)/(-12). Are d and k equal?
False
Let a(h) = h**3 - 7*h**2 + 3. Let v be a(7). Let o be (-6)/(18/8 - v). Let x be (o/132)/(1/3). Is x at least as big as 1?
False
Suppose 12 + 9 = -3*i. Suppose -u = 2*k - 7*k + 19, -3*k + 5 = u. Which is smaller: u or i?
i
Let j be -1*(-2)/6*12. Let x = j + -1. Suppose -x*g + 0 = -3. Do 1 and g have different values?
False
Let t be 1 - 1 - -1 - 1. Suppose 5 = 5*i + 3*w, -i + 2*i - w - 9 = t. Suppose -2*a + 2 = i. Which is smaller: a or -2?
-2
Let o(d) be the second derivative of d**5/10 + d**3/6 + 3*d. Let r be o(-1). Which is smaller: -1 or r?
r
Let p = 3 - 5. Let s = 21 - 21. Which is greater: p or s?
s
Let s = 23/12 + -9/4. Is s less than or equal to 0?
True
Let t(l) = -l**2 - 6*l + 5. Let n be t(-7). Let f be 3/(-1) - (23 + -22). Is f bigger than n?
False
Let m(b) = b - 5. Let k be (32/12)/((-1)/(-3)). Let n = -3 + k. Let p be m(n). Which is smaller: p or -1/4?
-1/4
Let c = 70.5 - -296.5. Let z = 364.02 - c. Let q = z + -0.02. Which is smaller: q or -0.1?
q
Let h be ((-58)/50 - -2) + -1. Which is smaller: 0 or h?
h
Let z be 45/(-150)*(-10)/18. Which is smaller: z or -4?
-4
Let n be (-18)/((-36)/(-20) - 2). Which is smaller: n or 89?
89
Let k be (28/(-22) - -3) + -3. Is 0 at most k?
False
Let s be (-4847530)/(-1691025) + 1/(-2). Let m = 1/22547 + s. Let b = m + -7/6. Do 1 and b have the same value?
False
Suppose 3*u - 5*d - 19 = 0, 4*u - d = -2*d - 13. Let y be 30/70*u/3. Is -2/7 != y?
False
Let o = -2 + 0. Which is greater: -4 or o?
o
Let l = -0.09 - -5.09. Which is greater: 2 or l?
l
Let q be 1 - (-1 - 4570/36). Let s = q + -1930/9. Let c = s + 84. Are -2 and c unequal?
True
Let y = -4 - -6. Suppose 0 = k + 15 + 6. Let m = k + 23. Is y < m?
False
Let m = -7 - -9. Is -1 smaller than m?
True
Suppose 0 = -d + 5*c + 432 - 6, 4*c + 1624 = 4*d. Let t = d - 7621/19. Let x = -1 - -2. Which is smaller: x or t?
t
Let s(i) = -i + 5. Let r be s(5). Let h(m) = m**2 - 18*m - 22. Let a be h(19). Let l = r - a. Which is greater: l or 5/2?
l
Suppose -4*b + 2*b = 0. Suppose b = 4*j - j. Is -3/4 equal to j?
False
Let l = -2072 + 8365/4. Which is greater: 19 or l?
l
Let w(d) = -d**2 + 9*d + 12. Let v be w(9). Suppose 0*n = -4*n + 8. Suppose -5*u - v = -n. Which is smaller: u or -3?
-3
Let p = 140/407 + -6/37. Let o(m) be the second derivative of m**4/12 - 2*m**3/3 + 3*m**2/2 + 3*m. Let n be o(3). Which is bigger: p or n?
p
Let h(b) = b**3 + b**2 - b - 10. Let l be h(0). Let r(v) = -20*v - 121. Let g be r(-6). Which is smaller: l or g?
l
Let m = -8 - -9. Is 2/93 at least m?
False
Let n = -5 - -5. Suppose n = -j + 3*j - 2. Is -1/4 < j?
True
Let w(p) = -5*p - 25. Let o(k) = -k - 5. Let c(h) = -33*o(h) + 6*w(h). Let i be c(-7). Is i < -5?
True
Let f = 1 - 1. Let o be -5 + 2 - 333/(-75). Let t = -1/25 + o. Which is greater: t or f?
t
Suppose k - 6 = -2*k. Let j be 1 - (-1)/(1/3). Suppose j*t + 0 = 4. Which is smaller: t or k?
t
Let l = -21 - -37. Suppose 4*j = 2*b - 0*b - l, b - 14 = 5*j. Let u = j - -1. Which is greater: 0.2 or u?
0.2
Let b = -501/2 + 235. Is -15 > b?
True
Let w be 4/(-6)*(-3)/(-4)*-2. Which is greater: w or 11/7?
11/7
Let s = -28.95 + 31. Let f = s - 0.05. Let i = 39 + -38.7. Is f equal to i?
False
Let y be -30*(-2)/4 + -1. Which is smaller: 15 or y?
y
Let l be 22/55 + (-1 - 104). Let n = 105 + l. Which is smaller: n or 1?
n
Let y(v) = -v**3 + 5*v**2 - v + 4. Let f be y(5). Which is smaller: -5/14 or f?
f
Let z = 5 - 6. Is 9/4 bigger than z?
True
Let j(t) = t + 1. Let a be j(4). Suppose 2*p + 2 = v, -2*p = -a*p + 2*v - 2. Let l be (-9)/p - 1/(-2). Is 6 equal to l?
False
Suppose -5*q - 31 = -231. Suppose -9*o = -4*o - q. Is 8 >= o?
True
Let p = -0.19 - -3.19. Is 4 bigger than p?
True
Let i = 136/15 - 26/3. Suppose 4*y + 4*l + l = 14, 4*l - 10 = -2*y. Let c = 0 + y. Which is smaller: i or c?
i
Suppose q - 3 = -0*q. Suppose q*p - 6*p + 2*j - 25 = 0, 3*j = -3*p. Let k be 2/2 + (-6 - p). Which is bigger: k or -1?
k
Let r = 1.93 + -0.82. Let n = r + -0.21. Let h = n + 0.1. Is h <= -0.1?
False
Let i(h) = h - 9. Let s be i(7). Suppose -5*v + 13 = -2*y - 8, 5*y - 15 = -v. Let k = s + v. Which is smaller: 2 or k?
2
Let t(u) = u**3 + u**2 + u + 1. Let g be t(-1). Suppose -5*w + w = -4*z + 4, -w + 4*z - 13 = g. Suppose -w*c = -0*c + 6. Which is smaller: c or -3?
-3
Suppose 9 - 23 = -2*o. Is o smaller than 4?
False
Let q be (-496)/70 - 5/25. Let k = -445/63 - q. Which is bigger: k or 0.2?
k
Let d = -0.1 + 0.1. Let z = 16.3 - 16. Let t = z + d. Is -1 greater than or equal to t?
False
Suppose -6 = 5*g - 3*p, -2*p + 3*p - 2 = 0. Which is greater: g or 1/11?
1/11
Suppose 2 = h - q + 5, 3*h + 10 = 2*q. Is -4 greater than or equal to h?
True
Suppose -d + 4*d + 6 = -3*k, k = 5*d - 26. Suppose -18 = 2*y - 4. Is k != y?
True
Let k = -5.05 - -5. Suppose 3*q = o - 2*o - 16, 5*q + 24 = o. Is k <= o?
False
Let k = -3 - -6. Let w be -1 - (-2 - 7)/k. Is w smaller than 3?
True
Suppose -2*n - 5*r = -22, -5*n + 4*r + 32 = 5*r. Suppose 4*p - n = 6. Let g = -5 + p. Does -3 = g?
False
Let r = 0.2 + -0.3. Is 3/10 >= r?
True
Let x(n) = -2*n + 77. Let i be x(0). Which is smaller: 78 or i?
i
Let t = -458 + 228. Let k be 0 + (t/(-24))/(-5). Let g = -5/3 - k. Do g and -1 have the same value?
False
Let t = -0.89 - -1.19. Is -5/3 smaller than t?
True
Let p = 18 + -7.