0. Let f be (32/16)/((-15 + 0)/k). Are 62 and f non-equal?
True
Let y be ((-1884)/(-24))/((-4)/8 - -1). Suppose 9*q - y = 86. Is 26 not equal to q?
True
Let x(k) = -2*k**2 + 188*k - 185. Let c be x(93). Which is smaller: 103/65 or c?
c
Suppose 29*j - 195 = -10*j. Suppose 3*p = 4*s - p - 20, 0 = j*p + 25. Let o = -702 + 33695/48. Which is smaller: o or s?
o
Suppose 50*v = -1377 - 1423. Which is bigger: v or -383/7?
-383/7
Suppose -3*j - 8*y = -12*y - 11, -2*j = -3*y - 6. Let b be 1 - ((-9)/(-48))/(j/69). Is -1 < b?
True
Suppose -2 = 5*k - 7. Let o be -1*(0 + 15/(-3)). Suppose -5*h - 128 = -2*z, 4*h + o*z + 4 = 3*h. Which is smaller: k or h?
h
Let q(y) = -3*y**2 + 14*y - 12. Let u = -85 - -90. Suppose 10*a + u*a - 120 = 0. Let m be q(a). Which is smaller: -91 or m?
m
Let m = 3174 + -3173. Which is bigger: 31/2 or m?
31/2
Let x be (-26)/(-429) + (-660459)/216117 + -3 + 6. Is x smaller than -1?
False
Let f = -20423 - -16175011/792. Is -1 greater than f?
False
Let i = -0.46 + -195.54. Let v = i + 77. Let x = 119.34 + v. Are 1/4 and x unequal?
True
Let k = 54.02 + -54. Let p = -4 + 5. Let u be p/(-3) - 56/(-96). Do k and u have the same value?
False
Let g = 4117 - 4119. Which is smaller: g or 4034?
g
Let j = 678/35 + -137/7. Let q be (-6)/(-33) + (-456)/(-33). Is j <= q?
True
Suppose -92*b + 75*b = -17. Which is bigger: 6/899 or b?
b
Let q = -13385 + 40159/3. Is q at least as big as -32?
True
Suppose -19707 + 897 - 630 = 18*x. Is -9716/9 greater than or equal to x?
True
Suppose -w + 274 = -8*d + 6*d, 4*d = -w + 244. Let y = w - 262. Is y at most as big as 23/10?
True
Let w = -0.11 - -0.092. Let k = w + 41.118. Let a = -41 + k. Are 27 and a unequal?
True
Let r = 2 + 6. Suppose 30*u - r*u = -132. Suppose 5*o = -2*h - 3*h - 10, -5*o - 2 = 3*h. Is u smaller than h?
True
Let g be (-1370)/2466 - (-4)/(-9). Is g less than or equal to 2/1835?
True
Let m be (-2)/6 - (-22)/(-114). Let t(v) = -v**2 + 29*v - 38. Let x be t(30). Let r = x + 66. Is m greater than r?
True
Let x = -26943047/25344 + 186999/176. Let a = x - -11/18. Is 1 >= a?
True
Let h(z) = 3*z**2 - 1. Let g be h(-1). Let d be (-104)/((-2)/5*(-75)/180). Let o be d/(-84)*(-2)/(-8). Which is smaller: g or o?
o
Let x be (-96)/135 - (-294)/441. Is x not equal to 25.6?
True
Let n = -232 + 240. Suppose 0 = -n*d + 300 + 180. Is 60 less than d?
False
Let z = 0 + 0. Suppose 4*j - 5*v = -2*v + 12, -j + 3*v + 12 = z. Let n be 10/4*18/195. Which is smaller: n or j?
j
Let k be (4/4)/((-26)/338). Is k at most -94?
False
Let f(y) = y**2 - 18*y - 1. Let d be f(18). Let s(o) = -12*o + 10. Let p be s(d). Suppose 19*x - p*x + 30 = 0. Which is smaller: 6 or x?
6
Let k = -96 + 137. Suppose 0*x - l - k = -x, 5*x - 3*l = 211. Do x and 43 have the same value?
False
Let r(h) = -h + 1. Let o be r(2). Let j = -152308/11 - -15013. Let a = j - 1167. Is o less than a?
True
Let n = 40.4 - 40.3. Let j be 34/10*(-25)/10. Let p = 8 + j. Is n at least as big as p?
True
Let p = 74977 - 74984. Suppose 40 + 65 = 5*u. Let f be ((-2)/3)/((-6)/u). Which is smaller: p or f?
p
Let b = -543 + 542.4. Let y = 11 - 7. Which is smaller: y or b?
b
Suppose 0 = -5*c - 32 - 8. Let r = -3 - c. Suppose 3 = -f - 0*f + o, 4*f = r*o - 15. Which is greater: f or -4/7?
f
Let z = -211.09 - -212. Let c = 2075 + -2004.09. Let w = c - z. Are w and -1 unequal?
True
Let t = -4074 + 4072. Which is bigger: t or 461?
461
Let g = 84.87 + -74.9. Let q = 12 - 22. Let w = q + g. Are -0.2 and w nonequal?
True
Let g be ((-3)/2)/((-3)/126). Let r = g - 37. Suppose 6 = -3*d + 3. Which is greater: r or d?
r
Suppose -37*h - 10456 = -41*h. Suppose b + d = -b + 1742, -3*b - d + h = 0. Let t be b/(-856) - (2 + -3). Which is bigger: t or 1?
1
Suppose -5*x - 1004 = w + 735, 4*w + 7094 = 3*x. Is -1768 less than w?
False
Let t = 161 - 149. Suppose j + 0*j - 4*c + 157 = 0, -3*c = -t. Is j > -141?
False
Suppose 0 = -779*p + 807*p + 1176. Which is bigger: -59 or p?
p
Let t(n) = 2*n**3 - 5*n**2 - 4*n - 5. Let q be t(5). Let l be ((14 - 31) + 17)*1/(-5). Suppose 5*u - 85 - q = l. Which is greater: -0.1 or u?
u
Let q be 1670/(-46) - (-4)/(-4). Let n = q - -277111/7429. Is 1 bigger than n?
True
Let a be (1116/341)/(6/33). Let w(y) = y**2 - 10*y + 40. Let n be w(4). Is n at least a?
False
Let u be (-4168)/42 + (-15 + 23 - (-236)/(-28)). Is -101 bigger than u?
False
Suppose -2*b + 2 = 2*l + 8, -5*l - 15 = -b. Let z be (2 - b)*(28 + -21). Suppose z*i + 117 = -79. Are i and -14 equal?
True
Suppose -7*z - 11 = 5*o + 17, -5*z - 20 = 4*o. Which is greater: o or -0.89?
o
Let f(h) = h**2 - 25*h - 81. Let g be f(27). Let m = -4 - -5. Let k be m - 54/(1 - -1). Which is smaller: g or k?
g
Let q = 283.4 - 257. Let z = q + -26. Let a = z + 1.3. Which is greater: 1/4 or a?
a
Let c be ((-39730)/20)/(-29)*2. Is c greater than 136?
True
Suppose 0 = 4*a - x + 11, a - 2*x - 17 = 6*a. Let w = -3 - a. Let r = 39685 + -198427/5. Which is greater: w or r?
w
Let g = 303 - 180. Suppose -g - 77 = -5*l. Is 40 < l?
False
Let l be (-9)/(-3) + -1 + -2. Suppose 144*q = -4*x + 143*q + 648, -644 = -4*x - 2*q. Suppose l = 3*m - x + 55. Which is smaller: 35 or m?
35
Let j be 1 + -2 + 1 - (1 + 5). Suppose 33 = 3*d + 3*h, -5*d + 2*h + 3*h = -95. Suppose -5*b - 20 - d = 0. Is j at least b?
True
Let g(m) = m**3 + 14*m**2 - 15*m - 2. Suppose 4*y - 2*y - 6 = 0. Suppose -y*n = 41 + 4. Let l be g(n). Which is smaller: l or 8?
l
Let s be (-14)/(-7) + 158*1. Let x(r) = -3*r**2 + 428*r - 546. Let b be x(141). Which is smaller: b or s?
b
Suppose 0 = 15*f - 36*f - 42. Let v be f*((-52)/(-10))/(4/(-5)). Which is greater: 14 or v?
14
Let x be 10/(-25)*(54/(-6) + 8). Which is bigger: -2.476 or x?
x
Let m be -1 - ((-14)/(-2) + -2). Let c = -194 + 204. Suppose -2*y - c = 2. Is m at most as big as y?
True
Suppose -6*w - 3*w - 1143 = 0. Let p = -124 - w. Let g be (28 + -5)*p*(-2)/3. Which is smaller: g or -48?
-48
Suppose 5*s + 205 = 3*t, 0*s - t = 5*s + 205. Which is smaller: s or -32?
s
Let o = 25 - -5. Suppose 5*s + g = -0*g + 50, -g + o = 3*s. Suppose 0 = -s*i - 0*i + 520. Is i <= 52?
True
Let u = 18092 - 18115.073. Let n = -241 - -240.927. Let h = u - n. Are -1 and h nonequal?
True
Let s = -11069/75 - 151/75. Which is smaller: s or -151?
-151
Suppose 0 = -i - 0*i + 1, -4*k + 4*i + 12 = 0. Suppose o = 5*v - 1, k*v - 3*o + 1 + 7 = 0. Which is smaller: v or 2/11?
2/11
Suppose -4*b + 5 = -3. Suppose 4564 = b*u + 12*u. Let g be 8/2640*u + -1*1. Which is smaller: 0 or g?
g
Let o(t) be the second derivative of -t**5/20 - 13*t**4/6 - 11*t**3/3 + 75*t**2/2 - 92*t. Let d be o(-25). Is d > 2/441?
False
Let w = 21 - 19. Suppose o - w = 4*c, -3*o + 3*c = c + 24. Let d be (-2)/142 - (o - -10). Is d at most 1?
True
Suppose -3*z + 1078 = 2*u, -2*z + 3*u + 1784 = 3*z. Are 360 and z non-equal?
True
Let h(g) be the third derivative of g**6/120 - 2*g**5/15 + g**4/8 + 5*g**3/3 + 31*g**2. Let j be h(4). Let u = j + 81. Which is smaller: u or 41?
u
Suppose -3*p + 3*i + 81 = 0, -6*i = -4*p - 4*i + 98. Let v(n) = -n**2 + 21*n + 12. Let c be v(p). Let r be -4 + c*(-5)/2. Is 22 not equal to r?
True
Suppose z - 274 = -3*z - d, -4*d = -4*z + 304. Let a = -43682/5 - -8805. Is a at least as big as z?
False
Let u = -9 + 13. Let o be (104/10)/u + 1. Suppose -484 = -7*y - 449. Is o != y?
True
Let k be -3*30/(-18) - (-4)/(-2). Suppose -6*o - 252 = -2*o + p, -k*p = 5*o + 308. Is o equal to -61?
False
Suppose 0 = 2*r - 7 - 13. Let f = 504 + -503. Let a be r/195*f/1. Is a > 1/4?
False
Suppose 2*t = -4*o + 16, 2*t = -0*o + 4*o - 24. Suppose 0 = 7*f - 3*f - o*l - 10, -l + 27 = 5*f. Which is smaller: 8 or f?
f
Let w = -6.9 + 8. Let q = 1 - w. Is -5/12 greater than q?
False
Let o = 2511 + -2356. Which is greater: 34 or o?
o
Let a(t) = 2*t**3 - 3*t**2 - 4*t + 1. Let v be a(3). Let k be 6*((-38)/(-20) + 46/(-115)). Suppose 399*w - k = 390*w. Which is smaller: v or w?
w
Let f = -48439/2 - -25065. Which is bigger: 847 or f?
847
Let i(z) = -4*z**2 - 56*z - 10. Let q be i(-19). Let t be 2 + 2 - (-1556)/q. Which is greater: 0 or t?
t
Let x = 279 + -296. Let r(l) = -l**3 - 14*l**2 + 40*l + 26. Let t be r(x). Is t less than 213?
False
Let z = 366/5 + -513/7. Is 3 <= z?
False
Let i(u) = -101*u - 3804. Let m be i(-32). Which is smaller: m or -1712/3?
m
Let d = -323 + 323.071. Let u = d 