 5*c. Let k be j(z). Which is greater: -1 or k?
k
Let c be 6/(-9) + 11/3. Let h be ((-3)/c)/((-1)/(-3)). Let y be 4/h - 4/6. Which is bigger: 0 or y?
0
Suppose 2*x = 5*i + 27, -2*i - 13 = -0*x - 3*x. Is -4/11 at least as big as x?
False
Let t be -7 - (-3 + -1) - -3. Is -1/72 bigger than t?
False
Let i be 14/24 + ((-8)/6 - -1). Which is bigger: 42 or i?
42
Let b be 7/(-7)*(-3)/3. Which is bigger: -6 or b?
b
Suppose 0*f + 8 = 4*v - f, 4*v = 3*f + 16. Is v at most 0.07?
False
Let t be 0/1 + (0 - -1). Let a(q) = -q**3 + q**2 - 1. Let o(h) = 5*h**3 - h**2 + 7. Let n(j) = t*o(j) + 4*a(j). Let v be n(-3). Which is bigger: 2 or v?
v
Let c = 9 + -9. Let n = 5.8 + -6. Is n >= c?
False
Let s = -109 + 105. Let r be ((-1)/2)/((-2)/(-20)). Is r at least as big as s?
False
Suppose 0 = -5*y + 3*y + 40. Suppose 6*k - y = k. Suppose k*f = 2*f. Which is smaller: f or -1/2?
-1/2
Suppose 5*v - r = -24, 0 = 2*v - 4*r - 0 + 6. Suppose -3*s + 8 = -5*s. Which is greater: v or s?
s
Let x(c) = -c**3 - 4*c**2 + 6*c + 7. Let s be x(-5). Suppose 3*v = 2*z - 14, -s*z - 6*v = -2*v + 14. Which is smaller: 4 or z?
z
Let j = 6136/175 - 246/7. Suppose p + p = 0. Is j != p?
True
Let o = 7.1 + 3.2. Let c = o - 8.29. Let g = c + -0.01. Which is smaller: -1 or g?
-1
Let v = 1 - 0. Let x = -1 + v. Let c = 26/23 - 488/391. Which is smaller: x or c?
c
Suppose m + 4*m = 0. Suppose m*z + z = -9. Which is bigger: z or -8?
-8
Suppose -4*s + 0*v - 2*v = -10, 0 = -5*s - 5*v + 15. Let i be 38/42 - s - -1. Let d = -330 + 330. Which is bigger: d or i?
d
Let o = 3 - 2. Let a = -0.039 - 5.961. Is a less than or equal to o?
True
Let q = 220 + -1104/5. Suppose 3*d - d = 2*s + 2, -4*s - 3*d - 11 = 0. Does s = q?
False
Let p be 65/(-15) + (-2)/(-6). Which is greater: -3 or p?
-3
Let f(p) = -p**2 - 3*p + 1. Suppose -q = 4*q - 4*r + 28, 2*q + 4 = -2*r. Let u be f(q). Is u greater than or equal to -3?
True
Let n be (-3 - -2)*(-15)/115. Let b = 2/161 + n. Which is greater: b or 0?
b
Let n(a) = a**2 - 4*a + 5. Let d be n(4). Let l be (1 - -1)*(2 - -1). Suppose -20 = k - l*k. Is d less than or equal to k?
False
Let a be (-8)/(-36) + 2/(-9). Let r be 15/(-4) - 6/(-8). Let t be (2 + r)/(6/(-2)). Which is smaller: a or t?
a
Suppose -2*p + p + 4 = -b, 2*b - 10 = -4*p. Let l = -4 + b. Is -5 bigger than l?
False
Let z = 1 - 2. Let o = -3 + 2.9. Which is smaller: z or o?
z
Let s(l) = l**2 + 5*l + 4. Let q be s(-6). Suppose 2*t = -3*x - 13, 5*t - q - 5 = 2*x. Let h be 44/28 - t*2. Which is greater: 1 or h?
1
Let f = -2 - -1.96. Let h = 0.4 + 0.64. Let b = h + f. Do b and 2/3 have different values?
True
Let k be (-4 - -3) + (-10)/(-16). Which is smaller: k or 1?
k
Let a be -3*(2/(-5) + 52/(-20)). Is 7 >= a?
False
Let t(o) = -o**2 + o**2 + 5 + o**2 + 2*o - 3. Let g be t(-2). Suppose -v + x = g*x, -5*v + 4*x - 18 = 0. Are -3 and v nonequal?
True
Let q = -40 - -36. Let h = 0 - -0.1. Is q equal to h?
False
Let w = -23 + 33. Is w at least -1?
True
Let q be (-5)/7 - 10/35. Let x be 28/(-8)*(-2)/1. Let d be 4/5*x/(-28). Is d at least as big as q?
True
Let o = 41 - 29. Are o and 12 equal?
True
Let o = 8 + -10. Which is greater: o or -18?
o
Let w = 2.6 - 1.7. Let a = w - 1. Which is bigger: a or 0.4?
0.4
Let t = -0.2 - -0.4. Suppose 0 = -4*g + r - 69, 5*g + 2*r = -56 - 40. Let c be (g/(-6))/((-6)/4). Which is smaller: c or t?
c
Let k = 2 + -2. Suppose m = -k*m. Suppose -3*z + z - 2 = m. Is -2/15 not equal to z?
True
Let l be 112/(-11) + 4/22. Let p(w) = w + 10. Let h be p(l). Suppose h = -5*s + a + 2*a - 17, 3*a = 12. Is -3 at least s?
False
Let p be 6/12 + 13/(-2). Let x be 0 + 3/((-9)/p). Suppose -d = -x*d. Which is smaller: -2/15 or d?
-2/15
Let c be ((-21)/(-6) + -2)/(6/16). Suppose -4*d - 4*p = -28, -3*d - 4*p = p - 23. Let j = d - c. Do 4 and j have the same value?
False
Let p = 61 - 37. Suppose -5*h - 16 = p. Let i = -261 + 254. Is i less than h?
False
Let p = -19.971 + -0.029. Is p > 0?
False
Suppose 2*z + 38 = a - 3*a, -2*a - 48 = 4*z. Let v be 24/14 - 4/a. Is v at least as big as 1?
True
Let u(w) = 2*w**2 - 13*w - 8. Let c be u(7). Which is smaller: c or 1/11?
c
Let z(f) = -1 + 7 - 2 - f. Let b be z(6). Let t = 1 + b. Which is smaller: t or -2/5?
t
Suppose -3*a - b = -5, -5*a - 5*b + 3*b + 8 = 0. Let x = -3 + 2.9. Which is smaller: a or x?
x
Let o be 6/7*14/2. Suppose o*h - 2*h - 2*y = -16, -3*h - 3*y = -6. Is h >= -2?
True
Let a = 63 + -63. Is 2 greater than a?
True
Suppose 208 = q - 4*z, -4*q = -0*q + 5*z - 874. Let l = -1942/9 + q. Let m be -3 - (3 + -7)/2. Which is greater: l or m?
l
Suppose -2*h + 38 = -4*j, 0 = -h - 5*j + j + 1. Suppose -4*x = -0*x - 12, -4*x = -r - h. Let n = 2/19 - 44/57. Do n and r have the same value?
False
Let y = 4 - 12. Let c = y - -8. Which is bigger: -3/14 or c?
c
Let l = -2149/9 + 239. Let w(u) = -u + 8. Suppose -2*s + 1 + 11 = 0. Let z be w(s). Is z at most l?
False
Let v(j) = j**2 + 5*j - 2. Let i be v(-5). Let b = 11 - 13. Is b greater than i?
False
Let b = 0 + 0. Let s = 1985/7 - 284. Is b > s?
True
Suppose g = -5*b + 4*g + 25, 2*b + 5*g = -21. Let a = -418/7 - -2188/35. Is b smaller than a?
True
Suppose 5*k + 64 = -2*z, 2*k + 0*k - z = -22. Let f = k + 5. Is -7 != f?
False
Let c be (-1 + 11/3)/((-54)/(-81)). Which is smaller: 1 or c?
1
Let s be 2/(-6) - 20/12. Let l be s - ((-6)/10 - 1). Which is bigger: l or 0?
0
Let a = 2.76 + -0.68. Let h = a - -0.02. Let k = 0.1 - h. Which is greater: k or 1?
1
Suppose 0 = -11*c + 22 - 11. Suppose 2*s - 3 + 1 = 0. Is c > s?
False
Let s = -13/3 + 55/12. Suppose -2*d = -0*d - 2. Is s <= d?
True
Let y be 1*-2 - (-36)/15. Let a = 2.2 + -1.3. Let i = a + -1.9. Is i < y?
True
Let o be ((-10)/(-4))/(12/(-5)). Let l = o + -7/24. Which is greater: 0 or l?
0
Let f = 20 - 11. Let k = 8.9 - f. Let r(h) = h**3 + 5*h**2 - 6*h + 2. Let y be r(-6). Is y less than k?
False
Let q = -52/63 - -10/9. Let a = 1 - 1. Is a greater than or equal to q?
False
Suppose -2*x - 25 = 5*r, 0*x = -4*r - 4*x - 32. Let z(p) = -2*p**2 + p + 1. Let h be z(-1). Let k = r - h. Which is bigger: k or 1?
1
Let t = -5/22 - 23/44. Let g = -0.3 - -0.3. Which is smaller: g or t?
t
Let t(o) be the first derivative of -o**3/3 - 5*o**2/2 + 7*o - 3. Let g be t(-5). Which is smaller: 6 or g?
6
Suppose 2*a + 2 = -4*n - 4, -5*n - 10 = 5*a. Let w = -8 + -1. Let z = w + 3. Which is bigger: n or z?
n
Let v(t) = 2*t**3 - 2*t**3 + 10 + 7*t + t**3 + t - 7*t**2. Let m be v(5). Is -5 smaller than m?
True
Let b = -51/1820 - 2/91. Let y = 23/60 + b. Is 0 less than y?
True
Let b = 3 - 2. Suppose -c - 727 = 4*t, t - 3*t - 5*c - 341 = 0. Let i = t + 4573/25. Which is greater: b or i?
b
Let g be (-54)/10 - ((-102)/30 + 4). Does g = 1?
False
Let f = 0.1 - 0.1. Let d = -7/15 - -2/3. Which is smaller: d or f?
f
Let m = -37 - -37.02. Are -3 and m non-equal?
True
Let o = 3 - 4. Let g = 15 + -5. Let t = 4 - g. Which is smaller: t or o?
t
Let a be 12/14*2/(-6). Is a not equal to -1?
True
Let o = 30 + -29. Is -2/13 smaller than o?
True
Suppose -m + 43 = -4*j, -7 = 2*j - m + 16. Let p = -6 - j. Suppose 6*s - 6 = p*s. Which is bigger: 2 or s?
s
Suppose -5*a + 2 = -8. Let u = 3/2 - a. Which is bigger: 4 or u?
4
Suppose 2*z + 106 = -4*t, 3*t + z + 137 = -2*t. Is -30 less than t?
True
Suppose -4*i = -8 - 0. Suppose -2*y = -0*y + i. Let p be ((-2)/14)/(y/(-2)). Is p less than 2?
True
Suppose 5*p - 16 = 13*p. Suppose -5*l + 4 = -5*y - 16, 3*y + 3*l = 0. Is p less than y?
False
Let i = 333 - 569. Let b = i - -1885/8. Is b less than or equal to 0?
True
Let v = -32 + 33. Let n be (1/(-44))/((-6)/16). Is n bigger than v?
False
Let c = 0.44 + -0.07. Let a = 0.07 - c. Let i = -10 - -11. Is a <= i?
True
Let t = 17 + -185/11. Let v be (0/(-2))/(1 - 0). Is v at most t?
True
Suppose -6*k + 3*k = 0. Let l = -1 - k. Which is smaller: -5 or l?
-5
Let u = -1.11 + 0.11. Which is greater: 0 or u?
0
Let u be ((-310)/168)/5 + 73/(-292). Does -2 = u?
False
Suppose -2*k + k = -4*z + 3, -5*k - 2*z + 29 = 0. Suppose -3*w + k*i = -4, -2*w - 4*i = -17 + 7. Do 2 and w have the same value?
False
Let q be -3 + ((-27)/21 - -1) + 3. Which is greater: q or 23?
23
Suppose 24*y - 25*y = -3. Which is smaller: -7/4 or y?
-7/4
Suppose t + 11 = -3*s, -s = -2*t + 3*s + 18. Let i be -1*(t + 12/(-3)). Suppose -13 = -i*y - 1. Which is smaller: 2 or y?
2
L