 = 5*n - 39. Is b > y?
False
Let i = 7 - 8. Let j = 9 + -9.2. Which is smaller: j or i?
i
Let h be -1 + -1 + (-1)/(-1). Suppose 2*u - 5*u - 99 = 0. Let p = 100/3 + u. Which is smaller: h or p?
h
Suppose 4*m = 12 + 16. Suppose 3*y + 5*h = 12, 2*y - 3*h + m = -4. Let k be (-110)/18 + 30/5. Which is greater: y or k?
k
Let y be -1*(1 + 0 - -1). Which is bigger: -4/5 or y?
-4/5
Let d(l) = 2*l**2 + 11*l - 4. Let n be d(-8). Is n not equal to 69/2?
True
Let d = 16 - 98. Is -83 at most d?
True
Let u(f) = f**2 - 9*f + 7. Let d be u(8). Let y = 5 + d. Is y at least 4?
True
Let n = -0.4 - -0.8. Let z = -2.9 + 1.6. Let d = z - -0.3. Is n <= d?
False
Let q = 5.93 - 0.93. Is q greater than or equal to -1?
True
Let y(r) = 5*r - 6. Let p be y(5). Let v = 37/2 - p. Which is greater: -2 or v?
v
Let y(g) = -g**2 + g + 5. Let n be y(4). Let t be (-3 - (-14)/6)*3. Let i be (-484)/77 + t/(-7). Which is smaller: i or n?
n
Let j = 14 - 13. Is 2/305 > j?
False
Let p be (-2)/7 + 64/28. Let y = -15 + 76/5. Is y less than or equal to p?
True
Let d = 2.51 + -0.51. Which is smaller: d or -3/4?
-3/4
Suppose -4*c - 3*f = -57, 0 = c - 2*c - f + 14. Is 96/7 <= c?
True
Suppose 14*b - 1 = 15*b. Which is greater: b or -3?
b
Let y(i) = -i**3 + 5*i**2 + 7*i - 2. Let f be y(6). Let d be -1 + f/(-6) + 2. Let g = -0.5 - -0.3. Is d less than g?
False
Suppose -i - 3*v = 16, 2*v + 1 = -3. Let p = 21 + -31. Is p greater than i?
False
Let c(f) = -f. Let z be c(-1). Let k be (6 + -6)*(-2 + z). Which is greater: k or -1?
k
Let v(r) = -r - 13. Let g be v(-12). Suppose 0 = 5*s - 5*p, 3*s - 5*p + 3 = 5. Is g > s?
False
Let m(d) = -d**3 - 8*d**2 - 5*d + 9. Suppose 4*b + 3 = 3*b - 2*q, 2*q = 4*b + 32. Let t be m(b). Let f = -5 - t. Which is smaller: f or -1/11?
-1/11
Let t be 1/((-237)/117 + 2). Which is smaller: -38 or t?
t
Let d = 0 - 0. Let p(a) = -21*a**2 - 2*a + 1. Let l be p(1). Let q be 8/l*8/(-16). Which is bigger: d or q?
q
Let h be 3/9 - 5/(-3). Suppose -4*r + h*x - 3*x = 14, 0 = -r - 2*x - 7. Let i = r - 1. Which is bigger: i or 0.1?
0.1
Let x(v) = v + 2. Let s be x(2). Suppose -y = -s + 5. Let b be 1 - (-3)/9 - 1. Which is smaller: y or b?
y
Let t = 2352 + -489247/208. Let m = 1/208 - t. Let q = -2 - -3. Which is smaller: m or q?
m
Let l = -59/66 - -5/22. Suppose 2*f = f + 5. Which is smaller: f or l?
l
Let g be (-15)/30 - 35/(-2). Which is smaller: g or 0?
0
Let r = 0.064 + -27.064. Let h = r - -28.05. Let y = -0.05 + h. Which is smaller: y or -1?
-1
Let x = -93/4 - -23. Let l be (10/4)/((-3)/(-6)). Let w(o) = o**3 - 6*o**2 + 6*o - 6. Let t be w(l). Is x smaller than t?
False
Let y be (2/(-8))/(90/144). Is y < -1.8?
False
Let s = 4 + -3.99. Let b = s + 6.59. Let f = b - -0.4. Which is smaller: f or -1?
-1
Let f be 1/2 + (-25)/20. Is f not equal to -1?
True
Let b = -1 - -9. Let w = b + -5. Let u be -1 + 0 + 2 + 2. Is u smaller than w?
False
Let p(u) = -14*u + 1. Let j be p(4). Let f be (-1)/((j/2)/(-5)). Do 1 and f have different values?
True
Let i(p) = 2*p - 25. Let c be i(14). Does c = 6?
False
Let h = 2 - 1.9. Let y be (-5 - -6)*(-2)/4. Which is greater: h or y?
h
Let o be 2/(-7) - 3/(-21)*-5. Which is greater: -5/17 or o?
-5/17
Let h be (-8)/(-70)*(-20)/88. Is 0 at least as big as h?
True
Suppose -3*f + 23 = 2*b, b + 2*f - 3 - 10 = 0. Suppose 0 = 5*r - b + 17. Let x(t) = t - 4. Let j be x(3). Is r not equal to j?
True
Suppose -2*w - 10 = 0, -4*w = 4*p + p + 70. Let k = -4 - p. Let d be ((-3)/(-4))/(k/20). Do d and 4 have the same value?
False
Let n = -6 - -6.1. Let x = -3 + 3.1. Let s = 1.9 + x. Are n and s unequal?
True
Let n be ((-5)/15)/(4/(48/(-19))). Which is bigger: 0 or n?
n
Let c = -3.02 + 0.02. Let k = -0.93 + -0.07. Is c equal to k?
False
Let m = 8 - 5. Suppose -m*d + 3 = -0*d. Let b be -1 - (-32)/18 - d. Which is smaller: 1 or b?
b
Let y(j) = j**3 + 5*j**2 + j + 6. Let c be y(-5). Which is greater: -1/7 or c?
c
Suppose -4*l - 10 - 2 = -a, -3*l - 10 = -a. Suppose -f + a = -2*y, -19 = f + f + 5*y. Which is greater: -4 or f?
f
Let x(l) be the third derivative of l**4/8 - l**3/3 - l**2. Let h be x(2). Suppose -h*u = -u - 6. Is 2 less than or equal to u?
True
Let w = -0.1 - -0.1. Let y(x) = x**3 + x + 1. Let c(m) = -6*m**3 + 5*m**2 + 4*m - 22. Let t(l) = -c(l) - 5*y(l). Let s be t(6). Is s at least as big as w?
False
Let x = 10 - 6. Suppose x*l = -l. Which is bigger: -2/13 or l?
l
Let z(j) = -j**3 + 8*j**2 - 7*j - 2. Let p be z(6). Suppose -4*f - 4*r = -p, 0*r = -3*r + 12. Suppose 0 = 2*h - f*h. Which is greater: 1 or h?
1
Let c(k) = -k**3 + 4*k**2 - k. Let b be c(3). Let o be (b/(-8))/(1/(-4)). Suppose -11 = -u + 3*z, 2*u = 7*u - 5*z - 25. Is o less than u?
False
Suppose -2*l = -h + 3*l - 16, 0 = 5*h - 4*l + 17. Which is bigger: 2/103 or h?
2/103
Let w be (12/40)/(24/(-20)). Is 23 < w?
False
Suppose -4*n - 4*t + 2 = -2*n, 2*n - 4*t + 38 = 0. Let a be (-98)/12 - (-3)/18. Are n and a equal?
False
Suppose 4*m + r + 66 = 0, 5*r - 38 = 4*m - m. Let z = m - -15. Is z smaller than -2?
False
Suppose d - 2*u = 2*d + 75, 2*d + 5*u = -149. Are d and -78 nonequal?
True
Let b be 3/9 + ((-780)/441)/5. Are b and 1 unequal?
True
Let f be 0 + 6 - (-4 + 4). Is 5 >= f?
False
Let t = 28/29 - 1453/754. Let v = t - -6/13. Which is bigger: v or -1?
v
Suppose -n = 5*l - 22, -5*l + 4*n = -4*l + 4. Let t = l - -2. Suppose 2*a + 4*q + t = 0, -3*q = 4*a + q. Is 3 smaller than a?
False
Suppose 12 = -4*n + 3*b + 29, 0 = 4*b - 4. Is n at most 6?
True
Let p be 1/2 + (-2)/4. Let i be (-25)/2 + (-4)/(-8). Let v be 3/i + -1 + 1. Does p = v?
False
Suppose -r - 4*q = -7 + 2, 2*r + 12 = 3*q. Let k be (r - -2) + (-2)/(-4). Is k <= 0?
True
Let y(z) = z**3 + 7*z**2 + 6*z + 3. Let s be y(-7). Let x be (4 + -1)*2/s. Which is bigger: x or -1?
x
Let u be (-17)/36 - (-2)/9. Is u <= 15?
True
Let q be (1/(-2))/((-11)/4). Is 1 at least q?
True
Let a = 14 + 20. Is a less than 34?
False
Let r = -17979 + 1348397/75. Let d be 58/(-200) + 4/16. Let w = d - r. Which is greater: 6 or w?
6
Let d(g) = -2*g - 4. Let h be d(-7). Suppose 0 = -k - 3*v - 5, k + 2*v = -3*v - 7. Let t be k/h + 48/15. Which is bigger: 2 or t?
t
Let g(f) = -f**2 + 7*f + 10. Let n be g(8). Let u be (-5)/10*4/n. Let w = -27 + 192/7. Is w at most u?
False
Let r = -702/7 - -100. Suppose -4*f - 6 = 2*t, -t - 3 = 4*f - 0. Let h(i) = -i**3 - 4*i**2 - 2*i + 3. Let n be h(t). Is r not equal to n?
True
Let c = 55/24 - 6937/3048. Is -1 equal to c?
False
Let w = 0 + -7. Let s(n) = -n**2 - 3*n + 4. Let i be s(2). Do w and i have the same value?
False
Let f be (-2)/7*(-9)/(-6). Let o be (-15)/45 - (-2)/6. Is f bigger than o?
False
Let j be (10 + -1 + -3)*-2. Let n = j + 13. Is 2/3 <= n?
True
Let y = -122 - -123. Which is smaller: 6/7 or y?
6/7
Let y be 3 + 389/(-55) + (3 - -1). Is -1 smaller than y?
True
Let w = 179 - 6979/39. Is 1 not equal to w?
True
Let v = 1 + -3. Which is smaller: 1/3 or v?
v
Let x(v) = 9*v + 1. Let k be x(1). Let f be (15/k)/(2/4). Suppose -2*p - 10 = f*p. Is -1/2 not equal to p?
True
Let d be (-72)/15 - (-1)/(-5). Let t be (3 - 1)/(0 - 2). Let k be (12/2)/(t/1). Is d bigger than k?
True
Let j = 15/11 + -323/253. Which is smaller: j or 0?
0
Suppose 4*p = -16, -20 = 4*k + 4*p - 8. Let x be 2 - k - (-20)/(-4). Is x bigger than -4?
False
Suppose -5*o = -7 - 13. Let d be (1/(-3))/(o/(-84)). Which is smaller: d or 6?
6
Let n = -11 - -29. Suppose 72 = -4*c + 8*c. Let v be (-4)/c + (-23)/n. Which is smaller: -2 or v?
-2
Let u be ((-6)/(-15))/((-8)/(-50)). Let i(p) = -p**2 + 2*p + 27. Let x be i(6). Which is bigger: x or u?
x
Suppose 0 = -3*d + 7*d - 76. Let t(a) = -7*a - 2. Let p be t(-3). Does d = p?
True
Let n be 3/3 - 22/26. Let b = -2.66 + 3.66. Is n smaller than b?
True
Let o(r) = r**2 + 11*r + 3. Let h be o(-11). Is 5/2 at least h?
False
Let j = -0.8 - -0.7. Which is smaller: j or 19?
j
Let d = 179237/38017 + -2/5431. Is 4 not equal to d?
True
Suppose 3 = 3*p - 3. Let i be ((-12)/(-4))/((-6)/(-4)). Let f = i + p. Which is smaller: f or 2?
2
Let b be ((0/((-20)/(-4)))/1)/(-3). Which is smaller: -20/17 or b?
-20/17
Let t(u) = -2*u - 2. Let n be t(-2). Suppose -2*j = n*j + 4. Which is smaller: -2 or j?
-2
Let c be (-7)/(-5) - 2/5. Let v be c/(-1*6/(-2)). Is 2 at least as big as v?
True
Let q = -0.03 + -0.77. Which is smaller: q or 2/5?
q
Let f = 