 = 71/6 - 12. Is a at most as big as r?
True
Let v = -31/12 - -1495/588. Let q be ((-27)/735)/(2/25). Let p = q + v. Do p and -2 have the same value?
False
Let y be 0 + 0 + (116/20 - 6). Is y at most -1?
False
Let u = -47 - 11. Is -59 > u?
False
Let q(i) = -i**3 - 6*i**2 - 4*i + 7. Let f be q(-5). Suppose -2*m + 4 = -2. Let n be 2/(-2)*-1*m. Which is bigger: f or n?
n
Let l = -22 + 20. Let n = -1.6 - l. Which is smaller: -0.3 or n?
-0.3
Let s(p) = -p**2 + 7*p + 9. Let l be s(8). Which is bigger: l or 5?
5
Suppose -l = 3, -4*n - n - 2*l = 696. Let v be (9/n)/((-9)/12). Is v equal to 1?
False
Let j be 2/156*2*1. Is -0.1 greater than or equal to j?
False
Suppose 4*y + 120 = 1000. Let b be 1/(-1) - y/(-6). Let n = 36 - b. Which is greater: -1 or n?
n
Suppose -2*x + 5 - 1 = 2*v, 2*v = 2*x - 4. Let a(g) = -g**3 + 4*g**2 - 4*g + 4. Let m be a(3). Is m less than v?
False
Let r(q) be the third derivative of 0 - 3*q**2 + 5/6*q**3 + 0*q - 1/24*q**4. Let x be r(7). Which is bigger: x or -1?
-1
Let l = 9 - 11. Which is bigger: l or 0.39?
0.39
Let t(y) = -y**2 + 7*y + 8. Let q be t(8). Suppose -5*h = -q*h. Let x = 1 - 0. Is h at least x?
False
Let p = -2270 - -265592/117. Let j = -458/585 - p. Is j greater than or equal to 0?
False
Let g = 11 - 10. Let y be -1 + 1 - 6/42. Which is bigger: g or y?
g
Suppose 0*r + 5*r - 25 = 0. Suppose r*o = -2*u - 18, -o - 86 = 3*u - 33. Which is smaller: -20 or u?
-20
Let z(v) = 10*v**2 - v. Let x be z(1). Suppose 4*s - 4 = 0, x = 5*o - s - 0*s. Suppose l + 2*y = -0 + 1, 2*l + 2*y = 0. Which is greater: o or l?
o
Suppose 36 - 1 = 5*z. Let t(b) = 3*b**2 + 3*b. Let m be t(-2). Is z < m?
False
Let y be (-2200)/10769 + 2/11. Which is bigger: 0 or y?
0
Let v = 749/596 - 1/149. Which is greater: 0 or v?
v
Suppose a + 4*a = -10. Let s be ((-16)/20)/2*(-10)/(-2). Do s and a have the same value?
True
Suppose -2*s = -s. Let v be 3/1*2/(-6). Let t(r) = r**2 + r. Let q be t(v). Is s bigger than q?
False
Let t be 37/4 - (-6)/8. Let i = 16 - t. Suppose -5*o + 11 - i = 0. Which is bigger: o or 2?
2
Let l = -15 - -19. Let h be l/((-1)/(-4)*2). Is h bigger than 8?
False
Let q = -1 + 1. Suppose -k - 2*k = 0. Suppose q = -k*g - g + 4. Is g greater than 5?
False
Suppose 20 = 4*y, -6*y + 3*y = 3*a - 27. Suppose -h - 11 = -2*t - 4*h, -t - 2*h = -6. Is t != a?
False
Suppose -14 = 3*v + 10. Let r = v + 25. Let b = 49/3 - r. Which is bigger: 0 or b?
0
Suppose -2*d + 19 = -3*w, 3*d - 5*w = d + 25. Suppose 2*x = d*x + 6. Let l = -5 - -2. Which is smaller: x or l?
l
Let q(u) = -2*u - 5. Let m be q(-3). Which is bigger: 2/7 or m?
m
Let f be 144/(-40) + 2*2. Is 0.1 smaller than f?
True
Let m be (2/(-8))/((-1)/4). Let k = 0 + 0.5. Is m equal to k?
False
Let c = -0.034 - -1.424. Let b = 0.21 + c. Let g = b - 0.6. Are 0.05 and g equal?
False
Let d be (1 - (1 + 1)) + 6. Let i(c) = -c**3 + 4*c**2 + 5. Let r be i(4). Is d < r?
False
Let v = 4 + 1. Suppose v = -3*r + 4*r. Suppose r*q = q. Is 2/7 at least q?
True
Let b = 53 + -60. Is b greater than -33/4?
True
Suppose 0*j - 4*j = -3*z - 1, -3*j + 7 = 4*z. Is 1.5 bigger than z?
True
Let h be 2910/(-33) + 4 + -3. Let x = h - -87. Which is greater: 1 or x?
1
Let t = 638/3 + -209. Which is smaller: t or 3?
3
Let n(w) = -3*w**3 - w. Let u be n(1). Suppose 5*s = -4*f - 15, -4*s - 5 = 2*f + 1. Is f != u?
True
Suppose -4*g - 21 = -5*b, -2*b + 2*g = -3*b + 7. Suppose 2*c + 5*x - 4 - 25 = 0, b*c - 4*x = -10. Which is bigger: c or 0?
c
Let v = -172 + 192.6. Let x = v - 11.5. Let f = -9 + x. Which is bigger: 0 or f?
f
Suppose -3*q + 95 = 2*q. Let h = -10 + q. Is 8 bigger than h?
False
Let w = 412984/121023 + -30/1921. Let l = w - 28/9. Do l and -1 have the same value?
False
Let q(p) = p**3 - 6*p**2 + 7*p - 6. Let b be q(4). Are -11 and b nonequal?
True
Suppose -d + 3*p - 6 = 0, 2*p = -5*d + p + 2. Suppose -3*i - 4*j + 0 = -10, -i - 3*j + 5 = d. Let c = 5 - 3. Is i less than or equal to c?
True
Let p(y) = y**2 - 7*y + 1. Let z be p(6). Let o = z - -4. Is -2 smaller than o?
True
Let w = -2078/13 - -160. Let z(l) = l**2 - 6*l - 1. Let h be z(6). Which is bigger: h or w?
w
Let d(h) = -h - 2. Let s be d(-2). Let p be 0*(s + -1) + 1. Which is greater: p or -2/5?
p
Let b(y) = 6*y**3. Let q be b(1). Let k be 2/10 - 28/(-10). Suppose q = k*c - 0. Is 2/3 less than c?
True
Let b = 26.14 + -26. Which is greater: b or 1?
1
Suppose -y - 4*r + 13 = -6*y, -5*y - 3*r = -1. Let q be 4*1*y/14. Do q and 8 have different values?
True
Let z be (28/6)/(2/6). Let x = 14 - z. Which is bigger: x or -2?
x
Let t(v) = v**3 + 5*v**2 + 5*v + 4. Let d(q) = -q**3 - 8*q**2 + q + 4. Let y be d(-8). Let o be t(y). Is o >= -4/9?
True
Let l = -302 - -298. Suppose -6*h + 6 = -3*h. Suppose -a - 1 = h. Which is bigger: a or l?
a
Let k be 20/(-92)*((-4)/(-2) + -3). Which is greater: k or -1?
k
Let p = 0.6 + -2.6. Which is smaller: p or 1/4?
p
Let m be 2/(3 - (-3 - -5)). Suppose -r - 3 = -m*r. Let w be ((-3)/(-6))/(1/6). Are r and w equal?
True
Let a = -45 + 42. Is -3 less than or equal to a?
True
Let a = 38 - 39. Let w = -1129/2587 - 5/199. Let r = w + -1/26. Is r at most a?
False
Let d(i) = -i**3 - i - 3. Let r be d(0). Let x(o) = o**3 - 7*o**2 - o + 2. Let p be x(7). Which is greater: r or p?
r
Let h be (-1)/(2/(-4)*(7 + -5)). Let a = -625/414 - -36/23. Which is bigger: a or h?
h
Suppose n = -4*n + 5. Let r be -2*(-1)/(-4)*0. Is n equal to r?
False
Let d = -12 + 19. Is 7 greater than or equal to d?
True
Suppose 7*t - 12 = -5*t. Is 7/4 at most t?
False
Let t be (-4)/(3 + (2 - 4)). Let k(y) = -y**3 - 5*y**2 - 3*y + 5. Let u be k(t). Are u and 1 non-equal?
False
Let d = -79/14 + 11/2. Let c(r) = -r. Let k be c(-4). Let q be k/(-8) - 6/(-28). Which is smaller: d or q?
q
Let r(x) be the second derivative of -x**3/6 - 3*x. Let u(w) = -w - 5. Let y be u(-5). Let b be r(y). Which is bigger: b or -1?
b
Let t be -2*(-3 + 4/2). Suppose -5*m = -4*m - 4. Let k = m + -1. Which is smaller: k or t?
t
Let x(o) = -o**3 + 9*o**2 - 9*o + 11. Let k be x(8). Let p be k*(-2 - (-24)/9). Suppose p*q = -5*a - q - 2, 3*q - 2 = -a. Is a smaller than 0?
True
Let l be (-15)/(-6)*-1*2. Let w = l - -7. Is 1 smaller than w?
True
Let f be 2/(-657)*18/6. Which is smaller: 0 or f?
f
Let r = -10.59 + -1.41. Is r < 0.3?
True
Let o(q) = -q**2 - 4*q - 15. Let n be o(-8). Is -47 != n?
False
Suppose -5 = -2*a + k - 1, k - 3 = -5*a. Is 2 smaller than a?
False
Let g = 576.1 - 575. Let a be (8/10)/(0 - 2). Which is smaller: g or a?
a
Let t = 2/147 + -44/147. Which is smaller: 2/7 or t?
t
Let m = -47/15 + 7/3. Let x be (3/1 - 6) + 2. Which is smaller: x or m?
x
Let p = 5.035 + -0.035. Which is smaller: 0 or p?
0
Let j = 1.9 - -1.9. Let z = j - 4. Let k = 0.3 + z. Does k = -2?
False
Let z(n) = -n**3 - 5*n**2 - 5*n - 4. Let x be z(-4). Suppose -3*a = 3*l + 1377, -2*a - a + l - 1365 = 0. Let m be (-294)/a - (-6)/(-8). Is x bigger than m?
True
Let x = 16 - 3. Let l = 13.3 - x. Are l and 1 unequal?
True
Let n(a) = 31*a**2 + 2*a - 2. Let y be n(1). Is 31 at least as big as y?
True
Let f be 0 + -1 + 7*1. Let y = -344 - -347. Are y and f non-equal?
True
Let w(v) = -v - 7. Let u be w(5). Let c be (116/(-10))/(u/(-135)). Let b = c + 133. Which is bigger: b or 3?
3
Let a(r) = -r. Let p be a(-6). Let t be p + 0*(-1)/(-2). Is t bigger than 7?
False
Let t(k) = -k**2 - 1. Let f be t(1). Let v(h) = -h**3 + 2*h + 1. Let j be v(f). Suppose -3*l + j*l + 2 = 0. Which is bigger: -2/7 or l?
-2/7
Let a = -223 - -2451/11. Suppose -2*s - 15 = -s + 4*k, 5*k = -20. Is a equal to s?
False
Let k = 88 - 266/3. Suppose -2*q + 2*u = 3*q - 5, 3*q + 3*u + 18 = 0. Which is smaller: k or q?
q
Let s be ((-44)/42)/(4/36). Let l = s - -64/7. Let u = 3 - 4. Which is bigger: l or u?
l
Let t = 0.03 - 0.18. Let i = 0.06 + t. Are -0.2 and i nonequal?
True
Let v be 16/(-88) - 12/55. Which is smaller: -7 or v?
-7
Let d = -4 - 0. Let s be ((-3)/(-6))/(5/d). Let b be (1 - (3 + 1))*(-30)/(-45). Do s and b have different values?
True
Let v = -42 - -42. Is v >= 0?
True
Let t be -3 - -2 - (-6)/1. Suppose -s + t + 2 = 0. Let i = s - 3. Is -1 greater than or equal to i?
False
Let q = 1/87 + 161/1131. Let y = q - 4/13. Is y smaller than 1?
True
Let a be (1*-40)/(-1) + -2. Let f be 2/7 + a/14. Let m be (-10)/4*f/(-45). Is m < 2/9?
True
Let p = -12 + 7. Let 