-1179 - -1186.37. Is -1 at most as big as u?
True
Let k = 109 - 229. Do k and -120 have the same value?
True
Let w = -55 + 67. Suppose 24*v + 264 = w*v. Let t = -1 - -2. Is v less than or equal to t?
True
Let x(w) = -w**3 + 6*w**2 - 5*w + 22. Let s be x(5). Suppose -4*h - 17 = -k, k - 8*h = -3*h + s. Let l be -6 - 0 - (-1 + 1). Which is smaller: k or l?
l
Let l be (-1)/(-11) + 20/(-220). Let w be 52/(-50)*-2 - 2. Is l <= w?
True
Let y = 9.222 + -0.222. Which is bigger: -3 or y?
y
Suppose -4*g + 3 = w, -5*g - 3 = 5*w + 12. Suppose -c = -3*c - 4*z + 52, c + 4*z - 36 = 0. Let t be 2/7 + c/7. Is g not equal to t?
True
Let z = -85/27 - -1637/297. Which is smaller: z or -2?
-2
Suppose -3*i = 4*f - 43, -f + 0*f - 2 = 5*i. Which is greater: 7 or f?
f
Let d(y) = y**2 - 4*y + 10. Suppose 0 = -5*r - 15, 0 = 3*i - 7*r + 3*r - 24. Let a be d(i). Let n be -1 - (-24)/2*1. Is n greater than or equal to a?
True
Let u = 2 - 4. Suppose -4 = p - 4*f, 2*p - 1 = -2*p - f. Let c(k) = k**2 + 2*k + 4. Let g be c(p). Is u at most as big as g?
True
Suppose 35 - 260 = 5*w. Let r be (-10)/w + (-4)/18. Let t be (4 - (r + 1)) + -2. Is 0 != t?
True
Let q be 22/(-2) - (9 - 11). Let p(l) be the first derivative of l**3/3 - 9*l**2/2 - 2*l - 4. Let v be p(8). Do v and q have the same value?
False
Let i = -23 - -35. Let j = i + -9. Do j and 9 have different values?
True
Suppose 7*j - 39 + 4 = 0. Suppose j*w - 2 - 8 = 0. Is w less than or equal to -1/17?
False
Let i be ((-267624)/(-5579))/12 + -4. Is 1 != i?
True
Suppose 3*y - 133 = -4*y. Suppose 0 = 4*b - 5*b + y. Let o(s) = -s + 20. Let n be o(0). Is n equal to b?
False
Let b be 28/7*(-3)/(-12). Suppose 3*x + 14 - b = 5*s, x - 1 = -s. Is 7/10 smaller than s?
True
Let w(k) = -k. Let b be w(-1). Let v be 2/(3 + b)*2. Let j = 5 + -4. Is v != j?
False
Suppose 4*k - 2*c - 153 + 45 = 0, -5*c = -5*k + 125. Let d = -97 - -68. Let b = k + d. Is 1/6 at least b?
True
Let w be ((-1370)/70)/(1/(-7)). Are 141 and w equal?
False
Let m be 6 + (-5)/(5/3). Suppose 0 = -4*g - 3*w - 13, -3*g + 0*w - m*w - 12 = 0. Let a be g + 5 - 0/2. Is 4 smaller than a?
False
Let t(j) = -8*j - 2. Let b be t(-3). Let v = -31 + b. Is v bigger than -10?
True
Let z = 1.615 + -1.415. Is -142/3 greater than z?
False
Let i = 1 + -2. Let q be 137/(-69) + (-3)/9. Let g = q - -15/23. Which is smaller: g or i?
g
Let p be (3 - 1)/2*-24. Let z be (-10)/(-30) + 110/p. Which is smaller: -3 or z?
z
Let q = -1.9 + -5.2. Let c = -9.1 - q. Is 8 at most as big as c?
False
Let d(g) = g**3 + 8*g**2 - 8*g + 1. Let y be d(-9). Let a be (-6)/(-36) - y/(-12). Is 91 at least a?
True
Let c be (-86)/(-7) - 10/35. Let g = c - 8. Let v = 1.7 + -0.7. Is g greater than or equal to v?
True
Suppose -937 = -2*j - 37. Suppose -3*r = -8*r - j. Let x be 160/r - 2/9. Which is smaller: -6/11 or x?
x
Let n be 0/(-3) + 1 + -1. Let l be 3/(n - 3)*-1. Let s = -2832/13 + 218. Which is smaller: s or l?
s
Let i = 5.36 - 5.4. Let k = 15 - 18. Is i < k?
False
Let l be (-1)/3 + 7/3. Let z(u) = -u**3 - 1 - 2*u**2 - 1 + 3*u + l - 1. Let y be z(2). Which is greater: -10 or y?
-10
Let w be (-4)/6 + 2/(-6). Let q = 17 - 21. Let o be -3 - (64/6)/q. Which is bigger: o or w?
o
Let t = -81173/8 + 10166. Which is smaller: 20 or t?
t
Let s(x) = 11*x**2 - 24*x + 134. Let g be s(8). Is g > 646?
False
Suppose -149 = 12*i + 2095. Do -1694/9 and i have the same value?
False
Let y = 385 - 400. Let q = 44/35 + -6/7. Which is smaller: q or y?
y
Let y = 22150/39 + -568. Let a = 63 + -62. Is a less than or equal to y?
False
Let c(v) = v**2 - 16*v + 67. Let z be c(7). Which is smaller: -2/7 or z?
-2/7
Let m = 43 - 13. Let v = m - 31. Is v at most -1/36?
True
Let u = -916 - -924. Is u bigger than -2?
True
Let o(s) = 2*s**2 - 2*s + 1. Let v be o(-2). Let a(h) = -h**3 + 14*h**2 - 14*h + 13. Let y be a(v). Is 1 greater than y?
True
Let a be (423/54 + -9)/(1/(-6)). Let y be 82/8 - (4 - 2). Which is smaller: a or y?
a
Let c = -445/2 - -218. Let z = c + 25/6. Is 2/69 less than or equal to z?
False
Suppose -36*z - 152 = -80. Let d be 15/(-18)*(-2)/2. Let i = 1/12 - d. Is z >= i?
False
Let o be (((-160)/15)/2)/(10/(-105)). Is 56 less than or equal to o?
True
Let n be -189 + 4 + (-3)/1 + 2. Are n and -560/3 unequal?
True
Let z(o) = 99*o + 188. Let y be z(9). Which is greater: y or 1077?
y
Let a = -9 + -51. Is -1/5 less than or equal to a?
False
Let v be (-2)/3*-57 + 1. Suppose 2*z = 1 + v. Suppose 0 = x + 4*r + z, 5*x + 2*r = -0 - 10. Is -1/19 <= x?
True
Suppose 4*r + 124 = 2*b - 24, -3*b - 5*r = -200. Which is smaller: 482/7 or b?
482/7
Let x = -215 - -145. Let r = -20 - -28. Let b be r/x + 32/(-112). Is b greater than 0.11?
False
Suppose -n + 3*o = 311, 7*o - 308 = n + 3*o. Is -320 less than or equal to n?
True
Let n = 31 - 31. Let w = -2.32 - 21.68. Which is smaller: n or w?
w
Let l(s) = 17*s - 349. Let y be l(25). Is y >= -0.4?
True
Let g = -59.7 + 61.4. Let d = -40 + 38.3. Let v = d + g. Does 1/2 = v?
False
Let z = -94.5 - -75.18. Let t = 0.32 + z. Do t and 0 have the same value?
False
Let a = 5.7 + -5.97. Let r = a + 0.37. Which is smaller: r or 3.2?
r
Let p = -0.615 + -0.785. Which is bigger: p or 10?
10
Let b = -2636534409416681/8695940418354 - -19/4046505546. Let n = b + 6228/307. Let k = 283 + n. Are k and 0 equal?
False
Let b = 11.22 + -11.32. Which is smaller: b or -44/19?
-44/19
Let h be 10/1640*(-254)/4. Let n = 247 + -20255/82. Let m = n - h. Which is greater: m or 1?
1
Let b = -2/11071 - -454041/719615. Let f = b + -16/13. Which is bigger: -0.5 or f?
-0.5
Let i = 0.1 - 0.2. Suppose -5*v + 27 = 7. Let p be (v/14*-1)/(-2 - -1). Is i at least as big as p?
False
Suppose -4*w = 6*w - 10. Which is greater: w or 2/15?
w
Let q = -199035/41 - -4855. Let w = q - -107/369. Is w less than or equal to 1?
True
Suppose -3*v = 5*x - 0*v - 63, -3*x - 5*v = -41. Let m = -102 - -104. Suppose -2*w - 3*r = 3*w - 66, -5*w + 64 = m*r. Does x = w?
True
Let c = -2263/16029 + 17/137. Which is smaller: c or 0?
c
Let s = 57 + -63. Let c(l) = -l - 2. Let k be c(-5). Suppose k*f - 2*h - 2*h = -41, -f - 2*h + 3 = 0. Which is bigger: s or f?
s
Let b be (-6 - -4)*(-10)/4. Suppose 0 = -b*d + 11 + 34. Let c = 4 - d. Which is bigger: c or -6?
c
Let o = -11445/38 + 603/2. Which is bigger: -1 or o?
o
Let y = 36 + -45/2. Is 15 equal to y?
False
Let p = 2.262 - 1.862. Which is smaller: p or -292?
-292
Let p = -37.7 + -160.3. Which is bigger: p or -1/9?
-1/9
Let d = 42 - 52. Let a(s) = s**2 + 3*s - 7. Let z(y) = y**2 + 3*y - 7. Let g(q) = 3*a(q) - 4*z(q). Let h be g(-6). Which is smaller: d or h?
h
Let s be 3 - -2 - (63 - (-10)/2). Is s > -63?
False
Let z(a) = -17*a - 37. Let p be z(-5). Is p greater than or equal to 50?
False
Let s = -863 - -961. Is s > 101?
False
Suppose 11*n - 61 = 10*n. Suppose -5*o = -v + 23 - n, 4*v - 8 = 0. Is 8 bigger than o?
False
Let n be (26/(-273) - 25/(-42))*86. Is -2 greater than n?
False
Let w be (5/(-2) + 1)/((-3)/12). Let h be (2 + -2)*(15/w)/(-5). Which is bigger: -2/5 or h?
h
Let u = -11 - -13. Let g = 4 - u. Suppose h = -g*h. Which is bigger: -2/7 or h?
h
Let p = -297.3 - -273. Let k = p - -24. Are k and -0.5 nonequal?
True
Let i be ((-3)/80)/(264/(-220)). Which is greater: i or 0?
i
Suppose -2*p = -2*g - 4, 3*g - 60*p + 58*p = -4. Which is smaller: 1/257 or g?
g
Suppose 7*d = 2*a + 2*d + 7, 2*d + 1 = -3*a. Is a at most as big as 1/536?
True
Let d be ((-84)/40)/7*-2. Let h(j) = -j**3 - 4*j**2 - 4*j - 2. Let x be h(-3). Let a = 1 - x. Which is smaller: a or d?
a
Let k = 15724/161101 - -2/2641. Which is bigger: k or -1?
k
Let q = -10.9 + 18. Is 0 not equal to q?
True
Let n = -702.06 - -702. Which is smaller: n or -27?
-27
Let x be -2 + (-3136)/(-2289) - (-4)/6. Let i = 49/1635 + x. Suppose -h - 7 = -0*h - 2*z, 0 = 2*h - 5*z + 18. Which is bigger: h or i?
h
Suppose 4*r = 2*w - 4, 0 = -4*r - 4*w + 1 + 7. Are 9 and r equal?
False
Let y = 89/4 - 18. Which is bigger: y or 1/6?
y
Let o be (-11)/21 - 7/21. Let h(w) = -w**2 + 6*w - 6. Let k be h(5). Is o greater than or equal to k?
True
Let h(n) = n - 6. Let v be h(5). Let f be -5 - ((-2)/4 + (-9)/(-6)). Are v and f unequal?
True
Let r be (3/(-7) - (-4)/(-56))*-30. Let u(i) = -2*i - 14. Let t be u(-12). Let p be t*((-63)/(-6))/7. Is r at most p?
True
Let b be 1/4 + 155/20. Suppose 29 = -