e 0*r - 4*r = -g. Are r and -2 non-equal?
True
Suppose -4*w - 3*f + 0*f = -141, -w - 3*f + 42 = 0. Suppose 2*v + w - 37 = 0. Which is smaller: v or 13/7?
13/7
Suppose -7*p + 2*p = 0. Suppose 4*c - 26 + 62 = p. Which is smaller: c or -11?
-11
Let r = -2.25 + -78.75. Is r less than or equal to 1?
True
Let x = 0.0923 + -0.9923. Is -41 less than x?
True
Suppose -3*o + 5*l = 2*o + 20, o + l = 6. Suppose -4*w + 3*c + 12 = 0, -4*c - 17 + o = 4*w. Let b = -4 + w. Are b and -3 unequal?
True
Let b be 1002/78 - 4/(-26). Suppose -p + 40 = s, 4*p = -3*s + 149 + b. Which is bigger: 43 or p?
43
Let k(g) = 23*g**2. Let q be k(-1). Let d = -231 - -256. Which is smaller: d or q?
q
Suppose -14 = -3*l - r, 4*l - 2*r = -0 + 2. Suppose -5*o + 17 = 4*y, 0 = o + y - l - 1. Are 2/21 and o nonequal?
True
Let f = -10.5 - -56.5. Let h = 48 - f. Do -1.5 and h have different values?
True
Let a(t) = t - 16. Let d(y) = 3. Let k(x) = 4*a(x) + 22*d(x). Let l be k(2). Let j be (-96)/(-52) - l/(-65). Which is smaller: j or 4/5?
4/5
Let o = 85 + -84.08. Let k = -1 - -1.08. Let z = o + k. Is z at most as big as -2?
False
Let g = 91 + -89. Let w be (-1 - -1) + -3 + g. Let h(n) = -n**3 + 4*n**2 - 3*n - 1. Let f be h(3). Is f at least w?
True
Let f = -377 + 9427/25. Which is greater: -1 or f?
f
Let q = -3 + 5. Let y = 557 + -172. Let m = 1933/5 - y. Is m less than or equal to q?
True
Let m(a) = a**3 - a**2 - 2*a + 2. Let h be m(2). Suppose h*i = -0*i + 4*i. Let r = 11 - -6. Is r bigger than i?
True
Let s = -109.054 + 109. Let y = -0.084 - s. Let t = -2 - -2.1. Is t smaller than y?
False
Let y(a) = -a**2 - 18*a + 36. Let f be y(-20). Is f at least 2?
False
Suppose 5*d - 20 = -5*k, -d = -4*k - 5 - 14. Suppose -4*y + d*y + 2*n - 10 = 0, 0 = -4*y + 3*n - 15. Which is smaller: -7/12 or y?
-7/12
Let n = 126 + -130. Which is smaller: 272 or n?
n
Suppose -5*c = 2*l + 25, 4*c + 20 = -10*l + 13*l. Is -195/32 greater than c?
False
Let j = 0.044 + 28.956. Let h = j - 28.7. Are -6 and h equal?
False
Suppose -s + 2 + 6 = -n, 4*n + 28 = 3*s. Suppose 44 = -314*c + 325*c. Is s at least as big as c?
True
Suppose 0*p + 2*a = -3*p + 43, -2*a = -p + 1. Let s = p - 9. Let v be (s/(-6))/(6/(-90)). Which is bigger: 4 or v?
v
Let r(x) = -x**3 + 3*x**2 + 2*x + 4. Suppose -4*m + 22 - 6 = 0. Let k be r(m). Let q be (-9)/3 + 4 + k. Are q and -16/5 equal?
False
Suppose 0 = 3*p - 4*t - 94, 2*t - 58 - 142 = -5*p. Which is greater: p or 187/5?
p
Let w be (22/(792/27))/((-174)/(-152)). Which is smaller: 2 or w?
w
Let w = 8.4 + -29.4. Which is smaller: w or -5?
w
Let b = 2/2637 + 28981/34281. Do b and 0 have the same value?
False
Let o(q) = q - 5. Suppose 2*w + 3*w + 10 = 0. Let d be o(w). Let y be (-2 - d) + -4 + 2. Which is greater: y or 5?
5
Let k(v) = 5*v + 38. Let a be k(-6). Let w = a + -20. Which is smaller: -9 or w?
w
Suppose 2*i + 5 = p + 10, -4*p - 3*i = -24. Let m be ((-2187)/84)/(-9) - p. Is m >= -1?
True
Suppose -4*b + 4*x + 4 = 0, -3*b - 3*x + 0 = -27. Suppose 0 = -4*q + 3 + 1, -21 = -4*k - b*q. Is 4 at least k?
True
Suppose -s - 3 = -2*s. Let n(p) = -1 - s*p - 2 + 0. Let r be n(-2). Is r at most 3?
True
Let s(l) be the second derivative of -l**3/6 + 12*l. Let j be s(4). Is -6 smaller than j?
True
Let t = -11465 - -11469. Let y = -2.8 + 3. Let k = y - 0. Is t less than or equal to k?
False
Let h = 1723.147 + 3.853. Which is smaller: 0 or h?
0
Let h = -621 + 635. Suppose u + 4*u = a - 27, 0 = a + 2*u - 6. Do a and h have different values?
True
Let y be 24/(-66) + (-945)/(-4928). Which is smaller: y or 0?
y
Let u(x) = -x**3 + 8*x**2 - 9*x + 6. Let v be u(6). Let n(g) = -37*g - 267. Let b be n(-7). Let h be (-2)/b - 54/v. Which is smaller: h or 0?
h
Suppose 0 = y + 3*x - 31, 6 + 31 = 3*y - 5*x. Let k = 20 - y. Let v be 6/21 + (-24)/(-14). Which is bigger: v or k?
v
Let z be -7 + 106/14 - 7022/14. Do -502 and z have different values?
True
Suppose -2 = 2*h, 3*h + 6 = 2*j - j. Suppose -2*t + 3*t = -3, t + 3 = -j*a. Is 2/109 smaller than a?
False
Let v = -2434 - -1459. Let o = v + 1887/2. Does o = -33?
False
Let w(s) = s**2 - 6*s + 12. Let v be w(3). Suppose -v*g = -2*g - 5, 5*g - 35 = -2*x. Is x at least as big as 31/7?
True
Let m = 53 - 47. Let f be 5*m/(-3) + 1 + 0. Is f < -9?
False
Let l be (-3)/((-3)/((-594)/642) - 3). Is -11 greater than l?
True
Let u = -187 - 21. Is -208 greater than u?
False
Let p(b) = -2*b + 5. Let x(k) = -k**3 - 3*k**2 + 4*k + 4. Let t be x(-4). Let o be p(t). Which is bigger: 7 or o?
7
Let a = -473 - -473. Let k = -493/16544 + 3/352. Which is bigger: k or a?
a
Suppose -4*s - 2*l = -470, 3*s - 3*l - 239 - 109 = 0. Let u be 3 - 3/s*111. Is u < -5?
False
Let c be (-1)/(-2)*2*28. Which is smaller: 26 or c?
26
Let n(y) = -3 + 164*y**2 + 2*y - 165*y**2 + 15. Let g be n(-7). Let p be g/(-15) - (-9)/15. Which is bigger: p or 6?
6
Suppose -2*b = 164 - 162. Let k be 3 - 4/((-1368)/(-1030)). Let c = -67/855 - k. Are b and c equal?
False
Let d be -14*(-7 + 268/28). Is d at most as big as -38?
False
Suppose i - g + 22 + 6 = 0, -g - 59 = 2*i. Let f(p) = -2*p**3 + 76*p**2 + 2*p - 46. Let k be f(38). Let l = i + k. Which is bigger: l or 3/17?
l
Suppose -2*g = -5*i + 33 - 4, 0 = -3*g + 5*i - 31. Let j be 58/(-48) - (5 - 208/39). Is g greater than j?
False
Let y = -1.9 - -65.9. Let v = y + -39. Let r = -25.1 + v. Which is greater: r or 18?
18
Let t = 30 + -27. Suppose 0 = -t*d - 2*d - 35. Is d greater than -9?
True
Let j(w) = -452*w - 1811. Let d be j(-4). Let y(i) = -i - 2. Let o be y(0). Is d > o?
False
Let f be (-1)/12*(-204)/(-153). Which is smaller: f or -2.1?
-2.1
Suppose -8*o - 56 = -144. Suppose -2*q + 2*w = 36, -q - 3*w - o = -1. Is q at most as big as -16?
True
Let t = 14 + 24. Suppose 5*d + t - 90 = -4*a, -d + 39 = 3*a. Let b = -10 - -23. Is a > b?
False
Suppose -5*w = -2*l + 20, -w + 3 = w - 3*l. Let k(h) = -h**2 + h + 4. Let j be k(0). Suppose 7*z + 25 = 3*z + i, -j*i - 12 = 0. Is z at least w?
False
Let m(u) = 79*u + 6. Let a be m(0). Is 13/2 >= a?
True
Let b be (-6)/(-4) - -3*4/24. Let l be 4 + -7 + -1 - b. Which is bigger: l or 6?
6
Let x be (3 - -1)*35/532. Let g = x + -82/95. Which is smaller: g or -2?
-2
Suppose -2*q + 33 - 197 = -2*y, -4*q = -y + 73. Are y and 85 non-equal?
False
Suppose 0 = 3*r + 2*p + 82 + 113, 5*p = -15. Let w(c) = 2*c**2 - 173*c + 3402. Let y be w(55). Is y <= r?
True
Let z = -96 - -96.3. Which is greater: -33/2 or z?
z
Suppose 0 = -2*h - 5*x - 155, -2*h - 4*x - 215 = h. Let t = h - -104. Is 40 greater than t?
True
Suppose -4*i - 34 = -r, r = -4*i - 43 + 5. Let b be (-9)/(-2)*(-3)/i. Which is greater: 3 or b?
3
Let f = 1.16 - 0.98. Let w be (-245)/255 + 6/4. Let h = w + -2/51. Is h greater than or equal to f?
True
Suppose -2*q = 4*a - 0*q + 6, -4*q = a + 19. Let u(d) = -2*d. Let r be u(-3). Let l = r + -6. Do l and a have the same value?
False
Let p = -8136611/88 + 92459. Let k = 57 - 5015/88. Let m = p - k. Is -2 at most m?
False
Suppose -4*z - 12 - 54 = 2*p, z - 5*p = -22. Let b be 5/((-50)/36)*5. Let r = z - b. Which is bigger: r or -5/4?
r
Let n = 9 - 6. Let z(k) = -k**3 + 4*k**2 - 3*k. Let y be z(n). Let t be (3 + -1)*(-1)/6*-1. Which is bigger: y or t?
t
Let s = -5/58 - -13/174. Let y be 6/(-9) + 6/(-18). Is s != y?
True
Let a be 63084/69 - 4/1. Let o = a + -910. Is o greater than 0.1?
True
Let q(k) = -69*k**3 - 3*k**2 + 6*k - 4. Let d be q(2). Let t = d + 21685/39. Is t equal to 1?
False
Suppose 344 = 5*t - 8*m + 5*m, 0 = 4*t + 5*m - 253. Let i = -47 + 115. Which is greater: i or t?
i
Let u be (-6040)/(-20895) - (18/14 + -1). Which is bigger: u or -1?
u
Let j = -36 + 38. Suppose -2*r + 6*f = 2*f - j, -2*r - 4*f = 6. Which is greater: r or 0?
0
Suppose -92 = -4*w + 68. Let b be (8/(-15))/(w/(-100)). Let s(n) = -n + 1. Let r be s(-1). Is r at least as big as b?
True
Let x be 1/(-19) - (-3 - -3). Let k(w) = 2*w**2 + 4*w - 2*w + w - 2. Let f be k(-2). Do x and f have different values?
True
Suppose -2*i + 17 = r + 13, -5*i = 8*r - 10. Let q be (-1)/(-4)*(-16)/(-10). Are q and r equal?
False
Suppose 2*x + 2 = x. Suppose -20 = 3*l - 5*y, -4*y + 9 = -l - 7. Suppose 4*r + 0 + 16 = l. Which is smaller: r or x?
r
Let z be 11 + ((-5700)/(-18))/(-5). Which is smaller: 0.1 or z?
z
Let f = -117 + 143. Is f less than 21?
False
Let d(x) = -1 - 5*x - 3*x**2 + 2*x**2 