. Let v(k) = k + 11. Let a be v(c). Is a <= 7?
True
Suppose -l = l. Suppose 0 = -6*b + 2*b + 4. Which is smaller: b or l?
l
Let o(s) = s**2 + 4*s - 5. Let d be o(-5). Is d < -2/13?
False
Let u be (-3)/(-1)*(-8)/(-6). Suppose 4*x + 48 = u*s, 4*s - 2*x - 44 = x. Suppose s = 2*v - 6*v. Which is smaller: v or 0.1?
v
Let x be (-15)/(-54) + (-2)/(-9). Suppose 0 = -5*t - c + 18, -2*c - 3*c = 2*t + 2. Suppose 0 = -r - t*r. Is r greater than or equal to x?
False
Suppose -4*s = 11*t - 13*t + 22, 5*t = -s. Let u be (-10)/12 + (-2)/(-1). Is u bigger than t?
True
Suppose -r + 4*y = y + 4, -5*r - 2*y + 48 = 0. Suppose -5*h - r = -h. Let d be ((-2)/28)/(1/h). Which is greater: d or 0?
d
Suppose 0 = v + v - 6. Which is bigger: 3/2 or v?
v
Let a = -12.9 + -5.1. Which is smaller: a or -2?
a
Let z(j) = -j**3 - 2*j**2 + 3*j + 3. Let o be z(-3). Suppose 0 + o = a. Let l(b) = -b**3 + 4*b**2 - 3*b + 3. Let d be l(a). Which is smaller: 2 or d?
2
Suppose 4 = -5*i - 16. Is -6 less than or equal to i?
True
Let b = -2.3 + 2.1. Is -8 less than b?
True
Let h(q) = -27*q**3 - q**2 - q. Let l(m) = m**2 - 6*m + 4. Let z be l(5). Let d be h(z). Let a be (-4)/(-18) + (-6)/d. Which is greater: a or 2/7?
2/7
Let u be (-106)/(-7) - 1/7. Is u < 15?
False
Let i = 63.6 - 64. Which is smaller: 1 or i?
i
Let m = 6 - 4. Suppose x + 9 = 2*c + 2, -4*c = 2*x - 2. Is c greater than m?
False
Suppose -148 = -0*u + 4*u. Let v = 56 + u. Which is bigger: v or -2/7?
v
Suppose -g + 3*g + 2*c = 6, -5*g = -2*c - 8. Suppose 7*a = -2*r + g*a - 12, -2*r - a - 4 = 0. Let d be (-1)/(-36) - 15/60. Is d less than or equal to r?
False
Let b = 4 + -3. Let f = 2 - b. Let l = 4 - 4. Is l at least f?
False
Let r be (-2)/13 + (-1496)/(-11583). Which is smaller: 0 or r?
r
Let f(p) = -p**2 + 2*p - 1. Let c be f(2). Let w be (-30)/27 + 0 - c. Is w smaller than -1?
False
Let j = -2.1 - 3.9. Does 2/7 = j?
False
Let s(z) = -z**3 - 11*z**2 + 13*z + 11. Let j be s(-12). Let d be 5*j/(75/12). Which is bigger: -1 or d?
d
Let b be 0 + 0 + (0 - -1). Let g = -9.4 + 9. Let m = -0.2 - g. Is b less than or equal to m?
False
Let r(m) be the first derivative of -m**3/3 - 3*m**2/2 - m - 1. Let j be r(-2). Let f be 12/54 + j/36. Are 1 and f non-equal?
True
Let f(d) = 3*d - 2. Let z be f(-8). Do z and -27 have the same value?
False
Let b = -5 + 8. Let r(h) = 3*h**2 + 5*h - b*h**2 + h**2. Let x be r(-5). Which is bigger: 1 or x?
1
Let r(j) = 2*j + 3. Let h be r(-3). Let x(t) = -t - 4. Let o be x(h). Let v be (4 + -5)*(0 + o). Are v and 0.1 nonequal?
True
Let b(k) be the first derivative of k**4/4 + 2*k**3 - k**2/2 - 3*k - 2. Let m be b(-6). Suppose m*t + 9 - 1 = -5*s, -s = t. Is s less than -4?
False
Suppose -5*c + 25 = 2*r + 3, 4*r + 3*c - 16 = 0. Let z = 4 - 3. Let h be (-2 + z)/(0 + r). Is -8 > h?
False
Let y(d) = -d**2 - 7*d - 7. Suppose -3*k + 4 = -2*k, -5*n - 29 = -k. Let q be y(n). Do 5/3 and q have the same value?
False
Let g(h) = -h**3 - 6*h**2 + 8*h + 7. Let n be g(-7). Suppose 2*q + 9 + 3 = n. Which is bigger: q or -5?
-5
Let q be -5*((-33)/15 - -2). Which is bigger: 0 or q?
q
Let c be (-4)/(-4 - 0) - -1. Let r be c*((-8)/5 + 2). Is 2 less than r?
False
Let m = -4 + 3. Let k be -2 + (-2 - 45/(-12)). Which is bigger: k or m?
k
Suppose -7*j = 5*j + 36. Is 1/4 not equal to j?
True
Let q be 10/6 + (-1)/(-3). Let j be 10/4 - (q + -1). Let i = -1.04 - -1.14. Which is smaller: i or j?
i
Let r = -13 + -13. Let s be (-24)/9*5/r. Let o = 2/13 + s. Which is greater: o or 2?
2
Suppose 15 = -7*o + 2*o. Is o greater than -3?
False
Let s = 4318/15 - 288. Which is greater: s or -0.7?
s
Let m be (-2)/(-11) + (-140)/44. Suppose -3*k = 2*j - 2, k = 5*j + 6 + 6. Is m < j?
True
Suppose 3*a - s - 8 = 0, 4*a - 3*s = 23 - 4. Let i be (-1)/(-6)*(-24)/6. Let l = -1/2 - i. Is a at least as big as l?
True
Let q = 1754707260/763 + -2299748. Let h = -4/109 - q. Is h less than 3?
True
Suppose 3*o = 5*o - 8. Let p = o - 5. Is p greater than or equal to 2/11?
False
Let j be (-192)/(-54)*(-6)/(-8). Which is smaller: j or 4?
j
Let w = 52 - 116. Are w and -63 unequal?
True
Let o be ((-14)/6)/(5/15). Which is bigger: -3 or o?
-3
Let u = -0.06 + -22.94. Are -2/5 and u equal?
False
Let w = -77/11174 - -1/74. Is 0 smaller than w?
True
Let c = -8 - -9. Let w = 27/2 + -51/4. Is w bigger than c?
False
Let l = -33 - 46. Let s = l - -235/3. Which is smaller: 2/5 or s?
s
Let y = -1.9 - -3.1. Let h = -0.3 - -0.5. Let g = h - y. Is -1 >= g?
True
Let m(h) = -2 - h - 25*h**2 + 23*h**2 + h**3 + 4. Let f be m(2). Suppose -4*x + 16 = 2*u + 6, -3*u + 15 = 0. Is x not equal to f?
False
Let w(o) = 2 + 6 - o**2 - 2 - 2. Let v be w(0). Which is smaller: 5 or v?
v
Let f = 743/1701 - 2/243. Which is bigger: 0 or f?
f
Let c = -126 - -125. Which is smaller: -2/31 or c?
c
Suppose 3*o = -5*k + 52 - 15, -o - 11 = -3*k. Suppose 2*q = -k*i + 12, 5*i - q - 4 = -5*q. Is i <= 5?
True
Suppose -t = -d + t - 10, 0 = -3*d - 5*t + 25. Suppose -3*o + 2*y - 41 = 0, d*o + 5*o + 43 = -3*y. Is o < -0.2?
True
Suppose 3*p + 0*p - 6 = 3*f, p = -5*f - 4. Which is bigger: p or 3/14?
p
Let u(y) = -2*y - 11. Let b be u(-8). Which is greater: b or 2?
b
Suppose 0 = -2*r + 2*s - 6, -r + 4*s = 4*r + 15. Let n be 5 - 2*r/6. Suppose 5*j - 1 + n = 0, 35 = 4*m - 3*j. Which is smaller: m or 7?
7
Let x = -0.28 - -0.58. Let n = -0.1 + -0.4. Let y = x + n. Is -3/4 greater than or equal to y?
False
Suppose -m + 3 = h - 2, 3*h - 2*m = 10. Suppose -2 = -0*j - j - 3*a, -8 = -h*j + 3*a. Is j greater than or equal to 3?
False
Let i = -6.05 - -6. Let x = 0.1 + i. Let l = x + 0.05. Is l < 4?
True
Let h(t) = -t**3 + 14*t**2 - 23*t + 10. Let z be h(12). Which is greater: z or 20?
z
Let j = 3.05 + -3. Let t = j - 0.45. Let k = 1.4 + t. Is -2 less than k?
True
Let j = 5 - 1. Is j greater than or equal to -0.2?
True
Let k(u) = u**3 + 4*u**2 + u - 5. Let a be k(-4). Let q be (-1 + 2/(-4))/(9/54). Are a and q nonequal?
False
Let r(t) = -t**2 + 17*t + 2. Let o be r(17). Which is smaller: o or -27?
-27
Let q be (-3 - -2) + (-50)/(-42). Let g(w) = 2*w**2 - w - 3. Let x be g(-1). Which is smaller: q or x?
x
Let z = -0.3 - -0.4. Let p = -10117/10 + 1013. Let h = -59/30 + p. Is h != z?
True
Let v = -4 + 4. Let o = 106 - 1588/15. Which is bigger: v or o?
o
Let p = -0.22 + -0.02. Let w = p + 0.44. Which is bigger: -2/5 or w?
w
Let b be (-2)/(-10) - (-926)/80. Let l = b + -57/5. Which is bigger: l or -1?
l
Let c = -46 - 2. Is -47 at most as big as c?
False
Suppose -16 = 5*u - u. Suppose 2*k + 2*p - 12 = 0, k + 3*p + p = -3. Suppose -4*l + 7*l + k = 0. Is l equal to u?
False
Let w = 25 - 24.8. Which is bigger: w or 0?
w
Let o be (-14)/12*18/(-28). Let t(i) = i**3 - 2*i**2 + 2*i. Let u be t(2). Suppose -4*v - 17 = -3*g - 2*g, u*g = 3*v + 13. Which is greater: g or o?
g
Suppose -v = -2*j + 22, -5*v - 19 = 4*j + 77. Are v and -19 unequal?
True
Let a = 0.4 + -25.4. Let d = a - -18. Let q = d + 7.02. Which is bigger: -1 or q?
q
Suppose w = 3 + 1. Which is greater: 14/3 or w?
14/3
Let g = -12/11 - -51/77. Which is greater: 0 or g?
0
Suppose 8*h + 2*m = 6*h - 48, m = -1. Is h less than -24?
False
Let x be (2 - (7 + -4))*0. Which is smaller: -2/9 or x?
-2/9
Let f(l) = -l**3 + 4*l**2 + 5*l. Let x be 1/6 + (-232)/(-48). Let s be f(x). Which is greater: s or -1?
s
Let z = 25.3 - 25. Let s = -2834 - -90681/32. Let o = s + -1/32. Which is smaller: o or z?
o
Let r = 5 - 4. Let n = -4 + r. Let u = n - -3. Is -2 at least as big as u?
False
Let s = 30 + -57/2. Let l = -3 + s. Suppose -4*p = p + 5*a, 1 = -a. Is p > l?
True
Let y(j) = j**2 + 5*j + 4. Let i be y(-5). Let f(l) = -l + 1. Let r be f(i). Is 1 equal to r?
False
Suppose -5*j + 14 = 3*y, -4*y + j = 2*j - 13. Suppose 4*r + 1 = -y. Is r bigger than 0?
False
Let s = -12.2 - 0.8. Let t = s + 8. Let z = t + 5.2. Which is smaller: -3 or z?
-3
Let r be (-676)/(-715) + 2/(-5). Are 2 and r non-equal?
True
Let u = 121/24 + -14/3. Which is bigger: u or -1?
u
Suppose -5*q + 2 - 17 = 0. Let m(v) be the first derivative of v**4/4 - 5*v**3/3 - 3*v**2 - 4*v - 6. Let k be m(6). Does q = k?
False
Let z = 0.1 - 0.1. Let u = z - -0.1. Let t = u - 0.2. Is t < 0.3?
True
Let l = 29 + -21. Suppose 5*n - y - 2 = -2*y, -5*n + 4*y = l. Let u = -22 + 21. Which is bigger: n or u?
n
Let k = 0.2 + 0.8. Let u = -519/4 + 131. Which 