08). Let s = p + -828/13. Let w = -123 - s. Is -4 > w?
False
Let c(a) = -a**3 - 7*a**2 - 8*a + 7. Let z be c(-6). Suppose 16*u - z = 35*u. Is 1/43 not equal to u?
True
Suppose -r + 291 = -130. Let s = -408 + r. Does 15 = s?
False
Let c = 10 - 17. Let q = c - -45. Let x be 40 + 1 - (19 - 22) - 5. Which is smaller: x or q?
q
Suppose 115*a - 111*a - 236 = -3*r, a + r = 61. Suppose -4*k - z + 218 = 0, k - 4*k - 4*z = -157. Which is smaller: a or k?
a
Let t(q) = 9 + 18*q**2 - 7*q - 22*q - q**3 + 13*q. Let a be t(17). Is 27 less than or equal to a?
False
Let c = -255 - -255.235. Let a = 0.765 + c. Is 1 at most a?
True
Let y be ((-2)/(-4))/(2/(-8)) + -3. Let d be -1*(3/y - (-35)/100). Is 25 > d?
True
Let w be (96/(-1720))/((-2)/5 + 1840/4575). Is w <= -25?
True
Let k(c) = -c**2 - 12*c. Let l be k(-12). Let g be 9 + 2 + -3 + 4. Let x be ((-6)/4)/(g/(-5)). Which is greater: l or x?
x
Let j = -26076 - -21298. Do -4780 and j have the same value?
False
Let l(k) = k**3 + 27*k**2 + 140*k - 40. Let j be l(-19). Is j smaller than 1681/9?
False
Suppose z + 4 + 1 = 0. Let m(w) = w**2 - 38*w + 333. Suppose -226 = -31*s + 208. Let l be m(s). Is z > l?
False
Let t = -754 - -754.0809. Let a = -0.0209 + t. Let k = 1/100 + -21/100. Is a <= k?
False
Let d = -35/138 + 2/23. Let x(t) = 27*t - 48. Let j be x(2). Which is smaller: j or d?
d
Let y = 764971/21 + -36427. Is y at least -9?
True
Let h be (-224)/(-64)*(13 - -3). Which is greater: h or 96?
96
Let c(m) be the second derivative of -m**5/20 + m**3/3 - 3*m**2/2 - 29*m. Let g be c(0). Let f be -4 - (-6 - (-3 - g)). Is f at least as big as 20/11?
True
Let o(l) = l**3 - 8*l**2 + 9*l + 2. Let p be o(7). Suppose 0 = -0*f - 4*f - p. Let d be (-516)/135 - 26/(-117). Is f less than or equal to d?
True
Let n(s) = 4*s - 575. Let j be n(28). Do j and -461 have different values?
True
Suppose 2*k - 2*i + 6 = 0, k - 2*k - 3*i - 11 = 0. Let w be (-2)/(-1 + 55/44) + (-40)/(-9). Which is smaller: w or k?
k
Suppose 42*l = 47*l + 4*d + 42, -9 = 3*l - 3*d. Which is greater: -733 or l?
l
Let u = 15193/897 - 220/13. Let w be ((-1)/3)/((-6)/72). Suppose -2*q + w = 2. Is u greater than q?
False
Let j = -62867498/339295 - 1248/6169. Let p = -922/5 - j. Which is greater: p or 2?
2
Let b = 74147/36 + -17072/9. Which is greater: 162 or b?
b
Let p = -604.15 - 6.85. Let k = p - -631. Which is bigger: k or 0.04?
k
Let n = -87078 - -55468698/637. Let c = -138193/1911 - n. Are c and -72 nonequal?
True
Suppose 7*q - 319 + 186 = 0. Suppose 4*z = 2*t + 34, q + 15 = -2*t - 5*z. Let p(b) = -2*b**3 + 2*b - 3. Let g be p(2). Is t < g?
True
Suppose 3*a - 4*a + 0*a = 216. Which is smaller: -226 or a?
-226
Suppose -37*t = -30*t - 1260. Let j = -171 + t. Which is greater: j or 100/11?
100/11
Let l be (6/9)/((-1)/519). Let i = -347 - l. Is i equal to -1?
True
Let x(d) = d**3 + 6*d**2 + 12*d + 18. Let u be x(-4). Suppose u*k + 85 = 61. Is -4 smaller than k?
False
Let m = -133 + 75. Let c(v) = 330*v - 55496. Let g be c(168). Which is greater: g or m?
g
Let l be 52/16 + 3/(-12). Suppose 17 = 5*a - l. Suppose -10*i + a*i - 132 = 0. Which is smaller: -23 or i?
-23
Let b be ((-286)/(-33))/((-2)/(-180)). Suppose -40*i + b = -30*i. Is i equal to 81?
False
Let z be (57 + -43)*54/(-72). Suppose 2*u = 5 + 1. Suppose 0*v - u*v - 33 = 0. Is v not equal to z?
True
Let c = 246 - -168. Let j = -399 + c. Which is smaller: 2/7 or j?
2/7
Let h(m) = -m**2 + 21*m + 148. Let u be h(26). Let f be (-4800)/(-801) - u/(18/6). Suppose 3*c = -1 - 2. Are f and c equal?
False
Let p = 38198192/469 + -81446. Which is smaller: p or 0?
0
Let z = -18 + -137. Let q be (168/2016)/(-3 - -1 - 4/(160/(-70))). Is q bigger than z?
True
Let i = 1418 + -7213/5. Let k(q) = -4*q - 2. Let s be k(6). Is s >= i?
False
Let j(r) = -414*r - 74 + 857*r - 430*r. Let n be j(6). Which is smaller: n or -2?
-2
Let o(t) = 129*t**3 - 2*t**2 - t. Let d = -34 - -33. Let c be o(d). Let v be 3/(555/c - -3). Is v < -3?
False
Let y(s) = -3*s + 29. Let g(h) = -16*h**3 - 2*h + 4. Let d be g(1). Let u be y(d). Which is smaller: 75 or u?
u
Let i be -8 + 0 + (-3)/(-1). Suppose 5*d + 23 = 5*x - 8 - 49, 0 = -2*d. Is i less than or equal to x?
True
Let v = -5788 + 167850/29. Which is greater: v or -25?
v
Let h be (419778/130)/(658/(-5)). Let q = h + 319/13. Does q = 1?
False
Let h be 5/2*108/15. Suppose h*g = -5*g. Which is bigger: g or 20/17?
20/17
Let b = -222.3 + 229.3. Which is bigger: b or -85?
b
Let q be (20/6)/(18/351). Let d be (304/(-20) + 2)/((-4)/20). Let k = q - d. Which is smaller: 2 or k?
k
Suppose -16 = 3*k - 2*l, 0 = 5*k - 44*l + 47*l - 24. Is 3/481 at least as big as k?
True
Let o(q) be the second derivative of -q**5/20 - 17*q**4/12 - 17*q**3/6 + 15*q**2/2 + 30*q - 3. Let g be o(-15). Which is greater: g or -178?
-178
Suppose 2*j + 23 - 9 = 2*b, 4*b - 24 = 3*j. Let f be j/(-8)*(-4 - -4) + 1. Which is smaller: 4/45 or f?
4/45
Let n = -224 + 217. Let c be ((-272)/32)/(0 + n). Which is smaller: c or 0?
0
Let f be 70/(-735) + 372/(-63) + 272/7. Let o = 10 - -23. Is f less than or equal to o?
True
Suppose -3*n = 2*q + 4333, -4*n - 7253 = 3*q - 1475. Are -1437 and n non-equal?
True
Suppose 17 = 2*o - 37. Suppose 1045 = -o*m + 38*m. Is m at least 96?
False
Let y(h) = -h**2 + 9*h - 11. Let i be y(9). Let v = -34 - i. Let c be (-1)/4 - 267/12. Is v < c?
True
Let p = 441/1964 - -25/982. Let r = 5 - 47/5. Does p = r?
False
Let d(w) = -8*w - 62. Let r be d(-8). Suppose -110 = -7*p - 4*p. Let o be p/12 + 0/2. Is o bigger than r?
False
Let p(v) = -24 - 8 - 2 - 64*v - 12 - 4. Let s be p(-6). Which is smaller: s or 333?
333
Let k be (-15)/(-35) + 159/21. Suppose -k*y = -3*y + 2*b + 535, 5*y = -b - 530. Let f = -105 - y. Is f >= 2?
False
Let q = 91/44 - -4111/44. Which is smaller: 97 or q?
q
Let i be (-2)/4*2 - -18. Let w = -829 - -1399. Let v = 587 - w. Is i bigger than v?
False
Let x be (38/(-57))/(1/(-39)). Let i = -23 + x. Let v = -2 + i. Is 11/5 < v?
False
Let g = -51075 - -14210. Do -36865 and g have different values?
False
Let g = -329509 - -320612311/973. Is g less than -1?
False
Let l(a) = 2*a + 6. Let d be l(2). Suppose 9*n + d - 1 = 0. Which is smaller: -3 or n?
-3
Let x(l) = 51*l + 706. Let j be x(-17). Are j and -798/5 nonequal?
True
Let u be (-278 + -17)*(-90)/25. Which is smaller: u or 3184/3?
3184/3
Suppose -59*d = -36*d + 276. Let i(r) = 45*r + 150. Let a be i(d). Is -391 > a?
False
Let l = 19.94956 - -0.05044. Let x = 0.03 + -22.03. Let a = x + l. Which is smaller: -2/27 or a?
a
Suppose -3*j + 3*q - 4*q + 6 = 0, 4*j - 3*q = 21. Suppose -r + 5*r - 4 = -4*x, 0 = 5*x + 4*r - j. Which is smaller: 2/13 or x?
x
Let k be 64/(-48) + 28/12. Which is bigger: -1753 or k?
k
Let v be 1187675/(-950730) - 10/(-20). Let i = 97/129 + v. Is 1 < i?
False
Let o(a) = a**2 + 2*a - 9. Let m = 67 + -64. Let w be o(m). Let b(p) = -p**2 + 6*p + 5. Let y be b(w). Which is bigger: 4 or y?
y
Suppose -3*k - 3 = -2*p, -5*p + 4*k + 4 = -2*p. Suppose p = 2*i + 3*t + 2, 4*i - 1 = -t - 5. Is i at least as big as 24?
False
Let p(h) = 3*h**3 - 203*h**2 - 68*h + 2. Let l be p(68). Is l less than 308/3?
True
Let u = 0 + -6. Let b be 4/((2/7)/(88/(-308))). Which is bigger: u or b?
b
Let t = 364.95016 - 0.05016. Let o = t - 365. Are -89 and o nonequal?
True
Suppose 427*n - 227 - 571 = 56. Suppose 4*j + 0*j = 20. Suppose -5*v = -y - 0 + 3, -3*v = j*y - 15. Which is smaller: n or y?
n
Suppose 4*x = 1 + 15. Suppose 9*s + 12*s = -63. Let v(r) = r**3 + r**2 - 6*r + 2. Let l be v(s). Does x = l?
False
Let o be ((-13773)/12)/((-26)/104). Let w = -13616/3 + o. Is w at most as big as 53?
True
Suppose 3*i + i - 4 = 0. Let t = -2084/7 - -1110786/3731. Let n = t - -497/9594. Are n and i equal?
False
Let o be 2687*(-1)/(2/(-2))*2. Let d be -50 + 54 + o/(-1344). Which is greater: 1 or d?
1
Suppose 16 = 17*d - 1. Let i be (-1)/(121/492) + (d - -3). Is -1 greater than i?
False
Let n(y) = -4*y**2 + 1 + 4*y - 8*y**2 - 10*y**2 + 21*y**2. Let s be n(2). Suppose -s*f - 4*r = -7, 6*r - 4*r + 1 = -f. Which is bigger: f or -4/7?
f
Let c = 17.887 + -17.94. Is c at most as big as 14/9?
True
Suppose -3*f - 52*x - 286 = -54*x, -4*f = -2*x + 386. Which is smaller: -0.6 or f?
f
Let p(o) = 17*o**3 + 2*o**2 - 1. Let x be p(1). Suppose 2*m + 8 = -4*c, m + 5*c + 1 = -x. Which is bigg