 b(j) = j**2 + 16*j + 1. Let r be b(-16). Suppose -3*d - 7 = -43. Let y be (1/(-127))/((-3)/d*2). Which is smaller: r or y?
y
Let w = -12 + 14. Let n be 295/175 - 26/(-260). Which is greater: w or n?
w
Suppose -4*q + 7 = l, -47*l = 3*q - 43*l - 2. Is 66 not equal to q?
True
Let t(m) = -m**2 - 5*m. Let a be t(-5). Let c be 4544/93294*(-27)/(-6). Is a greater than or equal to c?
False
Let u = -3/398 - 601/25870. Let s = 0.102355 + -0.702355. Which is greater: u or s?
u
Let q be ((-2100)/1440)/(0 + -5). Let x = 2 + -3. Does q = x?
False
Let g = -79665 + 963595/12. Let l = g + -635. Which is greater: l or -8?
l
Suppose 12*n = -249 + 213. Let i be 0 + (-2 + 0)*2. Let c be 63/i*2/n. Is 10 less than c?
True
Let x = -424/601 + -3059621/1803. Let f = x - -1725. Is 3 at least as big as f?
False
Let c = 193.4 - 160. Let k = c + -41.6. Do 2 and k have the same value?
False
Let z = -1/35634 + 4418663/1674798. Does z = 3?
False
Let p(t) = -t**3 - 2*t**2 + 4*t - 10. Let g be p(-5). Let f = g + -59. Let y be (-32)/f*40/(-32). Which is bigger: y or -3?
y
Suppose 0 = -2*v + 6*v - 28. Suppose -z = y + 60, v*y = 2*y - 2*z - 294. Let j = y - -13. Is -45 smaller than j?
False
Let y(t) = -2*t**2 + 44*t - 25. Let n be y(26). Let u = n + 226. Which is smaller: -76/11 or u?
u
Suppose -16*p = -48 + 16. Suppose 4*b + 5*o - 986 = 0, -p*b = -17*o + 19*o - 494. Is 249 bigger than b?
False
Let q = 69/97 - 2526/8051. Which is smaller: 0 or q?
0
Suppose -28*x = -15*x + 3549. Which is smaller: x or -275?
-275
Let o be (107 - 346)/((-2)/(-4)). Let i = o + 526. Is -1 smaller than i?
True
Let b = -10 - -9. Let z be 12 - (-198)/2750*-165. Which is bigger: b or z?
z
Let k = -1396350/19 - -73595. Let s = k + -103. Let d = 1.63 - 0.83. Which is bigger: s or d?
d
Let w = 4.38 + -0.08. Let m = w - 7.7. Let u = m - -1.4. Which is smaller: u or -10?
-10
Let q be (-106 - -115) + 3 + (-177)/15. Which is bigger: q or 0.0218?
q
Let a = 205 - 206. Let x be (-38)/6 - (-5)/(-15)*a. Which is greater: -29/6 or x?
-29/6
Let b = -14223/5735 + 92/37. Let t(j) = -512*j + 1535. Let z be t(3). Which is greater: b or z?
b
Let n = 112900 - 112901. Let h be 1/(-2)*(1 + -359). Which is smaller: n or h?
n
Let x be 6/(-2) - (11620 + (18 - 8)). Which is smaller: x or -11632?
x
Suppose -6 = -2*z + 4*b, -3*z - 2*b = -0*b - 1. Let j be (2/(2/(-1)))/(0 - z). Let f be j/(-2) - (-15)/36. Is f at most -1?
False
Let n be 2/(-4) - 151/(-2). Let b be ((-33)/(-9))/((-18)/(-378)) + -7 + 3. Is n greater than or equal to b?
True
Suppose 2*p = p + 5*x - 11, 5*x = -5*p + 5. Let o = 8003/8428 + -177/196. Which is smaller: p or o?
p
Let f = -301 + 265. Suppose -d - d - 52 = 0. Let o = f - d. Which is greater: o or -41/4?
o
Suppose -4*u + 100 = 3*l - 456, -737 = -4*l - u. Let z = l - 183. Is z >= 2/115?
True
Let r be ((-13)/39)/(1/3) + 4*1. Are 196/123 and r equal?
False
Let r = 20995 - 20995. Is -1/3584 at most r?
True
Let c be 5 + 265/(-55) + (-5)/(165/(-44676)). Which is smaller: c or 1353?
1353
Let y = -21475/9 - -2387. Let v be 3 + (-3 - ((-6)/3 - 0)). Which is smaller: y or v?
y
Suppose -67*u + 1218 = -53*u. Suppose 0 = -2*k + 35 + 139. Is k at least as big as u?
True
Let t = -15358 - -2601. Is t != -12758?
True
Suppose 0*t - 4510 = -10*t. Suppose 53 = 6*b - t. Let y = b + -84. Which is bigger: y or 2/231?
2/231
Let m = -45 - -50. Suppose -5*s = -20, -6*s - 14 = -m*a - 7*s. Suppose k = -a*k + 12. Which is smaller: k or 9/2?
k
Let g be 4/(-2 + 6) - 72*1. Let h = g + 65. Let i(m) = m**3 + 5*m**2 - 5*m + 6. Let o be i(h). Is o equal to -2/61?
False
Let t be ((-3)/(-15))/(8/200). Suppose 4*r + 452 = -4*l, 0 = -t*r + 2*r + 2*l - 329. Which is bigger: -110 or r?
-110
Let m = 6771 + -4692. Which is bigger: m or 2077?
m
Let o(i) = -8*i + 177. Let u be o(23). Suppose -3*q = 3*v + 9, 3*v + 22 + 8 = 4*q. Are v and u unequal?
True
Let h = 1348 + -1276. Is h > -1?
True
Let g be -18 + (-3 - 3614/(-169)). Do g and -4.7 have different values?
True
Suppose 4*x - x + 93 = 0. Let u be (1386/12)/(1*(-15)/4). Which is bigger: x or u?
u
Let o be (-2)/(-42)*3 - 452/1498. Which is greater: o or -1?
o
Let j = -4969 - -4948. Is j >= 5/6?
False
Let v be 92 + (-24)/3 + 21. Is v less than 101?
False
Suppose -5*g + 12 = 4*q, -g + 6*g - 2*q = -6. Let a be 5/10*g + 0. Is -9/13 greater than or equal to a?
False
Let y = -2.89 + 0.09. Let m = -0.2 + y. Let z = 0.014248 - -0.485752. Which is smaller: z or m?
m
Let l(d) = d**3 - 7*d**2 - 7*d + 43. Let k = 202 + -195. Let z be l(k). Is 5/4 less than or equal to z?
False
Suppose -2*h - 106 = -2*u, -3*u = h - 5*u + 58. Let o(b) = 5*b + 13. Let m be o(-3). Let c be m - ((-3)/3 + 48). Which is greater: c or h?
h
Let p = -2992/13 - -21839/78. Is -4/5 less than p?
True
Let p = 377 + -373. Suppose 4*y = 11*q - 10*q + 138, 0 = -p*y - q + 142. Are 33 and y nonequal?
True
Suppose 0 = b - 14 + 12. Suppose b*w + 1 - 5 = 0. Let h be 38/(-11) + 9 + -4 + 0. Is h at least w?
False
Let p = -418.6 - -418.4673. Which is greater: -0.03 or p?
-0.03
Let x = -1732.3 - -1732.30111. Which is bigger: x or -0.1?
x
Let o be -21*(21224/42 + -21). Is o bigger than -10171?
False
Suppose -2*v + 82 + 10 = 0. Suppose -5*x - v = 44. Let d(z) = -4*z**3 + 2*z**2 - z + 6. Let i be d(2). Which is greater: x or i?
x
Let z be 25/10 - 4/(-8). Suppose 6 = 4*g - 2*w, -z*w - 3 = g - 2*w. Let i be (1/2)/((-71)/2). Which is smaller: i or g?
i
Let n = 6027 + -6022. Is n bigger than 103/21?
True
Suppose -4*q - 3*r - 52 - 118 = 0, 182 = -4*q + 3*r. Let l = q + 39. Suppose -3*m = -0*m + 3. Is l equal to m?
False
Let z(o) = -2788*o + 7672. Let m be z(4). Is -3481 < m?
True
Suppose -24 = -s - 5*m, -1 = -s - m + 7. Let v be (54/5)/(s/20). Let w = 237 - 183. Does w = v?
True
Let h = 287/55 - 27/5. Let g = 64198/160545 - -4/32109. Which is bigger: g or h?
g
Let l be 44/20 - 8/40. Let w be (6 - 7)*l - (0 - 5). Is w < 3?
False
Let t(z) = -z + 5. Let d be t(5). Let s be 4/10 + (-4 - (-170)/(-50)). Let l be s*(-16)/(-56)*(-1)/94. Is l equal to d?
False
Let j(v) = -v**2 + v + 211. Let m be j(0). Suppose 0 = 2*q + 2*u - 14, -q = -2*u - 9 + 8. Suppose 104 = q*k - m. Is k less than or equal to 64?
True
Let k = 0.05 - -0.05. Let w = -2.36 - -1.26. Let d = k + w. Is d at most 1/7?
True
Let p = 330.84 + 157.16. Which is smaller: p or 0.01?
0.01
Let r = -55213/17 + 3247. Which is greater: -1 or r?
r
Let n = 0.1 + -0.6. Let y = -1.3617 + 0.5856. Let j = y - 0.0239. Is n smaller than j?
False
Let m(g) = 127*g + 1. Let j be m(-1). Let w = -54 - j. Let c be 628/w - 12/54. Are 9 and c unequal?
True
Suppose -2*p + p + 92 = -j, 3*j = -2*p - 256. Which is greater: -108 or j?
j
Suppose 12*n + 370 + 1502 = 0. Let c = 155 + n. Which is smaller: c or 15/41?
c
Suppose 612*u = 616*u - 188. Suppose -3*j + 18 = -4*k, 0*k - j = -k - 5. Let v(r) = -16*r. Let f be v(k). Which is smaller: u or f?
u
Let g be -2469*(34/(-66) - 28/(-154)). Which is bigger: 825 or g?
825
Let q = -2456/99 - -220/9. Let b = -19/22 - q. Let z = 14306.04 - 14306. Is b >= z?
False
Let x = -39.71 + -8.99. Let r = x + 49. Let u = 6 - 6.04. Is r less than or equal to u?
False
Suppose r - 18 = -37. Let s = 21 + r. Suppose s*k + 7 = m, -4*k = -3*m - 2*k + 5. Which is smaller: 1/42 or m?
m
Let r = -233.76 - -1.76. Which is smaller: 9 or r?
r
Let h be (1 - 12/2) + 78 + -72. Let u be (-52)/154 + 32/112. Which is greater: h or u?
h
Let j(y) = -270*y**2 - 11*y - 44. Let t be j(-3). Which is smaller: t or -2440?
t
Suppose 0 = -3*i + 110 - 20. Let p = i - 26. Suppose -6 = -2*o - p. Is o at least -0.1?
True
Let v = -3 - -13. Let p = 48.79 + 1.21. Let o = p + -54. Do v and o have different values?
True
Let q = -982 - -928. Let c(a) = -a**2 - 5*a + 4. Let t be c(-5). Let k be 497/(-9) + t/18. Is k smaller than q?
True
Let h = -46/199 - -108/2189. Is h > 13.8?
False
Let k = -9 - 9. Let r = 31 + k. Suppose -15*l = -r*l. Is l at most as big as 1?
True
Suppose 16417 + 2558 = 5*q + 28*q. Which is smaller: q or 564?
564
Let d = -570.462 + 25.462. Which is greater: d or 3/5?
3/5
Suppose 5514 + 794 = -83*n. Suppose -2 = -0*z - 2*z. Which is bigger: n or z?
z
Let b be 17 + 1 + (0 + -6)/(-2). Suppose 19*s - b + 819 = 0. Are -45 and s unequal?
True
Let w be (-7)/42 - 15/(-36). Suppose -3*f + 40 = -5*o + 52, 3*o = -5*f + 14. Is f greater than 