/(-2))/(b/2). Which is bigger: c or z?
z
Let x(s) = 31*s**2 + 4*s + 8. Let l be x(-2). Suppose -h = 4*h - 10. Let w be h/(-5) + l/160. Is w < 1?
True
Let l be 4 + ((-537)/546 - 4). Let i = -10/13 - l. Is i bigger than -1?
True
Suppose 23 = -2*b - 77. Suppose 4*s = -s - 255. Which is smaller: b or s?
s
Let d be (-3)/(-18)*2 + (-8)/(-3). Let t = 0 + 1. Suppose -t = d*w - 31. Is w >= -2/7?
True
Let b(v) = -v**2 - 9*v - 13. Let u be b(-7). Is u greater than or equal to -27?
True
Let z(y) = 141 - 131 - y**2 + 4*y - 12*y. Let q be z(-9). Which is smaller: q or 5/3?
q
Let c(q) = 8*q**3 - 184*q**2 - 9*q + 10. Let v be c(23). Is -195 >= v?
True
Suppose -8 = 4*k, 2*t + 6*k = k + 3146. Is t at most 1578?
True
Let i be 0/2*(-2)/4. Suppose 5*u + 80*k = 78*k - 54, 2*u + 12 = 4*k. Which is smaller: u or i?
u
Let y = 2077/3114 - 1/3114. Which is bigger: 22/9 or y?
22/9
Let f = -24 - 12. Let i be f/3*1/3. Is 3 less than or equal to i?
False
Suppose -4*j - 5 = -21. Suppose 0 = 4*z + j*k - 0*k + 16, -k = 2*z + 8. Let h be 3 + ((-52)/(-9))/z. Is h smaller than 1?
False
Let o be -1 + (-16)/40 + (-62)/(-5). Suppose -i = -c - 10, 0 = 3*i + 3*c - 5*c - 32. Which is bigger: i or o?
i
Suppose -3*w + 3*d = d + 23, 0 = -3*w - d - 29. Which is smaller: w or -83?
-83
Suppose -5*c + 12*n - 15*n = -94, 54 = 3*c + 3*n. Is c less than or equal to -1?
False
Let k = 87 - 131. Does 0.5 = k?
False
Let u be (6/7)/(48 + -56). Let l = 0.3 + -0.2. Which is greater: u or l?
l
Suppose 5*x = c - 0*x, 0 = -3*c - 2*x + 17. Let q(i) = i**3 - 7*i**2 + i + 2. Let g be q(7). Suppose -c*y - g - 6 = 0. Is -3 bigger than y?
False
Let o(s) = s**2 + 5*s - 10. Let t be o(-7). Suppose 4*k = 4*v - 0*v - 12, 2*v = 4*k + 10. Let m be (-1)/k*(10 - -2). Is m equal to t?
False
Let n = 440 - 442.1. Let x = 10 - 14.9. Let a = x + n. Which is bigger: 1/3 or a?
1/3
Let o = -62 + 85. Let c = 23.3 - o. Is c > 1/4?
True
Let j = 219 + -218. Which is bigger: j or -428?
j
Let z(q) = -q**3 + 13*q**2 - 4*q + 19. Let d be z(11). Is 216 at most as big as d?
True
Let y be (-15)/18 - 4/6. Let m = -17 + 16. Is y less than m?
True
Let d be (6/(-72))/((-11)/132). Which is bigger: -2/2633 or d?
d
Let q = -30 + 76. Let t be ((-234)/q - -2) + 3. Which is smaller: 1 or t?
t
Let f be (4/(-1410))/(156/54 - 3). Which is smaller: 1 or f?
f
Let o = -103 - -104. Let j(c) = -c**3 + 6*c**2 - 2*c + 3. Let k be j(5). Let a be (-2)/(-1) + (-44)/k. Is o at least a?
True
Let b = -2486 + 131762/53. Let o = b + -206/1325. Which is bigger: o or -1?
o
Let v = -548 - -548.6. Is -0.3 < v?
True
Let a = -5.331 - -0.131. Let n = a + 13.2. Which is smaller: n or 3/5?
3/5
Let y = -488.1 - -488. Is 406 less than y?
False
Let l be ((-10)/14)/5*-3. Let o be (1 + 0)/((-4)/(-16)). Suppose 2*w + 6 = -3*j, 2*j - 1 + o = -w. Is j at least as big as l?
False
Suppose -12 = -2*u + 14. Suppose u + 32 = 5*z + 5*f, 0 = 5*f - 10. Which is smaller: z or -0.6?
-0.6
Suppose -80 = -4*z + 5*p, -80 = -5*z + z - p. Let f be z/30 - (-34)/12. Which is smaller: 4 or f?
f
Let i be (-1 + 2/4)*-1. Let c = 7 + -8.3. Let g = c - -1.5. Is g at most as big as i?
True
Let y = 4937/3 + -1646. Is 371 > y?
True
Let r = 1 + 1. Let w = -19 - -18. Is r at least w?
True
Let a be 18 - 4*(-3)/(-6). Suppose -11*i = -7*i + a. Which is smaller: i or -14/3?
-14/3
Suppose -2 + 10 = 4*j. Suppose 3*s - u = j*s - 3, -4*u + 4 = 4*s. Let n = 106 - 98. Which is bigger: s or n?
n
Let y be 4 + -15 - 177/(-15). Is 6 greater than or equal to y?
True
Suppose -4*d = -9*d - 5. Which is smaller: -3/34 or d?
d
Let n = -4.5 + 1.6. Let h = 3.03 + n. Let x = -0.87 - h. Which is smaller: 0 or x?
x
Let o = 0 + 0. Let r = -0.2 + o. Let k = -110 + 113. Is k at most r?
False
Suppose -2*q = -q - 3*y - 4, 42 = 4*q + y. Suppose -9*c - c = q. Is c greater than or equal to 3/13?
False
Let p(z) be the second derivative of -1/6*z**3 + 0 + 3*z**2 - 7*z. Let t be p(5). Is t less than or equal to -1/18?
False
Let r = -707 + 709. Is -6 < r?
True
Let d be 7/4*(9 - 1). Let j = d + -16. Let h(s) = -s**2 - 3*s + 4. Let g be h(j). Which is smaller: 1 or g?
1
Suppose -3*j + 252 = 2*p, -4*p + 852 = 3*j + 336. Which is smaller: 133 or p?
p
Let g(t) = -9*t - 17. Let q be g(-5). Suppose 54 = 2*l + q. Let o = 28 - 14. Is o > l?
True
Let j be (-2)/(-3)*62*(-9)/12. Let p be 4*((-2)/(-5) + j/90). Let x = -0.3 - -0.2. Which is smaller: p or x?
x
Let w be ((-10)/9)/5 - 2/(-9). Let m be (-5 - -6) + (-1 - -2 - w). Is m greater than or equal to 7?
False
Let i = 1045359 - 65859025/63. Let k = 158/7 + i. Let c(o) = -o**2 + 2*o + 2. Let s be c(3). Which is smaller: s or k?
s
Let h = 839.702 + -840. Is -1 <= h?
True
Let i = 24 + -24. Suppose -5*k = -3*f + 4*f - 2, 3*k - 3*f - 12 = i. Which is bigger: k or -2/57?
k
Let r be ((-64)/160)/((-12)/(-10)). Which is smaller: r or 0?
r
Let k(f) = -7*f + 1. Suppose 2*t = -y, -3*y + 1 + 1 = 4*t. Let a be k(t). Are a and -3 equal?
False
Suppose 3*f - 5*l + 242 = 0, 3*f + 2*l + 42 = -214. Is -84 less than or equal to f?
True
Suppose 0 = -7*t + 2*t - 5*g + 25, -4*t + g - 5 = 0. Suppose 2*q + 1 - 9 = t, 4*y = -4*q + 24. Suppose -2 = y*x - 6. Is 3 <= x?
False
Let k(b) = 2*b**3 - 8*b**2 - 2. Let m be k(6). Let o = m + -1280/9. Is o != 1/16?
True
Let i be (3/(-6))/(2/(-48)). Let g(b) = b**3 + 3*b + 76. Let y be g(0). Suppose -3*o = -115 + y. Are i and o non-equal?
True
Let y = -416 - -214. Let j = 132 + y. Let r be 6/(-4) - 115/j. Is 1 greater than r?
True
Suppose 0 = 5*n - 4*t - 11, -4*n + 2*t = -5 + 1. Which is greater: 1/77 or n?
1/77
Let q(n) = -n + 1. Let y be q(2). Let b be (-8)/(-28)*1 - (-36)/(-77). Which is smaller: y or b?
y
Suppose -3*p = -5*l - 60 - 5, -2*p = 4*l + 30. Let c be 3/l*7/(63/4). Which is smaller: 1 or c?
c
Suppose 2*u - 5*u = 4*u. Let p = -218 + 1749/8. Is p less than u?
False
Let k(s) = s + 7. Let u be k(-6). Let i = u + -10. Is i bigger than -4?
False
Let v = 1.03 - 1. Let d = -0.43 + v. Let t be (-4)/(-10)*10/6. Which is greater: t or d?
t
Let c(o) = o**3 - 2*o**2 - 7*o + 10. Let s be c(3). Let a be s + -2 - (-45 + 0). Which is greater: a or 43?
43
Suppose 12*m = 527 - 539. Which is bigger: -24/25 or m?
-24/25
Let x = 9 - 2. Suppose -x = 5*z - 2. Let q = 65 - 64.9. Are q and z nonequal?
True
Suppose -z + c - 4*c = 2, -4*c - 4 = 0. Suppose -6 = -7*r + z. Is r smaller than -2/99?
False
Suppose -92*k = -71*k. Do 2/19 and k have the same value?
False
Let h(k) = -k**3 - 6*k**2 + 17*k + 12. Let p be h(-8). Suppose 0 = 4*r + 2*j - 12, 6*j = -p*r + 3*j + 14. Are r and -1/4 equal?
False
Let c = 463 - 466. Which is greater: -66/29 or c?
-66/29
Let h = 15/19 - 382/171. Does h = -2?
False
Let i be (9*-6)/(-3 - -1). Let b = -1 + i. Are 28 and b nonequal?
True
Let v = 3 + -1. Let h be (-1)/(((-65)/v)/(-5)). Let g(l) = -l**2 - 39*l + 126. Let k be g(3). Is k < h?
False
Let g = -0.22 - -0.07. Let y = g - 26.85. Is -2 greater than y?
True
Let s = -3.28 - -3.2. Let j = 0.1 + s. Which is greater: -0.1 or j?
j
Let m(z) = z - 7. Let k(s) = -1. Let n(d) = -5*k(d) + m(d). Let i be n(2). Which is smaller: i or 1/2?
i
Let k be (-2*1)/((-1)/2). Suppose 3*v = -2*c + 5, -c - k*v = -0*v. Let r be 3*1*c/12. Is r >= -4/13?
True
Let a = -0.64 - -0.64. Let w(v) = -v - 9. Let k be w(-13). Let l be (-8)/(-10)*10/k. Which is bigger: a or l?
l
Suppose 5*g + 52*c = 48*c - 596, 3*g - 2*c + 340 = 0. Is g >= -119?
True
Suppose -9*t = -6*t - m + 14, 4*t + 44 = -5*m. Let p = 0.4 - 0.4. Does t = p?
False
Let a = 0.1116 - 0.1416. Which is greater: a or -48?
a
Let v = 16 + -4. Let o be 1/4 + (350/(-40))/(-1). Is o < v?
True
Suppose -6 = -3*h + a, -5*h + 3*h + a = -4. Do h and 94 have different values?
True
Let f = 1.3 + -1.2. Let y = 32 - 15. Suppose 0 = -22*q + y*q + 95. Is q bigger than f?
True
Let s = 2785/4181 - 60/113. Is s < -1?
False
Let y be (-18)/(-14) + 32/(-112). Is y bigger than 21/11?
False
Let i = 0.0262 + -135.0262. Do -1 and i have different values?
True
Let z = 726 - 727. Which is smaller: z or -3/359?
z
Let s(k) = k**2 - 7*k - 5. Let d be s(7). Let o(f) = -f**3 - 6*f**2 - 3*f + 3. Let w be o(d). Is -0.3 at least as big as w?
True
Let c(y) = -2*y**3 - 2*y - 1. Let u be c(-1). Let w be (2*(-7)/(-14))/((-10)/(-30)). Is u smaller than w?
False
Suppose 30 = 7*l + 2. Let b be ((l - 0) + -3)*-1. Is 1/154 equal to b?
False
L