 1)*-3. Is -4 smaller than a?
True
Let x be ((-36)/(-16))/((-2)/24). Is x greater than -25?
False
Let z(v) = -v**3 - v**2 + 1. Let m be z(0). Suppose -m = -3*g + 2*g. Suppose 2*n + 3 = 3*w - n, 5*n - 9 = -2*w. Which is smaller: g or w?
g
Let a = -7475/12 + 624. Which is smaller: a or 0?
0
Let j = -1117 - -1111.01. Let p = 6 + j. Let x = -0.01 + p. Do x and 1 have different values?
True
Let t(r) = -r**3 + r + 8. Let z be t(0). Suppose -z*u - 28 = -4*u. Which is greater: -8 or u?
u
Let r = -58.16 + 58. Are 1/4 and r equal?
False
Suppose -r + 4*h + 12 = 0, -2*h - 13 = -r + h. Suppose 3*w = -11 - r. Is w less than or equal to -2?
True
Suppose r = 5*r - 3*b - 2, -b + 12 = 5*r. Suppose -r*p = -5*p + 12. Let k = 13/3 - p. Do k and -1 have different values?
True
Suppose 2*n = -0*n - 2. Let z(j) = -j**2 - j - 1. Let k be z(0). Let c be k/3 - (-16)/(-6). Is n less than c?
False
Suppose 0 = b - 3*b. Which is smaller: b or -2/43?
-2/43
Let z be 0 + 0 + 2/1. Let m be 0/((1 - 2) + z). Which is smaller: -1 or m?
-1
Let k be 3/(-6)*0*1. Suppose -10 - 6 = 4*r, 5*p + 2*r + 18 = 0. Let t be (k + -2)*p/4. Is t < 3/8?
False
Let o = -0.4 + 0. Let m = 0.3 + o. Let i = 2.9 - 3. Is m at least as big as i?
True
Let n = -6.4 - -8. Let o = n + -2. Let b = 141 - 141. Does b = o?
False
Let z = 1 + -2. Let r be (-6)/(-9)*6/(-4). Let q = 0 + r. Is z equal to q?
True
Let n be 4/8*-8*-1. Let d = -47 - -70. Suppose 3*s + 2*i + 2*i - d = 0, 3*s - 4*i - 7 = 0. Which is greater: n or s?
s
Suppose -g = -2 - 7. Let d = -4 + 6. Let z be (g/6)/(d/(-4)). Which is bigger: z or -2?
-2
Suppose 0 = 2*r - 2*d + 6, 3*r + 2*d = 4*d - 4. Let q = -411.9 + 387. Let a = -25 - q. Which is smaller: r or a?
a
Let x be (-6 + 5)*(-2)/(-2) - -13. Is x not equal to 13?
True
Let m = 101 - 99. Let a = -886 - -5339/6. Let p = a - 4/3. Is p <= m?
False
Let u(r) = r**2 - 5*r + 6. Let c be u(3). Which is smaller: 1 or c?
c
Let s = -2 + 1.9. Let d = -1.97 + -0.03. Let b = d + 6. Which is bigger: s or b?
b
Let d be 1/(-2) + 2 + -1. Is 0 equal to d?
False
Let o = 7 - -3. Suppose 3*p = 2*s + 10, -o = 4*s - 2*p + p. Let n = -3 - s. Which is smaller: -2/13 or n?
n
Let h = -1 + 1. Let g = 0 + h. Let n = -1 - -3. Which is greater: n or g?
n
Suppose 0*n + 3 = 3*n - 4*r, 4*n - 3*r - 11 = 0. Suppose 43 = 5*o - 2*f, 2*o = o - 3*f - n. Let l be (-9)/o + -1 + 2. Which is smaller: -1 or l?
-1
Let x = -4 + 2. Let a be (-43)/(-28) + (-4)/14 - 2. Which is bigger: a or x?
a
Let i(n) = n**3. Let s be i(-1). Let a = -61/4 + 15. Is a equal to s?
False
Let c(w) = w**2 - 7*w + 2. Let y be c(4). Let o = 11 - 21. Is y at most as big as o?
True
Let g be (1/(-2))/(205/(-10)). Is 0 >= g?
False
Let h(q) = 7*q**2 - 2*q - 2. Let z(b) = 15*b**2 - 5*b - 5. Let d(f) = -13*h(f) + 6*z(f). Let y be d(-4). Let l be ((-2)/y)/((-3)/(-2)). Is 1 <= l?
False
Suppose 6*b - 8 = 2*b. Suppose 4*k - 15 = k, -4*g = 2*k - b. Which is smaller: -3 or g?
-3
Let p(z) = z**3 + 15*z**2 - 9*z + 7. Let w(s) = -3*s**3 - 44*s**2 + 27*s - 21. Let y(c) = -17*p(c) - 6*w(c). Let o be y(-10). Which is smaller: -4 or o?
-4
Let b = -1.33 + 0.33. Which is smaller: b or 1/15?
b
Let y be -2 + ((-5)/4)/(14/(-35)). Is 1 at least y?
False
Let m = -5.7 + 6.7. Let i = 1 + 0. Is m greater than i?
False
Suppose 3*j = 2*j + 2, 2*s - 12 = -2*j. Suppose 8*a = 4*a - 4. Let u(x) = -x + 1. Let v be u(a). Is s at least v?
True
Let x = 4 - 6. Let v be ((-6)/(-10) - x) + -2. Let q(y) = y**2 + 6*y + 6. Let d be q(-5). Is d less than or equal to v?
False
Let j = 240/19 - 2735/209. Is j != 1?
True
Let j be ((-135)/2)/(2/12). Let y be ((-396)/j)/(73/(-12)). Let g = y - -2/73. Is 0 greater than g?
True
Suppose 0 = -7*t + 4*t + 9. Let q be (-11)/t + 7/(-21). Let x = 3 + q. Which is smaller: -1/3 or x?
x
Suppose 2*v = -3*f - 8, -3*f + 6 = -4*v - 4*f. Let q be (4/(-90))/(3/15). Does v = q?
False
Let y = -5 - -7. Let d = y - 1. Is d > -0.4?
True
Let y be 4/(-8) - 15/(-2). Let r = y + -6. Which is bigger: r or -1/13?
r
Let d = -0.43 - 3.57. Is -4 greater than d?
False
Suppose 3*h - 25 = -4*c, -3*c - 9 = 3*h - 33. Let i = 8 - h. Which is smaller: i or -1/9?
-1/9
Let t be -1 - (38/(-6) - -5). Which is smaller: t or -11?
-11
Let i be (9 + -8)/((-1)/4). Let r = 3 - i. Is r not equal to 7?
False
Let o be 884/1443 - (-2)/(-3). Is o < -1?
False
Let c = -109 - -108.9. Let q be (2/(-16))/((-2)/4). Is q less than or equal to c?
False
Suppose -16 - 8 = -y. Is y greater than or equal to 23?
True
Let m = 261/40 - 57/8. Suppose r - 4 = -3*c - 3, 3*r = -5*c - 1. Which is greater: r or m?
m
Suppose 97 + 203 = 5*c. Let i be c/14 + (-10)/35. Do 4 and i have the same value?
True
Suppose -4 = 2*u - 4*u. Let m be u - 3/(-9)*0. Suppose 2*n - m*h = 6, 4*n + 2*h - 12 = -0*h. Which is bigger: n or 4?
4
Let k(j) = j - 2. Let n be k(4). Let y be (2/(-2))/(n/(-6)). Suppose 4 = f + 2*z + y*z, z = -f. Is f equal to 1/2?
False
Let a = 20 - 11. Which is smaller: 0.1 or a?
0.1
Suppose -38 = -4*g + 2. Let y = 16.1 - 16. Which is smaller: g or y?
y
Let f = 1.3 + -0.8. Let s = f + -0.3. Is 0.1 <= s?
True
Let w(z) = -z**3 - 7*z**2 + 8. Let h be w(-7). Which is bigger: 9 or h?
9
Let v = -3 + 2.8. Suppose -r + 2*r = -3. Let j be (-1)/r - 42/45. Which is smaller: v or j?
j
Let o be 7/((-105)/2)*2*5. Do -1 and o have the same value?
False
Suppose -z + 3*b + 3 = 0, 4*z + b = -9 - 5. Let r be (-6)/9 + -2*3/18. Which is bigger: r or z?
r
Let k(a) = a**2. Let p be 4/14 + (-10)/(-14). Let q be k(p). Suppose 4*b - 3 = 1. Is b at most as big as q?
True
Let l = -175 - -159. Is -19 less than l?
True
Let i be -1 + 1 + 14/45*3. Is 0 at most i?
True
Suppose 2*j = -2 + 50. Let f = j - 49/2. Let p = 18/5 + -41/10. Is f equal to p?
True
Let u = 7.94 + 0.06. Let x = u + -7. Is 1/6 <= x?
True
Let a = 3 + -2.9. Let f(v) be the first derivative of v**4/4 - v**3/3 + v**2/2 + v + 1. Let z be f(0). Which is smaller: z or a?
a
Suppose -2*a - 60 = -4*i, -5*i + 61 = -2*a - 14. Is i <= 14?
False
Let s(m) = -m + 4. Let q be s(4). Suppose -4*h + h = 0, 5*z + 3*h - 30 = q. Which is greater: z or 5?
z
Let l = 4 + -3. Which is greater: l or -1/4?
l
Let l = 75.3 + -75. Is -8 bigger than l?
False
Let h = -3/11 + 7/187. Which is smaller: h or -2/7?
-2/7
Let c be 330/4*8/(-10). Is c bigger than -65?
False
Let m be (-2)/1 + -5 + 4. Suppose 5 + 7 = 4*h. Suppose -k - n = 2, k + h - 7 = -4*n. Which is bigger: k or m?
m
Let i = -2.97 + -0.03. Let n = 2.9 + i. Which is smaller: -2/7 or n?
-2/7
Let g = -67/87 - -3/29. Which is smaller: g or 6?
g
Let p(m) = 2*m**2 - 3*m + 3. Let d be p(4). Is 23 not equal to d?
False
Suppose -4*k = -m + 1, 2 = 4*k + 5*m - 3*m. Suppose -5*j - 18 + 6 = 4*v, 2*v + 5*j = -16. Which is smaller: k or v?
k
Suppose 5*q + 140 + 160 = 0. Let g be -30*(-8)/q*-3. Does 12 = g?
True
Let i = 27 - 19. Let j = -221 - -220. Is j not equal to i?
True
Let j(h) = -h + 6. Let z be j(5). Suppose -14*v + 15*v = 1. Suppose z = w - v. Is 4/7 at most as big as w?
True
Let h = 3152/15 - 210. Which is bigger: -1 or h?
h
Let v = -68 + 95. Suppose -7 = -5*u - v. Does u = -4?
True
Let w = 23 + -21. Let d = 1.2 + -0.2. Let l = w - d. Which is smaller: l or 0.3?
0.3
Suppose 2*y + 21 = -67. Are y and -43 non-equal?
True
Let n(p) be the third derivative of p**5/60 + p**4/12 + p**2. Let o be n(-2). Let g = o + -2/3. Which is smaller: g or -2?
-2
Let f = -3.6 - -5.58. Let k = f - -0.02. Let g = 1.6 - k. Which is bigger: g or -1/2?
g
Let g = -410 + 2058/5. Let n be -10*(-1)/2*1. Suppose 3*v - 4 = n. Which is bigger: g or v?
v
Suppose 4*z + 3*f = 10, -1 = 3*z - 2*f - 0*f. Which is smaller: 2 or z?
z
Let m = -91/15 - -17/3. Which is smaller: m or 1?
m
Let d = -10 - -7. Are d and -4 equal?
False
Let q = 43 - 128/3. Let d = -1.97 - 0.03. Let l = 2 + d. Which is bigger: q or l?
q
Let a = -17.8 - 0.2. Let u = a - -14. Let i be (1/6)/(2/4). Which is greater: u or i?
i
Let k be 4/14 + 18/(-14). Let i = 7233171/3400 + -36186/17. Let z = -3/200 + i. Which is smaller: k or z?
z
Let t = -0.15 - -0.08. Let u = t + 0.67. Which is greater: u or -2?
u
Let n(c) = -c**2 - 2*c + 8. Let r(l) = l**2 + 2*l - 7. Let v(b) = 4*n(b) + 5*r(b). Let g be v(2). Which is smaller: g or 4?
4
Let u be (-29)/3 + (-4)/(-6). Which is greater: u or -7?
-7
Let k = 169/2 + -82. Which is greater: 4 or k?
4
Suppose 1 - 4 = 3*z.