-6)/4. Let z be 1/q - 3/9. Which is greater: z or -1?
z
Let g be (-2)/8 - 9/(-4). Let h = -4 - -3.9. Let i = h + 2.1. Do i and g have the same value?
True
Suppose 4*g + 397 = -27. Let c = 345/2 + g. Let z = 65 - c. Which is greater: z or -1?
-1
Let k(p) = 2*p**3 + 50*p**2 - 53*p - 27. Let q be k(-26). Let u(v) = -2*v + 6. Let d be u(4). Is q bigger than d?
True
Let i(d) = -d**2 + 3*d + 6. Let y be i(5). Let v = -1 - y. Is 3 smaller than v?
False
Suppose -4*y - 6 = -7*y. Suppose -2*d - 5 = -5*j, d + 4 + y = -j. Is -1/6 < j?
False
Let s = 4 - -4. Is 10 at most s?
False
Let h = 17 - 17. Let g = 53 - 533/10. Which is smaller: g or h?
g
Suppose 0 = 3*p + 3. Let j be (6/18)/(1/p). Which is smaller: j or 0?
j
Let y(o) = 2*o - 12. Let m be y(9). Does m = 6?
True
Let v be 2*(-236)/1064 - 4/(-14). Do 0 and v have the same value?
False
Let s = -14 - -13. Is s less than or equal to -2/89?
True
Let g be (-12)/4*(-4)/6. Let u be 2*(-4)/8 + g. Is u bigger than 1/21?
True
Let o = 1.4 - 21.4. Let b = o + 25. Is b smaller than 2?
False
Let h(p) = -2*p + 2. Let l be h(2). Let f = -4 - l. Let q(d) = -2*d - 3. Let g be q(f). Which is bigger: -4/9 or g?
g
Suppose 5*w = -3*g + 18, -4*g - 2*w + 1 = -3*w. Is g smaller than -1/8?
False
Suppose -o - 3 = -5*o - 5*k, 3*o = 3*k - 18. Let c be 6 + o - (4 + 0). Is c less than -1/9?
True
Let i = 34 + -32. Which is smaller: i or -1/7?
-1/7
Let l = -28 + 33. Let h be (0 - -1) + 2/(-4). Is h greater than l?
False
Let o = -11 + 11. Let t = 0.4 + -0.3. Is t at most as big as o?
False
Let d = -265 - -6096/23. Do d and 0 have the same value?
False
Let v be -2 - (-12*1 + -2). Suppose -z + v = -2*u + z, 2*u = -z. Let d = -8 + 7. Is u at most as big as d?
True
Let t = -0.07 - -1.07. Is 1/14 at least as big as t?
False
Let h = 3 + -2. Let x = -476 - -9038/19. Is x greater than or equal to h?
False
Suppose -5*t + 3 + 12 = 0. Let u be t + -1 + (-144)/78. Is -2 equal to u?
False
Suppose 3 = 4*p - 3*p. Let s = 5 - p. Let i be (s/(-10))/(2/(-15)). Is 3 != i?
True
Let a(n) = -n**2 - 2*n + 9. Let p be a(3). Suppose -2*d + 4*x = -x - 13, -3*d - 28 = 2*x. Is p at most as big as d?
True
Let i = -2.9 - -3.1. Is i smaller than -0.1?
False
Let b = 1.25 - 1.2. Does -1 = b?
False
Let x = -62 - -62. Suppose 3*i = 7*i + 8. Which is greater: i or x?
x
Let v(z) = z + 7. Let g be v(-10). Let i = -4 - g. Which is bigger: i or -6/7?
-6/7
Suppose -10 = -4*j + 10. Let h be -1*(-3)/((-6)/(-10)). Let n = j - h. Which is bigger: 2/5 or n?
2/5
Let c be 2/(-13) + (-824)/52. Let h = 29 + c. Which is smaller: 14 or h?
h
Let a = -6 + 5.9. Let i = 0 - a. Is i != -1?
True
Let a = 1 + -2. Suppose n + n = -192. Let h = -674/7 - n. Which is greater: a or h?
h
Let f be (3/(-6))/(1/(-6)). Let j(b) = b**3 + 3*b**2 + b. Let g be j(-1). Which is greater: f or g?
f
Let k = 7 + -13. Let j = 3 + k. Is j less than or equal to 1?
True
Suppose 3*x - y = 7*x + 11, 0 = 3*x - y + 3. Suppose -2*s = 3*g - 4*g + 2, 0 = -3*s - 9. Let i = x - g. Which is bigger: i or 3/2?
i
Let i(j) = j + 6. Let y be 52/(-6) + 7/(-21). Let g be i(y). Do -10/3 and g have the same value?
False
Let w be 4/3*3/(-2). Let o be w/(-3)*(-24)/(-80). Let q be 9/(-6)*(-2)/3. Is q < o?
False
Let y be (6/4)/(1/2). Let z = 4 - y. Which is greater: z or -1/4?
z
Suppose 3*h - 5 = -2. Let x = h + -1. Are x and -0.2 equal?
False
Let d(r) = -r**2 + r + 4. Let v be d(0). Let a = 5 + 0. Suppose -a = v*h - 1. Is h < -1?
False
Let i = -0.716 - -0.316. Let h = -2.92 + -0.08. Which is smaller: h or i?
h
Let a = 46 + -42. Which is smaller: 1 or a?
1
Let l be (-3)/6 - (-14)/96. Let b = 1/48 + l. Let g = 11 + -10.9. Which is greater: g or b?
g
Suppose -2*l - l - 3 = 0. Is 60 equal to l?
False
Let d(y) = -y**2 - 13. Let i be d(0). Let m = 9 + i. Is -4 smaller than m?
False
Suppose 43 = p - 5*p - 5*o, 17 = -p + 5*o. Which is bigger: p or -87/7?
p
Let z = 1/89 + -982/267. Is -4 at least z?
False
Let i(j) = -3*j - 8. Let k be i(-4). Is k less than or equal to 3?
False
Let k be ((-15)/9)/(1/(-3)). Suppose -u + k*h = -9, 58 = 4*u - 0*h + 2*h. Suppose u = 4*p + 6. Which is bigger: 3 or p?
3
Let v(l) = -3*l - 2. Let i be v(-3). Let c = -6 + i. Let y = 0.1 - 0.1. Which is greater: c or y?
c
Let o = 297 + -3859/13. Let u(r) = r**2 - 13*r - 14. Let i be u(14). Is o smaller than i?
False
Let d be 15/10 - 14/12. Is -1 < d?
True
Let y(z) = -z**3 - z**2 - z + 1. Let b be y(2). Which is greater: -12 or b?
-12
Let u be (2 + -1 + -2)/4. Are u and -1 nonequal?
True
Let g be 68/(-36) - (-4)/18. Which is smaller: 1 or g?
g
Suppose -33 + 1 = 2*w. Are -16 and w non-equal?
False
Let l be (5 - 7)*(-6)/(-3). Is l smaller than -4?
False
Let i = 1/248406 - -982197313/2732466. Let f = 360 - i. Which is greater: f or 1?
1
Suppose 0 = -4*t + 3*l + 3, -3*t - l - 5 = 4*l. Suppose -5*s + 5*r + 20 = t, 21 = 4*s - 5*r - 0*r. Is s greater than 1?
False
Let o = -19384/27 + 718. Which is greater: o or -0.2?
o
Let n(j) = -j**2 + j + 1. Let s(v) = -v**3 + 6*v**2 - 7*v - 18. Let o(m) = -6*n(m) - s(m). Let i be o(0). Which is smaller: 11 or i?
11
Suppose -1 - 10 = -i. Suppose -3*w + i = -1. Suppose 5 - 17 = w*h. Which is smaller: h or -4?
-4
Let v(m) be the third derivative of -m**5/60 + m**4/3 - m**3 - 3*m**2. Let r be v(7). Suppose -r - 5 = 3*q. Does -1 = q?
False
Let k = 0.16 + -0.04. Let t = k + -1.32. Let b = -1 - t. Is b at least -1?
True
Suppose -21 = -4*h - 1. Suppose 0 = w - 4*w + h*v - 5, -4*w - 3*v - 26 = 0. Is w smaller than -4?
True
Let y(s) = -2*s**2 - 5*s + 4. Let v be y(-4). Suppose 40 = -3*u - 3*r - r, -5*u = -5*r + 20. Is v equal to u?
True
Let j(m) be the first derivative of m**3/3 + 3*m**2 - 10*m - 3. Let r be j(-7). Which is smaller: -2 or r?
r
Suppose 0 = 4*i - 0*i + 32. Is i bigger than -6?
False
Let s = 162 - 70. Let h = s + -551/6. Is h < 0?
False
Let b be 2/3 - (-3)/(-6). Let a be (1 - (-18)/(-14)) + (-90)/126. Does b = a?
False
Suppose y = 3*y. Which is smaller: y or -2/17?
-2/17
Let a = -70.1 - -73. Let s = a + -2.7. Let t = -8 - -11. Which is smaller: t or s?
s
Let z = 7 - 5. Let y be 125/115 - (z - 1). Which is smaller: 1 or y?
y
Suppose h - 46 = -100. Is 1 less than h?
False
Suppose 4*h - 4*d + 10 = -5*d, d + 2 = 0. Let c be (-2)/4 + (-4 - -3). Is h smaller than c?
True
Let j(i) = -i**2 + 7*i + 5. Let n be j(8). Let m = -4 + 3. Are n and m nonequal?
True
Let i be ((-2)/2520)/((-5)/(-3729)). Let j = 3/350 + i. Let h = -5/4 - j. Is h equal to -1?
False
Let k be (-2 + 1)*(-1 + 2). Let g be k + (-2)/(0 - -1). Which is smaller: g or -4?
-4
Let k = 1.8 + -2.8. Let j = k + 2. Is 2 bigger than j?
True
Let h = 16 - 10. Is 5 >= h?
False
Let k be (((-6)/3)/114)/1. Let j = -2/57 + k. Which is smaller: -1 or j?
-1
Let a be (-56)/315 - (-4)/(-18). Which is greater: a or 0?
0
Suppose 4*h = -3*d + 32, 5*d = 3*h - 5*h + 30. Suppose 0 = -u - 3*w + 1, -2*u + 2*w + 4 = 6*w. Is d at most as big as u?
True
Let r be ((-4)/(-6))/(10/(-15)). Let o(p) = -p**3 + p**2 - 10. Let j be o(0). Let g be (-33)/(-45) + 4/j. Is g != r?
True
Suppose -4*u - 2 = 5*h + 9, -2*u + 14 = -4*h. Let l be (6/(-9))/((-2)/h). Let v be (11 + -7)/(-10*1). Is v at most l?
False
Suppose -24 = 2*y - 4*u, 0 = 5*y - u - 3*u + 42. Let w be 2/(-1) + 2 + -3. Let g be 1*w + y/(-3). Do 2 and g have the same value?
False
Let d = -2164/9 + 240. Which is smaller: d or 2?
d
Let r(h) = -2*h**2 + 3*h**2 - 5*h**2 + 4 + h**3 - h. Let z be r(4). Suppose m - 3*m - 10 = -5*v, 0 = -5*m. Is z at most as big as v?
True
Let x = -16/111 - -2/185. Is x greater than 1?
False
Let z be 1/4 + (-3)/9. Which is bigger: -1 or z?
z
Let f = 37 - 37.1. Is 5/4 less than f?
False
Let q(x) = x**3. Let s be q(0). Suppose s = -o - o. Suppose -d - 2 - 4 = o. Are -6 and d unequal?
False
Let a = 22 - 25. Is a >= 1?
False
Let n = -7 - -14. Is 2 equal to n?
False
Let w(a) = a**3 - 12*a**2. Let u be w(12). Which is smaller: u or 2?
u
Suppose -m + 0*o - 2*o = -2, -2*m - 2*o = -2. Let v be (-14)/6 - (m + -2). Is 0 < v?
False
Let c = 448/15 + -30. Let v be (2 - (-6)/(-2))*1. Is v < c?
True
Let j be (2 + 2)*(-3931)/91. Let k = 1093/13 + j. Let l = k + 89. Which is smaller: l or -0.01?
-0.01
Suppose -3 - 24 = 2*p + g, -2*p - 5*g = 7. Are -19 and p equal?
False
Suppose -j + 1 = -0. Let u(m) = -2*m + 20. Let z = 18 + -8. Let l be u(z). Are l and j