*c - 1. Let r be n(-3). Suppose -3*t + 58 = -5*m, 0 = 5*t - 4*m - r + 5. Let h = 261 + -251. Which is bigger: h or t?
t
Suppose 2*h - 7 = -d + 1, -h - 3*d + 9 = 0. Let c be 12*(h + (-15)/6). Is 9 less than c?
False
Let t be 10/4*(3 + -1). Let i be (t/(-2) + 1)/(-15). Let q = -120 + 119. Is i < q?
False
Let h = -2.87 - -2.57. Is 5/22 at least h?
True
Let h be 4/(-6) + (-398)/(-180) + 2. Let i = -2/45 + h. Is i greater than or equal to -2?
True
Let d(m) = m**3 + 6*m**2 + 4*m. Let q be d(-5). Suppose q*v = 4*v + 177. Let a be (-8)/(-10) - v/15. Which is smaller: a or -13?
-13
Let g = 111 - 111.7. Which is bigger: 4 or g?
4
Let b be ((-7)/28)/((-1)/(-106)). Is b smaller than -28?
False
Let g = -32.6 + 26.6. Is g <= -18?
False
Let u = 69.7 - -2.3. Is u > -2?
True
Suppose -3*z = -12 + 3. Let h be 1 + z - (-60)/(-24). Do h and 1 have the same value?
False
Let c(n) be the first derivative of 6*n**2 - 22*n + 53. Let o be c(6). Is 2/7 smaller than o?
True
Let u be (269/4)/(-1) - (-9)/(-3). Which is smaller: u or -71?
-71
Let k = 38 - 42. Let n be 7 + (0 - k) + -5. Suppose -3*m + 11 = -13. Do m and n have the same value?
False
Let f = 11 - 10. Let m be (891/(-1716))/((-12)/16). Is m > f?
False
Let q be 23/(-8142)*(0 - 1 - 3). Which is smaller: q or -1/4?
-1/4
Suppose 95 = -5*l - 55. Let z = l - -38. Suppose 0 = 5*g + 3*y - 23, -3*y + 5 = 3*g + y. Does z = g?
False
Let g = 449/90090 + -3/1430. Is g > 0?
True
Let k be ((-10)/142)/(485/(-194)). Which is smaller: 1 or k?
k
Suppose -p - 82 = z + 4*p, -79 = z + 4*p. Which is smaller: z or -66?
z
Let n be -4*(6/2 - 216/112). Which is smaller: n or -3?
n
Let w = 14 + 3. Let n = 16.96 - w. Let f = 0.24 + n. Which is smaller: f or 3/8?
f
Let n(j) = j**2 + 2*j - 2. Suppose 0 = i - d - 7, -2*d + 5*d = -6. Suppose -2*u - 16 = -4*v, -5*u - i*v = -3 - 2. Let o be n(u). Which is greater: o or -5/9?
-5/9
Let m = -1.425 + 0.035. Let s = m - -0.39. Is -2 at least s?
False
Let j be (-10)/(-1680)*(15 + -16). Is -1 >= j?
False
Let d = 2342 + -1753. Which is smaller: d or -1?
-1
Let z = 41/52 + -137/52. Which is smaller: z or -3?
-3
Suppose 6*g + 7 = 19. Suppose 0*r - 4*r + 5*w + 1 = 0, -4*r = -w - 13. Suppose 26 = -r*t - g. Is t < -6?
True
Let w(i) = -8*i - 9. Let m be w(-8). Let q be (-175)/m - (-4)/22. Let t(x) = -x - 3. Let s be t(q). Is -1 > s?
False
Suppose -j + 4 = -l + 17, 0 = -5*j + l - 53. Suppose -31*c + 42 = -38*c. Let p be c - -2 - -4 - j. Which is smaller: p or 11?
p
Let w be (2/5)/(52/(-20)). Let l = 4.047 - 0.047. Which is greater: l or w?
l
Suppose 4*v + 9 = -4*d + 5*d, 4*v = -4*d - 4. Let q(p) = d - p + 2*p**2 + 6 - 8 - 1. Let j be q(-3). Which is greater: j or 20?
20
Let n be (104/(-286))/((-7)/((-21)/6)). Let c = 0 + 2. Which is smaller: n or c?
n
Let c be 3 - ((-32)/(-4) - 4). Let k be ((-12)/c)/3 + 1. Let h be -15*((-18)/k + 3). Are 1/3 and h equal?
False
Let a be (-33)/12 + 1/(-4). Let u be 20 + (a + 1 - -1). Suppose -2*b + 5*w - 13 = 0, 4*b - 6*w = -3*w - u. Are b and -4 non-equal?
False
Suppose 0 = 5*a - 2*q + 42, 0 = a + 4*q - 2*q + 18. Let s be (-8)/(1 - (-6)/a). Is -19 <= s?
False
Let u = -1 + 13. Let q be u/8*(-1)/((-3)/(-4)). Which is greater: -8/9 or q?
-8/9
Let j = -4.07 - 0.33. Let f = -20.4 - j. Is f at most 0?
True
Suppose -18 = -2*i + 156. Let q = -86 + i. Which is bigger: q or -2/237?
q
Let c(p) = p - 10. Let t be c(7). Let r = 0 + t. Let w(i) = i**3 - 9*i**2 + i - 9. Let n be w(9). Which is bigger: r or n?
n
Let m be (3 + 31/(-11))/(1 - 0). Which is greater: m or -46/3?
m
Let j(q) = 4*q. Let d be j(-4). Let a(y) = y**2 + 14*y + 6. Let p be a(-2). Which is smaller: p or d?
p
Let m = 25 + -22. Suppose 2*q - 5*q + 12 = 0. Suppose -m*a - q = a. Which is bigger: a or 4/13?
4/13
Let y = -8502/145 + 288/5. Is -1 less than y?
False
Let p be (1 + (-19)/(-5))/(36/180). Let j = p - 3. Which is smaller: j or 1?
1
Let f be 36/(-15)*117/12. Which is smaller: -23 or f?
f
Let g be (-420)/(-110) - (-2)/(-11)*-1. Suppose 8 = -2*v + g*v. Which is greater: 5 or v?
5
Let o be ((-3)/(-346))/((-9)/4). Let p = o - 3625/2076. Let w be (9/(-6))/((-6)/4). Is p at least as big as w?
False
Let d be (-8)/(-2) - (-235)/(-60). Let l = 26 + -26. Which is bigger: l or d?
d
Let w be ((-4)/(-3))/(-4)*-15. Suppose -2*d - 14 = -4*d + 2*y, 5 = w*d + 5*y. Let i be d/(-12)*6/(-4). Which is bigger: i or 2/11?
i
Let i(w) = -w**2 - 8*w - 9. Let y be -7 + 0*(-5)/10. Let a be i(y). Let g(m) = 2*m + 3. Let p be g(-2). Is a bigger than p?
False
Let a = 65146/61 + -1068. Suppose 5*z + 2 = 7. Are z and a equal?
False
Suppose 0 = 5*q - j - 127, -5*j - 32 = -q - 7*j. Suppose -q*p + 28*p - 10 = 0. Is p less than 6?
True
Let j(n) = -n**2 - 6*n + 18. Suppose 3*l + 2*l = -40. Let y be j(l). Suppose y*k + 5*s + 0 = -23, 10 = -4*k + 2*s. Which is smaller: -5/2 or k?
k
Let h = 793 + -754. Are 40 and h unequal?
True
Let d be (-107)/(-3) - (-4)/(-6). Let j be 75/d + -5 + 3. Is 0 smaller than j?
True
Let g = 1/36 - 53/936. Which is bigger: g or 0?
0
Suppose -11*q = m - 8*q - 12, -36 = -m + 5*q. Is m >= 6?
True
Suppose 4*n = -3*o + 26, -3*n - n + 24 = 2*o. Suppose 0*s + n*s = -0*s. Is s < -1/10?
False
Let g = 7548 + -7549. Let x(y) = y**2 - 2*y + 5. Let o be x(4). Is o at least as big as g?
True
Suppose -10*j - 262 = -62. Let x be 24/15*j/8. Is x < 2?
True
Let i = 268 + -234. Which is smaller: i or 30?
30
Let d be (-3)/(-12)*2*4. Suppose -2*i - f + 2*f - 17 = 0, -i - 11 = d*f. Let s(j) = j + 9. Let t be s(i). Is t >= 1/11?
False
Suppose 2*o = 21 + 29. Let a(g) = g**3 - 26*g**2 + 26*g - 28. Let v be a(o). Are 1 and v nonequal?
True
Let d(h) = -4*h**2 - 266*h + 78. Let u be d(-68). Is u < -331?
False
Let o(k) = k**2 + 4*k + 2. Let l be o(-4). Let z be 2 + 7/((-7)/2). Let a be 4/6 - ((-2)/6 - z). Which is bigger: l or a?
l
Let y be (0 - -3)*8/6. Suppose -4*p - 3 - 85 = y*x, 2 = -x + 4*p. Which is greater: -1 or x?
-1
Let i = -16.2 - -9.32. Let w = 2 - 2.12. Let l = w + i. Which is smaller: l or 0?
l
Let h(o) = -4*o**2 - 6*o - 6. Let p be h(5). Let u = p + 306. Let c = u + -853/5. Is c not equal to -2?
True
Suppose -133 = -11*z + 76. Suppose -34 = 17*h - z*h. Is 31/2 at least as big as h?
False
Suppose -4*x - 3*w + 15 = -x, 5*x + 6*w - 30 = 0. Is x <= 4.42?
True
Let v = -0.11 + 0.24. Let b = v + -0.21. Let o = -3.92 + b. Which is greater: o or 0.2?
0.2
Suppose 3*r + 3*j - 12 = 0, -3*j - 2*j = -3*r + 52. Suppose 2*c + 3*m - 12 = -2*m, 0 = m - 2. Is c at most r?
True
Let s(n) = n - 11. Let f = 11 + 1. Let q be s(f). Let g = -33 - -33. Is q bigger than g?
True
Let h be 2/12 + 34/(-12). Let x be -9*((-28)/(-12) - 2). Is x < h?
True
Let h be ((-2)/3)/(2/(-15)). Suppose h*y - 3 = 2. Let b be (3 - (1 + y))/(-1). Which is bigger: b or 2/5?
2/5
Let k be (-1 - (1 - 0)) + 4. Let c be 176/(-55)*10/4. Let j be (4*(-4)/c)/2. Is k < j?
False
Let u = 7 + -13. Let i(c) = -c**2 - 9*c - 5. Let b be i(-8). Suppose 5*v - 3 = 2*d, 2*v - b*v + 19 = -5*d. Are d and u unequal?
True
Suppose 0 = 2*p - 2*d + 8, -6*p + 2*p = d + 26. Let q = -84 - -81. Which is bigger: q or p?
q
Let a(q) = -3*q**2 - 8 + 231*q**3 - 5*q - 230*q**3 - 1. Let y be a(5). Which is bigger: 17 or y?
17
Let a be 27/(-8) - (-36)/8. Let l = -2 - -3. Is l bigger than a?
False
Let c be ((-2)/(-10))/(8/10). Which is smaller: c or 2.69?
c
Let k = 153 - 152. Let u = 1/54 - -1/27. Is k smaller than u?
False
Suppose 0 = -4*b + 4*l - 420, 5*l = -6*b + 2*b - 393. Suppose 0*z + 2*z + 6 = 0. Let y be ((-1)/z)/(2/b). Which is bigger: y or -18?
y
Let i = 4.8 - 4.47. Let p = 6.33 - i. Let f = 0.02 + 0.28. Is f bigger than p?
False
Let z(o) = -5*o**3 - 2*o**2 + 2*o + 3. Let l be z(-1). Let r be l/(-10) - (-20)/175. Let p be (4/10)/((-2)/20). Which is smaller: r or p?
p
Suppose -3*y - 5*w - 29 = 0, -3*y = -0*w + 2*w + 35. Suppose 14*l - 13 = -51*l - 78. Is l bigger than y?
True
Suppose -19*p - 242 = 119. Which is smaller: -18 or p?
p
Suppose y + 2*y = 6. Suppose y*u = -u + 3. Suppose -5*i + 6 = u. Do 4/9 and i have the same value?
False
Let v = -10 + 15. Suppose 2 = -d + v. Suppose 4*a + d = 7. Which is smaller: -1/13 or a?
-1/13
Let i = -20 - -20. Which is bigger: i or -1/14?
i
Let p = 68.3 - 7.3. Let q = p + -42. Let m = -17 + q. Which is smaller: m or 3/7?
3/7
Let m be (-4)/((-8)/26) - -4. Suppose h + m - 54 = 0. Suppose