Let u(d) = 3*d**2 + 41*d + 70. Let t be u(-7). Which is smaller: t or -20?
t
Suppose -22*z + 798 = 3460. Let a = z + 114. Is a greater than -20?
True
Let r = -170 + 310. Let n = 139 - r. Let f be 18/(-4)*7/(-14). Which is smaller: f or n?
n
Let o = 11975.9 + -11976. Which is greater: 150 or o?
150
Let m = -2.9 + 1.5. Let k = -403.1 - -403. Which is greater: k or m?
k
Let b be (4/18)/((-375332)/(-51912)). Which is smaller: 1 or b?
b
Let d = 57 - 47. Let y be (d/(-6) + -1)*282/4. Let g be 0 + (-2)/(-6) + y/132. Do -1 and g have different values?
True
Let z(w) = 5*w**2 + 13*w + 14. Let q be z(-5). Let b = 46 + q. Is b < 121?
True
Suppose 0 = 25*k - 15*k - 5880. Let a = -587 + k. Which is smaller: a or -2/17?
-2/17
Let b = -1/525 - -3181/16275. Suppose 4*w = -0*w + 8. Let t be 2/(-4)*1*w. Is b bigger than t?
True
Let b = 2/99 - -20/99. Let k be -6*(138/(-27) + 4). Let z = -22/3 + k. Which is greater: z or b?
b
Let l be (9/2636)/(96/64). Is 1 less than l?
False
Let q be 0 + (-3)/((-9)/(-6)). Let t = 64367/5 - 12875. Which is smaller: t or q?
q
Let w be ((-14)/(-4) - 9)*-20*1. Let u = w + -204. Which is smaller: u or -95?
-95
Let d(r) = -135*r + 1780. Let h be d(-6). Which is bigger: 2591 or h?
2591
Suppose 77*j = 70*j + 1568. Suppose -37*k - 368 = j. Which is greater: -35 or k?
k
Let x be (-12)/(4752/69971) + -2 - (-1)/4. Which is greater: x or -177?
-177
Suppose -31*r - n = -30*r + 28, -2*r = 5*n + 71. Let w = r + 22. Which is smaller: w or -15/31?
w
Let c = -11/11647 - -12474344/430939. Which is smaller: c or 30?
c
Let l be 3 - (-7 - 157) - (12 - 17). Is -12 less than l?
True
Let p(r) = -r**3 + 40*r**2 - 76*r - 13. Let v be p(38). Is 52 at most as big as v?
False
Let c(i) = i**3 - 15*i**2 + 10*i - 3. Let y(j) = -3*j**3 + 45*j**2 - 31*j + 9. Let m(d) = 11*c(d) + 4*y(d). Let s be m(14). Let q = 8 + s. Is 11 less than q?
False
Let w be (572/(-110))/26 - (-6)/5. Which is bigger: -11/331 or w?
w
Let t = 4815 - 3881. Are t and -1 nonequal?
True
Let u = -777219038/1275 - -609584. Let d = u + -12/25. Do d and 1/2 have different values?
True
Let l be (640/6)/(2/(-72)). Let a be ((-1593)/l)/(6/8). Let o = -3/64 - a. Is -3/4 less than o?
True
Let p(i) = -2*i**2 + 17*i - 90. Let w be p(12). Let d = 104 + w. Are -348/5 and d nonequal?
True
Let r(y) = 1868*y - 1783. Let l be r(3). Is 3820 equal to l?
False
Let b(d) = -6*d**2 + 32*d + 7. Let j be b(5). Let n = 35 + -61. Let s = n + 43. Is j > s?
False
Let n = 12150 + -12110. Is n not equal to 1?
True
Let b = 5186 - 4388. Which is smaller: b or -5?
-5
Let s(a) = a**2 - 14*a - 27. Let w be s(15). Let b = w - -32. Suppose -2*d = -f + 6 - 22, 4*d = -4*f + b. Is 8 at least as big as d?
True
Let m = 114/11 - 966/55. Let d = -257/10 - m. Which is greater: -19 or d?
d
Suppose -10*l = d - 15*l + 71, -3*l + 142 = -2*d. Which is smaller: d or -1369/19?
-1369/19
Let r be (5/75)/(66/(-4785)). Which is bigger: r or -5?
r
Let j = 4343 + -800. Which is smaller: 3545 or j?
j
Let z be (-48)/27 - -2 - 32964/108. Which is smaller: -304 or z?
z
Let t(u) = -3*u**2 + 6*u + 27. Let y be t(7). Let o = 690/17 - 8149/68. Is o bigger than y?
False
Let m(f) = 23*f + 126. Let s be m(-5). Suppose -s*t = u - 10*t + 10, 3*u + 36 = -t. Let k = -20 - -8. Is k != u?
True
Let a = 90 + -86. Suppose -24 = -6*b + 4*b. Let x be 10/(-15) - a/b. Is 2/157 at most as big as x?
False
Suppose -j - 2*t + 29 = 0, -25*t = -j - 20*t + 1. Suppose -j = 3*a - 3*p, 11*p - 8*p - 6 = -2*a. Which is bigger: -9/5 or a?
-9/5
Let f = 247.0059 + -0.0059. Let z = 111 - f. Is -1 less than or equal to z?
False
Suppose 7*w = 30 + 12. Suppose w*h - 27 = 9. Is 13 > h?
True
Let m be 3 + 1/(4/(-8)). Suppose 29 = 5*c - 41. Let j be 9/24*4/c. Which is bigger: m or j?
m
Suppose u = -u - 2, -3*u = -3*p + 84. Let i(a) = -a**3 + a**2 + a + 4. Let m be i(0). Suppose o - d + 18 = m*d, d - p = 2*o. Which is bigger: -14 or o?
o
Suppose -6*d + 7*d + 2*n - 45 = 0, 3*d - 130 = -5*n. Suppose -158 + d = -3*p. Is 37 greater than or equal to p?
False
Let g = -49.5 + 48.18. Which is smaller: -0.01 or g?
g
Let h be (-72)/11*10/(-99)*6279/(-805). Which is smaller: h or -4?
h
Let j = 5567 + -1235873/222. Which is smaller: j or -1?
-1
Let n = 970 + -985. Let a = -0.09 - -0.09. Which is smaller: n or a?
n
Let i = -7349 + 7385. Let q(v) = -11*v - 3. Let p(x) = -x - 1. Let o(t) = -6*p(t) + q(t). Let k be o(-7). Is k smaller than i?
False
Let k = -3615 - -2971. Is k greater than -0.05?
False
Let d = 9146112206187/1589 - 5755892143. Let n = d - -1802/7. Is n at least as big as 1?
False
Let a = 2/9733 - 389422/496383. Which is smaller: 0 or a?
a
Let n = 10383 + -10817. Is n at least -452?
True
Let f = -431087/13 - -32825. Is f > -335?
False
Let v be ((-2)/(-8))/(11*(-24)/(-103664)). Which is bigger: v or 97?
v
Suppose 4*w = -2*l + 60, 4*l = -2*w - 0 + 18. Let v(f) = -f**2 - 3*f + 5. Let g be v(-4). Is w at least as big as g?
True
Let l(g) = -14*g**2 - 3*g + 39. Let o be l(-17). Let z be ((-1)/5)/(o/(-215)). Which is smaller: 0 or z?
z
Let i(a) = -2*a. Let y be i(-2). Suppose -417 = 3*u - y*z, u + 146 = -z - 0*z. Let c = u + 134. Is c bigger than 0.07?
False
Let m be (-36)/24*(-422)/(-3). Let i = 213 + m. Which is bigger: i or 30/11?
30/11
Let j(c) = c**3 - 35*c**2 + 8*c - 56. Let a be j(36). Is 1529 less than a?
False
Let g = 1539.8 - 1543.8. Let l = -8 + 12. Is g != l?
True
Suppose 0 = -111*l + 195 - 306. Which is smaller: l or 2/4883?
l
Let x = -0.8 - 3.2. Let y = 766 - 13783/18. Let u = y - -7/18. Which is smaller: u or x?
x
Suppose 0 = 119*h - 98*h - 20706. Is h less than 986?
False
Let x(g) = -g**2 + 70*g + 872. Let h be x(62). Which is smaller: 1367 or h?
1367
Let d be (1668*(-12)/60)/(-4 - 74/(-20)). Which is greater: d or -1/7?
d
Let o be 58/3*27/72. Let u = 133 - 171. Let f = 45 + u. Which is greater: o or f?
o
Let d be (6/(-5))/(15/(-50)). Suppose 0 = -5*g - 7*a + d*a + 635, 254 = 2*g + a. Which is bigger: g or 125?
g
Let p = 3757 + -3394. Which is smaller: 365 or p?
p
Suppose -7750 = -41*n - 21*n. Do n and 5.9 have different values?
True
Let d be -3 + 0/2 + 28. Let i(c) = -c**2 + 2*c + 316. Let o be i(-17). Is d less than o?
False
Let l(q) = 41*q - 158. Let f be l(4). Let g(z) = z**2 - 13*z + 62. Let a be g(f). Which is greater: 18 or a?
a
Let w = 7682 - 7559. Let k(f) = -123*f**3 - 2*f**2 - f. Let y be k(-1). Does y = w?
False
Let s(b) = -b**3 - 3*b**2 - 223*b - 3298. Let g be s(-15). Is 2744 equal to g?
False
Let r(h) = -h**2 + 21*h + 18. Let p = -30 + 52. Let n be r(p). Which is smaller: n or -8/3?
n
Let q be (2/1955)/(-3 + 5 + 94/10). Does 1 = q?
False
Let s(w) = -13*w + 52. Suppose -3*q - 1 = l + 7, 2*l - 24 = 4*q. Let u be s(l). Which is smaller: 4/37 or u?
u
Let p(r) = 19*r**2 + 973*r + 72. Let f be p(-52). Is f equal to 852?
True
Let h be 68/150 - (-2)/(-6). Suppose 0 = 9*p - 14*p - 50. Let w be (-52)/182 - p/(-14). Which is smaller: w or h?
w
Let l(u) = u - 2. Let c be l(10). Let o(h) = 8 - 6*h + c*h - h. Let f be o(-10). Is 2 greater than f?
True
Let v be (-10 - -6)/(-1 + -2 + (8 - 1)). Is -1/22992 > v?
True
Let c(n) = n**3 - 3*n**2 - 12*n + 13. Let s be c(6). Suppose 13*q = s - 231. Let k be 1/(-2 + (-46)/(-24)). Are q and k nonequal?
True
Let b be 3*(3 + 11/(-3)). Let g = 124.122 - 124. Let w = 13.122 - g. Which is greater: b or w?
w
Let i = -0.1 - -0.1. Let l = 0.159 + -12.559. Let k = 13 + l. Which is smaller: k or i?
i
Let z be 293/(-3223) + 25834/(-176). Is -146 bigger than z?
True
Let z = -188 - -190. Suppose -4*m + 122 = -z*q, 5*q + 4*m + 235 = -0*q. Is -51 less than q?
False
Let o be ((-321)/(-6))/((-5)/(-10)). Let m = 105 - o. Let p be (m/(-4) - (-6)/12)/1. Which is smaller: 1/57 or p?
1/57
Suppose 70 = 5*u + 2*o + 3*o, -3*u + 2*o = -37. Suppose -2*d = -u*d + 363. Suppose -13 + d = 5*k. Is k less than or equal to 21/4?
True
Suppose -1171 = -o + 5*a, -12*o + 9*o + 3585 = 3*a. Do 1189 and o have the same value?
False
Let l be (14 - 6)/(3/45) - -2. Let b = 118 - l. Which is smaller: b or -7?
-7
Let i = 1.384 + -0.784. Which is greater: i or 46?
46
Let x(p) = -2946*p**2 + 3*p + 4. Let k be x(-1). Let d = k + 23527/8. Does -5 = d?
False
Let h be (-1 - -6)*-1 - (-897)/182. Let p = h - -109/1134. Is -1 != p?
True
Suppose -j + 1 = -2*j - 5*z, -5*z = 2*j + 2. Let k be 2/2*j - -4. 