pose 19 = -2*b + 2*a + a, 4*b + 28 = 4*a. Suppose -2*t = 3*w - 13, 5 - 11 = -w + t. Suppose 2*j - 1 = -w. Is b at most as big as j?
True
Suppose -51 = -y - 1. Suppose 0 = 2*f + 3*f + y. Let s be (-2)/15*50/f. Which is smaller: s or -4?
-4
Suppose 0 = p + 2*p + 9. Are p and -20/11 equal?
False
Let d(y) = y + 1. Let q be d(8). Which is smaller: 8 or q?
8
Let n = -20 - -9. Let a = -17 - n. Let y be a/8*(-3)/(-18). Which is smaller: 0 or y?
y
Let v be 16/(-96)*(-1)/(-6). Is 1 at least v?
True
Let a(n) = 4*n + 7. Let j be a(5). Suppose j = b - 23. Let z be (-4)/b*(-5)/1. Which is bigger: 0 or z?
z
Let q = -4 - -5. Let k be q*-64 - 2/(-7). Let l = -64 - k. Which is smaller: 1/4 or l?
l
Let v = -0.103 - -0.053. Which is smaller: v or -2/3?
-2/3
Let h = 15 - 15. Is h > -2/41?
True
Let t be 3 + -3 + 4*-1. Let a = t + 4. Suppose b - 6 = 3*j, 3*j = -b - a*j. Which is bigger: 5 or b?
5
Suppose -18 = r - 4*r. Let q be 0/((-5)/((-15)/r)). Which is smaller: q or 1?
q
Let h be (-14)/(-21) + (-14)/(-6) + -1. Is 1/5 < h?
True
Let p be (-5 - -1) + (-50)/(-11). Are 2 and p unequal?
True
Let q(k) be the second derivative of -k**4/12 - 4*k**3/3 - 7*k**2/2 - 3*k. Let b be 2 + ((-24)/4 - 3). Let n be q(b). Which is smaller: n or 2/27?
n
Let f = 83.9 - 80. Let g = -4 + f. Do -3 and g have different values?
True
Let k = -1.5 - -1.9. Let x be -2*1*2/(-10). Is k >= x?
True
Let b be 21/70*50/24. Is 1 at least as big as b?
True
Suppose -5*z = 8 + 2. Suppose 0*g + 3*d = -3*g, -4*d = 3*g - 1. Which is greater: g or z?
g
Let z(u) = u**3 - 11*u**2 - 12*u - 1. Let h be z(12). Which is smaller: h or -11/6?
-11/6
Suppose 0 = -j + 1 - 0. Suppose -4*n = -j + 5. Suppose 4 = -0*v - 2*v. Is v at most n?
True
Suppose 0*v - 2*r + 37 = v, -4*v + 143 = 3*r. Suppose -y = -5*q + 17, 0 = -4*q - 3*y - 10 + v. Which is greater: q or 3?
q
Let h = -29/44 - 1/11. Let u(w) = w + 3 + 1 + 0. Let o be u(-6). Is h > o?
True
Let x be (-3*(-4)/(-302))/(3/2). Which is bigger: 1 or x?
1
Let i be (-2)/(-6) + (-4)/3. Let u be 2/(2/(8/(-28))). Which is smaller: u or i?
i
Suppose 0 = j + 7 - 3. Let d = 4 + j. Is 0 at least as big as d?
True
Let w = -305/259 - -9/7. Which is bigger: -1 or w?
w
Let f = 3.5 - 3. Let s = f + 1.5. Let r = 44.8 - 45. Is r <= s?
True
Let p = 12696/287 + -310/7. Which is smaller: -1 or p?
-1
Let x(s) = s**3 - s. Suppose -d + 3*d - 4*z + 6 = 0, -d - 2 = -z. Let a be x(d). Let t be (a + 0)/(1 + -4). Is t greater than 6/7?
False
Let o be 2/5*(-10)/(-42). Let u be (24/(-10))/(8/(-20)). Let g be 4/(-6) - u/(-9). Is g bigger than o?
False
Let g(n) = 2*n**2 - 7*n + 6. Let y be g(4). Suppose y*h = 7*h + 12. Which is smaller: 2 or h?
2
Suppose -3*f = -4*f + 9. Is f bigger than 0?
True
Let u = 12 - 11. Which is bigger: -1 or u?
u
Suppose 0*b = -3*b + 6. Suppose i = 4, -u - b*u - 3*i + 18 = 0. Let y be (u/3)/(-1 - 2). Which is smaller: 1 or y?
y
Let m = 196 - 192. Let n be ((-1)/2)/((-2)/4). Let i be -1 + n + (2 - 1). Is m greater than i?
True
Let o = -0.28 - -0.14. Let s = o + -0.06. Are s and -0.1 unequal?
True
Let w = 0.1 - -17.9. Let q = w - 17.83. Let x = q + -0.07. Does 3 = x?
False
Let v = -0.083 + -0.017. Let p = 1.05 + -1. Which is greater: v or p?
p
Let q = -0.6 - -2.6. Suppose -3*p = 4*n - 30, -5*n = -4*p - 0*n + 71. Let f be (-4)/(-7) + (-4)/p. Is f greater than or equal to q?
False
Let i be 10/(-14) + (-6)/21. Let z = -85/588 - -3/49. Which is smaller: i or z?
i
Let a = -32 - -23. Let h = a + 10. Is -1/9 not equal to h?
True
Let p be (26/(-8))/((-9)/48). Let d = -24 + 41. Let k = p - d. Which is bigger: -0.1 or k?
k
Let x(w) = -2*w**3 - 6*w**2 + 2*w + 12. Let z(t) = 3*t**3 + 13*t**2 - 3*t - 24. Let p(v) = 5*x(v) + 3*z(v). Let a be p(9). Which is smaller: -2 or a?
a
Let y(w) = -w**3 - w**2 + 3*w + 1. Let q be y(-3). Let g be 10/8*1/q. Is 0 < g?
True
Let c(m) = -m**3 - m**2 - 2*m - 1. Let r be c(-1). Let p = -253/3 - -85. Which is bigger: r or p?
r
Let k(l) = l**2 + l - 1. Let w be k(0). Let j be (-2 - (-1 + 2))/((-96)/(-6)). Is w bigger than j?
False
Suppose 0 = 3*o + 3 - 0. Let g = 131/24 + -16/3. Do g and o have the same value?
False
Let k(u) = -u**2 - u - 5. Let s be k(0). Let i = 1 - s. Suppose 7 = 3*w - 11. Are i and w equal?
True
Let y be (1 - -1)/(10/(-7)). Suppose 4*w + 40 = 4*z, 2*w + 0*z = z - 18. Let g(k) = -k**2 - 9*k - 9. Let m be g(w). Which is bigger: m or y?
m
Let o = 5/6 + -4/3. Let m = -5/14 + -3/70. Which is smaller: o or m?
o
Let d = 5 + -7. Suppose 0 = -18*l + 17*l - 2. Do d and l have different values?
False
Let t be ((-4)/156)/(2/(-6)). Which is greater: 0 or t?
t
Suppose -28 = -7*l + 28. Is -3/5 at most l?
True
Suppose 4*l + 556 = -5*z, 4*l - l + 109 = -z. Let j be 2 - 4/z*-50. Which is smaller: j or 1?
j
Let v be 1/3 + 225/(-837). Is v bigger than 1?
False
Let l be (-10)/(-6)*-3 - -1. Which is smaller: -10/3 or l?
l
Let m be 2/(-4)*(-14)/(-7). Do m and 3/16 have different values?
True
Let j = 36 - 35.9. Let p = -241/4 - -60. Is j < p?
False
Suppose -27 + 12 = 5*f. Is f less than -4?
False
Let r = 107 + -106. Is 1 not equal to r?
False
Let k(s) = 14*s - 5. Let v be k(5). Let i = 25 - v. Let u = i - -201/5. Which is smaller: 1 or u?
u
Let f be (2 + 0)*-1 + 2. Let t = -1 - -7. Let d(b) = -b + 4. Let y be d(t). Do f and y have the same value?
False
Let o be 1/(-1) + 3 + (-104)/51. Which is smaller: 0 or o?
o
Let q = -10 - -10.2. Let d = q + 0. Suppose 4*u - 20 = 3*a + a, -u + 6 = -2*a. Is d smaller than a?
False
Let f = -209 - -186. Which is smaller: f or -20?
f
Let n be ((-318)/24)/(2/(-8)*-1). Is -51 equal to n?
False
Suppose -4*n + m - 3 = n, n = -5*m + 15. Suppose -f = 4*f + 3*w + 6, 4*f - 5*w - 10 = n. Which is smaller: f or -1/3?
-1/3
Let w(g) = -13*g - 20. Let v be w(-5). Is v smaller than 46?
True
Suppose 0 = -4*j - 16, -4*j - 4 = -2*h + 24. Which is greater: h or 4?
h
Let g be 3 - 1*(2 - 1). Suppose g*h = 6*h - 12. Suppose -3*y + 2 = 3*x - 7, 2*x + 4*y = 8. Which is smaller: x or h?
x
Let f = -46 + 50. Which is greater: f or 2?
f
Let q = 6/85 + -461/510. Is 2 less than q?
False
Let m(p) be the second derivative of p**5/20 - 7*p**4/12 + p**3 - 3*p**2/2 + 6*p. Let o be m(6). Is o bigger than -3/2?
False
Let f be 18/81 - (-662)/18. Is 37 greater than f?
False
Let q(f) = 15*f. Let s be q(-2). Let c be 2/(-3) + (-2)/s. Suppose 6 = 4*v + 14. Is v >= c?
False
Let u(q) = 2*q + 13. Let d be u(-6). Is 1/147 bigger than d?
False
Let w be ((-2)/4 - 0)*-2. Let q = -1 + 25. Let o be (8/q)/(8/(-6)). Is w greater than or equal to o?
True
Let q = -2 + 1. Let r be 8/2*q/(-2). Suppose r*d = p - 4 - 1, 2*p - 6 = 2*d. Is p at most as big as 2/3?
False
Let m be 2*((-1)/2 - 0)*0. Is m <= -5/11?
False
Suppose -42*h + 43*h = 0. Which is bigger: -0.2 or h?
h
Suppose -m = -5*o + 22 + 6, -m + 4*o = 24. Which is greater: -9 or m?
m
Suppose -5*n + 2*m - 7 = 0, 3*m = 2*n + 2*n + 7. Is n equal to 1?
False
Let c = 30 + -34. Which is greater: c or -30/7?
c
Suppose -3 = 5*b - g, -6*b = -3*b + 3*g - 9. Suppose -t - 3 + 4 = b. Suppose 0*j + 2*j - 4 = 2*h, 4*j = 3*h + 8. Is h != t?
True
Let o be 5/15 - (-34)/6. Which is bigger: 2 or o?
o
Let a be 4/(-5)*1*5. Let d = 12/31 + -22/217. Which is greater: d or a?
d
Let s be (-4)/(-8) + (-18)/(-4). Suppose 3*z - 4 = v + 1, 0 = z - 2*v + s. Let r = -1 + z. Are r and 3 nonequal?
True
Let o be (-18)/4*12/18. Is o smaller than -2?
True
Let a = -2 - -5. Suppose 0 = 3*i + 10 - 1, -a*o - 5*i - 6 = 0. Let b be 1*(2/o + -1). Do b and 0 have different values?
True
Let o = -2791/7952 + 33/112. Which is smaller: 0 or o?
o
Let w(c) = -4*c + 12. Let d be w(3). Suppose -q = 3*x - 6, 0*x - 3*x + 6 = -q. Is d at most q?
True
Let d be (-18293)/20 + (-8)/(-20). Let b = -919 - d. Is b greater than -4?
False
Let h = 5915/3 - 1994. Is -22 not equal to h?
True
Let x be (-6)/4*(-16)/18. Which is bigger: 2/47 or x?
x
Let a be (-18)/4*(-8)/6. Let p be a*1/(-2)*1. Let s = -2 - p. Which is smaller: 0 or s?
0
Let s(b) = -2*b - 40. Let h be s(-17). Which is greater: h or -12?
h
Let g = 2.31 - 0.31. Is g less than or equal to 2?
True
Let a = 3.1 - 2. Let c = a + 4.9. Is c bigger than -0.1?
True
Let f = 8 + -6. Suppose -o = -3*q + 4, -2*o = -5*o + f*q + 2. Do o and 3 have the same value?
False
Suppose 13 = 5*y - 7. Suppose -w = 5*x + y, 5*x = w - 9 + 3. Which is bigger: w 