f or -4/73?
-4/73
Let l be (-1 - -3)*(-21)/91. Let z = l - -103/26. Is z smaller than 5?
True
Let y(f) = f**2 - 15*f + 22. Let i be y(13). Let r be (252/392)/((i/(-14))/1). Is 3 <= r?
False
Let u be -3*5 - 217/(-31). Which is smaller: 9 or u?
u
Let t = -899598 - -13486286/15. Let m = t - -512. Which is greater: m or -1?
m
Let h = -62.331 + 62.33. Let f = -0.1 - -0.1. Which is bigger: h or f?
f
Let y = 239 + -254. Which is smaller: -24 or y?
-24
Let s = -465 - -469. Suppose 3*q + 3 = 4*q. Which is smaller: s or q?
q
Suppose -2*g - 54 = -g. Let f be 3/(-2)*8/g. Which is smaller: f or -22?
-22
Suppose -16*z = -17*z + 5. Suppose z*a = 4*a. Which is greater: a or -3.3?
a
Let j = -870 + 869. Which is smaller: -5/81 or j?
j
Let a be 0/((-2)/(-1 - -2)). Suppose 5*h + 213 = -2*d - d, -3*h - 122 = -4*d. Let l be (-116)/154 + (-24)/h. Which is bigger: l or a?
a
Let w(h) = -h**3 + 7*h**2 - 7*h + 6. Suppose -15 = -4*z + 9. Let r be w(z). Which is smaller: r or 1/17?
r
Suppose 4*n - 11*f = -13*f + 14, 5*n = -3*f + 20. Which is smaller: n or 10/39?
10/39
Suppose 8*n - 3*r - 296 = 6*n, 5*r - 161 = -n. Which is smaller: 152 or n?
n
Let z(a) = a**2 - 2*a - 10. Let y be z(7). Suppose -3*s + y = -8*s. Let r be 1/3 + s/(-3). Is 2 at most as big as r?
True
Let j(g) be the third derivative of g**5/60 - g**4/12 + g**2. Let h be j(2). Which is smaller: h or -2/93?
-2/93
Let i = 0.0372 + 21.4928. Let z = i - -0.47. Let t = -3/34 - 7/17. Which is greater: t or z?
z
Let j(c) be the first derivative of -c**4/4 + c**3/3 - 3*c**2/2 - 2*c - 8. Let t be j(-2). Let a = t - 22. Is -4 at most as big as a?
False
Let y(d) = -2*d**2 + 4*d + 2. Let s be y(-3). Let j be s/(-5)*10/4. Suppose 3*g - j = 5*g. Are g and -4 unequal?
True
Suppose 5*p - 2*p = 0. Suppose -3*j = -q + 3, 2*q + 4*j + 0*j + 4 = p. Which is smaller: -7/8 or q?
-7/8
Suppose 10*d - 5*l + 3 = 13*d, -9 = -3*l. Which is greater: -11 or d?
d
Let a = -83/14 + 41/7. Let h(j) be the second derivative of -2*j**3/3 + 5*j**2/2 - 2*j. Let q be h(1). Is q at least as big as a?
True
Let k(h) = h**3 + h + 3. Let q be k(0). Suppose d - 10 = -q. Suppose -n + 3*y = d, -10 = 5*n - 3*y + 1. Are n and 2 equal?
False
Let u be 224/(-320) - (-2)/10. Is u greater than -4/11?
False
Suppose 0 = -f + 5*q + 2 - 39, 0 = -3*q - 12. Are -58 and f equal?
False
Let w be 2/((12/(-134))/(-3)). Suppose 2*h = -2 + 12, -3*k + 5*h - w = 0. Which is smaller: -12 or k?
k
Let l(c) = c**3 - 14*c**2 - 15*c - 11. Let o(z) = z**2 - 8*z + 6. Let r(i) = 2*i**2 + 6*i + 1. Let w be r(-4). Let a be o(w). Let y be l(a). Is y >= -13?
True
Let h = -179 + 180.39. Which is smaller: h or -1?
-1
Suppose 0 = m - 5 + 14. Let l be (-24)/m*9/4. Suppose -u + 3*q = -3*u - 5, -5*u + 40 = -3*q. Is l less than u?
False
Let g(t) = 3*t**3 - 2*t**2 + 13*t - 10. Let o(w) = 5*w**3 - 3*w**2 + 19*w - 15. Let y(b) = -8*g(b) + 5*o(b). Let i be y(4). Which is greater: 50 or i?
50
Let f = 12 + -17. Let w = -2/13 - -36/65. Is f bigger than w?
False
Suppose -z + 11*z - 190 = 0. Let o = 18 - z. Suppose -5*h - 7 = 4*w, -5*w + h = -0*w - 13. Which is smaller: o or w?
o
Let o(s) = -24*s**2 + 12*s**2 + s + 3 + 11*s**2. Let p be o(-2). Are p and -11/6 equal?
False
Let k = 89 + -51. Let s = k - 37. Let r be 6/8*28/18. Which is smaller: s or r?
s
Let m(v) = v**2 - v - 1. Let y be (-3)/(-2) + (0 - (-2)/4). Let q be m(y). Suppose 6*l - 2*l = 12. Which is smaller: l or q?
q
Let d = 10.69 - 10.8. Do -0.2 and d have the same value?
False
Let y be (-432)/(-7) + (-40)/(-140). Let o = y - 74. Is o > -11?
False
Let x(v) = 2*v**2 + 3*v. Let q be (1 - 0) + (-7 - -4). Let f be x(q). Suppose f*h = -2*u + 12, 0*h - 2*u + 4 = h. Which is greater: 7 or h?
h
Let f = 12 - 3. Let g = -7 + f. Let q be (-2 + g)/(-10 + 8). Is -1/16 not equal to q?
True
Let v = 24.038 - 24. Let f = v - -0.032. Is f less than or equal to 0.04?
False
Let p be (2/2)/(2/2). Let m(n) be the second derivative of n**4/12 - n**3/6 + n**2/2 + 4*n + 2. Let s be m(p). Which is smaller: s or 3?
s
Let u = 0.21 + -0.11. Let m = u + 0.9. Let f be (-12)/(-21) + 4/(-14). Is f < m?
True
Suppose 12*j = -17 + 29. Is -2/253 <= j?
True
Suppose x = 3*s - 413, -4*s + 1496 = -4*x - 140. Is -406 >= x?
True
Let n be (2/52)/(7/(-14)). Let z(f) = f**2 + 13*f + 13. Let c be z(-12). Is n at most as big as c?
True
Let m = -1.7 + 2. Let u = m + -0.3. Suppose 0 = 2*n + 28 - 26. Which is greater: n or u?
u
Let p be (-1 - 148/12)/(1/18). Is -239 bigger than p?
True
Let f = 27/130 + -4/13. Is 2 at least f?
True
Let l(d) = -d**3 - 4*d**2 - 3*d + 4. Let u be l(-3). Let q be 4/u + 1 + -1. Let j be (-80)/520 + (-144)/(-260). Which is greater: j or q?
q
Let o(z) = z**2 + z + 5. Let q be o(0). Suppose h - 13 = -5*c, 4*h - 2 = -q*c + 5. Suppose -r + c = 1. Which is greater: 5/3 or r?
r
Let w = 1.49 - 1.4. Let t = 383.1 - 383.3. Which is bigger: t or w?
w
Let p = -0.1 + 0. Let t = -0.2 + p. Let x = -0.4 + -0.6. Is x < t?
True
Let f = 10.78 + -13.78. Let y(o) = o**2 + 9*o + 8. Let n be y(-6). Is f less than or equal to n?
False
Let b = 58 + -57. Let f(p) = p**2 + 5*p. Let u be f(-8). Let t be ((-16)/u)/(1/(-3)). Is b < t?
True
Suppose 8 + 4 = 3*k. Let r be (-9)/6 - (-106)/k. Suppose 1 = -4*z + r. Is 7 > z?
True
Let s = 3.42 - 4.42. Which is smaller: s or 12?
s
Let s be 28/((-4)/(0 - 4)). Suppose -s*u + 51 = -25*u. Let x = -17 + u. Which is smaller: 1/2 or x?
x
Let j = 73 + -89.4. Is j less than -1?
True
Suppose 4 = 4*j - q, 8 = -5*q + 28. Let k = 59 + -87. Let p be 20/k - -1 - 0. Is p at most j?
True
Let p be 55/(-22) - (-2)/(-4). Let c be p*(-3)/(-36)*4. Which is smaller: c or 2/3?
c
Suppose k = -4*j, -6*k + 4*k = -3*j. Let s be (3 + 408/(-135))*-2. Which is bigger: s or j?
s
Let w be (-40)/((-8)/2) + -15. Let t(y) = -y - 7. Let v be t(-5). Which is smaller: v or w?
w
Let y = -33 + 36. Suppose -4*c = y*m + 17, 2*m - c - 2 = 5. Which is smaller: m or 2/7?
2/7
Let j(p) = p**2 - 2*p - 3. Let y(c) = -6*c - 13. Let h be y(-2). Let x be j(h). Is x >= 0?
True
Let g = -332.86 + 330. Let s = g + -0.04. Let z = -0.9 - s. Are -0.05 and z equal?
False
Let k = 41979/4 + -1259441/120. Let g = -3/40 + k. Which is smaller: g or -2?
-2
Let l(d) = -d**3 + 5*d**2 + 7*d - 3. Let f be l(6). Let z(k) = -26*k - 5*k**3 + 18*k + 8*k**2 + 3 + 4*k**f. Let n be z(7). Which is greater: n or -3?
-3
Let s = 1.3 - -0.7. Is -429 at least as big as s?
False
Let s be (4/(16/30))/((-1)/(-2)). Let y be ((-10)/s*1)/(7/24). Is -1 greater than or equal to y?
True
Suppose 0 = 4*b + 3*k + 19, 5*b - 5*k + 39 = -11. Let y = -6 - b. Which is bigger: -2/131 or y?
y
Suppose -3*g - 16 = -p, -10 = 5*g - 2*p + 18. Let i be 1 - 0 - (-5 - g). Let f be (15/(-6) + i)*0. Which is smaller: f or -2/25?
-2/25
Let b be 1/((-6)/(60/155)). Which is greater: 1 or b?
1
Suppose -3*p = -0*p - 2*z + 38, 4*p + 51 = 3*z. Let r be (-452)/152 + 1*3. Let g = -200/19 + r. Which is greater: g or p?
g
Let l be 7/(-7602)*1557/6. Let w = l - 2/181. Which is smaller: 1/6 or w?
w
Let n = -205 - -207. Is n at most as big as 40?
True
Let m be (-7)/(-21) - (-957)/(-2682). Which is smaller: m or 1?
m
Let q be (-3)/4*(5 - 3)*-14. Let x be (5/10)/(q/132). Are x and 2 equal?
False
Let w(n) = 4*n**3 + 29*n**2 + 4*n + 10. Let c be w(-7). Which is smaller: 223/7 or c?
c
Let n = -825 + 826.61. Which is greater: 1 or n?
n
Let l = -609/38 + 16. Let j = 1/116 - 22/29. Which is smaller: l or j?
j
Suppose l - 18 = -5*l. Suppose -4*q + l*z = -4, q = -5*z + 2*z - 14. Is q less than -4?
False
Suppose -107 = 5*g - 12. Suppose -5*t + 0*s + 2*s - 93 = 0, -2*t = 3*s + 41. Does g = t?
True
Let w be 18/4 - ((-21)/6)/7. Suppose -w*v + 32 = 7. Which is bigger: 3 or v?
v
Let j = 54 + -42. Let x = j + -10. Let f = 3 + -5. Is f smaller than x?
True
Suppose 0*p - 164 = 2*p. Let d = 73 + p. Is d greater than or equal to -11?
True
Let g be -1*(-1)/(-13) - (-25144)/364. Is 74 != g?
True
Let w be (63/(-6))/(-7) + -63. Let q = w + 64. Suppose 0 = 4*y + y - 15. Is y at least q?
True
Let r = -456 + 457. Let x be ((-55)/(-2))/((-2)/(-4)). Let f be 2/(-4)*(-10)/x. Which is bigger: f or r?
r
Let p = 0.443 - 0.4. Let z = 2.937 + p. Let c = -3 + z. Which is bigger: 0.1 or c?
0.1
Let t = 1427 + -1426. Is t at least as big as 5/47?
True
Let w(k) = 6*k - 9. Let s = -27 - -32. Let v be w(s). Let m = -24