uppose 4*v + 17 = 4*d - 7, -2 = -d - v. Let k be (3/(-5))/((-2)/10). Suppose k*h + 31 + 32 = d*i, i = 3*h + 18. Is 15 equal to i?
True
Let q(t) = -t**3 + 17*t**2 + 5*t + 1. Let s be q(17). Which is smaller: 87 or s?
s
Let i be ((-4)/(-88))/((-13)/2342). Let o = -85/11 - i. Let p be 6/4*4/(-6). Is o > p?
True
Let f(h) = 31*h + 2. Let m be f(-2). Let q be ((-47)/(-3))/((-8)/(-30)). Let a = m + q. Which is bigger: a or -2?
a
Let b = -3.39 + 3.29. Which is smaller: b or 0.0547?
b
Let z be 30/(-21) + 4/14. Let y(o) = -o**3 - 5*o**2 - 2*o - 11. Let u be y(-5). Let h be (u + -1 + 2)/2. Is z not equal to h?
True
Let s = -49/2 + 23/4. Is s at least -20?
True
Let p be (-8)/(-28) + (-4)/14. Let b be 92/23 + (-37)/9. Is b greater than or equal to p?
False
Let s = 6 + -6. Let x be (-18)/(-6)*5/795. Which is smaller: s or x?
s
Let r be (-480)/(-40) - (-248)/(-20). Which is smaller: -35.8 or r?
-35.8
Let l = 1643/59 + -7217581/259187. Is l != 1?
True
Let j = 688 + -1079. Is -391 equal to j?
True
Let y(v) = v**2 + 17*v + 1. Let g be y(-17). Let m be (-8)/(-1464) - (-2)/(-6). Let r = 430/549 - m. Is g at least as big as r?
False
Let x(l) = -l**3 - 12*l**2 + 16*l + 7. Suppose -3*r = -8*r - 65. Let y be x(r). Does -32 = y?
True
Let w be (10 - 3 - 3) + 4/2. Suppose -4*p + w = 2. Let k be (-2 - 30/(-14)) + 0. Which is greater: k or p?
p
Let b = 15.5 - 17.4. Which is greater: -1 or b?
-1
Suppose 5*c + 20 = 5*l, 2*c - 12 = -2*l - 4. Let z = -0.28 - 10.72. Let b = -15 - z. Which is bigger: b or c?
c
Suppose -4*l = -2*l + 2, 3*l = d - 5. Suppose 80 = 2*x + d*x. Let u(r) = 5*r**2 - 1. Let s be u(-2). Is x not equal to s?
True
Let p(i) = -3*i**3 - 2*i**2 - 4*i - 3. Let m be p(-2). Let r = -15 + m. Suppose 6*u = -0*u. Is u smaller than r?
True
Suppose 0 = x - 4*t - 3, -1 = -5*x + 4*x + 2*t. Which is bigger: x or 32?
32
Let g(l) = l**3 + 13*l**2 - 13*l + 6. Let u be g(-14). Let k = u + -3. Let p be (3 - 23 - 2)/2. Is p at least k?
True
Let z = 0.16 - -2.84. Let f = -1 + z. Let i = f - 0. Which is smaller: 1 or i?
1
Let b = -339 + 153. Let n = 346 + b. Let l = n + -2081/13. Are l and -1 equal?
False
Let a be (2/(-28))/((-132)/(-24) - 6). Is 1 != a?
True
Let a = 143 - 3719/26. Let g = -5 - -11. Let t = -6 + g. Which is smaller: t or a?
a
Let v = 20.137 + -0.137. Which is greater: v or 0.4?
v
Suppose 0 = 4*t - t. Suppose t = 2*j - 7*j - 90. Suppose -95*d - 4*d = 1782. Is d bigger than j?
False
Suppose 5*q = -t - 4*t, -4*q - 2*t = -6. Let u be (-6 + 5)/(2/8). Let p be 12/(-18) + u/(-6). Is p at most q?
True
Let n = 3 - -15. Let b be ((3/n)/(5/(-15)))/10. Which is bigger: b or 0?
0
Let r(v) = 6*v**2 + 4*v + 1. Let i be r(2). Let y be -2 - 1 - 6994/i. Let o = -215 - y. Is 1 greater than or equal to o?
True
Let x = 1259 - 1255. Let p = -1.3 - -0.3. Do p and x have the same value?
False
Let j be 8/(-4) + (-261)/6. Let p = -809/18 - j. Is p <= 1?
True
Let o = 110 - 68. Suppose 5*f - o = -37. Let k be 14/4*2/5. Which is smaller: f or k?
f
Suppose -u + 2*u = 0. Suppose 4*b - 2*b = u. Let t(d) = -d - 1. Let m be t(2). Which is bigger: m or b?
b
Let z be (-10)/(-5) + (-3 - (-10)/14). Let g = 40 + -61. Which is greater: g or z?
z
Let m be (-2)/((-4)/(-7))*2. Let o(s) = s**2 + 8*s + 8. Let g be o(m). Let y be ((-4)/4)/(((-114)/(-4))/(-3)). Is y != g?
True
Let v = -0.6 - -0.5. Let c = -0.6 - v. Which is bigger: c or -0.3?
-0.3
Suppose -18*j + 18*j = -15*j. Let r = -127 - -1144/9. Is r greater than j?
True
Let f(v) be the first derivative of v**4/4 + 11*v**3/3 - 7*v**2 - 2*v - 22. Let r be f(-12). Is r at least 2/3?
True
Suppose 3*l + 2*z + 230 = -3*z, 2*l = 2*z - 164. Does l = -80?
True
Let d = 247 + -249. Suppose -4*m + 6*m - 12 = 0. Let q be 0 + (-1)/(3/m). Is d at most q?
True
Let u(s) = 10*s**2 + 7*s + 3. Let z(f) = -7*f**2 - 5*f - 2. Let k(q) = -5*u(q) - 7*z(q). Let p be k(0). Which is smaller: 0.05 or p?
p
Let r be 9 - 4 - (5 + -2). Let z be (-10)/(-1) + (3 - r). Let b = z + -18. Are b and -5 unequal?
True
Let z(y) be the second derivative of y**5/5 - y**4/4 + y**3/3 + y**2 - 2*y. Let t be z(2). Suppose 2*a + 3*h = 2*h - t, -3*a - 5*h - 39 = 0. Is a != -12?
True
Let h be (-8)/5 + (-69)/(-115). Is h at least as big as 2/73?
False
Suppose -612 = -5*t - 2442. Let v be (6/4)/((-9)/t). Suppose 0 = -5*n + x + 2*x - v, 2*n + 2*x + 18 = 0. Is n smaller than 2/7?
True
Suppose 18 = 4*o - 18. Let s(j) = j**3 - 8*j**2 - 8*j - 13. Let b be s(o). Let u be b/(-3)*45/20. Which is bigger: 2 or u?
u
Let r = -43 - -212/5. Let h = 31/35 + r. Let a = -0.6 - -0.5. Is h at least as big as a?
True
Suppose 4*q + i + 7 = 34, -5*i - 19 = -2*q. Suppose -q*l = -14*l + 63. Which is smaller: l or 7?
7
Let g(a) = -34*a**2 - a - 1. Let l be g(1). Let y = l - -31. Which is smaller: y or -8?
-8
Let n(l) = 12*l - 3 + 19*l - 2*l**2 - 22*l. Let a be n(4). Which is smaller: a or -1/66?
-1/66
Let w(m) = -m**3 + 5*m**2 + 10*m - 12. Let y be w(6). Suppose -d + 2*r - 2 = 1, -r = 3*d - y. Suppose -d*f + 6*f + 3 = 0. Which is smaller: f or -6/5?
-6/5
Let p = 52 + -103/2. Suppose 0 = 4*r - 11 - 17. Let j = 8 - r. Does p = j?
False
Let r be (-21)/(-4)*(-2 + 2083/14). Let j = r + -769. Which is smaller: j or 3?
j
Suppose 0 = -11*c + 3*c + 128. Suppose -3*r + 2*j - 1 = -c, r - 12 = 3*j. Suppose r*k + w = -45, 15 = -k + w - 0*w. Which is smaller: k or -14?
k
Let o(d) = -3*d - 13. Let w be o(-5). Suppose -3*t + 4*k = -8*t + 1, w*t = 4*k - 22. Which is smaller: 0 or t?
t
Let r = -2457 - -2466. Suppose -3*b - 12 = -g, 3*g = -0*g - 2*b + 3. Suppose g*o - o = 2*n - 22, 4*n - 46 = 5*o. Is r >= n?
True
Let a = 46 - 39. Suppose a*j - j = 6. Is 2/183 less than j?
True
Let j(g) = 2*g**3 + g + 276. Let n be j(0). Let a be n/28 + (-1)/(-7). Suppose -5*f + 20 + 5 = 5*b, a = 2*b. Which is bigger: f or -27?
f
Let q(d) = d**3 + d**2 + d - 14. Let u = 19 + 15. Let b = -34 + u. Let x be q(b). Is -15 != x?
True
Let f(k) = -k + 48. Let v be f(-9). Let l be (4/(-6))/(10/v). Which is bigger: -3 or l?
-3
Let c = 18.94 + -1.78. Let n = 17 - c. Let i = n - 6.84. Is i < -1?
True
Let a be (-192)/45 + 2 - 2/(-3). Is a at least -1?
False
Let d be (-4)/(-4) + 1*-2. Let q = -457/2 - -7761/34. Is q less than d?
False
Let h = -49.9 + 50. Which is smaller: h or 21?
h
Let k be -2 + (-20)/45 + (-25130)/441. Are -60 and k unequal?
True
Let o = -30800881/128754 - -7/14306. Suppose -w + 478 = w. Let i = w + o. Which is smaller: -0.1 or i?
i
Suppose j - 1 = 0, 1 = w + 6*j - 2*j. Let d be (1 - (w - (-36)/8))*0. Are -1/8 and d nonequal?
True
Suppose 0 = 2*w - 5*t + 6, -1 - 13 = -2*w - 5*t. Is 34/15 less than w?
False
Let n = -31724/1159 - -1034/61. Is -11 >= n?
False
Let g = 0.24 - 0.7. Let m = 0.41 + g. Let j = 17.9 - 18. Is j > m?
False
Suppose 0 = 24*f + 10274 - 1106. Which is smaller: -383 or f?
-383
Let t(v) = -52*v - 234. Let r be t(-5). Which is bigger: 27 or r?
27
Let a be ((-16)/48)/((-2)/(-12)). Let q(k) = 2*k - 16. Let w(t) = 1. Let y(f) = q(f) + 6*w(f). Let z be y(7). Which is bigger: a or z?
z
Suppose -h + 26 = -25. Suppose 0*z = -4*z + b - 41, 4*z = 3*b - h. Let g = z - -6. Is g at least as big as -3?
True
Let l = -0.06 - -0.06. Let i = -389 - -373. Which is greater: i or l?
l
Let s = 6.7 + -7. Let o = -260 + 262. Is o less than s?
False
Let g(y) = 6*y**2 - 2 + 18 + 4 + 10*y - 4. Let d be g(-5). Which is bigger: d or 115?
d
Let d = -102/251 + 24864/57479. Let v = 3356/5725 - d. Let a = v + -229/275. Which is smaller: a or 1?
a
Let d = -45 - -46. Suppose -3*b - d = o - 3*o, b + 5*o - 11 = 0. Is b at least as big as 3/29?
True
Let v = 4.05 - 4. Let x = 0.05 + v. Let y(i) = i**2 + 3*i + 4. Let t be y(-3). Which is smaller: x or t?
x
Suppose -6*m = -m. Let d(a) = a**3 + 8*a - 9. Let b be d(4). Let z = -785/9 + b. Which is smaller: z or m?
z
Let y = 12 + -11.9. Which is smaller: y or -242/7?
-242/7
Suppose -38*x = -36*x - 5*m + 90, 6 = 3*m. Which is smaller: x or -46?
-46
Let v(x) = x**2 - 11*x - 7. Let o be v(12). Suppose m = -4*c + o*m + 16, 3*c + 5*m - 4 = 0. Is 19/5 equal to c?
False
Suppose 3*a + 16 = 2*y, 7*a = -4*y + 3*a + 12. Is y greater than 63?
False
Let x = 9333/5161 + 15/397. Let b = -54/1349 + -109159/70148. Let q = x + b. Is q equal to 0?
False
Let r = -52.52 + 52. Let u = r - -3.52. Is 0 smaller than u?
True
Let k(w) = w**3 - 5*w**2 + 2*w - 8