re x and z unequal?
True
Suppose -d = x - 0 - 6, -4*d = 2*x - 34. Let y(u) = -11*u + 70. Let k be y(d). Which is bigger: -1 or k?
-1
Let g = 5843/15 - 1168/3. Which is smaller: 22 or g?
g
Let n be 2*(23/2 - 11) + 51/34. Let h be 2/(-3)*(-6)/2. Are h and n nonequal?
True
Let c = 0.1891 + -0.0511. Let h = 0.378 - c. Let i = -16/15 - -2/5. Which is bigger: h or i?
h
Let s(z) = 291*z**2 + 835*z + 6575. Let n be s(-8). Is n >= 18518?
True
Let b(g) = -g**2 - 10*g + 170. Let l be b(9). Which is greater: -2/3999 or l?
-2/3999
Let f = 0.2 - 2.2. Let h = -62012 - -61974. Is f >= h?
True
Let y(q) = 14*q + 100. Let l be y(-7). Suppose -g = -l*s + 13 + 28, -5*s - g = -99. Are 11 and s equal?
False
Let m = -1.99 + 0.29. Let u = 1.4946 + -0.8946. Is m at least as big as u?
False
Suppose 0 = 28*d + 8199 - 11363. Which is greater: 0.2 or d?
d
Suppose 3*u = 11*u. Suppose u = 2*s + 81 + 107. Which is smaller: s or 1/4?
s
Let g = -65067 - -65065. Let p = -1.36 + 1.6. Is p not equal to g?
True
Suppose -2*w = 5*d - 3, 0*w - 5*w + 24 = -4*d. Suppose w*m = -1262 + 386. Is -221 <= m?
True
Let z = -1366/11 - -124. Let l(f) = f**3 + 3*f**2 - 17*f - 27. Let c be l(-6). Let i be 69/4*(-22)/c. Which is smaller: i or z?
z
Suppose -66*a = -147*a. Which is greater: a or -54/73?
a
Suppose 0 = -4*o - 4*w + 2 + 10, -15 = -5*o + w. Let s be 0 + (4/9)/(o - -251). Which is smaller: s or -1?
-1
Let f(c) = -30*c - 6. Let m be f(-11). Suppose m = u + 5*u. Suppose 8*i - 10*i = u. Is -27 at most i?
True
Let l(t) = -14*t**2 + 297*t + 2058. Let d be l(-7). Which is greater: d or -704?
-704
Let r be (178/(-6))/(196/1764). Which is greater: 0.09 or r?
0.09
Suppose 0 = b + 4*u - 4 - 4, -2*b = 2*u - 10. Suppose -6*w + 4 = -b*w. Suppose 3*p = -q + 57, w*p - 1 = -2*q + 93. Which is greater: 43 or q?
43
Let k(f) = -f**3 + 7*f**2 + 37*f - 47. Let n be k(12). Is n less than -1287/4?
True
Let u be 22/224 + (-4)/14. Let a = -17867 - -17867. Which is smaller: u or a?
u
Let h(r) = 18*r**2 - 22*r - 25. Let d be h(-1). Which is greater: 44 or d?
44
Let r = 21 + 8. Suppose -r = -11*i + 4. Suppose o = -0*w + 3*w + 4, i*o = -4*w - 1. Which is smaller: 3/31 or w?
w
Let k(h) = 44*h - 4913. Let r be k(111). Let f be 134/(-4) + (-2)/4. Which is greater: r or f?
r
Let j = 139.54 + -142. Let u = j - -0.46. Which is smaller: -55 or u?
-55
Let w be (612 - -1)/((16121/(-238))/(-1)). Let i = w - 410/47. Is -1 less than i?
True
Suppose 2*w = 6*w - 8. Suppose 3*v - 3 = w*g, 5*g - 2*v - 1 = -14. Which is greater: g or -5?
g
Let i = -9.559 - 2.441. Which is smaller: i or 130?
i
Let g = 577 + -920. Let y(l) = 117*l + 8. Let t be y(-3). Is g less than or equal to t?
True
Suppose -57 = -4*z + 3*g, 7*z = 2*z - 2*g + 100. Let i be (-20)/z*1/(208/(-39)). Do 0.2 and i have different values?
True
Let f = 2/247 - 757/1976. Let u = 561.61 - 558. Let d = u - 4.61. Which is bigger: d or f?
f
Let o = -114.951 - -115. Suppose 3 = 2*j + j. Is o less than or equal to j?
True
Suppose 0 = 3*s + 2*b - 25, 0 = 4*s - 10*b + 6*b. Suppose 102 = 3*t + 3*i, -s*i + 39 = 2*t - 44. Is 18 > t?
False
Suppose 0 = -7*a + 2*a + 25. Suppose b - 4*h - 26 = 0, -h = 2*b - a*h - 32. Let i be 15/(-84) + b/14. Which is bigger: -10 or i?
i
Suppose 3*i - 2*r + 7 = 14, 2*i = -2*r + 18. Suppose -i*b = -15, -b = s - 3*s + 29. Let p be (-38 - -2)*1/(-2). Which is smaller: s or p?
s
Suppose -96*b + 70 = -101*b. Let a = b - -16. Let k be -10 - (3 - 2) - (-3 + a). Which is greater: -8 or k?
-8
Let w = 76 - 76. Suppose -5*p + 32 + 4 = 4*d, 3*p = w. Which is bigger: d or 1?
d
Suppose 40*t - 35*t + 42 = -2*s, -5*s - 3*t - 48 = 0. Is s greater than -10?
True
Suppose 4*f = 2*k - 8, -7*f - 2*k + 8 = -12*f. Do f and 1/783 have the same value?
False
Suppose 3*q - 22 + 31 = 0. Let w be 0 - q*1/(-3). Which is bigger: 22 or w?
22
Let a(y) be the first derivative of y**4/4 - 5*y**3/3 + y**2 - 12*y - 33. Let c = -6 + 11. Let w be a(c). Is -6/11 less than w?
False
Suppose 195 = 3*j + 5*u, 0*u - 174 = -3*j + 2*u. Suppose -j + 432 = 6*x. Which is greater: 2 or x?
x
Suppose -2*z - 17 = -11. Let c be (-1 - 64)*z/3. Let j = c - 65. Is -40 smaller than j?
True
Let b = -123 + 257. Let g(c) = c**3 - 37*c**2 + 71*c + 102. Let s be g(35). Is b <= s?
True
Let w(g) = 12*g + 72 - 38*g + 84. Let n be w(6). Which is greater: n or -2/1121?
n
Suppose 0*v = 3*v - 4*w - 19, -12 = 4*v + 4*w. Is v less than -939/7?
False
Let c be 1 + (1 + 1 - 3). Suppose -l + 3*q + 16 = c, q + 3 + 2 = 0. Let a be (7 + 1800/(-261))*4/3. Is a less than l?
True
Let f be ((-4892)/(-16))/((-22)/176). Is -2446 at most f?
True
Let h = -110 + 121. Suppose -h*x = -13*x + 32. Let p be (3/132)/(2/(x/(-3))). Which is smaller: p or 0?
p
Let s = 7 + 217. Let l = -387 + s. Which is bigger: -1 or l?
-1
Let h be 1/(((-116)/8)/(-1)). Let t = 0.218 + 17.982. Let p = -19.2 + t. Which is bigger: h or p?
h
Let t = -8229/895 - -46/5. Let o(z) = 2*z**2 - 2550*z + 77128. Let v be o(31). Is t at least v?
True
Let u be (-12)/(-14) + (-54)/(-378). Which is smaller: u or 70/187?
70/187
Let s = 182 - 159. Which is smaller: 6/11 or s?
6/11
Let d(r) = -r**2 - 11*r - 27. Let o be d(-8). Let i(z) = -z**3 - 2*z**2 + 3*z + 1. Let t be i(o). Let u = 174/5 - 12881/370. Which is smaller: u or t?
u
Suppose 25 = 3*r + 1. Suppose r*m - m = 91. Suppose -m*z - 40 + 1 = 0. Is -3 greater than or equal to z?
True
Suppose -4*s - 6 = -s. Suppose -3*x + 1288 = 20*x. Let w be 7/(x/12)*56/(-44). Is w <= s?
False
Suppose 4*m - 204 = o, 2*o + 3*m - 136 = -478. Suppose 5*t = t - 724. Which is smaller: o or t?
t
Let n be 164/385 + (-4)/10. Let p(t) = 2*t - 4*t - 15*t - 182 - 9*t. Let k be p(-7). Is k >= n?
False
Suppose 5*r = -4*r - 1548. Let f be 44/(-66) - r/18. Which is bigger: f or 9?
9
Let y = 3.201 - 3.101. Are y and 889 equal?
False
Let c = -48 + 66. Let f = c - -18. Let p = f - 37. Is 39 equal to p?
False
Let v = 59 - 57. Suppose -2*a + 13*t - 8*t - 151 = 0, -v*a - 5*t - 101 = 0. Which is bigger: a or -68?
a
Let s = -7857 + 7990. Which is greater: s or 130?
s
Let f = -89 - -34. Let h(k) = -2*k**3 + 92*k**2 + 2*k - 145. Let m be h(46). Which is smaller: f or m?
f
Suppose 0 = -f + 5*q - 156, -5*f + 6*q - 4*q = 711. Let l = f + 142. Is l smaller than -12/83?
False
Let n = -113233/9 - -12579. Which is bigger: 4 or n?
4
Let z(j) = j**3 - 3*j**2 - 4*j + 3. Let l = -84 - -90. Let s be z(l). Is s greater than 86?
True
Let x = -273 + 245. Let l = 24 + x. Is -17 smaller than l?
True
Let j be (1 - 1)*12/(-12). Let c be (2 - (7 + -2))*(-6 - -3). Suppose j = -14*h + c*h. Is h at least 1?
False
Suppose x + 7*x = -24*x - 110336. Do x and -3448 have different values?
False
Let a = 127 - 138. Let k(t) = -2*t - t**3 - 15*t**2 - 8*t + 0*t - 14 + 4*t**2. Let d be k(-10). Which is greater: d or a?
a
Suppose 0 = -3*l - 6*g + 11*g + 792, 0 = 4*g. Let s = 1063/4 - l. Which is greater: 4 or s?
4
Let u = -1830714243/187 - -9789942. Let i = u - 516/17. Is -5 equal to i?
False
Let o(y) be the second derivative of -y**3/2 + 4*y**2 - 2*y - 707. Let x(n) = -2*n - 2. Let v be x(-5). Let r be o(v). Is -44/3 != r?
True
Let f(r) = -r**3 - 30*r**2 + 98*r - 65. Let b be f(-33). Which is smaller: b or -39?
-39
Let r = -5222 + 5149. Is r at least -70?
False
Let g be (-12)/(-30) - -14*(-12)/1470. Let o be 1 - 190*(-2 - -3). Let f be 15/o + (-2)/(-9). Is f smaller than g?
True
Let w = -252 - -260. Suppose -k - 2*l + w = -4*k, -4 = 3*k + 2*l. Are k and 1 non-equal?
True
Suppose -163 = -10*n + 9887. Which is smaller: n or 1004?
1004
Suppose 14*w - 471 = 11*w. Let h = 176 - w. Is 20 bigger than h?
True
Suppose 9*q - 5*g + 11 = 5*q, 4*q - 7 = -g. Let f be q*(2 - 4/((-8)/(-14))). Let d = -0.22 - -0.2. Is f at most d?
True
Let i = -5275 - -47477/9. Is 3/5 less than i?
False
Let n(m) = -114*m + 4. Let t be n(4). Suppose 1803*i + 316026 + 492124 = -6806. Is t less than or equal to i?
True
Let c(f) be the third derivative of 17*f**5/60 - 41*f**4/6 - 4*f**3/3 + 93*f**2. Let x be c(7). Is -322 smaller than x?
False
Let q be 75/(-60)*-2*2. Suppose -q = 4*g + 11. Which is greater: -18/7 or g?
-18/7
Let r = 5269/2 + -2634. Which is bigger: 397 or r?
397
Suppose -2*u = 3*u - 0*u. Suppose 13*c = -u*c + 338. Suppose s - 44 = -17. Is s at most c?
False
Let z = -11.97 + 11.9039. Let j = -224.9339 + z. Is j less than or 