et s = -90 + 81. Which is smaller: q or s?
s
Let z(x) = 2*x**2 - 13*x + 8. Let l be z(7). Let c = -12 + l. Let f be -4*((-276)/93 + c). Which is smaller: f or 0?
f
Suppose -20*x + 24*x + 1020 = 0. Let d be 4 - (x/(-18))/5. Is d greater than 0.1?
True
Let v be -3*4/12*-2. Suppose 0 = z + 6 - v. Which is bigger: -13/5 or z?
-13/5
Let h = 632 + -352. Suppose -6*x - h = -2*x. Let r be (-1)/(-2)*x/25. Which is smaller: -1 or r?
r
Let d be -1*(2*-2 - (-10)/2). Which is smaller: 245 or d?
d
Suppose 5*p + 327 = 1177. Let z = -340 + p. Let l = z + 2548/15. Which is greater: l or 1?
1
Suppose -4*o - 4*u - 4 = 4, u = 2*o + 1. Which is bigger: 5/54 or o?
5/54
Let x = -164 - -41. Let t be ((-2)/(4/61))/((-5)/(-20)). Is t > x?
True
Let i be (-126)/45*-35 - 4. Is 94 at most i?
True
Let m be 5 - 8 - 7*(-2 + 1). Which is smaller: -10 or m?
-10
Let r = -12 - -13. Let l = r + 6. Is -1 < l?
True
Let s(y) = y**2 + 7*y - 7. Let p be s(0). Is 0 <= p?
False
Suppose s - 10 = -2*z, 3*s = z - 4*z + 18. Suppose 8 = 4*w + s*m + 32, 4*m - 16 = 0. Is -9 bigger than w?
False
Let y be (-6)/14 + 3600/(-126). Which is greater: y or -31?
y
Let k = 766 + -766.1. Do k and -3 have the same value?
False
Let y = 121 + -17. Let b = y + -57. Is b at most 46?
False
Let d = 1.1 - 0.1. Are -1/32 and d equal?
False
Let l = 33 - 27. Let h = l + -20. Which is greater: h or -15?
h
Let v(o) = 137*o**3 + o**2 - 9*o + 8. Let d be v(1). Which is smaller: d or 139?
d
Let x(y) = -y + 8. Let m be x(10). Let h be -1 - (m + 3 + -2). Let d = 17/6 + -2. Which is greater: d or h?
d
Let g = -9229 + 156845/17. Which is smaller: g or -2?
g
Let u(t) = -t**2 - 7*t + 20. Let c be u(-9). Suppose 0 = c*g + g - 9. Let k be (-1)/(2/g) - -3. Are 2 and k equal?
False
Let s be (2/(-6))/((-1)/15). Let d be (1 - s)/((-23)/(-1)). Let g be (4 - 4)*(-10)/(-10). Which is smaller: g or d?
d
Let c be 1/(-4) + (-30)/8. Let n = c + 4. Let k = -0.1 - 0. Do k and n have different values?
True
Suppose -2*v + 2*b = 4, 2*v - 7*v = -2*b + 10. Let s be v/(-14) + (-87)/168. Suppose -2 = -4*z + 2. Which is smaller: z or s?
s
Let t(c) = -1 + 0*c**2 + c**3 - 14*c + 13*c + 9 - 5*c**2. Let v be t(5). Suppose 5 = -2*f + v. Is -3/5 less than f?
False
Suppose -3*r + 25 = -4*i, -2*i + 6 + 1 = 5*r. Let p be 1508/8385 - i/(-30). Which is greater: p or 0?
p
Let i be (1 + -2 - -2)*(-9)/279. Let o = -39/248 - i. Are o and -3/5 equal?
False
Let x be (2 - (-3)/(-2))*-2. Which is bigger: 4 or x?
4
Let x(u) be the second derivative of u**8/6720 - u**7/360 - u**5/120 + u**4/6 - 4*u. Let t(n) be the third derivative of x(n). Let a be t(7). Is a equal to 0?
False
Let b = 3548 - 5223. Let n be (-1)/(-7) + (b/455 - -4). Is -1 < n?
True
Let h = 28.5 + -2.5. Let c = -0.106 + 26.106. Let f = c - h. Which is greater: f or -1?
f
Let z be 5/(-3) + -2 + 0. Let k = 91 + -94. Which is greater: k or z?
k
Let s(q) = q**2 + 4*q - 5. Let n(b) = -b**3 - 2*b**2 - 3*b**2 - 2*b**2 + 2 + b. Let o be n(-7). Let c be s(o). Which is smaller: 3/19 or c?
c
Let f = 249/11 + -39/44. Which is greater: f or 21?
f
Let i = -360/907 + 1546421/4535. Let g = i + -342. Is g <= -3?
False
Let n(r) = r**3 - 6*r**2 + 2*r - 3. Let p(o) = -o**2. Let k(a) = n(a) - 6*p(a). Let y be k(0). Is y > -3?
False
Suppose 0*d + 39 = -3*d. Let c = 1726 + -1726. Which is smaller: d or c?
d
Let y(m) = -m**2 - 12*m + 5. Let z be y(-12). Suppose 0*o + 5*r = -o + 33, 0 = -4*o + z*r + 7. Which is greater: o or 7?
o
Let f = 5 + -9. Let x be f/(-16)*16/2. Suppose x*w = j + 12, -2*w = w - 3. Are j and -9 non-equal?
True
Suppose 0 = 87*j - 244*j - 157. Let z = -17645/11 + 1603. Which is bigger: j or z?
j
Let g = 467 - 157. Suppose 2*l = 2*c - 104, 0 = -5*l - 0*c - 5*c - g. Which is smaller: -58 or l?
-58
Let p = -598 - -519. Which is bigger: p or -718/9?
p
Let i be (-1)/(-2) + 42/(-68). Let o(u) = u**3 - u**2 - 3*u + 2. Let v = -14 + 16. Let q be o(v). Is q less than i?
False
Suppose 4*n - 6*n = 2*l, 5*n - l = 0. Which is greater: 5/16 or n?
5/16
Let j = -445 + 448. Is 3/5 bigger than j?
False
Suppose -3*y = -2*k - 2 + 5, -4*k + 2*y + 2 = 0. Suppose w + 1 + 0 = k. Which is smaller: w or 2/93?
w
Let l = -146.841 - -147. Is -3 at most l?
True
Let n(v) = -v**2 + 3*v. Let y(d) = -d**2 + 13*d + 16. Let k be y(14). Let x be n(k). Let c be (0*(-2)/8)/x. Is 0 at most c?
True
Let v = -36 - -40. Suppose 2*m - 5 - 7 = -4*y, 4*m - v = 2*y. Is y smaller than 9/4?
True
Let m = -526/33 - -9127/231. Which is smaller: 23 or m?
23
Let b = -11.22 - -11. Let h = -6.88 - -7. Let d = b + h. Which is greater: 4 or d?
4
Let l be (-10)/35 - 1016/(-1323). Let n = 20/49 - l. Which is bigger: n or 1?
1
Let w(b) = -5 + 3 - b**3 + 0*b**3 - 4*b + 5*b**2 + 6. Let i be w(4). Suppose -i = 4*n - 0. Which is smaller: n or 2/9?
n
Suppose 0 = -4*u - 2*k + 23 - 7, 0 = 3*u - 5*k + 1. Suppose g - 5*h + 9 = 0, 0 = -g + 6*g + u*h + 157. Which is smaller: g or -0.1?
g
Suppose 5*y = 10*y + 350. Let r be (-37)/(-777)*(5 - -1). Is r <= y?
False
Let t(u) = 2*u**2 + 54*u - 55. Let m be t(1). Let p = 40 + -62. Let l be p/14 + (-4)/(-2). Is m greater than or equal to l?
True
Let a = -309447/79 + 3917. Is 0.06 at most a?
False
Let q = -66 - -66. Suppose -4*x + q = 8. Which is smaller: x or 5?
x
Let z(m) = m**2 + 10 + 7*m - 12*m + 12*m. Let h be z(-4). Are h and 0.3 unequal?
True
Let k(v) = -5*v**3 + 3*v**2 + v - 1. Let x be k(1). Let j be x + (-3 - -2) - (-12404)/4116. Which is smaller: -1 or j?
-1
Suppose -5*x = -h - h + 33, -4*x = -h + 24. Let k(g) = 12*g**2 - 2*g + 1. Let o be k(1). Suppose -10*a + 1 = -o*a. Is a at least x?
True
Let n be 5/15*10965/5 - -2. Is 733 equal to n?
True
Let x be 1/(6/8 - (-7)/(-28)). Which is smaller: x or 7/6?
7/6
Let f be (-146)/10*15/12. Let y(q) = 39*q - 797. Let g be y(20). Is g > f?
True
Let l = 72 + -86. Is -140/11 at least l?
True
Let k = 464 + -463.986. Is k at most 1/5?
True
Let p(y) = y**3 + 6*y**2 + 6*y + 5. Let t be p(-5). Let q be 16 - 0 - (t - 2). Let m = q + -8. Is 11 < m?
False
Let q = -2552 + 2576. Let p be -1*0*(-1)/(-2). Is q bigger than p?
True
Let u be (-204)/585 + 2/5. Suppose -a + 4*a - 27 = -3*z, -4*a + z + 26 = 0. Suppose -d - 8 + a = 0. Which is greater: d or u?
u
Let c = -14 - -10. Let y be -3 + (c/10)/(3/(-15)). Are y and -1/12 non-equal?
True
Suppose 3*m = m + 4. Let g = 1 - 4. Let h(j) = j**2 + 2*j - 3. Let k be h(g). Which is bigger: m or k?
m
Suppose -25*z = -36*z + 121. Which is greater: 12 or z?
12
Let t be 8/((-16)/(-5)) - 502/200. Which is smaller: t or 1?
t
Suppose -5*c = -5*p - 5 - 65, -5*p + 3*c - 60 = 0. Let r be 16/21 - p/(-27). Which is bigger: -4 or r?
r
Let s = 45.2 + -64.2. Which is greater: 0.2 or s?
0.2
Let f be 1*-3*-1*(0 - 2). Let s(q) = q**2 - 5*q + 1. Let r be s(6). Let m be ((-10)/4)/(-5) - r. Is f greater than or equal to m?
True
Suppose -5*a - 675 = 5*b, 4*a - a + 5*b = -409. Let n be (-46)/(-42) - (-57)/a. Which is bigger: 2/21 or n?
n
Let n(u) = u**3 - 3*u**2 + 2*u. Let b be n(2). Suppose b = -12*p + 8*p - 1260. Let g be (-4 + 1)/(p/14). Which is smaller: g or -1?
-1
Suppose -2*d - 9 = -f, -4*d - 28 = -6*f + 2*f. Let t be (3 - 0)*d/3 + 3. Which is greater: 4 or t?
4
Let a be 116/(-87)*(-6)/(-8). Which is greater: 3/182 or a?
3/182
Let a be (-20)/(-22) + (-3)/(-33). Which is smaller: a or 1/441?
1/441
Let i = 21.077 + -20.9. Let j = i - 5.177. Suppose -5 = -4*m - 5*k, -5 = 4*m - 0*m - 5*k. Do j and m have the same value?
False
Let g = 0 - -1. Let t(d) = -d**3 + 3*d**2 + 6*d - 4. Let i be t(4). Let z be i/(-2)*(-11)/77. Is g greater than z?
True
Let z(q) = 33*q - 236. Let c be z(8). Is c at least 27?
True
Let d = -0.23 + -1.67. Let k = 3.3 + d. Let n = 6 + -5. Does k = n?
False
Suppose -2*d = d - 15. Let g = -144 - -63. Let o = -75 - g. Which is greater: o or d?
o
Let y = 0.582 - -0.098. Which is smaller: y or -3/4?
-3/4
Let l = 12617/1593 - 570/59. Which is bigger: l or -1?
-1
Suppose 0 = 97*j - 22*j - 32250. Which is smaller: j or 432?
j
Let u be ((1260/3)/2)/((-87)/(-116)). Is u equal to -0.2?
False
Let f = 1553 + -1552. Which is smaller: 19/13 or f?
f
Let o = 217 + -204.9. Let n = 2.9 + o. Let l = 18 - n. Which is greater: l or 0?
l
Let n be (14/140)/(1/(-6)). Let x = -26 - -26.08. Let h = x - 4.08. Is h less than or equal to n?
True
Let g = 2.26 - 12.16. Do g and 1/2 have th