 be the second derivative of 4*m**3/3 - 37*m**2 + 31*m. Let c be n(30). Is c >= 167?
False
Suppose 291*c + 9434 = 995. Does c = -181/6?
False
Suppose 4*s = 5*d - 4, 0*s - 2 = -d + 2*s. Let o = 4611 + -4613. Is o < d?
True
Let o = 2181/5 + -1699004/3895. Is o > 0.1?
False
Suppose -35 = -o + 2*b, 3*b - 2*b = -2*o + 80. Let c(t) = -t**2 - 12*t - 17. Let y be c(-9). Let x = y - -29. Do x and o have the same value?
True
Suppose 11196 = -5*j - 8579. Let i be 12/(-42) - 990/j. Is i greater than -1?
True
Let l(s) = s**2 - 22. Let h be l(0). Let f(z) = z**3 - 3*z**2 - 9*z + 1. Let x be f(5). Suppose 0 = -5*k + x*u - 11*u - 90, -5*k - 135 = -4*u. Is k >= h?
False
Let s = 18300 - 36720. Let d = s - -18288.99. Let v = 131 + d. Which is smaller: v or 1?
v
Let o = -21.36868 - -0.26868. Do -19 and o have the same value?
False
Let b = -3535 - -3538. Which is smaller: b or -85?
-85
Let h be -5*(0 - 4/(-70)). Suppose 22 = 5*d + 3*a, 4*d - 5*a + 2 + 10 = 0. Suppose 0 = 4*f + 2*u - 18 + 16, -5*f - u - d = 0. Which is bigger: f or h?
h
Suppose 5*s = 4*n + 67, n = -3*s - 8 + 38. Suppose -5*q + 23 - s = t, -4*q = 4*t - 80. Is t >= 26?
False
Let x(k) = k**2 - 5*k - 20. Let q be x(8). Suppose q*n - 580 + 576 = 0. Which is smaller: -9/59 or n?
-9/59
Let n be 6/(-24) + (-5)/(40/1158). Let r be n/(-10) - (4 + -2). Which is smaller: 14 or r?
r
Let h be 255/(-711) - 1/(-3). Let u be (0 - 3) + (1 - -3). Which is smaller: u or h?
h
Let r = 2688 - 2686. Suppose 6*d - 2*d + 5*u - 46 = 0, -5*u - 10 = 0. Is d at most as big as r?
False
Let f = 1.97 + -41.97. Let a = -38.56 - -0.56. Let b = a - f. Is -0.05 < b?
True
Suppose -4*y + 2*f = 0, -8*y - 6 = -4*y + f. Is y at most -44/543?
True
Suppose -7*o = -28*o + 378. Let a be 4/(-42) - (-7)/(294/o). Is a smaller than -0.047?
False
Let r = -8078 - -8080. Is r bigger than -2744?
True
Suppose 0 = 19*c - 9736 + 42967. Which is bigger: c or -1751?
c
Let m = -128 + 1150/9. Let i(z) be the first derivative of -5*z**2/2 + 131*z + 50. Let l be i(27). Do l and m have different values?
True
Let q = 3.1 - 3. Suppose 4*k + 0*h - 48 = 2*h, 5*k - 60 = -4*h. Let l be 10/25*85/k. Which is bigger: q or l?
l
Let g be 187/252 - (-9)/(-12). Let a be (0/1)/(-8 + 10). Which is greater: g or a?
a
Let h be (-22)/(-3)*9/2. Let k = 5152 - 5121. Which is bigger: k or h?
h
Let x = -1063 - -1068. Which is greater: x or 11/5?
x
Let b = 1143 - 100585/88. Let m = -5/88 - b. Let n = m + 6/11. Do 0 and n have different values?
True
Let t = 4.4 + -5.47. Let d = -1.37 - t. Is d less than 1?
True
Let m be 6*((-229)/(-2) - -4)/3. Which is smaller: m or 1192/5?
m
Let w = -125 - -127. Suppose -4*m - w*m = 2*m. Suppose 4*n - 47 = 5*j, -51 = -4*n - m*j + j. Is 72/5 < n?
False
Let m = -86 + 100. Let d = m + -5. Which is smaller: 12 or d?
d
Let a be (-11)/(15/(-21)*2/(-10)). Let u be (-73 - a) + 374/(-7). Which is smaller: 0.1 or u?
u
Let o = 8790 + -8789. Let t be 114/(-357) - (-7)/49. Is t greater than or equal to o?
False
Let v = -4129 - -4121. Which is smaller: 1.96 or v?
v
Let f be ((-15)/(-108) + (-11)/(-99))/(2/8). Is 4/1973 at least as big as f?
False
Let y = -42.149 - -0.149. Let j = -41.99 - y. Which is smaller: j or 0.09?
j
Let w = 2551 - 2552. Is -25/109 != w?
True
Let f(c) = 14*c**2 + 13*c - 16. Let z be f(9). Let v = 1180 - z. Suppose -3*q - 196 = q + 4*a, a = 2*q + 113. Which is greater: q or v?
q
Let h(f) = -23*f + 3*f**2 + f**2 + 5 - 3*f**2 + 10*f. Let q be h(5). Let z = q + 179/5. Is z > 1?
False
Let m = 11847 - 11839. Which is greater: 1153 or m?
1153
Let o be (-32)/(-12)*12/10. Let z(a) = a**3 + 20*a**2 + 7. Let f be z(-20). Suppose 3*r = -5*v + 8, 4*r + f = -9. Is v >= o?
True
Suppose -g + 3*n - 12 = 0, -4*n = g - 9*n + 18. Let k(y) = y + 4. Let s be k(g). Let b be (6/(-21)*(-6)/4)/((-345)/(-483)). Which is greater: s or b?
s
Let h = -13 + 36. Let q be 11040/420 - 2/7. Which is greater: q or h?
q
Let i(p) = 0 - p + p**2 - 5 - 2 - 7. Let g be i(-5). Are 17 and g equal?
False
Suppose 19*h - 67 = 28. Suppose -13 = h*l - 2*w, -9*l - 4*w + 14 = -7*l. Is 5/26 < l?
False
Let d(t) = -2*t + 15. Let u be d(10). Let v be (((-20)/(-8))/u)/((-3)/(-6)). Let b be -5 - (0 + (3 + v - 0)). Which is greater: b or -15/2?
b
Let y be (-2)/(-3*4/18*-3 + -4). Are 3/590 and y non-equal?
True
Let j be (-1 - -5)*9/6. Let d = -15 + j. Let p = -20152 - -20149. Is d at least as big as p?
False
Let n be (1 - 0 - -15)*(-2)/(-4). Let i(a) = 4*a - 32. Let q be i(n). Do -6 and q have the same value?
False
Suppose -2*r = -7*r. Let s be (100/3 + r)*3. Let d = s + -79. Which is greater: -0.1 or d?
d
Let d = -30.8 - -12.3. Let l = d - -18.1. Is 0.3 != l?
True
Let r = 0.5 - 2.72. Let z = r - 145.78. Let g = 140 + z. Is g at most -0.1?
True
Let j(k) = -k**3 + 36*k**2 - 67*k - 33. Let c be j(34). Let d be (-3)/(-6) - 5/(-14). Which is smaller: c or d?
d
Let g = 0.4 + -0.342. Let k = 0.142 + g. Let u = -186 - -927/5. Which is smaller: u or k?
u
Let x = 1628 - 3255/2. Is x < 0.15?
False
Suppose 1092*a - 1073*a + 19 = 0. Suppose 5*p - 3 = 4*p. Let k be (-1 + p/6)*a. Which is greater: 27 or k?
27
Let t(u) = -289*u + 5093. Let j be t(18). Which is smaller: j or -19?
j
Let w = -25.5 - 109.5. Let c = -89 - w. Is 0 smaller than c?
True
Let c = -67 + 66. Let r = 6.048 + -0.048. Let t = r + -6.2. Which is smaller: t or c?
c
Let a = 3 - 1. Suppose -4*r + 8 = 0, -5*r + 10 = 3*m - m. Suppose 0 = -m*k + k + a. Which is smaller: -6 or k?
-6
Let n(z) = -1 - 4*z + 3 + z + z**2. Let k be n(2). Let g be 194/90 - 2 - (-38)/((-11210)/59). Which is greater: g or k?
k
Let g = 7305 + -7544. Is 0.1 != g?
True
Suppose 5*b = -5*n - 14 + 164, 4*b - 130 = -2*n. Suppose -5*a = 15, -4*r - 116 = -3*a + b. Let h = -39 - r. Which is greater: 2/13 or h?
h
Let r = 786.9 + -786.79. Does 590 = r?
False
Let c = 2.9 + -5.9. Suppose 0 = 27*k + 14 - 473. Is c not equal to k?
True
Let a(v) = 8*v**2 + 23*v. Let k be a(7). Suppose 0 = -13*b + k - 1931. Is -107 smaller than b?
True
Suppose 0 = 3*t - d + 126, 29*t + 10 = 28*t - 5*d. Which is greater: -142/3 or t?
t
Let q = 62051/2 + -684351/22. Is q at most as big as 1?
True
Let j = -11 + 49. Suppose 2*s + 3*x - 31 - 44 = 0, 4*s - 4*x = 160. Let c = s - j. Which is smaller: 0 or c?
0
Let l = -5502 - -1865180/339. Which is greater: l or 1/4?
1/4
Let o(w) = 4*w + 95. Let s be o(-22). Let r = s + -21. Which is smaller: r or -11?
r
Suppose 14*y = -5*y + 5*y - 308. Is y < -23?
False
Suppose n + 5*u - 1 = 0, u + 3*u - 54 = 3*n. Let i be 28/24*830/n - -1. Let q = i + 68. Are 0.2 and q equal?
False
Let v be 2/(8/220*5). Is 246/25 greater than v?
False
Let s = -0.2027 + -225.7973. Is s >= 0.13?
False
Let x(m) = -m**2 + 6*m + 17. Let q be x(9). Let z = q - -13. Suppose z*d + 0*d - 20 = 5*b, -5*b + 4*d - 20 = 0. Is -4 greater than or equal to b?
True
Let u = 116 - 74. Let o = u - 38. Suppose -4*w + 4*j + 110 = -j, 5*j = -o*w + 130. Which is bigger: w or 31?
31
Let r be (-3)/((-5)/((-100)/(-12))). Suppose r = 3*o + 20, 0 = 3*c + 2*o - 2. Let f be ((-25)/(-10) - 2)*0/c. Which is bigger: 3/67 or f?
3/67
Let x = -658 - -1156. Let c be ((-3328)/440)/(6/(-395)). Let b = c - x. Are b and 1 nonequal?
True
Let m(c) = -c**3 - c**2 + 4*c. Let d be m(0). Let f be 36/(-14) - (-2 - 0). Do f and d have different values?
True
Let x(t) = 13*t**2 - 3*t + 3. Let y(m) = 25*m**2 - 6*m + 5. Let p(g) = -5*x(g) + 3*y(g). Let z be p(3). Let o = 82 - z. Is o > 2/29?
True
Let s = -149336/37856735 - -36/7585. Which is greater: s or 1?
1
Suppose -2*u = 4*x + 970, -3*u - 5*x - 1931 = -476. Which is greater: u or -4358/9?
-4358/9
Suppose 5*y + 270 = -0*y + 4*v, -270 = 5*y + 5*v. Suppose -5*z + 4 = f - 0*f, f = -4*z + 4. Suppose z = 3*x + 125 + 37. Is y at least as big as x?
True
Let g = -13/257 + 4395/514. Let p(u) = -3*u - 5. Let i be p(-5). Which is greater: g or i?
i
Suppose n - 3*w + 1 = 9, -5*w - 20 = -5*n. Suppose -n*m + 141 = -1. Suppose 0 = -m*v + 67*v + 20. Is v less than 7/2?
False
Let z = -7221 + 6563. Which is smaller: -657 or z?
z
Let n = 11553 + -11524. Which is greater: 17 or n?
n
Let d(f) = -f**3 + 3*f**2 + 4*f - 3. Suppose -g - 5*c - 16 = 0, -4*g = g + 5*c. Let y be d(g). Let s be ((-4)/5)/((-2)/(10/y)). Which is smaller: 0.1 or s?
s
Suppose 0*b = -b - 1. Let u be 3*b/(-1)*20/15. Suppose u*w - 2*o = 10, 5 = -w + 