-3 + f - (1 - -1). Is 0 at least as big as n?
True
Let f = 1208/63 + -170/9. Suppose -4*n = -c, 0 = -4*c + 6*n - n. Do c and f have different values?
True
Let d be 5*3/6 + -1. Let k = 11 - 12. Are k and d equal?
False
Let n = -0.6 - -2.6. Let r = 0.05 - -0.95. Let j = -1.1 + r. Is j at most as big as n?
True
Let s = -17.4 + 19.31. Let t = s + -1.9. Which is smaller: 1 or t?
t
Suppose -v - 5*m + 1 + 26 = 0, -25 = -5*m. Is 2 at least v?
True
Suppose 13 = 4*k + 17. Let a(r) = -r**2 + 2*r + 3. Let p be a(3). Does p = k?
False
Suppose 0 = 3*w + 3 + 15. Let z = w + 0. Suppose -9*c + 6*c = 0. Is z equal to c?
False
Suppose 4*c + 3*g + 7 = 3, 5*c - 5*g + 5 = 0. Suppose 0*j - 2*j = -2. Let y be (6/30)/(j/(-3)). Which is bigger: c or y?
y
Let v = 0.259 + 0.741. Let d = -58 - -756/13. Which is bigger: d or v?
v
Let j = -1 - 2. Let v be ((-1)/j)/((-4)/12). Suppose -2*t - 4*u - 12 = 0, 5*u = -t + 3*t - 15. Is t at most as big as v?
False
Let r = -7741/390 - -119/6. Is r bigger than -1?
True
Let v(l) = l**2 + 5*l - 1. Let i be v(-6). Suppose 4 = 7*b - i*b. Is b < 2?
False
Let x(m) = 4*m + 16. Let q be x(4). Which is greater: q or 33?
33
Let o be 5 + (-3)/1 + -2. Which is smaller: -1/7 or o?
-1/7
Let z be ((-6)/(-10))/((-4)/(-5)). Let v(u) = u**3 + 4*u**2 - 4*u + 6. Let y be v(-5). Which is bigger: z or y?
y
Let c(h) be the second derivative of h**5/20 - 7*h**4/12 + 2*h**3/3 + 3*h**2/2 - 3*h. Let r be c(6). Let z be 4/(-6)*r/21. Are -0.1 and z non-equal?
True
Let g = -0.01 + -0.19. Is g < 7?
True
Let a(m) = -m + 3. Let n be a(7). Let g(k) be the third derivative of k**5/60 + 5*k**4/24 + k**3/2 - k**2. Let r be g(n). Is r at most as big as -1?
True
Let o(g) = -g - 8. Let h be o(0). Let j be 52/(-6) - 1/3. Are j and h nonequal?
True
Let d(g) = g**3 + 3*g**2 - g. Let f be d(-3). Let t = f + -2. Let i be 0*(1/(-1))/t. Are i and 3/4 non-equal?
True
Let w be (-1)/(-5)*(-5)/4. Which is smaller: -1 or w?
-1
Let g be ((-1)/(-9))/((-50)/(-60)). Which is bigger: g or -1?
g
Let b be 4/1 - (5 + -3). Suppose -n + b*d + 8 = 0, -4*n + 4*d + 7 = -17. Suppose -5*x = -2*x - 12, -n*x + 12 = 2*i. Is i at least -3/4?
False
Let x = -0.05 - 0.04. Let q = x - -0.29. Is -2 bigger than q?
False
Let v(y) = -2*y - 60. Let w be v(-16). Are -113/4 and w unequal?
True
Let c(t) = -t**2 + 4*t - 2. Let f(l) = l - 1. Let w be f(4). Let n be c(w). Let o(g) = -g**2 - 4*g. Let b be o(-4). Which is greater: b or n?
n
Let f be (15/(-6) - -1)/(195/(-52)). Is f >= -39?
True
Let p = -19 + 43. Is 24 at least p?
True
Let i(j) = 2*j**2 + 8*j. Let y be i(-7). Let b = 208/5 - y. Which is smaller: 0 or b?
b
Let f(k) be the first derivative of -5*k**3/3 + k**2/2 + k + 2. Let m be f(-1). Let v(d) = -3*d - 1. Let o be v(1). Do m and o have the same value?
False
Suppose 21 = 4*g + 5*n, 4*n = 2*g - 0*n + 22. Are 1 and g equal?
False
Let f be (-2 - 4) + 1*3. Let h = f + -2. Let t = -6 - -2. Is h greater than t?
False
Let x be 4/30 + (-1981)/(-105). Which is bigger: 18 or x?
x
Let q be (7/14)/(1/(-12)). Suppose -5*o - 34 = 1. Are o and q equal?
False
Suppose 2*f + 2*f + 80 = 0. Let x = f + 28. Is 1 bigger than x?
False
Let v = 141 + -140. Which is greater: 45 or v?
45
Let r(v) be the second derivative of 8*v**3/3 + v**2 + 3*v. Let z be r(-5). Let x = z + 550/7. Is 2 greater than x?
True
Let w = -20 - -28. Let p be (-6)/w + 18/24. Is -1 less than or equal to p?
True
Suppose 2*y - 6*y + 8 = 0. Suppose u - 6*u + 3*w + 15 = 0, 0 = -5*w. Which is greater: y or u?
u
Let b = 0.3 - 0.1. Let s = -452 - -2719/6. Which is smaller: b or s?
b
Let u(d) = -2*d**3 + 6*d**2 + 6*d + 2. Let m be u(4). Let k be (-4)/10 - (-23)/(-5). Which is greater: m or k?
k
Let j(d) = -2*d + 2. Suppose -f + 4*m = 5*m - 7, -f + 4*m = 3. Let o be j(f). Which is bigger: o or -7?
-7
Let v be 1 + 1 + -3 - -35. Suppose -5*b = -16 - v. Which is bigger: b or 11?
11
Let p = -398/21 + 59/3. Let s = p - 3/7. Is s greater than -1/5?
True
Let z be 9/12 - (-5)/36. Let y = -11/9 + z. Are y and -1/3 equal?
True
Let c = 0.2 + 0.8. Let j = c - 0.7. Is 2/3 equal to j?
False
Let c = -53 + 53. Is c <= 1/23?
True
Let u be 64/48*3/1. Which is smaller: u or 20/7?
20/7
Let i = -33 + 32.77. Let o = 1.77 - i. Which is smaller: 5 or o?
o
Let m = 57 - 229/4. Let v = -9 + 13. Let y = -5 + v. Which is bigger: m or y?
m
Let h = 0.01 - 0. Let t = h - 2.01. Is -6/5 less than or equal to t?
False
Let k(z) = -3*z - 2. Let x(j) = j. Let h(v) = -k(v) - 2*x(v). Let d be h(-3). Let s be 2 + 6/d - -2. Which is bigger: -3 or s?
s
Let r = 207/4 + -1057/12. Let p = r - -71/2. Is -1 < p?
True
Let z = -0.021 - 1.979. Which is smaller: z or 0.3?
z
Let k be (-7 - (-165)/25)*(-10)/(-4). Which is greater: 0.01 or k?
0.01
Let z(f) be the third derivative of 0*f - f**2 + 0 - 1/120*f**6 - 1/20*f**5 + 2/3*f**3 + 5/24*f**4. Let y be z(-4). Which is bigger: y or 2?
2
Suppose 5*v - 3 = 7. Suppose v*r = -3*r + 10. Suppose 2*c - r = -0*c. Which is bigger: c or -4/9?
c
Let t be (4 + (-1 - 1))*(-171)/(-18). Is 15 at most t?
True
Let d(c) = c**2 + 8*c - 3. Let b be d(-8). Which is smaller: b or 1?
b
Let j = -10 - -17. Is j bigger than 5?
True
Let z(l) = -l - 1. Let o be z(0). Let x be 1/(1/4 - 0). Let j = x + -5. Are o and j unequal?
False
Let k be 6/(-8) - (-3)/2. Is 0 < k?
True
Let u be -3 + (0 - (-8)/(-12))*-9. Which is bigger: 1 or u?
u
Let c = 7 + 22. Suppose -v + 2*w + c = 2*v, 2*w + 40 = 4*v. Is v equal to 10?
False
Suppose 5*h - o = 10, 3*h + 2*o - 22 = -h. Which is smaller: -33 or h?
-33
Suppose 5*o - 2*y - 35 = -7*y, 5*o + 1 = 4*y. Suppose -7 = 2*t - 19. Suppose -v + z - t = 0, -3*v - v + o*z = 20. Which is greater: v or -1?
-1
Let w = -4 + 0. Let a = -6 - w. Which is smaller: -4 or a?
-4
Let m be ((-9)/(-30))/((-6)/(-5)). Let u = m + -3/4. Suppose 0 = 3*h - d, -2*d = -3*h - 7*d + 18. Is u greater than h?
False
Let c(t) = -t**3 - 5*t**2 + 5*t - 7. Let r be c(-6). Suppose -5*q + 0*q - 15 = 0. Let n = r - q. Which is greater: n or -1?
n
Let u = -8.77 - 0.13. Let k = 9 + u. Does -6 = k?
False
Let h = -0.84 - -0.34. Is h less than 4?
True
Suppose -4*v - 9 = -1. Let n = -8 + 7. Is v bigger than n?
False
Let l = -8.95 + 0.95. Which is greater: -2 or l?
-2
Let p(g) = -4*g + 15. Let d be p(12). Which is smaller: d or -32?
d
Let i be -2 - 3 - 56/(-10). Which is bigger: -10/11 or i?
i
Let q(z) = -2*z - 59. Let y be q(-19). Are y and -18 non-equal?
True
Suppose -w - 4 = -3*z, z - 2*w + 4 + 3 = 0. Suppose -g + 9 + 4 = 3*h, 5*g = -z*h + 17. Which is greater: g or -2/27?
g
Let h = 11 - 5. Let w = h + -8. Let a = w + 4. Does 1 = a?
False
Let a(m) = m**3 - 3*m**2 - 2*m - 5. Let l be a(4). Suppose 0 = l*r + 2*r + 5. Let j be (3/(-21))/(r/(-3)). Are 0 and j equal?
False
Let v = -11 + 10.9. Let p = 0.17 + v. Is p > 0.1?
False
Suppose -3*p = 5*u - 13, 5*u + 3 - 8 = 5*p. Suppose -4*w - 2*z = -4*z + 136, 4*z = -2*w - 88. Let i = w - -217/6. Does i = p?
False
Let a be (3/9)/((-15)/(-10)). Let b = -4/21 + 11/21. Which is greater: b or a?
b
Let h = 0 + 0. Let i = 10 + -7. Suppose i*w = 7*w. Is h smaller than w?
False
Suppose -19*w + 18*w - 1 = 0. Let d = -183/1400 + 1/175. Is d at least w?
True
Let l(m) = 4*m + 6. Let j be l(-5). Which is smaller: -13 or j?
j
Suppose 3*n + 12 + 3 = -3*c, 3*n = -12. Which is smaller: c or -0.04?
c
Let b = 6.4 + -6.3. Which is smaller: b or -39?
-39
Let c = 60 + -59.9. Let k = -0.1 - -0.1. Let b = k - -2. Is b smaller than c?
False
Let x = -47/3 + 17. Which is bigger: 0 or x?
x
Suppose 14*d - 10*d = 40. Is 10 greater than d?
False
Suppose -l + 0*l - 5 = 0. Which is smaller: l or -7/2?
l
Let u be 11/(-2)*1*-6. Is 32 greater than u?
False
Let t(f) = f**2 + 10*f + 17. Let h be t(-8). Which is bigger: h or 1/61?
h
Let g(l) = l**2 - 3*l + 1. Let j be g(1). Suppose c - 5*n + 21 = 0, -5*c + 2*n = 7*n - 45. Suppose -7 - 1 = -4*p, c*u + p + 6 = 0. Which is smaller: j or u?
u
Suppose 4*b = -5*j - 150, -13*j - 120 = -9*j - 4*b. Suppose 4*p + p - 4*s - 10 = 0, 2*s = p + 4. Let f be 2/10 + p/j. Which is bigger: f or -4/5?
f
Let u be -1 - -4 - (-340)/(-100). Is u at most as big as 4.7?
True
Let r = 0.007 - 0.107. Is -5/11 at least as big as r?
False
Let y = 24 - 16. Is 8 greater than y?
False
Let p(l) = l**3 + 7*l**2 + 6*l - 4. Let k be p(-6). Let y be ((-2)/12)/(2*(-3)/(-90)). Which is smaller: y or