d*z. Is z at most 6?
True
Let o(m) be the first derivative of -m**3/3 - 6*m**2 + 57. Let k be o(-12). Which is greater: k or -1/101?
k
Suppose 3*o + 0*o - 54 = 0. Let r = o - 37. Is -20 greater than r?
False
Let v = -11.12 - -3.12. Let t = -0.2 - -0.23. Is t at least v?
True
Suppose 138 - 120 = -3*i. Let r be ((-1*2)/i)/(-8 - -9). Is 0 equal to r?
False
Let i be 6/2 + (-464)/592*3. Which is greater: i or 1?
1
Let m = -218 + 199. Which is bigger: m or -22?
m
Let q be (-8)/(-4) + -4 + 2 + -1. Which is smaller: q or -2/619?
q
Suppose -5*s = -0*s. Suppose 2*o + 3 + 9 = 5*x, -9 = -4*x + o. Is x less than s?
False
Suppose -879*a + 873*a - 6 = 0. Is a less than or equal to 9/56?
True
Suppose 7*v - 2*v + 5*t = -225, v = 2*t - 42. Let j be 22/v - 6/(-4). Which is bigger: -2/3 or j?
j
Suppose -p = p - 16. Suppose 0 = -3*w + p*w + 5. Which is greater: 3/8 or w?
3/8
Let p = -11 - -15. Let n be 24/10*p/(-8). Let v = -5 + 3. Which is bigger: n or v?
n
Let k = -20 - -8. Let c(g) = 6*g. Let p be c(-2). Are k and p equal?
True
Suppose 3*q + 1 = -t - 2, 0 = 2*t - 4*q - 4. Let x be 9/18 - (-30)/4. Let b be x/(-32) + 22/24. Is b != t?
True
Suppose -5*p - 40 = 4*m + 30, 0 = 3*m + 3*p + 51. Let o = -2 - -1.2. Let x = -1.8 - o. Which is smaller: m or x?
m
Suppose -3*d - q - 23 = 0, 0 = -3*d - 0*q + 4*q + 2. Which is greater: d or -16?
d
Suppose -5*x + 2*l + 10 = -0*x, 2*l = -4*x - 10. Let i be (2/39)/(-5 + (-26)/(-6)). Do x and i have different values?
True
Let d = 660 - 439. Suppose 8*u + d = -107. Is u >= -41?
True
Suppose 8 = -2*f + 2*g, 0*f + 2*f - 4*g + 16 = 0. Suppose 0*k + 508 = 2*k + 3*c, 3*c + 12 = f. Let s = k + -1810/7. Which is bigger: 0 or s?
s
Let h = 4 - -12. Suppose -4*t + 68 = h. Which is greater: 0 or t?
t
Suppose -3*p - 4*y - 1 = 2*p, 0 = -2*p + 3*y + 18. Suppose -p*i = -273 - 105. Let k be (-8)/i + 12/42. Which is smaller: 0 or k?
0
Let c = -9 + 10. Let u be c/(1/(-68)*-2). Suppose -w - 7 = z, -4*w - 3*z = -z + u. Which is greater: w or -9?
-9
Let k = 189.322 + -189.4. Which is greater: k or 1?
1
Let q = 0.138 + -0.328. Which is greater: q or -5/3?
q
Suppose 3*k = -2*k - 1850. Let u be 1 + -1 + (-12)/k. Let b = -1068/1295 - u. Is b not equal to -1?
True
Let d be (2 - 979/378) + (-1)/(-2). Let j = d + -1/189. Which is bigger: 1 or j?
1
Let b = -0.04 + 15.04. Let o = b + -15.11. Let h = o - -0.21. Do -3/8 and h have the same value?
False
Let x be (0/2)/(1 + 0). Suppose 3*t + 6 = -2*g, -t = -x*t - 3*g + 2. Which is greater: 11 or t?
11
Let m = -6 - -3. Let t be -8 - (-1 - (m - 0)). Let b(w) = w**3 + 10*w**2 + 1. Let s be b(t). Is s at least as big as 1/2?
True
Let z be (-27)/30 - 2/(-5). Let n = 1.11 - 46.11. Let b = n + 48. Which is smaller: z or b?
z
Let u = 15555/7 + -2227. Let w(l) = 2*l**2 + 8*l - 5. Let o be w(-4). Is o < u?
True
Let u be (-806)/(-8) + 10/40. Let a = u - 87. Are a and 16 equal?
False
Let r = 19244728 - 1212341888/63. Let u = -1206 + r. Is u smaller than 1?
True
Let z(j) = -2*j**2 + 17*j - 7. Suppose 42 = 5*s - y, -5*y = s + 3*s - 22. Let q be z(s). Let b be (-3)/9*(-54)/q. Do 16 and b have the same value?
False
Let h(g) = -23*g + 760. Let r be h(33). Which is smaller: r or -42/125?
-42/125
Let y be (3 - (-28)/(-8))/(1/(-2)). Is 33/14 >= y?
True
Let j = -0.59 + 0.681. Let l = -0.2021 + 0.2021. Which is smaller: l or j?
l
Let f = 338643/154 + -2199. Is -1 less than or equal to f?
True
Let x = -37 - -46. Let s = 8 - x. Let k = 3.5 + -3. Which is greater: k or s?
k
Let a(q) = 5*q + 123. Let k be a(22). Which is bigger: 238 or k?
238
Let m(y) = 8*y - 54. Let i be m(6). Let b be (2/((-88)/(-2)))/((-3)/i). Which is smaller: b or -1?
-1
Suppose -2*z - 51 + 17 = 0. Let h = z - 2. Which is smaller: h or -18?
h
Let h be (-4)/(-3) - 4/12. Let g be (-7 - -3) + 0/(-1). Let v = 4 + g. Which is smaller: v or h?
v
Let s be -3 + 3 + (1 - -2). Suppose -5*d + 8 = s. Suppose g - d = -5*v, -2*g - 1 = -2*v - 3. Which is bigger: -2/35 or g?
g
Suppose -2*f - 8 = -2. Let n(y) = 7*y**2 + 2*y + 6. Let l be n(f). Let h be (-2)/9 - (-140)/l. Is h less than or equal to -5?
False
Let h = 46 - 43. Suppose -h*o - 39 = 21. Which is bigger: -19 or o?
-19
Let m(d) = -2*d + 24. Let a be -6 - -18 - (-1 - -1). Let c be m(a). Is 3/7 equal to c?
False
Let x be 4/3 - (-2)/3. Suppose 0 = 2*t + 8, 0 = 4*f - x*t - 0*t - 12. Which is greater: f or 18/17?
18/17
Let i = -1673 - -1263. Is -0.2 at most i?
False
Let o be (3 + -2 + 0)*-3. Let f be (-1)/o*(15 + 0). Let y(c) = c**2 - 8*c - 2. Let v be y(8). Do v and f have different values?
True
Suppose c = 5*c - 112. Let h(x) = x**3 - 8*x**2 + 18*x - 7. Let p be h(6). Is c greater than p?
False
Let y = 476 - 462. Do y and 14 have different values?
False
Let h be (-3)/15 + (-3)/(-15)*-29. Suppose -4*y + 8*y + 20 = 0. Is h less than or equal to y?
True
Let o = 51 + -50. Let l be 45/((-2)/(-4*o/(-2))). Is l >= -45?
True
Let t be ((-2)/5)/((-1)/(-35)). Let w = t + 19. Suppose 2*p = 3*d - 15, -w*p + d - 2 = 16. Is -8/5 at most as big as p?
False
Let f = -0.01 - -6.01. Suppose -i + 5*c - c = -64, -c - 196 = -4*i. Let r be (-3)/i*-2*2. Which is smaller: r or f?
r
Let i be 9/(-18)*(0 + -44). Let o = i - 18. Is o < 0?
False
Let p = 99.767 + -0.767. Is 2/13 > p?
False
Suppose -l = 2*s - 11, -4*s + 2*l = l - 19. Which is smaller: s or 97/20?
97/20
Let x be (-2)/26 + (-11620)/2730. Is x not equal to 0.2?
True
Let s(y) = -29*y + 176. Let k be s(6). Which is smaller: k or -2/5?
-2/5
Let b(i) = -3*i. Let v be (-2)/(-5) - 24/10. Let x be b(v). Let r be (8/(-8))/(1/x). Which is smaller: r or -7?
-7
Suppose -5*a = -2*a - 12. Let d(z) = 8*z - 35. Let m(r) = 3*r - 12. Let g(p) = -4*d(p) + 11*m(p). Let o be g(-6). Is o less than or equal to a?
True
Suppose -7*o - 5 + 26 = 0. Suppose 0 = -o*r - 12, 4*h - 2*r + 12 = -0*r. Is h > 1?
False
Let b = 3 + -6. Which is bigger: b or -0.6?
-0.6
Let u = -0.3 - -1.3. Let o be 8/2 + ((-225)/(-4))/(-15). Are o and u non-equal?
True
Let u(g) = g**3 - g**2 - 1. Let q(k) = 7*k**3 - 40*k**2 + 34*k - 50. Let m(l) = q(l) - 6*u(l). Let r be m(33). Which is smaller: r or -8?
r
Let t be 17 + (2 - (-4)/4). Let j be t/32 + (-3)/8. Is 2 less than j?
False
Let b = 82334/9 + -9138. Is 11 <= b?
False
Let g = 38.37 - 2.37. Are -2/7 and g unequal?
True
Let f = 10 + -8. Suppose -3*q + 3*a + 4 = 8*a, f*q + 3*a = 3. Suppose -q*b - 2*j + 27 = 6, 12 = 4*j. Which is smaller: b or 17/4?
17/4
Suppose -100 = -22*k + 12*k. Let t(n) = -n + 5. Let u be t(-6). Which is bigger: u or k?
u
Let l be (-15)/6*32/(-20). Let b be (0 - 2) + l + -2. Suppose -2*f + 2 = -b. Which is smaller: f or 1/3?
1/3
Let c = -910 + 408. Does -500 = c?
False
Let v be -17 + -2 + (8 - 4). Which is smaller: 0 or v?
v
Let v be 920/(-22) + 32/(-176). Let h = v + 40. Is h smaller than -3?
False
Let g = 0.253 + -0.4. Which is greater: g or -1?
g
Let f = -109 + 112. Suppose -5*t + 205 = 3*h, -5*t + 2*h + 202 = -f. Is t at least as big as 39?
True
Let h be (16/(-6))/8*18. Let g be (2/h)/(6/(-4) + 1). Which is smaller: g or 0.2?
0.2
Let p(s) = -s**2 + 2*s - 2. Let x be p(4). Let o = -6 + 3. Let g be (-2)/o - (-116)/(-12). Which is greater: g or x?
g
Let s(b) = -18*b**2 - 2*b - 1. Let w be s(-1). Let i = w - -835/49. Suppose 15 = 5*h + 5*z, 2*h + 4*z - 5*z + 3 = 0. Is h bigger than i?
False
Let y = 15.25 + 7.75. Which is bigger: y or 1/22?
y
Let i(b) = -3*b**3 - 3*b**2 - 3*b. Let c be i(-3). Let r be (c/4)/(-3) - 1. Let a be -5*49/(-35)*-1. Is a at most r?
True
Suppose 7 = 6*x - 5. Suppose 4*r - 32 = -0*r. Suppose 6*z + 16 = 4*z + 4*h, -4*z - r = -x*h. Which is smaller: z or -1/15?
-1/15
Suppose 0 = 5*b - 15 - 0. Let f be b/9 - 11550/34542. Let a = f + 3896/55651. Is a smaller than 1?
True
Let k(q) be the first derivative of -q**4/4 + 2*q**3 - 6*q**2 + 30*q - 10. Let g be k(5). Let m = 8 + -13. Is m <= g?
True
Let r be 95/(-57) + 122/(-6). Which is smaller: r or -65/3?
r
Suppose 0 = 4*o - 8, 3*t + 4*o = 2*t + 13. Let n(c) = 3*c**2 - 6*c + c**3 + 3*c - 1 - 3. Let f be n(-3). Is t at least as big as f?
True
Let r(j) = j**2 + 6*j - 8. Let m be r(-10). Suppose 2*g = m - 200. Let x be g/(-49) + (-4)/2. Which is bigger: 0.13 or x?
0.13
Let b(p) = p**3 - 20*p**2 + 23*p - 35. Let o(v) = 6*v**3 - 99*v**2 + 116*v - 176. Let u(d) = 11*b(d) - 2*o(d). Let r be u(-23). Is 11 equal to r?
F