 + -5)/14)/((-1)/(-38)). Let o be c + (-2 - (0 - 5)). Is o equal to -16?
True
Suppose 0 = -5*l - 5, 0 = 5*u - 2*l + 5*l - 22. Let r be 2/u + (-110)/(-225). Let a = -235/26 + 1123/130. Which is smaller: a or r?
a
Let f = 1219287973/8457 + -144175. Which is greater: f or 0?
0
Let y = 891/2 - 27749/62. Is -1 < y?
False
Let q = 19.6 + 1.4. Let y = 17750.8 + -17752.8. Is y smaller than q?
True
Let k = -80.082 + 80. Let j = k + 0.108. Is -1 smaller than j?
True
Let h = -4338/7 + 621. Let w(l) = l**2 + l - 4. Let t(v) = 2*v**2 + 14*v + 14. Let r be t(-6). Let a be w(r). Which is bigger: a or h?
a
Let l(z) = -7*z + 47. Let d be l(5). Let r be (-2 - (-39)/6)/((-1)/d). Let p be (-2)/(-48) + r/144. Which is smaller: 1 or p?
p
Let u = -1880/277 - 266413/16620. Let r = 112/5 + u. Let x = -2.026 + 1.926. Is r equal to x?
False
Let u = -4/21 + -55/42. Let v = 0.76 - -14.44. Let c = 14 - v. Is u greater than or equal to c?
False
Let d = 17924 - 17426. Which is greater: 509 or d?
509
Let o(k) = k**3 - 13*k**2 - k + 16. Let h be o(13). Suppose 0 = -4*z + 12, 4*f + 15 = h*z + 2. Which is greater: -21/20 or f?
f
Suppose 2*m + 7 = 3*o + 2*o, -4*o + 4*m - 4 = 0. Let d = 2 + 0. Suppose -d*p - o*p = 0. Which is greater: p or 1/35?
1/35
Let x = -4 - -8. Suppose -x*w = w. Let a be ((-402)/(-183) + -2)*(-279)/(-1116). Do a and w have the same value?
False
Let k be (-10)/5 + 1*-1 + 3. Let x(u) = -2*u - 2. Let z be x(k). Let l be (5/(-25))/(4/10). Is z at most l?
True
Suppose -3*j = 3*a - 7*a - 20, j + 6 = -5*a. Suppose 5*v - 86 = 3*n, -j*v + v = -2*n - 56. Which is smaller: -24 or n?
-24
Let m(b) = -6*b**3 - 1. Let u be m(-1). Let z = 214 + -209. Let w be 6 - ((-61)/(-9) - z). Is w >= u?
False
Suppose -7*d - 8*d = 0. Suppose -p + 4 = d, 5*g + 18 - 2 = 4*p. Which is smaller: g or 5?
g
Let n(c) = -c**2 - 2*c - 1. Let h be n(-1). Let i = -4018975/111 + 36207. Which is smaller: i or h?
h
Let j = -1455 + -1669. Let g be 4/(-46) + j/(-1012). Are g and 3 nonequal?
False
Let k be 2/12*-4*11/143. Which is smaller: k or -0.39?
-0.39
Let c = 43 + -17. Suppose 10*p - 14 - c = 0. Let a(o) = -7*o + 17. Let n be a(2). Is n > p?
False
Let n be (-8)/2 + 0 + -2. Let w be 15/(735/(-287)) + (-12)/(-14) - -8. Which is smaller: n or w?
n
Let m be -58 - -43 - (0 + -15). Which is smaller: m or 11661?
m
Let l = -1223 - -724.1. Let n = l - -499. Is n > 19?
False
Suppose -a + 4 = 8. Let w be (3/(-6))/((a/(-1))/(-8)). Which is greater: w or -8/23?
w
Let v be ((21/(-14) - -2)*116)/((-8)/96). Which is greater: -700 or v?
v
Let s be (8/30)/((-7)/3)*-2885. Which is smaller: 331 or s?
s
Let i be (54/45)/((-6)/(-100)). Let c be (-6 + 128/i)/16. Which is bigger: 1 or c?
1
Let c = 12624 + -63124/5. Is c bigger than 0.523?
False
Let g be 0 - (53/(-11) - (-10)/(-55)). Suppose -g*r = 3*p - 34 - 0, -30 = -3*p - 3*r. Let u be p/(-4) - 1/((-132)/260). Is 0 at most as big as u?
False
Let l be ((-4)/8)/(-1 + 1055/1068). Let y = -66854/1625 + l. Is -1 at most y?
True
Let n = 43 - 1. Let l = 5036 - 15235/3. Let k = n + l. Is -5/4 at least k?
False
Let m = 3.12 + -1.58. Let d = -33.34 + m. Let n = 32 + d. Is n at most as big as 16?
True
Let r(q) = q**2 + 6*q - 23. Let m be r(-20). Let z = -1287/5 + m. Which is greater: z or 98?
98
Suppose -3*v + 63 = -51. Let u be v - ((-6)/15)/((-1)/5). Let l be 392/(-18) + (-8)/u. Is l greater than -21?
False
Let a = 2262 - 2256. Let p(z) = z**3 + 9*z**2 + 9*z + 13. Let y be p(-8). Which is greater: a or y?
a
Let s(v) = -v**3 + 7*v**2 - 6*v - 22. Let f be s(6). Is f greater than -36?
True
Let c = 4282 - 4283. Which is smaller: -0.11265 or c?
c
Let i(w) = 231*w - 21. Let f be i(3). Suppose 0 = 20*p - 14*p + f. Is p != -112?
False
Suppose -3*z + 5775 - 2259 = -4*o, 4*o - z = -3524. Which is smaller: -881 or o?
o
Suppose 4*u = z - 0*z + 7, -4*z + 5*u + 5 = 0. Suppose c - 4*i - z = -5*i, 0 = 4*c + 3*i - 15. Suppose 5*n + 5 = c, 5*f - 49 = f + n. Which is greater: f or 10?
f
Let r(k) = -k**2 - 103*k - 491. Let a be r(-5). Is a at most -23?
False
Suppose 205*n + 165*n = 51*n + 957. Which is smaller: n or 127/58?
127/58
Let o = -8479 + 8470. Are 11 and o equal?
False
Let f be -8*((-2 - -6) + (-30)/5). Suppose 20*m = f*m + 84. Which is smaller: m or 17?
17
Let l = -2192 - -2212. Which is smaller: l or 153/8?
153/8
Let l = 685 + -873. Let d = l - -398. Do d and 1 have different values?
True
Let u(t) = -17*t - 1. Let m be u(4). Suppose 11*h - 266 = -1036. Let k = m - h. Is 1/46 not equal to k?
True
Let b be (-3)/3*1*5. Let a = b - -6. Let m be (-10)/6*(462/30 + -16). Is a less than or equal to m?
True
Suppose -9 = k - 23. Suppose -n + a - 1 = 21, 0 = -4*n + 3*a - 86. Let p be 20/4 + n/(-2). Is p > k?
True
Let h = 20637 - 21323. Is -685 < h?
False
Let v = 77 - 138. Let r = -42 + -23. Let j = v - r. Which is smaller: -2 or j?
-2
Suppose l - y = -4212, 0 = 2*y - 251 + 255. Does -4213 = l?
False
Suppose 2*p + 5*n - 7765 = -3*p, 0 = -3*p + 4*n + 4666. Suppose 25*g = -17*g + p. Which is smaller: g or 35?
35
Suppose 2*u - 469 = f, 3*u - 2*f - 789 + 88 = 0. Is u < 228?
False
Let j = 174106 - 1950509520/11203. Which is smaller: -1 or j?
-1
Let f(w) be the second derivative of -w**5/20 + 4*w**4/3 + 19*w**3/6 - 33*w**2/2 - 2*w. Let g be f(17). Let t = 43/9 + -523/117. Which is greater: t or g?
g
Suppose -13 = -f + j, 2*f + 4*j - 32 = -0*f. Suppose h + 4*o = -f, -5*h - 4*o + 6*o + 18 = 0. Is h at most 2?
True
Let b = -2458 - -2388. Let d = -55 - 17. Which is greater: b or d?
b
Let y = 324 - 247. Let k be ((-6)/4)/(33/y). Which is smaller: k or 3?
k
Let v = -9310 - -1698. Do v and -7612 have the same value?
True
Let u(h) = h**3 + 9*h**2 + 3*h - 6. Let a be u(-8). Suppose 4*n + p = 4*p + 31, -2*p = -4*n + a. Let d(f) = -f + 12. Let v be d(3). Which is bigger: v or n?
n
Let d be (276/90 - 3)/(-1). Which is greater: d or 1?
1
Let k(l) = -l**2 - 24*l + 86. Let r be k(-27). Let n be (-110)/(-153) + r/(90/4). Which is bigger: n or 0?
n
Let j = -16577 - -40625. Is 24048 equal to j?
True
Suppose -10*j - 90 = 5*j - i, 0 = j - 4*i + 6. Let w(c) = -c**2 + c. Suppose 2*y + 5*p = 16, -9 = -3*y + p - 2. Let u be w(y). Is u equal to j?
True
Let v = 719.2 - 1066. Let g = -347 - v. Which is smaller: 1/28 or g?
g
Let c = 206 - -412. Let t = -524 + c. Which is bigger: t or 2/3?
t
Let k = -707 - -330. Let b = -452 - k. Which is bigger: 0.1 or b?
0.1
Let r be 3/(10/8 - 2/8). Let s(i) = 16 - i + r + 2*i - 43. Let q be s(25). Is -6 at most q?
True
Suppose 37 = 14*b + 163. Let p(w) = -3*w**3 + w**2 - w - 2. Let q be p(-1). Suppose -2*x + q + 12 = -v, -4*v - 50 = -3*x. Which is smaller: b or v?
v
Let q = -5 - 81. Let k = -6893 - -34897/5. Let f = k + q. Is f equal to -2?
False
Suppose 5*x = 82 + 53. Suppose 2*i - 52 = -21*j + 26*j, -34 = -2*i - 4*j. Is i smaller than x?
True
Let s be -8 + -1 + 4 + (-7)/((-21)/18). Is s at least 0.0088?
True
Let g = 35 - 176/5. Let p = -1941 - -1941.046. Which is smaller: p or g?
g
Let k = -930 + 929.8562. Let l = 3.8562 - k. Let o = 0.06 + 0. Which is greater: l or o?
l
Suppose -82*d + 574 = -68*d. Does d = 293/7?
False
Suppose -j = 2*q + 396712, -5*q + 2*q - 595068 = -3*j. Let p be 0/2 - q/77231. Let h = p - -2/649. Is h at least 1?
True
Let v(m) = m - 13. Let t(y) = -y - 1. Let c(f) = -2*t(f) - v(f). Let q = 2890 - 2903. Let a be c(q). Which is smaller: a or -1?
-1
Suppose 5*c - 40 = -5*j, -3*c = 2*c - 4*j - 40. Let k = 87237 + -87237.3. Which is smaller: k or c?
k
Let x = 252 + -253. Which is smaller: x or 31.44?
x
Suppose 0 = -26*g + 62*g - 50097 + 8517. Which is smaller: g or 1157?
g
Let c be (24/6)/(2 - 12/8). Let y be c/9*6/(-4) + 2. Which is smaller: 1.2 or y?
y
Suppose p - 8843 = 4*k, -4*k + 2*p = -2*p + 8840. Let f be k/(-22)*(-2)/(-27). Let s = -16/9 + f. Do s and 6 have the same value?
False
Suppose 0 = -314*i + 55541 - 264665. Is -664 smaller than i?
False
Let a(b) be the second derivative of b**4/6 + 7*b**3/3 + 25*b**2/2 + 16*b + 7. Let n be a(-4). Which is bigger: n or 3/23?
n
Let h be (-2)/1 - (4149 + -5 - (-6 + -1)). Is -4155 bigger than h?
False
Let n = 87 - 84. Suppose -16*w + 19*w + n = 0. Which is smaller: -33/14 or w?
-33/14
Let a(l) = -32*l**3 - l**2 + 2*l - 1. Let d be a(3). Let b = d + 510. Is -357 <= b?
False
Let a = 24540 - 24535.599. Are a and 0.1 nonequal?
True
