(j) = -j**2 + 8*j - 5. Let y be b(7). Suppose 16 = -4*c - 4*w, -y*c - c - 10 = 2*w. Let o be (-297)/11*c/(-6). Are o and -7 unequal?
True
Suppose -34*f + 143032 = 4*f. Is f at most 3765?
True
Let h(i) = i**3 + 14*i**2 - 14*i + 17. Let n be h(-15). Suppose w + n = 10. Suppose 4*s + 12 = 3*g - w*g, 3*s + 9 = g. Which is greater: -7/8 or g?
g
Let f = -52 - -60. Let z be (-6)/(-4 + 20/f). Suppose -z*v + 65 = 3*c, 3*v - 22 - 3 = -c. Is 19 != c?
False
Let b(y) be the second derivative of y**4/12 - 11*y**3/6 + 18*y**2 - 27*y. Let s be b(6). Let z be 3/s*24/(-20). Which is greater: z or 0?
0
Suppose -4*j - y + 4921 = -2918, -3*j = -3*y - 5898. Which is smaller: j or 1958?
1958
Let o(f) = -4*f - 5. Let t(r) = -4*r - 4. Let h(a) = 3*o(a) - 4*t(a). Suppose -2*l - 268 = -272. Let y be h(l). Is y at least 10?
False
Let w = -0.52152 + 0.02152. Let h be (-2)/6 - (-44)/24. Which is smaller: h or w?
w
Suppose -5*h + 3*y = -13, 0 = -2*y - y - 3. Let g be ((-16055)/(-3215) + -5)/h. Are 1 and g non-equal?
True
Let d = -317.79 + 53.39. Are 1 and d unequal?
True
Let c = -4.634 - -4.554. Which is smaller: c or -28?
-28
Let v = 86 + -81. Let t = 2 + v. Let p = t - -39. Is p not equal to 46?
False
Let s be ((8 - 4)/(-2))/(-3 + 2). Let i be (-8)/s + 111/(-15)*-5. Which is smaller: 32 or i?
32
Let a be 15/7*(-2 - 2/(-2)). Suppose 2*n + n - 128 = -d, 5*n + 2*d - 213 = 0. Let m = n - 46. Is a at least as big as m?
True
Let w = 553 - 511. Is 34 at most as big as w?
True
Let q = -0.6513 + 0.5913. Which is smaller: 3194 or q?
q
Let t = 110.61 + -242.19. Let p = 132 + t. Let q = p + 0.58. Which is bigger: q or -22?
q
Let n = 3415 + -3414.6644. Which is smaller: n or -0.1?
-0.1
Let k = 7018 + -5147. Which is smaller: 1870 or k?
1870
Suppose -15*v = 20869 - 8464. Is -826 >= v?
True
Let x = -948 - -955.41. Let z = -62.41 + x. Which is bigger: z or -1?
-1
Suppose -3*c + 357 - 120 = 0. Suppose 77 = -2*r + c. Which is smaller: 0.8 or r?
0.8
Let z(a) = -2*a**3 + 12*a**2 - 7*a - 44. Let t be z(4). Which is bigger: t or -130?
t
Let y = -46 - -62. Let s(b) = 20*b**3 + 2*b**2 - 1. Let q be s(1). Suppose -5 + q = g. Is g less than y?
False
Let n(l) = 6*l**2 - 5*l - 7. Let f be n(-2). Suppose -9*j + 0 = -f. Let y be 22 + 3/(j/3) + 3. Which is smaller: y or 27?
27
Let v(h) = h**2 + 11*h - 72. Let m be v(-15). Let t be 86/60 - (-1 - m/4). Which is smaller: t or -1?
-1
Let y = -11743.3 - -11743. Which is bigger: 3841 or y?
3841
Let y(b) = 304*b - 2271. Let z be y(4). Are 1/3 and z non-equal?
True
Let k be ((-4)/6)/((-25)/(-215)*(-4)/(-30)). Are -20 and k equal?
False
Let x = 466 + -259. Suppose 6*u = -3*u + x. Is 21 < u?
True
Let t be 18/(-90)*35 - (-3461)/494. Which is smaller: t or 0?
0
Suppose 0 = 3*d - 4*o - 221 + 793, -3*d = -2*o + 562. Which is smaller: -11 or d?
d
Let o = -90 - 223. Let y = o + 311. Is y > -33?
True
Let r = -462 + -554. Is -0.1 bigger than r?
True
Let s be 31/((-4)/18 + (-156)/(-216)). Suppose -56 - s = 2*c. Which is smaller: c or -181/3?
-181/3
Let n = 119.5 - 7.5. Let c = n - 111. Are -214 and c equal?
False
Let w = -116.2824 - -0.1824. Let k = w - -2.1. Let n = -103 - k. Are n and 0.2 non-equal?
True
Let q be (-4023)/149 - (-11716)/408. Which is greater: q or 2?
2
Let y(j) = 530 + 0*j**2 - 4*j - 620 - 15*j - j**2. Let u be y(-10). Do 1/194 and u have the same value?
False
Let g(k) = 3 - 1 + 5*k + 1 - 3*k**3 + 1. Let v be g(-1). Suppose s - h - 12 = 0, 5*s - v*h - 62 = 2*h. Which is smaller: s or 1?
1
Suppose 0 = 16*o - 11*o - 880. Suppose -5525 - 1087 = -38*y. Which is smaller: o or y?
y
Let x be (1/6)/(5/(-80)*12). Which is greater: x or 3?
3
Suppose o - 9 = -69. Let b be (3/(-12))/(105/o). Which is bigger: -1 or b?
b
Let i(o) = -o**2 + 6*o - 4. Let k be i(5). Suppose -5*q - 4 = k. Let s = 1497245/11 - 136113. Which is greater: q or s?
s
Suppose 367*n = -81172 - 948263. Is -2807 greater than n?
False
Let f be 12 + 6/21*(6 + 15). Suppose 4*m + t = -5, -f*m + 2 = -21*m + t. Is -1/678 <= m?
False
Let q be (-4432)/3878 - 337/(-301). Which is smaller: 13/2 or q?
q
Suppose 0 = 5*g - 2*l - 12, -30*g = -31*g - 4*l - 24. Which is greater: 3/173 or g?
3/173
Let y(g) = -g - 1. Let v(w) = -19*w - 4. Let c(m) = v(m) - 5*y(m). Let p be c(-1). Let s be (-8)/16 + (-58)/(-4). Which is greater: p or s?
p
Let c(l) = -l**2 + 24*l - 51. Let v be 16 + (1 + 0 - (4 + 0)). Suppose 8*t = v*t - 110. Let a be c(t). Do -0.1 and a have the same value?
False
Suppose 10*w - 28*w = -6*w - 96. Suppose 0 = 4*a + q - 14, -2*a = -3*a + q + 6. Is w equal to a?
False
Let f(c) be the first derivative of -10*c**2 - 37*c - 71. Let n be f(9). Which is greater: -216 or n?
-216
Let o = -57653 + 1441327/25. Let w be (-4 - -1)/(-2 - -1). Suppose -w*f = f. Which is bigger: o or f?
o
Let p = 15/2 - 7. Let x(s) = -18*s + 121. Let u be x(7). Let y be u/50 - 109/10. Which is bigger: y or p?
p
Let q(m) = 14*m + 9*m - 120 - 26*m. Let j be q(-40). Is j greater than 24/17?
False
Let y be (48/(-100))/(6/(-8)). Let r(a) = -a**2 + 32*a - 247. Let p be r(19). Is p less than y?
True
Let m be ((364/84)/13)/((-952)/954 - -1). Which is greater: -1 or m?
m
Suppose 0*o - 4*o + 5*n = -20, 4*n + 15 = 3*o. Suppose -18 = o*i + 42. Let c be 1/(-2)*(32 - 8). Is i < c?
False
Suppose 6*i + 0 - 230 = 29*i. Is -145/13 less than i?
True
Suppose 41*r - 3014 + 1254 - 3283 = 0. Is 152 < r?
False
Let o = -1/9055 - 153899/325980. Let b = -697/180 - o. Suppose -2*r - 6 = r. Do b and r have the same value?
False
Let w be (-1 - -1)/(5*(-24)/40). Let o = -19471/1972 + 168/17. Which is smaller: w or o?
w
Let z(h) = h**2 + 25*h + 82. Let r be z(-20). Let c be (r + 18)*(-1 - (-3)/6). Which is bigger: -12/25 or c?
c
Let j = -223 + 153. Let s = 977/14 + j. Let c = s - -5/7. Which is smaller: 2 or c?
c
Let y = -796 + 1819. Suppose -217 = -20*z + y. Which is smaller: z or 60?
60
Let u be 1 + 39/(-1224)*1606. Let v = u + 201/4. Is v less than -1?
False
Let l = 1357.71 + -1357.7. Which is smaller: 537 or l?
l
Let u = -895033/14 + 63889. Is u >= -41?
False
Let u(g) = -g**2 - 30*g + 107. Let w be u(4). Which is smaller: w or -418/15?
w
Let s(z) = 18*z - 1274. Let j be s(100). Which is smaller: 529 or j?
j
Let w be (-90)/(-23) - 14/(-161) - 1. Does 45 = w?
False
Let x be 26 - (6 - (-5)/5). Let w be -3 + (200/x)/(-5) + 1. Is w not equal to -3?
True
Suppose 267*r - 701 = 271*r + 991. Is r < -0.5?
True
Let t(f) = 8*f**3 + f**2 - 10*f + 12. Let b be t(6). Let p be b/(-2142) - 9/(-21). Let z = 12/17 + p. Which is bigger: -1 or z?
z
Let q be ((-28)/(-12) + 0)*19/(-494). Is q >= 0?
False
Let y = 55 - 8. Let u = 116.9 - 164.1. Let c = y + u. Is c less than 1.5?
True
Let a be 9/(-15) + 5312/80. Let j = 5598/85 - a. Let v be 1*(0 + 1)*-1. Which is greater: j or v?
j
Suppose 20*y = 25*y - 105. Suppose r + 5*j - y = j, j = -3*r + 19. Suppose r*z - 65 = -60. Which is smaller: z or 10/21?
10/21
Let n = -30.9888 - -1.4888. Do n and 12 have different values?
True
Suppose 86 + 82 = 14*l. Suppose 28 + 32 = -l*x. Which is bigger: -9 or x?
x
Let j = -29464/44187 - -2/14729. Which is smaller: j or 0.3646?
j
Let h(q) = -4*q - 11. Let s be h(-5). Let v be 9/26 - s/(702/(-12)). Which is smaller: v or -0.3?
-0.3
Let o = 0.758 - -7.782. Let d = 24 + -32.4. Let a = d + o. Does -2 = a?
False
Let j = 1635 + -1707.6. Does -0.04 = j?
False
Suppose -91 = -16*a + 3*a. Suppose -a*m - 11*m = 5580. Is -310 bigger than m?
False
Let o = -7596 - -7596. Which is smaller: o or -7/8?
-7/8
Suppose z - 4*a = -3, 3*z = -70*a + 73*a. Which is smaller: z or 1/9195?
1/9195
Let y be 58 + -1 - (20 - 16). Let m = 67 + y. Which is smaller: m or 0.1?
0.1
Let x = 2278 + -2278. Is x >= -2/4217?
True
Let p(g) = -9*g**3 - 8*g**2 + 8*g + 31. Let q(w) = 13*w**3 + 13*w**2 - 11*w - 46. Let m(f) = -7*p(f) - 5*q(f). Let r be m(-4). Which is smaller: r or 10/133?
10/133
Suppose -23*k = -3647 + 565. Let t = 141 - k. Is 16 greater than t?
True
Let m(p) = -2*p**3 - 5*p**2 - 3*p + 4. Let s be m(-3). Let g be 2/27 - 19720/118233. Let o = g - -9857/453. Is o <= s?
True
Let t = -2781 + 3221. Are 439 and t equal?
False
Let n = -137 + 54. Let s = -4728.1 + 4728. Is s > n?
True
Suppose -417*b + w - 81 = -421*b, b = -2*w + 50. Let i be (-33)/(-2) + 2/4. Is b smaller than i?
True
Let i(x) = -2*x**3 + 2*x**2 + 6*x - 46. Let v(u) =