+ 21 = 0, -5*m = -v + 160. Let w = -70 + 106. Let p = w + m. Which is smaller: 16/3 or p?
p
Let d be 90/(-86) - -9*4/36. Which is smaller: 17 or d?
d
Let i = -45031937/2504 - -17984. Is i at least -0.1?
True
Let b be 15/(-6)*29/(435/444). Which is bigger: -61 or b?
-61
Let j = -2337 - -46741/20. Which is greater: j or -38?
j
Let q(z) = 34*z + 1905. Let c be q(-56). Which is smaller: c or 1/193?
1/193
Let g = 0.09456 - -347.60544. Which is bigger: -0.1 or g?
g
Suppose -2749 = -23*r - 633. Is 997/11 greater than r?
False
Let s = -313.7223 - 0.2777. Are 0.4 and s equal?
False
Let g(l) = -l**2 + 118*l - 3355. Let v be g(48). Which is smaller: v or 83/14?
v
Suppose n = 5*n + 2*y - 154, 5*y = 3*n - 148. Let q = n + -36. Suppose -q*m + 3*i = -26, -2*i = -4*m + 25 - 5. Which is smaller: m or 14/3?
m
Let n be ((-107134)/(-69)*-9)/2. Is n at least as big as -6987?
True
Let w = 7172/3 - 2388. Which is bigger: w or 168?
168
Let b be (34/(-3))/((-1164)/234 + 6 - 1). Which is smaller: -428 or b?
b
Let t = 8546 - 8546.9482. Let b = t - 0.0518. Let a be 3/(-3) - -7*1. Which is smaller: b or a?
b
Let b(v) = 6*v**3 - 195*v**2 - 40*v + 60. Let h be b(33). Which is bigger: 2009 or h?
2009
Let w(t) = 5*t + 62. Let j be w(-8). Let h be 32/(-56)*(79/(-2) + 1). Is h greater than j?
False
Let b = -165 - -185.8. Let x = b - -4.2. Let k = -80 + 82. Which is smaller: x or k?
k
Let i(j) = -j**3 + 12*j**2 - 15*j - 34. Let c be i(10). Let w(b) = -b**3 + 16*b**2 + 10*b - 83. Let m be w(c). Which is bigger: m or 387/5?
387/5
Let y = -8399/25 + 336. Let n be (-4)/(-1) - 0 - (303 - 2). Let b = -298 - n. Is b bigger than y?
False
Let j(d) = 11*d**3 - 4*d**2 - 14*d - 6. Let t = -22 + 20. Let k be j(t). Is k smaller than -242/3?
True
Let k(s) = 2*s + 25. Let l be k(-10). Let n be l/(-25) - 87812/(-29810). Let j = 5/271 - n. Is -2 bigger than j?
True
Let j = 216.9465 - -0.0535. Let p = 217.03 - j. Let m = -18 - -18. Does m = p?
False
Let o(c) = 1383*c + 2. Let h be o(2). Let i be (-1)/(-4) + h/(-64). Let v = -47 - i. Is v equal to -7?
False
Suppose 6*v - 5747 = -42*v + 5677. Is 241 smaller than v?
False
Let t be 1292 - (-1)/(-1) - (-124)/(-31). Suppose -281 - t = -16*o. Is o >= 98?
True
Let y = -7536 - -1255. Do -6281 and y have the same value?
True
Let c = 24.31 + -3.31. Which is smaller: c or 59?
c
Let k(l) = l**2 - 71*l + 356. Let z be k(67). Is z != 87?
True
Let v(j) = -j - 3. Let n be v(-6). Suppose n*p + 0*w + 2*w = 1, 4*p - 1 = -3*w. Let d be (-34)/(-1275)*6/(-10). Is p greater than d?
True
Let x = 14 + -10. Let j = -0.19441 - 16.80559. Which is bigger: x or j?
x
Let c = -60 - -39. Suppose -7*i + 19*i - 1092 = 0. Suppose -b + s = 23, -4*b + 3*s - i = -0*s. Is b at most as big as c?
True
Let h be -4 - (11/(330/(-4)) - 208/40). Are -0.6 and h nonequal?
True
Let r(d) = d + 28. Let q be r(-18). Let v(a) = a**3 - 11*a**2 + 10*a. Let o be v(q). Suppose o = -4*n - 4*y - 88, 5*n + 110 = -2*y. Which is smaller: -23 or n?
-23
Let k = 53.37 + -2.47. Let l = 224 - 275. Let h = k + l. Which is greater: h or 9?
9
Let b be 19/(-95) + (-2458)/(-140) + 0. Is 16 smaller than b?
True
Let f be (((-20)/(-200))/(6/10))/(1916/(-6)). Is 0 bigger than f?
True
Let y be (45/(-6))/((-18)/8). Suppose -7*o + 750 = 18*o. Let g(n) = -3*n + 93. Let w be g(o). Which is smaller: y or w?
w
Suppose x - 5*j + 57 = 0, -x + 4*j = 13 + 40. Let b(d) = d**3 + 12*d**2 + 25*d + 20. Let q be b(-9). Let p = q + x. Which is greater: -3/7 or p?
p
Let s be (5/((-5)/(-11)))/1. Suppose -s*v + 13*v - 48 = 0. Suppose 0*a - 2*a = -v. Which is greater: 38/3 or a?
38/3
Let k be 654/(-16) - (14 + -11). Let c = k + 86713/1976. Suppose -3*y = y + 4. Which is greater: c or y?
c
Let a = -152 + 216. Let o = -58 + a. Let c be (-30)/(-15) + o/(-2) + 2. Is c < -2/41?
False
Suppose -99*a + 164*a + 97*a = -70*a. Which is greater: a or 46/797?
46/797
Let m = -1.26 - -1.16. Suppose h = -10 + 18. Let u be (2/h)/(2/4). Which is smaller: u or m?
m
Suppose -2*b + 145 = -3*v - 2, -3*b - v + 215 = 0. Suppose 8 = -4*n - b. Let a = n - -43. Is a bigger than 23?
False
Suppose -130*m - 5 = -265. Suppose 2*w - 4 = 4. Suppose 0 = -3*v + w*v + 1. Which is smaller: v or m?
v
Let c(y) = -2499*y - 27494. Let r be c(-11). Let q be 28/(-5)*(-10)/(-11). Which is greater: q or r?
r
Let l(x) = -37*x + 39. Let o be l(7). Let m be (-1)/5 + o/(-50) + -5. Which is greater: m or -2?
m
Let j be -9 - (4/(-2))/((-12)/(-18)). Let o be 4*1 - (-2)/(-2). Suppose -12 = 7*y - o*y. Which is smaller: y or j?
j
Let s = -60 + -17. Let w = -76 - s. Let m be 0*2/14*(0 + w). Is m > -2?
True
Let b be 5409 - (-14 - 0)/(-1)*19/38. Which is bigger: 5404 or b?
5404
Let m(g) = -2*g**3 - 7*g**2 - 5*g + 3. Let h(q) = -3*q - 64. Let o be h(-20). Let a be m(o). Which is bigger: 40 or a?
40
Let z = 5 - 42. Let q = z - -36.88. Let v = q + 2.12. Is -24 at most as big as v?
True
Let f(c) = 3*c + 9. Let a be f(-3). Let u = 6514/5 + -462584/355. Is u at least a?
False
Let x = 13907.53 + -13706. Let o = -203 + x. Is o greater than or equal to 0.1?
False
Suppose t + 30 = 3*w, 19 = -4*t - 4*w - 133. Let r be (12/t)/((-3)/9). Is 1/30 at least as big as r?
False
Let a(m) = m**2 - 8*m + 21. Let i be a(8). Suppose 3*y = -2*f + 11, -5*y + 10*y = -4*f + i. Which is bigger: 1/70 or y?
y
Suppose -2*y + 5*l = -2, -5*y - l + 5 = -0. Are -20/199 and y non-equal?
True
Let k = -6207808/9906585 - 14/32695. Let v = k - 4/101. Let y be 5/15 + (-386)/6. Which is smaller: y or v?
y
Suppose -2*l - 40 = 3*l. Suppose -14*t - 3 = -17*t. Let w be (-473)/55 - (t - (-3)/(-5)). Which is smaller: w or l?
w
Let x be 2/(2 - 4)*1*-1. Suppose -2*k - l - x = 0, 11*k - 5*l + 7 = 9*k. Is k at most 3/31?
True
Let z be (9/15)/((-4)/20) - -17. Let p be ((-100)/(-30))/(4/6). Suppose -p*h - 56 = z. Are -14 and h nonequal?
False
Let w(j) = -55*j**3 + 2*j + 2. Suppose -2*g - 6*m = -2*m - 18, 4*m - 16 = -4*g. Let x be w(g). Are 53 and x unequal?
True
Let p = 8646457/55 - 775912/5. Let q = p - 2030. Which is smaller: -4 or q?
q
Let s = -86 - -268. Let h = s + -160. Do h and 22 have different values?
False
Let o be (-3)/((-18)/4)*54/12. Suppose 3*d + 171 = 3*a, 0 = -o*a + d - 4*d + 159. Which is greater: 56 or a?
56
Suppose 72*z - 151 = -79*z. Is 4/11621 >= z?
False
Let s(j) = -10*j - 13. Let k be s(-9). Let o be 78/(-224) - (-22)/k. Let m = 87 - 86. Which is bigger: m or o?
m
Let a be (0 - 62/18) + 1. Let z(x) = -114*x + 181. Let d be z(-3). Let n = -526 + d. Is a less than or equal to n?
False
Let d(r) = -3*r**2 + 21. Let l be d(3). Let h be l + (-980)/(-130) - 8/(-2). Which is smaller: h or 6?
h
Let v(o) = -o**3 + 39*o**2 - 170*o + 9. Let w be v(34). Suppose 36*x + 54 = w*x. Let r be -1*1 - 6/27. Is x > r?
False
Let q = -4 - -8. Let u = -5 + q. Let r = 203 - 3043/15. Are u and r unequal?
True
Let s(t) = 1076*t + 3042. Let z be s(-5). Are z and -2340 unequal?
True
Let s(t) = 5*t + 64. Let k be s(-12). Suppose -5*i + 3*l = -6*i - 73, k*i + 4*l = -268. Is i at least as big as -64?
True
Let b(t) = -3*t**3 + 4*t**2 + 38*t - 166. Let h be b(0). Let c(p) = -18*p**2 + 3*p + 3. Let f be c(-3). Is f >= h?
False
Suppose 6 + 14 = 5*b. Let k be 4*(1 - 10/b). Let y = k - 1. Which is smaller: y or 0?
y
Let s(i) = 4*i + 2. Let g be s(1). Suppose g*w = 2*w + 4. Let k be ((-2)/(-26)*1/3)/(60/(-216)). Do w and k have the same value?
False
Let z(t) be the first derivative of -13*t**4/4 - t**3/3 + t**2 - 2*t - 8. Let n be z(1). Let p be n/4*(13 + -9). Is -14 at least as big as p?
True
Let d(t) be the third derivative of -t**6/120 + 2*t**5/15 - t**4/8 + t**3/6 - 66*t**2. Let h be d(6). Which is smaller: h or 54?
54
Suppose 0 = -47*c - 5*c - 13046 - 25642. Which is smaller: c or -740?
c
Let z(j) = 6*j**3 - 8*j**3 + 175*j**2 + 21*j - 208*j**2 + 41. Let b be z(-17). Which is greater: b or -25?
-25
Let a = -33.3124 - 0.0876. Let f = 34.4 + a. Which is smaller: f or -0.007?
-0.007
Suppose 0 = -172*z + 289*z - 6669. Let y = -59 + 116. Is y at most as big as z?
True
Let a(c) = -c**2 - 2*c - 7. Let b be a(5). Let d = b + 52. Suppose 5*j + 4*f - 16 = 35, j - 5*f = 16. Which is smaller: j or d?
d
Let s be ((-51)/187)/((-54)/198). Do s and -176 have the same value?
False
Let d = 112 - 101. Let c = -7 - -12. Suppose -c*k - d = -6. Which is smaller: k or 2?
k
Let x(s) = 2*