-11608/897. Let f = s + 3/13. Is f equal to 3?
False
Let x = -441116/109 - -4047. Let k = x + -167/5995. Which is smaller: k or -1?
-1
Let c = -3837/65 + 1186/13. Is 33 at least as big as c?
True
Let u be (3 - 4)*2 - -189. Let d = -2991/16 + u. Let z = -22 + 23. Does z = d?
False
Let a(t) = -53*t**2 + 372*t - 3. Let z be a(7). Let m(l) = l**3 + 6*l**2 + 5. Let q be 4/3*9/(-2). Let b be m(q). Which is greater: b or z?
b
Suppose 8*h = 7*h - 3*x - 21, 3*x = -9. Let u be ((-9)/(-12))/(3 + 33/h). Is u > 14?
False
Let w(z) = -z + 5. Suppose -l + 5*o - 12 = 12, 5*l - 3*o + 32 = 0. Let n be w(l). Suppose -2*u = -5*u + n. Is u equal to 2?
False
Let d = -143 + 141. Which is smaller: d or 0.9?
d
Suppose -102*r + 11 = -91*r. Is r at most as big as -2/459?
False
Let m(t) = t**2 + 3*t + 2. Let l be m(-2). Let v = -50/261 + 7/87. Are v and l equal?
False
Let d be (-3)/(-7) - 416/56. Let l be 1/111*d/(-63). Let b = -25969/4995 - l. Which is bigger: b or -4?
-4
Let k = -8/47 + 260/423. Let o = 14 + 79. Let f = -92 + o. Which is greater: f or k?
f
Let z = 2.89 + 0.21. Let v = -41 + 37.9. Let o = z + v. Which is smaller: o or 2/37?
o
Let k(a) = -19*a + 170. Let m be k(7). Is m equal to 38?
False
Let y(l) = l**3 - 21*l**2 + 42*l - 388. Let a be y(20). Which is bigger: 264/5 or a?
264/5
Suppose 0*o = 2*o - 4. Suppose o*r = 7*r - 20. Suppose b - r = -b. Which is greater: 4 or b?
4
Let p = -1681 + 2855. Is 1173 != p?
True
Let f(i) = -i - 2. Let m be f(-2). Suppose m = -u - 4*u + 5. Suppose -3 - 7 = -5*z. Are z and u nonequal?
True
Let s = 37 - 17. Let u be (-710)/s + (-3)/2. Is u < -36?
True
Suppose -14 = 89*b - 96*b. Which is smaller: b or 7?
b
Let b be 5*(-6)/(-105) + (-33574)/(-91). Let d = 369 - b. Which is bigger: -1 or d?
d
Let i = -256/615 + 2/123. Let k = -34 - -17. Are k and i nonequal?
True
Let u(c) = 2*c + 17. Let b be u(-12). Which is smaller: b or -6?
b
Suppose 0 = 3*q - 10 - 2. Let w(k) = -2*k + 5. Let b be w(q). Let a = 0.4 - 0.5. Which is greater: a or b?
a
Let h be 272/(-46) + (3 - 13 - -16). Which is smaller: h or -1?
-1
Let w = -11 + 21. Let g(r) = r**3 + 5*r**2 - 8*r - 2. Let v be g(-6). Let b = w - v. Which is bigger: 2 or b?
2
Let j be 2 - (-4 - -2)*1. Let l be j + -2 + 2 - (-2 - -2). Is 0 greater than l?
False
Let s = 0.27 - 4.27. Let r = -3.8 - s. Which is bigger: -7 or r?
r
Suppose -5*s - 68 = -3. Let w be ((-8)/20)/((-2 + 6)/120). Which is smaller: w or s?
s
Suppose 4*h - 3*d + 785 = 0, -45*d = -h - 42*d - 194. Which is smaller: h or -198?
-198
Let w be 4 + 12 + -1 + -3. Let f = 12 - w. Suppose -o + 1 = -f. Which is smaller: o or -2/47?
-2/47
Suppose 2*z - 11 = -9. Let w be 51/12 + -4*z. Is w <= -20?
False
Let p = -581 - -24981/43. Let t be (-5)/86*(-49)/(-14). Let i = p + t. Is 1 less than or equal to i?
False
Let d be ((224/(-12))/(-2))/(3/18). Is 57 greater than or equal to d?
True
Suppose 0 = -4*j - 0*j, 3*t - 5*j + 9 = 0. Let l be (4/t)/2 - (-2640)/45. Does l = 59?
False
Let q = -675 - -70201/104. Which is smaller: q or -1?
-1
Let b be (12/10)/((-6)/(-180)). Let w be (b/45)/(2/5). Suppose 5*z = -4*f - 56, 3*f - 2*f + w*z = -11. Is f at least as big as -18?
False
Let r = -36 - -56. Suppose 0*q - r = -5*q. Suppose -6 = -q*n + 2*y, 5*y - 1 = -3*n + 10. Do n and 4/3 have the same value?
False
Suppose -5*c - 8 = -i, -i - 22 + 18 = c. Which is smaller: -27/46 or i?
i
Suppose -2*t + 3*t = -4. Let u(f) = f**2 + 2*f - 5. Let h be u(t). Suppose -v = v - 10, 3*v = -h*i - 3. Which is smaller: -7 or i?
-7
Let i = 19/4 + 75/4. Is 25 != i?
True
Suppose 3*f - 5*f = -3*j + 2311, j - 742 = -5*f. Which is bigger: 769 or j?
769
Let l = 340 + -344. Suppose -2*g - 1 = -3*g. Let y be (l/12)/(g/10). Which is bigger: y or -2?
-2
Let x be -4 + 2/1 + -3. Let b(n) = -n**3 - 4*n**2 + 3*n + 11. Let v be b(x). Are v and 22 unequal?
True
Let s = 3.58 + -5.08. Which is greater: s or 12?
12
Let p = -12 - -16. Let r = 3 - p. Let o = -5 - r. Which is greater: o or 0?
0
Suppose -i - 11 = 2*z, 3*i = i - z - 28. Suppose -c = -6*c + 100. Let v = c + i. Which is greater: v or 6?
6
Let c(y) = y - 3. Let m be c(10). Suppose -4*u - 28 = -2*x, 0 = m*x - 6*x + 2*u - 2. Suppose 5*o - 7 = x. Are o and 4 unequal?
True
Let l be -6 + 13/(39/(-1173)). Is l at least as big as -396?
False
Let z be ((-6)/(-4))/((-12)/(-760)*5). Let i = -7 - -27. Let n = i - z. Do -11 and n have the same value?
False
Suppose -i + 3*c - 5 = 0, 5*i - 3 = -5*c + 6*c. Suppose 0 = w - i. Let k be ((-5)/(-45))/((-7)/28*-4). Is w at most as big as k?
False
Let n = -155.9 + 164. Let h = n + -9.1. Is h at least as big as 8.1?
False
Suppose -h - 3*f + 5 + 2 = 0, -f = -2*h - 7. Let x be (2/(-3))/(0 - h). Which is smaller: x or 0?
x
Let s = 39 + 12. Suppose -s - 15 = d. Let a be -5*(d/(-40))/(-11). Which is smaller: 2 or a?
a
Let g(v) = v**3 - 4*v**2 - 4*v - 11. Let x = -23 + 28. Let n be g(x). Let i = -3.1 + 3. Which is smaller: n or i?
n
Let a be -5*(48/10)/(-1). Let x = 28 - a. Suppose -p - 15 = -2*r, p + x*p + 61 = 3*r. Which is greater: p or -10?
-10
Let g = 208 + -201. Let x = -4.2 - -4. Let y = x + 0.2. Which is bigger: y or g?
g
Let a = 1/774 + -161771/3870. Which is smaller: -43 or a?
-43
Let z = -703785/576992 + 31/2336. Let m = z - -15/13. Which is smaller: m or 0?
m
Suppose -3*v = -2*v - 100. Suppose v = -4*m + 9*m. Suppose -4*s = -0*s - m. Is 3 at most as big as s?
True
Suppose 4*b + 6 - 30 = 0. Suppose -4*i - 4*w = 0, -2*w = -4*i + 33 - 3. Which is smaller: b or i?
i
Let t = 117 - 587/5. Let f = 0 - 0. Suppose f = -2*h - 0*h. Is h bigger than t?
True
Let m(c) = -6*c + 154. Let i be m(0). Which is bigger: 155 or i?
155
Let p be (-5 + -1)*(-2)/(-4). Let v = -652 - -647. Which is greater: p or v?
p
Let g be (-78)/290 + 4/20. Let l(f) = -f**2 - 23*f - 61. Let r be l(-20). Is g bigger than r?
True
Suppose 2*z = 3*f + 14, 0 = -4*z - 3*f + 2*f. Which is smaller: z or -4/117?
-4/117
Suppose -s - 5*j - 21 = 0, 0 = 4*s - j + 2*j + 27. Let m(b) = b**3 + 5*b**2 - 5*b + 14. Let l be m(s). Suppose l*i = -i. Which is smaller: 3/8 or i?
i
Let y = 0.44 + 1.92. Let h = y - 0.36. Which is greater: -0.1 or h?
h
Let i = 1 - -3. Let s be (-6)/(-15) - (-232)/20. Let c = s + i. Does 17 = c?
False
Suppose -3*d - 3 = -3*r - 12, 0 = -2*d + 5*r + 3. Suppose -116 = 4*b - d*a, -a = -5*b + 3*a - 142. Let n = -59 - -33. Is b at most n?
True
Let a be 16/(-6) - (-1)/(-3). Let j be 2 + (-6 - a) + 4. Let t be ((-2)/7)/(1 - j). Is t at least 1?
False
Let j(z) = z**2 - 9. Let w be j(5). Suppose 3*l = -l + w. Suppose 0*i = -l*i - 20. Is i at least as big as -3?
False
Let x(i) = -2*i**3 + 10*i**2 + 12*i - 11. Let o be x(6). Is -5 less than or equal to o?
False
Let k = -0.03 - -1.83. Let z = -1.9 + k. Let p = 5.2 + -5. Is p > z?
True
Let p(g) = 64*g**2 - g - 5. Let a be p(-5). Suppose a = 3*x + 4*y + 590, -4*y = -20. Let l be (1 + -10)/(x/20). Which is smaller: -0.1 or l?
l
Suppose 0 = x + 137 - 53. Let o be (12/165)/(x/(-10)). Which is bigger: 1 or o?
1
Suppose 0 = 19*j - 16*j - 6. Let o be (-2796)/936 + j + 1. Is -1 at most as big as o?
True
Let v = 6.46 + -5.96. Which is bigger: v or 12/5?
12/5
Let j be 44/10 - 24/60. Suppose 0 = j*z - 12, 0 = -4*t - 3*z - z. Suppose 0 = -2*a - 8. Are t and a equal?
False
Let r = -3 + 2.8. Let m = 0 + r. Let p = -0.74 - -0.84. Does p = m?
False
Let g = -5 + 4.6. Let c = 0.05 - -0.65. Is c > g?
True
Suppose 0 = -15*w + 30 - 30. Which is smaller: w or 2/93?
w
Let k be ((-110)/(-30) - 6)*3*-1. Which is greater: k or 8?
8
Let o be (-170)/75*(-15)/(-12). Is o not equal to -3?
True
Suppose 482 = -5*l + p, -7*l + 6*l = p + 100. Is l at most -1254/13?
True
Let t be 1 - 9*(-4)/(-12). Let g be (2 - -1)*t/(-2). Is g greater than 3?
False
Let t = 1.473 + -0.517. Let v = -0.99 + t. Which is greater: -1/3 or v?
v
Suppose 8*d + 47 = 343. Which is smaller: 3 or d?
3
Let b = -164 - -164.16. Which is bigger: b or 2/15?
b
Let a(w) = -5*w**2 + 7*w**2 + 1 - w**2 - 5*w. Let r be a(5). Is r at least -6/23?
True
Let v = -41 + 23. Let k be ((-2)/18)/(4/v). Let h = -2 + 2.5. Is h greater than or equal to k?
True
Let c = -207 - -123. Let w = c + 85. Is -1/30 <= w?
True
Let i(p) = 3*p**2 - 2*p + 2. Let j be i(2). Let d be 10/4*(-8)/j. Let n be (-7)/(63/(-24))*(-9)/(-12). Is n at most d?
False
Let b(y) = 5*y + 17*y**2 - 5*y + 1 - 16