60) - -2)*-21. Let s = -7.2 + 7.1. Which is greater: s or z?
s
Let y = -353 + 2475/7. Let i(j) = j + 13. Let h be i(-8). Suppose 0 = -5*k + k - 4*v + 20, -h*v + 25 = 0. Is y smaller than k?
False
Let x(d) = d - 4. Let w be x(2). Let o(k) = k - 10. Let t be o(6). Is t bigger than w?
False
Let p = 5880 - 482171/82. Which is smaller: p or -1?
-1
Let b be 7*(-1 + ((-612)/294)/(-2)). Which is bigger: b or 101?
101
Let v = -1.71 - -1.6. Let z = -6.11 - v. Let d = z + 5. Which is smaller: d or -2/5?
d
Let k be 5/(-10)*16/(4/(-1)). Let r be ((-2)/(-2))/(13/84*k). Is 3 at most r?
True
Let g be (5/4*-67)/((-1)/(-4)). Let s be (g/165 - -2)/(2/4). Which is bigger: s or 1?
1
Suppose 3*b + 3*l = -27, 5*b + 32 = -3*l - 9. Let j be (-14)/49 - 37/b. Suppose 4*w + h - 5 = 10, 2*w + 4*h + 10 = 0. Is j less than or equal to w?
True
Let o(y) = -y**3 - 2*y**2 + 2*y + 2. Let p be o(-3). Suppose 0*q - 20 = -p*q. Suppose 0 = t + z - 1, -2*t + q*z - 12 = 2*t. Is -1/2 >= t?
True
Let q = 26380491167/6097171070100 + 6/30288977. Let f = 2/2013 - q. Let l = -2/25 + f. Is -1 at least l?
False
Let m(k) be the first derivative of 1/4*k**4 - 6*k + 3/2*k**2 + 2*k**3 + 4. Let q be m(-5). Is 3 not equal to q?
True
Let y be (7880/400)/((-1)/14 - 0). Let i = 277 + y. Which is smaller: 2 or i?
i
Suppose -4*m + 47 - 1031 = -4*d, 4*d + 1266 = -5*m. Which is bigger: m or 1?
1
Suppose -4*l + 3*v = -6*l - 25, -3*v - 15 = 0. Let p be (16/24)/(3/(45/(-2))). Do p and l have the same value?
True
Let g = -0.55 - 28.45. Let p = 42 + g. Let d = -10 + p. Do 3 and d have the same value?
True
Let t = 17 - 28. Let s = 11.96 - -0.04. Let k = t + s. Is k >= 1/2?
True
Let p(j) = -2*j - 13. Let m be p(-9). Let x(n) = -3*n**2 + 6 + 4*n + 4*n**2 + n + 6*n. Let g be x(-11). Which is smaller: m or g?
m
Let p be 1072/840 - (-4)/(-3). Is 0 > p?
True
Let g(m) = -m - 4. Suppose 3*h + 40 = -5*h. Let r be g(h). Which is smaller: -1/12 or r?
-1/12
Suppose 5*p + 0 = -3*g + 10, 0 = -3*p - 5*g + 22. Is p >= -4/37?
False
Let v = 18 + -18. Let q be (-1851)/(-21) - -3 - 2. Let b = 89 - q. Is b less than v?
True
Let o = -559727/34712 - 1/8678. Which is smaller: o or -17?
-17
Let r = 11958 - 2905784/243. Which is greater: 1 or r?
1
Let h = 20 + -48. Let j be (-9)/(297/6) - h/275. Let b be -2*-1*(-2)/(-4). Is j greater than or equal to b?
False
Let s = 171 - 171.2. Which is smaller: s or -2/13?
s
Let s(t) be the third derivative of t**5/60 - t**4/6 + 5*t**3/3 - 24*t**2. Let l be s(5). Are 13 and l unequal?
True
Let r(b) = 4*b**2 + 13*b - 13. Let p(l) = -6*l - 1 + 2 + 5 - 2*l**2. Let q(m) = -9*p(m) - 4*r(m). Let f be q(1). Is 1 greater than f?
False
Let g = -21.8 + 22. Let d = 0.2 - 0.6. Let u = g + d. Is -0.5 > u?
False
Let d be 2/(-29) + (-23304)/174. Is d bigger than -134?
False
Let h(w) = -w**2 + 4*w - 3. Let v be h(2). Let b = -38 + 35. Let c be 2 - 2 - ((-9)/b - 2). Is c >= v?
False
Suppose -1 = 5*m - 21. Suppose -b + 2*g = -m + 3, -2*b - g + 17 = 0. Let h be (3 - (-3 + b))/(-1). Which is greater: 2 or h?
2
Let u = -2 + -2. Let h be 2/158*(u + 2). Suppose 5*d - 3*r = -1, 34*r + 1 = 5*d + 32*r. Which is smaller: h or d?
h
Let z(q) = q**3 - 13*q**2 + 6*q - 33. Let v be z(9). Is -303 at most as big as v?
True
Let f = 40.4 - -2.6. Let i = 42.69 - f. Let u = i - -0.31. Is u != 4/5?
True
Let x be (-42264)/(-1080) - 4/30. Does -3 = x?
False
Let j = -3392/221 - -198/13. Do -28 and j have the same value?
False
Suppose 3*u - 3*v = -42, -6*u + 3*u - 34 = 5*v. Which is smaller: -45 or u?
-45
Let b be ((-112)/44)/(21/49). Which is greater: -6 or b?
b
Suppose 79*w = 92*w - 91. Which is smaller: 8 or w?
w
Let f = -78 - -6. Let t = f + 79. Let d = -3 + 5. Which is smaller: d or t?
d
Let j be 19/21 + (24/(-126))/(-2). Which is greater: 7/129 or j?
j
Let v(y) = 98*y - 176. Let n be v(2). Let l be 10/45 + 34/9. Suppose 5*r + 6 = c, 5*c - 96 = c - l*r. Which is smaller: c or n?
n
Let l(w) = 2*w**3 - 31*w**2 + 15*w. Let g be l(15). Let j be (-12)/30 + (-14)/(-10). Which is bigger: g or j?
j
Suppose -2*x = -5*k + 130 + 455, -585 = -5*k - 2*x. Which is smaller: k or 0?
0
Let h = -58408/19 + 3082. Which is greater: 9 or h?
9
Let c be (0 - 1/(-2))/((-48)/96). Which is greater: c or 1/56?
1/56
Suppose -w + 4*r - 2 = 0, 2*w + 0*r = -2*r + 6. Let x be (1/(-2))/1*(-20 - w). Are x and 13 unequal?
True
Suppose -4*v + 1 = 5. Let t = -21043/61 + 345. Is v bigger than t?
False
Let m(s) = s + 7. Let u be m(7). Let k be (-3)/(-9)*(-3 + 30/u). Which is greater: -28 or k?
k
Let b = 13 - 21. Let c = b - -7. Let t = 18 - 12. Is c smaller than t?
True
Let k(a) = -5*a - 41. Let j be k(-8). Let l be 1/(-28)*j*51/(-204). Do l and 0 have the same value?
False
Let b = 1018/15 - 336/5. Is -3.5 less than b?
True
Suppose 0 = 254*y - 250*y - 760. Is 1 at most as big as y?
True
Let v(i) = -21*i + 177. Let n be v(18). Which is bigger: -203 or n?
n
Let g = -31 - -47. Let l = -215 + 463/2. Which is smaller: l or g?
g
Suppose t + 2*z = 21, 0 = 5*t - 0*z + 4*z - 81. Let s = t + -8. Suppose s*d - 8 + 3 = 0. Which is greater: d or 7/4?
7/4
Let r(c) be the first derivative of c**4/4 + 7*c**3/3 + 5*c**2/2 - 6*c - 2. Suppose 14*k - 17*k - 18 = 0. Let n be r(k). Which is smaller: -8/7 or n?
-8/7
Let t be (5 - 92/20)/((-2)/(-5)). Let p be t/(2 + -3 + 0). Is p <= 1/21?
True
Let w = 270 + -264. Which is bigger: w or 55/8?
55/8
Let s be (-47)/82 + (-2)/(-4). Let f = 154 - 130. Suppose t = 5*g + f, 30 = -5*t - 25*g + 20*g. Is s < t?
False
Suppose 2*z = z - y + 4, 0 = 3*y + 9. Is z at most -1.3?
False
Let a be 2 + (-10)/5 + 4. Let q be ((-9)/(-36))/((-1)/a). Let t = -157/10 - -31/2. Is q not equal to t?
True
Let y = -2634.9 + 2635. Let n be (3 - 2)/((-3)/93). Do y and n have the same value?
False
Let i(z) = -2*z**2 - 29*z - 154. Let r be i(-10). Which is smaller: -61 or r?
r
Let r = 990 + -991. Which is smaller: r or 1/125?
r
Let y(g) = g**3 + 6*g**2 + 3*g - 6. Let b be y(-5). Let a(r) = -r**3 - 5*r**2 - 2*r - 5. Let u be a(-5). Let z be -1*((u - 2) + -5). Which is smaller: b or z?
z
Let s be 7/(-7 - -14) - 2796/2750. Let r = s + 1/1375. Which is smaller: r or -1?
-1
Suppose 5*f = j + 4*j + 25, -3*f = -5*j - 35. Let s be 32/20 + (-4)/j. Suppose -y + 6 = -v, 0 = 2*y + 8*v - 4*v. Which is greater: y or s?
y
Let b(n) = n**2 - 15*n - 1. Let r be b(16). Let x be 0/(6/r*5). Suppose 4*v + 4 = x, -4*q - q - 22 = 2*v. Which is smaller: 2 or q?
q
Let x(f) = -2*f + 3*f - 10 + 19. Suppose -s = 7 + 1. Let r be x(s). Do 1/7 and r have the same value?
False
Let z = -200 + 1798/9. Which is bigger: z or 0.42?
0.42
Suppose 2*i - 4 = -3*z, 10*i - 3*z = 13*i - 6. Is 487 != i?
True
Let y = -0.6 - -0.1. Let k = 0.55 + y. Which is bigger: -0.4 or k?
k
Suppose -223*a = -218*a. Is a < -3/61?
False
Let x = -1 + 6. Let t = 43 + -28. Let a be 23/4 - t/20. Is a <= x?
True
Let w = -0.0626 - -0.0326. Which is smaller: w or -47?
-47
Let u = -292 - -291. Is 88 less than u?
False
Suppose 343 = -60*x - 977. Is x greater than or equal to -33?
True
Suppose 0 = y + d + 29 - 6, 5*d = y + 23. Let n = -75/4 + -35/12. Which is smaller: n or y?
y
Let b(v) = -6*v**3 + 11*v + 11. Let x(p) = -5*p**3 - p**2 + 10*p + 11. Let o(r) = 6*b(r) - 7*x(r). Let g be o(6). Which is greater: -1/4 or g?
g
Suppose 0 = 33*d - 27*d - 24. Suppose -d*m + 53 = 5*u, 3*u = 8*u - m - 43. Let f = 7 + 0. Which is smaller: f or u?
f
Let x = -19.002 - -0.002. Which is smaller: 1/2 or x?
x
Suppose -38*q - 31 = 45. Are -15/22 and q non-equal?
True
Suppose 0 = -0*o - 2*o + 62. Let c = o - 12. Which is greater: c or 17?
c
Let d = -2433 - -2433.1. Are d and 3.5 non-equal?
True
Suppose 0 = -2*g + g - 5*h + 14, -4*g + 3*h + 10 = 0. Suppose 4*n + 3*q - 2*q + g = 0, 0 = -2*n + 4*q - 2. Is n less than or equal to -11/6?
False
Let t be -5 - (-2)/((-8)/(-20)). Suppose -4*i - 203 + 51 = t. Is i less than -38?
False
Let w = -0.9 - -1. Let x(z) = z**2 - 3*z - 4. Let i be x(3). Let r = 8 + i. Is r at least w?
True
Let p = 1315 - 1316. Which is bigger: -60/47 or p?
p
Suppose -368*f = -356*f + 4848. Which is smaller: -403 or f?
f
Let j = 1987 + -1937. Which is bigger: 48 or j?
j
Suppose c + 0*c + 4 = 0. Let m(t) = t + 9. Let q be m(-5). Suppose 0 = -2*x + 2*l - 8, -2*x + x + 2*l = q. Do x and c have the same value?
True
Let r = 51 + -160. Is r less than or equal to 0.1