3 - i. Which is greater: 0 or y?
0
Let s = 1 - -3. Let c = -3 - -2. Let k be (-36)/(-15)*c/s. Is 0 >= k?
True
Let q = 303/5 + -61. Which is greater: q or 12?
12
Let j = -19 - 1. Are -22 and j nonequal?
True
Let t = -17 - -11. Let d be (-7)/t + -5 + 3. Which is smaller: -1 or d?
-1
Let f be (-2)/5 + 6/(-10). Let v be (6 + 4)*(-2 - -1). Let a be (-2)/v*4/4. Which is greater: a or f?
a
Suppose -4 = -2*y, 0 = 5*t - 6*y + y + 10. Let a(u) = -u**3 + 8*u**2 - 5*u - 6. Let c be a(7). Suppose -x = 3*x + c. Is x < t?
True
Suppose -5*a = -4*b - 33, -5 - 5 = -2*a. Which is smaller: b or -14/27?
b
Let k(l) be the third derivative of -l**5/60 - l**4/8 + l**3/6 + 2*l**2. Let z be k(-3). Are 1 and z non-equal?
False
Let d be 1/(-3) + (-1407)/27. Let z = d + 52. Is 1 smaller than z?
False
Let y = 1 - -1. Suppose y*b + 4 = -v + b, -3*b - 12 = 2*v. Suppose -2*n + 4*n = 3*u, -2*u = 2*n. Is v >= n?
True
Suppose -5*v + 2*h = -2*h - 65, -2*v - 2*h = -26. Which is smaller: 6 or v?
6
Let t(h) = 5*h - 6. Let j be t(3). Are j and 8 non-equal?
True
Let c be 4/(-4) - -1*3. Let y be (c + -2)*-1 + 2. Suppose -5*o + y*g - 9 = 0, 4*o - g + 3*g = 0. Which is smaller: -2/9 or o?
o
Let p(l) = -3*l**2 - 1. Let v be p(-1). Let d(n) = n**2 + 4*n + 6. Let b be d(v). Is 5 less than or equal to b?
True
Let t(o) = -o**2 - 3*o + 3. Let v be t(-4). Let m be 0 + v/(2/(-4)). Let k be (2 - m)*(-2)/(-4). Which is smaller: k or 4?
k
Suppose 5*m - y - 31 = 0, 2*m + 3*m - 43 = -2*y. Which is bigger: m or 1?
m
Let l = -0.24 - -0.07. Let r = l + 1.17. Is r less than or equal to 3?
True
Let b = 396 - 10693/27. Is -1 bigger than b?
False
Suppose 24 - 27 = 3*m. Is m at least 3/47?
False
Let q be 4 - (14 - (-4 - -7)). Is q at most -9?
False
Let w be -10*1/4*12/(-5). Let p = 39 - 26. Let b = w - p. Is -6 >= b?
True
Suppose -l = 4*l - 20, 0 = 5*u + 4*l + 4. Is u >= -3/7?
False
Suppose -2*q - 5*i + 23 = 0, -5*q + 0*q + i + 17 = 0. Suppose -n - 5*m = 12, 0*m - 2*m - 6 = 0. Is n at least as big as q?
False
Let v = 2 + 3. Suppose -6*i + 5 = -i, 0 = -2*a - v*i + 7. Are a and 3 nonequal?
True
Let a(u) = -u. Let d be a(-4). Let i be (-2 - -2 - -1) + 2. Suppose -3*h + i*c + 25 = -8*h, d*c + 30 = -5*h. Is h less than or equal to -2?
True
Let n(a) = a**2 + 8*a - 1. Let q be n(-8). Let v = 1 + q. Which is smaller: v or 1/11?
v
Let w = -5.05 - -0.05. Let h = w + 3. Is -3 < h?
True
Let n be 2 + 4/6*3. Suppose 3*j + 4*h = 20, -5*j - 4*h + 16 = -n. Let p = -291/35 + 54/7. Which is smaller: p or j?
p
Let m = 8 - 3. Suppose m*p - 4*p = -8. Is 2/7 greater than p?
True
Let a = -2.01 - -0.01. Which is bigger: a or -11?
a
Let b(o) = -o**3 + 4*o**2 - 5*o + 13. Let k be b(3). Which is smaller: k or 45/8?
45/8
Suppose -5*f + 75 = -3*n, -8 = -0*f + f + 4*n. Suppose 3*u = 4*i - 7*i - f, 2*u + 3*i = -5. Let v be 9/(-105) - 2/u. Is v greater than 1?
False
Let f be 2 + -4 + -44*(-27)/597. Is f <= -1?
False
Let y = 1 + -1.2. Let k = y - -0.3. Suppose 4*i = 5*a - 1 - 7, i = 2*a - 2. Which is greater: i or k?
k
Let k = -5 + 4. Let n = 6 - 4. Suppose -5*j = -n*j. Do j and k have the same value?
False
Let q be 5/(-20)*(-2 - -2). Is 5/6 smaller than q?
False
Let j be (-15)/(-3) - 2/(2 - 1). Which is smaller: 36/11 or j?
j
Suppose u - 80 = -2*b, -b - b + 2*u + 92 = 0. Is 41 >= b?
False
Let t(j) = -2*j - 4*j + j + 4*j. Let l be t(1). Is l not equal to -2?
True
Let y = -7 - -13. Let j = y - 5. Which is smaller: j or -3?
-3
Suppose -2*t = -o + 3, -3 = 2*o + t + 4*t. Let s be 2/o*(2 - 0). Let l = s + -4. Which is greater: l or -2/21?
l
Suppose -5*f - 5*y - 9 = 1, -10 = 5*f + y. Is 14 <= f?
False
Let n(l) = -2*l**2 - 9*l - 19. Let m be n(-3). Which is smaller: m or -13?
-13
Let w = 2.6 + 3.3. Let o = w - 6. Let l be (-22)/6 - -2 - -1. Does l = o?
False
Let x = 0 - -5. Suppose 2*j - 5*r + 58 = -6, -3*r - 32 = 2*j. Let y = -17 - j. Is x at least as big as y?
True
Let s be (-2)/2*(29 + -15). Let l(c) = c**3 + 2*c**2 - 7*c - 6. Let k be l(-4). Let y = k - s. Which is smaller: 3 or y?
3
Suppose -3*h - y - 5 = 0, -h + 3*h + 4*y + 10 = 0. Which is smaller: h or 4/59?
h
Let s be (-29)/(-35) - (-2)/(-5). Let m = -45 - -44. Which is smaller: m or s?
m
Let k = -11610/3811 + 112/37. Which is greater: k or 0?
0
Let j be ((-3)/36*-2)/((-27)/18). Is 9 smaller than j?
False
Let b = -1 + 3. Let m = b - 4. Let f(q) = q**2 + 2*q. Let z be f(m). Which is greater: 2 or z?
2
Suppose -4*m + 2*b - 4 = 0, -2*m - m - 8 = -4*b. Suppose 3 = -3*o + 9, p - 2*o + 3 = m. Which is greater: 2/3 or p?
p
Suppose j - 4*j - 4*m + 18 = 0, -3*j + 15 = 3*m. Suppose -4 = j*g - 2*x, -2*g - x = g - 2. Let h be (-16)/10 - g - -1. Is h <= 0?
True
Let b = 9 - 17. Let r = -9 - b. Which is greater: r or 2/17?
2/17
Suppose 0 = 2*v - 0 - 2. Suppose -2*d - 30 = -4*g, g + d = 7 - v. Let z = 7 - g. Is z at least 1/7?
False
Suppose -4*x - 5*o + 8 = 0, -3*x = o + 2*o - 6. Which is smaller: 1 or x?
1
Let r(p) = p**2 - 4*p. Let b be r(4). Is 0 > b?
False
Suppose 7*q - 12*q = -30. Is 6 <= q?
True
Let l(c) = -c**2 + 7*c + 1. Let g be l(7). Which is smaller: g or -4/27?
-4/27
Suppose -3*q - 12 = -l, -4 = -6*l + l + q. Suppose l*y + y = -3. Which is greater: -2 or y?
-2
Let i = -21 - -20. Which is smaller: -4/5 or i?
i
Suppose -1 - 23 = -12*t. Let b(k) = -5*k - k**3 + k**2 + 4*k**2 + k**2 + 2. Let n be b(5). Is n at least as big as t?
True
Let u = -1276768/11 + 115969. Let p = 101 + u. Let q = -3.2 + 3. Is q > p?
False
Let w(s) = s**2 - 2. Let x(j) = 2*j**2 - j - 4. Let v(b) = -5*w(b) + 2*x(b). Let o be v(-3). Let c(z) = z**3 - 6*z**2 - z + 5. Let y be c(6). Is o <= y?
True
Suppose -27 = -4*d + 5*p, -4*d - 5*p + 2*p + 3 = 0. Suppose 2*w - k - 2 - 5 = 0, -3*k = w + 7. Suppose d = r + w. Is 1 at least as big as r?
True
Let f = -192 + 186.99. Let u = 5 + f. Is u > -1?
True
Let p(l) be the third derivative of l**6/120 - l**5/15 + l**4/12 - l**3 - l**2. Let f be 14/77 + (-84)/(-22). Let z be p(f). Which is smaller: z or 3?
z
Let j(s) = -s**2 - 8. Let n(b) = -b**2 - b - 7. Let p(v) = 6*j(v) - 7*n(v). Let x be p(-7). Is x greater than 1/6?
True
Let s be 6/15 + (-16)/(-10). Suppose -s*k = -5*u - k, 0 = -u - 5*k. Suppose -2*w + u = 2. Which is greater: -2/9 or w?
-2/9
Let o(a) = a**2 - 11*a + 18. Let h be o(8). Let q = 8 - h. Is q equal to 14?
True
Let j be (-1)/(-5) - 19/(-5). Let v be -3*j/6 - -2. Let h = -31 - -123/4. Is v at most h?
False
Let u(k) = 22*k + 7. Let i be u(2). Which is greater: i or 49?
i
Let b = 0.19 - 0.29. Which is bigger: 0 or b?
0
Let k(u) be the first derivative of -u**3/3 - 5*u**2/2 + 2*u + 1. Let d be -1 - (6 + 0 + -2). Let r be k(d). Is 3/5 less than or equal to r?
True
Suppose -2*p - 4 - 12 = -2*j, -5*p = -j + 32. Do -16/3 and p have different values?
True
Let n be (3/4)/(6/(-24)) - -3. Let p be ((-1)/8)/(2/52). Which is bigger: n or p?
n
Let a = -19 - -20.6. Let r = 1 + a. Let i = 3 - r. Which is bigger: i or -1/3?
i
Let k = 5.18 + -0.18. Let u = 34 + -29.4. Let m = u - k. Which is greater: -0.1 or m?
-0.1
Let n = 7/5 - 53/45. Let i(z) = z**2 - 1. Let d be i(0). Which is smaller: d or n?
d
Let q = 39.6 - 38. Let s = -1 + 3. Let i = s - q. Do i and 1 have different values?
True
Let o(j) = -j**2 + 7*j - 3. Let p(m) = m**2 - 6*m + 2. Let x(g) = 3*o(g) + 4*p(g). Let a be x(-11). Let b be 288/a - (1 - -1). Which is smaller: b or -1?
-1
Suppose 0 = -2*z + 2 + 2. Let c = -10 + 14. Suppose 3 = c*s - 13. Which is smaller: s or z?
z
Let i = 4 + -3. Let x = -4.4 - -2.4. Which is smaller: i or x?
x
Suppose -4 = 3*x - 4*x. Suppose 3*l - x*l + 3 = 0. Let j be l/30*(-50)/(-4). Are 2 and j nonequal?
True
Let o = -9/22 + -1/11. Do o and 0.2 have different values?
True
Let k = 0.1 - 0.1. Let m = k + 0.1. Let y = -341 + 342. Is y bigger than m?
True
Suppose -5 = 2*h - 7*h. Let z be ((-2)/(-3) + -1)/h. Which is smaller: 3 or z?
z
Let q be (-14)/(-35) - (-163)/(-445). Which is smaller: 1 or q?
q
Let f(m) = -m**3 + 9*m**2 - m + 11. Let h be 20/2 + 9 + -10. Let d be f(h). Suppose 0*u - d*u - 2 = 0. Which is smaller: u or 2?
u
Let y = -0.03 + -0.07. Let a = 1 - 1. Let s = y - a. Does s = -3?
False
Let h = 116 + -115. Which is bigger: 2/159 or h?
h
Let h be (-3)/(-2) - 1/(-2). Suppose h*y - 5*y + 6 = 0. Let w = y - 3. Is w > -1?
False
Let j(b) = -b**3 + 4*b**2 - 3*b + 3. Let d be j(3). Suppose 2 + 2 = n