 + 6*z, 0 = -5*p + 3*z + 34. Suppose p*w + 6 - 1 = 5*j, -w - 5 = j. Is y at least j?
True
Suppose 3*a + c + 8 = 0, -a = 3*a - c + 6. Let b be ((-5)/a)/(-1) - -2. Let f(u) = u**2 + 5*u - 7. Let o be f(-6). Is b smaller than o?
False
Suppose 2*v + 4*s = 50, -s = 5*v - 4*v - 20. Is 15 at most as big as v?
True
Let s = -30 - -51. Suppose 15 + s = -4*w. Let o be (30/w - -2) + 3. Is 1/2 at least o?
False
Let f(l) = 7*l + 3. Let r be f(-2). Let w = 8 + r. Suppose -z = 2, 4 = 2*b + b - 5*z. Which is smaller: b or w?
w
Let q be ((-4)/(-5))/(70/(-175)). Do 16 and q have different values?
True
Let g(l) be the first derivative of -l**2/2 + 2*l - 1. Let h be g(-2). Suppose 1 = -h*t - 7. Which is smaller: t or -1?
t
Let h(g) be the third derivative of -g**6/10 - g**4/24 + 2*g**2. Let l be h(1). Let p be (-8)/(-4)*1/l. Which is bigger: p or -1?
p
Let w = -6/589 + 2115/34162. Let r = w + 95/406. Which is smaller: 2 or r?
r
Let s = 14 - 6. Let o be s/6 - (13 + -12). Which is greater: o or -12?
o
Let r be (6/(-5))/(2/(-15)). Let p be 2/r - 6/27. Which is smaller: p or -1/2?
-1/2
Suppose 2*b - 2*n + 8 = n, 5*n - 11 = b. Let w = 1 - 0.95. Let k = 1.95 + w. Is k greater than or equal to b?
True
Suppose 0 = 4*l + 4 + 4. Let k = l - -1. Let r be k/2 - 9/6. Is r less than or equal to -1/4?
True
Let l = 0.44 + -0.04. Let k = l - 0.7. Is k greater than 0.3?
False
Let h(m) = m**2 + 5*m + 5. Suppose v = -k, -3*v = 2*k - 7*v + 24. Let j be h(k). Suppose -3 = 2*z + j. Which is greater: z or 1?
1
Let k = -130777/29172 + -5/2652. Let y = -42/11 - k. Is y smaller than 2/23?
False
Let v be (-4)/10*40/64*2. Does v = 0.037?
False
Suppose 0 = -9*l + 12*l - 39. Suppose 2*w - o - 23 - 7 = 0, 0 = -2*w - 5*o + 6. Are w and l unequal?
False
Suppose -2*a - a - 234 = 0. Let t be a/120 - (-2)/8. Do 0 and t have the same value?
False
Let b be 314/(-14) - 15/(-35). Let j = -18 - b. Is j less than 10/3?
False
Suppose 0 = 3*w + 15, 0*j - 10 = 2*j + 2*w. Which is smaller: j or -3/5?
-3/5
Suppose 4*j - 2 = -6. Let r be j + 182 + (-5 - -4). Let u be 4/(-18) + (-5)/r. Is u smaller than 0?
True
Let j be 1158/6 - (-2 - -1). Let u = -3684/19 + j. Which is bigger: u or -2/7?
u
Suppose 84 = -0*w - 3*w. Let l = -55/2 - w. Is l < 1/3?
False
Suppose m + 13 = -2*j + 6*j, 4*j + 2*m = -2. Let p = -92 - -91. Is p equal to j?
False
Suppose -5*d - 32 + 202 = -x, 5*d + 3*x - 170 = 0. Is d less than 35?
True
Let m = -20354/1001 - -264/13. Is 0 bigger than m?
True
Let d = 12 + -58/5. Which is smaller: d or -3?
-3
Let m = 372/11 - 34. Let k = 0.1 + -1.1. Let n = k + 1.1. Is m >= n?
False
Suppose -4*o + 4 = -2*o. Suppose 4*u = 4*c + u + 7, -4*c - o*u + 18 = 0. Which is smaller: c or 3?
c
Let s = -6 - -3. Which is bigger: -1 or s?
-1
Let m(v) = v - 2. Suppose -12*p + 16*p - 16 = 0. Let r be m(p). Let j be (-2)/4 + (-10)/(-4). Is j less than or equal to r?
True
Let j = -5.4 - -5.41. Which is bigger: j or -1?
j
Suppose -3*h + 6*h = -2*s + 19, -3 = -h - 4*s. Let d = h - 5. Which is smaller: 3/4 or d?
3/4
Suppose 5*n = 4*n. Suppose f + n*f = 2. Suppose 3*v - v - 4 = 0. Are v and f nonequal?
False
Let s = 4/9 + -11/45. Let w = 0 - -0.04. Let k = w + 0.16. Is k greater than or equal to s?
True
Let p be -2 + -1 + 2 + 4. Is p at most as big as 0.2?
False
Suppose 4*l + 4*i = 20, -l + 20 - 5 = 3*i. Which is greater: l or 4/9?
4/9
Let w = 1 - 1.3. Let j = -13 + 11. Let s(z) = z. Let v be s(j). Which is bigger: w or v?
w
Suppose 2 = -2*f + 4*f. Let d(m) = -m**3 + 4*m**2 + 5*m - 2. Let l be d(5). Let r be (-6)/(-9)*l/(-6). Which is greater: f or r?
f
Let y(o) = -o**3 + 4*o**2 + 4*o + 7. Let a be y(5). Are a and 2 equal?
True
Let y be (-16)/12*1*3/(-14). Is y at least as big as 6?
False
Let h be 4/(-8) + (-153)/18. Which is smaller: -26/3 or h?
h
Let p = 2/76603 - 1302803/21142428. Let o = p + -1/46. Which is greater: -1 or o?
o
Let a(h) = -h - 16. Let i be a(-8). Which is smaller: -9 or i?
-9
Suppose 4 = -2*x + 6. Let a be (4 + -1)*(0 - x). Which is bigger: a or -5/2?
-5/2
Let x = -1 - -7. Let j be (-1*10)/(5/(-10)). Suppose -a = -5*a + j. Which is smaller: x or a?
a
Let n(t) = t**2 - 6*t - 9. Let a be n(7). Let b be 2 - a/(4/(-6)). Let g = -1.3 - -0.3. Are g and b equal?
True
Let r = 8 - 7.4. Let t = -1 + 0.6. Let f = t - r. Does 0 = f?
False
Let a(j) = 61*j - 2. Let l be a(-1). Let i be 4/18 + 14/l. Is i <= -7/5?
False
Let v be (18/(-14))/(4/14). Is v at most -4?
True
Suppose 4*u + 7 = -i + 33, 5*i = -2*u + 4. Let q = 7 - u. Which is bigger: q or -3?
q
Let k be (-2)/(-6)*(-6)/7. Let f(o) = o**2 - 6*o + 6. Suppose -4*h + 5 = -3*h. Let x be f(h). Which is smaller: k or x?
k
Suppose -6 = 3*n - 0. Let j = n + 4. Which is bigger: 4 or j?
4
Let q = 44 + -30. Let o = q - 14. Are 6 and o non-equal?
True
Suppose -18*y + 32 = -20*y. Which is smaller: y or -17?
-17
Suppose -s + 7 = -1. Does 8 = s?
True
Let x = 1.97 - -0.03. Let n(g) = g**2 + g. Suppose 0 = -i - 3*i. Let r be n(i). Is r <= x?
True
Let s(f) = 2*f**3 + 3*f**2 - 4*f - 4. Let x be s(-2). Which is greater: x or -6?
x
Let d(v) = 2*v**2 + 30*v + 26. Let t be d(-14). Is t less than or equal to -2?
True
Let h = -0.16 - -0.26. Which is bigger: -1/7 or h?
h
Let h be (4 - -1)/(8 - 5). Is 2 at most h?
False
Let i(m) = m**3 - 3*m**2 - 4*m - 4. Suppose -3*n = 2*n. Suppose n = -j - 4*j + 20. Let k be i(j). Is k greater than -5?
True
Suppose -23*b = 2*b + 100. Is b greater than or equal to -1/11?
False
Let x = 0.409 + 20.591. Let d = 3 + -2. Which is greater: x or d?
x
Let m = 701/5370 + 1/358. Is -0.2 > m?
False
Suppose m - 4 = 2*w, 2*m + 0*w = 3*w + 9. Let a = 14 - 10. Let z = a - m. Is z < -2?
False
Let x = 7746/325 - 314/13. Let q = x + 122/225. Which is smaller: 5 or q?
q
Let p = -35 - -103/3. Let k be 78/(-4) - (-1)/2. Let f be (-6)/(-21) - k/7. Is p > f?
False
Let h be 533/26 + 3/6. Is h != 0.1?
True
Let m = -12 - -11.2. Let w = -0.8 - m. Is w less than 2/9?
True
Let k(s) = -s**2 - 6*s - 3. Let b be k(-4). Suppose -b*n + 15 = 40. Is -6 <= n?
True
Let g be 1*(-3)/(-3) + -1. Let t = g - -1. Let r be (6/(-81))/(1/3). Is r at most as big as t?
True
Let k = -38 - -27. Is k equal to -11?
True
Let j be (3 + 1)/((-1)/5). Is -21 >= j?
False
Let j(l) = 2*l**2 - 2*l + 1. Let b be j(3). Is b less than or equal to 12?
False
Let n be (-9)/6 - (3 - 0). Let d = 0.9 - 1. Is n < d?
True
Suppose -40 = -2*q - 5*k, -5*k - 16 = -q + 4. Let z be (8/q)/(8/5). Do z and 1 have the same value?
False
Let i = 55/3 + -421/21. Is -1 less than or equal to i?
False
Suppose 0 = -5*q - 4 - 16. Let y be (-37)/(-3)*(-6)/q. Let a = 18 - y. Is -1 at least a?
False
Suppose 0 = 4*n - 7*n. Suppose p + 24 = 5*p. Suppose 0 = -4*s - 2*c + p*c - 24, s - 4*c = -21. Which is smaller: n or s?
s
Let k(g) = -g**3 - 5*g**2 - 4*g. Let b be k(-4). Let a(s) be the second derivative of -s**4/12 + 6*s. Let c be a(1). Which is bigger: b or c?
b
Suppose -2*w + 7*w = 40. Is w bigger than 9?
False
Suppose -40 + 4 = -2*i + 3*p, -4*i = -2*p - 72. Is 18 greater than i?
False
Let k = -2/643 + 749/34079. Which is greater: k or 0?
k
Let k be 41/4 + (-4)/16. Suppose 4*w = -2*t + k, 0*t - 4*w = -2*t + 10. Suppose 8 = -3*r + t*x, -4*r - 9 = 2*x - 7*x. Which is greater: r or 1/3?
1/3
Let i = -13 + 14. Suppose -3*y + 0*y - 2*g - 12 = 0, 2*g + 6 = 0. Let s be (y/15)/((-3)/5). Is s smaller than i?
True
Let l be -2 - (-4)/(-8)*-2. Which is bigger: l or -8/5?
l
Let g(s) = -s - 2*s**2 + 9*s + 3*s**2 - 3*s + 1. Let w(p) = p**3 - 4*p**2 - 5*p - 5. Let q be w(5). Let n be g(q). Is n at least as big as 1?
True
Let g = -236366/335 + 3523/5. Let b = g + 1. Which is smaller: b or -1?
-1
Let d = -121 - -849/7. Let a = -0.3 - -0.2. Let y = a - -0.4. Which is greater: d or y?
y
Let q(l) = l**3 - 3*l**2 - 5. Let k be q(5). Let z be (-3)/(-2)*(-12)/k. Let g = -4.3 + 4.3. Are g and z unequal?
True
Let q(i) = -2*i - 21. Let k be q(-9). Is 0 <= k?
False
Let y = 12 - 8. Suppose -y*j - 15 = -j. Suppose 3*a + 14 = -1. Is j greater than a?
False
Let o = 0.1 + 0.8. Let y = -0.8 + o. Which is smaller: 2/9 or y?
y
Suppose 0 = p - 2*v + 17, 3*v = 2*p - 4*p + 1. Let y(r) = -r**3 - 6*r**2 + 6*r - 5. Let b be y(p). Let z be 1 + (2 - (0 + 3)). Which is bigger: b or z?
b
Let t = -23.11 + 23. Let q = 0.01 + t. Does q = 2/5?
False
Suppose 0 = -0*c + 3*c - 2*p - 17, -3*p - 8 = -c. 