r) = -r - 1. Let s(f) = f + 1. Let u(g) = 4*s(g) + 5*t(g). Let w be u(0). Let k = -21 - -25. Which is greater: k or w?
k
Suppose 2*a + 88 = -2*g, g - 2 = 3*g. Is a greater than -46?
True
Let a(g) = -g**3 + 3*g**2 - 8*g - 26. Let k be a(-2). Let v = -6 - 2. Let w be 10/8*v/(-20). Which is bigger: k or w?
k
Suppose 4 = v - 0. Suppose -b - 46 = 3*x, v*b + 145 = -x + 5. Let c = -36 - b. Which is bigger: c or 10?
10
Let m = 48 + 15. Let i = -62.7 + m. Which is smaller: -0.1 or i?
-0.1
Let i(j) = j**3 - 8*j**2 + 10*j - 7. Let h(z) be the third derivative of z**5/20 - z**4/12 - z**3/6 - 6*z**2. Let q be h(2). Let m be i(q). Is m <= 13?
False
Let d = -275 - -273. Which is bigger: -27/17 or d?
-27/17
Let n(k) = -k**2 + 9*k - 7. Let z be n(8). Let t(h) = -1. Let a(c) = -c + 3. Let y(x) = z*t(x) - a(x). Let b be y(5). Which is smaller: 1/6 or b?
1/6
Suppose 0 = -11*p + 7*p + 16. Let g(a) = -a**2 + 8*a - 4. Let r be g(7). Suppose -r*k + 20 = k. Does k = p?
False
Let i be -49 + (2 + -2)/1. Let s = 44 + i. Let c be -7 + -2 + 2 + 1. Which is smaller: c or s?
c
Suppose 0 = 2*t + 3*t. Let d be ((-105)/(-36) - t) + -2. Let n = 5/4 - d. Which is smaller: 8 or n?
n
Let r be 8/39*(-27)/(-12)*-1. Are r and 0 unequal?
True
Suppose 22 = 3*q - 26. Suppose 12*s - q*s = 4. Let x be -1 - (-28)/20 - 1. Which is smaller: s or x?
s
Let t(r) = 30*r**2 + 3*r + 3. Let w be t(-2). Let y = -22 + 24. Let u be w/(-12) - y*-2. Is u greater than -7?
True
Let j = -44/3 + 14. Suppose 2*n = 7*n. Suppose n = -k - 4 + 2. Is k smaller than j?
True
Let y(i) = -i**3 + i - 4. Let c be y(0). Let l(g) = 2*g**2 + 9*g + 5. Let x be l(c). Which is greater: 3/25 or x?
x
Suppose 20 = 2*m + 2*m, 3*n - 11 = -m. Suppose n*i - 7*i + 3*o = -83, -3*o - 64 = -4*i. Let t be 22/33 - i/6. Is -4 at most t?
True
Let s = 809/2 - 245123/606. Let g be (1 + -3 + 3)/(-1). Which is smaller: s or g?
g
Suppose 309*o - 319*o + 7070 = 0. Are 707 and o nonequal?
False
Let v be ((-12)/(-3) - 477/114)*-1531. Let r = 282 - v. Which is smaller: 0 or r?
r
Let w be 15/2*(-12)/(-15). Let p be (w + 0)*(0 - 1/2). Which is bigger: 1/2 or p?
1/2
Let u = -3 + 0. Let r = 2.85 + u. Let o = 0.09 + r. Which is smaller: o or -2/7?
-2/7
Let n = -117.8 + 93. Let l = -0.027 - 24.973. Let s = l - n. Is s at most 4?
True
Suppose -3*v + v - 23 = -3*r, -2*r + 10 = 4*v. Let o = -49 + 49. Suppose 2*w + o*p = -p + 9, -12 = -w + p. Is w at least r?
True
Let q be (-8)/(-14) - ((-4968)/210)/2. Which is smaller: q or 11?
11
Let u = -22795/8 - -2845. Is -4 >= u?
True
Let g be (-7 - -1)/((-6)/8). Let p be (g/10 + -2)*-5. Suppose o + o = 4*y - p, 9 = 2*y - 3*o. Is 0 not equal to y?
False
Let p = -17 - -35/2. Suppose -60 = -9*z + 14*z. Let k be 8/(-6) - 2/z. Are p and k equal?
False
Let k(j) = -2*j**3 + 28*j**2 - 2*j + 4. Let s be k(14). Which is greater: s or -0.03?
-0.03
Let w = 0.059 + 5.941. Is 0 >= w?
False
Let r(k) = 4*k**2 - 1. Let c be r(-2). Let j = 1496 - 1481. Is c smaller than j?
False
Let t = 6 + -2. Suppose -5*r + 31 = -3*z, t*z - 2*r + 13 = -r. Let i = z - 3. Is i at least as big as -5?
True
Let i be 4/(-28) + (-16)/(-14). Let r(l) = 3*l**3 + l. Let q be r(1). Suppose 13 = q*n - 0*c - c, -3*c = -2*n + 9. Which is greater: n or i?
n
Suppose -6*q - 3*q + 45 = 0. Let x be (-148)/38 + q + -1. Is x greater than 1?
False
Let d(b) = b**2 + 2*b. Let o be d(-3). Let i be (-6)/(o + -5) - 3. Which is smaller: i or 7/8?
i
Let a = 279 - 133. Let w be (-108)/81*(-3)/a. Is -0.2 < w?
True
Suppose 0 = 2*t + 5*k - 31, 5*t - 48 = 4*t + 4*k. Suppose 3*p - 13 = -2*s + 87, -10 = -p + 4*s. Which is smaller: p or t?
t
Let n(y) = -y**2 + y. Suppose 9*v - 3*v = 0. Let b be n(v). Which is smaller: -3 or b?
-3
Let p(v) = -v**3 + 3*v**2 + 3. Let c be p(3). Let g be (32 + -8)/(c/4). Suppose -2*q + 4*f - g = 0, -3*q - 3*f - 8 = -f. Is q > -6?
False
Let z be (-1084)/(-3) + (4 - 10/3). Is 362 equal to z?
True
Let h = 168 + -166. Let x = 0.37 + -0.12. Which is smaller: x or h?
x
Let p(u) = u**2 + 6*u. Let h(z) = 8*z. Let v be h(3). Suppose q - v = 5*q. Let y be p(q). Which is greater: -2/13 or y?
y
Let z(w) = w**3 - 6*w**2 + 5*w + 6. Let v be z(5). Suppose -8 - 76 = v*k. Let i be ((-1)/(-2))/(7/k). Which is bigger: i or -11/5?
i
Let z = -1137 + 1192. Is 10 > z?
False
Let t = -32764 + 95605/3. Let l = t + 887. Let b = -80/9 - l. Is b not equal to 0?
True
Suppose -r + f + 4*f + 55 = 0, 0 = 5*r + 2*f - 140. Suppose 0 = -2*w - 26 - r. Let q be 8/476*w/(-12). Which is bigger: -1 or q?
q
Let i(f) be the second derivative of -f**3/6 - 5*f**2 + 9*f. Let v be i(11). Do v and -1 have the same value?
False
Let h = 40 - -8. Is h <= 3?
False
Let k(a) = a**2 + 51*a + 8. Let n be k(-58). Which is smaller: 412 or n?
412
Suppose 87*u = 30*u - 855. Let o be 3/(3/(-16)) + 1. Is o at most as big as u?
True
Suppose 4*l - 6*l = d + 1920, -16 = 4*l. Which is bigger: d or -1913?
d
Suppose -o + 4 = -0*o + 3*k, 3*o - 5*k = 40. Let w = 29 - 25. Suppose -m - m + w = -4*s, 4*m + 4*s + 4 = 0. Are o and m equal?
False
Let i(d) = 8*d - 136. Let r be i(16). Is 5 at most r?
False
Let s(v) = v**3 + 8*v**2 - 11*v - 10. Let h be s(-13). Let r = h + 32038/45. Is 1 less than r?
False
Suppose 4*h + k = 17 + 31, -23 = -h - 3*k. Is h at most as big as 11?
True
Let t = -12.89 + 12.59. Let z = -1.6 - 0.4. Which is smaller: z or t?
z
Let s(g) = g**3 - 3*g**2 + 4*g - 3. Let o be s(3). Let x = o + -9. Suppose -2*z - 13 = 3*q - x*q, q = 4*z - 9. Is 0 bigger than z?
False
Let g = -2022322/553 + 3657. Let a = g - 947/553. Which is smaller: -3 or a?
-3
Suppose 9*h - 14 + 23 = 0. Is -4/115 at least as big as h?
True
Let v = 707/92 + -10/23. Let s = -153/20 + v. Is -2/7 at least s?
True
Let s(i) = -i + 3. Let y(z) be the third derivative of z**4/24 + z**3/6 + z**2. Let k(a) = -s(a) - 2*y(a). Let g be k(-8). Is g equal to 3?
True
Let z(m) = m + 4. Let r be z(-3). Let g be -1 + -1 - 2684/(-1353). Which is greater: r or g?
r
Let g(w) = -w**3 + 21*w**2 - 19*w - 17. Let d be g(20). Suppose -d = -3*q - i - 4*i, -4*q - 3*i + 4 = 0. Is 7/15 != q?
True
Let y(m) = m**2 - m + 20. Let s be y(-6). Let z = -59 + s. Let k be 4 + -1*(1 - 0). Is k smaller than z?
False
Let w be (-407)/(-7) + (328/56 - 6). Is 59 != w?
True
Let r(m) = m**2 - 9*m - 1. Let b be r(10). Let c be 4*((-2 - -3) + 2). Suppose -4*g - g - 2*p = -39, 4*p = -c. Is g at least as big as b?
True
Let g be 96/128*35/(-150). Does 0 = g?
False
Suppose 4*r = 2*t - 12, -t - 19 + 4 = 5*r. Suppose -q = -3*x - 22, 7*q = -x + 3*q + 10. Let j = -6 - x. Is t smaller than j?
False
Let g = 56.6 - 57. Is g at least -11?
True
Let t = -684 - -679. Which is bigger: -7 or t?
t
Suppose -m - 20*t = -21*t + 1, -5*m - 3*t = -3. Suppose -2*i + 2 = -4*q, -q = -3*q + 2. Which is smaller: i or m?
m
Suppose 2*q - 4*q - 52 = -4*m, -3*q + 2*m - 82 = 0. Let a(u) = u**3 + 4*u**2 - 7*u + 1. Let g be a(-6). Is g != q?
True
Let r(j) = j - 9. Let c be r(11). Let d = 16/27 - -148/297. Is c smaller than d?
False
Let r(w) = -w**3 - 12*w**2 - 11*w + 16. Let i be r(-11). Let c be ((-12)/(-72))/(i/6). Let v be -2*2/(-14) + 9/(-7). Is c bigger than v?
True
Suppose -2*y = t, -t - 10 = -4*t - y. Let w = 3 - t. Which is bigger: w or 13/2?
13/2
Let v(z) = -z**2 + z - 2. Let r be v(-3). Suppose -f + 2*f - 6 = 0. Let w be 56/f*(-12)/8. Is w less than or equal to r?
True
Suppose d + 17 = -4*h, 2*h + 4*d - 9 = 7*d. Let y be h*(6/(-9) + 1). Let j = -29900/21 - -1424. Which is smaller: y or j?
y
Suppose 0*p - 4*p = -112. Suppose -40 = -v + 4*h, 5*h = -24 + 9. Let s = v - p. Which is smaller: s or -4/29?
-4/29
Let a be (-1 - 39/(-30))*4/(-384). Let l = a - -1441/320. Is 5 smaller than l?
False
Let n be (-12 - -20)/(382/1). Let p = -442/2865 + n. Suppose -1 + 0 = -z. Which is smaller: z or p?
p
Let o = -90 + 89. Which is greater: o or -7/4?
o
Let t(q) = -16*q + 38. Let b be t(2). Let x(d) = d**2. Let h(k) = k**3 - 7*k**2 - k - 6. Let y(l) = -h(l) - x(l). Let z be y(b). Is z greater than 13?
False
Let i = -2678267/765 - -3501. Which is bigger: i or 0?
0
Suppose 3*v = -0*v + 9. Suppose 2*q - 4*h + v*h + 1 = 0, 4*q - 4*h = -4. Suppose -2*j - j + 21 = q. Which is smaller: 6 or j?
6
Suppose -416*o + 413*o + 27 = 0. Let p(u) = 0*u**2 + 0*u + 5*u + u**2 + 3. Let l be p(-6). Is o bigger than l?
False
Let z = 187 + -132. Is 58 less t