20 = -4*p + 2*m. Let z = -3359/11 - p. Which is smaller: 0 or z?
z
Let r = 190 - 313. Is -1 != r?
True
Let u be ((-5)/120)/(8121/1207010). Let b = u - 13/8121. Let c = b + 23/4. Which is greater: 5/3 or c?
5/3
Suppose 29 = 3*n - 46. Let v = 37 - n. Let i(x) = -13*x**3 + 2*x**2 + 2*x + 1. Let s be i(-1). Which is greater: s or v?
s
Let q = 503/3 - 168. Which is smaller: -2/27 or q?
q
Let s = 773.55 + 1.45. Which is greater: -0.1 or s?
s
Let l = -10 + -48. Let g = l + 57. Which is smaller: -9 or g?
-9
Suppose -388 = -24*h + 716. Is h < 49?
True
Let q = -489 - -490. Let t(d) = -1 + 1 + 3*d. Let j be t(q). Which is bigger: j or 0.04?
j
Suppose -12 - 9 = -7*p. Let l be ((-2)/(-4))/(p/6). Are l and -2/65 nonequal?
True
Let l = -30 - -24. Let b be ((-324)/88)/9*(-32)/l. Let m = -4 + 1. Is m at least as big as b?
False
Let x be (-1)/(28735/14377 + -2). Let r = 757 - x. Which is bigger: r or -1?
r
Suppose -3*t + 9 = 4*k, -5*t + 2*k = -2*t - 9. Let r be t/(1 - -8) + 2/3. Which is smaller: -46 or r?
-46
Let f(c) = c**2 + 2*c - 5*c**2 - 8*c - 2. Let l be f(5). Let o be (-1)/3 - 8/l. Is 1 greater than or equal to o?
True
Let y be (-22)/(-3)*(3 + 8 + -5). Let l = -39 + y. Which is smaller: 0.8 or l?
0.8
Let s = -2273.5 - -2274. Let j be 4/(-3)*2/12. Which is smaller: s or j?
j
Let v(w) = w + 1. Let o be v(-1). Suppose 4*k + 2 + 7 = 3*d, -d = 4*k + 13. Let a(y) = -2*y**3 + y**2 + 4*y + 2. Let s be a(d). Which is bigger: o or s?
s
Let u(a) be the first derivative of -a**2/2 - 30*a - 8. Let c be u(0). Let f be 4/(3/((-9)/c)). Are f and 0 unequal?
True
Suppose 0 = -21*s + 15*s + 6. Let m be (5 + -5)/s*1. Do -1/43 and m have the same value?
False
Let r(t) = 2*t**3 - 3*t**2 - 5*t + 6. Let n be r(3). Is n less than 19?
True
Let h be (-5)/(15/(-2)) - 91/(-39). Suppose -2*s = -4*j - j + h, -5 = s + j. Is -7 at least as big as s?
False
Let l = -8/2671 + -23111/309836. Let k = l + 191/5452. Which is greater: -1 or k?
k
Let i(l) = -5*l**3 - 26*l**2 - 8*l + 39. Let d(r) = -4*r**3 - 25*r**2 - 7*r + 39. Let f(x) = 6*d(x) - 5*i(x). Let m be f(20). Is -11 at most as big as m?
True
Suppose 8*n - 13*n = -3*z + 113, z - n = 37. Is 45 equal to z?
False
Let k be (7*3/6)/((-3)/42). Is k at most -49?
True
Let j = -702 + 701.9. Which is smaller: j or -0.04?
j
Suppose -27 = 3*m + v, -m - 4*m - 45 = 5*v. Let l be (5 + m)*38/8. Is l at least as big as -18?
False
Let j be (16/24)/((-8)/12). Is 3/1327 greater than or equal to j?
True
Suppose -5*y + 2*r + 1 = -0*r, r = -3. Let d = 61823/28 + -2208. Are y and d equal?
False
Suppose 0 = -r + 2*r. Suppose -4*i = -r*i + 36. Let q be (i/(-12))/(7/(-8)). Is q at least as big as 0?
False
Let c = -0.11 + 0.11. Let n = 2 - c. Let f be ((2/(-13))/1)/1. Is f less than n?
True
Let g(o) = o**3 + 4*o**2 - 6*o - 5. Let f be g(-5). Let r = -5850 + 5841. Which is bigger: r or f?
f
Let x(a) = -a**3 - a**2 - 3*a - 2. Let b = -4 - -2. Let q be x(b). Suppose 4*v - 4 = q. Are 3/2 and v equal?
False
Let g(s) = s**2 + s - 4. Let m be g(-3). Let r(w) = -w**3 + 3*w**2 + w + 3. Let p be r(4). Let u be (-3 + m)/((-3)/p). Is -3 != u?
False
Let h = 35 + -34.1. Let n = h + -1. Are 6 and n unequal?
True
Let f(q) = q**3 + 182. Let h be f(0). Let k = h - 317. Let b = 265/2 + k. Which is greater: b or -2?
-2
Let p = 137 - 136.4. Let n = -9.03 - -0.03. Is n <= p?
True
Suppose -223 = 18*a + 101. Are a and -18 non-equal?
False
Let a be 41/(-287) - 148/(-7). Which is greater: 85/4 or a?
85/4
Let o = 1656/13 + -233522/1833. Suppose -8*r - 8 = -6*r - 3*m, 0 = 3*r + 5*m - 7. Is o at least as big as r?
True
Let v be 0 + 1 - 562/3. Let w = -190 - v. Suppose 0 = -27*y + 19*y - 40. Is y at least as big as w?
False
Let c be 5/(-4 + 5) - 106. Let y = 98 + c. Is y at least 0?
False
Let u = -326 - -325. Which is bigger: 0 or u?
0
Suppose 0 = 2*j + 5271 - 5261. Which is smaller: 71 or j?
j
Suppose 29*s = 97*s. Which is smaller: -1/542 or s?
-1/542
Let b = 1.4 + -0.4. Let k = b + -1. Let r be (0 + 1)*(-6 + 272/44). Which is greater: k or r?
r
Suppose -d - 7*l + 3*l - 11 = 0, -2*d - 3*l - 7 = 0. Is d < -1/22?
False
Let k = -597/8 - -425637/5704. Which is smaller: k or -2/3?
-2/3
Let o = 217 - 1951/9. Let c be 15/(-3) - (-1 + 0). Let i(k) = k**2 + 4*k - 1. Let d be i(c). Which is smaller: d or o?
d
Suppose -3*j + j - y + 5 = 0, 3*j - 20 = y. Let h be j + 1 + (-8 - -4). Let b be (-12)/(-28) - h/(-126). Which is greater: 1 or b?
1
Let o = -71 - -148. Is o less than 77?
False
Suppose -4*v + 5*v = -5*l - 15, -5*l = -v + 15. Let j be (-41)/(-1) - (-12)/l. Is j != 37?
False
Suppose -3*f = 4 + 2. Let o be 7 + -9 - 13/f. Suppose -3*n - 2*p + 9 = -4*p, -13 = -n + 4*p. Are o and n unequal?
True
Let b = -4424003/436860 - -101/4045. Let n = -41/4 - b. Which is greater: 0 or n?
0
Let x be 91 - 1*(1 + -2). Let w = x + -642/7. Let b = 3274 + -3274.1. Which is smaller: w or b?
b
Let x = -12.8 + 18.1. Let h = -6 + x. Let j = h + 0.6. Is -1/6 bigger than j?
False
Suppose 6 + 0 = p. Let g(i) = -p*i + i + 2*i - 4 + 2*i. Let l be g(-3). Which is smaller: 2 or l?
l
Suppose -2*m = -2*n - 140, 4*n + 0*m + 250 = -2*m. Is n greater than -65?
False
Let g be (4/210)/((-3)/18). Let n(w) = w**2 + 64*w + 798. Let o be n(-17). Which is greater: o or g?
g
Let x(j) = -j**2 + 5*j - 7. Let q be x(5). Are q and -2/13 unequal?
True
Let p(m) = -4*m**3 - 2*m**2 + 5*m + 3. Let h be p(2). Is -11 greater than or equal to h?
True
Let l be -8 + (10384/152)/11. Is -3 at most as big as l?
True
Let p(m) = -3*m**3 + 2*m**2 - 14*m + 13. Let s be p(1). Let j = -0.5 - 1.5. Let x = 3 + j. Is s at most x?
True
Let t be 11/22*-1*2. Is t bigger than -4/29?
False
Let j be 2 + (-3)/(45/(-25)). Let y be 2/7 + 208/56. Which is smaller: j or y?
j
Let s = 2 - 9. Suppose -x = 0, 3*i + x - 15 = 6*x. Suppose i*n + 5*c + 20 = 0, -n + 4*c + 0*c = 14. Is n equal to s?
False
Suppose m - 20 = -4*m. Suppose -m*t + 6 + 14 = 0. Let x = t - -4. Which is smaller: 8 or x?
8
Suppose -3*o = -4*y - 4*o + 30, 4*y = 2*o + 24. Let c = -4.03 - -4.2. Let r = -0.27 + c. Is y at most r?
False
Let l = -17 + 18.8. Let c = -2.4 - -0.4. Let x = l + c. Which is bigger: x or 0.1?
0.1
Suppose 9*w - 3*o + 18 = 12*w, 2*o + 9 = 5*w. Is w at most as big as 40/9?
True
Let d(l) = l**2 - 4*l - 1. Let y be d(5). Suppose -2*m + 6*m = -y. Let f = 57 - 57. Is f at least as big as m?
True
Suppose 2*r - 14 = -3*s, -5*s + 4*r = 3 + 3. Suppose 0 = -3*i + q + 17, -3*i + 2*q = 2*i - 29. Let y = 7 - i. Is s smaller than y?
False
Let g = 90 - 86. Let h = g - 5.7. Is h smaller than 0.1?
True
Let h(g) = -g**2 + g - 1. Let d be h(2). Let w(v) be the first derivative of v**2/2 + 4*v + 17. Let x be w(d). Which is smaller: 1/25 or x?
1/25
Let t = -64 + 188. Let b = t - 124.2. Is -14 at least as big as b?
False
Let p(i) = 27*i**2 + 5*i - 18. Let l be p(2). Which is smaller: 99 or l?
99
Let k = 0.1104 + -0.2254. Which is smaller: -4 or k?
-4
Suppose -2*t = 3*p - 2*p - 13, 30 = 5*t + 2*p. Suppose 2*g - 5*q + 13 = 0, g + t*q + 40 = -3*g. Let v be 6/(-4)*(g - -8). Which is smaller: v or -2?
-2
Let b(c) = 24*c + 36. Let n be b(-2). Let l be 3/15 + 16/(-5). Let m(f) = 5*f + 4. Let r be m(l). Is r smaller than n?
False
Let p be 4 - 54/(-3 - -9). Is p greater than 10?
False
Let h = -96/23 - -1329/368. Which is greater: 0 or h?
0
Suppose -3*o + 5 = 2*a, 2*o + 0*o - a - 1 = 0. Let d = -11 - -23. Suppose 0 = 3*s - d, -4*i - 2*s + 4 = -0*i. Is o < i?
False
Suppose 113*g + 2840 = 121*g. Is 1 less than or equal to g?
True
Suppose 7*j - 158 = -18. Let t = j - 21. Let o be (6/4)/(81/4). Are o and t unequal?
True
Let n = -110 - -101. Let o = 0 - -1. Which is smaller: n or o?
n
Let d = 69/76 - 3/19. Suppose 0*x - 2*x = 0. Suppose x = -3*o - 1 + 4. Which is smaller: o or d?
d
Suppose -12 = -3*u, -u + 4*u - 14 = -o. Let k be (1*-1)/(o/(-2)). Which is smaller: k or 9/8?
k
Suppose -3 = 3*j, -4*j - 5 + 1 = -m. Which is greater: -14 or m?
m
Let s = -0.1 + -0.9. Let a be (-292)/12 + ((-60)/(-18) - 2). Is a at most s?
True
Let m = 17 - 6. Let b(r) = r - 2. Let t be b(-11). Let i = t - -24. Is m > i?
False
Let r(d) = d**3 - 21*d**2 + 16*d + 48. Let x be r(20). Suppose -5*k = -5*w + 19 + 116, 2*w - 85 = 3*k. Which is bigger: x or k?
k
Suppose 0 = 4*l - 6*l + 32. Let q be (l/24)/(1 - -5). Is 2/15 greater than q?
True
Suppose -6*t 