f + 3 = v + 2*f. Let r(w) = 5*w**2 + 76*w + 22. Let z be r(-15). Which is bigger: z or v?
z
Let a = 36 - 50. Let c be ((-22)/a - 0) + -2. Is 1 not equal to c?
True
Let m = 2 + -5. Suppose -70*a - 21 = -67*a. Which is smaller: a or m?
a
Let m = -432/7 + 62. Suppose -2*x - x + 3 = 0. Which is smaller: m or x?
m
Suppose b = -4*b. Let i be (b + 2 + -2)*-1. Is 1/5 > i?
True
Let u = 9.5 + -13. Let d = u + 4. Let j = d - 2.5. Is j at most as big as -1/2?
True
Suppose 0 = -5*j + 3*d - 27, 4*j + 19 = -j + d. Let m be 6/(j + (2 - 0)). Are -4 and m equal?
False
Let c be ((-3)/4)/((-6)/(-24)). Suppose 3*n + 4*w - 23 = 0, 0 = 3*n - w + 2 - 0. Let g be 14/(-21)*c*n. Is 6 less than g?
False
Let z(p) be the first derivative of -p**4/4 + p**3 - 2*p - 3. Let d be z(2). Do 5/4 and d have the same value?
False
Let v(h) = 4*h - 61. Let c be v(0). Is -59 > c?
True
Let c(l) = l**3 + 6*l**2 - l - 1. Let n be c(-6). Suppose 0 = -n*t - 1 + 26, 3*i + 2*t = -2. Let g = 8 - 11. Which is smaller: g or i?
i
Let w(u) = 21*u - 12. Let o be w(2). Are 117/4 and o nonequal?
True
Let u(g) = -g**2 - 15*g - 12. Let i be u(-14). Let t be (2 - (-1)/(-1)) + 1. Are t and i non-equal?
False
Let c be (-3748)/(-34)*3/6. Let i = 55 - c. Are i and -1 nonequal?
True
Let h = 20 - 20. Which is smaller: 3 or h?
h
Suppose 0 = -2*f - 2*f - 2*y + 26, 17 = f - 3*y. Suppose 0*d = 4*d - f. Suppose -d*i + 4 = 2*i + x, -3*i = -2*x + 8. Which is smaller: i or -1?
-1
Let x = 2 - 3. Let y be ((-15)/(-42))/((-1)/2). Are y and x non-equal?
True
Let o be (-1)/(1/4*-2). Suppose -4*p = -2*p + o*a - 12, -5*a + 26 = 3*p. Suppose -p*d + 5*d + 9 = 0. Is d at most as big as -3?
True
Let f = 0.1 + 0. Let v = -22.8 + 6.9. Let q = v - -16. Does q = f?
True
Suppose 2 = -4*w - 6. Let k(a) = a**3 - 9*a**2 + 3. Let z be k(9). Let r be w/3 + z/9. Is r greater than -1/2?
True
Let u = 3.6 + -0.6. Let q = -7 + u. Let n = -2 - q. Are 2/7 and n unequal?
True
Let m = -47 + 49.05. Let f = m + -0.05. Let h = 0.1 + 0. Is f greater than or equal to h?
True
Let g = 120 + -64. Suppose d + 3*d - g = 0. Let u = -43/3 + d. Is u < -1?
False
Suppose 4*w + 12 = -4. Let q be 0 - ((-5)/w)/(-5). Which is smaller: q or 1?
q
Let w be (-2)/4*(5 - (0 - -5)). Do w and 2/61 have the same value?
False
Suppose 10 = -2*n - 2. Do -8 and n have the same value?
False
Let m(u) = 0 + 3*u**3 + 5*u**2 - 4*u + 2 - 4*u**3. Let p be m(4). Let v = p + -1. Is -1/4 at most as big as v?
True
Let j(k) = -k**3 + 4*k**2 + 3. Suppose -2*l + 5 + 3 = 0. Let x be j(l). Suppose -2*d = x*d - 25. Which is greater: 4 or d?
d
Let q be -3 - 186/(-40) - 1. Let p = q - 9/10. Which is smaller: p or 1?
p
Suppose 0 = -4*u + 2*u + 5*b - 27, 0 = u - 4*b + 21. Let v be 1/(-1) - 0 - 0. Let w be v*(2 + -3 + 2). Is u at most as big as w?
True
Let g = 0.065 - -0.935. Which is smaller: g or 25?
g
Let v = 435/7 + -62. Are v and -1 unequal?
True
Suppose -3*s + s = 0. Suppose -j + 2 = -s. Suppose r + 1 = -0*r - j*v, 4*r - 2*v + 4 = 0. Are 1/8 and r equal?
False
Suppose 1 - 5 = -4*j. Is j greater than 1?
False
Suppose -134 = 3*d - d. Let f = 336/5 + d. Suppose 2 + 0 = -2*m. Is m bigger than f?
False
Let m be (-3)/6*((-177)/3 + 1). Which is smaller: m or 28?
28
Let s = 27 + -37. Is s greater than or equal to -12?
True
Let l be 60/33 - (0 + 4). Is -2 greater than l?
True
Let w = 75 - 449/6. Suppose -3 + 0 = 3*h. Is h greater than w?
False
Let n = -2/2091 + 22306/2091. Let w = n + -218/21. Which is smaller: w or 1?
w
Let c = 31 - 15. Let l be c/30*(-3)/4. Which is greater: -1 or l?
l
Suppose 0 = -5*c + 5*v + 35, 4*c + 4*v - 21 - 31 = 0. Which is smaller: c or 12?
c
Let y be (-7)/14 - 563/(-330). Let j = y + -19/15. Which is smaller: -1 or j?
-1
Let w(h) = 2*h**2 - 2. Let o be w(5). Let q = -287/6 + o. Are -1 and q nonequal?
True
Let y be (-39)/15 + (-8)/20. Let p be 0*2/6 - y. Is p > 2?
True
Let x be (12/(-9))/((-2)/24). Let w be -1*x/(-4) + 3. Which is bigger: 8 or w?
8
Let a be (72/42)/((-2)/(-7)). Let i(k) = -k - 4. Let t be i(-6). Suppose -t*j = 7 - 3, 3*j - a = -3*o. Is o <= 2?
False
Let r = -121 - -49. Let a be (-6)/8 - 189/r. Which is greater: a or 3?
3
Suppose 2*k + 17 = 7. Let r be 8/k + (-28)/70. Is r at most as big as -2?
True
Suppose -19*m - 6 = -16*m. Which is greater: m or 1?
1
Let r be (-13)/11 - 2/(-2). Let f = -7 - -13. Suppose -5*c - 3 = k, -2*c + 2*k + f = -0. Which is greater: r or c?
c
Let j = 12 + -7. Let i = j + -4.96. Let u = i + 0.06. Is -2 > u?
False
Suppose -2*n - 3*j = -8, 3*j + 25 - 5 = 5*n. Suppose 5*y - 54 = 5*s - 9, -n*s - 2*y - 12 = 0. Is s at least 1?
False
Suppose 9*h - 12 = 7*h. Are h and 4 equal?
False
Let v be 41*(2 - -1 - 4). Which is smaller: v or -40?
v
Let x(a) = -a**2 + 3*a + 4. Let g be x(4). Suppose h - 4 = -3*z + 2*h, 5*z + 5*h = g. Let w = z + -2. Is 1/3 < w?
False
Suppose -w + 3 = 0, 2*g - 3*w - 153 = 5*g. Which is bigger: -55 or g?
g
Let y = 316/5 + -61. Which is smaller: 2 or y?
2
Let p = -50 - -14. Let a be (3/p)/(1/(-766)). Let b = -64 + a. Which is smaller: b or 0?
b
Let w = 3 + -9. Let m = w - 4. Is -9 smaller than m?
False
Let f = -8.56 - -0.56. Which is bigger: -3 or f?
-3
Let z be (-2)/4*1/2. Suppose 4*f = f + 9. Suppose -6 - 2 = 4*h, -f*s - 1 = -h. Which is smaller: z or s?
s
Let n(g) = 8*g - 5. Let z(i) = -4*i + 3. Let x(q) = -3*n(q) - 5*z(q). Let h be x(2). Is -7 != h?
True
Let i = -0.008 + 0.108. Which is smaller: 3 or i?
i
Let a = -120 - -111. Is a smaller than -10?
False
Let l be 3 - (-4)/(-3 - -1). Suppose -1 + 3 = h. Suppose 0*u - u + h*w + 8 = 0, -19 = -2*u + 5*w. Which is smaller: u or l?
l
Let p = -37.3 + 37. Is 0.06 equal to p?
False
Let z be 4/(-14) + ((-303)/(-105) - -1). Which is greater: 3 or z?
z
Let w = -47 - -47. Which is bigger: -10/37 or w?
w
Let r = -24/7 + 134/35. Let z = 4.6 + 0.4. Let i = z - 6. Which is smaller: r or i?
i
Let z be ((-24)/39)/(4/6). Is 0 at least z?
True
Let l = -0.057 + 0.967. Let x = 0.09 + l. Does -5 = x?
False
Let b = 14 + -17. Let v = -11 + 12. Is b at least as big as v?
False
Suppose 4*t + 3*x - 8*x - 15 = 0, -3*x = -t + 9. Let b be 16/12*(-3)/(-2). Suppose 8 - b = -3*z. Which is smaller: t or z?
z
Let v(j) = -j**2 - 8*j - 5. Suppose 0 = 3*n - 8*n - 25. Let m(l) = l - 3. Let s be m(n). Let r be v(s). Is r greater than or equal to -4?
False
Let d = -21 + 12. Let u be (8/(-30))/((-6)/d). Is u at most as big as 0?
True
Let l be ((-3)/(-2))/(19/16 - 1). Let b be (-43)/(-7) - 3/21. Which is smaller: b or l?
b
Let c(v) = v**3 + 4*v**2. Let r be c(-4). Suppose -6*j + 15 = 2*y - 3*j, 2*y - 2*j = r. Suppose -y*u + u = 0. Is u greater than or equal to 1/4?
False
Let a = 139/1200 + -4/75. Is 1 at least as big as a?
True
Let v = 34/3 - 12. Which is smaller: v or 0?
v
Let y(h) = 2*h**3 + 2*h**2 - 1. Suppose 0 = 2*x + x - 3. Let w be y(x). Is w smaller than 1?
False
Let x(j) = -j**2 + 6*j - 5. Let f be x(5). Is f less than 10/7?
True
Let y = -0.035 + 0.035. Which is smaller: -32 or y?
-32
Let p = -29 - -13. Is p less than -16?
False
Suppose -3*k = -2*k + 1. Is k equal to -2/17?
False
Let s(k) = k + 7. Let a be s(-6). Let x = a - 1. Let g = 412/5 + -82. Is g at least as big as x?
True
Let h = 52 - 51. Which is bigger: h or -2/153?
h
Suppose 4*q + 0 + 2 = -3*n, -2*n - 1 = 3*q. Let h(a) be the first derivative of 5*a**4/4 - a**3/3 + a**2/2 - 1. Let y be h(q). Which is bigger: y or 4?
y
Suppose -2*s - l + 7 = 0, -2*s + 7 = 2*s - 5*l. Suppose -s*d - 2*w = 13, 3*w = -3*d - w - 23. Which is smaller: -2/7 or d?
d
Let t = 73 + -124. Let d = 31 + t. Is -20 greater than d?
False
Let r(x) = x**2 + 4*x - 4. Let y be r(-6). Let h = y + -5. Let u be 1/(-2) + (-2)/(-8). Are h and u equal?
False
Let x = -5 - -5.3. Let r = 0.2 - x. Suppose 5*y + 4 = -2*l - 9, -3*y - 4*l - 5 = 0. Are r and y nonequal?
True
Let r(s) = s - 3. Let i be r(11). Let o = i + -6. Let n = o - 2. Which is smaller: 3/7 or n?
n
Let i = -2 + 2. Let d = -6752/5 - -1355. Let w = d + -5. Is w less than or equal to i?
True
Suppose 0 - 30 = -5*v. Let t = v + -6. Is 2/5 < t?
False
Let r be 10/3*(-6)/(-4). Let q = -37 + 24. Let u = 19 + q. Which is bigger: u or r?
u
Suppose 0 = -y + 1 + 1. Suppose 2*m - 6*m = -4, -14 = 5*o - 4*m. Let k = o + y. Which is bigger: k or 1/3?
1/3
Let c = 2063/30 - 275/4. Which is bigger: -1/4 or c?
c
Let s be 31/119 + (-8)/56. Whi