. Let y be p(-6). Do w and y have different values?
True
Suppose 4*n - 23 + 43 = 0, -6*z = -5*n - 415. Which is smaller: z or 105?
z
Suppose 0 = 7*l - 10*l - 18. Let c be 1 + 13 - (-6 - l). Suppose 2*z = -12*z + c. Which is greater: z or -8/17?
z
Let h = -154 + 137. Let n(t) = 4*t - 87. Let j be n(h). Is 0.1 at least as big as j?
True
Let z(d) = 2*d**3 - 20*d**2 - 2*d + 28. Let h be z(10). Suppose 4*o - 2*f - 10 = 0, o - h = -4*o + f. Do 4/45 and o have the same value?
False
Suppose 7 = 3*t + 1. Suppose -t*x + 7 = -5*h, -h - 5*x - 32 = 3*h. Let a be 84/(-203)*(-1)/h. Is 1 != a?
True
Let i(j) = 8*j + 1. Let u be i(-2). Let b = -3/62374 + -2931569/187122. Which is bigger: b or u?
u
Let k = -52712427173/7895719 - 18/607363. Let m = 6680 + k. Which is greater: 5 or m?
5
Let n be (10/12 - 3) + (-1)/(-6). Let w be (n - -3)/((-2)/30). Let a be (-20)/w*3/14. Which is smaller: -15 or a?
-15
Let h = -432.3 + 431. Which is bigger: h or -3/2?
h
Let f = 289.516 + -289. Let z = f + 0.094. Let o = -0.51 + z. Which is smaller: -0.1 or o?
-0.1
Let z(d) = -19*d**2 + 565*d - 26. Let n be z(8). Is 3278 smaller than n?
False
Let o(k) = -21*k**3 - 2*k - 26*k**3 + 3*k**2 - 7 + 4*k + 46*k**3. Let i be o(3). Let l = -69 - -73. Is i > l?
False
Suppose -851 - 10626 = 95*p + 404*p. Which is bigger: p or -27?
p
Let k = -1748.1 - -1700.1. Which is smaller: k or 191?
k
Suppose -1728 = 3*b + 3*t - 1752, -21 = -3*b - 4*t. Which is smaller: b or 248/23?
248/23
Let j(l) = -8*l + 53. Let r be j(7). Let m be 6613/(-68) - r/(1 + 11). Which is smaller: -96 or m?
m
Let b(f) = -f - 14. Let x be b(-14). Suppose 0*t = -t + 2*q - 1, x = 4*t - 4*q. Is 2/811 > t?
False
Let f(n) = -36*n - 1. Let q be f(1). Let c be (3/(-2))/(-4 + (-7)/(-2)). Suppose 5*b - c*o = -185, 7*o = -5*b + 2*o - 185. Is q less than or equal to b?
True
Suppose l + 0*w - 7 = -w, 5*w = -2*l + 29. Suppose -11 = 5*x - 16. Let t be -5*((-6)/(-10) - x). Is l >= t?
True
Let f = 2534.9 + -2535. Is -46.3 less than or equal to f?
True
Let j be -12 - -230*(-22)/220. Is -34 less than j?
False
Let u be (-13)/(-13) + 12/(-10). Let b = 15.13 - -122.87. Which is bigger: b or u?
b
Suppose 18015 = 23*n - 35363 - 10401. Is 1 > n?
False
Let w(k) = 56*k**2 + 0*k - 52*k**2 + 6 - 5*k. Let v be w(2). Is 18 at least v?
True
Let g = 121136 - 655709166/5413. Is g less than 1?
True
Suppose 5*l + 3 = -f - 6, -2*l - 4 = 0. Let w(z) = -247*z + 123*z + 2 + 116*z. Let k be w(f). Does -8 = k?
False
Suppose 5*r + a + 500 = 0, -3*r - a + 4*a = 282. Let y = r - -160. Let f be y/189 + 34/(-119). Which is smaller: -1 or f?
-1
Let s(r) = 3*r**2 - 5*r - 49. Let a be s(-7). Suppose -5*z = a + 302. Which is greater: z or -2/5?
-2/5
Suppose 33*m + 16 = 29*m. Let j be (m/6)/(12/(-234)). Suppose 12*w - j*w - 14 = 0. Which is smaller: -13 or w?
w
Let c = 3558.24 - 3523.24. Suppose 3*u + 9 = -2*p + 4, -3 = 4*p - u. Which is smaller: c or p?
p
Let h = -23/9 + 773/306. Let c = 252 + -245. Let f(j) = -j**2 + 9*j - 13. Let l be f(c). Which is bigger: h or l?
l
Let a = 7/3295968 - 1928157863/7808148192. Let w = a - -12/103. Do w and 1 have different values?
True
Let u = 4217 - 4721. Is -505 bigger than u?
False
Let p(b) = b**2 - 5*b - 72. Let o be p(11). Let c(h) = -11 - 6*h + 4*h + 0*h. Let r be c(o). Which is bigger: 3/13 or r?
r
Let b(y) = -y**3 + 16*y**2 + 35*y + 23. Let h be b(18). Suppose 4*z = -3*u + 300 + 33, 0 = -u + h*z + 111. Is u less than 112?
True
Suppose 2*n - 10 = 4*d, -1 - 4 = d - n. Is d at least as big as 1/109?
False
Suppose 271*w - 274*w + 4*l + 1319 = 0, 4*w = l + 1750. Is w less than 437?
False
Let r be (-1 + (-4)/12)*30/370. Let h = r + 139/259. Let v = -2 - -3. Which is bigger: v or h?
v
Let z = -7632 - -7966. Is z < 1669/5?
False
Let h be (-1746)/(-510)*(-8 - -3). Which is bigger: h or -18?
h
Let r(b) = -64*b**3 - 4*b**2 + 5. Let j be r(4). Let c = j + 2897. Let t = c - -36476/29. Which is smaller: t or 0?
t
Let b(m) = -10*m + 174. Let l be b(14). Let u be 30/34 + 4/l. Is u bigger than -29?
True
Let d be (-20)/25 + (-3)/(824580/(-219928)). Is 0 greater than d?
False
Let d = 964.0782 - 964. Let f = 0.0218 + d. Does 0.03 = f?
False
Let q = 219 + -217. Let f be (-10)/q - 1463/(-297). Let v = 7 - 7. Is f less than v?
True
Suppose -32 = 4*z - k, -2*k = -2*z - 32 + 22. Which is smaller: z or 11?
z
Let z(b) = b**2 - 12*b + 2. Let d be z(12). Suppose 0 = o - n + 7, d*n + 33 = -3*o + n. Let x be (5 - -5)*5/o. Which is smaller: -6 or x?
-6
Suppose 178*v - 181*v = 3*d + 3756, -1276 = d - 5*v. Which is smaller: d or -1253?
d
Let w(v) = -13*v**2 - 636*v + 48. Let l be w(-49). Which is smaller: -2/29583 or l?
l
Let n = 413.63 + -419. Let q = -5.173 - n. Are 0 and q nonequal?
True
Let w be (50/(-8))/((6/(-143))/3). Let x = -447 + w. Suppose 2*r - 4*u + 18 = 0, -u - 4*u + 24 = -r. Which is smaller: x or r?
x
Let s be 0*(-11)/220*-10. Which is smaller: s or 11/293?
s
Suppose 4*f - f = -15. Suppose z - 8 = -2*p + 27, -4*z = 2*p - 116. Let t be (z/9)/((-9)/(-6)). Which is greater: t or f?
t
Let s be 0/(-4*2/4). Let l = -512/8815 + 2/215. Let k = -68/287 + l. Is k less than s?
True
Let n = 3753 + -2512. Which is greater: 1244 or n?
1244
Let i(s) = 2*s**3 + 122*s**2 - 124*s + 24. Let t be i(-62). Which is smaller: 384/17 or t?
384/17
Suppose 16*p + p = 7*p + 7*p. Which is bigger: p or -8/1217?
p
Let z(n) = 373*n**2 - 191*n + 16. Let f be z(2). Is 1126 bigger than f?
False
Let z = -366.4 + 366. Let k = 6 + -5. Let a be (-6 - -3) + (3 - k). Which is greater: a or z?
z
Let o be 4/10 + (4270849/338965 - 13). Is 1 at most as big as o?
False
Suppose -522 = 279*c - 261*c. Let v be (-4 - 138/(-33)) + (-321)/11. Is v > c?
False
Let w(v) = 13*v + 171. Let t be w(-13). Let c(o) = 2*o - 5. Let s be c(t). Is 2/267 at most s?
False
Let w be 10/(-8) + (-4531)/(-92). Let n = w + -95/2. Let b = 0.7 - 2.7. Is b != n?
True
Let f(d) = -19*d - 968. Let x be f(-51). Which is smaller: 3/71 or x?
3/71
Let c be 2/(-5) + 13/(-5). Let t be c + (-1 - (1 + -2)). Let n be (-3 - 7/(-3)) + -1 + (-345)/1035. Which is greater: t or n?
n
Let b be 0 + 1 + (-3 - -2) + 0. Suppose l = -3*l - p + 11, 4*l + 5*p - 7 = b. Let n be (-1 - 1/l)/(-1) + -4. Which is smaller: n or -3?
-3
Let a(r) = r - 3. Let d be a(6). Let f = 49474/15 + -3290. Let n = -82/15 + f. Is d less than n?
False
Suppose -400 = -5*n + 2*b - 389, 10 = 4*n - 2*b. Is 1/3192 smaller than n?
True
Let o be 0*4/8 - -2 - 2. Which is greater: o or -1/289?
o
Let q = -3 + 3. Suppose -s - 4*s = -q*s. Let k be s*(20/(-6) - -3) + 0. Is 2/43 smaller than k?
False
Suppose -2*w = -3*t + 1263, -4*w - 431 = -13*t + 12*t. Is t greater than 0?
True
Let i = 4520 + -4538. Which is smaller: i or -23?
-23
Let l = 1 + 11. Suppose l = -4*k + 4, -8 = -2*b + 3*k. Let h = -114 + 10376/91. Which is greater: h or b?
b
Let c(t) = 70*t**2 - 27*t + 6. Let u(d) = -18*d**2 - d + 1. Let r(l) = c(l) + 4*u(l). Let z = 19 + -35. Let s be r(z). Which is smaller: -5 or s?
s
Let x = 350 - 619. Let s = x - -269.1. Are -93 and s nonequal?
True
Let w = -49410193/54 + 914936. Let c = -135/2 - w. Is 0 != c?
True
Let d = 731/2583 - -1/369. Suppose -5*a - 27 = 2*b - 7, 3*a + 3 = -3*b. Let k = 5 + a. Which is smaller: k or d?
k
Let i = 45 - 40. Let z = -46.078 + 46. Let r = z + 0.148. Are i and r unequal?
True
Let x = 11240 - 11240. Is x < 9/911?
True
Let i(n) = -64*n + 195. Let m be i(3). Let g be (-5)/m - (-4545)/54. Is g greater than 83?
False
Let r(w) = w**3 - 17*w**2 - 32*w + 73. Let c be r(19). Is c >= 11?
True
Suppose 0 = -3*s + 2386 - 3694. Are -438 and s non-equal?
True
Suppose -3*p + 10 = -14. Let o be -87*(p/(-6) + 1). Let i = o - 27. Which is smaller: i or 3?
i
Let o = 78.5 - 15.5. Let a = 62.57 - o. Let n = 2.43 + a. Is 2 greater than n?
False
Let p(o) = -o**3 + 6*o**2 + 14*o + 34. Let s be p(7). Which is smaller: s or 87?
s
Let p = 455 + -455. Suppose p = 28*q - 15*q - 26. Let n = 7 + -5. Does n = q?
True
Let y = -6040 - -513402/85. Which is smaller: y or 0?
0
Let t = -521 + 877. Let l = -352.91 + t. Which is smaller: l or 1/4?
1/4
Let w = -288.56 - -288.56. Which is greater: 29/148 or w?
29/148
Let v be (-4)/((8/18)/2). Let n = 2555 - 2589. Let m = n - v. Which is bigger: -13 or m?
-13
Let j(r) = 8*r - 176. Let o be (-1 - 0 - -31)/(5 - 3). Let p be j(o). Is p greater 