 Let a = 11 + k. Which is greater: o or a?
o
Let x = 0.41 - 0.21. Which is greater: -0.08 or x?
x
Suppose -62 = -7*i + 232. Is i at least -2/7?
True
Suppose d = -3*k - 27, -18 = -k + 3*k + 2*d. Let u be 12/k*(-12)/(-8). Let f be (-15)/(-10) - (u + 2). Do -0.1 and f have different values?
True
Let x = -17.17 - -0.17. Let v = x - -21. Which is smaller: v or -3?
-3
Let g = -1 - 1. Let o be (g/(-7))/(2/(-3)). Let i = 39.1 - 39.3. Which is bigger: i or o?
i
Let q(f) = 2*f**2 - 3*f. Let r(h) = 9*h**2 - 11*h. Let l(b) = -22*q(b) + 6*r(b). Let a be l(1). Let w(s) = -s**2 + 12*s - 15. Let k be w(a). Is 5 <= k?
True
Let f(b) = -2*b**3 - 5*b**2 - 3*b - 4. Let l be f(-3). Are 14 and l equal?
True
Let u be ((-2)/(-7))/(6/(-3)). Let q(l) = l**2 + 15*l + 15. Let j be q(-14). Is u smaller than j?
True
Let y = -2305978/15 + 153962. Let p = y - 230. Which is greater: p or -1?
p
Let z = -12 - -19. Let b be (6/14)/((-4)/z). Suppose 0*n - n = 0. Which is smaller: b or n?
b
Let y = 29 - 56. Let h = y - -41. Let d be (-4)/h - 119/(-588). Is 1 bigger than d?
True
Suppose -s - 5*f = -30 - 6, 0 = -s - 2*f + 30. Which is greater: 27 or s?
27
Let i = -7 - -10. Suppose m = -4*o + 5*o - i, -o = 5*m - 3. Which is smaller: -4/5 or m?
-4/5
Let f = -17 + 10. Let n = 5 + f. Which is bigger: -2/9 or n?
-2/9
Let s be 6/(-9) + (-1)/3. Is s at most -1?
True
Let h(l) = -l + 1. Suppose 2*z - s = -2*z + 23, s = 5*z - 29. Let d be h(z). Is d greater than -5?
False
Let c = -84 + 41. Which is greater: c or -44?
c
Suppose -2*g - 5*v = -36, 0*g + 90 = 5*g - 5*v. Let l be (3/g)/((-1)/2). Which is greater: l or -1?
l
Let r = 0.03 + 0.11. Let u = r + -0.24. Is -2/5 smaller than u?
True
Let t = -22/15 + 14/5. Which is smaller: t or 0?
0
Let z be 2/(-4)*(-1 + 1). Suppose 0 = -0*h + h - 5*d - 25, -2*h + d + 14 = z. Suppose 0 = 7*n + 7*n - 70. Are h and n equal?
True
Let m = -173 + 1214/7. Suppose 3*f - 3 + 15 = -2*c, 3*c - 5*f - 20 = 0. Suppose 3*d - d = c. Which is greater: d or m?
m
Let j(a) be the third derivative of a**4/24 + a**3/6 + 2*a**2. Let o be j(2). Which is smaller: o or 4?
o
Let f = 3.6 + 0.4. Is 2/17 smaller than f?
True
Let s = -17/165 + 9/55. Is 0 at least as big as s?
False
Let w = -0.01 - -6.01. Let q = -16 + 12. Let n = w + q. Is 1 > n?
False
Let l(k) = -4*k**2 - 15*k - 24. Let r be l(-2). Let w = -20 - -9. Are w and r non-equal?
True
Let u be ((-4)/(-5))/((-3)/(-15)). Let v = 37/26 + 14/13. Is v >= u?
False
Suppose 0*x + 3*x + 21 = 0. Let z = -19 - x. Let y be 2/1 - z/(-3). Is y at most as big as -4/7?
True
Suppose -4*b = -5*u + 4*u + 5, -2*u - 5*b = -10. Suppose 4*y + 4 = u*y. Which is bigger: 3 or y?
y
Suppose 5*o - 3*t + 0 = -3, 4*t = 4. Is 4 at most as big as o?
False
Let y = 6 + -4. Suppose 2*h = -y*h. Is -2/7 at least h?
False
Let x(r) = r - 6. Let v(f) = 8*f**3 - f + 1. Let w be v(1). Let z be x(w). Let o = -142/5 - -28. Which is smaller: z or o?
o
Let a(f) = -f**2 + 5*f + 7. Let p be a(6). Suppose -2*t - 3*v - 7 = -23, 4*t - 16 = -2*v. Let z = -2 + t. Is p greater than or equal to z?
True
Let t be (-1 + 26/1)*7. Let c be ((-2)/15)/(28/t). Which is smaller: -2 or c?
-2
Let c = -28 + 21. Is c at least as big as -7?
True
Let b be (-1)/5*-2*10. Suppose 0 = b*z - 8 + 28. Is z at least -4?
False
Let w = -3 - -5. Suppose 0 = -w*x - 3*x. Let m be 1 + 1/(-3) + x. Is m <= -1?
False
Let s be 1/2 - 76/(-8). Suppose 5*n = t - 20, n + 2*t - 5*t - s = 0. Let r be (-2)/(n*(1 + 1)). Which is smaller: r or 0.1?
0.1
Let v = -11 + 23. Suppose -4*c + 14 = -2*z - 7*c, -4*z + v = -4*c. Is z greater than -2/23?
False
Let p = 0.9 - 1.1. Is 0.1 <= p?
False
Suppose 5 = -5*o - 0*w - w, 0 = -5*o + 5*w + 25. Let p(r) = -r. Let s be p(o). Is -9/7 <= s?
True
Let w = -4 - -6. Let t = w - -1. Suppose -5 = t*d - 2*c, -6*c + 20 = 4*d - 2*c. Is -1/3 > d?
False
Let w be 2/6 + 2/(-6). Let g = -0.1 + 0.2. Let k = 1.1 - g. Which is bigger: w or k?
k
Suppose -3*j + 15 = -3*w, -5*j + 23 = -0*w - 3*w. Let b = 94/3 + -32. Are b and w equal?
False
Let v(o) = 2*o**2 + 7*o - 15. Let t be v(-11). Suppose -5*b + t = 5*g, 3*g - 4*b - 22 = 33. Suppose -6*k + g = -k. Which is smaller: 3 or k?
3
Let t be (-104)/(-18) + 4/18. Let x be (-12)/(-8) - 3/t. Let v be (-1)/x*(-1)/4. Which is smaller: 0.1 or v?
0.1
Suppose -2*u - 20 = 3*a, 5*u + a + 36 = -3*a. Let r = -22 - -6. Let f = r - -14. Which is greater: u or f?
f
Let t be ((-8)/(-24))/(2/(-6)). Are t and 2/11 non-equal?
True
Suppose 3*m + 21 = 3. Let a be (-2 - -2) + 2/m. Which is smaller: a or 0.1?
a
Suppose 5*n = -12 - 23. Let c = -5 - n. Suppose -2*t + c = 2*l, -3*t + t = -6. Is -3 bigger than l?
False
Let r = -35 - -36. Which is bigger: -0.9 or r?
r
Let d(v) = 5 - 44*v + 44*v - 3*v**2 - 4. Let b be d(-1). Which is smaller: -2/3 or b?
b
Let c be 480 + 0/(-2 - -1). Let w = c + -3354/7. Let q be (2 + -2)/(3 - 1). Is w >= q?
True
Suppose 12*j - 8*j = 20. Suppose -j*b + 16 = -3*g, 4*g - 5 = 4*b - 13. Is g bigger than 2?
True
Suppose 6*s = 3*s + 9. Let u(v) = 4*v + 7. Let o(g) = g + 1. Let t(w) = s*o(w) - u(w). Let f be t(-3). Which is smaller: f or -2?
-2
Let b(p) = -p**2 + p. Let z be b(4). Let u = 217 - 141. Let w be (-122)/u + (-18)/z. Which is bigger: w or -1?
w
Let m(g) = -2*g**3 + 13*g**2 + 9*g - 13. Let w be m(7). Are w and -1/114 nonequal?
True
Let u be -3 + -19 + 1 - 2. Is u at most -25?
False
Suppose -5*h = -4*b - 30, 0 = -5*b - 22 - 3. Let u = -4 - -8. Let w = u - 2. Is h smaller than w?
False
Let z be 24/(-20) - 2/(-10). Let c be -2 + -2 + z + -1. Let y be -2 - 0 - (0 + c). Is 3 greater than y?
False
Suppose -y = -d, 2*d - d + 1 = 0. Let o = -5759/63 - -552/7. Let p = 37/3 + o. Is p >= y?
True
Suppose -2*j = g - 51, 3*g = -0*j + 4*j - 117. Let k be 4/18 - (-129)/j. Suppose -p + 12 = 5*h, -15 = -p + k*p - h. Which is greater: p or -2?
-2
Suppose 4*f - 12 = -4. Let r = 6 - f. Suppose -r*l = -7 + 19. Does l = -3?
True
Let p = -1 + 8. Let x = -6.8 + p. Is -5 less than or equal to x?
True
Suppose -d = 3 - 9. Suppose v - d = -4*q, 3*v - 2*q - 9 = -5*q. Suppose -r + v = 6. Which is bigger: r or -5?
r
Let y(d) = 2*d - 2. Let c be y(3). Suppose c*z - 2*z - 8 = 0. Let k be -2 + z + 32/(-12). Is k greater than or equal to -1?
True
Let u be 5/(-12) + 7/21. Is 1 != u?
True
Suppose -2 = -f - 0*f. Let g(t) = t**3 + 7*t**2 - 8*t - 1. Suppose 3*n - n + 16 = 0. Let q be g(n). Which is smaller: q or f?
q
Let h be 1/(1*14/(-1018)). Let f = h - -73. Let q = 2/7 + f. Which is bigger: q or 2?
2
Suppose 4*o - 5*s - 6 = 12, -2*s = -3*o + 10. Suppose -3*u + o*u + 25 = 0. Suppose -3*w = 5*m - u, -w - 3*w - 3*m + 15 = 0. Which is smaller: w or 1?
w
Let i be 2/(-7) + 26/91. Which is smaller: -1/4 or i?
-1/4
Let r(y) = -y**2 + y. Let n be r(0). Are n and -21/5 equal?
False
Let s be (4/18)/((-92)/12). Which is smaller: -1 or s?
-1
Let c be 2 - (1 + -1) - 0. Let w be 3/c*1/3. Let k be (-12)/(-9) - (-2)/(-3). Which is smaller: w or k?
w
Let m = -350908/1355137 + 56/25251. Let t = 2/69 - m. Let g = 0.31 + -0.21. Which is bigger: t or g?
t
Let p be 54/10 - 2/5. Let s be 304/1710 + 4/18. Is s at least as big as p?
False
Let v be (-11 - 0)*(-2)/(-2). Suppose -61 = 27*t + 209. Is t not equal to v?
True
Let h = 2 - 5. Let s = -11 + 13. Suppose 0 = -4*f + j - 2 - 8, -s*f + j - 4 = 0. Is h smaller than f?
False
Let m be (43122 + 4)/((-10)/(-4)). Let j = 17165 - m. Let q = -85 - j. Is 0 greater than q?
False
Let q = -0.3 + -0.7. Let h = 1 + q. Let s = 0.033 - 0.233. Do h and s have different values?
True
Let z(q) = -q**3 + 6*q**2 + 4. Let x be z(6). Let w be 1695/21 - (x - 2). Let r = w + -79. Which is smaller: 4 or r?
r
Let y = -0.1 + 1.1. Let c = 0.7 - y. Let p = 3/56 + -139/504. Which is greater: p or c?
p
Suppose -4*b - 1 = -5. Let w be b/(15/51) + -3. Is 0 <= w?
True
Let a = -2 - 4. Let x = a - -5. Is x greater than or equal to -1?
True
Let d = -9 - -7. Which is greater: d or 0?
0
Let r = 0.9 - -1.1. Is r > -2/11?
True
Let j = -6.7 - -7. Let z = 2 - 0. Are j and z unequal?
True
Let d = -3 - -4. Let u be 1 + (-3 - (-2)/d). Which is smaller: u or -1?
-1
Let c = -84 - -83. Is -1/46 at least as big as c?
True
Let y(l) = -2*l**2 - 4*l - 10. Let o be y(8). Let k = 1193/7 + o. Which is bigger: k or 1?
1
Suppose f = -3*z + 19, -4 = -3*z - 5*f - 5. Is -4 not equal to z?
True
Let n(y) = 7*y**3 - 3. L