. Let a be c(6). Let j be l(a). Let h be (-4)/(-2*j/16). Is 15 equal to h?
False
Let j = 0.162 - -1.838. Let i = 0.04 + 8.96. Which is bigger: j or i?
i
Let x(r) = -r**2 - 3. Let u be x(-5). Let h = u + 30. Suppose 4 = 2*q, -7*q = 3*a - h*q - 37. Is a greater than or equal to 10?
False
Let q = 15.806 - 1.106. Which is greater: -1 or q?
q
Suppose -2*r - 4*n = 410, 3*r - 4*n + 796 - 221 = 0. Which is greater: -194 or r?
-194
Let w be 2*2/(2/1). Let m(u) = -4*u - 17. Let g be m(-5). Suppose -37*y = -34*y + g. Which is smaller: w or y?
y
Let z = -4 - -4.1. Let q = 0.48 - 0.38. Let p = q - z. Is p > -8?
True
Let s be (-94)/564 + (-2)/60. Which is greater: s or 179?
179
Let v be (-108)/(-3) + 0 + 1. Let c = 5089/132 + -39/44. Let l = v - c. Do 2/3 and l have the same value?
False
Let q = 22 + -9. Suppose -5*f = 12 + q. Let m be 27/f - (-16)/40. Is m less than 0?
True
Suppose -5*g + 4 = 4. Suppose g*w = -4*o + 2*w + 4, -5*w + 16 = 3*o. Is 4 bigger than o?
True
Let u(f) = f**2 + 7*f - 9. Let q be u(-8). Let r(h) = -13*h + 1. Let m be r(q). Let p = -11 + m. Which is bigger: p or 7/4?
p
Let n = 17.3 + -14.3. Is n at most as big as 52?
True
Let c be 1/(-4)*-2*-4. Suppose 4*x = -0*x - 108. Let f be ((-2)/(-9))/(36/x). Which is greater: c or f?
f
Let x(d) = -18*d**2 - d. Let a be x(-1). Let u = a - -36. Suppose -5*h = -2*i + 6*i + u, 5*h - 4*i = -51. Which is greater: h or -1?
-1
Let d(m) = -7*m**2 + m - 7. Let s be d(5). Let f be (1/s)/(7/(-14)). Let n = 877/708 + f. Which is smaller: 2 or n?
n
Let c(b) = b + 1. Let l be c(7). Let q be (160/30)/(12/18). Is q at least as big as l?
True
Let u be (-36)/9 - 5*-1. Let k be -3*8/12 - -28. Let m be 1*8/k + 0. Is m less than or equal to u?
True
Let f = 137 + -169. Is -32 at least as big as f?
True
Suppose 6*y = 98 + 40. Let c(r) = r + 38. Let b be c(-17). Which is bigger: b or y?
y
Suppose -4*q + 5*s = -13 + 64, s = -1. Let x = 14 + -1. Let y = x + q. Are -1/2 and y equal?
False
Suppose 0 = -7*t + 6*t - 10. Let i be 5*(-6)/(-75) + 94/t. Is i < -41/4?
False
Suppose -20*y - 20 = 40. Is y not equal to -4?
True
Suppose 6*i = 4*i + 12. Let l be ((-2)/4)/(1/i). Which is smaller: l or 8?
l
Let q = 16 + -31. Let v = -15.026 + -0.174. Let l = v - q. Which is bigger: -2 or l?
l
Let w be (-2)/7 - 13/(-21). Let m(v) = -v**3 + 2*v**2 - v + 2. Let j be m(0). Let d = j - 5/3. Is d equal to w?
True
Let k(w) = 3*w**3 + 6 + 3*w**3 - 2*w - 5*w**3. Let v be k(0). Is 7 at least v?
True
Suppose 398*l + 10 = 396*l. Which is bigger: -8 or l?
l
Let m = 456 - 260. Suppose -5*p = -31 + m. Do -34 and p have the same value?
False
Let m = 95.21 - 95. Let q = -1.46 - -1.2. Let v = q + m. Which is smaller: 2/7 or v?
v
Let i = 84 + -61.7. Let j = i - 15.4. Let s = -7 + j. Is s less than -1/7?
False
Let c = 671 + -555. Which is smaller: c or 121?
c
Let d be (36/24)/(-3 + (-237)/6). Is d less than 0?
True
Let u be 888/(-9361) + (-4)/(-22). Suppose -2*w = -3*w + 3. Suppose -w*b - 2*b = 0. Is b >= u?
False
Let m = 169 - 174. Suppose -3*w + 2*q - 12 = 2*w, -w + 12 = -4*q. Is m >= w?
False
Let q = 38 - 23. Let z = -3465 + 3449.97. Let l = z + q. Is -0.2 at least l?
False
Let g(f) = -10*f**2 - f - 17. Let l be g(-4). Is -172 greater than l?
True
Let v be 72/(-130) + (-4)/(-10). Let a = 72 + -104. Let x = -31 - a. Is x greater than v?
True
Let t be 30/4*328/(-410). Is t greater than or equal to 19?
False
Let w(q) = -2*q**2 + q - 16. Suppose 6*o = -5*o + 7*o. Let r be w(o). Which is smaller: 0.1 or r?
r
Let m = -14628/6637 - -14303493/15424388. Let i = 3/332 - m. Which is smaller: i or 2?
i
Suppose -23*q + 117*q = 2820. Suppose -b + 9 + 21 = 0. Is b smaller than q?
False
Let v = 0.032 - 15.032. Let o be 0/(4*(-35)/(-28)). Which is smaller: v or o?
v
Let r = -100 + 201/2. Let b = -1.005 + 1. Which is bigger: b or r?
r
Suppose -2*a + 16 = -10. Suppose 2*o - 5*r - 137 = 217, 696 = 4*o - 4*r. Let u be 2 + o/14 - 2/7. Is u less than or equal to a?
False
Suppose 4*t = -u - 102, 3*u = 2*t + 52 - 330. Are -94 and u equal?
True
Suppose -4*s = -4*w + 1164, -s + 5*w = -57 + 352. Are -288 and s equal?
False
Let f(u) = u**3 - 5*u**2 + 4. Let k be f(5). Suppose -v + 3*t - 7*t = k, -1 = t. Is v < -4/7?
False
Let j(f) = -2*f**2 - 13*f + 107. Let g be j(-9). Is g less than or equal to 424/7?
False
Suppose -7 = t + 2*x, -2*t - 2*t - 4*x - 12 = 0. Suppose -2*s + 11 = -t. Let m be (2 - s)/(8/8). Is -4 >= m?
True
Let p be (-3 + (-176)/(-48))/(1/501). Is p greater than 336?
False
Let i be 72/(-6)*(-3)/(-138). Suppose -u - 25 = 3*s + 4*u, s = u + 5. Do s and i have the same value?
False
Suppose -4*i + 8 = -0*i. Suppose k - i*k = 5*b + 3, 0 = 2*k - b - 5. Suppose 4*h - 8 = 0, 3*h = 3*q + k*q + 1. Which is bigger: 1/33 or q?
q
Let n = 238 + -485/2. Let v = n + 31/6. Let q = 52 - 52. Which is bigger: q or v?
v
Suppose -238*h + 241*h = -102. Which is smaller: h or 2?
h
Suppose 3*c = 5*p - 2 - 1, 3*c - 6 = 2*p. Let b be 72/(-10)*((-77)/21 - p). Which is greater: b or 49?
49
Let m = -1.677 - -1.477. Which is bigger: 0.0998 or m?
0.0998
Suppose 19*z - 402 = 22*z. Is z less than or equal to -133?
True
Suppose 0 = -7*a - 159 + 173. Which is greater: 62 or a?
62
Let w = -87.19 + 83.4. Let u = -0.19 - w. Is -2/7 at most u?
True
Let r = 10366 + -10365. Let u be 2/(-9) - (-356)/(-18). Which is smaller: r or u?
u
Suppose -1301*y + 2172 = -1289*y. Which is smaller: 178 or y?
178
Let l be -1 + 1*(-9)/(-5). Let m(z) = 2*z**2 - 4*z**2 + z**2 + 14 + 13*z + 0*z**2. Let o be m(14). Is o equal to l?
False
Let d = -0.223 - -0.154. Let f = 0.069 + d. Let k = -334/2783 + 4/121. Which is greater: f or k?
f
Let x = 104 - 103. Is x at least as big as -3/125?
True
Let g(n) = n**3 + 15*n**2 - 18*n - 32. Let d be g(-16). Which is bigger: d or 8/101?
8/101
Let c = -10 + 9.64. Let f = c + 17.36. Let k = -17.6 + f. Do k and 2/7 have different values?
True
Let u be ((-38)/8265)/(-2*2/220). Which is smaller: -1 or u?
-1
Suppose 0*x - 3*x - 37 = -2*y, -69 = -4*y + 5*x. Suppose -10*n = -y*n - 22. Is -23 greater than n?
False
Let h be 108 + 136 + 3*-1. Which is greater: h or 242?
242
Suppose -5*u - 2 = -3*y + 1, 5*u - 4*y - 1 = 0. Let s be (-5)/u*(5 + -8). Let i(x) = -x**2 + x + 2. Let o be i(-2). Is o >= s?
True
Let o be 9/(-3)*(-1 + 0). Suppose -4 = 2*w + y, -1 + 17 = -o*w - 4*y. Let j(d) = -d**3 + 6*d**2 + 7*d - 1. Let b be j(7). Which is bigger: b or w?
w
Let d(p) = p**3 - 32*p**2 - 33*p + 4. Let o be d(33). Is 17 bigger than o?
True
Let m = -84.836 + -0.164. Let n = 90 + m. Is -4 greater than n?
False
Suppose 0 = -17*x + 25*x + 8. Which is bigger: x or -9/103?
-9/103
Let s be (-1 + 75/(-6))*2/(-35). Let x = -11/5 + s. Is -1 less than or equal to x?
False
Suppose 7*v - 151 = -32. Let r = v - 18. Which is greater: r or -10/17?
-10/17
Suppose 0 = -4*d - 16 - 28. Suppose 3 - 1 = 2*x. Let l = d - x. Are l and -1 equal?
False
Let o(b) = b**3 - 8*b**2 + 10*b - 1. Let n be o(7). Let k = n - 12. Is 8 greater than k?
False
Suppose 3*g + 64 = -197. Let l = g + 951/11. Suppose -2*b = 5*y - 3*b + 13, -3*y + 3*b - 15 = 0. Is y equal to l?
False
Let o be 6/9*6 + -2. Suppose 0 = -4*c + 6 - o. Which is smaller: c or 29?
c
Let r = -273 + 260.1. Let j = r + 13. Let y = 0.9 + j. Which is smaller: y or -1/2?
-1/2
Let y = -10398/23 - -452. Is -0.5 less than y?
True
Let v be (-32)/(-3)*(-5)/(-2). Let q = 26 - v. Let k = 1.636 - 1.636. Is q < k?
True
Let y(m) = m**3 + 23*m**2 + 20*m - 30. Let c be y(-22). Suppose 18*u = c*u + 8. Which is smaller: u or -0.2?
-0.2
Let i = 0 + 0.2. Let b = i - 0. Let q = -100.9 - -101. Which is smaller: q or b?
q
Let o = 1532 + -522. Is -1 > o?
False
Let u be (-19)/(-30) + 13/156*-6. Which is bigger: u or -3/2?
u
Suppose 20 = -4*q, -3*u - 27*q + 4256 = -25*q. Which is greater: u or 1423?
1423
Suppose 1366*l = 1362*l. Is 12/79 > l?
True
Let f = -22/25 - -2071/2325. Let i = f - 95/186. Is 0 < i?
False
Let d = 31.8393 + 0.1607. Which is bigger: 23 or d?
d
Let j(v) = 6*v - 17. Let c be j(3). Which is bigger: -2/131 or c?
c
Let x = -67 - -45. Let b be x/55 - (-13)/(-5). Let q(h) = 2*h + 6. Let r be q(b). Which is smaller: 1 or r?
r
Let n(g) = -g**3 + 9*g**2 + 10*g + 2. Suppose 0 = -3*k + 18 + 12. Let h be n(k). Suppose b - h - 3 = 0. Are 4 and b non-equal?
True
Let i(j) be the second derivative of -j**4