han 131?
True
Let w(x) = 419*x + 1770. Let y be w(-5). Is y greater than -321?
False
Let k be ((-30)/18)/((-1)/(-354)). Let i = k - -79652/135. Let h(u) = -14*u**2 + 352*u - 50. Let z be h(25). Do z and i have the same value?
False
Let v be (-8)/((-96)/1482)*6. Is 740 > v?
False
Suppose 3*n = -0*n - 63. Let u = -14 - n. Let x be (1*(-8)/32)/((-1)/20). Which is greater: u or x?
u
Let c = 20 - 14. Suppose -9 + c = 3*y. Let n be 2/21*(y - -4). Is 4 <= n?
False
Let g = -22766 - -22772. Is g at least as big as 0.094?
True
Let x = 664 + -2026/3. Let z = x - -4009/354. Which is bigger: -1 or z?
z
Let c(g) = -2*g**3 - 16*g**2 + g - 7. Let p be c(-9). Suppose -6 + p = 5*o. Is o at least as big as 28?
True
Let j(l) = 4*l**2 - 26*l - 12. Suppose -6*w = -14*w + 64. Let q be j(w). Suppose 2*p - 4 = q. Is 19 < p?
True
Suppose 0*a + 3*p + 7 = -2*a, -3*p - 27 = -3*a. Suppose a*h = 5*h - 105. Let y = -81 + h. Is y smaller than 23?
False
Suppose 5*f - 248 - 101 = -7*w, 0 = f - 4*w - 32. Let n(d) = 2*d**2 - 7*d + 8. Let s be n(7). Do f and s have the same value?
False
Suppose -32*o - 781 - 1109 = -482. Suppose -304 = -5*w - 809. Let a = w - o. Is 0 < a?
False
Let m be (2*-1)/(-4) - (-306)/108. Let i = 46/21 - m. Suppose 0*h + 6 = -3*h. Is i at most h?
False
Let y = -2514 + 2540. Which is greater: y or -42?
y
Let b be 2/12 + (-172)/(-24)*5. Let g = b - 22. Let o = -34 + g. Which is greater: -19 or o?
-19
Let w = 137.5 - 136.99. Let j = 2140 - 2150.49. Let c = j - w. Is c smaller than -1/2?
True
Let k = -25.77 + 25.49. Is k at most 3/14?
True
Let x = -43 + 41. Let i be (-65)/75 - x/15. Let s = -9/10 - i. Is 0 smaller than s?
False
Let m(i) = -i**2 + 3*i - 13. Let h be m(-6). Let r = h + 71. Let v(f) = -4*f**2 + 17*f - 5. Let b be v(r). Which is bigger: 2/151 or b?
2/151
Suppose -2*j - c - 33 = -7*j, -5*c - 21 = -j. Let v = j - 20. Let a be (20 - 22)*(-1 + 14/12). Which is smaller: v or a?
v
Let v(w) = -4*w**3 + 2*w**2 + 14*w + 15. Let x be v(4). Which is greater: x or 4?
4
Let n(o) = -13*o - 57. Let c be n(-11). Let r = 87 - c. Is r bigger than 2/213?
True
Let c = -15105 - -15222. Let b = 75 - -43. Is c <= b?
True
Let f be ((-212708)/144)/((-13)/(-8)). Let h = f + 909. Is h at most -1?
False
Let o be (9/2)/(58/116). Let c(h) = -22*h + 200. Let q be c(o). Let z(i) = 2*i - 1. Let n be z(2). Are n and q equal?
False
Let t(p) = 11*p - 3. Let b be t(1). Suppose -o + 4 = 2, n - 5*o = -b. Let a(s) = 2*s**2 + 24*s + 64. Let c be a(-8). Is c at most as big as n?
True
Suppose -j + 3058 = -5*v, -j - 251 - 2811 = 5*v. Let a be v/1309 + (-2)/(-11). Let y = -4.442 + 4.4. Which is smaller: y or a?
a
Suppose -3*m = i + 54, -i = 2*i - 2*m + 173. Let h(x) = -3*x**2 + 293*x + 1267. Let q be h(102). Do i and q have different values?
True
Let f = 43 - 79/2. Let z(g) = -1 - g**2 + 6 + 19*g - 31*g. Let i be z(-12). Which is smaller: f or i?
f
Let s be (-2 - (-21)/6)*2. Suppose -s*j = -2*j + 6*j. Let c = -7/8 + 17/56. Which is smaller: c or j?
c
Suppose x = -2*v + 61, 2*v - x - 41 = -6*x. Let o be (-2 - 1036/(-132)) + (-6)/v. Is o smaller than 5?
False
Suppose 3*l + 2*l + 265 = 2*c, 4*l + 4*c = -212. Let f(k) be the third derivative of -k**5/30 - k**3/3 + 24*k**2. Let t be f(-5). Is t < l?
False
Let u = 6275 + -5982.72. Let t = u + -292. Which is smaller: -12 or t?
-12
Suppose 2*l = -4*s + 70, 6*s - 4*s = -5*l + 15. Suppose -2*a - 3*i - s = 0, 0 = i - 0*i + 4. Let v be (23*(-2)/a)/((-6)/(-4)). Which is smaller: 7 or v?
7
Let j = -324 - -330. Let i be j/27 + 2132/288. Is 9 not equal to i?
True
Let s = -85247/4 + 21155. Is s not equal to -157?
True
Let n be ((-4)/25)/((-4)/10). Let d(w) = 21*w + 65. Let s be d(-8). Let b = 103 + s. Is b less than n?
True
Let a = 88/7 - 513/28. Let j = 6 + a. Let p = 0 - -1. Is j less than p?
True
Let y be 1170/816*8/2. Which is smaller: y or 7?
y
Let r = 3244 + -3143. Does 10 = r?
False
Let f be 16*-15*(-5)/60. Suppose 14*n = 16*n - f. Let g be (207/(-115))/(46/n). Is g greater than 1?
False
Let d be -17 + (-4896)/(-40) + (-2)/5. Which is bigger: 75 or d?
d
Let t be 21 - (4 + 0 - -2). Suppose -t*j = -10*j - 160. Which is greater: j or 34?
34
Let a be ((15786/8)/(-3))/((-45)/(-120)). Which is smaller: a or 1/3?
a
Suppose 4*f - 6*m + 4 = -10*m, 5*f + 2*m = -5. Let c = 105 - 147. Let d = -49 - c. Which is smaller: f or d?
d
Let s be 1/(-4) + (-4 - 2565/76). Suppose 3*z - 5*d + 14 = -0*d, -4*d + 24 = 4*z. Suppose -f = b + z*b + 37, 3*f + 2*b = -111. Is s equal to f?
False
Let c be (1 + 14/(-6))*-12. Let x(m) = -m**3 - 9*m**2 + 5*m - 21. Let s be x(-10). Let d = c - s. Which is smaller: d or -14?
-14
Let c = 169 + -169.151. Let l = -0.051 - c. Let f = 20 - 32. Is f >= l?
False
Let v(s) = -s**2 + 3*s + 5. Suppose 0 = m - 4 - 0. Let b be v(m). Let r = -28883 - -29014. Is r > b?
True
Let x = -3571 - -3541. Do x and -327/11 have different values?
True
Let i = -791.94 + 794. Which is bigger: 6 or i?
6
Let n be 0*(4/(-10) + 126/(-210)). Which is bigger: 12/293 or n?
12/293
Let d = -14696 - -14670. Is -578/23 < d?
False
Let g = -12.591 + 37.604. Let m = -0.013 + g. Let t = m + -20. Which is bigger: 8 or t?
8
Let b = 7 + -15. Suppose -3*k + 91 = 2*r, 3*k - 29 - 66 = -r. Let t = -32 + k. Do t and b have the same value?
False
Let v = 1691 + -5071/3. Which is greater: -348 or v?
v
Suppose 4*z - 125 = -4*k + 7*z, 5*k + 3*z = 163. Suppose 5*j = 3*p + 11 - 25, 5*p + 4*j + 26 = 0. Which is bigger: k or p?
k
Let p = 261 - 254. Let n be (-144)/238 + (-48)/(-112). Which is smaller: p or n?
n
Let f = -3 + -35. Suppose -5*k + 4*p + 8 + 18 = 0, -2*p = -2*k + 12. Suppose -48 - 30 = k*b. Is b greater than f?
False
Let a = -162.4 - -179. Let d = a - 5.2. Let k = -12.4 + d. Which is smaller: k or 1/41?
k
Let i(a) = -2*a - 2. Let u be i(-2). Let g(n) = -143 - n**2 - 406 - 267 + 62*n. Let d be g(43). Is u bigger than d?
True
Let x = 34/7 + -109/21. Let w = -24.975 - 0.025. Is w >= x?
False
Let m be -12 - 4/16*0. Let v be (8/10)/(m/(-30)). Let i be (18/459)/(v/(-6)). Which is bigger: -0.4 or i?
i
Let y = -926151/46438 - -1239/62. Is y > 1?
False
Suppose -u + 4*o - 25 = 0, 22*u = 23*u - o + 19. Does -15 = u?
False
Let t = -2.03 + 0.03. Let g = 518.849 - 0.849. Let s = g + -518.1. Is t at least s?
False
Suppose 2*j - 23 = -1. Suppose -d = -2, -2*t + 5*d - j = 33. Let n = -388 - -372. Which is smaller: n or t?
t
Let m(s) = -2*s**3 + s**2 - 4*s + 2. Let a be m(-5). Suppose -a*t + 295*t - 8 = 0. Which is smaller: t or -21/8?
t
Let v = 2.982 + -2.9. Let a = 33.56 - 33.702. Let i = a + v. Which is bigger: i or 7?
7
Suppose 11*a + 862 = 27*a + 2302. Which is smaller: -82 or a?
a
Let g = -0.5829 + -0.1171. Let p be ((-3)/(-8) + 1)*2. Is p not equal to g?
True
Let i(x) = -x**2 + 42*x - 396. Let d be i(27). Let h = 7 + 3. Does d = h?
False
Let b be 1641/(-12) + (-4)/16. Suppose 8*x + 1659 = 563. Do b and x have different values?
False
Suppose -32 - 12 = -4*t. Suppose -4*h = -3*i + 23, 2*h - h + i + t = 0. Let f = 221 + -226. Is h bigger than f?
False
Let k(p) = p**3 - 46*p**2 + 238*p + 91. Let q be k(40). Which is bigger: 109 or q?
109
Let y = -95 - -99. Suppose -y*p + 2*p + 254 = j, -3*p + 388 = -2*j. Let h be -3*(p/12 - 1). Is -2 < h?
False
Suppose 133*c = 42*c - 4277. Is c > -39?
False
Let f(c) be the third derivative of c**6/120 - c**5/15 - 23*c**4/24 + 5*c**3/2 + 3*c**2 + 37. Let d be f(7). Which is smaller: d or -2/563?
-2/563
Let p be 10 + 1 + (-10)/(2520/2779). Let y = -2 + 2.2. Which is smaller: y or p?
p
Let h = -9 - -1. Let w(n) = 3 + 3*n + 35 - 2*n**2 + 12*n + 6. Let p be w(10). Which is bigger: h or p?
p
Let n = -0.282 + -25.118. Let x = -25.606 - n. Let t = -0.106 - x. Which is bigger: 4 or t?
4
Suppose 2*v - 225 = -z, -v + 192 - 76 = 4*z. Which is smaller: v or 106?
106
Suppose j - 22 = 4*n, 5*j - 14 - 21 = 5*n. Let g = 1 + j. Suppose -4*b + 49 = -g. Which is greater: 1 or b?
b
Let u = -2/18829 + 19563337/56487. Which is bigger: 347 or u?
347
Let d(v) = -v**3 + 3*v**2 + 4*v. Let j be d(4). Suppose 3*t + 101 + 49 = j. Let l be (-6)/16*t/30. Is 1 greater than l?
True
Let f = -4.7584 + 2.688. Are f and -1/3 non-equal?
True
Let n be (526 - 20)/((-2)/(-1)). Suppose 4 = -p + 6. Suppose 3*i + n = p*t, 5*t - 583 = i + 56. Is 128 at most as big as t?
True
Let k be 45/(-66) + ((-50)/20)/(-