5*g - 160 = -9*f + 7*f, 5*f = -5*g + 400. Does 78 = f?
False
Let f = -10 - -18. Let m = 23 - f. Let q = m - 15. Is 1 != q?
True
Let f be (-3)/7 + (-10377)/(-7). Suppose 5*x = -f - 1878. Let h be (-12)/15 - x/40. Is h at least 16?
True
Let k be -4 + 3 + -4 + 41 + 4. Which is smaller: k or 41?
k
Let r be (-121100)/13460 + (-1 - -10). Which is greater: -1 or r?
r
Let l(t) = -t - 2. Let s be l(2). Let k(q) be the second derivative of -q**3/6 + 3*q**2 - 2*q + 13. Let a be k(s). Is 10 at least as big as a?
True
Let s = -11258/17227 + 1/749. Which is greater: s or -1?
s
Let k(i) = i**3 - 11*i**2 + 11*i - 11. Let r be k(10). Let n be r*(0 + 3) + 3. Let j = -61772/71 + 870. Is n >= j?
True
Suppose -2*a - 4*r + 36 = 0, 4*r - 10 = -4*a + 58. Suppose 0 = 5*v - 9*v + a. Suppose 10*h = 15*h - 10. Is h at most as big as v?
True
Let s(f) = -f**3 + 6*f**2 - 1. Let u be s(6). Let j be 5/(-80)*(-1416)/10 + -9. Which is greater: j or u?
j
Suppose 0 = -4*r + 3 - 7. Let a be 8/(-12)*(-3)/(-19). Is r at least a?
False
Let m(y) = 3*y - 154. Let x be m(18). Is x smaller than -99?
True
Let q = 348 - 352. Which is bigger: q or 0.1?
0.1
Let v(b) = -2*b**3 - 14*b**2 - 4*b - 3. Let y be v(-6). Which is greater: y or -2/3?
-2/3
Let s = -305/9456 + 26982695/293136. Let b = s - 92. Is b greater than or equal to 1?
False
Let s = -55 + -37. Let v = s - -96. Is 4 <= v?
True
Let w(r) = r. Let i be w(-2). Suppose -10*c = -c + 90. Let t(j) = -2*j**2 - 20*j - 1. Let g be t(c). Is g less than or equal to i?
False
Let t be 0 + (-1368)/(-16)*(-4)/6. Is -57 at most t?
True
Let n be (38/76)/(2/4). Which is greater: n or -3/122?
n
Let o = 3192 + -3168. Let u = -16 + 14.9. Let y = u - -1. Are y and o equal?
False
Suppose -19*y - 7 = -26. Which is smaller: y or -3/2?
-3/2
Let s(i) = -i**3 - 6*i**2 + 8*i + 4. Let g be s(-7). Let b(d) = -d. Let j(m) = -m**2 + 4. Let v(u) = -4*b(u) - j(u). Let q be v(-4). Which is smaller: g or q?
q
Let s = -1 - -3. Let p be 2/2*-6*(-3)/3. Let a be -6*20/(-315) - (-2)/p. Is a at most as big as s?
True
Let f = 21.84 - 21.8491. Which is smaller: f or 1?
f
Let p(s) = s + 1. Suppose 0 = -4*d - 2*v + 38, -d = 2*v + 2*v - 27. Suppose -3*f = -d*f - 16. Let j be p(f). Which is greater: j or -12/7?
-12/7
Let h = -42623/16 - -2664. Suppose 1 = -n + 2. Which is greater: h or n?
n
Suppose -10*s + 15*s = 2*o - 20, -4*o + 4 = -s. Which is smaller: o or 22?
o
Let x = -4678/9801 - -40/81. Suppose -2*d + 1 = -1. Is x equal to d?
False
Let o be (16 - 14) + (4 - 1). Suppose o*k = -5*v - 93 - 7, 3*v - 2*k = -40. Is v > -15?
False
Let u be (-130)/221*(-4)/(-14). Let q be (0 - (-4)/(-136))*-4. Let s = q - u. Do s and 10 have different values?
True
Let h be (-2)/(-9)*-6*(-11)/34. Which is bigger: 1 or h?
1
Let p = -15 + 0. Let s be -16*(-7)/(-6 + -8) + -5. Is s less than p?
False
Let u(s) = -232*s - 695. Let a be u(-3). Is -10/21 equal to a?
False
Let u(r) = -r**2 - 5*r + 9. Let h be u(-6). Is 5/2 equal to h?
False
Let y = 258 - 82. Is 176 at least as big as y?
True
Let l be 8/2 + (-8548)/2136. Are l and 1 non-equal?
True
Suppose -11*b + 1210 = -b. Is b smaller than 121?
False
Let k = -2.9 - -220.9. Which is smaller: -2/7 or k?
-2/7
Let p be -11 + -2 + -1*1/1. Let t be 21/111*144/p + 2. Which is greater: t or 0?
t
Let n = -0.0021 + -0.1979. Let x = -0.1 + 0. Do n and x have the same value?
False
Let f(j) = -4*j**3 + 2*j - 1. Let t be f(1). Let v be (1 + -1)/(t/3). Let k be 6 - (-1)/(25/(-130)). Which is smaller: v or k?
v
Let q = -494 + 493. Is q >= 3/214?
False
Let m = -11224 - -11288.03. Let s = 64 - m. Which is smaller: 0.6 or s?
s
Let a = 2 - -2. Suppose 13 - 1 = a*y. Suppose y*g - 32 = g. Is g >= 16?
True
Let z be (2 - 0 - 3)*12. Let v(w) = w**3 + 11*w**2 - 12*w. Let u be v(z). Is u <= -1/9?
False
Let m(x) be the second derivative of x**4/12 - 7*x**3/3 + 6*x**2 + x. Suppose -2*s = -3*a - 17, 0 = -s + a + 9 + 1. Let v be m(s). Is v equal to -3?
False
Let m = -16 + 17. Suppose -5*u = -3*z + 4, 4 = -16*u + 20*u. Which is smaller: z or m?
m
Suppose 6 = -4*s + 7*s. Let n = 2 - s. Let k = -41/2 - -611/30. Is k at least n?
False
Let u be 3 - 7 - 10/(-2). Is -3/65 bigger than u?
False
Let b(u) = -2*u**3 + u**3 - 10*u + 11*u**2 + 0*u**3 - 2. Let c(i) = i**3 + 7*i**2 + 4*i - 2. Let o be c(-6). Let g be b(o). Which is greater: g or -7?
g
Let i(z) = z**3 + 11*z**2 - 16*z + 4. Let f be i(-12). Suppose 3*p + f = 61. Is p smaller than 42/11?
True
Let t be 1/(4*(-2)/(-8))*5. Let h be (55/(-132))/(1/(0 + -10)). Does t = h?
False
Suppose -t + 2*t = 3*s - 2, -4*s + 4*t = 0. Let j be 5 + (-24)/(-996) - 5. Which is smaller: s or j?
j
Suppose -11*z = -8*z - 393. Suppose -6*o + 839 = z. Which is smaller: 117 or o?
117
Suppose 0*f - 4*f + 276 = 4*t, -153 = -2*t + 3*f. Which is smaller: t or 71?
71
Let z = -2 - -5. Let s be -1 + -1 + z + 1. Let v be ((-16)/(-42))/((-73)/(-219)). Do v and s have different values?
True
Let y = -35 - -38. Suppose 2*h - 3*a = -4*a + 16, 2*a + 38 = y*h. Are h and -1 equal?
False
Let d = -2098 - -2099. Which is bigger: d or 887?
887
Let l = -9.39 - -9.7. Let q = -0.21 + l. Is 6/13 less than or equal to q?
False
Let w = -5.32 - 179.68. Which is smaller: w or 0?
w
Let x = -1530 - -7649/5. Suppose 3 = 2*a - 3*u - 10, 4*a - 5*u - 21 = 0. Which is smaller: a or x?
a
Let g(y) = -2*y**2 - 1. Let d be g(-2). Let s(u) be the third derivative of u**5/60 + u**4/2 + u**3/3 - 9*u**2. Let l be s(-11). Do l and d have the same value?
True
Let q = 611 - 610. Which is smaller: 4/289 or q?
4/289
Let s be (16/24)/(1/(-3)). Let d be 20/(2/s - 0). Let l be (10/d)/(2/(-4)). Which is greater: l or -4?
l
Suppose 3*y - 1 - 2 = 0. Let x = -387812/872291 - -90/4297. Let z = -4/29 - x. Which is greater: y or z?
y
Let k(b) = -9*b + 4. Let s(p) = p. Let c(m) = k(m) + 5*s(m). Let a be c(7). Let h be a/108 + (-8)/(-198). Which is smaller: h or 2?
h
Suppose 1242*m - 1238*m + 996 = 0. Which is smaller: m or -250?
-250
Suppose -o - 1 = -h - 3*o, -4 = -4*h + 2*o. Let y(l) = -l**2 + 10. Let v be y(5). Which is smaller: v or h?
v
Let w(u) = u**3 - 13*u**2 + 13*u - 14. Suppose 5*g + 3*h = 3*g + 36, h - 52 = -4*g. Let k be w(g). Let o be ((-14)/(-14))/((-1)/k). Which is smaller: 6 or o?
o
Let k = -1270 + 1498. Is 0 smaller than k?
True
Suppose -3*u - 239 = -v - 84, 0 = 2*u - v + 103. Which is greater: u or -60?
u
Suppose -3*a - 36 = -9*a. Let o be 4 - 2 - (-1)/(a/(-10)). Which is smaller: o or -1?
-1
Let y be -2 + 7/5 + 1. Let w be -5 + -5 + (-824)/(-80). Let n = w - y. Are n and -1 non-equal?
True
Suppose -2*n + 12 = n. Suppose n*d + 6 = 2. Let o = 288 + -288. Is o greater than d?
True
Let b = -489 + 316. Do -171 and b have different values?
True
Let t = -15 - -10. Let f be 1 - (-1)/(1/t). Let m = -8/13 - 49/26. Does f = m?
False
Let z = 0.27 - -0.73. Let s = 20 + z. Is -1 at least s?
False
Let w(n) = -n**3 - n. Let t be w(3). Are t and -27 equal?
False
Let h(z) be the third derivative of z**4/24 + z**3 - 13*z**2. Let y be h(24). Is 30 at least as big as y?
True
Let l be (-2)/(-7) + (-1668)/8925. Let s = 15512/425 - l. Let u = -37 + s. Is u at most as big as 0?
True
Suppose -3*q - 5*u - 7 = -0*u, 2*u = q - 5. Let o be (-144)/312*(-5)/20*-4. Does o = q?
False
Let q = -2 - -10. Let j(c) = q + 3 - 4*c + 3*c. Let m be j(14). Which is greater: -22/5 or m?
m
Let c = -1146/5 - -33164/145. Do c and 1 have the same value?
False
Let v = -95 + 97. Let g(z) = -z**2 + 4. Let u be g(0). Suppose -u = v*f - f. Which is greater: -2 or f?
-2
Let r be 11/44 + 1/4*-17. Is -58/23 <= r?
False
Let j be -1 + (14 - (-1 - 0)). Suppose 3*l + 5*h = j, 2*h = 4*l + 4*h. Let p be (l/4)/(8/16). Which is smaller: -3/11 or p?
p
Let j = 2 + -1. Let z = -4.134 + 4.3. Let i = z + -0.066. Which is smaller: j or i?
i
Let p be 4/18 - 14/63. Let f be (-384)/190 - -2 - 0. Is f >= p?
False
Let m be (-260)/(-28) + 4/(-14). Let w be (-6)/m*(-30)/4. Suppose -7 = w*a - 37. Which is smaller: 7 or a?
a
Let i be (-51)/72 - 2/(-3). Let n = i + -67/120. Let m = -14 - -13. Is m > n?
False
Suppose -3*i - w + 6 = 2, 2*i + 5*w + 6 = 0. Suppose 4*j + i*y + 8 = 0, 5*j = 2*j - 5*y - 20. Let t be (-2)/4*(-1)/6. Which is bigger: t or j?
t
Let z = -123 - 81. Which is smaller: z or 0?
z
Let a be 2/2 + -10 + 157/13. Which is smaller: -0.2 or a?
-0.2
Let b = 367 - 1661/4.