 x - 2/191. Is b > 1?
False
Suppose 4*i = -5*s + 11, 0 = -2*s - 2 - 0. Let n be (-3)/9*(-8 - 2). Is i smaller than n?
False
Suppose 0 = -4*k + m - 16, -18 = 4*k + m + 6. Which is bigger: k or 1?
1
Let t(c) = 4*c - 7*c - c**2 - 3*c + 11 - 3. Let m(s) = -s. Let p be m(7). Let i be t(p). Is 3/4 not equal to i?
True
Suppose 3*r - 2*r = -5*x - 1342, -526 = 2*x + 4*r. Let c = 410651/5 + -82400. Let o = x - c. Is o bigger than 1?
False
Let w = -8 - -7. Which is smaller: 6 or w?
w
Suppose -82 = 4*x + 3*q + 49, -4*x - q - 137 = 0. Let d = -174/5 - x. Is 1 smaller than d?
False
Let k be (5 + (-176)/36)*26. Is k < 4?
True
Suppose -4*u - 4*g + 20 + 16 = 0, -4*u - 2*g = -26. Let v be (6/u)/((-15)/4). Let h = -1 + 0. Which is smaller: h or v?
h
Let l be (-5 - -3 - 0)*1/(-8). Which is smaller: -1 or l?
-1
Let c = -0.5 - -0.4. Let g = 6 + -5. Which is smaller: g or c?
c
Let j be (1/(-3))/(6/(-18)). Let p be 2 + -2 + -2 + j. Is p greater than or equal to -2/5?
False
Let h(i) = -i**2 + 9*i + 11. Let a be h(10). Suppose 5*f + 2 = -3. Which is bigger: f or a?
a
Suppose a = -3*a. Is a less than or equal to 2?
True
Let a(k) = -k + 1. Let b be a(-2). Which is smaller: b or 2?
2
Suppose 2*j + 7 = -5. Which is smaller: -10 or j?
-10
Suppose -2*h - 5*w - 25 = 0, 3*h - 2*w + 19 = -2*h. Let q(i) = i - 9. Let k be q(3). Which is bigger: h or k?
h
Let j be 1/(1/4) - (-2628)/(-658). Which is bigger: j or 0?
j
Let a(n) = -n**3 + 6*n**2 - 6*n + 1. Let u be a(5). Is -3 equal to u?
False
Let z be (-1)/(-4 - (-29)/7). Which is greater: z or -9?
z
Suppose -u - 2 = 2*q - 2*u, 5*q - 4*u + 8 = 0. Suppose 8 = 5*g - 2*v, -2*g - 4*v = -v + 12. Do g and q have the same value?
True
Suppose 2*i - 2*q - q - 3 = 0, -3*q - 3 = 3*i. Suppose i*g + 4*g = -8. Let n be (-2)/(-10)*5/(-2). Which is greater: g or n?
n
Let j(k) = k**2 + 5*k - 15. Let h be j(-7). Is -2 at least as big as h?
False
Suppose -2*s + 2 + 4 = -4*q, -3*q = 3. Is 0 < s?
True
Let s = 0.05 + 0.05. Let i = 0 + -0.02. Is s at most i?
False
Let u(n) = -n**2 - 8*n - 10. Let l be u(-7). Suppose -3*h + 1 = 7. Which is greater: l or h?
h
Suppose 5*d - 2*s - 1 = 0, -8 = -5*d + 4*s - 1. Let h be -1 - 2 - -8 - -4. Let c = h + -14. Which is greater: c or d?
d
Let u be 8 + 0*(-4)/(-8). Suppose 0 = t - 5*t + u. Is 2 at least t?
True
Let p(x) = 2*x - 1. Let j be p(0). Suppose 0*r - 7 = r + 4*n, 2*n + 3 = -r. Is j < r?
True
Suppose -7 + 2 = -t. Let z = -4 + 7. Suppose 0 = 2*p + 3*q + 10, -t = -p - z*q - 16. Which is bigger: -3 or p?
p
Let t be (-3)/(-3*3)*-6. Let o be 2/6 + t/6. Which is greater: -2/5 or o?
o
Suppose w + 1 + 0 = 0. Let v be (8/(-12) - 1/(-2))*2. Is v at least as big as w?
True
Let h = 2690/319 + -1819668/215789. Let o = 993761/5893272 - h. Let t = 3/56 + o. Is t > 1/3?
False
Let i = -1.76 + -0.24. Let n = -8 + 15/2. Is i at most n?
True
Let o(z) be the second derivative of z**3/6 + z**2 + 5*z. Let d be o(-7). Which is greater: -6 or d?
d
Let m = 0.2 - 0.3. Let n = -156 + 156.99. Let f = n + 0.01. Is m greater than or equal to f?
False
Suppose 2*y = 90 - 34. Suppose 5*h = h - y. Let m be 0/(3 + h + 3). Is 2/7 at most as big as m?
False
Let x = 4 + -6. Let t = 2.3 + x. Let b = t + -0.5. Which is smaller: 2/7 or b?
b
Let r be 3/(-1) + (-2 - -5). Let q be r + -3 - (-4)/(-1). Let x = -7 - q. Which is smaller: 2/7 or x?
x
Let p = -18 + 76. Is p equal to -1?
False
Suppose 12 = 3*w - 6. Suppose 0 = -2*d + 3*c - w, -2*c - 8 = -2*d - 6*c. Let r = 73/3 + -377/15. Which is greater: r or d?
d
Let z be 8/14 - 6*10/15. Is z > -3?
False
Let b be (-1)/4 - 14/8. Let w be ((-1)/2 + 1)*18. Let j be (-3)/w + (-2)/6. Which is smaller: j or b?
b
Suppose 0*j = 3*j + 12, 4*g - 2*j = 8. Suppose u + u = g. Let o be (-17)/68*8/30*2. Is o at most u?
True
Let s be ((-4)/(-1584))/(1/(-170)). Let q = 11/18 + s. Are q and 1/2 equal?
False
Let u = -21 - -22. Let i = 2.3 - 2. Let g = 0.1 - i. Which is smaller: g or u?
g
Let o = 65 + 6. Is o less than or equal to 71?
True
Let i = -2 - -4. Suppose -i = -g - 0. Suppose -p = g*m - 2 - 4, -4*m = -5*p - 26. Which is bigger: -1 or p?
-1
Let z(i) = -i**2 - 4*i + 7. Let p be z(-6). Suppose -3*g + 0*g = 12. Which is bigger: g or p?
g
Let b be ((-4)/10)/(390/(-75)). Is -1 < b?
True
Let i = 1 + -2. Let q(s) = s**2 - 2. Let b be q(-2). Suppose 0 = b*l - l. Are i and l nonequal?
True
Let p = 122 + -140. Which is greater: p or -19?
p
Let y(g) = -3*g + 5. Let w be y(7). Let u = 21 + w. Is u not equal to 5?
False
Suppose b - 7 = 37. Is 46 at most b?
False
Let m be ((-9)/15)/((-21)/14). Which is smaller: 0 or m?
0
Let c be 7/(-21) + (-68)/3. Which is greater: c or -1/4?
-1/4
Suppose 5*y - 7*y = -2. Let o = 5 + -3. Let g be o/3 - 56/156. Is g less than y?
True
Suppose 3*x + 8 = -4*n, -3*x + 4 - 2 = -n. Which is smaller: n or 24?
n
Suppose 3*g - 1 - 5 = 0. Which is smaller: g or 1?
1
Let u = 4.991 + 0.009. Is u <= -1/3?
False
Let l be ((-11)/(-33))/(2/90). Suppose x - 4*p + l = -8*p, -5*p - 15 = 0. Suppose -4*g - 4 = -0. Is x at least g?
False
Let w be -1 + -14 + (-1 - 1). Let y = -17 + w. Let u = 103/3 + y. Which is smaller: u or 1?
u
Let m be (-154)/147 + (-2)/7. Let a(s) = -s**3 - 2*s**2 + 2*s + 3. Let r be a(-2). Which is smaller: m or r?
m
Suppose -g + 13 = 5*t, -2*g = -t + 4*t + 2. Let m = g + -1. Let c be (4/(-15))/(m/(-12)). Which is smaller: 0 or c?
c
Let x = -1 + 0.9. Let v be (96/(-10))/((-2)/40). Let i = 1346/7 - v. Which is greater: i or x?
i
Let m = -20 + 20.1. Is -9/4 less than m?
True
Suppose 0 = -4*w - 0*w - 20. Let i be 1/2*(w + 5). Is 4/7 greater than or equal to i?
True
Let u = 7839329/481 - 16298. Let z = -5/37 + u. Let s = 2 + -3. Which is smaller: z or s?
s
Suppose 83*m - 82*m + 2 = 0. Is m != -11/4?
True
Let a(b) = b + 8. Let l be a(6). Let p be (-1)/4 + l/(-8). Let t be (5/10)/(1/p). Which is greater: t or 0?
0
Suppose -f = 2*f - 21. Suppose m = -2 + f. Which is greater: 6 or m?
6
Let k = -20 - -26. Suppose d - 2*d = -4*z + 1, -5*d - 5 = z. Suppose z = -o - o + 8. Which is bigger: k or o?
k
Suppose -d - 5*p + 5 = -0*p, 0 = -d + 3*p - 11. Let l = -2 - d. Let r be 4/(-6)*l/7. Do r and 0 have the same value?
False
Let s = 107/2 - 269/5. Let y = 4/5 + s. Is y at most 6?
True
Suppose 3*y = -3*k + 15, -3*y + 4*k = 7 - 1. Suppose -13 = 3*f + y*m, -2*f - 4*m = -0*f + 14. Which is smaller: f or -2?
f
Suppose h = 12 - 2. Suppose 0 = 2*n + 3*n - h. Let x be (-5)/n*2/(-20). Is x at most as big as 1?
True
Let t be ((-24)/9)/((-1)/3). Suppose -8 = -4*i + t*i. Suppose 3*w + 5 = 2. Which is smaller: i or w?
i
Suppose 11*m - 222 = 8*m. Is m greater than 0?
True
Suppose 2*b - 11 = -3. Which is bigger: 14/5 or b?
b
Let i(c) = -7*c - 13. Let r(v) = -v - 1. Let h(y) = -i(y) + 6*r(y). Let p be h(-9). Is -2 > p?
False
Let k(d) = -8*d - 6. Let m be k(-1). Which is bigger: 1 or m?
m
Let b(p) be the second derivative of p**5/20 - p**4/6 + p**3/2 - p**2 - 3*p. Let k be b(2). Suppose -4*v = 3*i - 10, k*v = i - 2*i + 6. Which is bigger: 0 or v?
v
Suppose 0*r - r + 5*b + 15 = 0, -3*b = -2*r + 16. Let g = r - 13. Let j be 22/g + (-3)/12. Is j equal to -2?
False
Let n(o) = o**3 - 7*o**2 - 8*o + 6. Let s be n(8). Suppose 0 = 7*w - 3*w + 12. Let r be (w/3)/((-3)/s). Which is greater: r or 3/4?
r
Suppose -t - 5 = -2*t. Suppose -5*k + 15 = t. Suppose -5*h + 4 + 6 = 0. Is h greater than k?
False
Let s = -18 - -1. Which is smaller: -15 or s?
s
Let c(w) = -3*w**3 - 4*w**2 + 4*w + 2. Let g be c(2). Which is smaller: -29 or g?
g
Let o = -0.7 + -0.3. Let n(c) = -c + 4. Let p be n(-5). Let s be 3/p*(-1)/(-1). Which is bigger: o or s?
s
Let n be ((-12)/(-7) + -2)*7. Is n greater than -2?
False
Let d be 4/6 - (-7)/3. Let h = 2 - 6. Let x = -4.1 - h. Are d and x equal?
False
Let j(u) = u - 3. Let h be j(8). Let m be (-4)/(3 + h)*10. Let w(o) = 7*o**3 + o**2 + o + 1. Let r be w(-1). Is r at least m?
False
Let d be (-36)/(-8) + (-3)/2. Which is greater: 20/7 or d?
d
Let k = 112 - 558/5. Which is greater: k or 0.01?
k
Let n(b) = -b**2 - 2. Let m be n(-2). Let u = -4 - m. Let f be -1*(1 + 1) - -6. Is f bigger than u?
True
Let z be (-1)/(1/3) - -2. Which is smaller: 37 or z?
z
Let b = 20 + -16. Suppose 2*q + 4 = b*q. Which is greater: q or 1?
q
Let o(r) = -5*r + 1. Let m(k) = k**3 + 3*k**2 + 2*k + 1. Let u be m(-1). Let b be o(u). Suppose 3*w - 3*h = 