 + 23 + 56*b**2 - 15*b**2 - 19*b**2. Let z be p(-11). Which is smaller: -12/7 or z?
-12/7
Let n = -111.4 - -101. Let c = 10.2 + n. Which is smaller: 3 or c?
c
Let x(l) = -344*l**2 + 8*l + 7. Let g be x(-1). Which is smaller: g or -347?
-347
Suppose 4*x - 490 = 1730. Suppose -23*c + x = -8*c. Which is greater: 38 or c?
38
Suppose -6*c + 7*c + 2*y = 0, 0 = 3*c + 4*y + 4. Let q be 1*(2 + 3 + c). Is q <= -1/139?
False
Let w be (-2 + 1)*(3 + 3). Suppose 0 = -3*n - 2*r - 35 - 43, -3*r = -4*n - 121. Let f = 22 + n. Is f not equal to w?
False
Suppose 66 = 7*u - 130. Let y = u - 38. Let k be 30/4*24/(-18). Are k and y nonequal?
False
Let f be (16/20)/((-4)/130). Let g = f + 16. Let b = g + 3. Is -8 < b?
True
Suppose -j + 5*i = 190, 0 = 5*i - 8 - 2. Which is greater: -178 or j?
-178
Let o(p) = p**2 + 15*p + 10. Let d be o(-15). Suppose -7*n = d - 10. Is 5/4 greater than n?
True
Let d = -53.8 - -73. Let g = 20 - d. Let b = -2.2 - g. Is b at most as big as 0?
True
Let h be (-6)/4*(-2)/(-3). Let b = 101 - 157. Let v = 169/3 + b. Which is greater: h or v?
v
Suppose -76*h - 108 = 32*h. Let x = 102.63 - 102. Which is greater: h or x?
x
Let i(a) = -a**2 - 21*a + 7. Let g be i(-21). Let u(v) = -v - 1. Let k be u(-1). Let f be (0 + k)/(g/(-7)). Is f > 4?
False
Let d be 504/192 - 15/6. Let x = 1/38 - 47/342. Is x bigger than d?
False
Suppose 3 + 11 = m + 3*j, -5*m = -5*j + 10. Suppose m*z - 7*z = 0. Let q be -2 + (z + -18 - 2). Which is bigger: q or -21?
-21
Let f be 540/(-66) - -3*(-2)/(-33). Let i be 9/(-15) + (f/(-5) - 0). Let l = -1 + 2. Is i greater than l?
False
Suppose -4*y - 79 + 19 = 0. Let o = -363 + 347. Is o >= y?
False
Suppose 0 = -4*b + 19*b - 1110. Which is bigger: b or 71?
b
Let i(l) = 6*l**3 - 4*l + 3. Let h be i(2). Which is smaller: h or 42?
42
Let a = 14.94 + -14.64. Which is smaller: a or -0.118?
-0.118
Let f be 85/3 - (-80)/48. Is 26 smaller than f?
True
Let c = 4.98 + -5. Let i = c - -0.08. Let j be 36/9 - (-1 - -5). Which is smaller: i or j?
j
Let p = 1086 + -1082. Suppose -4*w - 11 = -2*b - 9*w, 2*w = -2. Let t = -15/2 + b. Which is bigger: p or t?
p
Let x = 0.424 - -7.166. Let v = x - -0.41. Which is greater: -1/2 or v?
v
Let h = -0.09 + -0.26. Let o = -0.01 - h. Let d = o + -0.4. Is 2 smaller than d?
False
Let u be (10/(-15))/((-2)/39). Let p = u - -2. Suppose -12 = -17*k + p*k. Is 6 bigger than k?
False
Let q be 6/(-15) - 143/(-220). Suppose 3*j = 2*j + 1. Let y be ((-12)/7)/j + 2. Which is greater: y or q?
y
Let f = -14 + 22. Let y = -6 + f. Suppose -2*l + 4*g = -0*g + 10, -2*l + 8 = y*g. Which is smaller: l or 3/4?
3/4
Let r = 329 - 318. Which is greater: 19 or r?
19
Suppose -5*v = -4*l + l - 19, 2*l = 2*v - 6. Suppose 3*b - b - 4*y + 4 = 0, 0 = -b - v*y + 5. Let d = 3 - 5. Is d greater than b?
False
Let x be 1660/(-80) - 3/(-2)*(-2)/12. Suppose 76 = -7*y + 3*y. Is x less than or equal to y?
True
Let n be 2/1 + -6 - (-375)/5. Let u be 209/(-3) - 6/3. Let k = u + n. Is 0 less than or equal to k?
False
Let o = 702 + -1433/2. Which is smaller: o or -16?
-16
Let r = -3.99 + -0.01. Let i = -2 - r. Let o = 353/1890 - -5/378. Is o at most as big as i?
True
Let d = -8 + 20. Let t = 4 - 12. Let a be 2/8*d/t. Is 1 bigger than a?
True
Suppose -3 = -2*n + 5. Let x(w) = 106*w - 54*w - 51*w - 4 + 1. Let j be x(n). Which is smaller: -4 or j?
-4
Suppose 3 = 27*c - 24. Is c != 2/387?
True
Suppose -2*k = 2*k + 88. Let h be 3/(18/k) - 3. Is h >= -6?
False
Let y be 568/15 - 40/(-300). Suppose -y = 8*z - 7*z. Which is smaller: -40 or z?
-40
Let n = -66 - -72.8. Let q = 0.3 + 1.9. Let g = n + q. Is 0.2 less than g?
True
Let a = 2909/3 + -13569/14. Let m = a - -1/21. Let b = -32.7 + 49.7. Is m less than b?
True
Let i = -38.1 - -32.1. Which is smaller: i or -1/36?
i
Let f be (-3)/(-549)*135/(-6)*-1. Let y = -815/3294 - f. Is -1 at most as big as y?
True
Let m(r) = 5*r + 1. Let i(u) = 1. Let h(j) = 2*i(j) + m(j). Let n be h(1). Let k = n + 1. Is k equal to 9?
True
Let f = 3.0818 + -0.0818. Which is smaller: 5.3 or f?
f
Let k = 1/20 - 1/4. Is k at most as big as 2/9?
True
Let t = -2/119 - 353/238. Suppose 0 = -3*g - 2*g - 35. Let n = g - -4. Is t at most as big as n?
False
Suppose 0 = -2*o - 5*h - 18, -3 = -4*o + h + 5. Which is greater: -1 or o?
o
Suppose 2*h - 309 = -417. Does -54 = h?
True
Let f = 58 + -1451/25. Let d = -1600 - -1601. Which is greater: f or d?
d
Let d = 59 + -59.37. Let b = d - -0.27. Suppose -23 - 7 = -5*o. Which is smaller: o or b?
b
Let w(b) = -b**2 + 10*b - 1. Let h be w(0). Which is smaller: -1/47 or h?
h
Let f be -12*((-2)/(-3) - 1). Suppose 0*q - 26 = -f*q + 2*v, -2*v = 2*q - 28. Let u be (-2 - (-24)/9)*q. Which is bigger: 7 or u?
7
Suppose 2*g + i = -0*g + 34, -42 = -2*g - 3*i. Let n be 5*1*(g + -14). Suppose 26 = n*h + 1. Is 1 greater than h?
False
Let o = -1882874391014/883030169007 + 466/22212919. Let u = 10/1893 + o. Let a = u + 23/9. Which is bigger: a or 1?
1
Suppose 2*t = -2*p + 18, 0 = -3*p - 0*t + t + 11. Suppose -p*k = 2*o - 35, 5*o = k - 1 - 6. Which is bigger: k or 2?
k
Let y be (-468)/68 + (-28)/238. Is y > -9?
True
Let g(y) = y + 20. Let f be g(-7). Suppose 3*m - 67 = -6*n + n, 3*n - 5*m - f = 0. Which is bigger: n or 12?
12
Let n = -9.95 - -10. Let g = n + -0.15. Let r = -3.1 - g. Is r smaller than -0.1?
True
Let u(f) = -f**2 + 20*f - 33. Let x be u(19). Does -9 = x?
False
Let z = 7.7 - 27.7. Let b = 21 + z. Which is smaller: b or 0?
0
Let d = -321 - -2245/7. Which is smaller: 3 or d?
d
Let p = -1243.063 + 1243. Is 6 at most as big as p?
False
Let l = -65.3 + 64.3. Is l equal to -3/4?
False
Let v = -47091/364 - -906/7. Which is greater: -1 or v?
v
Let s = 135 - 138. Let j be 1/s + (0 - 98/(-105)). Does 2 = j?
False
Let z = 0.1 - 0.3. Let t = 0.3 + z. Suppose 592*v - 10 = 597*v. Does v = t?
False
Let w = 24 - 22. Let x be 4/w*2 - 2. Is x at most -0.03?
False
Let i be (35/(-45))/(10/(-66)). Let r = 1739/330 - i. Are r and -1 unequal?
True
Suppose 2*a = -3*a + v - 85, 5*v = -2*a - 34. Let p = 4 - 19. Let r = p - a. Which is bigger: r or 2/3?
r
Let s(c) = c**3 - 2*c**2 - 2*c + 1. Let q = 0 - -3. Let a be s(q). Suppose 4*b = -a*m + 8*m + 8, -2*m = b + 4. Which is smaller: b or -2?
-2
Suppose c - 25 = -5*x, -2*x = -5*c - 4 - 6. Let r = 9404 - 18901/2. Is c < r?
False
Let r = -65 + 70. Suppose 4*n - r*g = 21, 3*n - g - 2*g = 12. Which is greater: -5 or n?
n
Let w = 9 + -13. Let g = 8.9661 - -0.0339. Is w < g?
True
Suppose -3*o + 7*o - 41 = -n, 5*o + 206 = 4*n. Are -10 and n unequal?
True
Let j be (-8 - 2088/(-260))*-1*5. Is -1 greater than j?
False
Suppose 5 = 3*o - 8*o. Let c be (o/3)/((-6)/54). Which is greater: c or -1?
c
Let l = -577 - -942. Let j = l + -2559/7. Is j at least -1?
True
Let t = 0.26 + -0.2. Let j = 0.3 - 0.26. Let q = j + t. Is 0.6 > q?
True
Suppose 2*l - 5*l = 0. Suppose -2*f - 14 = f + 5*d, l = 5*d - 10. Let w be ((-5)/10)/((-6)/f). Is w bigger than 2/7?
False
Let p be (4/2 - -2) + 10. Let n(w) be the first derivative of -3*w**4 + 2*w**3/3 - w + 2. Let h be n(-1). Which is smaller: h or p?
h
Let a(i) = -27*i**2 + 35*i + 125. Let u be a(-3). Is u at most -3?
True
Let x(h) = 3*h**3 + 11*h**2 + 8*h - 9. Let t(k) = 8*k**3 + 32*k**2 + 24*k - 27. Let u(a) = -4*t(a) + 11*x(a). Let n be u(8). Is n equal to -2?
False
Suppose n = -0*o - 2*o - 7, 5*n + 4*o = -11. Is 26/17 at most n?
False
Let q be 2/16 + (-11869)/3960*-5. Is 15 at least as big as q?
False
Let t = -3/23 - -4/207. Suppose -2*j - 3 + 0 = -5*c, 0 = -4*j + c + 3. Let n be (j - -3) + 5/(-1). Which is greater: t or n?
t
Suppose u = -1 + 11. Suppose 4 = -3*y + u. Suppose -3*z - y = -2*z. Which is greater: -1 or z?
-1
Suppose n + s - 4 = 0, -4*n + 4*s - 8 = -0*s. Let u be (n + -1*1)/2. Suppose 61*v = 93*v + 32. Which is bigger: v or u?
u
Let h = -58.43 + 1.43. Let z = h - -56.8. Which is bigger: z or -4?
z
Let j(l) = -5*l**2 - 3*l + 4. Let c be j(1). Let s(h) = -2*h**2 - 9*h - 5. Let v be s(c). Which is bigger: v or 4/23?
4/23
Suppose 7*c = 2*c + 25. Suppose p - 3 = -3*q, p + 4*p - c*q - 55 = 0. Let n be ((-3)/26)/(p/(-24)). Which is smaller: 1 or n?
n
Let o = 355 - 360. Which is bigger: o or -2?
-2
Suppose 2*d - 66 = -4*u, 3 = 2*d + 1. Suppose -2*v + 2*x = 6*x - 34, 4*x - 19 = -v. Let g = u - v. Which is smaller: 3 or g?
g
Suppose 13*d + 25 = -27. Is