= -20 + 30. Let m(l) = -4*l**2 + 7*l + 2. Suppose 0 = -4*b + 2*j + 18, -b + 3 = -j - 4. Let a be m(b). Which is bigger: u or a?
u
Let s = 60.65 - 60.6. Do 26 and s have different values?
True
Suppose 0 = 19*t - 22*t - 66. Let f = -24 - t. Is -7 at most as big as f?
True
Let h = 45.3 - 49. Let w = h + 3.7. Which is smaller: w or 6?
w
Let x be ((-1)/(-1) - 0)*(-142)/142. Which is smaller: 1/93 or x?
x
Let n = -541519/373926 + -1/12894. Is -1 greater than n?
True
Let a(v) = 2*v**3 - 16*v**2 + 1. Let i be a(8). Let u = -1337/520 + -3/104. Let g = u + 73/30. Are g and i unequal?
True
Let p be (-1)/(2/4 - 1). Suppose 1 = r - p*r. Let j(g) = g + 5. Let v be j(-8). Which is bigger: v or r?
r
Let r = -5.2 + 5.4. Let l = -4 - 0. Which is smaller: r or l?
l
Let h = 11 - 26. Let i = h - -17. Suppose -6 = 2*v + 4*o, 0 = v - o - 2*o - i. Which is greater: v or -2/33?
-2/33
Let o = 629/105 + -4/21. Which is greater: 6 or o?
6
Suppose -4*p + 6 = 18. Suppose -3*w = 15, -3*q + w = -w - 37. Let g be p*(2 - q/6). Which is smaller: 0 or g?
g
Suppose 0 = 2*u - 4*t + 6, -3*u - 5 = -4*t - 2. Suppose 5*a + 5*q = 105, -u*a = 2*a - 5*q - 55. Let j be ((-1)/78)/(4/a). Is 0 < j?
False
Let d = -12.218 + 0.218. Is d greater than -6/5?
False
Let f(b) be the first derivative of b**2/2 + 3*b + 5. Let k be f(0). Suppose -5*q = -j + 17, k*j - 4 = 5*q + 7. Which is greater: j or -4?
j
Let i be (-2)/(-3) + (-66)/207. Let q be ((-22)/(-46) - (-13 - -8)) + -6. Let s = i + q. Is s at most 0?
True
Let h = -1 + 0. Let a be 4/(-12)*(h + -17). Suppose 3*t = v - 10, -v + a*v + 10 = -5*t. Is 2 smaller than v?
False
Suppose 0 = -5*t + 15, 5*f - 5*t - 21 = f. Let k = -646 + 654. Does k = f?
False
Let x be 6/(-5)*(-25)/15. Suppose 2*d + 120 = -2*d + 5*k, 0 = -3*d + x*k - 97. Let a be (-2)/(-10) + (-133)/d. Is a >= 2?
True
Let t be (5/(-25)*0)/(-3). Let x be (36/60)/(t - (-6)/(-4)). Which is greater: 48 or x?
48
Let i(l) = -186*l**3 + 4*l**2 - 3*l. Let u be i(1). Let s = u + 944/5. Which is smaller: s or 4?
s
Let l be -3 + ((-135)/(-33) - 2). Let q be 30/195 - (-732)/(-26). Let u be q/4 + 4 - -3. Which is smaller: u or l?
l
Suppose 8*o = 5*o - 3. Which is smaller: o or -13/35?
o
Let b = -1624 - -1582. Does 2/3 = b?
False
Suppose 0 = -75*k + 3146 + 529. Is 49 greater than k?
False
Let g(a) = a**3 + 6*a**2 + 2*a + 14. Let q be g(-6). Let d be 2*q/(-48)*2. Suppose -x = -3*x. Is x greater than or equal to d?
True
Let y be 6/4*(-872)/(-48). Let h = 1797/68 - y. Let g = h + 89/170. Is g >= 1?
False
Let j(s) = -s**3 + 7*s**2 + 8*s + 4. Let r be j(8). Let t = -13/3 + r. Which is greater: 1 or t?
1
Let i be -63*(25/(-5) + 4)/(-3). Is i <= -83/4?
True
Let i = -223 + 216. Let v = 6 - 5.9. Is v < i?
False
Let c = 60 - 56. Suppose 4*d + c*k - 16 = 0, d - 7*k = -6*k - 6. Is -3/76 < d?
False
Let f be 696/9 + (-8)/(-12). Which is greater: 85 or f?
85
Let l be 6*(-9)/(-54) + 102/(-3). Which is bigger: l or -32?
-32
Let n = 161.6 + -161.66. Which is greater: 2/3 or n?
2/3
Let y(p) = 6*p - 52. Let u be y(8). Suppose 4*b - 2*g + 4 = 0, b = -0*b - 4*g - 1. Let w be (-2)/(-4) + b/(-2). Which is smaller: w or u?
u
Let u(q) = -1 - 3*q**2 + 3*q**2 - q**3 + q**2. Suppose 0 = 2*y + 7*y + y. Let l be u(y). Which is smaller: l or 2/35?
l
Suppose -2*h - 2*h + 299 = 3*z, h + 2*z - 71 = 0. Let o = -72 + h. Does -0.09 = o?
False
Let h = 11 + 6. Suppose -h = 6*g - 11. Is g smaller than 2/103?
True
Let t be (0 + (-1 - 0))*6. Let f(s) = s**3 + 11*s**2 - 12*s - 6. Let n be f(-12). Let l = -12 - n. Is l bigger than t?
False
Let b be (-8)/28 - 2994/(-42). Is 73 at least as big as b?
True
Suppose 0 = -2*q - 2*b - 18, -3*b = -5*q + 2*b - 75. Let m = -10 + q. Are -22 and m equal?
True
Let c(m) = m**3 + 4*m**2 - 13*m - 4. Let j be (0 - -3) + (-5 - 4). Let y be c(j). Do y and 3 have the same value?
False
Let x = 0.0613 + 17.6387. Which is greater: x or -0.1?
x
Suppose -1 = g - 2*s + 3, 0 = s - 2. Suppose -10 = 4*o + 14. Is o <= g?
True
Suppose 5*d - 6 = 3*y, 3*y + 4 = -4*d + y. Which is smaller: 15/46 or d?
d
Let z = -39572.046 + 39613. Let c = 0.046 + z. Which is smaller: c or 1?
1
Let b = 651 - -343. Let i = 179912/181 - b. Is i greater than 0?
False
Suppose -r + 161 = k - 4*k, 5*r - 821 = -k. Let p be r/68 + 2/(-1). Is p > 0?
True
Let q be (-2)/3 - 2/6. Let v = 986/15 - 38444/585. Are v and q nonequal?
True
Let o = 2.82 - 24.72. Let y = 22 + o. Let h = -5.08 + 0.08. Which is smaller: h or y?
h
Let c = 0.65 + -0.4. Let x = c - 0.3. Let t = x + -0.35. Which is greater: t or -1?
t
Let s(u) = -30*u - 148. Let j be s(-5). Let y = -2/1031 - -8262/7217. Do j and y have the same value?
False
Let a be 4/8 - 18/(-4). Suppose 4*s = -2*c - 6, 4*s = 3*c + 14 + a. Let b = 1/88 - -65/88. Which is greater: b or s?
s
Let o be 4/(10 - -2) - (-222)/(-678). Which is greater: o or -1?
o
Let u = 3 - 2.9. Let v = -0.1 + u. Suppose -17 = 5*o + 3. Which is smaller: v or o?
o
Let f(h) = h. Let w(r) = 2*r**3 - 2*r**2 + 3*r + 2. Let o(u) = -5*f(u) + w(u). Let l be o(1). Let i be ((-6)/(2 - 1))/11. Which is smaller: i or l?
i
Let i be 1/(-2)*2*-3. Suppose 5*m = -173 + 188. Is i != m?
False
Let f be (-46 - -2)*(-776)/(-32). Is f equal to -1068?
False
Let f = -2271 - -2269. Is -330 at most as big as f?
True
Let l(j) = -425*j - 11. Let t be l(1). Which is bigger: -437 or t?
t
Let m be -1*1/(-7)*-3*-31. Is 14 <= m?
False
Suppose -2*j = 45 - 33. Let t(y) = -y**2 - 10*y - 21. Let r be t(j). Which is smaller: r or 21/8?
21/8
Let w(a) = 14*a - 284. Let j be w(22). Is 10 < j?
True
Suppose 6*m - 98 = -5*s + 10*m, -3*s + 50 = 2*m. Does s = 17?
False
Let r be 38/(-6)*(7 - -2). Let v = r - -169/3. Let t be 0 + (-4)/(-12) + (-2)/6. Is v at most t?
True
Let h(x) = -15*x - 121. Let j be h(-8). Suppose 0 + 21 = -3*p. Let u be (-2)/p - (-2)/(-7). Is u at most j?
False
Suppose -66*v + 78 = -92*v. Which is greater: 133 or v?
133
Let n = 16136001785749/44468700100 - -201/93618316. Let h = 4666/275 - n. Let s = h + 346. Is s smaller than 1/6?
True
Suppose 2*t + 10 = 0, -2*w = -t + 49 - 14. Let c be w + 12/((-20)/(-5)). Let r be (-1)/2 - c/42. Is r < 0?
True
Suppose -7*i + 6*i = 0. Which is smaller: i or -2/13?
-2/13
Let x be (-4 + 4)/(10 - 14). Is 0 >= x?
True
Let h = -187.9 + 188. Is h at least -1.15?
True
Suppose 9*q + 343 = 2*q. Which is greater: -52 or q?
q
Let g = 19 - 30. Let d = 7 + g. Let k be (10/28)/(2/d). Is k <= -2?
False
Let k = 0.096 - -0.004. Let m = -671/36 + 75/4. Which is smaller: k or m?
k
Suppose 0 = -4*v - r + 7, r = -2*r + 9. Suppose 2*l + 299 = -47. Let c = 524/3 + l. Is v < c?
True
Let n = 41791 - 78457. Let x = n - -182692/5. Let h = x - -128. Which is greater: h or -3?
h
Let w(l) be the first derivative of l**2 - 4*l + 2. Let o be w(3). Suppose 3*z + 101 = -2*c - 3*c, -o*c - 50 = -2*z. Is c greater than or equal to -21?
False
Suppose 3*a - 7 = -1. Suppose -2*r - 16 = a*r. Suppose -54*s - 271 = -109. Which is bigger: s or r?
s
Let f = -4 + 9. Suppose -5*n = -2*i + 22, -2*n + 4*i = -3*n - 22. Let s = f + n. Which is smaller: s or -3/5?
s
Let b = 0.134 + -0.017. Let h = b - -0.083. Let c be ((3*2)/(-2))/1. Is c at most h?
True
Let o = 465 - 3245/7. Which is greater: o or 26?
26
Let p be ((-2730)/1375 + 2)/18. Is 0 >= p?
False
Let p be 1*(4 - 4158/1043). Is -2 at least p?
False
Let u = -2.478 + 0.478. Which is smaller: u or 4.9?
u
Let u be (-4)/((-24)/98) + (-4)/12. Suppose 0 = -8*f + u*f. Which is bigger: 2/409 or f?
2/409
Let c = 131 - 163.2. Is c > 1/3?
False
Let g(v) = 3*v - 29. Let a be g(17). Let q = 23 - a. Let c = -12260/21 - -584. Do q and c have different values?
True
Let x be 2/7 - 37/7. Let m(k) = -k**2 - 4*k + 4. Let h be m(x). Let y be 15/((-16650)/(-20))*6/(-4). Which is smaller: y or h?
h
Let k(p) be the first derivative of p**4/4 + p**3/3 + p**2/2 + p - 1. Let g be k(-1). Suppose 0 = 306*z - 310*z + 8. Which is smaller: z or g?
g
Suppose 5*k = -2*x - 54, -69 = 5*k - 5*x + 2*x. Let r be 4/72*4*1/k. Are r and 1 nonequal?
True
Let m = -16 - -61. Let a = m - 44. Which is smaller: -2 or a?
-2
Suppose 3*h - 7*h - 137 = 5*u, 0 = -2*h - 5*u - 81. Suppose 4*i + 61 = -92 + 41. Is i greater than h?
False
Suppose 4*z - 16 = -0*z. Suppose -1 = -3*k + 2*x - 3*x, 3*x = 3. Suppose 0 = -j - u + 8, k*u = -5*u + 15. Is j greater than z?
True
Let o be ((-3)/5)