 = -16*g. Let b be (-25)/(0 - 5)*w. Let p be (-2 - (-7)/2)*2. Which is smaller: b or p?
b
Suppose -15*v + 21*v = 6. Which is smaller: v or 4/357?
4/357
Suppose -18117 - 8449 = -36*f + 3314. Which is bigger: 831 or f?
831
Suppose -35 = -4*r - 23. Suppose t - 55 = 5*k, r*t - k - 40 = 69. Which is smaller: t or 31?
31
Let v be -13 - (-1118)/(6 + -19). Which is smaller: v or -1305/13?
-1305/13
Let k(j) = -j**2 + 10*j + 495. Let z be k(-30). Which is greater: z or -708?
z
Let n = 716 - 715.15. Which is greater: n or -9?
n
Let g(k) be the third derivative of -4*k**5/15 - k**4/2 + 14*k**3/3 + 2*k**2 + 1. Let v be g(2). Is v greater than -58?
False
Let w = -221 - -222.23. Let u = w + -1.83. Is u less than or equal to -0.17?
True
Let f = -378 + -383. Let g = -772 - f. Is g at least as big as 8?
False
Suppose -21*m = 5*j - 16*m - 805, 0 = -4*m - 24. Do j and 163 have the same value?
False
Let i(a) = -72*a + 117. Let l be i(-18). Are l and 1416 equal?
False
Let l = -68 - -83. Let o be (-1)/3*8*l/350. Suppose 5 = 3*t + 3*f - 10, 2*t = -4*f + 20. Are o and t equal?
False
Let u = 10121 - 13523. Are u and -3400 equal?
False
Suppose 4*u = 8, u + 2 - 6 = 2*g. Let j = -118/19 - -13/2. Which is bigger: g or j?
j
Suppose -2*y = 5*r - 240, 3*r - 3*y = 81 + 63. Suppose 10*x = 9*x + 4*q + 30, -3*q - 185 = -4*x. Which is greater: x or r?
x
Let f(y) = 25*y**3 - 2*y**2 - 3*y. Suppose 0 = -5*i + r - 13, 5*i + 4*r = -r - 25. Let m be f(i). Let z be 2/(-4)*(4 + m/174). Is 1 < z?
False
Let s be 95113*3/(-75) + 5. Let o = 3800 + s. Is o at most as big as -1?
False
Let b = 8 + -8. Suppose b = -4*u + 5*u + j + 1, 3*j = -6. Let f be -4 + 385/99 - (-32)/450. Is f > u?
False
Let w = 130/141 - 13838/14805. Is w at least 1?
False
Let n be (77/21 - 3)/(2/3). Let q be (1388216/64771 - 21) + (-3)/7. Which is greater: n or q?
n
Let b = 102.1 + -95. Let h = b + -8.1. Is h not equal to 2?
True
Let d(h) = -h**2 - 2*h. Let g(n) = -n**2 + 44*n + 45. Let y be g(45). Let j be d(y). Suppose -98 - 20 = 2*a. Which is smaller: j or a?
a
Let d be 7/(-56*(-24)/192). Suppose -l - 2*l = -90. Which is smaller: l or d?
d
Suppose -221 = 3*a - d, -3*a - 116 = -5*d + 101. Let q = 77 + a. Suppose 4*h - 4*y = q*h + 30, 2*y = -4*h + 174. Which is smaller: h or 43?
h
Suppose 0 = -5*o - 74 + 146 - 77, -14*o = 5*y + 9. Suppose 1 = 3*z + 2*v, 0*z + 4*v - 17 = -z. Let t be (-1)/z - (-20)/(-42). Which is smaller: y or t?
t
Let i(q) = q**2 + 7*q + 2. Let j be i(-7). Suppose -j*z + 32 = 2*z. Let r = 3228 + -3218. Is z not equal to r?
True
Let j(o) = -o**3 - o**2 - o - 2. Let i be j(-2). Suppose -i*l = 662 + 834. Let h be (3/6)/((l/(-12))/11). Is h equal to 1?
False
Let r = 281720 - 3660526/13. Which is smaller: r or 140?
140
Let g = -497 - -234. Which is bigger: g or -269?
g
Let u(s) = 9*s**2 - 87*s - 90. Let z be u(11). Which is greater: z or 266?
266
Let p = -148 + 148.146. Let q = p + -0.346. Let y = -2/537 + 3403/537. Is y bigger than q?
True
Let y = -136558/5 - -27313. Which is greater: -2.92 or y?
y
Let g = -3.89 - -220.89. Let t = g - 216.9. Let r(y) = 6*y. Let b be r(2). Which is smaller: b or t?
t
Let v(k) = -7*k**2 + 147*k - 1327. Let n be v(8). Is n at least as big as 15/2?
False
Suppose 0 = 9*i - 8*i. Suppose i*s + 4*s = 5*s. Let n be 1440/355 - 4 - 0. Which is bigger: s or n?
n
Suppose 2*c + 2*n - 14 = 0, -c + 3*c - 5*n - 42 = 0. Let u be 8/10*(27/6 - 2). Suppose 12 = 3*h, 0 = -2*z - u*z + 5*h + 20. Which is greater: c or z?
c
Let t = 81/10 + -8. Let a = -3/737 - -865259/5159. Let m = 168 - a. Is t smaller than m?
True
Let h(u) = -u**3 - 11*u**2 + 13*u + 14. Let q be h(-12). Let f be 7 + -11 + (q - -3). Is f smaller than 32/23?
True
Let j = -2263/29 + 78. Suppose 3*p = -0 - 9. Let h be 4/12*(p - 0). Do h and j have different values?
True
Let p be 14/9 - 4/(-18). Let a = 16927 - 16924. Which is greater: p or a?
a
Let i(s) = 107*s**2 + 72*s - 752. Let z be i(8). Is -1/4 less than z?
True
Let z = -14916 - -14865. Which is smaller: -32 or z?
z
Let a be (-14)/21 + (-3 - 1). Let w = 1215 + -1215.1. Is a <= w?
True
Let j = -1 - -1.06. Let q = -1255.38 - -1255.43. Which is smaller: q or j?
q
Let t = 849233/9 + -94756. Let w = 398 + t. Is 2 <= w?
False
Let p be 1*(4*2 + 24800/(-2666)). Which is greater: 0.1 or p?
0.1
Suppose -105*q = -83*q + 22990. Which is bigger: q or -1046?
q
Let v(g) = 4*g**2 + 28*g + 17. Let k(d) = -15*d**2 - 110*d - 67. Let z(x) = -6*k(x) - 22*v(x). Let h be z(-21). Which is smaller: -13 or h?
h
Let r be 2/6512*(-192)/32*(-92)/23. Which is smaller: r or -0.8?
-0.8
Let x(m) = m**2 - 46*m - 10. Let r be x(46). Let l be 4/r - 265/(-350). Let y be (2/4 - 1)*2. Which is greater: l or y?
l
Let h(q) = -4*q + 1. Let k(r) = -7*r + 1. Let f(s) = 5*h(s) - 3*k(s). Suppose 2*w - 18 = 3*t - w, -4*w + 20 = 0. Let u be f(t). Which is smaller: u or 1/17?
1/17
Suppose -4*t - 32 - 52 = 0. Let d(u) = 5025*u - 25144. Let q be d(5). Which is greater: q or t?
q
Let q = 829 + -794.96. Let m = -0.04 + q. Let x = m + -33.8. Is x at least -0.18?
True
Let g = 1 + -1. Let d(j) = 3*j**3 + 34*j**2 - 29*j - 42. Let h be d(-12). Let y be (-1017)/h - 10/(-4). Is y less than g?
True
Suppose 2*x + 0 = -10. Let t(m) = 16*m + 70. Let d be t(x). Let i = -95 - -473/5. Is d bigger than i?
False
Let u be (10/(-11))/(-5) + (-2478)/28875. Which is smaller: u or 0?
0
Let x = -2056 - -2032. Suppose -g - 29 + 2 = 0. Which is bigger: x or g?
x
Let h = -121/96 - -19/32. Let b = -410 + 2037/5. Is h equal to b?
False
Suppose 0 = -h + 5*u + 631 + 823, 4*h - 5765 = 3*u. Let q = h + -966. Are 472 and q equal?
False
Let j = -40 - -43. Let a be 36/4 - (j - -1). Suppose -a*y + y = -4. Which is greater: -2/25 or y?
y
Let j be (-4 - -28 - -2451) + -22. Do 2453 and j have different values?
False
Suppose -2*f = 3*f + 5. Let n = -61998/19 - -3262. Is f greater than or equal to n?
True
Let k be (-1)/3 + (-3)/(-9). Suppose k + 15 = 3*l. Let c = 287 - 283. Which is smaller: l or c?
c
Suppose -257 = -7*k + 394. Suppose -34*c - k = -35*c. Let r = 91 - c. Is r greater than or equal to 0?
False
Let d be -1 + 1/2*22. Let v be 1*(-1)/d*-2. Let z = -134.3 - -138.3. Which is bigger: z or v?
z
Let c be (-35)/(-15) + -2 + (-46)/(-6). Suppose 4*z = c*z + 20. Let y be 10*(0 - (-4 - z)). Which is greater: -8 or y?
-8
Let t(g) = -g**2 + 2*g + 13. Let y be t(-2). Let q be y + (-2 + -3)/(-5). Let c be (-723)/6 + 3/q. Do c and -121 have the same value?
False
Let b = -231 - -234. Let u(d) = 4*d**3 - d**2 - 3*d - 2. Let r be u(-1). Let l be (-4)/(r/b) + -2 + 0. Is -22 greater than l?
False
Let p be (-35712)/(-5958) + ((-4)/(-5))/(6/(-45)). Which is smaller: -24 or p?
-24
Let l be (-2 - 2)/(8620/1196 + -5 + -2). Which is smaller: -20 or l?
-20
Let f = -176 - -166. Let a be ((-3)/15)/((-6)/f)*3. Are a and -3/233 unequal?
True
Let v = 23.3 - 106.3. Let u = v + -65. Which is smaller: 1/3 or u?
u
Let s = 2480 + -2490.7. Is s bigger than -5?
False
Let r(i) = -9*i**2 - 54*i - 4. Let w be r(-6). Let b be (-16)/(-6) + w - 2/(-6). Is 15/58 > b?
True
Let x = -13681 + 31315808/2289. Which is smaller: x or 0?
x
Suppose 5*u = -5, -4*z + 3*z + 328 = -5*u. Suppose -38 = 5*c - z. Let s = c - 52. Is 4 bigger than s?
False
Let k be (4/10)/((-492)/150 - 7). Is k at least -1?
True
Let y = 1 + 0. Let l = 355 + -335. Suppose 0 = l*d - 24*d - 68. Which is smaller: y or d?
d
Suppose -18*g + 16141 = 649 - 4722. Which is bigger: g or 1124?
1124
Let x = -218.01343 + 0.01343. Are x and -0.6 nonequal?
True
Let a = 204.322 - 0.322. Let f = 206.4 - a. Are 0 and f unequal?
True
Let x be 1*4/(-8) + 2605/10. Suppose 2*w + x - 288 = 0. Let k be 10/8 + -18 + w. Does -4 = k?
False
Let z be 63/1239*((-36)/27 - -2). Let a(u) = -u**2 - 7*u - 7. Suppose 0 = 5*x - 2*d + 34, 3*x - 2*d + 20 = -d. Let f be a(x). Is f at most as big as z?
True
Let v be (11 - -1)/((-9)/(-6)). Suppose 4 = -3*o + 5*b + 7, 4*o - 9 = 5*b. Are v and o non-equal?
True
Let s(z) = -2*z**2 + 65*z + 85. Let u be s(30). Is u bigger than 250?
False
Suppose 3*y = 2*n - 32872, 53*n - 54845 = 5*y + 58*n. Which is smaller: y or -10961?
y
Let o = 118 - 117.53. Let y = 0.33 - o. Let g = y + 0.24. Is g less than -18?
False
Let o = -3929 + 11786/3. Which is smaller: o or -1/125?
o
Let x be (-1574)/(-176) - (-81)/(-648). Is 1 greater than or equal to