t m be u(-11). Let f = 13 + m. Which is bigger: f or p?
p
Let n(b) = 2*b - 8*b + 3*b - 11*b**3 - b**2 + 1 + 2*b. Let v be n(1). Let a be ((-8)/(-6))/(8/v). Are a and -2 unequal?
False
Let l be (((-2)/2)/1)/((-18)/(-1242)). Which is bigger: l or -347/5?
l
Let u be (-140)/(3 + 25/(-10)). Let c = u + 1291/5. Let m = 107/5 + c. Is m >= -0.4?
True
Let t = -0.013 - 0.087. Let p = -0.057 - -23.057. Are t and p nonequal?
True
Let a(g) = g - 6. Let z be a(3). Let v = -27 - z. Is v > -24?
False
Let f = -1128 + 194017/172. Is 1 at least f?
True
Suppose 2*z - 4*z - 2*p - 10 = 0, 0 = -2*z + p - 1. Let l be -3 - (1/z - 4). Suppose 3 = 5*w - 2*w. Which is smaller: l or w?
w
Let b be -4*5/2*(-13)/65. Suppose -b = -5*a + 8. Are a and 2 equal?
True
Let l be 8154/(-234) - (-6)/(-39). Which is greater: l or -37?
l
Suppose 5*t = -4*q + 4, 3*t - q + 2 = q. Let x = 12 - 9. Let n = -2.8 + x. Is t > n?
False
Let h = 2 + 1. Let o be (h - 0)*(-15)/(-8). Let m = o - 175/24. Is -1 greater than m?
True
Let t = 1 - -8. Suppose 173 = 7*i - t. Which is smaller: i or 27?
i
Let v = 3989.6 - 3990. Let j = 0.1 + 0. Are j and v nonequal?
True
Let q(y) = -13*y**2 - 3*y. Let u be q(-3). Let d be 14/(-77) + u/11. Let b = -10 - 1. Is b at most d?
True
Let i(a) be the first derivative of a**4/4 + a**3/3 + a**2/2 + 3*a + 7. Let o be i(0). Suppose 0 = 8*p - o*p. Is p at least 5/7?
False
Let f = -3/511 + -971/8687. Let v be 1*-2*(-5)/(-10). Which is smaller: f or v?
v
Let l = -46 + 46. Suppose -8*v + v = l. Let c = 26 + -80/3. Which is smaller: v or c?
c
Let u = 96 - 80.5. Is 0.1 greater than u?
False
Let g(u) = u**3 + 22*u**2 - 22*u + 23. Let l be g(-23). Suppose -3*p = 15 - l, 7 = n - 3*p. Does n = -0.4?
False
Let i be (-7)/21 - 165/(-9). Let d be (22 - i) + 231/(-58). Is 1 < d?
False
Suppose -3*y = -31 + 10. Is 15 != y?
True
Let h = -49.7 - -49.6. Which is smaller: h or 47/3?
h
Suppose 0 = z - 4, -4*z + 13 = 3*v - 12. Suppose -3*c + v = -6. Suppose 0 = -5*n - 3*i + 13, 5*n + 4*i = -0*i + 14. Which is smaller: c or n?
n
Let z(d) be the third derivative of -d**4/24 - 2*d**3/3 + 2*d**2. Let q be z(-9). Suppose -3*l = -q*m - 10, 2*l + 3*l + 5*m - 70 = 0. Is l not equal to -1?
True
Suppose -21*t - 114 = -93. Which is smaller: t or -1/171?
t
Let t = 52.4 + -54.4. Which is greater: t or 3/167?
3/167
Let w = -157123/126 - -1247. Let v = -5/18 + w. Let u = -0.2 + 0.1. Which is bigger: u or v?
u
Let f = -1841 - -1841.03. Are f and -0.177 nonequal?
True
Suppose 205 = -20*h - 475. Which is smaller: -13 or h?
h
Suppose 3*n - 12 = 0, -n - 4*n = 4*a - 52. Suppose 0 = -w + 4*w + l, -2*w + 2*l + a = 0. Let g = -188/279 - -14/31. Which is smaller: g or w?
g
Let x = 1064 - 1296. Which is bigger: -228 or x?
-228
Let f(c) = -c**2 + 30*c - 13. Let w be f(37). Which is smaller: -273 or w?
-273
Let j be ((-45)/(-60))/(15/6). Which is smaller: 1 or j?
j
Let z be ((-7)/6 - -1) + 133/798. Is 2/59 less than or equal to z?
False
Let u(t) = -5*t**2 - 17*t - 59. Let l(s) = -s**2 - 4*s - 15. Let x(f) = 9*l(f) - 2*u(f). Let n be x(-3). Which is smaller: -3 or n?
-3
Suppose 5*o + 65 + 60 = 0. Let h = o - -43. Suppose 9*r + h = 6*r. Is 0 < r?
False
Let f = 44 - 55. Let m be ((-68)/(-33) + -2)/(f + 13). Are -1 and m equal?
False
Let j be 6*7/42 + (-2 - 135). Let w = j - -118. Which is bigger: 3 or w?
3
Let g = 4347/110 + -1/55. Is g > 39?
True
Let m = 85.06 - 87. Let k = m - 0.06. Which is bigger: 2/17 or k?
2/17
Let u = 2/549 + -649/27450. Do 1 and u have the same value?
False
Suppose 0 = -5*f + 2*k - 1066, -4*f + k + 33 = 887. Which is greater: f or -213?
-213
Let q be (-1)/(-9) + (1 - (1 + 0)). Let d = -28 - -26. Does d = q?
False
Let j = 117 - 471/4. Let m = -1/6809 - 6806/20427. Which is greater: m or j?
m
Let h = -545 - -545. Which is bigger: h or -1?
h
Suppose -53 = -3*y - 8. Let h = y + -20. Let f = h + 3. Which is smaller: f or -0.02?
f
Let x = -7925/2 - -3855. Let i = 110 + x. Let t(j) = 2*j**2 + 3*j + 2. Let q be t(-2). Which is smaller: q or i?
i
Suppose 22*u = -4348 + 762. Let k = u - -165. Let d(f) = f - 1. Let w be d(-1). Which is smaller: w or k?
w
Let u be (2/(-3) - -2) + (-42)/28. Suppose -8*m = -13*m + 15. Suppose 0*g + v = -g + 3, -g + m*v - 9 = 0. Is u greater than or equal to g?
False
Suppose 11*q - 28 = -28. Do q and 2.05 have the same value?
False
Let h = -22.38 - 0.62. Is h equal to 1/3?
False
Suppose -2*f = -v - 7*f + 1141, 0 = 2*f - 10. Let t be -3 + 3569/v + 0. Let o = t + 3/124. Is o > -0.12?
True
Let o(t) = -t + 9. Let n be o(10). Let f be ((-1)/2)/(n/(-22)). Let j = 4 + f. Which is bigger: j or -6?
-6
Let f(a) = 3*a**2 + 2*a - 6. Let j be f(-3). Let v be (10/25)/((-1)/j). Suppose 6*k + 8 = 2*k. Which is smaller: k or v?
v
Suppose 4*p + 3*r + 1 = -2, 5*r = 4*p - 37. Suppose 0 = p*z - 4*z. Let c(t) = t + 7. Let u be c(-5). Which is bigger: u or z?
u
Let m(r) = r**3 + 10*r**2 - 4*r - 1. Let s(j) = -j**2 + j + 1. Let v(l) = m(l) + 4*s(l). Let t be v(-6). Which is bigger: 17/4 or t?
17/4
Let u = 12 - 18. Let s = 146 - 229. Let m = 78 + s. Is u less than or equal to m?
True
Let n be 5*(3/(-5) + -1). Let j be (n/96)/(2/(-8)). Which is greater: j or -0.02?
j
Let t = 1.194 - 0.194. Let r = 13 + -8. Let z = r + t. Which is greater: z or -1?
z
Let h = -0.33 + -57.17. Let c = h + 56. Suppose -4*m = -4*d + 8, -4*d = -m - 6 - 2. Is c not equal to m?
True
Let l(q) = -q**3 + 15*q**2 - 13*q + 11. Let c be l(14). Suppose 0 = 5*t - c, -j - t - 1 = -2*t. Suppose -6*n + j*n - 2 = 0. Which is greater: 1/41 or n?
1/41
Let p(u) = -6*u - 14. Let z(w) = -2*w - 5. Let o(v) = 6*p(v) - 17*z(v). Let d be o(1). Are d and 6/29 non-equal?
True
Let w = -3.01436 + 0.51526. Let v = 0.0291 + w. Let i = -2.5 - v. Is i <= -1?
False
Suppose 0 = 5*f - 2*g + 392, -5*f + g + 64 = 455. Let z = 77 + f. Let i be (-6)/9 + 34/33. Which is smaller: i or z?
z
Let l be 987/(-90) - 7/35. Which is bigger: -10 or l?
-10
Suppose -4*g = -2*g + 112. Let y be 94/14 - 16/g. Which is bigger: y or 8?
8
Let q(f) = 5*f**3 - 13*f**2 - 8*f - 12. Let m(a) = -a**3 + a**2 - a. Let j(r) = -4*m(r) - q(r). Let p be j(10). Which is greater: p or 31?
p
Let i(u) = -39*u**2 + 12*u. Let t be i(-4). Let m be -3*((-1)/2)/(36/t). Is -28 smaller than m?
False
Let y = 251.67 + -252. Is y >= -2/13?
False
Let u = 126 - 109. Let h = -94.2 + 111. Let s = h - u. Do 1/17 and s have different values?
True
Let g = -545/24 - -74681/3288. Which is bigger: 0 or g?
g
Suppose -9 = 24*a - 27*a. Let s be (-1 - 447/(-24))/(a/2). Which is bigger: s or 12?
12
Let f = 1/8918 + 1248509/98098. Is 14 at least as big as f?
True
Let g be (9/4 + -1)/((-208)/(-3328)). Which is bigger: 144/7 or g?
144/7
Let g(n) = 2*n. Let r be g(0). Which is smaller: r or -2/33?
-2/33
Let n = -5 - -10. Suppose -2*u = -3*u + 4. Suppose -d + 7 + 7 = 3*r, 2*d + u*r - 18 = 0. Which is smaller: d or n?
d
Let y(i) = i**3 - 9*i**2 + 13*i + 3. Let b be y(7). Let h be (2 - 2 - b) + (3 - 0). Are 11 and h non-equal?
True
Let b = 17 - 7. Let c(a) = 8*a**2 - 2*a - 3. Let k(x) = 7*x**2 - 2*x - 3. Let q(y) = -3*c(y) + 4*k(y). Let f be q(2). Is b < f?
False
Let x be 3 - (-5 - (-4 - 4)). Which is greater: 5/4 or x?
5/4
Let i be 74 + (1 - 1)*-1. Let j = 148 + -74. Is j at most as big as i?
True
Let u = 905 + -906. Is u < 0.64?
True
Let z = -54 + 84. Let w = 56 - z. Let q = w - 184/7. Is q less than or equal to -4?
False
Let x = 0.28 - 25.28. Let f = x - -24. Is -28 greater than or equal to f?
False
Let z be -2*(37/2 + -2). Let n be (z/(-12))/((-3)/(-24)). Let k = -95/3 - -31. Is k != n?
True
Suppose 0 = -3*v + a + 9, -v + 0*a = 4*a - 3. Suppose 0 = 4*q - 2*x - 1 - 11, 3*x + 6 = 0. Let h be (q/3)/((-18)/(-81)). Is h less than v?
False
Let c = 1259 - 965. Do c and 292 have different values?
True
Let r = 49.4 - 56. Let q = 6.4 + r. Which is smaller: q or -17?
-17
Let w = -248.9917 - -249. Which is greater: w or 0.1?
0.1
Let y = -162.8 - -154.8. Is y < -1/44?
True
Let y be 6/220*(-1644)/162. Let s = -4713/1705 + 84/31. Let j = y - s. Are -3 and j non-equal?
True
Let l(r) = -r**2 + 6*r + 1. Let g be l(3). Let v be -9 + g - 0/(2 - 1). Which is greater: v or -84?
v
Let d = -1729/4876 + -17/212. Let a = 2 + -1. Which is greater: a or d?
a
Suppose 108*d + 23688 = 72*d. Which is smaller: -656 or d?
d
Let i(f) = f + 4. Let k(w) = w + 8