et v = u - -1649/150. Is v smaller than -0.1?
False
Let l = -27 - -22. Let h(k) = -12*k - 1. Let c be h(l). Suppose 6*y + 1 + c = 0. Which is smaller: y or -1?
y
Let k(g) = 15*g**3 - 3*g**2 - 4. Let l be k(-3). Let q = 13079/30 + l. Which is smaller: q or 1?
q
Let z(w) = -w**3 + 4*w**2 + 4*w + 6. Let a be z(5). Suppose 4*l - 4 = 4*i + l, i + a = 4*l. Let r = 41 + -165/4. Which is smaller: r or i?
i
Let z(h) = -26*h**3 - 6*h - 2. Let m(x) = x. Let t(u) = 4*m(u) + z(u). Let v be t(-1). Is v at least 27?
False
Let m = -1.5 - -2.3. Let v be 770/(-315) - 16/(-6). Which is smaller: v or m?
v
Let h = -0.264 - 1.736. Which is bigger: -4.6 or h?
h
Let v = 13 - 19. Let b be 10/(-3) + (8/v)/2. Is b greater than -5?
True
Let i = 0.8 - 0.7. Let l be 3/(-2) + (-16)/(-6). Is l greater than i?
True
Let t = -5/12 - -3/4. Let s = 1.038 - 0.338. Is t bigger than s?
False
Suppose -6*k = -2*k - 12. Let y(x) be the third derivative of x**6/120 + x**5/60 - x**4/8 + 2*x**2. Let r be y(-2). Which is smaller: k or r?
r
Let w be (-2)/3 - (-2)/3. Suppose -5*l + 2*n - 3*n + 5 = w, -2*n + 10 = l. Suppose -k + 2*c - 6 = 0, 8 = 2*k - l*c + c. Is 0 equal to k?
False
Suppose -3 = -2*x + 1. Let u(r) = 12*r - 24. Let a be u(x). Which is greater: a or -2/187?
a
Let s = 0.0557 + 0.3543. Which is smaller: s or -1/5?
-1/5
Let f = -8.41 - -12.64. Let t = 1.23 - f. Which is bigger: 0.2 or t?
0.2
Let k = -10204 + 928715/91. Let f = -10/7 + k. Which is bigger: f or 1?
1
Let u(p) = -p**3 + 6*p**2 - 6*p. Let v be u(4). Let f = 12 - v. Suppose -4*s = -2*s - 8. Is f bigger than s?
False
Let y be (3/(-4))/(2/(-8)) + -3. Which is smaller: y or -32/41?
-32/41
Let y be 7 - ((-52)/(-8) - (-6)/(-12)). Is -2/129 > y?
False
Let v(k) = -k**3 + 4*k**2 + 3*k. Let o be v(5). Let s = o + 14. Let i be (-4)/6*60/(-16). Is i greater than or equal to s?
False
Let y be (150/(-125))/(21/(-80)). Which is bigger: y or 2?
y
Let o = 265 + -241. Is 24 not equal to o?
False
Let d = -100741/95722 + -1/5038. Which is smaller: d or -1?
d
Let l(h) = -5*h**3 + 10*h**2 - 3*h. Let g(d) = -d**3 + d**2 + 1. Let k(y) = -4*g(y) + l(y). Let u be k(5). Let j be 3/u + 22/(-48). Is 1 bigger than j?
True
Suppose 13691*o + 90 = 13709*o. Let l be 82/18 - (-2)/(-6). Which is smaller: o or l?
l
Let u = 170 - 134. Which is greater: 29 or u?
u
Let r = 5 - 1. Let f = -8844 + 8847. Which is bigger: f or r?
r
Let o(r) = -r**2 + 3*r - 3. Let j be o(3). Let g be 1/j + 138/(-18). Let x be (-3)/(-2)*-3*2. Do x and g have the same value?
False
Let j(u) = -u**2 + 14*u + 31. Let z be j(16). Let w be -66*2/1*z/2. Which is greater: w or 67?
67
Let a be 7/(-14) - 11/2. Let n(c) = c**3 + 6*c**2 - c + 5. Let x be n(a). Which is bigger: x or 14?
14
Let n(l) = -l**3 - 10*l**2 + 2*l - 14. Let b be n(-10). Let y = -37 - b. Which is smaller: -20/9 or y?
y
Suppose -2*b = 4*j - 3*j, -2*b = 4*j. Is 30/29 greater than or equal to j?
True
Let x = -0.21 + 0.2. Let d = -2.01 - x. Suppose -5*p = -2*n - 5, 3*n - 6*n - 10 = -5*p. Which is greater: p or d?
p
Let s be 120/(-84)*77/(-1). Which is bigger: s or 109?
s
Let t be (-7 + 1)/(-3)*(-467)/710. Let n = t + -6/71. Which is bigger: n or -1/5?
-1/5
Suppose 0 = 3*s + 127 - 16. Let d(p) = -16*p + 459. Let r be d(31). Let t = s - r. Do t and 0 have different values?
False
Let d(c) = 2*c + 17. Let x be d(-8). Let b be 300/48 + x/(-4). Is 5 bigger than b?
False
Let b be (-7)/14*(-36)/38034. Which is bigger: 1 or b?
1
Let d be 6/(-315)*17/(-17). Suppose -2*q = -4*p, 11 = 3*p + 3*q + q. Is p equal to d?
False
Let y = 0.44 + -25.44. Let w = 26.4 + y. Let a = w + -1.4. Which is greater: a or -0.04?
a
Let j be (254/(-250) - -1)/(1026/(-270)). Which is smaller: 1 or j?
j
Let b = 262 - 264. Let w = 128/99 - 24/11. Which is smaller: w or b?
b
Suppose 4*x + 0*x = 12. Let v be -3 + (3 - (4 - 9)). Suppose x*s - 2 = v*r, -5*r + 5*s = 12 - 2. Is r at most as big as 5?
True
Suppose -14*w + 27 = 13. Which is smaller: 22/157 or w?
22/157
Let k(r) = 2*r + 17. Let s be k(-11). Let w be 2/5 + 16/10. Suppose 0 = o + 2 + w. Which is smaller: s or o?
s
Let y be 2/(-12)*(-1 + 2). Let w be ((-8)/(-6))/(240/180). Is y greater than w?
False
Let f = 153 - -160. Is f greater than or equal to 314?
False
Let a = -422 - -421.9. Which is smaller: a or -15/2?
-15/2
Let k = -71.141 - -0.141. Let b = -71 - k. Let d be ((-1)/38)/((-1)/(-2)). Is d < b?
True
Let j be 4 - 9 - (-3343)/669. Let a = -106264755 + 1350731299505/12711. Let w = a + j. Which is bigger: -1 or w?
w
Let u = 151/5 - 473/15. Is -12/5 < u?
True
Let d be 14/(-76) + 0 - (-41)/82. Let n be 1*(1 - 2)*-1. Which is smaller: n or d?
d
Let f = -1.54 + 1.24. Which is bigger: -56 or f?
f
Let k = 122 - 49. Let p = -93 + k. Are p and -18 nonequal?
True
Let c = -282.7 + 270. Let h = c + 13. Let k = 0.2 - h. Which is bigger: 0.4 or k?
0.4
Let g = -656 + 656. Is g greater than 21/8?
False
Let t be ((-784)/18 - (-16 - -22)) + -2. Is -52 > t?
False
Suppose 3*w + 0*a - 16 = 2*a, -1 = -a. Suppose 5*b - w = 9. Let q be (-1)/1*(2 - b). Is q at most 2?
True
Let b(u) = -u**2 - 3*u + 3. Let v be b(-4). Let h be 36/(10/5) + 0. Let q = h - 89/5. Which is smaller: q or v?
v
Suppose -4712 = -2*u + 33*u. Which is smaller: u or -153?
-153
Let z(s) = -s**3 + 9*s**2 - 12*s + 7. Let i be z(8). Let g be 16/(-20)*i/(-2). Let n = g - -12. Which is bigger: n or 1/2?
n
Let z = -295184230/62147 - 52950/2143. Let p = z + 4774. Is p <= 0?
True
Let o = -3247/7 + 465. Let f(y) = 10*y - 280. Let n be f(28). Is o at least as big as n?
True
Let m be 1848/(-310) + 6 + 3 + -3. Do m and -1 have the same value?
False
Suppose -5*x = -10*x. Let d(o) = o + 18. Let n be d(-6). Suppose -n*q + 45 = -3*q. Is x greater than q?
False
Let q = 106827/11 + -9721. Which is smaller: q or -10?
-10
Let y be 14540/30*(-24)/(-16). Is y bigger than 728?
False
Let a(j) = 10*j**2 - 13*j + 18. Let o(g) = 7*g**2 - 9*g + 12. Let x(t) = 5*a(t) - 7*o(t). Let q be x(4). Which is greater: 15 or q?
15
Let o be (-1 - 98/44)/5. Let b = -2133/22 + 97. Let a = b + o. Is -1 bigger than a?
False
Let j(m) = -m**3 + m - 59. Let x be j(0). Is x less than or equal to -119/2?
False
Let d(p) = 39 - 12 + 8*p + 24. Let j be d(-8). Let c = 36 - 50. Which is greater: j or c?
j
Let y = 77.7797 + 0.1703. Let g = y - 78. Does -0.5 = g?
False
Suppose 0 = -2*t, 0*m + 1 = m - 3*t. Let x be 1/(1*(-1)/7*m). Suppose f - 4 = y, y = -2*f + 1 + 1. Which is smaller: x or f?
x
Let o = -0.1206 + 0.0206. Which is smaller: o or 0.378?
o
Let d be 1 + -1 + 448176/(-354). Let c = 1266 + d. Are c and 0 non-equal?
True
Let g = 179 - 180. Is g less than 2/303?
True
Let l(i) = i**3 + 4*i**2 + 3*i + 2. Let r be l(-3). Suppose -w = r*w - 3. Is w <= 5/8?
False
Let j(d) = -d**3 + 41*d**2 - 80*d - 14. Let z be j(39). Which is bigger: -90 or z?
-90
Let z = 449 + -461. Which is smaller: -87/8 or z?
z
Let k be (-1)/((-1 + -1)/(-2)). Suppose -2*q + 13 = -6*q - 5*i, -3*q = 5*i + 16. Suppose -q*v + 4*m - 5 = -2*v, 0 = 4*v + 4*m. Are v and k unequal?
False
Suppose -2 = s - 7. Suppose f - 3 = -3*b, -s*b = -b + 5*f - 15. Suppose 4*o - 20 = 0, 5*o = 5*z - b*o + 40. Is z less than or equal to -1?
True
Let z be (-2)/(-3) + -1 + 1. Suppose -8*q + 3*q - 220 = -v, 0 = -q + 5*v - 44. Let h be 1/(5/((-40)/q)). Which is greater: z or h?
z
Let x(k) = -367*k + 4351. Let z be x(12). Let o = -118 + 64. Which is smaller: z or o?
o
Let s be 90/14 + (-8)/(-14). Suppose -5*u + 20 = -s*u. Let j be (-4)/u*(-3 - -18). Is 6 != j?
False
Let n = -0.442 - -0.242. Is 5.63 at least n?
True
Suppose f = 5*f. Let z be 0 - f - (-6)/(-159). Let o = -64 - -63. Which is greater: z or o?
z
Let l = 451 + -446. Is l not equal to 7?
True
Let f = -201 - -94. Let y = -112 - f. Is y greater than or equal to 0.02?
False
Let y be (-1)/(4/4) + 0. Suppose 5*a = 3*h - 14, 4 = -3*h - 4*a + 9. Suppose -h*r = -2*r + 1. Is y > r?
False
Let f be (324/112 + -3)/((-5)/20). Is f != 3/2?
True
Let t = 1929 + -1926. Is t at most 126?
True
Let w = 8808/7 + -1256. Which is smaller: 2 or w?
2
Let r = 2035 + -1075. Is 1 at most as big as r?
True
Let p = 542 + -8122/15. Let l be (-4)/(-12)*(-4 - -4). Which is smaller: p or l?
l
Let z = -4 - -71. Suppose 5*i + 0*i = 4*l + 113, 3*i - z = 2*l. Let s be 1 + 2 - 70/i. Which is greater: 1 or s?
1
Let m = -329 + 328.6. Which is sma