se -w + 1 = u + 2*u, 4*u + 3 = h*w. Let i be (u + 1)*(1 + -4). Is i at least -5?
True
Let z(o) = o**2 + 3*o + 2. Let i be z(4). Let w be (-4592)/i - 6/18. Let c = w - -154. Is c smaller than 1?
True
Let r(p) = -2*p**3 + 30*p**2 + 70*p - 29. Let c be r(17). Which is smaller: 17.9 or c?
c
Let c be (-30)/4*56/(-70). Suppose -10*t = -c*t. Is t greater than 2/11?
False
Let q(i) = -i**2 + i + 1. Let n(k) = -4*k**2 - 8*k + 14. Let r(w) = -n(w) + 3*q(w). Let z be r(-12). Which is smaller: z or -5?
-5
Let k = 12873 - 12861. Let m = -0.28 + -0.02. Which is greater: m or k?
k
Suppose -2*v - 3*q - q - 316 = 0, q = 1. Is -160 smaller than v?
False
Let l be (33/12)/((-3)/(-48)). Let v(o) = o**3 - 6*o**2 - o + 3. Let j be v(7). Is j bigger than l?
True
Let r(m) = -2*m**2 - 2*m - 1. Let t be r(-1). Let k be (-1)/t + (-7)/(-35). Which is bigger: k or 0?
k
Let o(n) = 2*n**3 - 4*n**2 - 2*n + 4. Let j be o(4). Let y be (-18)/63 - j/(-14). Suppose 2*d + 11 = y*d - p, d = -2*p - 7. Which is bigger: d or 4?
4
Let b(s) = -9*s - 135. Let d be b(-15). Is 180 equal to d?
False
Let y = 33 - 17. Suppose -v = 3*v + y. Let c = 0 + -3. Is v at most c?
True
Let g be 6/8*(-192)/108. Let b be 3/(36/(-10))*2. Let w = b - g. Which is bigger: w or 1?
1
Let g(y) = -2*y**3 + 43*y**2 - 22*y + 14. Let m be g(21). Let n = 2.1 + -2. Let v = 0 - n. Is m at most v?
True
Let o(d) = d + 16. Let c be o(-11). Let w = c + -15. Let h = -11 - w. Which is smaller: -2/31 or h?
h
Let b = -0.0484 + -0.9516. Suppose 5*c - 60 = -20. Let r = c + -12. Is b <= r?
False
Let m(n) = -12*n**2 + 80*n + 8. Let u be m(8). Which is smaller: -123 or u?
-123
Let c = -184 + 5338/29. Let d = -22 + 23. Which is bigger: d or c?
d
Let d(b) = -390*b + 60. Let n be d(-7). Let w be 602/n + 4/(-18). Which is smaller: 0 or w?
w
Let a be 3/18 - (-214)/12. Let w be (-320)/(-18) + 4/a. Suppose 4*n + w = 2*u, u + 5*n - 9 = -35. Is -4/7 <= u?
False
Let l = -258 - -188. Is l less than -70?
False
Let n = 266.87 - -7.13. Is n at most -1/4?
False
Suppose -2*f - 4*q + 108 = 0, -282 = 2*f - 7*f - 4*q. Suppose f = -2*m + m. Let w be (-14)/(-105) - m/(-660). Which is smaller: w or 1?
w
Let j = -43.7 - -41.48. Which is smaller: j or 0.1?
j
Suppose 13*f + 25 = 8*f. Let i = f - -5. Is -2/157 at least i?
False
Let u(j) = -3*j**2 - 13*j - 17. Let h be u(-14). Let n = h + 4667/11. Which is smaller: 0 or n?
0
Let b = -7 + 7. Let n(q) = -q**2 + 6*q + 8. Let t be n(-6). Let r be 3/(-2)*t/(-36). Which is greater: r or b?
b
Let d(s) = -2*s**3 - 53*s**2 + 24*s - 83. Let p be d(-27). Does p = -75/37?
False
Let u be 7 - (-2 + (4 - -2)). Suppose 0 = u*g - 2*g + 1. Suppose 0 = -i - 4*i. Which is greater: i or g?
i
Let q be (-5 + 6 + (-282)/240)*4. Do q and -2 have the same value?
False
Let j be (-77 + -1)/(8/(-236)). Let o be 2/(-13) + 432/j. Suppose -3*n = -c - 7, -c + 6 = 2*n - 2*c. Are o and n nonequal?
True
Let r(g) = -27*g - 5. Let z(c) = 13*c + 2. Let i(q) = -6*r(q) - 13*z(q). Let k be i(4). Let b = -6 - 19. Is k at most as big as b?
False
Suppose -74 = 3*k + 118. Let i = -62 - k. Let z(a) = -a - 10. Let u be z(-9). Which is smaller: i or u?
u
Suppose -5*d + 8 = -5*v - 2, 4*d + 5*v = 53. Let t(m) = m**3 - 7*m**2 - 1. Let p be t(d). Which is smaller: 26 or p?
p
Suppose 8*m - 13*m - 40 = 0. Let d = -6 - m. Is d at least as big as 0.05?
True
Let x be (3 - -1)*(21/6)/7. Suppose x*v + 4 = 6*v. Is 14/13 <= v?
False
Let h = 60 - 58. Is h less than or equal to 3/2?
False
Suppose 0 = -h - 3 - 1. Let x(n) = n + 15. Let g be x(h). Is 5 < g?
True
Let k(o) = -13*o - 280. Let x be k(-22). Is x bigger than 57?
False
Let n be (6/(-21))/((540/(-35))/(-4)). Which is greater: 2/11 or n?
2/11
Let c be (-15)/4 + (-2)/8. Suppose 0 = -u - 3*u. Suppose u*m = 4*m + 4*z + 36, 0 = -2*m + 3*z + 7. Is m bigger than c?
False
Suppose 349 = 9*z + 3346. Which is smaller: -336 or z?
-336
Suppose 4*v = -r + 104, -12*v + 9*v + 2*r + 78 = 0. Which is bigger: 24 or v?
v
Let h be (664/(-12))/((-15)/(-9)). Let p = -3152/95 - h. Which is greater: p or 0?
p
Let u be (-15 - -12) + (68/26 - 0). Let a = -28/39 - u. Suppose 3*k + 2*k = -2*h, -h = -5*k. Is a < h?
True
Let v(t) = t**2 + 7*t - 7. Suppose -2*q = 17 - 1. Let s be v(q). Let b be (s - 0)/(2/(-14)). Which is smaller: -8 or b?
-8
Let n(f) = f**3 - 2*f**2 + 1106. Let y be n(0). Let q be (-4)/30 + y/6720. Let m = q - 57/800. Is m less than or equal to 1?
True
Let c = -1018 + 1015. Which is smaller: c or -2.85?
c
Let r be ((-4)/(-381))/(44/66). Which is greater: r or 0?
r
Let h be ((-105)/45)/((-14)/12). Is h smaller than 5/7?
False
Suppose -c - o = -2*o - 21, 0 = -o - 4. Is c > 19?
False
Suppose 0 = 5*b - 0*b. Let n = b + 8. Let w = n + -8. Which is greater: w or -0.2?
w
Suppose -a = 1, -2*a - 83 = -4*g + a. Let f be -30*2*(-6)/g. Let h = -19 + f. Which is bigger: h or -2?
h
Let o(y) = 19*y + 272. Let u be o(-14). Is u bigger than -10?
True
Let y = -72.7 + 76. Let v = -3.17 + y. Let g = v + -6.13. Is -0.3 less than or equal to g?
False
Suppose -l + 3*l + k = -209, 3*k = 9. Is l bigger than 0.1?
False
Let w = -22 + 16. Let n = 34 + -31. Suppose -i = n*h + 13, 0*h - 5*h + 4*i - 50 = 0. Is h smaller than w?
False
Suppose -610 = -2*k - 2*d, 6*k + 4*d + 1244 = 10*k. Is k greater than or equal to 2/5?
True
Let u(g) = -g**3 + 4*g**2 + 14*g + 6. Let y be u(-3). Which is greater: y or 28?
28
Suppose -3*v + 245 = -8*v. Let a = v + 49. Does -1/13 = a?
False
Let z = 0.3 + 2.7. Let x = -0.643 - 32.457. Let d = -33 - x. Is z at most as big as d?
False
Let v(a) = 3*a**2 + 18*a + 35. Let w be v(-11). Which is smaller: w or 0?
0
Let y = 20 - 4.4. Let h = -17 + y. Let m = -170.9 + 171. Which is smaller: h or m?
h
Suppose -4*r = 2*r - 24. Suppose -3 = o, 2*o - 3*o - r = -j. Which is smaller: 4/33 or j?
4/33
Let f(w) = 3*w**2 - w - 5. Let o be f(-3). Suppose 48 = 2*c - 3*h, 0 = -0*c - 2*c + 5*h + 48. Which is smaller: o or c?
c
Let m = 1800 + -1825. Let c = -0.1 - 0. Which is greater: m or c?
c
Let a = -107 + 62. Let m = a - -45.3. Is 1/12 < m?
True
Let f be (3 - 7/(28/10))*-12. Is -4/11 equal to f?
False
Let y be (-22 - 4)*((-3)/1 - -14). Do y and -286 have the same value?
True
Suppose -3*z = 2*p - 7, -p + 0*p = 2*z - 3. Let c(i) = i - 3. Let g be c(3). Suppose -t + p*t = g. Is 0 < t?
False
Let m = -248 - -249. Which is smaller: m or -42?
-42
Let z(p) = -p**3 - p**2 + p + 2. Suppose 3*s = 4*s. Let n be z(s). Let l be (8/12)/(n/4). Is -3 equal to l?
False
Suppose -47*y = -42*y - 15. Let d(i) = i**3 + 2*i**2 - 4*i - 1. Let w be d(y). Which is smaller: w or 33?
w
Let u = -582 - -554. Which is bigger: u or -0.04?
-0.04
Let q(v) = v - 6. Let f be q(-7). Let c = 127 - 138. Which is smaller: c or f?
f
Let m be -20*(-16)/(-120)*15. Is m at least -40?
True
Let v = -0.22 - -0.12. Is -104 at most as big as v?
True
Suppose -11 - 29 = -5*u. Suppose -u*s = -3*s + 1000. Let y be 8/(-10)*s/16. Is 3 greater than y?
False
Let z = -1777268/17812899 - -3/50749. Let g = z + -5/54. Which is smaller: -1 or g?
-1
Let y = -171 + 177. Let w be -18*(-1 + (-8)/(-12)). Is w >= y?
True
Let b(x) = x**2 + 3*x - 1264. Let l be b(0). Let j be l/104 + 2/13. Which is greater: j or -11?
-11
Let p = -0.795 - 0.025. Let a = -0.8 - p. Let j = -0.12 + a. Which is bigger: j or 10?
10
Let i(t) = t**3 + t**2 + t - 22. Let v be i(0). Let p = 25 + v. Which is smaller: 4 or p?
p
Let m = 0.0103 - 0.0103. Which is smaller: m or -91?
-91
Let k = -222 + 2884/13. Is k not equal to -2/11?
True
Let v = 6.8 - 6.7. Which is smaller: -69.3 or v?
-69.3
Let i be -4 + 10 + -43 + 9/3. Which is bigger: -31 or i?
-31
Let j(w) be the second derivative of w**5/20 + w**4/4 - w**2 - 9*w. Let y be j(-2). Suppose 3*v + y = -1. Which is bigger: 0 or v?
0
Suppose 0 = -15*w + 17*w. Let n = 3 + w. Suppose 2*s + 5*d = -17, 6*s - n*s + 15 = -4*d. Which is bigger: s or 1?
1
Let a = -207581 - -4980841/24. Suppose -3*n = -0*n - 5*f - 163, -f = -2*n + 97. Let h = a + n. Is h > -1?
True
Suppose 28 = 5*i + 23. Is 5/21 != i?
True
Let j = 887 - 888.11. Are j and 1 nonequal?
True
Let n = -5 + -3. Let f = n - -6. Suppose 2*y = 2*l + 16, l + 9 = 2*y - 2. Which is smaller: l or f?
l
Let v = -2.42 + -11.48. Let u = -6.8 - v. Let x = 7 - u. Is x at least -2/5?
True
Let v = -252 - -745/3. Let b = 57 - 61. Is b less than v?
True
Let c be 