e b(-4). Let d be 21/6*w/21. Suppose -3*l = l - d. Do 4/13 and l have different values?
True
Suppose 28 = 8*l - 4. Suppose -12*t + l = -16*t. Suppose -3 = 4*b + 9. Is b != t?
True
Suppose 4 = -3*p + 5*j, -p - 3 - 3 = -4*j. Let k = 200435/17 + -11789. Is p at most as big as k?
False
Suppose -2*i - 80 = 5*n + 3*i, 4 = -n + 5*i. Let h be -2*n/(-12) - (-4)/12. Let u be -2 - (h/(-4))/(1/(-4)). Is 2/19 > u?
True
Suppose 79*z - 59 + 257 = 76*z. Which is bigger: z or -95?
z
Let f = -88 - -84. Let i = 27 - f. Let r = -26 + i. Which is bigger: r or -4/3?
r
Suppose 5*g = -4*b - 97, 0*b + 59 = -3*b - g. Let v = -323 + 609/2. Which is bigger: b or v?
b
Suppose 4*j - 3*n + 2*n = 6319, -7*j + 2*n + 11059 = 0. Is j bigger than 1578?
True
Suppose 24*r + 232 = 3*i + 29*r, 4*i = -5*r + 301. Suppose -i = -8*x - 1949. Is x at most as big as -235?
True
Let c(m) = -429*m - 493. Let f be c(-13). Is f smaller than 5084?
False
Suppose 2*c + h + 8 = 5, 0 = -3*h - 9. Which is smaller: -7/249 or c?
-7/249
Let z(h) = 2*h**3 - 8*h**2 + 82*h - 250. Let s be z(3). Let q be -2 + 3 - (2 + 17). Which is greater: q or s?
q
Let i = 2761/30 - 2861/5. Let l = i + 480. Which is smaller: l or -0.08?
l
Let w = 432.4 + -513. Let p = w - -36.6. Which is smaller: 5 or p?
p
Let z(x) = -3*x - 59. Let o be z(-28). Suppose -o*y + 7*y = 2196. Are -120 and y non-equal?
True
Let i be 1/3 + (-4926)/(-72) - 47/(-188). Is 61 equal to i?
False
Let y(t) = -2*t**2 - 1. Let m be y(4). Suppose -2 = a + 3*u, -u - 3 = -3*a - 39. Let g be (a/m)/((-2)/3). Is g less than 5/7?
True
Let y(c) = -62*c - 3246. Let h be y(-57). Is h at most as big as 286?
False
Let v be 4/14*-3 + 1 - 6799797/(-12222). Which is greater: 557 or v?
557
Let z(w) = w**3 - 67*w**2 - 3*w + 202. Let b be z(67). Which is smaller: b or 2/6259?
2/6259
Let w = -830.162 - 1.838. Let a = -825.57 - w. Is a at least as big as -1?
True
Suppose -3*t - 3*x + 10 = -2, -5*x + 4 = -3*t. Let g(m) = 8*m - 4. Let z be g(t). Suppose -4*k = -b, -4*b - z = -b. Is -0.1 bigger than k?
True
Let c be (-66)/10 - (-3 + 2). Let s(n) = -110*n - 2865. Let r be s(-26). Which is bigger: c or r?
r
Let d(j) = 4*j - 37. Let f = 70 - 59. Let i be d(f). Do i and -5 have the same value?
False
Suppose 1592693 = -340*p - 51*p + 58800. Which is greater: -3925 or p?
p
Let c(w) be the third derivative of -w**4/8 - w**3/2 + 2*w**2. Let k be c(7). Let g(y) = y**3 - y**2 - y - 23. Let d be g(0). Is k less than or equal to d?
True
Let j be 3*(1 + (-16)/(-6)). Suppose -55 = 100*a - 95*a. Let q = a + j. Which is greater: 1/8 or q?
1/8
Let l = -234.007 + 233.996. Let t be ((-12)/9 - -2)*-3. Is t < l?
True
Let y = 126.86 - 0.86. Let w = y + -136.1. Let j = w + 11.1. Is 0.45 at least j?
False
Suppose b - 3 = -2*p + 6, -89 = -5*b + p. Suppose 0*m + g = -2*m + 9, -15 = -5*m + 5*g. Suppose -m*c = -36 - 32. Is b != c?
False
Let q(h) = -955*h + 86942. Let n be q(91). Let w = -13/27 - 5/27. Is n > w?
True
Suppose -890 = -11*s - 263. Suppose -2*b + 2*m = 4*m + 16, -m = -4*b - s. Let k(i) = i**2 - 9*i + 6. Let c be k(4). Is c greater than or equal to b?
False
Let u = -6.96 + 3.1. Let x = u - -1.86. Which is smaller: 17 or x?
x
Let y = -172 + 1475. Which is bigger: y or 1304?
1304
Let p = 14728 - 824703/56. Is p at least 1/2?
True
Let r be (364/(-1274))/(3*(26/14 - 2)). Which is bigger: -7/185 or r?
r
Let o = 0.095 - 0.1449. Let p = -0.0101 + o. Let z = -6 + -2. Are p and z unequal?
True
Let m be (0 + 144/90)*(-5)/(-2). Suppose -16 = p - 3*p. Let u be (-45)/(-6)*p/6. Which is bigger: u or m?
u
Let m(p) = -p**2 + 11*p - 5. Let g be m(8). Suppose -5*x + 1985 = -5*r, -4*r - 5*x + 460 = 2048. Let b = r + 417. Which is smaller: g or b?
g
Let o = 288.9 - 287.9. Which is bigger: 0.986 or o?
o
Let v = -68 + 52. Let q be (-36)/48 - (-131)/4. Suppose 2*o - 4*o - q = 0. Is v at most as big as o?
True
Let x = 832.0726 + -832. Let w = -0.9274 - x. Is w at least 2.4?
False
Let l = -212.15 - -214. Let q = 1.95 - l. Is 10 equal to q?
False
Let o = -142 - -141. Suppose -y - 3*y = -8. Let d be (-2)/y*0/1. Which is smaller: o or d?
o
Let z(u) = -10*u + 12. Let r(h) = -21*h + 24. Let y(n) = -3*r(n) + 7*z(n). Let d be y(-11). Is 89 equal to d?
True
Suppose c = 5*v - 2, 8*v + 4 = 12*v. Suppose -7*k - c*k = 0. Suppose k = 5*t + 3*t - 72. Which is bigger: 8 or t?
t
Suppose -4181*l = -4167*l - 2464. Is 179 less than or equal to l?
False
Suppose 0 = -8*g + 4*g - 28. Let c(j) = j - 10. Let u(s) = 2*s - 21. Let a(x) = 9*c(x) - 4*u(x). Let i be a(5). Are g and i equal?
False
Suppose 45*c + 297 = 78*c. Let z be -11 - -15 - 16/(-1). Let b be 88*(4 - 78/z). Which is smaller: b or c?
b
Let a = -4681 + 4692. Which is smaller: a or -54?
-54
Let v be (-18)/126*(-324)/(-14). Let u = -1599/490 - v. Which is greater: -2 or u?
u
Suppose -2*n - 4*z - 6 = 0, -2*n - 31 = -3*z - 11. Is n > -12?
True
Let u(x) be the second derivative of -x**5/5 - 5*x**4/12 - 7*x**3/3 - x**2/2 + x. Let g be u(-4). Let b be 168/g*(-3)/4. Are 0 and b nonequal?
True
Suppose -183 = -5*q + 352. Which is smaller: q or 1.2?
1.2
Let c(m) = 8*m**3 - 12*m + m - 1 - 7*m**3 - 9*m**2. Let g be c(10). Let b be (6/4)/(412/(-80) + 5). Is b at least as big as g?
True
Let y = 198 + 176. Suppose 2*d + 0*d - 243 = -3*i, -3*d + 5*i = -y. Let q = -124 + d. Which is greater: 2/15 or q?
2/15
Let w = 14.1 - -37. Let d = w - 33. Let f = d - 18. Which is smaller: 0.2 or f?
f
Let s(r) = 6*r**3 + 2*r**2 + 721*r - 722. Let o be s(1). Which is greater: o or 265/42?
o
Suppose 14*u = 24*u - 790. Which is smaller: 868/11 or u?
868/11
Suppose 0 = -39*t + 36*t. Suppose 4*k + 2*k + 60 = t. Suppose -w - 2*w - 24 = 0. Which is greater: w or k?
w
Let o = 0.324 - 0.289. Do o and 71 have different values?
True
Suppose -22*u + 23*u + 4*d + 21 = 0, 0 = -u + 2*d + 9. Is u < -2/58659?
True
Let b = -306 - -298. Let i be (0 + 0)*(-7 - b). Which is greater: -3/278 or i?
i
Let r be -5*12952/(-70) - (-3 + 1). Let q = -922 + r. Is 6 greater than or equal to q?
True
Suppose 4*c + 4*t - 1132 = 0, 23*t = -2*c + 26*t + 586. Suppose 283*i = c*i - 56. Let g = 3 - -12. Is g != i?
True
Let a(d) = -14 + 0*d + 0*d + 2*d. Let r be a(5). Let l be -6*(-12)/(-32) + (-1)/r. Which is bigger: 1 or l?
1
Let r = -8539 + 8061. Is -477 at least as big as r?
True
Let h(c) = -11*c + 103. Let i be h(9). Suppose r + 8*l = 5*l - 10, -i*r - 4*l = 0. Which is greater: 27/7 or r?
r
Let i be (-46)/69*42/256. Let w(f) = -f**2 - 20*f - 36. Let u be w(-18). Which is smaller: u or i?
i
Let f = -571 - -627. Let o be 28/f*(-148 + -1 + 1). Is -74 > o?
False
Let c be 7*(1 - (-6)/(-12))*2. Suppose 9*l - 10 = c*l, -4*l = 2*h + 1524. Which is bigger: -773 or h?
h
Let r be ((-4)/(-942))/(6/36*-2). Are r and -0.1 equal?
False
Let u be 91796/(-71974) + 6/(-63)*-3. Which is greater: u or -1?
u
Suppose 0 = -o - 3*n + 9, 4*n + 53 = 3*o. Let v = o - 10. Suppose v*m - 2*b = 2*b - 2, -m - 8 = 3*b. Is m smaller than -4/7?
True
Suppose 597 = 13*f - 573. Suppose -i + f = -19*i. Which is smaller: -15 or i?
-15
Let v(f) = 7*f + 190. Let l be v(-25). Let g(z) = -13*z + 195. Let y be g(l). Is y at least -1/1255?
True
Suppose 135 - 45 = -5*u. Let n be u/(-27) + 969/(-9). Let x = n - -117. Is x bigger than 10?
False
Suppose 9 = 19*n - 29. Suppose 5 = -t, 0 = -9*c + 13*c - n*t - 18. Is c greater than -6?
True
Suppose -20 = -5*g - 3*z, -3*g - 4 = -2*z + 3. Let v = -3.42 + -29.78. Let b = v - -26.2. Which is smaller: g or b?
b
Suppose -12*y + 13*y + 2*v = -7819, -v = -3*y - 23394. Is -7800 at least y?
True
Let w be ((-808)/3)/(-6*16/(-576)). Is -1617 greater than w?
False
Let g = -89.319 + 0.219. Let t = 90 + g. Is t less than or equal to 24?
True
Let w(r) = 2*r**3 + 126*r**2 + 4*r + 251. Let t be w(-63). Which is bigger: t or 1/374?
1/374
Let f = 531 + -323. Let k = f + -70. Which is smaller: 139 or k?
k
Let b = -108.1 - -32.1. Let h = b - -76. Which is smaller: h or -44?
-44
Let s = 111 - 15. Let q(w) = -8*w + 1. Let n be q(-12). Are n and s unequal?
True
Let p = 1166 + -4673/4. Let v be 24/36*6/8. Is v >= p?
True
Let s = -150 - -152. Let k be 1/(4/(-1)*s/(-40)). Is -21 bigger than k?
False
Let d(y) = -15 + 104*y - 40*y - 40*y + 52 - 34*y. Let s be d(-5). Which is smaller: 85 or s?
85
Suppose 0 = -14*g + g + 44889. Suppose 5*p - 3463 + g = 0. Which is smaller: -11