 f**3 - 6*f**2. Let g be z(11). Are d and g equal?
False
Let s = 12730 - 776506/61. Is s at most 1?
True
Let g = 0.127 - 1.127. Is 2/5 at most g?
False
Suppose -l + 8 = 6. Suppose 4*k = 4, l*y - 2*k + 2 = y. Let m = 0 + -0.2. Which is greater: m or y?
y
Let v be (-1 - -4) + (3 - 46784/7800). Which is smaller: 1 or v?
v
Let l be (-70)/22 - -2*(-3)/(-33). Let g be ((-26)/195)/((8/l)/(-2)). Let o = 5 + -6. Is g at least o?
True
Suppose 5*d + 0*m + 3*m = 20, -5*d + 4*m = -20. Suppose -d*h + 8*h + 2*p = -310, 2*h + 2*p + 158 = 0. Let j = 378/5 + h. Is -1 at least j?
False
Suppose 14*n = 19*n + 15. Let f be n/(-2)*(-44)/(-33). Suppose 2*h + 6 = v, 4*v - f*h - 3*h - 15 = 0. Is v > 2/21?
False
Let b be -3 - 5/((-25)/20). Let h be (b/4)/(98/504). Which is smaller: h or 2?
h
Let y = 222378388/723051 - 4/80339. Let h = y + -307. Is h less than 0?
False
Suppose -9 = -5*d - 4*d. Which is smaller: d or -4/45?
-4/45
Let y be 1*-1 + 8 + 2. Let s(m) = -32 - 35 - 33 + 92 + m. Let k be s(y). Which is bigger: k or 3/4?
k
Let i = 2.4 - -26.6. Let w = 28 - i. Which is bigger: w or -2?
w
Let w = 12 - 8. Suppose -f - 50 = w*f. Let n = f + 6. Which is greater: -3 or n?
-3
Let d = -0.426 - -0.026. Which is bigger: d or -0.5?
d
Suppose 0*q - 4*q = 0. Suppose -5*c + 4*c = -3. Suppose -2*u - 5*z = c*u + 15, -2*u + 5*z = -15. Is q at least u?
True
Let j(l) = l**2 + 3*l - 5. Let q be j(5). Suppose -5*z + q = -105. Suppose 5*k + z = -7. Is k greater than -9?
True
Let u = -2567615519/93 - -27609179. Let s = u + -410. Which is smaller: s or -1?
-1
Let y = 139 + -137.81. Let t = 0.19 - y. Do 13 and t have different values?
True
Let a be (36/6 - 2)/((-2)/(-8)). Is 14 less than or equal to a?
True
Let v = -11 + 0. Let p(z) = z**2 - 20*z + 41. Let j be p(17). Is v greater than j?
False
Suppose 4*y = -2*s + 82, -s + 10*y + 36 = 7*y. Let z be 3 - 3 - (-9)/s. Is 0 smaller than z?
True
Let a = -0.389 + 0.589. Does a = 7.5?
False
Let b(j) = j + 1. Let f be 6/(-15) + 57/5. Let y be b(f). Let z = -11 + y. Which is greater: z or 4/5?
z
Let g be (-18696)/(-574) - 6/(-14). Which is smaller: 16 or g?
16
Suppose 0 = -4*h - h - 10, -5*s - 121 = 3*h. Let g(a) = -a**3 + 6*a**2 - 22*a + 61. Let y be g(5). Is y > s?
False
Let q be 4/10 + (-537663)/1709820. Let b = 1/708 + q. Is -0.1 smaller than b?
True
Let b = -13.3 + -0.7. Let a = 525 - 6827/13. Which is greater: a or b?
a
Let x(m) = -2*m**3 - 11*m**2 - 14*m - 44. Let f be x(-7). Is 201 not equal to f?
False
Let u be (-2)/(-13) - 24/(-13). Suppose 4*y - u = 6, 2*y = 4*x + 108. Is -27 smaller than x?
True
Let j = -1736/11 + 158. Let l = j + -13/253. Which is bigger: -1/4 or l?
l
Let f be (2/6)/(24619/(-6153) + 4). Is -291 greater than or equal to f?
True
Let f(l) = l + 16. Let j be f(-16). Is j at least -8/45?
True
Suppose 15*l - 10 = 20. Is 30 > l?
True
Let v(m) = m**2 + 15*m - 34. Let l be v(-18). Suppose -4*x + 13 = 4*o - 11, -4*x = -l. Which is smaller: -9 or o?
-9
Let f = -5 + 9. Suppose -q = -5*q + w + f, 4*w + 16 = 2*q. Suppose -j + 3*d + 1 = q, 2*j + j + 2 = 4*d. Which is smaller: j or 1?
j
Let t = -695 + 23631/34. Is 9 equal to t?
False
Let f = -3969 + 639013/161. Let a = 237/3059 - f. Let z(j) = j**3 + 2*j**2 - 4*j - 3. Let o be z(-3). Which is smaller: o or a?
o
Let c = 13.4 + -13.6. Let t(p) = -p**3 + 10*p**2 - 9*p - 1. Let s be t(9). Let q be (-4)/((2 - s)/3). Which is bigger: q or c?
c
Let x be -1 - -2 - (10 - 8). Let i = 1166/5 + -5824/25. Which is smaller: i or x?
x
Let b(k) = 16*k + 3. Let q(m) = m + 2. Let s be q(-5). Let z be b(s). Let h = -185/4 - z. Is h < 0?
True
Let q = 28185 - 309654/11. Which is greater: 36 or q?
36
Let x = 166.17 + -164. Let q = x + -0.37. Which is smaller: -0.1 or q?
-0.1
Let q be ((-11)/(-462))/(8/28). Is q at most as big as 1?
True
Suppose -24*a + 20*a + 72 = 0. Let v(k) = -k**3 - 7*k**2 - 4*k + 7. Let m be v(-7). Let w = 53 - m. Are w and a nonequal?
False
Let g be ((-6)/4)/(72/16). Which is smaller: 0.091 or g?
g
Suppose 4*p + 4 = -20. Let o be 108/6 - p/2. Is o < 21?
False
Suppose -b = 2*l - 7*l - 37, b + l - 55 = 0. Which is smaller: b or 1?
1
Let c = -122 - -122.6. Which is smaller: 0.47 or c?
0.47
Let s = -8 - -5. Let u(v) = v**2 - 2*v + 2. Let a be u(1). Is s greater than a?
False
Let u = 75 + -27. Let n = -48.1 + u. Is 0.3 smaller than n?
False
Suppose -247 = 4*d + y, -3*y = -4*d - 8*y - 259. Are d and -68 equal?
False
Suppose -v = 5*y - 2*y + 92, 5*v - 160 = 5*y. Is -121/4 <= y?
False
Suppose 0 = -2*u - 2*p + 98, 2*p = 3*p - 3. Is u smaller than 47?
True
Let q = 1 - 1. Suppose q = -3*o - 2*o - 20. Let i(p) = p + 4. Let t be i(o). Is t > 0?
False
Suppose 10*z = 32*z + 88. Is z greater than 3.8?
False
Let i be (222/(-189))/((-8)/(-6)). Let k = -3/14 - i. Is k less than 8?
True
Let z be (-2)/6 + 497828/32079. Let m = z - 258/17. Is -1 < m?
True
Suppose -7 = 8*d - d. Which is greater: d or 2?
2
Suppose 906 = 5*v - 3*p, -5*v + p = -4*v - 182. Is 180 bigger than v?
False
Suppose -64*x = -88*x - 1608. Is x greater than -68?
True
Suppose 5*i - p = p - 432, 5*i = 3*p - 428. Let w = -87 - i. Are w and 5/6 non-equal?
True
Let g = -2801/3 + 933. Which is smaller: g or -0.784?
-0.784
Suppose -5*o + 0*t = -2*t - 15, -4*t = 0. Let k be 4 + (3 - (-1 + o)). Let h = k + -7. Is h smaller than 1?
True
Let c(g) = g**2 - 20*g + 37. Let h be c(18). Is h equal to 19/29?
False
Suppose -4*t - 20 = -d - 0*d, 10 = 4*d - 2*t. Let g be (-3 - 120/(-39))/7. Which is smaller: d or g?
d
Suppose -4*v + 20 = d, -3*d = -4*v - 7 + 27. Suppose -4*g - 1 - 3 = d. Is g less than or equal to 1/7?
True
Let u = 535 - 528. Is -3 smaller than u?
True
Let z be (-6)/(-5)*20/(-6). Let v be 1204/42*2/z. Let y = -14 - v. Is y > -8?
True
Suppose 0 = 3*h + 3*p - 5*p - 11, 0 = 2*h + 3*p - 29. Let r = h + -6. Which is greater: 10/17 or r?
r
Let w = -96.45 - -124. Let z = 0.55 - w. Let a = 27 + z. Is a not equal to -0.8?
True
Let k = -2.35 + 21.35. Which is smaller: -0.2 or k?
-0.2
Suppose r = -m - 14, -3*r + r + 44 = -4*m. Let s be 24/(-320)*10/m. Let o = 5 - 4. Is s equal to o?
False
Let i be (-6 - -6)/(1 + 2). Which is smaller: i or -9/22?
-9/22
Let n be 408/18*(2 + 1/(-2)). Let w(b) = -b**3 + 8*b**2 + 5*b - 6. Let h be w(8). Is h < n?
False
Let s = 0.035 - 0.135. Is s less than or equal to -3/13?
False
Let c = -5.3 - -5.01. Let o = -0.3 - c. Let t = o - -0.11. Which is greater: t or -0.6?
t
Let s be -1 + 5 - (2/(-1) - -2). Suppose 2 = -v + s*n - 4, -8 = -2*v - 2*n. Are v and 1/2 nonequal?
True
Let b = -6254/3915 + -2/783. Is b less than -3?
False
Suppose -21*y + 119 = 5*r - 25*y, -r = 4*y - 19. Which is bigger: -2 or r?
r
Let k = -976 - -147378/151. Which is smaller: k or -2/3?
-2/3
Suppose 5*a + 102 = -3*o, -4*a - 71 = 2*o - 1. Let d be 1/(-2) - (-2 + 1). Which is smaller: o or d?
o
Let a = 0.4 - 0.3. Let p(n) = -n**3 + 49*n**2 + 52*n - 78. Let j be p(50). Is j bigger than a?
True
Suppose 0 = -i - 3*t - 1, 5*i = 7*i + 2*t + 2. Is i less than -15/82?
True
Let j(l) = -l**3 + 2*l**2 - 2*l. Suppose -4*x + 19 - 11 = 0. Let m be j(x). Which is bigger: -0.1 or m?
-0.1
Let w = 656 + -498. Which is bigger: w or 159?
159
Let v(q) = -23*q + 22. Let d be v(1). Let g be (1/12)/(8/30). Which is greater: d or g?
g
Let p = -1386 - -1375. Which is greater: 5/3 or p?
5/3
Suppose 5*n = -9 + 24. Suppose -n*y - 3 = -3*i, 4*y + 5 = i + y. Let f(a) = 3*a + 1. Let o be f(i). Is o smaller than -2?
False
Let i(w) = -16*w + 5. Let c(u) = 31*u - 10. Let s(m) = -4*c(m) - 9*i(m). Let o be s(10). Let l be 30/o - 4/26. Which is smaller: 2/61 or l?
l
Let a = 30.24 + 0.76. Let p = a - 31.6. Let n(x) = -x + 5. Let m be n(4). Which is smaller: m or p?
p
Let u(a) = 38*a**2 - 2*a + 7. Let f be u(2). Is -1 bigger than f?
False
Let t be (-62)/12*4/(-22). Let j = 14/11 - t. Let o = 1 + -1. Is j less than o?
False
Let n = -11/2273 - 4227/65917. Suppose 0 = -0*v + 5*v. Let z be v + -1*(1 + 0). Is n at least as big as z?
True
Let x be 5 + 0 + 3/3. Suppose -35 = x*p - 233. Which is smaller: p or 32?
32
Let j be 6/4 - (-23)/(-2). Let y be (-48)/j - 10/(-50). Let q be -6 + y + (-1 - -1). Which is smaller: 4/13 or q?
q
Suppose -25 = 5*k, x - 5 = -4*k - 26. Let v be 1684/(-281) - (-24 - -18). Let n = v + 227/7587. Which is smaller: n or x?
x
Let q = -31 + 8. Let w = 0.243 - -23.157. Let