Let z(l) = 17*h(l) + 6*q(l). Let f be z(-5). Let n be y(f). Is -3 >= n?
True
Let y be (-178)/(-2) + 0 - -1. Let a = 76732 - 76643. Is a bigger than y?
False
Suppose -4*a + 16 + 72 = 0. Let f(v) = -v**3 - 5*v**2 - 10*v - 2. Let g be f(-4). Suppose 0 = -5*b + 83 + g. Is a bigger than b?
True
Let s be (-15)/14 + (0 - -1). Let r be (4172/56)/(2/(-12)). Let k = 446 + r. Is k less than s?
True
Let h = -186734/7 + 26676. Is 4499 >= h?
True
Let c(k) = -k**3 + 7*k**2 + k. Let b be c(0). Which is greater: b or 14/73?
14/73
Let y be 5/(100/715) - (-3)/12. Is 0.11 >= y?
False
Let o be (26826/(-263))/(3 + -1). Which is smaller: -299/6 or o?
o
Let u(h) = -h**3 - 13*h**2 - 5*h - 64. Let m be u(-13). Let j be (m/((-4)/(-12)) + -2)/(-1). Which is bigger: -3/140 or j?
-3/140
Suppose 0 = -43*w - 44*w - 7*w + 658. Do 23 and w have the same value?
False
Let h = 327 + -329. Is -1411 equal to h?
False
Suppose -l - 2*a + 8 = 0, l - 8 = 22*a - 17*a. Suppose 6*y + 5*z + 100 = y, 2*y + 3*z + 43 = 0. Let p = -10 - y. Which is greater: l or p?
l
Let a be 3242/(-10) - ((-6)/20)/(228/(-1520)). Is a at least -0.2?
False
Let m = -47929/46 + 1042. Let c(r) = r**3 + 2*r**2 - 7*r - 1. Let g be c(0). Is m at most as big as g?
False
Let o(h) be the first derivative of h**2 + 18*h - 237. Let r be o(-8). Which is bigger: -2/29 or r?
r
Let l be 6/(-10) - (-94)/(-235)*(-1227)/(-2). Do -246 and l have the same value?
True
Let c be (-20 - (-1692)/90)/((-14346)/(-20)). Which is smaller: c or -1?
-1
Let h = 6131 - 6130. Is -8/463 >= h?
False
Suppose 9192 = -11*f + 19*f. Which is smaller: 2295/2 or f?
2295/2
Let k(d) = -d**2 + 30*d - 92. Let v be k(27). Let u be (v/(-704))/(4/(-40)). Is u less than or equal to 0?
True
Suppose 0 = 9*q - 2*q - 35. Suppose 2*p + 3*p - 25 = -q*m, 3*p + 4*m = 20. Let n be (-4672)/(-37400) + 2/(-17). Which is smaller: n or p?
p
Let i = -221/5 - -44. Let z(s) = -s**3 + 2*s**2 + 7*s - 6. Let g be z(4). Let f be 88/(-18) - g/2. Which is smaller: i or f?
i
Let i(v) = -59*v - 1206. Let s be i(-18). Is -117 != s?
True
Let k be (-15)/(2/20*2). Let y be 4*((-7)/(-5))/(60/k). Which is smaller: -8 or y?
-8
Let w = -1.14 + 1.1491. Let c = -98.9909 - w. Is c less than -0.2?
True
Let s = -6.82 + 92.52. Let j = s - 8.7. Let x = j - 41. Which is greater: -0.1 or x?
x
Let y be (-645 + 632)/((-1)/(-2)). Which is smaller: -29 or y?
-29
Let y(i) = 836*i + 96. Let k be y(19). Let v be 12121/k - 9/12. Which is smaller: 0 or v?
0
Let c = -11994 + 11000. Which is smaller: -995 or c?
-995
Let m = -723 + 721. Let u = 275 - 4673/17. Which is smaller: u or m?
m
Let x = 309419/4775 + 1/4775. Which is smaller: x or 66?
x
Let s = 7886 + -7226. Do 659 and s have different values?
True
Let q = 7/3296 + 550257/82400. Is 8 smaller than q?
False
Let a be ((-1060)/(-25))/(-6*2/240). Is -2/3 bigger than a?
True
Let r be ((-536)/(-12))/(2/(-6)). Let w = r + 66. Let i be (-2)/(-3) + w/51. Which is greater: -0.06 or i?
-0.06
Let h = -2 - -2. Suppose 2*v - 3*p = 148, -172 = -2*v - 2*p - p. Let t = v - 403/5. Which is bigger: t or h?
h
Let i(g) = 6*g**2 - 111*g - 880. Let y be i(-8). Do -9 and y have different values?
True
Let o(g) = 2*g. Let z be o(-2). Let w be (-15)/(-6) - z/8. Let f be -1 + 2 + w + -5 - -1. Is 2/49 at least as big as f?
True
Let t = 157063/5 + -31195. Which is smaller: 219 or t?
t
Suppose -109*x - 79 - 90 = -60. Which is bigger: 28/155 or x?
28/155
Let w(x) = 9*x**3 + 23*x**2 - 34*x - 15. Let g(d) = 4*d**3 + 12*d**2 - 17*d - 8. Let i(v) = -7*g(v) + 3*w(v). Let c be i(-16). Which is smaller: c or -13?
-13
Let l = 6596 - 7178. Is 1 less than or equal to l?
False
Suppose 14*a + 12733 = -1253. Let h be -6*(a/(-42))/(-9). Which is smaller: h or 15?
15
Suppose -t + 106 = 3*g - 0*g, -5*g + 207 = 2*t. Let f = t - 45. Suppose -f + 11 = 7*w. Which is smaller: w or -8?
-8
Let i = 0.06 - 0.066. Let j = 32.994 - i. Let g = -32 + j. Which is smaller: g or 23/4?
g
Suppose -29*g = 10 - 68. Suppose -3*y = g*l + 7, 4 = 5*l + 14. Which is smaller: y or -2/85?
y
Let v be -3*(-2 - 10 - -13). Which is smaller: 32 or v?
v
Let p be (-7)/(3 - 2 - 2/7). Let w be (0 - (-35)/(-150))*-52. Let u = p + w. Does 1 = u?
False
Let k = 2822 - 2821. Do 2/4797 and k have the same value?
False
Let z = -0.253 + 1.663. Let g = 2.41 - z. Which is smaller: -91 or g?
-91
Let t(r) = 2*r**3 - 17*r**2 + 8*r - 15. Let b be t(8). Which is smaller: b or -6?
b
Let o be (3 - 4 - -1) + 23/9. Let q = 209/45 + o. Let h = -329/45 + q. Is h greater than 0?
False
Let u(d) = -23*d + 54. Let s be u(0). Let m be s/72 + (-45)/124. Do 1 and m have different values?
True
Let h be 2605/(-6252) - (-3)/4*(-2)/6. Which is smaller: h or -0.0622?
h
Let o = 177/7 + -11526/455. Let x be 65*1/((-15)/6). Let f = 25 + x. Is f equal to o?
False
Let i(l) = -6*l**2 + 4*l + 4. Let n be i(4). Let s = -68 - 9. Which is greater: n or s?
n
Let m(f) = 2225*f**2 - 7*f + 28. Let b be m(4). Let i be 1/(-8) - (-4610)/b. Which is smaller: i or 0?
0
Let w = 7712 - 6256. Is -0.2 at least as big as w?
False
Let z = 313 + -322.4. Let p = 5 - 14. Let s = p - z. Which is smaller: 1/4 or s?
1/4
Let h = -21633 + 12362. Is -9271 equal to h?
True
Let q = -106085 + 106031.917. Let r = q + 0.083. Let w = r - -52.857. Which is smaller: -1 or w?
-1
Let y = -1253.78 - -1135.2. Let o = -0.42 + y. Let v = -117.6 - o. Which is bigger: v or -2?
v
Let g(z) = -z**3 - 29*z**2 + 81*z + 18. Let r be g(19). Let c = 204879/13 + r. Which is bigger: c or -11?
-11
Let p be (4/2 + -4)/((-2)/5). Let f = 32 + -29. Let j be (-252)/(-45) + f/(-5). Is p != j?
False
Let o(g) = -11*g - 165. Suppose 31*k + 24 = 29*k - 2*r, -k - 2*r - 9 = 0. Let n be o(k). Let u be 1 + 0 - (-17)/(-14). Which is smaller: u or n?
u
Let r = 0.11 - -0.09. Let m = -0.8 - r. Suppose 13*s = 4*s + 81. Is s greater than or equal to m?
True
Suppose -4*a + i = -14, -3*a + 16 = a - 2*i. Suppose a*o - 2*t = -4, -t = -0*o - o - 2. Suppose 5*d - d + 84 = o. Is d != -20?
True
Let p be (-10005)/207 - (-8)/(-3). Suppose 4*t = -5*w - 260, -52 = w - 0*w - 4*t. Which is greater: p or w?
p
Suppose -39*i - 24761 = -138446. Is 2915 smaller than i?
False
Let a = 13 + -13.028. Let z = -13 - -13.118. Let j = -0.218 + z. Which is bigger: a or j?
a
Suppose 169*i - 66 = 163*i. Suppose -5 = -i*q - 16. Which is greater: q or -1/282?
-1/282
Let r = 1380254606 + -140965402912099/102130. Let d = -2/1459 + r. Which is smaller: d or -1?
-1
Let t(i) be the second derivative of i**5/20 - i**4/12 - i**3/6 - 3*i. Let c be t(0). Let y be ((-12)/15)/(-5 - -1). Are y and c equal?
False
Suppose 2*z + 4*m - 511 + 51 = 0, -4*z = -4*m - 884. Is 190 greater than z?
False
Let z = -6234 - -6234.04076. Which is smaller: z or 1?
z
Let t = 20583.6 + -20584. Let q = 15 + 17. Is t bigger than q?
False
Let o be (645/(-20))/((-1422)/(-120) + -12). Is 3646/17 greater than or equal to o?
False
Let u(c) = 14*c**3 - c**2 - 13*c + 9. Let p be u(3). Is p equal to -1?
False
Let g = 29805 - 28105. Is g not equal to 1700?
False
Let b be (-80)/(-500)*(-5)/2 - 4/(-10). Is b greater than or equal to -6/6569?
True
Let f be (-35)/3 + 4/6. Let q = -4692 + 4680. Which is greater: f or q?
f
Let r = 10295 - 10274. Which is bigger: r or 360/17?
360/17
Let b = -3 + 6. Let a(v) = 7 + 7*v - 4*v**2 - 5*v + b*v - v**3. Let f be a(-5). Which is smaller: f or 8?
f
Let w(u) = 251*u**2 - u - 51. Let p be w(-8). Let s = p - 12384231/773. Is -1 >= s?
False
Let r be (-26)/3*(28/7 + 8). Let t be 75/6*(-36)/5. Let i = t - r. Which is greater: 29/2 or i?
29/2
Let a(y) = -110*y - 2528. Let b be a(-23). Which is greater: 49/25 or b?
b
Let b = -152.31 - 1.69. Let k = -154 - b. Which is bigger: k or -0.02?
k
Let m be ((-10)/(-8))/(-4 + 4565/1140). Suppose m = 8*v - 3. Suppose -v + 8 = -2*s. Do 15 and s have the same value?
False
Let r = 76.42 - -1.58. Let b = 76.2 - r. Let g = -2.2 + b. Which is smaller: g or 1?
g
Suppose -56 = -2*t - 3*v, -t + 62 - 23 = -4*v. Suppose q = 14*r - 11*r + t, 3*q = r + 5. Is r bigger than -98/9?
False
Let n = -1 - -0.59. Let d = 0.2804 - 0.1804. Do d and n have different values?
True
Let m(v) = v**2 - 5*v + 5. Let b be m(7). Let c(h) = 99*h - 295. Let f be c(3). Is b at least as big as f?
True
Let o = 205 + -187. Let z be 1278/o - 3/((-3)/2). Suppose -272 = -h - 3*h - 4*v, -4*h + 3*v 