ch is smaller: u or -15?
-15
Let w be (10/(-20))/(2/(-4)). Let u = -31 - -27. Is w < u?
False
Let f = 180 + -101. Suppose 3*l - 5*g - 262 = 0, 2*l - 2*g = 6*l - 306. Is l at least as big as f?
True
Let r be (-2)/(-10)*(-2085)/36. Let m = 37/4 + r. Are m and 0.2 equal?
False
Suppose -6*y = -12 + 66. Let t be (1 - -1)*y/2. Which is bigger: -7 or t?
-7
Let x = 8/39391 + 226379893/905993. Let n be (-1497)/6 - (-1)/(-2). Let f = n + x. Is 0 at most as big as f?
False
Let b = 18 - 18. Suppose 5*s - 76 + 206 = b. Let l = 23 + s. Which is greater: 1 or l?
1
Suppose 2*k + 3 = 2*p - 3, 5*k = -20. Suppose 0 = -a - 4*m + 25, 5*a - 25*m = -26*m + 11. Is p not equal to a?
True
Let r = -3.2 - -3.196. Let i = r + -0.996. Are i and 0 non-equal?
True
Let f = 0.2553 + -0.0353. Let b = 0.18 + -0.02. Let r = b - f. Which is greater: 3/5 or r?
3/5
Suppose 2*d + 4*q - 218 = 3*q, 3*d + 5*q = 341. Is d at most as big as 108?
True
Let d = -476 - -653. Is 0.2 smaller than d?
True
Let u be -4 - 1/((-5)/35). Let m be 1/(1 - (5 - u)). Which is smaller: m or 1/9?
m
Let t(c) = 3*c**2 + 6*c + 8. Let x be t(-6). Suppose -2*v + x = 3*v. Suppose 5*h + v = j, -j + 2*h - 3 = -4. Which is smaller: -8 or j?
j
Let y = 0.8 + 0.2. Let u = -1.1 + y. Suppose -5*q + 25 = -b, 0 = -2*b - 44*q + 43*q - 17. Is u at most b?
False
Let p be (-2192)/(-32)*(-1 - 1). Let i = p - -35. Is -103 less than i?
True
Let c = 101 + -123.5. Let y = 0.5 - 5. Let h = c - y. Is h >= 1?
False
Let q = 34 + -24. Suppose -4*d + q = k - 0, -10 = -2*d - 3*k. Suppose u = -r - 3, -4*r - 6 = -0*u + d*u. Which is greater: u or -4?
u
Let s = -32.194 - 0.806. Which is smaller: s or 14?
s
Let f(v) = 8*v**3 + 3*v**2 - 5*v + 6. Let h be f(1). Is 86 >= h?
True
Let u(d) = d**2 - 9*d + 4. Let s be u(6). Let i = 11 + s. Let o be -1*(i - 1/(-1)). Which is smaller: o or -5?
-5
Let u be 9/(-24) - 3/(-8). Is u at most as big as 1/338?
True
Let j = -4 + 29/7. Which is smaller: 0 or j?
0
Suppose -68*p + 0*p + 12172 = 0. Is -1/4 equal to p?
False
Let p(h) = 16*h + 152. Let f be p(-7). Which is smaller: f or 9?
9
Let x = 18 + -53. Let g = x - -70. Suppose -4*r + 9*r + g = 0. Which is smaller: r or -11/2?
r
Suppose -104 = -2*z - 3*i, z + 4*z = -i + 260. Let y be z/13 - 1*4. Let m = 344/5 + -70. Which is bigger: m or y?
y
Suppose -2*a + a = 3*x - 54, 0 = x - 5*a - 18. Let t be (-3 - -2) + x/33. Is t at least as big as 1?
False
Let z(h) = -h**2 + h + 1. Let c be z(2). Let r(w) = 6*w**2 - 1. Let x be r(c). Suppose -3*g + 10 = -a, -a - x*g + 19 = -5*a. Is a < 1/2?
True
Let d(r) be the second derivative of r**5/20 + 3*r**4/4 + 3*r**3/2 + 5*r**2/2 - 5*r. Let q be d(-7). Let l be (28/490)/(2/q). Is l at most 0?
False
Let s(u) = -8*u - 11. Let l be s(-4). Let c be ((-14)/l)/((-1)/(-2)). Let o(d) = 2*d + 8. Let q be o(-5). Is q at least c?
False
Suppose -10*j - 27 = 3. Is -27/8 < j?
True
Suppose -4*i = -0*i - 20. Let y(q) = q**2 - 7*q**2 + 0 + 7*q**2 + 5. Let r be y(0). Is r <= i?
True
Let w(f) = f - 4. Let t be w(0). Let s(m) = -m**3 - 4*m**2 - 7*m - 6. Let v be s(t). Suppose -287 = -8*n - 119. Is v at least n?
True
Let g be 3 - (0 + -3)/3. Suppose 5*o + 14 = g. Let n be 30/(-54) + o/(-9). Which is bigger: 2/7 or n?
2/7
Let x = 4.2 + 2.8. Let c = x - 0. Is c < 2?
False
Suppose h = -3*u + 3, 30 - 8 = 3*h - 4*u. Let i = -8 - -8. Suppose -m + 4*n - h = -i, -2*n - 8 = 5*m. Which is smaller: m or -6/7?
m
Suppose 3*q + 4*x = -11, 2*q - 6*q + 5*x = -6. Let k = q + 1. Suppose 2*z + j + 2 = -3, -3 = j. Which is bigger: z or k?
k
Let z = 0.92 - 2.92. Which is bigger: -2.1 or z?
z
Let v = -196 + 267. Is 0 less than v?
True
Let t = 64 - 41. Let f be (9/27)/((-1)/(-66)). Let y = t - f. Which is smaller: y or 0?
0
Let x(c) = 12*c + 2. Let b be ((-5)/1)/(18 - 19). Suppose 2*v + 3 = k, 2*v + 18 = b*v + 3*k. Let t be x(v). Which is smaller: -0.2 or t?
-0.2
Let o(b) = -4*b - 1. Let c(x) = -x. Let p(m) = -9*c(m) + 2*o(m). Let a be p(1). Let u be -3 + 2 + 23/19. Which is bigger: a or u?
u
Let c(k) = 2 - k - 3 + 4. Let p be c(2). Is -3/7 at least p?
False
Suppose 6*b + 277 = -377. Let r = b - -105. Which is greater: -14/3 or r?
r
Let y be (11/7)/(2 - 0). Let s = 29/14 - y. Let q = -84 + 85. Which is bigger: q or s?
s
Let w(y) be the third derivative of -y**7/840 + y**6/90 - y**4/8 + y**3/6 + 4*y**2. Let v(r) be the first derivative of w(r). Let x be v(3). Is 4 > x?
False
Let t(r) = r - 4. Let i be t(3). Let n be ((-8)/(-12))/(51/9). Let x = n + -25/68. Is i <= x?
True
Let a = 3.92 + -4. Suppose 5*s - 2*z + 141 = -34, -s - 2*z = 23. Let m be (0 - (-3)/(-14))/(s/44). Which is smaller: m or a?
a
Suppose 0 = 5*y + 5*u - u - 880, -340 = -2*y - 4*u. Is y bigger than 178?
True
Let j = 256 - 253. Is j >= 5?
False
Let z be (7 - 1155/121)*10/4. Which is bigger: 1 or z?
1
Let v be -5 + (18/153)/(1/43). Which is bigger: -1 or v?
v
Let s be ((-45)/12)/5 - -1. Let m = -125 + 124.4. Which is smaller: s or m?
m
Suppose 0 = 31*w + 266 - 1134. Which is smaller: 0.1 or w?
0.1
Let t be (-2 - 6/(-3))/3. Let o = 7 + -13. Let j(a) = a**2 + 5*a - 3. Let z be j(o). Is t greater than z?
False
Let v = 29.46114 - 0.52814. Let t = -0.067 - v. Let a = -26 - t. Is 0.3 > a?
False
Let m(u) = -u**2 - 4*u + 5. Let a be m(-5). Which is greater: -12 or a?
a
Let j be 5/((-15)/10 + 4). Suppose 5*h = -5*g + 80, -4*g + 3*h - j*h + 54 = 0. Is 12 less than or equal to g?
True
Let z be (-383)/(-128) + 27/(-9). Let v = z - 253/384. Is 0.4 at most v?
False
Suppose -3*h - 4 = -16. Suppose -2*w + 4 = -0, 0 = h*p - 4*w. Suppose b = 3*b - p. Is -1 smaller than b?
True
Let d = 25.3 + -25.26. Is d smaller than 4?
True
Let b be ((-4)/10)/(5/25). Let s(y) = y**2 - y - 4. Let n be s(4). Suppose -4*k - 6 - 10 = 2*a, -2*k = -3*a - n. Is k less than or equal to b?
True
Let a = -3 + 0. Let p be (a - 643/5)/(-20). Let s = p + -67/10. Is -1 smaller than s?
True
Suppose -3*o + 4*s = 2*o - 354, 2*o - 137 = -3*s. Suppose -o = -3*p - 550. Let d be 2/1 - p/(-85). Is d greater than 0?
True
Let v(x) = -x**2 - 22*x - 31. Let s be v(-10). Let r = 149 - s. Are r and 60 unequal?
False
Let c(o) = o - 11. Let t be c(19). Let h(y) = -4*y + 43. Let r(f) = 2*f - 22. Let k(s) = 2*h(s) + 5*r(s). Let l be k(16). Is t equal to l?
True
Let f(j) = -j**3 - 10*j**2 + 8*j + 24. Let u be f(-11). Suppose -3*v - u = 150. Which is greater: v or 0?
0
Let w = 8 - 11. Let c = 5 + -9. Let m = w - c. Which is greater: -0.1 or m?
m
Suppose -2*y + 3 = -9. Let i be 0 + 14 + (-5)/5. Suppose -5*l + 38 - i = 0. Are y and l non-equal?
True
Suppose 12*q - 8*q - 8*q = 0. Do q and -5/21 have the same value?
False
Let o = -207/14 + 29/2. Let f(x) = x + 4. Let b be f(0). Suppose 4*t = -0*t - b. Is t equal to o?
False
Let u(l) = -8*l**2 - 3*l + l + 4*l + 9*l**2 - 7. Let y be u(-5). Suppose m + 18 = 3*m - a, -y = 2*a. Is 7 smaller than m?
False
Suppose 0 = -4*w + 2*w + 112. Suppose 4*j + w = 6*j. Suppose 5*v + j = 3*g, 0 = -2*v + 6*v + 20. Which is smaller: g or 1/12?
1/12
Let i(z) = 13*z. Let y be i(-8). Let u = -133 - y. Let p(a) = -a**3 - 6*a**2 + 2*a + 7. Let t be p(-5). Is u bigger than t?
False
Let y be ((-6)/(-22) + 0)*(-204)/306. Let q = -1 - -3. Suppose w + 4*l = 8, -3 + 13 = -q*w + 5*l. Is y != w?
True
Let o = 1688 + -1688. Suppose 3*p = -m - 0*m + 21, -p + m + 7 = 0. Is o less than or equal to p?
True
Let o be 18/8 + 2/(-8). Let v = 3.2 - -13.8. Which is smaller: o or v?
o
Let t = 17.54 + -0.7. Let z = 0.16 + t. Are z and 0 unequal?
True
Let h be (4/(-6))/(4/18). Is h less than -11?
False
Let c(a) = -a + 1. Let q be c(0). Let w = 119 + -1305/11. Is w >= q?
False
Let d = 7 + -5. Let a(w) = 3*w - 7. Let h(p) = -8*p + 22. Let o(i) = 11*a(i) + 4*h(i). Let n be o(-9). Is d at most n?
True
Let l = -5267/4 + 2154211/1636. Which is bigger: l or 1?
1
Suppose 2*w = -2*w + 7*w. Is 1/138 greater than w?
True
Suppose 0 = 5*w - 4*f + 8, -f = w - 4*f + 6. Let q(k) = 4*k**2 + k + 2. Let j be q(w). Which is bigger: j or -12?
j
Let i = -67081/32 + 2096. Are 0 and i equal?
False
Let z = -0.4 + 0.1. Let m = -0.0484 + -10.9516. Is z at least as big as m?
True
Suppose -5*m + f - 15 = -4*f, 0 = -4*f + 12. Let c(p) = p**2 + 1. Let q be c(m). Let j be (-2)/12 + 4/(-12). Which is greater: q or j?
q
Let v be ((-86)/(-18) - 18/(-81)) + -76. Which is smaller: 2/5 or v?
v
Let a = -1.194 