o(p). Let l be 1/3 + 1*-1. Which is bigger: c or l?
l
Let x = 3.3 - -1.7. Which is smaller: x or -3?
-3
Let r = 68 + -83. Which is greater: -16 or r?
r
Let s = -0.65 + 1.65. Is 2/37 at least s?
False
Suppose -z + 24 = -7*z. Let f = -2 + -3. Which is smaller: z or f?
f
Let a be (-3 + 5)*(-2)/(-4). Suppose -p = -4*f - 6*p + 18, 0 = f - p. Is f != a?
True
Let a(c) = c**3 - 11*c**2 + 10*c + 3. Let q be a(10). Which is smaller: q or -3?
-3
Let n(x) = -x**3 + 2*x. Let v be n(2). Let m = 7 + v. Is 3 <= m?
True
Let u = -2335/21 - -111. Let q = -10/21 - u. Is -1 not equal to q?
True
Let y = -43 + 128/3. Which is greater: 2.7 or y?
2.7
Let o(t) = t**3 + 13*t**2 + t + 13. Let l be o(-13). Let r = 273/8 - 34. Which is smaller: r or l?
l
Let u be 8/(-10) - (-345)/25. Suppose u - 16 = 3*b. Which is smaller: -3/2 or b?
-3/2
Let s(n) = n - 2. Let m be s(-2). Let b be 13/3 - m/6. Let o be (-4)/(-10) + b/(-5). Is o less than -2?
False
Let a be (-8178)/237 + (-3)/(-6). Let c = -40/79 - a. Let u = 33 - c. Are u and 0.2 non-equal?
True
Suppose -5*l + 2 = -5*t - 3, -3*l - 4*t = -3. Let n be 0 - (3/6 + (-8)/(-16)). Which is bigger: n or l?
l
Suppose 3*c - 2*j = -92, 0 = -2*c - c + 5*j - 95. Let d be 5/c + (-17)/42. Which is greater: 0 or d?
0
Let b(z) = z**2 + 6*z. Suppose 0*h = -5*h - 30. Let x be b(h). Let y be 8/6*(-11)/(-110). Which is smaller: y or x?
x
Suppose 5*g = 5, g = s - 2*g + 8. Which is smaller: s or -40/11?
s
Let z = -6 + 11. Suppose -s = -6*s - z. Which is bigger: -2 or s?
s
Let k = -15 + 9. Suppose 3*v + 15 = -6. Is k > v?
True
Let i be 708/1870*2/(-4). Let w = 2/187 - i. Which is greater: 1 or w?
1
Let j be 2/16 - (-54)/(-176). Which is bigger: j or 0?
0
Let l(m) = -3*m**2 + m - 1. Let t = 17 - 16. Let b be l(t). Which is smaller: b or -1?
b
Let d = -1 - 1. Let s(w) be the second derivative of w**3/3 - 13*w**2/2 - 7*w. Let p be s(6). Is d < p?
True
Let c = 171397 + -55189763/322. Let v = 447/1610 + -12/35. Let g = v - c. Is -1 greater than or equal to g?
False
Let x(f) = 2*f + 1. Let u be x(-1). Is u at most as big as -24?
False
Let n be (-3)/(-12) - (-1)/(-2). Let f = 1 - 1. Let z be (-1 - (-2 - f)) + 0. Is z <= n?
False
Let d be (-9)/(-2)*(-32)/112. Is -1 not equal to d?
True
Let y be (-3)/(3 - 18/4). Suppose 2 = 3*c + o, 4*c + 0*c - 2*o - 6 = 0. Is y != c?
True
Let p = -40 - -41. Is -3/7 at most p?
True
Let g(a) = a**2 - 12*a + 3. Let u be g(12). Is u smaller than 3?
False
Let n be (-3)/9*(-49 - -1). Is n bigger than 16?
False
Suppose 5*o - 27 = -7. Suppose -5*y + 3*n + 6 = 5*n, -o*n = 5*y - 2. Do y and 2 have different values?
False
Let p be 4/(-6)*(-9)/(-3). Let q be -2 - (15/p)/5. Let o = 24.01 - 24. Do q and o have different values?
True
Suppose -4*o - 5 = -5*m - 2*o, -m + 1 = 4*o. Let t be 0/((-1)/(m + 0)). Which is bigger: t or 2?
2
Suppose 3*y + 148 = -62. Let p be (-6)/(-4)*y/(-15). Let d be -2 + p/5 + 0. Are -1 and d equal?
False
Let p be -49 - 3/((-6)/2). Let r be (-22)/p - 6/18. Is r greater than or equal to 1?
False
Suppose -4*z + 5*z - 3*f = 10, z + 4*f = -11. Is z >= 0?
True
Let z be (-1)/(-15)*(-100)/8. Suppose 0*d - 4*d = 0. Is d >= z?
True
Let h = -14 - -12.7. Let d = h + 7.3. Let y = -5 + d. Is y less than or equal to -2/3?
False
Let g(c) = -c**3 - 5*c**2 - 2*c - 5. Let b be g(-5). Suppose b - 13 = 4*h. Let v be 2/6 - (0 + 1). Which is bigger: h or v?
v
Let w be -318 + 7 + 2*1. Let q be w/4 + (-1)/(-4). Let a = 157/2 + q. Do a and 3 have different values?
True
Let r = 0 - 0. Let q be (-2)/(-3) + 7268/420. Let i = 130/7 - q. Which is bigger: i or r?
i
Suppose 12 = 3*b, -b = 4*q - 10 - 10. Let w be 9/(-6) + 2/q. Which is bigger: w or 1/6?
1/6
Let a(h) = h**3 + 6*h**2 + 5*h - 3. Let s be a(-4). Let m be -2 + 12/s*-3. Let i be 1/3 - (-2)/m. Which is greater: i or -1?
i
Let z = -42 + 137/3. Suppose 6*l - 22 = -4. Is z < l?
False
Let d be (-54)/24 - (-2)/4. Let w = 41/28 + d. Which is bigger: 1 or w?
1
Let j be 158/66 - 2/3. Which is smaller: j or 3?
j
Let u(q) = q. Let c be u(3). Suppose 0 = x + w + c, 3*x - 5*w - 19 = 6*x. Which is smaller: -3 or x?
-3
Let l = -2 - -15. Which is smaller: -2 or l?
-2
Let q = 76 - 534/7. Let u = -5 + 8. Which is bigger: u or q?
u
Let j be 2/(2 - 3/3). Let n be ((-4)/2)/(j*-4). Are n and 0 unequal?
True
Let o = 46/11 - 392/99. Let p be (-2 - 0)*2/(-4). Are p and o nonequal?
True
Let h = -77/244 + 4/61. Which is greater: h or 4/21?
4/21
Let c(l) = l**2 - 3*l - 3. Let z be c(5). Let y = -7 + z. Is -1/10 <= y?
True
Let a = -10 - -9.3. Let r = a - -0.5. Are 3 and r unequal?
True
Suppose 5 = -5*i + 20, -2*v - 21 = -3*i. Which is smaller: v or -7?
-7
Let c = -3 - -4. Is c >= 2?
False
Let n be 0/(-1) - (-3)/(-3). Let h be (0/(-2))/(n - 0). Let o = 41 - 163/4. Is h < o?
True
Let p be (-20)/8 + (-1)/(-2). Let c(z) = z**3 + 4*z**2 - 2*z - 6. Let w be c(-4). Suppose w*v = -a - 7, -13 = 2*v + 3*a - 0*a. Do p and v have the same value?
True
Let m(r) be the second derivative of r**4/12 - 5*r**3/6 + 2*r. Let i(j) = j. Let w be i(5). Let d be m(w). Is d at most 1?
True
Let a = 0.3 - 0.4. Let x = 0.1 - a. Which is smaller: x or -1/4?
-1/4
Suppose -1 + 3 = -z. Suppose -j + 2 = -4*l - 0*l, -4*j = -l + 7. Let w = -5 - j. Which is bigger: z or w?
z
Let x be -2 + (54/(-15))/(-3). Let b = -9 - -7. Is b less than x?
True
Let k(p) = -p**2 + 10*p + 14. Let q be k(11). Suppose -q*l - 16 = -3*d + d, 2*d - 6 = -2*l. Is 6 != d?
True
Let j = -0.4 - -6.4. Let u = -6 + j. Do u and 3 have the same value?
False
Let n = 9.1 - 9. Let i = -2.9 + 3. Let c = 1.1 - i. Which is smaller: c or n?
n
Let f = -9 - -5.6. Let s = 3 + f. Let d = s + 0.5. Is d < 1?
True
Let f be -4*(33/4 + -4). Is f < -16?
True
Suppose 0 = -z - 3, z = 5*w - 0*z + 447. Let d be 4/(-18) - 200/w. Which is greater: 5 or d?
5
Let b = 2/655 - -1292/5895. Is b not equal to 2/9?
False
Suppose 0 - 11 = g - 3*t, -2*t = -10. Suppose -2*h = -g*h - 16. Let u(m) = m**2 + 7*m - 8. Let r be u(h). Is r > -1/2?
True
Let b = 3.9 + -4. Which is bigger: 1/2 or b?
1/2
Let g be 2 + 0 + 44/(-18). Let x = g - -10/9. Suppose 3 = -5*m - 2, 4*f + m - 3 = 0. Which is smaller: f or x?
x
Let s = -157/12 + 40/3. Suppose -24 = 4*f + 4*l, 2*f - 4*l = 3 + 15. Which is smaller: s or f?
f
Let u(r) = -13*r + 80. Let o be u(6). Which is greater: o or 19?
19
Let b(j) be the third derivative of 0 + 7/6*j**3 + 0*j - 1/24*j**4 - 2*j**2. Let y be b(7). Which is greater: y or -1/4?
y
Let x be 0 - (3 + -6) - 16/6. Which is smaller: 1/4 or x?
1/4
Let f be (0*(-4)/(-8))/(6/(-3)). Which is smaller: -6/7 or f?
-6/7
Let h = -1.2 + 1.3. Is -14 > h?
False
Let n be 6/8 - (-5)/20. Suppose -3*g = 3 - 9. Suppose 2*q + 4*v = -18, g*q - v + 2 + n = 0. Is q <= -3?
True
Let t(h) = 2*h**2 + 4*h + 1. Let q be t(-3). Which is smaller: q or 6?
6
Let g = 3.5 + -4. Let p = g + 0.3. Which is greater: -0.1 or p?
-0.1
Let o = -0.09 - 0.01. Which is bigger: o or -2/7?
o
Let m = 573/4 + -144. Suppose 5*b + 0*b = 0. Let u be b + (-2 - 0/3). Which is smaller: u or m?
u
Let p(x) = -12 - 3*x - 4*x**2 - x**3 + 5 + 4 + 1. Let n be p(-3). Is n less than -1?
True
Let k = 17 - 18. Let n be 1*-26*k/(-10). Is n >= -4?
True
Suppose -2*g = -0 - 4. Let i be ((-2)/(-1))/g - 0. Is i smaller than 0?
False
Let d be 10*5/(100/(-8)). Suppose -5*a - 32 + 7 = 0. Which is bigger: d or a?
d
Let c(k) = k**3 + 2*k**2 + k + 1. Let q be c(-2). Let u be 0/(-3) + 1 - q. Do 1 and u have different values?
True
Let p(h) = h**3 - 2*h**2 + h. Let z be p(2). Suppose b + 1 = 3*s - 3, 0 = 2*b - z*s. Which is greater: 2/3 or b?
b
Let j = 8 - 4. Suppose 0 = -z + 1, 6*c = 3*c + j*z - 13. Which is greater: c or -1?
-1
Let o(p) be the first derivative of p**3/3 + p**2/2 - 4. Let v be o(1). Does -1 = v?
False
Let q = 7 - 1. Let s(b) be the first derivative of b**2 - 3*b - 4. Let x be s(4). Which is bigger: x or q?
q
Let k be 4 - (0 + -2 - -4). Suppose 4*b + k = -10. Is b equal to -2?
False
Let a = 2 - 1.8. Let b = 0.1 - a. Which is smaller: 2/33 or b?
b
Let c = 12 - 8. Suppose w = 5*i + 3, 18 - c = -4*i - 5*w. Is i less than -4/5?
True
Let q(s) = s + 3. Let n be q(-3). Suppose 15 = 2*o + 2*o + 3*u, n = -2*o + 4*u - 20. Suppose 4*d - 4 = 2*g, -d - 4 = 2*d - 5*g. Which is greater: o or d?
d
Let b = 4 + -2. Suppose -o + 15 = 4*q, -5*q = -3*o - b*q - 15. Which is bigger: o or -1/3