 + 2 - (0 + x). Let l be (1 - -1)*(h - 0). Do 1 and l have the same value?
False
Let f be ((-9)/(-2))/(4 - (-10)/(-3)). Is 6 > f?
False
Let a be ((-2)/(-6))/(6/(-36)). Suppose -f - 5 = -2. Are a and f equal?
False
Let c = 8 + -3. Let j = 8 - c. Does j = 2?
False
Let q be (0 - 84/4)*4/6. Do -14 and q have the same value?
True
Let b be (-21)/36 + (15/(-6))/(-5). Which is smaller: 7 or b?
b
Suppose -3*k - s = 73, -30 - 71 = 4*k + 5*s. Let y be ((-3)/(-4))/(3/k). Let l(w) = -w**3 + 7*w**2 + 12*w - 38. Let v be l(8). Is y greater than v?
False
Let o(s) = -s**2 - 26*s + 1. Let i be o(-26). Which is smaller: 1/86 or i?
1/86
Let s = 19 - 15. Which is smaller: 26/5 or s?
s
Let h(p) = -p**2 - 3*p + 5. Let r be h(-5). Which is greater: r or -4?
-4
Let l = 2 + -3. Let p = 6 + -6.04. Let c = 1.96 - p. Is l < c?
True
Let f(h) be the first derivative of -h**4/4 + 2*h**3/3 + h**2 - h - 10. Let a(r) = r - 1. Let o be a(4). Let j be f(o). Are j and -4 unequal?
False
Let l = 6.77 + -6.7. Which is greater: 2/11 or l?
2/11
Let o = 98 - 98. Does o = 0.005?
False
Let f = 455/2 - 237. Is -10 not equal to f?
True
Let x(u) = -u**3 + 4*u**2 + 14*u - 9. Let n be x(6). Suppose n + 0 = f. Is -1 at least as big as f?
False
Let h = -115 + 116. Is h at least as big as 1/8?
True
Suppose -1608 - 1350 = -17*x. Is x at most as big as 173?
False
Let r be (-20)/175 - 8/28. Which is smaller: r or 1?
r
Suppose -2*b = f + 16, 5*f - b + 25 = -0*f. Let k = 6 + f. Suppose k = -5*q + 3*y - 11, -5 + 3 = -y. Is -1 <= q?
True
Let o be 374/(-520) + (-9)/(-12). Is o > 0?
True
Let h(j) = -j**2 - 3*j - 2. Let w be h(-2). Which is bigger: 2 or w?
2
Let u be 86/18 - 2/(-9). Suppose 0 = 2*s - 6*s + 20. Is u greater than or equal to s?
True
Let n(r) = r**2 - 4*r - 5. Let c be n(5). Suppose -o = 5*g + 39, o - 5*o - 23 = g. Let w be -1 - (0 - g/(-5)). Which is smaller: w or c?
c
Suppose -2*i + 4*i = 2*g + 4, 0 = -2*i - 5*g + 11. Suppose -i*t = 5 - 17. Suppose 0 = -t*v - v. Is v != 1/6?
True
Let k = -45.6 - -50. Which is smaller: 0.1 or k?
0.1
Let t(d) be the second derivative of d**5/20 - d**4/2 + d**2/2 - 3*d. Let l be t(6). Let r be (-1)/6 + l/3. Are -1 and r nonequal?
True
Let m(r) be the second derivative of r**4/12 - r**3/6 + 4*r. Let y be m(1). Let w = -1 - -1. Is y equal to w?
True
Let z(l) = -l**3 - 5*l**2 - 6*l - 3. Let s be z(-4). Suppose -s*n = -4*b + 25, -4*n - 4 = b - 5. Let u be 1/3 + 2/(-3). Which is bigger: u or n?
u
Suppose -2 - 2 = -4*i. Let b be -3 + 16/6 + i. Which is smaller: b or 4/5?
b
Let f = 2 + 0. Let t = -17 - -58. Let g = t + -163/4. Which is bigger: g or f?
f
Let p = 1646318/13 - 126538. Let l = 102 - p. Which is bigger: l or 1?
1
Suppose 17*n = n - 80. Is -18/5 < n?
False
Suppose -9 = t + 2*t. Let o = -3 + 2. Is o at least as big as t?
True
Let b be 4/116*-118 + 4. Which is smaller: 1/6 or b?
b
Let q = -1/25 - -53/75. Which is greater: -4 or q?
q
Let x = -101/20 - -29/5. Let w(f) = -f + 2. Let d be w(0). Is d equal to x?
False
Let x = 52 + -49.9. Let n = 2.3 - x. Is -0.1 less than n?
True
Let v be ((-14)/(-10))/((-7)/(-35)). Which is greater: v or 6?
v
Let o = -11377/609 - 20/609. Let n = -19 - o. Let u be (-1 - -1)*(-4)/8. Is n < u?
True
Let p = 15 + -6. Does p = 0?
False
Let f = 2117/6 - 352. Are 0 and f non-equal?
True
Suppose -6 = -5*n - 1. Suppose -2*t = 1 + n. Which is bigger: t or 0?
0
Let d = 11 - 1. Let n = d - 14. Let l be (n - -2)/(2 - 0). Does l = -3?
False
Suppose -2*s = -i - 2*i + 16, -2 = s. Let f = -0.05 - -2.05. Let q = -1 + f. Are i and q equal?
False
Suppose j + 4*s = -13, -j + 4*s + 19 = -0*s. Let g = 3 - j. Let u = 2 + g. Which is bigger: u or 1/4?
u
Let q(i) = -i + 2. Suppose 0 = 4*j - 4*d, j - 2*d = 2*d. Let l be q(j). Suppose -f - l*f + 3 = 0. Is f less than -1?
False
Let w = 15 + -40/3. Which is smaller: 6 or w?
w
Let w = -8.9 - -9. Are -1/16 and w unequal?
True
Suppose 0 = 3*t - 3 - 3. Let s(v) = -v - v + v + 0. Let k be s(t). Which is bigger: k or -4?
k
Let z = 0.12 - 0.1. Let y = 12 - 11.98. Let h = y - z. Is h at least -3?
True
Suppose 5*i = 3*z - 11, -2*i - 2*z - 9 - 5 = 0. Suppose 0 + 6 = -3*u, 8 = -4*g + 2*u. Which is smaller: i or g?
i
Suppose 0 = 4*l + 8, -2*l - 10 = -4*b + 3*l. Suppose 0*o - 5*o - 5 = 0. Let r be o - ((-2)/(-3) + -2). Is r not equal to b?
True
Let t(o) = -o**2 - 17*o + 11. Let w be t(-19). Which is smaller: -28 or w?
-28
Let k be 5/((-700)/(-192)) + -2. Let w = 3/7 + k. Which is bigger: w or -1?
w
Let g = 0.8 + 0.2. Let i = -0.18 - -0.17. Do g and i have the same value?
False
Let b = 0.62 + -0.7. Let c = b + 1.08. Which is bigger: c or 3/7?
c
Let d = -0.1 + 1.1. Let f = 0 + d. Are f and -1 unequal?
True
Let q(x) = 2*x - 2. Let k be q(7). Let w be 58/k + (-8)/(-12). Which is smaller: w or 7?
w
Let s(g) = -g**2 + 9*g - 4. Let m be s(9). Which is smaller: m or -1?
m
Let q(g) = -g - 3. Let s be q(-3). Suppose s = -5*v - 3*z + 21, -3*z + z = v. Let m = 9 - v. Is 2 less than m?
True
Let k = -677/10 - -68. Is k >= 0?
True
Suppose -2*c - 50 = -3*n - 14, -c - 11 = 2*n. Which is smaller: c or -12?
c
Let x(p) = -p**2 - 5*p - 5. Let l be x(-4). Let o be (159/15)/(l/13). Let f = o + 137. Which is smaller: f or 0?
f
Let n be ((-15)/(-6))/(34/52). Let q = 3824/969 - n. Let d = q + -2/171. Which is smaller: -1 or d?
-1
Suppose -x = -5*a - 2, -a - a = -3*x + 6. Is a at most as big as -2?
False
Let v(m) = 1 - 6*m**2 - m**3 + 2*m**2 + 6*m - 7*m + 5*m. Let l be -3 - 3*2/3. Let n be v(l). Which is smaller: n or 7?
n
Suppose 3*c - 4*d + 3 = 1, 5*c + 46 = -4*d. Which is smaller: c or 0.1?
c
Let n be (4*1/2)/(-2). Suppose 8 = -6*h + 2*h. Let p be h/(1 + 4 - 2). Are p and n non-equal?
True
Let j = 0.15 - 0.25. Let u = 8.1 + j. Is u at least -1?
True
Let m be 33/45 + (-9)/(-15). Is -1 at most as big as m?
True
Suppose 1 = -v, -7*w + 2*w - 86 = v. Which is smaller: -18 or w?
-18
Let n be 21/15 - 4/10. Which is greater: n or 0?
n
Let i be 1 + -3 + 1 + (-285)/(-255). Is -0.3 greater than or equal to i?
False
Let d(m) = m**3 - 18*m**2 - 20*m + 28. Let w be d(19). Is 11 at most w?
False
Suppose -6 = 2*k - 0*f - f, 5*f = 10. Which is smaller: -7 or k?
-7
Let p be ((32/7)/4)/((-4)/(-14)). Is 1/4 greater than p?
False
Let o = 1.55 - 0.05. Let j = o - 0.5. Which is greater: j or 0.2?
j
Let b be -1*0/(-4*4/(-8)). Which is smaller: 3 or b?
b
Let h be -4 + -2 + (9 - 6). Is -3 smaller than h?
False
Let y(c) = -2 - 6*c - c**2 + 6*c - 7*c. Let a be y(-6). Suppose 3*o - a*o = 0. Is 0 greater than or equal to o?
True
Let k = 0.4 + -1.2. Let l = -0.2 + k. Let f = 0.02 + 0.28. Which is bigger: l or f?
f
Let v(x) = x + 6. Let j be v(-4). Let o(d) = 2*d**2 - 1 - d**j + 3*d**2 - d. Let r be o(-1). Is 5/2 at most r?
True
Let b = -1.6 - 5.4. Let m = b - -5. Which is greater: 0.1 or m?
0.1
Let d = -1 + 13. Let y be (-4)/(-6) + -13 + d. Which is bigger: y or 2/7?
2/7
Let n be (-90)/(-198)*4/10. Let k(c) = c - 7. Let t = 6 + 0. Let r be k(t). Do r and n have the same value?
False
Let t be (-15)/(-4)*(4 - (-516)/(-126)). Are 1 and t nonequal?
True
Suppose -337 = -4*x - m, m + 409 - 66 = 4*x. Which is smaller: 86 or x?
x
Let o = 649/195 + -45/13. Is -0.1 < o?
False
Suppose 0 = g + 5 - 2. Let z be g/(-9) - 2/(-3). Is z smaller than -2/13?
False
Let l = -7 - -8. Let i be 2 + (-2 - -1 - 0). Let d be (3 - (i + l))*1. Is 1 bigger than d?
False
Let d be (-528)/(-594)*(-1 + (-1)/(-4)). Which is smaller: d or -2?
-2
Suppose 11 + 5 = 4*i. Suppose i*u - 6 = u. Suppose u*l + 4*s + 10 = -0*l, -l = -2*s - 11. Which is bigger: l or 7/3?
l
Let o = 0.49 - 0.59. Is 70 <= o?
False
Let l(a) = -a**3 - 2*a**2 + 4*a + 3. Let i be l(-3). Is i <= -3/7?
False
Let f be 14/6 - 2/(-3). Suppose -p - 4*h - 4 = 0, 0*h + 5*h - 10 = -5*p. Which is bigger: p or f?
p
Suppose p + 6 = -y, -5*p - 2*y = -3*y. Does -3 = p?
False
Let l be 25/850*(0 + 1). Are l and 0 equal?
False
Let u be (2 - 26/10) + 8/5. Which is smaller: 3/103 or u?
3/103
Let y = 4 + -6. Let i be (-2)/6*(5 + y). Let h = 20/3 - 103/15. Is i greater than or equal to h?
False
Let y = -1/77 - -621/385. Let l(m) = m - 5. Let u be l(8). Is y equal to u?
False
Suppose 0 = -0*o - 7*o + 3*o. Is 2/71 at least o?
True
Suppose 0 = m + 5*q - 2, m = -4*m - 3*q + 10. Suppose -5*f = 5*p + 55, -2*f + 8 = p - m*p. Is p at least as big as -10?
True
Suppose -4