b - 7, -3*t + 3*b + 9 = 0. Suppose t = 2*v - 1. Which is bigger: v or 3?
v
Suppose -4*n + 32 = -4*d, -d = -5*n - 6*d - 10. Suppose n*s + 1 - 7 = 0. Which is bigger: s or 4/3?
s
Let n = -4 + 8. Suppose -4*q - u = -q + 7, 3*u + 8 = n*q. Let p be 2/(-1) - (-3 + 3). Is q != p?
True
Let z(j) = -j**3 + 15*j**2 + 33*j + 29. Let a be z(17). Suppose 0 = r + 4 - 3. Which is greater: a or r?
a
Let k = 58.91 - 62. Let u = k + 0.09. Which is smaller: u or 2/3?
u
Let j be 520/90 - 2/(-9). Let m be 2/j + (-3)/9. Let a be 2*((-18)/16 - -1). Which is bigger: m or a?
m
Let i be (-2)/1 - (-53)/26. Let o be 11/(66/(-18)) - 1*-2. Which is smaller: i or o?
o
Let y(d) = -6*d**2 - 2*d - d**3 + 11*d**2 - 2*d**2. Let j be y(2). Let h be (7/49)/(-1 + 2). Which is smaller: j or h?
j
Suppose 2*l - 3*l - 3*f = -9, -5*l + f - 3 = 0. Which is greater: 2/13 or l?
2/13
Let r = 2284 + -50239/22. Is r < -1?
False
Let y = 28 + -34.04. Let m = y - -6. Which is greater: -0.1 or m?
m
Let i be 0/1 + 12200/110. Let g = i + -111. Let s = 3 - 3. Is g less than or equal to s?
True
Suppose 2*t = 6*t + 12, 0 = -5*y - 4*t - 2. Let p(h) = -5*h - 3 + 2*h**2 - 6*h**2 + 2*h**3 - 3*h**3. Let m be p(-3). Which is smaller: m or y?
y
Let t = 3 - 40. Is t greater than -36?
False
Let c(t) = t**3 - 6*t**2 + t. Let i be c(6). Let d(m) = 3*m - 7. Let u be d(4). Which is smaller: u or i?
u
Let c = -0.02 + -0.08. Is -0.09 at most c?
False
Suppose 0 = -3*a - 1 + 7. Suppose -p - 4*r + 26 = -0*r, -a*r + 34 = 4*p. Which is greater: 7 or p?
7
Let y be (2/4)/(((-35)/(-10))/(-7)). Which is bigger: y or 3/14?
3/14
Let v = -9 + 13. Suppose -v*r = -r. Which is greater: r or -1?
r
Suppose 4*x + 0*x = 12. Suppose 5 - 25 = 5*d. Let c(q) = -q**2 - 5*q - 2. Let a be c(d). Are x and a equal?
False
Let c be 2/(-40)*(-104)/(-169). Which is bigger: 1 or c?
1
Let m = 6 + 8. Let o be 3*(-1 - 0/2). Let t be (o/(-12))/(m/16). Which is smaller: t or 1/2?
t
Let y = -7371/268 - -1/268. Is -27 greater than y?
True
Let z = 1015/9 + -113. Let u = -7 + 5. Which is smaller: u or z?
u
Let k be 2 + 7 - ((-1 - 4) + 2). Suppose 4*t - 36 - 8 = 0. Is k smaller than t?
False
Suppose 6 + 0 = -3*z. Let y be (-2)/6*-9*1. Suppose -y*p - 2*p - 26 = 2*v, 3 = -v. Is z greater than or equal to p?
True
Let v = -0.2 - 5.8. Let w = 5 + v. Which is smaller: 5 or w?
w
Let z be (-1 - (-3)/2)*2. Let g = -0.006 - 4.994. Is g equal to z?
False
Suppose 0 = 3*h - 12, 2*j = -2*j - 4*h + 32. Suppose -c = j*c - 5. Which is greater: c or -2/31?
c
Suppose -3 = -0*r + r - n, -5*n = -4*r - 16. Let k = -368 + 4050/11. Is r >= k?
True
Let q = 9 + 0. Let s = q + -4. Suppose s*u - 3*a - 6 = 0, -5*u + 4 = -3*a + a. Is 1/4 at least u?
True
Let k = 68 - 114. Let j be ((-6)/8)/(3/12). Let n be (-3)/(-42)*k - j. Is n greater than or equal to 1?
False
Let t be (-44)/(-10) - (42/10)/(-7). Which is greater: 7 or t?
7
Let k(f) = 3*f**2 + 2*f + 1. Let p be k(-1). Let s = -2 - -4. Suppose -5*c - 1 + s = 2*a, -1 = c. Which is smaller: p or a?
p
Let w(q) = -q - 7. Let r be w(-7). Let y = 2 + r. Is 1 less than or equal to y?
True
Let g = -7/3 - -3. Which is smaller: g or -19/2?
-19/2
Let w = -0.72 + 0.6. Let j = -17 + 17.07. Let a = w + j. Is 2/5 smaller than a?
False
Suppose -3*q - i - 8 = -0*i, -2*q - 9 = -3*i. Let y be (q + 6)/(66/(-4)). Which is smaller: y or 0?
y
Let b be 56/(-6)*(-4)/32. Which is smaller: 1 or b?
1
Let z = -16 - 6. Let i = 32 + -19. Let p = z + i. Do p and -10 have different values?
True
Let u(d) = -1. Let j(f) = f**2 + 8*f + 9. Let p(g) = j(g) + 3*u(g). Let q be p(-7). Is -1/4 less than q?
False
Let n = -0.04 - 1.96. Let k = n - -4. Let p be (-12)/(-16)*2/6. Which is greater: p or k?
k
Let h = -5677/46 - -247/2. Suppose -5 = y, -2*a - 4*y - 13 = -y. Is h > a?
False
Suppose 0 = v + 16 - 8. Is -8 at most v?
True
Let i = 0 - -0.1. Let b = i - -0.9. Let s = -0.4 + 3.4. Which is bigger: b or s?
s
Let l = 475/56 + -62/7. Is l greater than 5?
False
Let v be (-24)/(-420) - (-2)/14. Which is smaller: -2/5 or v?
-2/5
Let p = -1871/24 - -110387/312. Let k = p + -276. Which is smaller: k or -1?
-1
Let v = 79 - 57. Is v at least 21?
True
Let y = 8/14871 - -965639/1814262. Let n = -2/61 + y. Which is smaller: n or 1?
n
Let y = -1.6 - 1.4. Is y > 0?
False
Let i = 8 - 8. Which is greater: i or 4?
4
Let x = 31 + -27. Let l = 2.9 - 3. Which is smaller: x or l?
l
Let c = 11 + -6. Let l be (-2)/10 - 4/c. Let o be (4/(-12))/(4/6). Which is greater: l or o?
o
Let j be 4/(-10) - 14/(-35). Suppose j*d + 10 = 2*d, -3*b - 8 = -d. Is -2/25 > b?
True
Let q(z) = z - 5. Let f be q(4). Let v(i) = i**2 + 7*i + 6. Let j be v(-6). Let o be j - ((-21)/(-8) - 3). Is f smaller than o?
True
Let o be (6 + -4)*6/4. Let c = o - -12. Let j be -2 + -2 + c/3. Which is greater: 2/9 or j?
j
Suppose 3*d - 43 = -4*f + 2*d, 0 = -2*f + 5*d + 27. Let m = 32/3 - f. Are m and 3/4 nonequal?
True
Let s be (22/10)/(5/25). Let u = -22 + s. Which is smaller: u or 1?
u
Suppose 485 = 5*z + 4*v, 0*z + 4*z = 2*v + 362. Which is smaller: 92 or z?
92
Let u = 1.5 - 0.5. Let n = -9.8 - -1.8. Let i = -5 - n. Is u >= i?
False
Let q be 1/(-2)*0*-1. Suppose -79 = -3*k - 4*y, y + 17 = k - q*k. Let n be k/(-9) + 2 + 1. Which is smaller: 3 or n?
n
Let n = 8 - -4. Suppose 2*l = -10, n = -y - 4*l - 10. Is -3 <= y?
True
Let u(z) be the second derivative of z**3/2 + 3*z**2 + z. Let i be u(-4). Let p = i + 4. Which is smaller: p or -1?
p
Suppose -4*o - 2 = 10, -4*t - 7 = 5*o. Suppose -t = -i - 5. Is -3 greater than i?
False
Let w = 8.8 - -0.3. Let s = w - 9. Which is bigger: s or 7?
7
Let o = -13 + 23. Let g = 0.021 + -0.021. Which is smaller: o or g?
g
Let t be ((-40)/22)/((-4)/6). Is 1 bigger than t?
False
Let o = 0.2 - -0.8. Let d = -0.2 - 3.8. Let j = d - -4.2. Which is bigger: o or j?
o
Suppose -2*b + 22 = -0*f + 2*f, -2*b + f = -7. Let o = -13/2 + b. Let y(c) = c**3 - 2*c**2 - 2*c - 3. Let x be y(3). Which is greater: x or o?
x
Let o be (-24)/(-2)*10/20. Is 6 equal to o?
True
Let f(s) = -s - 2. Let t be (-4)/(-6) - (-8)/(-3). Let m be f(t). Let d(p) = p - 8. Let l be d(7). Which is bigger: l or m?
m
Let i = -6/13 + -15/52. Which is smaller: i or 0?
i
Let v = -121/558 + -1/186. Let b(p) = -p - 1. Let k be b(-3). Suppose k*c = -c. Is c > v?
True
Let g = 24 + -27. Is 0.13 greater than or equal to g?
True
Let r = 28 - 27.78. Let m = 0.02 - r. Let q = -2.8 - -3. Which is smaller: q or m?
m
Let s(u) = 15 - 17 + u**2 + 0*u**2. Let g be s(2). Suppose -5*h = 13 + g. Is -2 greater than or equal to h?
True
Suppose -q = -2 - 2. Let r(a) be the first derivative of a**4/4 - 4*a**3/3 + a**2/2 - 4*a + 1. Let u be r(q). Which is smaller: u or -3?
-3
Let s be (-40)/(-11) - (-12 + 16). Which is smaller: s or -1?
-1
Let g(m) = -m - 1. Let y(z) = 4*z + 6. Let x(w) = -6*g(w) - 2*y(w). Let h be x(-4). Suppose 5*n = h*n. Does n = 0?
True
Let u(d) = -d**2 + 12*d - 7. Let o = 13 - 4. Let m be u(o). Suppose -3*t = -2*b - m, 2*b + 4*t = -2*b. Which is greater: b or -2?
-2
Let o = 42.976 - -0.024. Is 0.1 < o?
True
Let l be 186/(-57) + (-3)/(-1). Is l greater than or equal to 0?
False
Let c be ((-2)/10)/((-2)/4). Let x = -11 - -19. Let p = 7 - x. Is c < p?
False
Suppose 5*b + 135 = -3*s, -3*b - 81 = -0*b - 4*s. Do 1 and b have different values?
True
Let h(v) = -v**3 + 5*v**2 + 2*v + 3. Let a be h(3). Suppose 0 = -3*n + a + 12. Which is greater: 12 or n?
n
Suppose 0*z = -z + 28. Is z < 27?
False
Suppose 0 = -2*h + 2*i + 10, 4 = 5*h - i - 5. Is h less than or equal to 2?
True
Let v = 1 - 0.8. Let l = v - 0.1. Let u = 0.97 - -0.03. Is l at least u?
False
Suppose 2*x = 6 - 0. Let r = -3 - -7. Let o = x - r. Which is greater: -1/5 or o?
-1/5
Let r = -22/39 + 223/234. Which is greater: r or -1?
r
Let r be 4*1 + (-2 - 1). Are -2 and r unequal?
True
Let m = -17 - -52/3. Let i be ((-8)/(16/4))/2. Which is smaller: m or i?
i
Let k = 112.7 - 108. Let x = k - -0.3. Let z = -3 + x. Are -1 and z non-equal?
True
Let u be 1 + 84/(8/2). Is u smaller than 23?
True
Suppose 0 = -2*m + f + 5, f - 4 + 11 = 3*m. Let h = 0.4 + -0.2. Let t = -0.2 + h. Which is bigger: t or m?
m
Let a = 1.5 - 2.1. Is -11 greater than or equal to a?
False
Let k = 20/3 + -43/6. Which is smaller: -2 or k?
-2
Suppose 0 = 2*c - 4*w - 4, -4*c + w + 0*w = -15. Let h be (-41)/(-12) - 1/(-4). Is h at least a