5?
False
Let v = 9 + -5. Let c = 3 + -1. Let d = c - v. Which is greater: d or 2?
2
Let d be 3/(-4 - 21/6). Which is bigger: d or -1.2?
d
Let r be 0 + 0 - (-107)/5. Which is smaller: 20 or r?
20
Let i = -0.23 - 1.37. Let l = -1.5 - i. Is l < 6/7?
True
Let r be (1/(-2))/((-20)/88). Are 1 and r equal?
False
Let t = -13.93 - 0.07. Let s = t - -15. Is 8 at least as big as s?
True
Let r(o) = o**3 - 7*o**2 - 8*o - 8. Let u be 10 - ((-4 - -3) + 3). Let a be r(u). Which is bigger: -9 or a?
a
Let r be 40/(-16)*(-2)/(-23). Let s = r - 11/161. Is -0.05 at least as big as s?
True
Suppose 3*p = -4*f + 2 - 6, -3*p = 2*f + 8. Suppose -3*w - 9 = -2*l, 5*w + 11 = f*l - 0. Suppose 2*o = o. Are o and w nonequal?
True
Let u be (-156)/27 - (-4)/(-18). Suppose i + 0*i - 5 = 0. Let g = i + u. Which is bigger: 1/4 or g?
1/4
Let s = 0.04 - -0.02. Is s at least as big as 1?
False
Let t = 27.2 - 27. Which is smaller: 1 or t?
t
Let x(q) = -2*q - 5. Let g be x(-11). Let j = -8 + g. Which is bigger: j or 0?
j
Let v = 0.17 - 0.17. Are v and 6/5 non-equal?
True
Suppose 6*l - 5 = l + 4*o, -5*l + o = -5. Which is smaller: l or 2/31?
2/31
Let i = -1 + 1.5. Let z = i - 0.7. Let x = z + 0.5. Which is smaller: x or 0.2?
0.2
Suppose 3*a - 5*a = -b, 7 = 5*b - 3*a. Suppose -k = 7 - b. Let o = k + 3. Which is bigger: o or -1?
-1
Let q = 1 - 1. Let b(x) = q - x - 7 - 8. Let v be b(-9). Does v = -5?
False
Let s = 0.6 + -0.4. Let r = -0.2 + s. Let x = 2 - 0. Which is smaller: r or x?
r
Let r = 0.3 + -0.5. Let h = 7.06 + -7. Let v = h + -1.06. Is r less than v?
False
Let t(m) be the second derivative of m**5/20 + 2*m**4/3 + m**3/6 + 3*m**2 + 2*m. Let k be t(-8). Suppose -c - 3 = -1. Is c equal to k?
True
Let p(j) = -j**3 - 5*j**2 - j - 6. Let a be p(-5). Let d be (-3 - -5)/(1*a). Is d not equal to -5?
True
Let j be (105/(-10))/((-9)/24). Let w be 15/20 - 13/j. Is w bigger than 0?
True
Let g(l) = -l**3 + 3*l**2 - l. Let q be g(3). Suppose -25 = 3*o + 2*o. Is q <= o?
False
Let s(z) = -4*z + 32. Let o be s(7). Which is smaller: 3 or o?
3
Let i(k) = -k**3 - 9*k**2 - 2*k - 12. Let b be i(-9). Let l be 8/(-14)*3/b. Which is smaller: 0 or l?
l
Let a = 6 + -24. Let j be 2/(-9) - 112/a. Do j and 7 have different values?
True
Suppose 4*q - q - 12 = 0. Suppose 6 = -5*z - 3*w, -2*w - q = -0*z - 4*z. Which is greater: -2 or z?
z
Suppose 5*v + s = 5, 3*v - 7*s + 3*s - 26 = 0. Which is smaller: v or 1?
1
Suppose x + 3*v = -3 - 3, -2*v = 6. Let p be (4/10)/((-4)/(-80)). Suppose 2*w + 4 = p. Which is bigger: x or w?
x
Let d be 2 - 12/3 - -3. Let o(z) = -2*z**3 - z. Let b be o(d). Which is bigger: b or 0.1?
0.1
Let g be (5/10)/((-2)/(-24)). Suppose 0 = -y + g*y. Which is greater: -2/13 or y?
y
Let h(d) = d**3 + 5*d**2 - d - 3. Let t be h(-5). Let c(r) = r**3 - 4*r**2 + 3*r + 2. Let w = 8 - 5. Let q be c(w). Is q > t?
False
Let c(n) = n**3 + 2*n**2 - 3*n + 2. Let k be c(-3). Suppose -k*p = -3*p + 8. Let j be (-21)/12 - 2/p. Which is greater: 0 or j?
0
Let u(k) = k**3 - 9*k**2 - 4. Let a be u(9). Are -4 and a unequal?
False
Let c be 49/4 + 2/(-8). Let h be (-2)/(-12) - 5/c. Which is greater: h or -0.1?
-0.1
Let k = -37 + 53. Which is greater: k or 0.3?
k
Suppose 0*y + y - 14 = 0. Is y greater than or equal to 14?
True
Let s = -31304/75 - -2089/5. Let g = 2/25 - s. Which is smaller: 1/9 or g?
g
Let p(q) = -6*q + 35. Let u be p(6). Is -3/98 at most u?
False
Let u(m) = m - 3. Let l be u(6). Let k = -10 - -13. Are k and l nonequal?
False
Let r(f) = 2*f - 2. Let v be r(3). Let i be (-2 - (-6)/v)*20. Is -10 not equal to i?
False
Suppose 31 + 35 = -11*j. Suppose -2*c + 2*f = -f + 16, -4*c - 28 = -4*f. Which is greater: c or j?
c
Let k be (-2 - (-11)/4)/(-3). Let n(a) = a**3 - 3*a**2 + a + 2. Let d be n(2). Let w be d*(1 + -1 + -1). Which is greater: k or w?
w
Suppose 6*m - 7*m + 19 = 0. Do m and -1 have different values?
True
Let u(x) = 2*x**2 - 4*x. Let i be u(3). Suppose 5*y + 15 = 2*w, 5*y + i*w = w - 50. Which is bigger: y or -6?
y
Let s be -1 + 848/714 + 1. Let y = -21/17 + s. Let j = 11/63 - y. Is 0 smaller than j?
True
Suppose i - 2 = 4*b, 3*b + 32 = -2*i - b. Is i greater than -10?
False
Let q(i) = -i**2 - 5*i + 7. Let d be 320/(-56) - (-4)/(-14). Let p be q(d). Let k be (-21)/18*p/7. Which is greater: k or 0?
0
Let y be (-16)/(-88) + (4542/(-22))/(-3). Which is smaller: y or 67?
67
Let d(l) = l**3 - 8*l**2 + 11*l + 2. Let v be d(7). Is v not equal to 32?
True
Suppose -4*w + 2 = -2*d, w + 3*d + 2 = -8. Which is greater: w or 2/29?
2/29
Suppose -n = 4*r + 4*n - 35, -r + 14 = 3*n. Let u(o) = -o + o**2 - r*o + o - 3 + 2*o. Let b be u(4). Are b and 0 non-equal?
True
Let v = 0.03 + -0.08. Let b = 2.95 - v. Let n be (0 - 2/28)*-4. Is n greater than b?
False
Let u = 1 - 0. Let j = -5 - -3. Let f be -1*1/8*j. Which is smaller: f or u?
f
Let h = 0.43 - 0.33. Is 0.07 at most as big as h?
True
Suppose a = 4*t + 28, 4*a - 7*a + t + 73 = 0. Let v be (-4)/10 + (-1484)/(-60). Let p = v - a. Which is bigger: 0.4 or p?
0.4
Suppose 3*l - 7*l = -3*c - 18, -4*l = -5*c - 22. Which is smaller: l or -1?
-1
Let b = -0.3 + 0.4. Let n = 1 - 0.75. Let d = n + -0.05. Is b > d?
False
Suppose 2*t + 4 = 6. Which is smaller: t or 3/31?
3/31
Suppose 16 = 5*h - 4. Suppose 0 = 2*c - 2, -h*c + c = 5*j - 3. Suppose -4*o = j, 4*b - o - 3 = b. Which is smaller: b or 0?
0
Let s = -2.3 + 2.75. Let h = -0.05 + s. Is 1 smaller than h?
False
Let m = 4 + -3. Suppose 2*z + 8 + 2 = 0. Let x = z - -7. Do m and x have different values?
True
Let x(c) = c**3 - 16*c**2 - 2*c - 5. Let v be x(16). Is -35 greater than or equal to v?
True
Suppose 4*u = 2*u - 4*c - 14, 0 = -2*c - 10. Let t be (11 - 20)/(6/(-16)). Let q be 70/t + 4/(-16). Which is smaller: u or q?
q
Let m(j) = -4*j + 1. Let w(o) = -20*o + 5. Let b(d) = 11*m(d) - 2*w(d). Let f be b(1). Let h = 3 + f. Which is smaller: 3/4 or h?
h
Let j = -28.76 - 0.24. Is 1 > j?
True
Suppose 0*n - 5*z = -5*n - 5, -z - 11 = -4*n. Suppose -4*u = -0 - n. Let y be (3/(-5))/((-27)/10). Is u greater than y?
True
Let g(o) = -o**3 - 13*o**2 + 30*o + 22. Let x be g(-15). Which is greater: -1 or x?
x
Let z(h) = h + 9. Let j be z(-13). Suppose 0 = -d - 3*m + 12, 2*d = -3*m - 0*m + 9. Which is greater: d or j?
d
Let y = 0.42 + 4.48. Let j = y + -5. Are j and 1/3 non-equal?
True
Let n = -31 + 45. Which is bigger: 15 or n?
15
Let q = 10 - 5. Let b = -46.9 + 47. Which is bigger: q or b?
q
Let t be (-22)/8 - (-2)/(-8). Suppose -6*z + z = 5*a + 20, -8 = 5*z - a. Which is greater: t or z?
z
Let n = -22 - -3. Is -20 not equal to n?
True
Let x = 65393/615 + -319/3. Is x >= -1?
True
Let w = -1/53 + -207/265. Does w = -1?
False
Suppose -2*x + x - 63 = 0. Let h be (178/14)/((-1)/5). Let a = x - h. Is 0 at least a?
False
Let c be 4/20 - (-13)/(-15). Which is greater: c or 2/3?
2/3
Let s(i) = i + 1. Let g be s(4). Let c(b) = b**2 + 23*b + 7. Let p be c(-23). Which is greater: g or p?
p
Let t = 1 - -2. Let u be t*-1*3/(-9). Which is smaller: -2/5 or u?
-2/5
Let w(i) = -5*i. Let f(h) = 6*h + 1. Let p(t) = -6*f(t) - 7*w(t). Let b(d) = -d**3 + 4*d**2 - 2*d + 2. Let q be b(4). Let u be p(q). Which is smaller: 2 or u?
u
Suppose 6 = -2*y - y. Let j be y/(13/(2 - 3)). Which is smaller: j or 1?
j
Let d be (-20)/(-2)*48/60. Let a = 9 - d. Which is smaller: a or 3/4?
3/4
Suppose 0 = 4*u - 3 + 7. Which is greater: 0.5 or u?
0.5
Let d = -41/86 - 1/43. Which is smaller: -8/3 or d?
-8/3
Let f = 36.9 + -39. Let i = -1.1 - f. Which is smaller: 0.7 or i?
0.7
Let l = -9 - -8.91. Let c = 2.61 - 1.7. Let q = l - c. Is -1 >= q?
True
Let b be (2/4)/(2/(-4)). Which is greater: 0 or b?
0
Let o = 1 + -1.07. Let u = o + 0.07. Which is bigger: u or 1?
1
Let b(k) = -k**2 + 10*k - 8. Let w be b(9). Let j = 2/99 - -83/792. Is j <= w?
True
Let p = -61 - -47. Which is bigger: -18 or p?
p
Let v(h) = -h - 8. Suppose -2*g - 10 = -4*g, 4*k + 39 = 3*g. Let r be v(k). Let i(q) = -q**3 - 4*q**2 - 3*q. Let t be i(r). Is -2 equal to t?
True
Let r = 9 + 4. Is -1 not equal to r?
True
Let j = -6.05 - -6. Let x = j + -2.95. Let q = x - -4. Which is bigger: q or 2?
2
Let t = 596/5 - 643/5. Let m = t - -49/5. Is -1 > m?
False
Let b = -0.8 + 0.9. Let d be 231*(6/5 - 1). Let v = d - 46. Are v and b equal?
False
Let s(u) = u**3 + 7*u**2 + 4*u - 7. Suppose 11 = -3*d - 7. Let k be s(d).