e
Let u(r) = -1 - 50*r + 53*r - 3 - 7. Let d be u(5). Let c(s) = s**2 + 6*s + 7. Let g be c(-5). Which is greater: d or g?
d
Let w = 1 - -28. Let b = w + -18. Is 1/3 > b?
False
Let m be ((-147)/(-14) - 9)*(269 + 3). Which is greater: 405 or m?
m
Let i(f) = f**2 - 7*f + 16. Let w be i(5). Suppose 0 = -3*t + 24 + 69. Suppose g - a = w*g + 43, -t = 5*g - 3*a. Is g less than -5?
True
Let v(x) = -x**2 - 2*x - 14. Let o be v(0). Let c be 116/10 - o/35. Let r be -2 + -6*(-4)/c. Which is greater: r or -1/13?
r
Let p = -2867544/833 + 53031/17. Let x = -323 - p. Does -1 = x?
False
Suppose -4*m + 53 - 37 = 0. Which is bigger: -1 or m?
m
Suppose -3*j + 3*g + 55 = 2*g, 5*j - 3*g - 93 = 0. Let t be (-1)/j - (1 - 1). Let m(u) = -u**3 + 10*u**2 - 10*u + 8. Let k be m(9). Is t <= k?
False
Let n = -284 - -374. Which is smaller: 91 or n?
n
Let q = -1096 - -1094. Which is bigger: q or -1/17?
-1/17
Suppose 4*i = -35 - 25. Let w be (4/6)/(10/i). Which is smaller: w or 0.28?
w
Let r be (456/(-56))/(15/(-70)). Suppose 5*z - 4*a - 201 = 0, 0 = -5*z + 3*z + a + 78. Which is smaller: z or r?
z
Let w = 1250 - 1250. Which is bigger: w or 1/353?
1/353
Let w = 619 - 623. Is -1/11 equal to w?
False
Let k(w) be the third derivative of w**4/24 - w**3/3 + 8*w**2. Let h be k(-2). Let i = 5 - 11. Which is smaller: i or h?
i
Let o = -21.7 - -2.8. Let b = -19 - o. Are b and 1 nonequal?
True
Let p = 0.1 + 0.9. Let b = p - 0. Let k = 2624 - 2629. Which is smaller: k or b?
k
Let f(r) be the third derivative of -r**4/24 - 2*r**3/3 + 19*r**2. Let z be f(-4). Which is smaller: z or -6/13?
-6/13
Let o(s) = s**3 + 7*s**2 - 9*s - 12. Let r be o(-8). Let a be 0/(2*(-6)/4). Suppose -q - 5 = -a*q. Are r and q unequal?
True
Let f = -59.6 + 59. Which is smaller: 1/5 or f?
f
Let o(p) be the second derivative of 0 + 2/3*p**3 - 1/12*p**4 + 1/2*p**2 - 2*p. Let m be o(3). Which is smaller: m or 3?
3
Let w be (-1 + 12/(-3))*-15. Let n be ((-18)/(-15))/(10/w). Suppose -4*v = t - 4*t - 25, 3*v - 40 = -2*t. Which is bigger: n or v?
v
Suppose 0*v + 3*v = 5*x - 118, 5*v = 3*x - 186. Is v equal to -36?
True
Let y = 4157/1782 - -5/162. Let o = 940/407 - y. Which is greater: 1 or o?
1
Let i = -0.05 + 0.15. Let s(h) = -10*h - 5. Let k be s(-4). Let j be (0 - 1) + k/21. Is j less than i?
False
Let a(y) = -4*y**2 - 7*y - 7. Let p(w) = -7*w**2 - 13*w - 14. Let o(t) = -5*a(t) + 3*p(t). Let x be o(-4). Is x at least -33/4?
True
Let g be 3*2*(-1)/2. Let q be 7 - (3/g)/1. Suppose -2*f - 5*a = 11, 2*f + q = -0*a - 4*a. Is f not equal to 14/5?
True
Let z be 48/8 - -692*(-2)/44. Are z and -24 nonequal?
True
Suppose 3 - 31 = -14*t. Which is smaller: t or 2/3?
2/3
Suppose -2*x - 3*f - 9 = 0, -6*x = -3*x + 3*f + 12. Let y be 2 - x - 0 - 2. Is 2 at least y?
False
Let p = -558 + 551. Which is smaller: p or -10?
-10
Let t(r) be the second derivative of -r**4/12 - 13*r**3/6 - 11*r**2/2 - 13*r. Let i be t(-12). Which is smaller: 10 or i?
i
Let z be (-6 + 0)*(-1)/50. Let m = z - -11/325. Suppose -d - 6 = d - 2*n, 0 = 3*d + 5*n - 15. Which is bigger: m or d?
m
Suppose -11*h - 148 = 26*h. Suppose 3*i - 16 = -i. Let p be (-15)/i*12/10. Which is greater: h or p?
h
Let v be (-6)/9*(-6)/(-2) + 0. Let x = v + 2. Do x and -8/7 have different values?
True
Let i = -11706493388/891 + 13138599. Let v = i + -4/891. Which is greater: v or -1?
-1
Let o = -4.97 + 5. Let j = 10.93 + -11. Let p = o - j. Which is smaller: 0.3 or p?
p
Let f be -3 + (-968)/(-77) + -10. Is f bigger than -20?
True
Let n = 89 + -107. Let o be n/24*(-32)/372. Which is smaller: 1 or o?
o
Suppose -3*r - 18 = -0*r. Let p = -70 + 63. Is p bigger than r?
False
Let f(v) = v**3 + 6*v**2 - 3. Let c be f(-6). Let q be 2/(-6) + (-22)/c. Let s(i) = -i**2 + 7*i - 4. Let n be s(q). Which is greater: -3 or n?
-3
Let g(i) = -i**3 - 12*i**2 - 11*i - 5. Let x be g(-11). Let y = x - -6. Let z = -683/15533 + 1/317. Is z at least as big as y?
False
Let r = 285 - 2561/9. Is 2/3 greater than r?
True
Suppose -4 = 39*y - 35*y + 4*i, y = 3*i + 3. Is y at least -0.025?
True
Let l(d) = -d**3 - 3*d**2 + 15*d + 2. Let h be l(-6). Suppose -h = 9*i - 4*i. Is -4 > i?
False
Suppose -4*z - 12 = 2*t - 2*z, -5*z - 29 = 4*t. Let w = -1 + t. Which is bigger: w or 0?
0
Let t = -1.6 + 9.6. Let g = 100 - 102. Which is smaller: g or t?
g
Let d = -65.1 + 65.18. Is -0.13 equal to d?
False
Let n be (-3)/10*-2 + (-3928)/5. Which is greater: n or -786?
n
Let g be 4/10 + (-21)/15. Let j = 1/31 - -22/279. Does j = g?
False
Let i = 14.2 + -48.1. Let f = i + 34. Which is bigger: f or -46?
f
Let l = -266 - -298. Let g be 1 + 0 + 67/(-2). Let c = g + l. Is 0.8 less than or equal to c?
False
Suppose 0 = 5*c + 43 - 8. Let u = 267 + -277. Are c and u non-equal?
True
Let j be ((-1)/(-5))/((-4)/(-220)). Which is smaller: j or 9?
9
Let i be 430/(-43) + 269/25. Which is smaller: i or 2?
i
Suppose 0 = -17*l + 11*l + 96. Suppose -l = 3*k + s + 33, 0 = -k + 4*s - 25. Is k at most -17?
True
Let l = 3555 + -1361563/383. Which is bigger: l or -1?
l
Let t = 182 + -88. Let n = 126 + -31. Which is bigger: t or n?
n
Let i = 465 + -1373/3. Do 6 and i have different values?
True
Let a = -65.4 - -64. Let i = 0 - 0.1. Is i at most as big as a?
False
Let i be 10/(-25) + (-112)/(-5). Let t = 24 - i. Let l be 4 - 5/(t + -1). Is l greater than -1/44?
False
Suppose -2*t + 3*t = 6. Let l = -3473/3 + 1157. Is t at most l?
False
Let k be 29 - (1 - 0/(-6 - -3)). Suppose 5*p - 2*h = k, 0*h + 27 = 4*p + 3*h. Is 7 >= p?
True
Let i = 2 - 1. Let z = -52 - -55. Let o = z - i. Is o <= 1?
False
Let a = -28 - -27.7. Let q = -18388/19 - -968. Is q not equal to a?
True
Let z = -14499 + 159733/11. Let y be 212/297*276/(-8). Let a = z + y. Is -2 at least as big as a?
True
Let u = 1878 - 1886. Which is smaller: u or -1/9?
u
Let w be (-10)/4*8/130. Let c = 395.33 - 395.73. Which is bigger: c or w?
w
Let c = -339 + 370. Is 21 <= c?
True
Let r = 21 - 39. Let c = -18.09 - r. Let m = -0.19 - c. Is -4/7 at least m?
False
Let a = -0.3 + -0.7. Let v(k) = -k + 3. Let g(o) = -2*o**2 - 6*o - 1. Let z be g(-4). Let j be v(z). Are j and a nonequal?
True
Let a = -74 + 65. Let r be 12/1 - (-1 - -1). Let f = a + r. Does 3 = f?
True
Let w = -302.0001 + 302. Is w greater than 1?
False
Suppose 3*r - 5*r - 154 = 0. Let i = r - -76. Which is bigger: -10/17 or i?
-10/17
Let j be 32/(-112) - 131/7. Let d = 21 + j. Which is greater: 4 or d?
4
Suppose 0 = 33*g + 184 - 151. Is 1/349 not equal to g?
True
Suppose c - 6*c + 0*c = 0. Is -0.08 < c?
True
Let l(q) = -q**3 + 18 - 14*q**2 + 4*q**2 + 6*q**2 - 4*q**2 - 3*q. Let m be l(-7). Is -9 smaller than m?
False
Let y be (10/6 + (-4)/12)/(-2). Let d be (-1)/(1*-38)*21. Let s = 1/19 - d. Which is smaller: s or y?
y
Let t be ((-2)/(-12))/(0 + 3/4473). Is 248 < t?
True
Let g = -0.08 - -21.08. Let u be 364/(-260) - 16/(-15). Is g less than or equal to u?
False
Let f = -16 - -14. Let l be 1*0/(4 + f). Which is smaller: l or 1/10?
l
Let d be (9/(-3))/((-3)/4*(-19 - -17)). Let m = 11 - 936/85. Is m equal to d?
False
Let x be 43 + 48/(-18)*3. Which is greater: 0.14 or x?
x
Let j = -60 - -18. Let g = j - -69. Are 29 and g non-equal?
True
Suppose 4*q + 11 = 3*x, -11*x + 16 = -4*q - 7*x. Is 3/43 less than or equal to q?
True
Let h be 2/12 + -4 + 4697/42. Is 108 at least as big as h?
True
Let p be (12/8)/((-18)/(-168)). Let n be (-1 - p/(-10))/((-10)/(-25)). Is -2/47 bigger than n?
False
Let o = 92 - 88. Suppose -r + o*c - 26 = 0, 1 = -r - c - 0*c. Which is greater: r or -4?
-4
Suppose -5 + 29 = h + 4*z, -8 = -2*z. Let l be 15/h + (-4)/(-32). Let x = 17/150 + 18/25. Which is smaller: l or x?
x
Let h = 0.462 - 1.462. Which is bigger: -11 or h?
h
Suppose 3 + 10 = -n. Let j = 0 + -1. Let i = -13 - j. Is n < i?
True
Let s = -170 - -118. Let m be 13/s + (-46)/8. Which is smaller: m or -29/4?
-29/4
Let k be (-25)/(-380) - (-1)/4. Suppose 0 = 46*i - 40*i. Is k smaller than i?
False
Let r = -29.77 + 30. Let i = r + -9.23. Let j = -7/12 - -1/4. Which is smaller: j or i?
i
Let q be (5/(45/(-6)))/((-2)/(-3)). Are q and -1/145 equal?
False
Suppose -7 = 5*v - 12*v. Let z be 6/4 - (-4218)/420. Let k = 78/7 - z. Which is greater: k or v?
v
Let m(f) = -f**2 + 9*f + 2. Let o be m(9). Suppose -5*v = b + 13, b = o*v - 4 + 5. Suppose -5*c - 1 = 19. Is c at least v?
False
L