Is 5 < i?
False
Let q be (-4)/6*15/55. Which is bigger: 1 or q?
1
Let d = 131 + -121. Is 11 <= d?
False
Suppose 3*d - 5 = 3*i - 2, -d = 5*i + 35. Let t be (8/i)/((-2)/(-6)). Let q be (-17)/(-7) + 8/t. Are q and 1 unequal?
True
Let q(h) = -h**2 - 6*h + 10. Let b be q(-7). Let t(r) be the third derivative of -r**5/60 + r**3/3 - r**2. Let y be t(0). Is b at most as big as y?
False
Suppose 4*a = -0*a + 12. Is 3 greater than or equal to a?
True
Let i = 7.481 + 0.659. Let n = i + -0.14. Let g = n + -5. Is -0.1 bigger than g?
False
Suppose -2*m + 4*g = -4*m - 4, -5*g = 5*m. Let c(j) = -j**2. Let x(f) = 7*f**2 - 4*f + 2. Let q(o) = 5*c(o) + x(o). Let k be q(m). Are k and 3 non-equal?
True
Let v = 3 + -1. Suppose -t + l - 3 = -v*t, 5 = t + 2*l. Let r be 2/(-28)*4/(-2). Which is greater: r or t?
t
Let t(g) = -g - 3. Let d be t(-3). Let p = -36/19 - -434/209. Is d > p?
False
Let r(o) = o**2 - 11*o + 3. Let f be r(11). Suppose 3*z + l + 3*l = -1, -f*z - 3*l = 3. Is -9/4 greater than z?
True
Suppose 0 = 5*f + 7 - 12. Suppose -5 = -4*n - f. Is -2/59 at least n?
False
Let i(g) = g**3 - 6*g**2 - 6*g - 4. Let j be i(7). Suppose 0 = 5*b + 4*r - 9*r + 20, -r = -j. Do -1 and b have the same value?
True
Let z = 2/21 - -13/84. Let u = 2.8 - 3. Which is greater: u or z?
z
Suppose -4*y - 3 = -5*y. Let m = -2287/4 + 574. Is m > y?
False
Let r(g) = g**2 - 3*g + 7. Suppose 18 = 5*p + 3. Let b be r(p). Which is smaller: b or 6?
6
Let j = 7/193 - -345/11773. Which is greater: j or 1?
1
Let g be 8/(-24)*(-2 - -173). Is g >= -57?
True
Let s = 2 - 1.9. Let k = 0.4 - -0.6. Which is bigger: s or k?
k
Let r = 79 + -78. Let b be -6*-1*(-12)/(-63). Which is smaller: b or r?
r
Let o be (-6 + 3)/((-6)/(-4)). Let f = o + 5. Let n be (f/4)/(14/8). Is 1 equal to n?
False
Let t = -952/19 + 50. Let j(f) = -f**2 + 10*f + 10. Let r be j(11). Which is bigger: r or t?
t
Suppose -3*f - 4 = f. Let b = 8 - 13. Which is smaller: f or b?
b
Let x = 0.11 - -0.19. Let h = -44/25 + 937/575. Let r = h - 19/207. Which is bigger: r or x?
x
Let k(z) = -z**3 + 10*z**2 + 1. Let l be k(10). Suppose -4*s = -3*s - 13. Let r be s/36 - 2/8. Is l > r?
True
Let t = 9134/153 + -538/9. Is 0 at most as big as t?
False
Let q(n) = -n + 1. Let y be q(1). Which is smaller: -2/41 or y?
-2/41
Let w(g) = -g**3 + 4*g**2 - 2*g - 2. Let j be w(4). Which is smaller: j or -9?
j
Let f = 11 + -3. Let i be f - 10 - (1 + -2). Let j = -3/8 + 17/88. Is i less than or equal to j?
True
Let i be (4 + -5)*20/2. Is i at most as big as -10?
True
Suppose -6*i = -13*i - 28. Which is greater: i or -51/10?
i
Let p(i) = i**3 + 23*i**2 + 20*i - 44. Let s be p(-22). Which is smaller: s or -2/25?
-2/25
Let c(k) = -k**2 - 2*k. Let w be c(-2). Suppose 0*v - v = w. Which is bigger: 3/5 or v?
3/5
Let j(u) = u + 1. Let d be j(1). Suppose -d*x = x + 6. Is x <= -5/3?
True
Let i(b) = b. Let l be i(2). Suppose -5*h = -2*x - 1, -5*x + 2 = -3*x - 2*h. Suppose 3*n - 6 = -r, 5*n + x*r + 9 = 20. Which is greater: n or l?
l
Let g = -21 + 29. Let q = g - 11. Is q >= -2?
False
Let z = 23 + -23.2. Is -6 less than or equal to z?
True
Suppose -a = -4*a - 15. Let b be 2/(-9)*(-2 - a). Which is smaller: b or 0.4?
b
Let v = -152/715 - -2/65. Is v greater than 1/3?
False
Let u(k) = 7*k**3 - 18*k**2 + 2*k - 9. Let h(b) = 4*b**3 - 9*b**2 + b - 4. Let o(m) = 5*h(m) - 3*u(m). Let l be o(9). Which is smaller: -4 or l?
-4
Let z = 0.5 - 0.3. Suppose -g = 4*g - 5. Suppose g = 3*t - 4*w + 9, 8 = t + 4*w. Which is bigger: t or z?
z
Let w be (-2)/(-8)*16/(-14). Is 0.07 smaller than w?
False
Let i be 4/14 + 2010/70. Let t = i + -23. Is t greater than 6?
False
Let r = -46.1 - -43. Let y = 3 - 0. Let w = r + y. Which is smaller: -1 or w?
-1
Let w = 0.12 - 0.14. Which is greater: 0.1 or w?
0.1
Let x = -0.02 - -0.12. Let w be 2/(-7) - (-24)/(-14). Which is greater: w or x?
x
Suppose -2*l - 8 = 2. Let m = 8 + l. Which is smaller: 2 or m?
2
Let h = -40 + 46. Which is bigger: h or -2?
h
Suppose 0 = 3*k - 53 - 4. Let p = 19 - k. Which is greater: -0.09 or p?
p
Let n = 5/13 - 59/52. Which is smaller: n or 5/7?
n
Let z be (-14)/(-49)*-1 + (-608)/77. Is z at least as big as -7?
False
Let c(k) = -k**2 + 3*k + 2. Let m be c(3). Let s be (57/(-21) - -2)/((-15)/105). Which is smaller: m or s?
m
Suppose 3 = -4*q - 9. Is 0 less than or equal to q?
False
Suppose -3*r + 3*s = r + 19, -5*r - 15 = -2*s. Let p be 2/(-4)*(1 + -1). Which is smaller: p or r?
r
Let p = 1.3 - 1.2. Let l = p - 0.3. Which is smaller: 1/6 or l?
l
Suppose 4*z = -4*y - y + 44, 2*z - 20 = -3*y. Which is greater: z or 15?
z
Suppose -3*l + 16 = l + 2*d, -4*d - 8 = 0. Suppose 0*a = l*a + 40. Which is greater: a or -9?
a
Suppose a + 95 = 119. Is 25 less than or equal to a?
False
Suppose 5*m = -2*x - 36, 2*x + 6 + 22 = -3*m. Let w be ((-3)/2)/((-6)/x). Let i be (-11)/9 - 22/(-99). Is i less than w?
False
Suppose 4*c + 3*f = 32, -2*c + 30 = -0*f - 2*f. Let b = c - 8. Which is bigger: 7/4 or b?
b
Let a = -0.1 - -0.3. Let k = a - 0.1. Let d = -24 + 26. Is k > d?
False
Suppose -24 = -5*k + 2*k. Let g be k/6 - (4 - 3). Is -5 equal to g?
False
Suppose 0 = 2*y - 2 - 2. Let w be (3 - -1)*y/(-12). Suppose v - 5 = 0, 3*l - 6*l = -5*v + 25. Which is greater: l or w?
l
Let s = -63 + 62. Let l = -21 + 29. Let k = 6 - l. Which is smaller: s or k?
k
Suppose -10*a = -5*a - 60. Is 12 at least a?
True
Let o be (-2)/(-1) + (18 - -1). Let h be (o/(-1))/(-3) - 2. Suppose -h*b + 6 - 1 = 0. Is -3/8 less than b?
True
Let b(d) = d**2 - d - 116. Let j be b(0). Let f = j + 583/5. Is -0.1 > f?
False
Let r = -21 - -36. Suppose 9*w = 4*w + r. Suppose -w*u + 0 + 3 = 0. Is u > 3?
False
Let c(t) be the first derivative of -t**4/4 + t**3/3 - 3*t**2/2 + 3*t + 2. Let d be c(2). Is d > -1?
False
Let f be (21/(-28))/(1/(-12)). Let a be 3 + -2 - 15/f. Let r = 0.05 - 3.05. Are r and a equal?
False
Let u be (10/(-8))/((-1)/4). Suppose -4*p + 25 = u. Suppose -r - 13 = -2*t - 2, -t - 3*r = 5. Is t >= p?
False
Let x = 4 + -13. Which is greater: x or -10?
x
Let o = 17/286 + 1/13. Is -1 at most as big as o?
True
Let y = -17 + 24. Suppose -3*n + 3*k - y = 5, 5*k - 4 = -3*n. Are n and -2 unequal?
False
Let d(n) = -n**2 - n + 7. Let v be d(0). Suppose 5*y = -5*k + 2*y - v, -3*y - 17 = -5*k. Are k and 0 non-equal?
True
Let y(k) = -k**2 + 3*k - 1. Let n be y(3). Let r(t) = -t - 2. Let g be r(n). Let c be -10*g/(-4) + 2. Do -2 and c have the same value?
False
Let g(u) = -u**3 + 10*u**2 - 11*u + 8. Let k be g(9). Which is greater: -11 or k?
k
Let w(m) = -m**2 - 6*m + 13. Let h be w(-7). Which is smaller: h or 7?
h
Let t be 66/(-14) + (-2)/7. Let v = -12 + 5. Which is smaller: t or v?
v
Let g(v) = v**3 - 3*v**2 + 2*v - 4. Let w be g(3). Suppose -2*d - 8 - w = 0. Suppose -5*j - 16 = 9. Is d != j?
False
Let z(d) = d**3 - d**2 - 13*d + 6. Let s(g) = g**3 - 14*g + 6. Let y(b) = -5*s(b) + 6*z(b). Let h be y(7). Which is greater: h or 2?
2
Let t = 1 + 1. Let m = 12 - 11. Let n = m + t. Which is smaller: 2 or n?
2
Let t = -3 + 8. Suppose 4*x + t = n, 0*x + 2*x + 25 = 5*n. Is x < -2?
False
Let v be 2*3*12/8. Is v less than or equal to 10?
True
Let r(t) = -2*t + t**2 + 17 - 8 + 11*t**3 - 12*t**3. Let k be r(0). Which is greater: k or 10?
10
Let n = 17.8 + -2.8. Let g be 8/4*(-4)/(4 + -24). Which is greater: n or g?
n
Let s = 17.9 - 18. Suppose -4*h + 3*g - 484 = 162, -g = -h - 161. Let y = h - -1469/9. Is s < y?
True
Let u = 44 - 41. Which is smaller: -3 or u?
-3
Let y = 4.1 + -5.1. Suppose 4 - 24 = -2*f - 5*s, 3*s = -4*f + 12. Which is bigger: y or f?
f
Let g = 1 - 1.2. Let t = -9 + 5. Let u = 3 + t. Is g > u?
True
Let u = -6.2 - -5.3. Let l = -0.1 + 0. Let q = u + l. Which is smaller: q or -5?
-5
Let g = 96.7 - 103. Let q = g + 6. Is q bigger than -1?
True
Let m = 0.9 + 0.1. Let h = -1 + m. Let r = 0.11 - -3.89. Are h and r non-equal?
True
Let x be 0*2/(4 + -2). Let b = 55 - 329/6. Is b less than x?
False
Suppose -a - 5*p = -2*a + 31, 4*a + 5*p + 1 = 0. Let u be 13/2 - 8/4. Which is bigger: u or a?
a
Let k = 23 - 22.8. Which is bigger: k or -4?
k
Let j = 15 + -39. Is j <= 1?
True
Let g = 53 - 52. Does -3/22 = g?
False
Let w = -2.7 - -2.8. Which is bigger: 1 or w?
1
Suppose j + 2*m = 9, 0*m + 1 = 5*j - m. Is j != 0?
True
Suppose 6*n = 3*n - 99. Let f = -67/2 - n. Which is bigger: f or -0.3?
