-673/8. Is h != -9?
True
Let b be 1 - (-5 + -1 + 1). Suppose b*v - 2*w + 14 = 3*v, -3*v - 39 = 3*w. Let s = 10 - v. Which is smaller: 1/4 or s?
1/4
Let j be (952/(-54))/(3 + 29845/(-165)). Let f = 6/587 - j. Is f at least 1?
False
Let m(o) = -o**2 + 8*o - 20. Let b be m(7). Let j = 1 - 5. Let a = -5 - j. Is a < b?
False
Let c = -0.6 - -1.6. Let s = -1 - -0.65. Which is bigger: c or s?
c
Let g(c) = 2*c + 2. Let m be g(11). Suppose 6*t - m = 4*t. Suppose 0 = 2*u - 0 + t. Which is smaller: -2 or u?
u
Let f = 6031/4 - 1498. Is f at most as big as 11?
True
Let p = 1 + 4. Let g = 222 - 222. Suppose g = -4*q + p*o - 19, 5*o + 15 + 8 = -3*q. Is q at least -6?
True
Let m = -24.3 + 25.3. Which is smaller: 2/17 or m?
2/17
Let w = -147.3 + 201.3. Let v be ((-3)/12)/(6/8). Which is greater: w or v?
w
Let g = -242 + 241. Is g smaller than 2.7?
True
Let t(y) = -y**2 + 16*y - 14. Let q(n) = 2*n**2 - 7*n. Let c be q(5). Let d be t(c). Let x be d + (-20)/(-14) + -2. Is x less than or equal to -1?
False
Let o(v) = v**3 + 4*v**2 - 4*v + 7. Let y be o(-5). Let d be (-1)/y + (-12)/(-8). Let q be ((-2)/(-4))/((-120)/(-16)). Is d equal to q?
False
Let j = -11 - -27. Suppose -4*r = -2*r - 6, -j = -g - 5*r. Which is smaller: -2/13 or g?
-2/13
Let c = -162 - -162. Is 0.013 greater than or equal to c?
True
Let f = 3.31 + -0.31. Let r be (-96)/144 + (-29)/3*-1. Is f greater than or equal to r?
False
Let j(m) = -m**3 - 5*m**2 + 6*m - 3. Let h be j(-6). Let z(x) = 5*x + 19. Let u be z(-4). Is h >= u?
False
Let n = 3613/7 + -517. Suppose -4*m - 143 = -0*m - 5*c, 2*m + 70 = 4*c. Let h = 35 + m. Which is bigger: h or n?
n
Let l = 11.21 - 11. Let d = l - 0.61. Is 2 < d?
False
Let x(v) = -10*v - 395. Let h be x(-15). Which is smaller: h or -975/4?
h
Let y be (-379)/(11 - (-6 + 16)). Which is greater: y or -377?
-377
Let c(w) be the first derivative of -w**4/4 - 6*w**3 - 8*w**2 + 16*w + 9. Let s be c(-17). Is 0 at least s?
True
Let o = -0.09 + -0.04. Let z = -0.87 + o. Is z smaller than -12?
False
Let y = 34 - 31. Suppose -5*w = 2*i - 6*w + 162, -243 = y*i - 2*w. Do -80 and i have the same value?
False
Suppose -u + 0 = -1. Suppose -3*f - l = 0, 2*f - 3*f + 11 = 4*l. Which is greater: u or f?
u
Let w(p) = p**2 - 21*p + 7. Let f be w(10). Do -103 and f have different values?
False
Let z(d) = -5 + 3*d - d - 3*d + 1. Let t be z(-12). Let f(b) = -b + 8. Let s be f(t). Is -1/5 <= s?
True
Let x = -1856 - -7355/4. Is x > -18?
True
Let f = 59 + -160. Does f = -100?
False
Let t = -16 + -10. Let r = -44 - t. Let a be (-36)/24*(-8)/r. Is a bigger than -7/6?
True
Suppose 4*s + 2*n = 96, 3*n + 2*n + 72 = 2*s. Is s not equal to 25?
True
Suppose 3*l - 80 = -0*u + 2*u, -5*u = 5*l + 200. Which is smaller: -41 or u?
-41
Suppose 144 = 5*s + 124. Which is bigger: s or 67?
67
Let f = -399 + 363. Is f greater than -33?
False
Let i = 3.08 - -0.92. Is -0.036 bigger than i?
False
Let o = 877 - 828.3. Let j = o - 49. Is -4 equal to j?
False
Suppose -18*g + 3426 = -1110. Do g and 1 have the same value?
False
Let g be 10/25 + (-149)/385. Let c = g - 85/616. Is c greater than 3?
False
Let n = -0.923 + 0.623. Which is bigger: 0.4 or n?
0.4
Let g be (-4)/6*6/(-4). Let f = -42 - -46. Let r be f + (4 - ((-1932)/(-321) - -2)). Is g less than or equal to r?
False
Suppose 19*y - 6 = 13*y. Let f = -161/8 + 20. Is y greater than or equal to f?
True
Let y = -48 - -31. Let w be (5 - 0 - 27) + 5. Is y != w?
False
Suppose 5*i - 148 = -673. Is -105 >= i?
True
Let i = 6.3 - 3.8. Let n = -2.3 + i. Which is smaller: n or -7/9?
-7/9
Let a(i) = -13*i + 119. Let q be a(9). Let n(h) = -h**2 + h + 2. Let d be n(2). Is q equal to d?
False
Let s be (-1 - (-96364)/(-9))/1. Let j = s + 10721. Let o = j + -508/45. Does o = 3?
False
Let y = 95 + -92. Let h be y/8 - (-5)/40*1. Which is greater: 22 or h?
22
Suppose 3 = 64*y - 61. Which is bigger: y or -6/665?
y
Let p be (-40)/(-5) - (5 - 1). Suppose -p*z - z = 40. Let t be (-4 - -5)*(-10 - -2). Is z > t?
False
Let k(w) = -34*w - 223. Let l be k(-6). Is l < -4?
True
Let w = -3 + -4. Let q = -93 + 83. Let i = w - q. Is -0.1 equal to i?
False
Let v = -2.2 + 2. Let n = v - -1.2. Suppose -4 = 3*j - 5*o, o + 0*o = -2*j + 6. Which is bigger: j or n?
j
Let t = 1041 + -1643. Let p = -10231/17 - t. Which is greater: 1 or p?
1
Let k be (-2)/(-2) - 4 - 76571/(-10659). Let y = 78/19 - k. Is y != 0?
True
Let r = 0.121 + 0.879. Is r > 159?
False
Let w = -20 + 11. Let k be w/3 - 267/(-90). Are -1 and k equal?
False
Let t = 5119 - 5144.53. Let p = t + -0.47. Is p >= 1/4?
False
Let o be (2/(-1))/((-2)/4). Suppose -27*a + 31 = -1 - 103. Which is greater: o or a?
a
Let b(a) = a**3 - 8*a**2 + 13*a + 13. Let k be b(4). Is k < -3/364?
False
Let r be (4/370)/(1/(-38)*1). Let b = -5/646 + -367/119510. Let c = r - b. Do -17 and c have the same value?
False
Suppose 3*f - 5*u = 98, -4*f + 173 + 11 = 4*u. Let z be (-3)/(9/13)*-3. Suppose -2*a + 3*v = -z, 0 = 5*a + v - f. Which is smaller: a or 0?
0
Let u(g) = g**2 - 7*g - 7. Let q be u(4). Is q less than -17?
True
Let x = 7 - 6.1. Let v = -0.86 + x. Which is greater: -1 or v?
v
Let p = 202.4 + -173. Let i = p + -30. Which is bigger: i or 0.04?
0.04
Let y(t) = -3*t - 7*t - 1 + 3*t**2 - 7*t**2. Let j be y(7). Let g = 5873/22 + j. Is g greater than 0?
False
Let g be (-99)/(-51) + 2*-1. Let n = -8974 - -457694/51. Let s = n + g. Which is greater: s or 0.9?
0.9
Suppose -157 = 4*u - 505. Which is greater: 88 or u?
88
Let a(p) = -p - 22. Let o = 97 + -106. Let d be a(o). Which is smaller: d or -3/2?
d
Let a = 156.3 - 157.491. Which is smaller: 1 or a?
a
Let a = 19 + -27. Suppose 18*f = 20*f - 4. Suppose 3*k + 8 = f*k. Is k greater than a?
False
Let q = -1842/91 - 339593/455. Let m = -771 - q. Is -3 less than or equal to m?
False
Let g = -25 + 25. Suppose -4*k + k + 6 = g. Let h = 5 - 1. Is k greater than or equal to h?
False
Suppose -5*z - 5*m - 20 = 0, 0 = -4*z - 0*m - 2*m - 18. Let c(r) = r**2 - 13*r - 5. Let t be c(13). Is t > z?
False
Suppose 4*l + 272 = 3*f, 0 = -11*l + 13*l + 5*f + 136. Is l <= -1?
True
Suppose -8*z = 2765 + 755. Which is smaller: z or -441?
-441
Let a = 4282199/793 - 5400. Let b = -911/93574 - a. Which is bigger: b or 0?
0
Let s be (-4 - -4) + 4 - 4. Suppose -5*n - 35 + 95 = s. Suppose 3*u - n = -u. Do u and 2 have different values?
True
Suppose h = -4*x + 13, 4*h - h - 11 = 2*x. Suppose 4*d - h = -d - 5*b, -2*d + 8 = -4*b. Suppose 4*w - 3*w + d = 0, -5 = 3*l + 4*w. Is 1 at least as big as l?
True
Let f(x) = -x**3 + 4*x**2 + 2*x - 1. Let g be f(0). Which is smaller: -147/8 or g?
-147/8
Suppose 0 = 2*g - 7*g + 5. Suppose -f + 70 = 6*f. Suppose 2 = 4*u - f. Which is greater: u or g?
u
Let w be (7/(-294))/((-1)/20). Let v be (4/(-10))/((-21)/(-5)). Let l = v - w. Is l not equal to -1?
True
Let n = 24 - 23. Suppose 17 = o + n. Suppose 2*u = -2*u - o. Which is bigger: u or -1?
-1
Let m = 4 + -2. Suppose 10 - 8 = -m*a. Which is bigger: a or -3?
a
Suppose 4 = -0*w + w. Suppose 3*b + 7*r - 6 = 3*r, 5*r + w = 2*b. Suppose 4*g - 31 = 5*a - 0*a, -10 = -g + b*a. Is g less than -2/5?
False
Let m(o) = 3*o**2 - 2*o + 5. Let x be m(3). Let h = 27 - x. Let g be -4*(h - 0) - -6. Are g and 1 equal?
False
Let h = 15 - 15. Suppose 0 = -h*b - 2*b. Suppose -5*d + b + 10 = 0. Is 4/7 equal to d?
False
Let f = -8497 - -8496.9. Let a = 28 - -26. Which is bigger: f or a?
a
Suppose 50 = -v + 3*v. Let a = v - 18. Let g(w) = w**3 - 6*w**2 + w. Let j be g(6). Which is smaller: j or a?
j
Let b be -8*((-6)/(-28))/(12/(-21)). Which is smaller: b or 7?
b
Suppose 6 = 5*y + 4*x + 2, 5*x - 5 = -3*y. Is 3/731 > y?
True
Let t(g) = 7*g + 47. Let k be t(-7). Do -4/5 and k have the same value?
False
Let d be (-9)/27 + 22/(-6). Suppose 16 - 2 = -2*y. Is y bigger than d?
False
Let s = 9344/27 + -346. Suppose -g + 5*q + 17 = 0, 2*g + 2*q + 3 + 11 = 0. Let z(f) = -f**2 - 5*f - 7. Let m be z(g). Does m = s?
False
Let f = 0.057 - 11.057. Let b = -11.1 - f. Let n = 1.2 - 0.2. Is n >= b?
True
Suppose 15 = 12*i + 27. Is i at least 14?
False
Suppose 3*z = 2*z + 6. Let l be (-21)/14*4/z. Which is greater: -1/17 or l?
-1/17
Let i = 7 + -4. Suppose 0*p - i*p + 3*x = 405, -4*x = 12. Let o be p/(-8) + 15/20. Which is smaller: 0.1 or o?
0.1
Suppose 0 = x - 43 + 42. Which is smaller: x or 25?
x
Let c(u) =