2)/(-770). Let j = n - 7/11. Is o smaller than j?
True
Let u = -2 + -1. Let k = -0.9 - 2.1. Is k greater than u?
False
Let y = -0.211 - 14.789. Let s be (-3)/24*-3*(-4)/(-6). Is y < s?
True
Let a = -8 - -9. Which is bigger: a or -4/57?
a
Suppose 0 = -h - 3*h + 16, 4*y = -4*h - 8. Let p = y + 20/3. Which is smaller: -0.1 or p?
-0.1
Let o(b) = 7*b**2 + b. Let l be o(5). Suppose 114 + l = 14*q. Is 0.2 >= q?
False
Suppose -15*x = 2467 + 2093. Is -303 less than x?
False
Let l = 45.1 - -6.9. Which is smaller: l or 2?
2
Let m = 26 - -41. Suppose 80 = -3*w - m. Is -49 at most w?
True
Let m be (1 + (-80)/(-25))/(1/5). Is m less than 22?
True
Suppose 19*a - 6*a + 52 = 0. Let q(o) = o**2 - 2*o. Let t be 2 - 2 - (-3)/3. Let f be q(t). Is f > a?
True
Let j = -15 - -27. Let u be (2 + 0)/(8/j). Let s = u - 5/2. Which is bigger: -2 or s?
s
Let u be ((-18)/(-3))/(-2 - (-1)/2). Let g be (0 + 2 + u)*-3 - 2. Is -1 bigger than g?
False
Let u = 300.493 - 318.64. Let n = -0.147 - u. Which is bigger: n or 0?
n
Suppose 6*t = 2*t - 20. Let w = -0.568 - 0.052. Let j = -0.82 - w. Is t not equal to j?
True
Let i be -3 - 40596/(-8124) - 2. Is i at least as big as 1?
False
Let w = 102 - 102. Is -38 != w?
True
Let g(a) = a**2 - 7*a + 4. Let l be g(6). Let p be (-32)/(l + -2) + -5. Is 20/11 less than p?
True
Let a = -751 - -18023/24. Suppose 0 = 4*w + 4*c + 20, -3*w + 3*c + 15 = -w. Which is smaller: w or a?
a
Let c = 120/371 - 2/53. Is -1 bigger than c?
False
Let g = 7 - 8. Is g less than or equal to -1?
True
Let m be 0/(-2)*(10 - 11). Suppose -3*s - 2*o - 29 = m, -2*s + 16 = -6*s + 3*o. Which is smaller: -8 or s?
-8
Let i = -49.798 - -71.73. Let r = i + 0.068. Is r less than 0.4?
False
Let w = 1645 + -1634. Which is smaller: -18 or w?
-18
Let w = 8.03 - 0.03. Let g = 17 - w. Let t = -5 + g. Which is smaller: t or 1?
1
Let j = -88.1 + 88.9. Is -0.85 greater than or equal to j?
False
Let o = -3.4 + 1.8. Let d = o + -0.1. Which is bigger: d or 0.1?
0.1
Let s be (-126)/(-105)*((-6)/(-4) + 1). Let k be ((-24)/2)/(2/s). Which is smaller: k or -15?
k
Let b = -356/67 + 409354/77117. Let g = b + 3959/538668. Let m = g - -911/11700. Which is smaller: m or 1?
m
Suppose 9 = -3*r, -5*r - 32 + 165 = 4*t. Suppose 4*u - 5*z = -t, 5*u + 20 = 5*z - 25. Which is bigger: -9 or u?
u
Let r = 0.576 - 0.026. Let f = -0.45 - r. Which is bigger: 22 or f?
22
Let y = 36.4 + 244.6. Which is bigger: -2 or y?
y
Suppose -12 = -5*p + 3*x, -4*p + 2*x + 19 = 11. Suppose 3*q - 2*b - 181 + 23 = p, -3*q = 5*b - 193. Which is smaller: 55 or q?
55
Let o = 2449/7329 - 2/2443. Is o at most as big as -21/8?
False
Let f(l) = 28*l - 8. Let s be f(-2). Is 0.3 <= s?
False
Let w(x) = x**2 - 5*x + 9. Let u be w(5). Suppose -36 = -0*b + 4*b. Let o = b + u. Is 0.1 bigger than o?
True
Let z = -38 + 40. Suppose -9*m = z*m - 55. Let p = -14 - -20. Which is smaller: m or p?
m
Let p(u) = u**2 - 5*u + 1. Let m be p(5). Let d be (4268/(-297))/((-794)/12). Let w = d + 2/397. Is w < m?
True
Suppose -21*t + 44 = 23*t. Which is bigger: -408 or t?
t
Let d = 228/5 - 601/10. Let a = -1275/88 - d. Which is smaller: 0 or a?
0
Let r be 5 + (0 - (-2094)/(-414)). Is r equal to 1?
False
Let r(k) = 9*k**2 + 145*k + 19. Let t be r(-14). Is -246 smaller than t?
False
Let a(r) be the second derivative of r**3/6 - 3*r**2/2 - 3*r. Let c be a(2). Are c and -1 equal?
True
Let s = 19/2 - 10. Let i = -0.03 - 7.97. Which is smaller: s or i?
i
Let i = 1 - -17. Suppose -5*q + 92 = -k - 0*k, -8 = 4*k. Let x = q - i. Which is greater: x or -5?
x
Let x = -262.8 + 287.8. Let p = -5/7 + 13/28. Is p <= x?
True
Let g be 9 - 1 - (2 - (-4)/4). Suppose -h - g - 7 = 3*w, 0 = -4*h + 12. Which is smaller: w or -4?
w
Let m = -8 - -7. Let q(a) = a**2 - 8*a + 5. Let f be q(8). Suppose 0*c = f*c - 10. Which is greater: m or c?
c
Let g be (-1 + -3 - 5) + 5. Let t be (5 - g/12)*(-3)/(-2). Which is smaller: 10 or t?
t
Suppose 20 = -4*c - 2*l, 0 = -4*c + 4*l - l - 30. Is c greater than -6?
False
Let q = 1044 - 1046. Is q greater than or equal to 610?
False
Let n be (-117)/(-21) + -3 + -3. Let r(s) = -s**3 + s**2 + s + 5. Let m be r(0). Suppose 4*z = 3*v + m, 0 = z + 4*z - 3*v - 4. Which is smaller: n or z?
z
Let w(u) = -2*u**2 + 12*u + 4. Let b be w(9). Let l = 71 + b. Is l > 21?
False
Let i = -51 + 41. Let n be (15/(-12))/(i/(-80)). Which is smaller: -19/2 or n?
n
Let k = -19.8 - -20. Let i = 0.1 - k. Which is bigger: i or 16?
16
Suppose -5*z + 1800 = -2*z. Let n be z/385 - 2/7. Which is bigger: 0 or n?
n
Let s be 9/((-81)/(-45)) - 9. Is s greater than -63/13?
True
Let s = 0.9 + 4.1. Let l = 7 - s. Let j = -25 + 27. Is l != j?
False
Let i = -7 + 3. Let s be 3 - ((-18)/4)/((-8)/16). Let n be s - ((-24)/4 + 5). Is i at most as big as n?
False
Suppose -5*x + 90 = 3*d, 3*x = -5*d + 55 + 15. Let o be (-105)/(-25) - 3/x. Suppose 0 = -3*n + o*w - 59, 5*w = -0*w - 20. Is n greater than -24?
False
Let k(u) = 3*u - 3 + 6 - 5*u**2 - 2 - 3*u**3 - u. Let z be k(-4). Let o be (-4)/(-12) - 29/z. Which is bigger: o or -1?
o
Suppose -i + 5*i = -3*x + 3, 0 = -i - 3. Suppose x*p = p + 28. Suppose -5*k - p = 3. Is -2 greater than k?
False
Let a = 993 - 993.1. Let z = -0.11 - -5.11. Let m = 4 - z. Which is greater: m or a?
a
Let p(o) = 3*o + 75. Let s be p(0). Suppose 17*j = 12*j + s. Suppose 4*g - 5*d = -j, 4*g = 2*d - 5 - 1. Is g greater than -1?
True
Let s(d) = 3*d + 23. Let i be s(-8). Let a be (6*i*(-1)/2)/(-1). Let w = -5 + 3. Is w at most a?
False
Suppose 28 = 4*u - 4*j, -4*u = -u + 4*j + 14. Suppose 0 = u*z + 2*z + 1784. Let p = z - -3117/7. Which is smaller: -1 or p?
-1
Let x be (-2)/(-4) - (-60)/8. Let g = -4 + x. Suppose -4*r = 5*a + 5, -g*a - 4 = -0*r - 3*r. Which is smaller: -2/5 or a?
a
Let o = -2/157 - -1117/1413. Is o != 0?
True
Suppose -3*o - 8 = -5*o. Suppose 4*g + 18 = u, -8*u + 84 = -o*u - 4*g. Which is smaller: u or 21?
21
Suppose 0 = y - 2*y - 6. Let v be -1*y/(-21) - (-39)/14. Which is greater: v or 3?
3
Let c(m) = -5*m + 94. Let h be c(11). Which is smaller: h or 40?
h
Let j = -24503265/136 - -180170. Let c = j + 9/8. Is c equal to -0.1?
False
Let t(x) = -x + 2. Suppose 0 = 2*z + 2*z - 4. Let p be t(z). Let g(o) = -6*o**3 - o**2 + 1. Let c be g(p). Which is smaller: -7 or c?
-7
Let b be (3 - 3) + (-122)/6. Let p(s) = s**2 - 5. Let w be p(-5). Let m = w + b. Is m greater than or equal to 1/5?
False
Let g = 2929080290745/3931684798 - 2/24884081. Let u = g - 745. Which is greater: -1 or u?
u
Let f = 169/99 - 17/9. Let q = -3 + 4. Is f less than q?
True
Let z = 53 - 53. Let u be (50/(-45))/5 + z. Is u at most -6/5?
False
Let w = -36 - -103. Suppose -5*f - 3*x + w = 0, -3*f + x = -10 - 19. Are f and 11 unequal?
False
Let k be 151 + (-20)/(-5) - 1. Which is smaller: 153 or k?
153
Let t = -344 + 349. Is -0.16 < t?
True
Suppose 2 = -b - 3, 3*j = -b + 16. Let n = -45 + 53. Which is bigger: j or n?
n
Let l = 7/5100 - 2/425. Is -1 at most l?
True
Let b = -8489 - -8461. Let j(c) = -c**2 - 2*c - 6. Let a be j(-6). Is a equal to b?
False
Let x = -0.125 - 8.175. Let o = -1.8 + -6.2. Let q = x - o. Is q at most 0?
True
Let y(d) = -d**3 + d**2 + 7*d - 55. Let a be y(5). Which is greater: -121 or a?
a
Let f(w) = -w**2 - 2*w + 8. Let j be f(0). Suppose j = 2*y + 2*y. Let d be (-22)/(-8) + -1 - y. Is d != -1/3?
True
Let u = 35 - -32. Suppose -4*i - u - 153 = 0. Let h = 77 + i. Which is smaller: h or 23?
h
Suppose 0 = -40*o + 42*o - 4. Let w be (o/12)/(72/(-16)). Is 1 at most w?
False
Let p be (-144)/(-18) - (1 + -28). Which is smaller: 34 or p?
34
Let f = -1.4297 - 0.0703. Is f bigger than 4?
False
Let p(g) = g**2 - 9*g - 1. Let m be p(9). Let n be -1 + -4 + m + 1. Which is smaller: n or -11/3?
n
Let m(d) = d - 13. Let x be m(17). Let u be 708/28 + (x/14)/(-1). Which is greater: 1/4 or u?
u
Let m = -21 + 1. Let l be (-1)/(-6) + m/24. Let d = -20 + 7. Do l and d have the same value?
False
Let u be 3/12 + 9/12 + 3. Suppose -18 = -u*s + 2. Let a be 60/14 - (-4)/(-14). Is s greater than or equal to a?
True
Let m = 2265 - 3883. Which is smaller: 0.1 or m?
m
Let w be (0 - 93 - -1)*34/(-68). Let q = w + -49. Let s = -0.3 + 0.2. Is q at least as big as s?
False
Suppose -2*u + 9*u + 84 = 0. Let f = u + 46. Is 34 at most f?
True
Let b be 926/(-4) + -2 + (-19)/(-38). Is b at least as big as -232?
F