 = -2*z - 2*i. Suppose 0 = 2*p - 5*q - z, -3*q = -3*p + 6 - 0. Is p greater than -2/23?
True
Let j(q) = q - 5. Let h be j(3). Let l(y) = y**2 + 5*y - 8. Let m be (-26)/4 - 2/(-4). Let o be l(m). Is h at most o?
True
Let v be (12/(-8))/(63/(-12)). Is 0 at least v?
False
Suppose 3*u = 4*u. Let t be 25*(4 + (0 - 3)). Let o be 2/(-5) - 10/t. Is u less than or equal to o?
False
Suppose d - 25 = -0*s - 2*s, -5*s = 5*d - 100. Let w = 0 - d. Which is greater: w or -16?
w
Suppose 15 = 3*y + 3*x, 2*y + 4*x + x = 16. Suppose 4*h - y*n + 13 = 0, 2*h + n - 1 = -0*h. Let d(b) = -b**3 + 5*b**2 + b - 5. Let i be d(5). Is h equal to i?
False
Let u(w) = 5*w**2. Let b be u(-2). Suppose 0 = -2*y - b + 2. Is -1 greater than y?
True
Let j(q) = 13*q + 2. Let h be j(2). Let p be (-8)/10 + h/35. Let d be (-1)/16*2*-3. Which is smaller: p or d?
p
Let r(k) = -2*k**2 + 10*k - 6. Let l be r(6). Let n = -27 - l. Is n smaller than -10?
False
Let x = 0 + 3. Suppose -x*n = -0*n. Suppose n = 4*k + k - 10. Which is greater: -2 or k?
k
Let a = -4958 - -1373368/277. Let j = 839/1108 - a. Which is bigger: j or 2?
2
Let n be 39/(-13) + 8/2. Which is greater: -3/11 or n?
n
Let z = -137/154 + 15/14. Let m = 9 + -9. Are z and m unequal?
True
Let f(p) = -3*p - 1. Let u be f(-1). Let v = 5 - u. Which is smaller: v or 2?
2
Suppose 5 = -2*g + 13. Suppose 6 = 4*p - 3*x, 3*p - 16 = -g*x + 1. Is 3 greater than or equal to p?
True
Let g = -299349/5 - -60098. Let z = 227 - g. Let h = z + 31/30. Which is smaller: 1 or h?
h
Let y be ((-5)/6)/(2/21). Let w = y + 9. Are 2 and w non-equal?
True
Let d = 38 + -46. Which is greater: -4 or d?
-4
Let i be 3/(-9) + 160/(-6). Let k be (-9)/i + 34/(-66). Let v = -0.8 - 0.2. Which is greater: k or v?
k
Suppose 5*b - 5 = 10. Is 0.4 greater than b?
False
Suppose 3*g - 2 = 4*h, -g - 4*h = -3*g - 4. Which is smaller: 4 or g?
4
Let u be 196/66 + 9/(-3). Is 1 less than u?
False
Suppose -3*l - 4 = -2*k + 7, 15 = 3*k - 4*l. Let d be (0 - 6)/(1/k). Which is smaller: -5 or d?
d
Suppose 5*l + 5 = -3*n - 2*n, l = 4*n - 1. Let w = -48 + 145/3. Which is greater: w or n?
w
Let t be (-4)/(-215)*30/12. Which is greater: 1 or t?
1
Let a = -80/3 + 1354/51. Is -1 equal to a?
False
Let r = 0.13 - 2.13. Let d = -0.1 + 0.2. Which is smaller: d or r?
r
Let l = 14 + -14. Which is smaller: -3/7 or l?
-3/7
Let t = 1/950 - 15207/6650. Is -2 > t?
True
Let u(z) = z**3 - 5*z**2 - 5*z + 1. Let w be u(6). Suppose -y = -3, d - 2*y = -1 - w. Let i(s) = -s**2 + 2*s - 1. Let o be i(1). Which is smaller: o or d?
d
Let q be (-6)/(-4)*(-4)/6. Let k = -0.6 - -0.58. Are q and k nonequal?
True
Suppose -7*k = 2*k + 423. Are -48 and k equal?
False
Let x(w) = -w**2 - 3*w. Let i be x(-3). Let a = 126 + -1513/12. Which is bigger: a or i?
i
Suppose 0 = -2*j + j - 40. Which is bigger: j or 1?
1
Suppose -3*l = -2*l - 2. Let g(w) = -3*w - 2. Let d be g(-2). Do l and d have the same value?
False
Let y = 9005/12 - 748. Let g = y - 11/4. Let d(m) = -m**3 - 4*m**2 - 3*m - 1. Let l be d(-3). Is l <= g?
True
Let k = 401/7 - 57. Suppose 4 = 4*u - 2*u. Let i be (u/(-6))/((-3)/(-9)). Which is bigger: i or k?
k
Let s(b) = -b**2 - 7*b - 3. Let z be s(-5). Let u(q) = q - 9. Let o be u(z). Let f(c) = 2*c**3 - c**2 + 1. Let y be f(-1). Is y <= o?
True
Let t be ((-2)/(-3) - 1)*0. Let v be (t + 22)*3/6. Suppose -3*n - 4 = v. Is n less than or equal to -6?
False
Suppose r = -3*r + 4. Suppose -3*g + 17 = 2. Let h = g - 3. Are r and h unequal?
True
Let q be -1*((-2)/8)/(-1). Suppose -4*o = -5*g + 45, -4*o - 3 = 2*g + 7. Which is smaller: q or o?
o
Let t be (-36)/(-10) - 6/10. Let g = 7 + t. Suppose -2*r - 2*r + 20 = -3*s, 0 = -3*s + 2*r - g. Which is smaller: -2/3 or s?
-2/3
Let d(b) = -3*b**3 + b**2 + b - 1. Suppose -7 + 3 = -4*o. Let l be d(o). Let x be ((-1)/l)/(5/(-30)). Are -4 and x unequal?
True
Suppose -p = 2*x + 3*x, 0 = 3*x - 5*p. Which is bigger: -4/3 or x?
x
Suppose s - q - q = 29, -s - 5*q + 57 = 0. Is 37 > s?
False
Let f be (6/9)/(20/(-54)). Which is smaller: f or -2?
-2
Let u be 3/((-34)/8 + -1). Is -1 smaller than u?
True
Let z be (-7450)/(-12376) - (-3)/(-4). Let c = 15/119 + z. Let r = -4/13 - c. Is -0.1 not equal to r?
True
Let k be (-6)/39 + 45/39. Suppose 0 = -z + 7 - k. Suppose -z = -4*t + 6. Is t at least as big as 3?
True
Suppose -3*g - 2 = -n + 4, 2*g - 35 = 5*n. Which is bigger: n or -10?
n
Let b = -0.1 + 0. Which is smaller: -3/5 or b?
-3/5
Suppose 3*t = -2*q - t - 4, -5 = t. Let f = 67 + 3. Let l be q/28 - 62/f. Which is bigger: 0.1 or l?
0.1
Suppose -5*n - 5*a = -30, -a + 0*a = -3*n + 6. Let h(v) = -v**2 + 4*v - 1. Let t be h(n). Suppose -t*w + 3*y = y + 4, 2*y = 4. Is w at least as big as 0?
True
Let p be 6/33 - (-36)/(-44)*-1. Is p at least 8/9?
True
Let p = -4/87 + 131/957. Let h = 4 + -4. Is h less than p?
True
Let l = 474 + -276. Let u be (-6)/10 + l/(-45). Does u = -6?
False
Let n be (2/(-6))/((-6)/((-30)/(-5))). Is 2 at most as big as n?
False
Suppose -c = 4*r + 42, 6*c - 3*r = 3*c - 51. Let j = 32 + c. Suppose 5*p = -25 + j. Is p at least -2?
False
Let r = 10 - 6. Let q be (2/(-6))/(r/6). Let a = 82/21 + -13/3. Are a and q non-equal?
True
Suppose -2*m - 3*m + 36 = -3*n, 0 = m + 4*n + 2. Let c be m/(-9) + 1318/9. Let p = 146 - c. Which is smaller: p or -1?
-1
Let d = -10 - -10. Which is smaller: -1/25 or d?
-1/25
Let i = -0.22 - -0.21. Let o = 62156/965 - 2/193. Let r = o + -64. Which is greater: i or r?
r
Let p = 45919/4732 - -7/676. Which is bigger: p or 2/7?
p
Let a = -3 + -1. Let i = a - -3. Is 4 >= i?
True
Let r(u) = 2*u - 10. Let w be r(7). Let s(j) = -j**2 + 5. Let b be s(0). Which is smaller: b or w?
w
Let o = -12/29 - -268/87. Suppose 0 = 2*l - l - 3. Which is smaller: l or o?
o
Let o be (-5)/(-2 + 0 + 3). Let m = o - -8. Is m >= 5?
False
Suppose 0 = -p + 4*q + 10, 5*q + 18 = 3. Let y be ((-2)/(-22))/(-1 - p). Which is bigger: y or 0?
y
Let f = -766/5 + 156. Does f = 2?
False
Suppose -1 - 4 = -5*c. Suppose 2 = -3*k + f, -k + 4 = -4*f + c. Which is smaller: 1 or k?
k
Let s be -7 + 10 - 2/1. Let q be (32/5)/((-2)/(-40)). Let u = 1154/9 - q. Which is smaller: s or u?
u
Let f(c) = -c**3 - c**2 - c - 1. Let h be f(-1). Are h and -8/9 nonequal?
True
Let z be (1/(-8))/((-1)/2). Which is greater: z or 11?
11
Let o be (-58)/(-6) - (-3)/9. Suppose -m - 4*m + o = 0. Let f(p) = p**2 - 15*p - 15. Let y be f(16). Which is smaller: y or m?
y
Let u = 37.09 - 39. Let r = 0.09 - u. Does r = -4?
False
Suppose h + 25 = -5. Let s be (-2)/(-8) + 6/8. Let v be (s + -5)*5/h. Is v equal to 2?
False
Let r = 0.02 + -4.02. Is 3/5 at least as big as r?
True
Suppose -2*a = -4*a + 10. Suppose -n = -a*n - 16. Which is greater: n or -5?
n
Suppose -m + 2*p = 3, -4*m - 3 = p - 0. Suppose 0 = -4*l - 5*i + 29, 6 = -2*l + 2*i - 2. Are m and l nonequal?
True
Let d be 7/(14/24) - 1. Suppose -4*f - 3*l - d = 0, 0 = 6*f - 2*f - 3*l - 19. Suppose -2*x + 4 = b - 2, x - 3 = -b. Which is smaller: f or b?
b
Let a = -9 - -7. Let v(w) = w**3 + 0*w - w - 2*w**3 + 4*w**2. Let d be v(4). Which is bigger: a or d?
a
Let z(h) = h**3 + 3*h**2 + h + 2. Let o be z(-3). Let d be ((-5)/(-10))/(o/(-2)). Let c be (0/(-3 - -1))/1. Which is smaller: c or d?
c
Let x = 3 + 5. Suppose -35 = -7*m + 2*m. Which is smaller: x or m?
m
Suppose 5*x + 2 - 17 = -5*z, 3*x - 9 = -z. Is z greater than -20?
True
Let i = 47431/12 + -3950. Let p = i - 17/6. Let a = -4 - -3. Is a less than p?
True
Suppose -3*d + 86 = 4*c, -c + 5*d = c - 56. Is c <= 23?
True
Let f(q) = -q**3 - 3*q**2 - q - 3. Let i be f(-3). Let o be -3 + i/3 + 2. Let s = 1/61 - -115/427. Which is smaller: o or s?
o
Let c = 19 - 17. Let b be (c + 0)*3/(-6). Are b and 2/5 nonequal?
True
Suppose -g = -3*i - 2*g + 11, -3*i + 5*g = 1. Suppose 0 = 3*v - 3*h + 9, 2*v = 2*h + 2*h - 14. Let k = 3 - v. Which is smaller: i or k?
k
Let h = 3 - 2. Suppose -4*r = -r + 4*a - 21, 3*r - 48 = 5*a. Suppose 0 = -4*n - r - h. Is n smaller than -3?
False
Let h(z) = -z**3 + 4*z**2 + 6*z - 5. Let p be h(5). Let w = 9 + -9. Is p less than w?
False
Let w = -1 - -1. Let r = 8 - 10. Which is smaller: r or w?
r
Suppose 4*k - 4 = 0, -3*k = -2*z - 2*k + 3. Suppose n + 15 = 3*f - 3*n, 15 = f + z*n. Are 9 and f equal?
True
Let r = 27 + -7. Suppose 4*l - 3*i = r, 0 = -2*l - 2*l - 3*i + 20. Is l != 6?
True
Let j be -2*((-136)/1