f). Is b smaller than n?
False
Let v(j) = -j**3 + 3*j**2 + 3*j - 2. Let n be v(2). Let t(z) = z**2 - 12*z + 12. Let x be t(n). Is -22 > x?
False
Let m = 0 - 1. Let b be ((-3)/11)/(-1 + -1). Let k = b - 31/66. Which is greater: k or m?
k
Suppose 0 = -s + 1. Let z = -545/14471 - -36/499. Is s at most z?
False
Suppose 6 = 5*c + 4*p, -2*c - 3*c + p = 14. Let z be ((-10)/(-55))/(c + 0). Let q be (-1)/(-28) - 4/14. Is z at most q?
False
Suppose -12*p = -18*p - 3054. Is -510 >= p?
False
Suppose -1260 = -23*f + 327. Which is smaller: 279/4 or f?
f
Let t be (100/(-14))/(-2) - (13 + -9). Are t and 0.15 equal?
False
Let r be (7/(-6) - -1)/((-6)/270). Which is smaller: r or -10?
-10
Let y(u) = 2*u - 2. Let k be y(-5). Let h(x) = -3*x**2 - 17*x - 24. Let b be h(-5). Which is smaller: k or b?
b
Let c be -7 - 2*(0 - 1). Suppose 3*h + a - 11 = 0, 2*h - a + 2*a - 8 = 0. Suppose 3 = -h*f - k - 15, -f + 2*k - 6 = 0. Is f < c?
True
Let m be (-10)/(-2) - (-3 + (3 - -2)). Let i be (-45)/(-3)*(0 - m)/(-3). Is 17 less than i?
False
Let j(d) = 16*d - 5*d + 42 - 6*d. Let w be j(11). Is 96 at least w?
False
Let c = 10 + -27. Let q(w) = 5*w - 36. Let k be q(4). Are k and c non-equal?
True
Suppose 0 = 3*j + 1 - 7. Suppose -u = u - j. Is 1 < u?
False
Let a(k) = -44*k - 33. Let q(g) = -1. Let w(c) = -a(c) + 33*q(c). Let m be w(1). Suppose -4*h + 2*u - 16 = 0, 5*u = -6*h + 2*h - m. Which is smaller: 2/7 or h?
h
Let w be (5 - 0) + ((-96852)/(-1383))/(-14). Which is greater: w or 0?
0
Let y(o) be the first derivative of o**4/24 - o**3/3 + 3*o**2/2 - 5. Let m(p) be the second derivative of y(p). Let k be m(-5). Does -7 = k?
True
Suppose -4 + 34 = -2*t. Let q = -216 - -203. Is q > t?
True
Let s = -131 + 133. Which is greater: -57 or s?
s
Let o = -1901 + 2044. Which is smaller: o or 141?
141
Let w be 7/98*-4 + (-16)/(-105). Suppose 5*c = -d + 5, 3*c - 2 - 1 = 0. Which is smaller: d or w?
w
Let g = -25.86 + 22. Let l = 13.14 - 13. Let z = l - g. Which is smaller: 0 or z?
0
Let w be (4/612)/((-3)/(-18)). Let y = 0.093 + 1.907. Which is smaller: w or y?
w
Let b(l) = l + 9. Let o be b(-5). Let z be -57 - -4 - (-1 + o). Let y = -291/5 - z. Which is bigger: y or -3?
y
Suppose 0 = -z + 2*d, 4*z = -0*z + 3*d + 25. Let c be 3 - (-15)/63*(-142)/z. Which is greater: -1 or c?
c
Let t be (-1 - -1)/(-3) + 2. Suppose t*p - 15 = p. Suppose -13*f - 2*f = -225. Is p less than or equal to f?
True
Let v = -157 + 175. Let o = 17.9 - v. Which is smaller: o or 1/2?
o
Let k(v) = 4*v - 19. Let b be k(6). Suppose -15 = -3*d + b*f, 7*d + 9 = 4*d - 3*f. Suppose 9*u - 8*u - 1 = d. Which is greater: u or 3?
3
Let o = -97 - -89.9. Let k = 6.5 + o. Which is greater: -3 or k?
k
Let c be (1 + 14*1)*(206 + -207). Is -21 equal to c?
False
Let d = 205 + -231. Which is smaller: d or -27?
-27
Let y = 63.5 + -63.446. Which is smaller: -0.06 or y?
-0.06
Let h(n) = -n**3 + 12*n**2 - 8*n + 11. Let v be h(12). Let o = v - -68. Which is smaller: -15 or o?
o
Suppose 0 = -2*h, -3*h - 605 = -5*g + 2*h. Is 121 less than or equal to g?
True
Let c = -123 + 87. Let h = -155/14 + -178/7. Do h and c have the same value?
False
Let p = 1477.1 + -1477. Is 1497 less than p?
False
Let g be ((-160)/704)/((-1)/4*-3). Is g at most as big as 0?
True
Let d be (4/(-3))/(14/(-6)). Let u(q) = -q + 12. Let j(x) = -2*x + 11. Let k(s) = -3*j(s) + 4*u(s). Let z be k(-7). Which is greater: d or z?
z
Suppose -2*p + 44 = 2*p + 4*q, 0 = -p + 5*q + 35. Let w = p + -11. Suppose 35 = w*m - 13. Is 1 bigger than m?
False
Let y = 37 - 34. Suppose -a + y*f = 0, -5*f = -2*f + 6. Is -6 < a?
False
Let q = 173 - 46. Which is smaller: 128 or q?
q
Let y = 57 - 34. Let c(w) = w**3 - 7*w**2 - 40*w - 20. Let m be c(11). Is m < y?
False
Let o be -3 - ((-66)/17 - -1). Let k = 438 - 437. Which is smaller: k or o?
o
Suppose 5*w = l + 68, 0*w + 5*l - 24 = -w. Suppose -3*b + 2 - w = 0, 0 = 5*v - b - 104. Let q = v - 17. Which is smaller: 2 or q?
2
Let h be (-3396)/(-681) - (-30)/(-6). Is -1 smaller than h?
True
Let k = -519/2 + 259. Which is smaller: k or -10/9?
-10/9
Let q(y) be the first derivative of y**2 - y - 3. Let d be q(2). Let s be (7 + -3)*d/(-12). Which is bigger: -1/4 or s?
-1/4
Let u be 71/(-142)*(-4)/(-29). Which is greater: u or 0?
0
Suppose 2*y - 3 = -1. Let w = 22 - 42. Let z be (8/w)/(3/(45/(-129))). Is y at most as big as z?
False
Suppose 2*m = 3*m + 61. Let f = -5420 - -5358. Are f and m non-equal?
True
Let v(i) = i**3 + 2*i**2 - 6*i - 1. Let r be v(-3). Let a be ((-30)/28)/((-4)/r + 1). Which is bigger: a or -1?
-1
Let c(k) = -24*k**2 - 9*k - 2. Let j be c(-1). Is j <= -23?
False
Let l = 450 + -442. Is l < 9?
True
Let i = 94 - 78. Let q = 16 - i. Let k be 32/(-14) - 2/(-7). Which is smaller: q or k?
k
Let s be (3 - 162/57)/4. Let y = -942 + 941. Do s and y have the same value?
False
Let j = -224.37 + 226. Let u = 0.37 + j. Which is bigger: -0.3 or u?
u
Let g(l) = 5*l + 2. Let s be g(6). Suppose -3*a + s = -13. Is 15 smaller than a?
False
Let c = -225 + 197. Which is smaller: 0.1 or c?
c
Let s be (-1128)/(-84) + ((-6)/3 - 1). Is s not equal to 9?
True
Suppose 0 = -3*z - x + 1, z - 3*x = 3 - 16. Let j be ((-8)/6 - z)*-24. Suppose 0 = 4*a - 2*a - 2*l + j, 3*l = 0. Is 0 <= a?
False
Let n(k) = -4*k**2 + 5*k - 2. Let r be n(3). Suppose 2*j - 5*j = 48. Let h = j - r. Is 8 less than h?
False
Let s = 260.379 + -261. Which is smaller: 1 or s?
s
Suppose -4*t + 60 = 48. Let g be (4/(-6))/(6/(-27)). Let j be ((-2)/(-4))/(g/15). Which is smaller: t or j?
j
Let r = -123.9 + 124. Let t = 265 - 1321/5. Let z = -1 + t. Is r greater than z?
True
Suppose 3*m = -62 + 2. Suppose -2*k - 3*a = -13, 5*a - 2 = 4*k + 5. Let o be k/(-14) - m/630. Which is smaller: -1 or o?
-1
Let q(i) = i**2 - i + 1. Let d be q(1). Which is greater: -32 or d?
d
Let s = 1.98 - 2. Let g = 9 + -1. Let c be (-10)/8*g/40. Which is smaller: c or s?
c
Let i be -4 - (3 + 0/5 + -1). Let f = -3 - -5. Let y be i/(-4)*f/9. Is y <= 0.1?
False
Let u(q) = -q**3 - q + 1. Let i be u(-2). Let j(b) = -b - 5. Let l be j(5). Let c = l + i. Which is bigger: c or -2/17?
c
Let n be 2 - (1 - 4)/(-1). Let d = -2/663 - 643/6630. Is n <= d?
True
Let j = 27610/9 - 198166/63. Let i = -77 - j. Which is bigger: 0 or i?
i
Let s(v) = v**3 - 10*v**2 + 11*v - 18. Suppose 8 = 2*b - 0*b + 2*o, 3*o = -5*b + 30. Let h be s(b). Is -2/169 not equal to h?
True
Let w = -23 - -12. Let o = 6.9 - -23.1. Let l = 29.9 - o. Are l and w equal?
False
Suppose -4*o - 8 = -3*h - 2, 5*o = 4*h - 8. Which is smaller: -5/31 or o?
-5/31
Let a(l) = 26*l + 155. Let w be a(-6). Which is bigger: w or 2/107?
2/107
Suppose j - 17 - 13 = -4*a, 3*a = 4*j - 44. Is 14 not equal to j?
False
Let y = -2214 - -2211.806. Let i = -0.264 - y. Let q = i - -0.07. Is q at least as big as -2?
True
Let l be -10 + (10 - (-42)/243). Which is smaller: l or 1?
l
Let d = 126 - 217. Is -89 at least as big as d?
True
Let u be (0 - 0) + (1 + 0)*-3. Let j = 139/8 - 2929/152. Which is smaller: j or u?
u
Suppose y - 10 = 2*u, -2*u + 90 = 5*y - y. Suppose 0*b - y = 5*b. Let r be 20/(-30)*(-6)/4. Is b less than r?
True
Let o be (2/7 + 288/756)*-3. Are o and -19 unequal?
True
Let x be ((-760)/15)/(1/6). Let k = -2134/7 - x. Suppose 0 = 2*n - 5*n. Is k bigger than n?
False
Let i be (50/(-15))/(0 - (-4)/(-3)). Is 2 greater than i?
False
Suppose 23*q + 224 = -121. Do q and -9 have different values?
True
Let n be 8793/(-81) - 2 - -8. Suppose 3*c + c - 3*d = -403, -5*c = -4*d + 503. Let m = n - c. Are m and 0 equal?
False
Suppose 5*i - 2*i = 30. Let t be (5/((-175)/(-30)))/((-8)/(-56)). Is i at most as big as t?
False
Let u be (2 - (9 + -4))*-1. Let j be 20/6*u/3. Is 2 > j?
False
Let g = -132 - -1258. Let n = g - 66436/59. Which is smaller: 1 or n?
n
Let m = 162.07 + -159. Which is bigger: -1/2 or m?
m
Let n = -86/5 + 349/20. Let a = -5 - -7. Which is smaller: a or n?
n
Let k(b) = -2*b**2 - 3. Let w(u) = -u**3 + 6*u**2 - 6*u + 5. Let x be w(5). Suppose 0 = 4*y - x*y - 8. Let i be k(y). Is -12 >= i?
False
Let u = 32.3 + -28.3. Which is greater: u or 0.23?
u
Let i be (-6)/(-36712)*(-48)/(-18). Which is bigger: -1 or i?
i
Let y be -2*1 - 396/(-200). Which is smaller: 0 or y?
y
Suppose -217 = 4*j - c, 1 = -0*c + c. Let h = 812/15 + j. Let g = 0 + 0. Which is smaller: h or g?
g
Let g(a) = 342*a + 