 2*n + 48, 2*i - 4*n + 40 = q. Let r be (-2)/i*(-2)/(-3). Which is bigger: r or 0?
r
Let q(d) = d**3 + 6*d**2 - 8*d - 7. Suppose -4*w - 28 - 4 = f, 4*w + 2*f + 36 = 0. Let h be q(w). Which is smaller: h or -5?
-5
Let p = 0.34 + 0.06. Let j = p + -0.3. Which is bigger: 2 or j?
2
Suppose 4*m = 3*i - 31, 5*i + 2*m - 22 = -5. Let a(j) = -25*j**3 - 3 + 5*j**2 + 8 + 24*j**3 - j. Let n be a(i). Which is smaller: n or 1?
n
Let k be -2 - (1 + -1 - 3). Is -1/11 greater than or equal to k?
False
Let b = -0.2 + -0.8. Let u = 27.13 - 0.13. Let f = u + -22. Which is smaller: f or b?
b
Let z(s) = -s**2 + 3*s + 6. Let x be z(5). Suppose f = -f. Is x at least as big as f?
False
Let b be 6/(2/20*3). Suppose -p + 3*p = b. Let h be (-4)/p + (-13)/(-20). Which is smaller: 0 or h?
0
Let i(d) = d**2 - 2. Let p be i(3). Let h be p/84 + (-6)/8. Is h greater than 6/5?
False
Let m = -0.1 + -0.01. Let a = m - -0.01. Is a greater than 0?
False
Let b be 494/(-380) + 8/10. Is b at most -2?
False
Let l be 1/((8/6)/(-4)). Suppose 2*z - z = -4. Which is smaller: z or l?
z
Let v = -0.1 - -0.1. Let m = v - -2. Let k = m + -1. Are -3 and k unequal?
True
Let m be (-8)/14 + (-340)/238. Which is smaller: m or 31?
m
Suppose -4*k = 3*g - 5*g - 4, 4 = 2*g. Suppose 2 = -5*h - 4*o + 4, -3*h + 10 = -k*o. Suppose -2*f + y = -4, 0*y + 2*y = -3*f + 6. Is h less than or equal to f?
True
Let p be (-10)/14 - 22/77. Do p and 2/21 have the same value?
False
Let f(s) = s. Let h be f(2). Let a be 3/9 + h/(-6). Do 1 and a have the same value?
False
Suppose -2 = 3*y - 2*y, -c + y + 2 = 0. Which is bigger: c or 2/23?
2/23
Let s be (-3 - -3)/(-2 + 1). Let n be (-4)/18 - s - 0. Suppose -4*x + 2 = -2. Which is greater: x or n?
x
Let k be -3*(4/(-42))/(-1). Let s(n) = 3*n + 0*n**2 + n**2 + 0*n. Let q be s(-3). Which is bigger: q or k?
q
Let d be (-15)/(-10)*(0 - 14). Let x be 2/d + 4/(-12). Which is greater: x or 0?
0
Let c = -7 - -22. Suppose 1 + 9 = -2*n, -n + c = 5*s. Suppose 4*y + 7 = -3*b - 6, -s*b + 8 = -y. Is 0.2 greater than or equal to b?
False
Suppose 4 = -r + 13. Let w be (-4)/(-3) - 6/r. Which is bigger: 1 or w?
1
Suppose 0 = -a + 5*j - 1, -38 + 0 = 2*a + 2*j. Is a != -18?
True
Let b(h) = h**2 + 4*h - 8. Let v be b(-6). Let j be 2/2*1*4. Suppose 0*r = -j*q - 4*r + 12, 0 = -v*r + 8. Which is smaller: q or 3?
q
Let r = -6.2 - -7. Let o = 0.2 + r. Let f = 0 - 0. Which is smaller: f or o?
f
Let l = -4 - 1. Let z be (4/l)/(10/(-25)). Which is smaller: 6/11 or z?
6/11
Let t be 2/7 - (-9)/(567/(-4)). Let m = 0.06 - -0.24. Let j = m + -0.1. Is t >= j?
True
Let j = -122 - -121. Is j <= -1/19?
True
Let y be (-2)/4 - (-2)/4. Let j be 2 - ((-89)/(-29) - 1). Which is greater: y or j?
y
Let v = 1 - 4. Let q be -2*v/(-6)*2. Which is bigger: -1 or q?
-1
Let l be 65/4*(-1 - 4)/25. Which is bigger: -0.2 or l?
-0.2
Suppose -7 = r - b + 3*b, 4*r = -2*b - 4. Is 2 smaller than r?
False
Suppose -2 = -0*b - b. Suppose r = b*r. Let q be 1 - 1 - 4/(-26). Is r < q?
True
Suppose 3*w = 4*w + 6*w. Let f be (2/15)/((-39)/9). Which is smaller: f or w?
f
Suppose 0 = -4*y - 5 - 3. Let a be (y/(-5))/(30/(-25)). Which is bigger: -0.3 or a?
-0.3
Let h = -84 - -85. Is h > -1/3?
True
Let z(p) = -p**3 - 4*p**2 - 4*p - 3. Let k be z(-3). Suppose -6 = -5*g + 2*y, k = 6*g - g - 5*y. Is 3/2 < g?
True
Let s = -4 - -2. Let a(q) = -q**3 + q**2 + 2*q + 1. Let l be a(-1). Is s <= l?
True
Suppose 36 = 4*d - 4*q, -2*q - 3*q + 45 = 5*d. Are 8 and d non-equal?
True
Let j(o) = -o**2 + 4*o - 2. Let x be j(3). Suppose 2 = -p - p. Which is smaller: p or x?
p
Let j(t) be the second derivative of 0 + 1/6*t**3 + t**2 - t. Let k be j(-3). Are k and -1 unequal?
False
Suppose -y + 0*k + 9 = k, -4*y = -5*k. Let c(o) = o - 5. Let h be c(y). Let n = 1/35 + 57/455. Which is smaller: h or n?
h
Let q = 3 - 5. Let z be (1 - q)*(-16)/12. Is z smaller than -4?
False
Let t = 1.99 + 0.01. Let o = t + -1.8. Which is smaller: o or 1?
o
Let j = -2 + 5. Let w be ((-54)/(-8))/(j/8). Suppose p + 0*p - 4*r = -w, 4*r = 16. Are -3/4 and p unequal?
True
Suppose 4*o = 5*o. Suppose -8*j - 9 + 1 = 0. Which is smaller: j or o?
j
Suppose -5*y + 0*y + 15 = 0, -2*m - y + 3 = 0. Let p be (-38)/(-40) + 1/4. Is m <= p?
True
Let m = -1.2 + 3.2. Do m and -2/3 have the same value?
False
Let r = 1571/11 - 143. Is 4 not equal to r?
True
Let n = 16 + -16. Which is smaller: n or -2/41?
-2/41
Suppose 2*x - 16 = 4*v - 8*v, 3*v + 1 = 5*x. Suppose 3*j - i = 3, -2*j - 3*j + 5*i = 5. Suppose -v*m = j*m. Is 2/13 less than m?
False
Let u = 8 - 4. Suppose -5*m - 2 = -m - o, 0 = -2*m + u*o - 8. Let x be 1/2*1*-6. Which is smaller: x or m?
x
Suppose 1 = 5*x - 4. Is x greater than -0.01?
True
Suppose o = -5*g - 22, -o + 1 + 27 = -5*g. Let b be 5/3 - (-1)/o. Let p = b + -3. Which is smaller: -3/7 or p?
p
Let g be (-4)/6 + 585/27. Which is greater: g or 22?
22
Suppose -g + 9 = -4*o - 2*g, -2*g = 2. Are -5 and o equal?
False
Let z be (-2)/(-1) - (0 + 2). Suppose 5 - 13 = 2*l. Let n = l - -3. Which is bigger: z or n?
z
Let g be ((-2)/20)/(3 - (-39)/(-6)). Which is smaller: -1 or g?
-1
Let f(q) = 4*q - 7. Let v be f(1). Which is smaller: -11/4 or v?
v
Let j(u) = 86*u + 2. Let m be j(-1). Let v = m + 418/5. Is -5 bigger than v?
False
Let w = 0.6 + -0.7. Let y = 0.11 + w. Which is bigger: -0.1 or y?
y
Suppose -g = -0*g - 11. Let i = g + -8. Which is smaller: i or -0.2?
-0.2
Suppose -6 = -q - 3. Let t be (-7 + 5)/((-28)/q). Are t and 0 nonequal?
True
Let r = -52 - -66.8. Let o = 16 - r. Let n = o + -0.2. Which is smaller: 2 or n?
n
Let i = 12.47 - 12.7. Are -2/9 and i equal?
False
Let x be 2/(-9) + 32/(-18). Let v be -1 - (-1)/(-3) - 1. Which is smaller: v or x?
v
Suppose -o + 2*o + 6 = 0. Let v be (-11)/2 + o/(-12). Which is smaller: v or -4?
v
Suppose 4*x = 2*p - 4*p - 4, 0 = -5*p - 5*x - 5. Suppose 4*m - v - 45 = 0, 4*m + 2*v - 49 - 5 = p. Let k be 11/15 + (-4)/m. Are -1 and k unequal?
True
Suppose 0*t + 44 = -3*t + 5*h, 3*h = 3*t + 36. Let g be (-9 - t)/(13/4). Which is bigger: g or 0?
0
Suppose 0 = 5*s + 5*y - 45, 0 = -4*s + 2*y - 21 + 57. Suppose 3*u = -2*h + 3 + 6, s = 3*h. Let b = 22 - 22. Which is smaller: b or u?
b
Let b be 1/(-3)*(-3)/(-1). Let i = 4220783/86580 + -2/21645. Let n = i + -49. Is n > b?
True
Let i = 5/14 + -6/7. Suppose 4*h = -h - 5. Is h smaller than i?
True
Suppose -5 + 8 = -x. Let r be x - (3 + -5 + 0). Is -9/5 not equal to r?
True
Let z = -20 - -14. Let a = z - -5. Is a at least as big as -2?
True
Let n(i) = -i**3 + 10*i**2 - 8*i + 3. Let u be n(9). Do u and -1/2 have different values?
True
Let j = 31 - 92/3. Let a = -111/290 + -1/58. Is j at least as big as a?
True
Suppose 5*g + 4*t - 94 = 0, 4*t - 3*t - 62 = -3*g. Does 21 = g?
False
Let h(c) = -c**3 + 4*c**2 - c - 2. Let v be h(2). Suppose 3*k - 2*j = -6*j + 10, 2*k - 4*j = 20. Let a be (k/v)/(9/12). Which is smaller: a or 1?
1
Let s(c) be the first derivative of -c**4/4 - c**2/2 + 4*c - 4. Let h be s(0). Are 4 and h non-equal?
False
Let p = 14 + -12. Which is smaller: -1/3 or p?
-1/3
Let t = -0.8 - 0.2. Suppose -6*o + 16 = -2*o. Let s be (o/(-6))/((-5)/(-3)). Which is smaller: s or t?
t
Suppose 0 = -5*c - 2*h + 7 + 101, -4*c = 3*h - 92. Let a be (-5)/c - (-21)/4. Is a at most as big as 6?
True
Suppose -4*f - 20 + 92 = 0. Let r be (-4)/18 - 2096/f. Let z = -118 - r. Is z equal to -2?
False
Suppose 4*o - 8 = -0. Suppose o*x - 28 = 4*j + 5*x, -4*x + 4 = -5*j. Let p = j + 3. Is -1 < p?
False
Let i(v) = -v - 7. Let a(s) = -2*s + 17. Let z be a(12). Let g be i(z). Is g at least -1?
True
Let k = 6 - 2. Suppose 2*a + 10 = -3*a - 5*n, k*a = 3*n - 36. Which is smaller: a or -17/3?
a
Let b(h) = -12*h + 3. Let v be b(2). Let i be ((-6)/4)/(v/4). Let a(k) = k**3 - 13*k**2 + 14*k - 24. Let n be a(12). Which is smaller: n or i?
n
Let s(u) = u**2 + 4*u + 6. Let d be s(-4). Suppose 5*z = -b + d, -4*z = -0*z - 8. Does -4 = b?
True
Let g = 50 + -50. Let n = -4/3 + 19/12. Which is smaller: n or g?
g
Suppose -4*s + 22 = -3*j, -2*s + 0*s + j + 10 = 0. Let a be (s/4)/(1/(-12)). Which is smaller: a or -13?
-13
Let u = -2/1269 - -292/6345. Let v = -194383/910620 + 40/5059. Let l = v - u. Which is bigger: l or -1?
l
Let k = -8 + 0. Suppose 5*p = -o - 29, -3*o = 2*o - 2*p + 37. Are k and o equal?
False
Suppose 0 = 2*d - 5 + 1. Suppose -j - h + 4 + 0 = 