x) = -x - 4. Let k be c(-8). Let t = k - 6. Which is greater: -0.6 or t?
-0.6
Suppose -7*a + 48 = -3*a. Suppose 0 = -i - i + a. Suppose 8*c = 12*c - 20. Which is greater: i or c?
i
Let p = 16121/4 - 103695/28. Let s = 328 - p. Is 2 at most as big as s?
False
Let h(k) = -37*k**3 - 2*k + 6. Let f be h(-2). Are f and 0 equal?
False
Let s(q) = -24*q**2 - 11*q + 26. Let g be s(2). Does -91 = g?
False
Let h(c) be the third derivative of c**6/120 - c**5/30 + c**4/8 - c**3/3 + 11*c**2. Let t be h(2). Suppose 8*y - 10*y = t. Is y greater than 0?
False
Let z(y) = -y**2 - 11*y + 12. Let p be z(-17). Let v = 87 + p. Are -3 and v nonequal?
False
Suppose 4*g + 26 - 98 = 0. Let y be 3/(-2)*(-168)/g. Let l be y/25 + 21/(-35). Which is bigger: l or 1?
1
Suppose 0 = 3*g + 2*s - 41, 2*g = 7*g - s - 51. Is 14 at least g?
True
Let m(a) = -a**3 - 6*a**2 - 5*a - 2. Let h(w) = -w**2 - 3*w - 1. Let g be h(-4). Let d be m(g). Let u be 0/d - (-7)/(-1). Which is greater: -8 or u?
u
Suppose -14*v + 7*v = -4*v. Suppose 0 = -7*x - v*x + 2*x. Which is greater: x or 2/47?
2/47
Suppose -5*i - 497 = -2*x, -8*i = -7*i - 4*x + 85. Which is smaller: -102 or i?
-102
Let a be 10/(-30) + ((-104)/255 - 1). Let y = a - -16/17. Is y != 2/5?
True
Suppose 0 = 21*u - 11*u + 400. Which is bigger: u or 7?
7
Let n(c) = -2*c**2 - 6*c. Let q be n(0). Suppose q = -6*o + 10*o - 4. Which is bigger: o or -1/2?
o
Let j = -185/819 + -10/63. Is j less than or equal to 0?
True
Suppose -32*n = -24*n - 720. Which is smaller: n or 84?
84
Let n = -175 + 2627/15. Let q = -0.17 + -1.73. Let g = q + 2. Which is bigger: n or g?
n
Suppose 0 = -198*v + 201*v - 462. Which is smaller: v or 157?
v
Let o be 18*(-15)/10 + -1. Which is bigger: o or -25?
-25
Let i = -194473/46 - -4228. Which is smaller: -1 or i?
-1
Let n = 67 - 67. Is -1/122 at most as big as n?
True
Let n = -2195.8871 + 2196. Does n = 1?
False
Let w be (-335)/50 + (-2)/4. Let u = -601/80 - w. Which is bigger: u or 0?
0
Let d = -8 - -8. Suppose 4*h + 0*j + 8 = -4*j, -3*j = 15. Let q be (2/10)/(h/(-30)*-5). Is d at most q?
True
Let p(v) = v**2 + 8*v - 292. Let n be p(-24). Is 91 at least as big as n?
False
Let s be -7*-2*9/(-21). Let v = -3 - s. Suppose v*x = x. Is x less than 2/29?
True
Let t = 25 - 22. Let s be -3 + ((-140)/(-24) - t). Let d be 6/3 - (-3 + 6). Which is bigger: d or s?
s
Let n be 12/(-20)*4/(-66). Let a = -7/11 + n. Let b = 4 + -3. Which is smaller: b or a?
a
Let k(n) = -n**2 + 7*n + 9. Let j be k(-10). Let o = -1291/8 - j. Let m = -1 + 0. Which is smaller: m or o?
m
Suppose 5 = -0*g + 3*g - f, -3*f - 6 = 0. Let o = 6 - 6. Let r be (0 - o) + (-1)/7. Which is smaller: g or r?
r
Let l be ((-234)/(-182))/(5/35). Let y be (-8)/(-70) + 2/(-5). Does l = y?
False
Let k(a) = -10*a**3 - a**2. Let y be k(1). Let x(w) = w**2 + 11*w - 2. Let z be x(y). Let h be (-15)/10*(-4 - z). Is h >= 4?
False
Let x(o) = o + 1. Let q(j) = -j**2 + 3*j + 1. Let g(p) = q(p) - 4*x(p). Let n be g(0). Which is smaller: n or 2/3?
n
Suppose 0 = 2*z + 2*z - 252. Let w = z + -68. Which is greater: -6 or w?
w
Let b = -52218/1649 + -1/4947. Which is smaller: b or -31?
b
Let q = 28 + -29. Let h be 0 + 3 + q - -5. Suppose -2*p + 3*v - 3 = 0, 4*p + v = -p + 35. Which is smaller: p or h?
p
Let n be 4 + -39*6/63. Let p(k) = -k - 1. Let o be p(0). Which is smaller: n or o?
o
Let g(t) = -t**2 - 12*t + 6. Let b be g(-14). Let n be -3*(3/2)/(b - -13). Does n = 1/2?
True
Let s(l) = l + 3. Let b be s(-3). Suppose -3*g - 3*k = 18, 8 + 1 = -5*g + 2*k. Let q be g*(1 + 44/(-36)). Which is smaller: q or b?
b
Let v = 0.073 + -3.373. Let t = v + -11.7. Let c = -18 - t. Which is smaller: c or 2/3?
c
Suppose 8*q + 33 - 1 = 0. Is q equal to 36/7?
False
Let b(m) be the second derivative of m**3/6 - 9*m**2/2 + 5*m. Let l be b(5). Suppose 5 = 2*n - y + 16, 0 = 2*n + y + 5. Are l and n unequal?
False
Let i = -58 + 231/4. Suppose 0*f - y - 7 = 2*f, -4*y + 12 = 0. Let p be (9/15)/((-4)/f). Which is smaller: i or p?
i
Let b be (-1 - (-375)/258) + 7/(-14). Let r = b + -33/215. Let h = -1.8 - -2. Which is bigger: r or h?
h
Suppose -6 = -28*r + 34*r. Let i be r/(-4) + (-2 - 260/(-112)). Which is bigger: 1 or i?
1
Suppose 3*t - 3*w + 99 = 0, 4*w = -t + 3*t + 76. Let m = -23 - t. Is 8 less than or equal to m?
False
Let d be (34/4)/(60/(-8) + 7). Is -7 smaller than d?
False
Let m = 39.046 - 0.046. Let n = -194 - -193.8. Which is greater: m or n?
m
Let v = 155.9 + -156. Are v and 1/6 non-equal?
True
Suppose 87*d = -4*w + 89*d - 2, d - 1 = 0. Let x = 6763/296 + -183/8. Are w and x equal?
False
Let c be ((-219)/6424)/(25/(-12) + 2). Which is bigger: 1 or c?
1
Let t be (-2)/3 + (-4)/(168/(-3286)). Let r = t - 78. Which is smaller: r or 1?
r
Let p(h) = -h**2 + h + 35. Let n be p(-5). Suppose n*s = -2*m + 18, -13 = 5*m - 0*s - 2*s. Does 5 = m?
False
Suppose 0 = 2*s - 2*d + 296, -11*s + 4*d + 608 = -15*s. Is s greater than or equal to -150?
True
Suppose -2*z - 3*z + 210 = 0. Let r be z/(-8) - (-12)/48. Is r equal to -4?
False
Let w = -6247.7 - -6248. Let s = 0.31 - 0.3. Which is smaller: s or w?
s
Let m = -10 - -5. Let r = -63 + 14. Let d be (-6)/27 + r/9. Is d greater than m?
False
Let s(o) = 3*o - 36. Let g be s(-8). Let h be 6/4*g/99. Is h <= 0?
True
Suppose 12*x + 28 = 10*x. Let z be 9 - -1 - x/14. Suppose 3*b + 2*g + 2*g - 36 = 0, 0 = b + 3*g - 12. Which is smaller: z or b?
z
Suppose 3*n + 16 = -u, 2 + 30 = -2*u - 4*n. Are u and -205/14 equal?
False
Let g be 66/(-88) + -2*1/8. Which is bigger: -7/29 or g?
-7/29
Suppose 16 - 1 = 5*i. Let g be 0 + 6/(-36)*i. Which is bigger: 44 or g?
44
Suppose 32 = 12*h - 64. Let f be h/10*75/10. Are 8 and f nonequal?
True
Suppose 5*w = -246 + 61. Let x = 38 + w. Is 10/9 greater than x?
True
Suppose -p - 193 = -3*l, 4*l - 3*l - 563 = 3*p. Is p at most as big as -186?
True
Suppose -7 = 6*k - 205. Let h = 33 - k. Which is bigger: -10/7 or h?
h
Let x = -41 + 77. Let j = 466 + -432. Is j at least as big as x?
False
Let x = 10/417 - 692/40449. Let r = 608/3783 - x. Let f be (-1 - (8 + -3))*(-1)/(-3). Which is greater: f or r?
r
Let d be (3 + (-15)/(-12))/((-10)/(-25)). Are d and 11 nonequal?
True
Suppose -121*r = -151*r. Is r <= 2/1193?
True
Suppose 5*y + 84 = -4*s - 171, y + 4*s = -67. Are y and -46 nonequal?
True
Let p = -9 - -16. Let l = 97 - 98. Is l at least p?
False
Suppose 4*g + 0 = 2*j - 96, -2*g - 48 = 4*j. Let w = 1248 + -2447/2. Let d = g + w. Which is smaller: d or 2?
d
Let l = 16 + -11. Which is smaller: l or 3?
3
Suppose -9 = 6*u - 3*u. Let j be (((-18)/(-12))/u)/(14/4). Does 2/7 = j?
False
Let o be ((5 - 0) + -5)/3. Which is greater: o or -1422?
o
Let g = 234 + -12. Does 220 = g?
False
Let h(q) = -q**3 + 2*q**2 - 2*q + 2. Let l be h(2). Let k(a) = 66*a - 480. Let g be k(7). Is l equal to g?
False
Let t be 21/322*(-159118)/9. Let j = t - -1153. Suppose -16*c = -23*c - 7. Does c = j?
False
Let s be 3*14/(-315) + 2/(-10). Let v = 3 - 4. Does v = s?
False
Suppose 5*c - 3*b + 35 = 6*c, -4*c + 3*b = -110. Which is smaller: c or 25?
25
Let f = 0.634 + -0.49. Is -1 < f?
True
Let n = -202 - -21. Is n greater than or equal to -906/5?
True
Let d = 4301/7 - 614. Are d and 5 unequal?
True
Let t(i) = -57*i - 607. Let j be t(-12). Is j less than or equal to -12?
False
Let i = 0.237 + -0.297. Suppose 3*j = -6 - 9. Is j smaller than i?
True
Let v = 204 - 203.9. Which is bigger: 1/11 or v?
v
Let g be ((-6)/51)/(16/(-136)). Does 18 = g?
False
Let w be 1*6587/(-715) - 1. Let j = w - -112/11. Let m = 11786 + -11785. Which is greater: j or m?
m
Let j = -44 + 44. Is j greater than -3/137?
True
Suppose 0 = 4*l - 16 - 28. Suppose 16 + l = 4*k - 3*b, -5*b = 25. Suppose -d = k*i - 5, 0*i - 3 = -2*i - d. Is 5/2 <= i?
False
Suppose -46 = -4*u + 18. Let q be 3 - 2/u - 2. Let g = 1 - -1. Is g at least as big as q?
True
Suppose 900*g = 909*g + 576. Which is greater: g or -314/5?
-314/5
Suppose -4*i = t - 3, 0 = -0*i - 3*i - 4*t + 12. Suppose i = 2*j + 2*j + 28. Which is smaller: -5 or j?
j
Let t = 0 + 6. Suppose 0*m - 2*m = -t. Suppose -1 = m*v + 2. Are v and -3/7 non-equal?
True
Let p be (-1 - -2)*(-1 - -1). Suppose p = 6*o - 7*o. Let c be o/3*(-1)/(-2). Is c bigger than -4/9?
True
Let q be 78/(-18) + (-7)/(-3). Let z(l) = l**2 - 6*l + 5. Let a be z(5). Let w = -1 + a. Is w at least q?
True
