uppose -18*v + 4*v = 7*v + 26565. Is -1267 less than v?
True
Let z be (-10 + 17)*(-408)/(-14). Let b = -169 + z. Which is smaller: 37 or b?
b
Suppose 0 = -s + 34*c - 29*c + 67, -s + 2*c + 64 = 0. Suppose 0*v + 61 = j + 2*v, -4*j + 264 = -2*v. Is s at most j?
True
Let s = -17868 - -17186. Are s and -2733/4 nonequal?
True
Let q(g) = -8*g**3 + 2*g**2 + g + 8. Let w be q(6). Are w and -1640 non-equal?
True
Let z be (6 + -7)*96/204. Let a = 0.87 - 1.07. Which is smaller: a or z?
z
Let c be 1/(-2) + 22/4. Suppose 5*x + 35 = c*n, 3*n + 2*x = 7*n - 24. Suppose 0 = i + 4*k + 7 + 13, n*k = -4*i - 25. Which is bigger: i or -2/121?
i
Let v = 1104 + -1105.9. Is -0.07 greater than v?
True
Suppose 0 = -l - 3*l + 12. Let i be 76/320*82 + -16 - (-5)/(-50). Which is smaller: l or i?
l
Let g = 542657/7 - 77394. Is 129 <= g?
False
Let x = -622 - -665. Let f(m) = 2*m - 1. Let c be f(1). Suppose 2*h - x = -c. Is h at least as big as 20?
True
Let a be 0 - -1 - 23708/(-78). Let n = a - 305. Let x = 44 + -45. Which is smaller: n or x?
x
Let m = 1/20560 - -12761/1829840. Which is bigger: m or 1?
1
Suppose 9*v + 30*v = -34*v - 1022. Which is smaller: v or -53?
-53
Let c = 1833 + -1789. Let r be -3 - 5/(20/64). Let o = r - -62. Is c < o?
False
Let x = -847/104 + -7/312. Let n be (-36)/(-72) - ((-301)/(-6))/7. Let t = n - x. Do t and 1 have the same value?
False
Let y = 53.017 - 0.017. Let g = -1678.7 - -1679. Is g < y?
True
Let d = 78.64 + -403.64. Do d and 2 have different values?
True
Let q(x) = 3*x + x**2 + 8*x - 6 + 7 + 21. Let h be q(-11). Suppose 1 = -m - 1, h = 4*w - m. Which is smaller: 2/7 or w?
2/7
Let f(p) = -9*p**2 + 8*p**2 - 19 + 10*p - 4*p. Let o be f(4). Suppose 0*y + 5*y + 65 = 0. Do o and y have different values?
True
Suppose 142 - 46 = 2*u. Suppose 13*a + u = 10*a. Let t be a/(-24)*(2 - (-409)/(-203)). Is 0 > t?
True
Let l(r) = -r**2 + r + 4. Let t be l(2). Suppose -2*m = -4*b + 16, t*b = -0*b - 2*m + 8. Let f be ((-58)/b)/((-2)/(20/(-5))). Is 0 greater than or equal to f?
True
Let a = 3419 + -10260. Let w = a - -3769393/551. Which is smaller: 1 or w?
w
Let m = 1296797/1671 - -152/557. Which is bigger: -2/5 or m?
m
Let m be -100*(396/(-450))/(2/(-10)). Let o = -413 - m. Is 23 equal to o?
False
Let a = -214577 + 214520. Let q be -1 - 0 - (-562)/(-10). Which is smaller: a or q?
q
Let i(c) = 3*c - 140. Let h be i(39). Which is bigger: h or -116/5?
h
Let v = 43930 + -43739. Which is bigger: 153 or v?
v
Let c be 35/49 - (2 + 2727/(-63)). Are c and 547/13 nonequal?
True
Let r be 160/(-3)*(-114)/95. Let v = -59 - -86. Let c = v - r. Which is smaller: -38 or c?
-38
Let g(u) = -3*u**3 + 265*u**2 - 86*u - 163. Let z be g(88). Suppose 0 = -4*h - 0*h + 40. Suppose 2*i + q - 23 = 12, -h = -i + 2*q. Which is bigger: z or i?
i
Suppose 0*r + o + 2 = 2*r, -3*r + 5*o = -3. Let n be 78/65*20/(-6). Let c be 6/n + 1245/870. Is c greater than r?
False
Let h be (-483)/(-4018) + ((-341)/154)/31. Let x(q) = -q + 12. Let z be x(12). Is h at most as big as z?
False
Let y be (-51984)/41667 - 2/43. Are y and 0 nonequal?
True
Let d = 57240343/929 + -61615. Is -1 > d?
False
Suppose 0 = 5*z + h - 5, -3*z - z = 3*h - 15. Let w be (1 + z)*(17 - 20). Which is bigger: 0 or w?
0
Let a = 18.8 - -108.2. Let w = -127.43 + a. Which is smaller: 0 or w?
w
Let u(i) = -i**3 - 8*i**2 + 5. Let c be u(-8). Let n be (c - (-34)/(-8))*-4. Which is smaller: n or -11/7?
n
Suppose -v + 0*f = -3*f + 7, -3*v + 2*f = -14. Let a be (66/(-693))/(v/(-14)). Is a not equal to 14?
True
Suppose -63*a = -66*a - 5*l + 1952, -2*a + 5*l = -1268. Let s = 650 - a. Let j(c) = 3*c - 7. Let v be j(6). Is v at most s?
False
Let f(u) = u**3 + 9*u**2 + 5*u - 20. Let z be f(-8). Suppose 3*p - z*r = -0*p + 24, 5*p - 40 = 2*r. Let j be (-1)/7 - (-430)/70. Which is smaller: p or j?
j
Let j = -16.5 - -785.5. Let m = 767 - j. Are m and -294 nonequal?
True
Let c = 5 + -4. Suppose -4*d - 14 = -v + 6, 0 = 2*d + 2*v + 20. Let o be -2*(2 + d/4). Is c < o?
False
Let q(f) = 36*f - 112. Let u be q(3). Which is smaller: u or -689?
-689
Let l(x) = -5*x**3 - 25*x**2 - 35*x - 5. Let o(a) = -4*a**3 - 23*a**2 - 34*a - 4. Let v(c) = -5*l(c) + 6*o(c). Let b be v(15). Which is smaller: 106/7 or b?
106/7
Let h be (-861)/(-7) + (-9 - -1). Is h at least 8?
True
Let q be (1/(-11))/((-50)/370). Let w = q + -3/11. Let s be 1 + 38 - -1 - 2. Which is bigger: s or w?
s
Let a be ((-68)/(-10))/(2/20). Let k be ((-94)/(-47))/(4/90). Let n = k - a. Is n less than -22?
True
Let c(z) = -z**2 - 8*z + 57. Let f be c(5). Let d be f/10 + 4/((-120)/(-54)). Let w = 283/10 + -28. Which is smaller: w or d?
w
Suppose -33*y + 63 = -12*y. Is y less than 41/10?
True
Let r = -186 + 276. Suppose 8*g - r = -2*g. Suppose -3*h - 2*p + 2 = g, 8 = 2*h - 5*p. Is -5/9 less than or equal to h?
False
Let x(v) = 10*v + 31. Let z be x(3). Suppose -5*o = -2*p + 61, 3*p + z = 4*o + 170. Which is smaller: p or 44?
p
Let y be (-5)/(-2)*402/52595*1. Let x = -7 + 8. Is y at least x?
False
Suppose 2*b + 9*b = 3014. Let o = b + -2512/9. Let y = 80 + -86. Is y bigger than o?
False
Let t be (2 + 62/(-30))*(-28070)/315*-5. Which is greater: -29 or t?
-29
Suppose y - 12*g = -10*g + 134, -426 = -3*y - 2*g. Are y and 139 nonequal?
True
Let w = 9.8384 - -0.1616. Which is smaller: w or -214?
-214
Suppose -33 = 3*o - 39, 0 = -3*c + o - 2. Is -12/487 less than or equal to c?
True
Let w be (-5106)/10 - 174/(-290). Let o be (10 - 4) + 3056/w. Is o <= 0?
False
Let b = -71963 - -645409/9. Is -252 at least as big as b?
False
Let y(t) be the second derivative of -t**6/144 - t**5/120 + t**4/2 + 17*t. Let s(w) be the third derivative of y(w). Let h be s(-4). Is 2/5 > h?
False
Let k be (-46)/(-2) - 36465/1573. Which is smaller: -0.4355 or k?
-0.4355
Let s(v) = 3 - v + 2 + 2*v + 0. Let n be s(6). Suppose 0 = -22*a + 31*a - 108. Is a greater than n?
True
Suppose 3*h + 6*j = 3*j, -5*j = -3*h + 32. Suppose 10 = -2*d, -5*d = -2*i + h*i + 69. Let k = 22 + i. Which is smaller: -2/15 or k?
-2/15
Let r be 3 - (36/(-4) - -3). Let v be 6/r + (-87)/9. Let c = -2531 + 2529. Which is smaller: c or v?
v
Let c(s) = -s - 16. Let u = 105 + -15. Let t = -101 + u. Let q be c(t). Are q and -4 nonequal?
True
Let o = -90034 + 89998. Let l be 435/(-12) + 1/4. Is l at most as big as o?
True
Let r = 1.48 - 0.08. Let b = 63.29 + -62.09. Let x = b - r. Is x at least -4?
True
Let h(d) = -7 + 19 + 3*d + 27 - 10 + 11. Let q be h(-23). Is q at least 2?
False
Let r = 28/2027 + -12302/10135. Let v be 3/(-1)*122/(-6). Let f = v - 917/15. Is r at most f?
True
Let t = 370.6 - 603.48. Let j = t - -233. Do j and 5 have different values?
True
Let c(p) = -4*p + 81. Let h be c(21). Let o be 5*3/(-10)*2/h. Let k = -6 - -5.9. Does k = o?
False
Let w = -97 + 104. Let x be (-2)/2*(w + 69). Let v = x + 88. Which is smaller: v or 0.2?
0.2
Let p = -155 - -164. Let g be p/(-12) - 1605/(-12). Is g at most as big as 133?
True
Let v = 913 + -912.67. Are v and 17 equal?
False
Let i(l) = 656*l - 656. Let m be i(1). Are m and 57/44 non-equal?
True
Let s = 766.66 + -43.66. Is 5 bigger than s?
False
Let m(q) = 24*q - 3. Let y be m(2). Suppose 5*d - 25 = y. Let t(j) = -j**3 - 60*j**2 - 199*j - 4799. Let h be t(-58). Are d and h equal?
False
Let g be (-94751)/12754 - -7 - -9*(-4)/(-84). Which is smaller: -1 or g?
-1
Let u be 6246/(-15)*(-465)/(-279). Which is smaller: -701 or u?
-701
Let h = 1350 + -1350. Which is greater: h or 7/561?
7/561
Let n = 476.9 - 503. Let z = n + 25.1. Is z <= -37?
False
Suppose -8*i + 5*i + g = -61, i + 2*g = 18. Let f(c) = 24 - 54 + 4*c + i. Let h be f(-10). Which is greater: h or -49?
-49
Let w(t) = -4*t**2 + 4*t - 1. Let z be w(3). Suppose -20*i + 17*i - 69 = 0. Let d = z - i. Which is greater: d or -5?
d
Let s be 1*(-7294)/(-70) + -10. Are 94 and s unequal?
True
Suppose 3*w = -5*z + 606, 5*z + 4*w = 6*w + 596. Let c(k) = -4*k**2 + 68*k - 48. Let f be c(14). Are z and f non-equal?
False
Let w = -14216 + 14216.1. Let u = 7 - 7.04. Is u at least as big as w?
False
Let l(n) = -n**3 - n**2 - 2*n + 7. Suppose -3*d = -6*d. Let j be l(d). Suppose 0 = -3*b + j*b. Is b at least -2/9?
True
Let n be 5 + -14 - (-4142)/(-171). Which is smaller: -32 or n?
n
Suppose 0 = -168*y - 142363 + 19723. Which is smaller: y or -1/3?
y
Let r be (-6)/8*216/162. Is r