ich is bigger: b or a?
a
Suppose 0 = -3*h + 2*h. Let w = -14 - 23. Let b = 44 + w. Is h not equal to b?
True
Let r = -6.99 + 7.16. Is -0.3 < r?
True
Let a(k) = -k**3 - k**2 - k - 4. Let s be a(0). Let i(j) be the second derivative of 7*j**3/6 + 3*j**2 - 10*j. Let c be i(s). Which is greater: c or -23?
c
Let o = 41757/7 + -5947. Which is bigger: o or 18?
o
Let k(z) = 46*z + 114. Let g be k(-17). Is -669 < g?
True
Suppose -2*s + r - 11 = 0, 4*s - 4*r + 24 = -0*r. Suppose -p = -2*p - 2*v - 2, 4*v = 4*p + 8. Which is smaller: p or s?
s
Let p be (3 - (-484)/(-168))/(55/33). Which is smaller: 11 or p?
p
Let k(b) be the third derivative of -4*b**4/3 - b**3/6 + 8*b**2. Let n be k(-2). Let r be 32/n + (-4)/18. Which is smaller: 1 or r?
r
Suppose 0 = 2*s + 3*s - h + 2, 4*h = -3*s + 8. Is s >= -2/789?
True
Let w be (-24)/18*21/(-14). Which is smaller: -350 or w?
-350
Let d = 1 + -6. Let q(x) = x**3 + 4*x**2 - 4*x + 6. Let i be q(d). Let f be (-2)/5 + (-19)/(-35). Which is smaller: i or f?
f
Suppose -2*w - t = -5, 2*w - 5*w = 2*t - 9. Let r be w/(-4 - (4 - 3)). Let x(k) = -k - 6. Let g be x(-5). Is g <= r?
True
Let a = 41 - 44. Let j = -1354 + 12172/9. Which is bigger: a or j?
j
Let z = 178/3 - 787/12. Let b be (72/(-12))/(1/1). Let f = z - b. Which is greater: -1 or f?
f
Suppose 19*x - g = 24*x + 15, 0 = -5*x + 2*g. Suppose -2*l + 3*h = 4*h - 3, 4*h = 2*l - 8. Let o be (-36)/40 - l/4. Which is smaller: o or x?
x
Let i = 77 + -77. Let q = -6488339/16 - -405762. Let x = -241 + q. Which is smaller: x or i?
x
Let w = -54 + 62. Let v = 0.23 - 0.33. Is v smaller than w?
True
Suppose -10 = -178*i + 168*i. Which is greater: i or -1/530?
i
Let n(i) = i**2 + 5*i - 22. Let c be n(-8). Let o be -1 + c + (-528)/560. Is 1 at least o?
True
Let c(d) = -2*d + 10. Let y be c(3). Suppose y*k = 11 + 5. Which is smaller: 5 or k?
k
Let f = -17 - -11. Suppose 2*u - 4*c = -12, -c + 6 = 2*u + c. Suppose -2*h - 2*h + 4 = u. Is h greater than f?
True
Let n = -31433 + 2231685/71. Is n less than or equal to 0?
True
Let a = -45 - -47. Let g be (-95)/19 + a*2. Which is smaller: -0.06 or g?
g
Let m be 63/18 + (-2)/((-8)/(-6)). Suppose -2*o + b - 3*b = -58, -3*o - m*b + 86 = 0. Which is bigger: 29 or o?
29
Suppose -4*h + 20 = 3*x, 4*h - 8 = -x + 3*h. Is x less than or equal to 3?
False
Let m(g) = -g**3 + 12*g**2 + 2*g - 13. Let z be m(12). Let w(v) = -2*v + 14. Let t be w(z). Which is smaller: t or 2/7?
t
Let q = 1500.1 - 1500. Does 512 = q?
False
Let a = 226 - 2480/11. Let b be (3/27)/(22/24). Let w = b + a. Which is greater: w or -16?
w
Let i(g) = -g**3 - g**2 + 3. Let w be i(0). Suppose p - 42 = -w*f, -p + 12 + 17 = 2*f. Let l = f - 21. Which is smaller: -7 or l?
l
Suppose 17*r + 59 = -111. Let j = 1 - 1. Let b = 1 + j. Which is bigger: b or r?
b
Let v be 3/12*(-8)/5. Let s be (12/(-10))/(2/140). Let p = -589/7 - s. Is p greater than v?
True
Let u(j) be the first derivative of 4*j**3/3 + 31*j**2/2 + 4*j + 33. Let h be u(-7). Is h not equal to 2?
True
Let w = 0 - -7. Suppose -15 = -w*k + 4*k. Suppose 3*p = -s - 7, 5*s + k*p = -47 + 2. Is s at most -10?
True
Let y(m) = -3*m**2 + 9*m - 12. Let v(s) = -13*s**2 + 37*s - 49. Let r(g) = 2*v(g) - 9*y(g). Let x be r(4). Let u be (-4 + 6)/(4/x). Which is smaller: -6 or u?
-6
Let s = 242 - 137.4. Let m = -9.6 + s. Which is smaller: 0 or m?
0
Let i = -116 + 810/7. Let d(u) = u + 12. Let t be d(-5). Let y = t - 7. Which is greater: i or y?
y
Let z(c) = -29*c**3 - c**2 + 3*c + 4. Let m be z(-1). Let o be ((-1)/5)/(m/145). Do 1/16 and o have the same value?
False
Let t = -922 - -908. Is -174/13 less than or equal to t?
False
Let w = -64 - -69.1. Let i = w + -6.1. Let b = -3 + 4. Is b smaller than i?
False
Suppose 5*b - 6*d - 35 = -d, -3*b - 5*d + 13 = 0. Which is greater: 2 or b?
b
Let h = 6123 + -2026715/331. Is 1 at most h?
False
Suppose 22 = -r + 2*n, 5*r + 91 = 2*n + 5. Let f(v) = v**3 - 2*v**2 + 2*v - 2. Let h be f(2). Let o be (-6)/3 + h + -15. Which is smaller: r or o?
r
Suppose 4*j = 3 + 9, 3 = -3*w + j. Is w <= -4/29?
False
Let q = 218.998 - -0.002. Which is bigger: q or 2?
q
Suppose 7*u + 25 = 2*u. Let c(y) = -y**3 - 8*y**2 - 7*y + 7. Let r be c(-7). Let t = -11 + r. Are t and u equal?
False
Let m be 94/188 + (-479)/918. Is m greater than -1?
True
Let w = -344 + 343. Is 1/248 at most w?
False
Let u = -0.14 - -0.34. Let d = -0.35 - 0.15. Let b = d + 0.9. Which is smaller: u or b?
u
Let t(y) = 5*y - 3. Let k be t(1). Let d be (k/5)/((-13)/(-585)). Is 20 greater than or equal to d?
True
Let s(n) = -2*n**2 - 2*n + 7. Let t be s(-3). Let g be 0 + (0 - 2) - t. Let l be (4/(-6))/((-2)/6). Which is bigger: l or g?
g
Suppose 0 = 4*d - 2*f + 1860, -68 = -f - 64. Is -464 <= d?
True
Suppose j + 8 = -4. Let d(x) = -2*x - 53. Let f(o) = o + 26. Let u(r) = -6*d(r) - 13*f(r). Let a be u(-9). Is j < a?
True
Suppose 1 = t - 7. Let n = t - -4. Let l be (-1)/4 + n/(-16). Is l equal to -3/4?
False
Let b(p) = 3*p**3 - p**2. Let m be b(-1). Let y be (-13)/5 - (2 + m). Let x = -1895 + 1893. Which is bigger: x or y?
y
Let z = -1188/5 - -238. Is 4/25 at least z?
False
Let h(g) = -g**3 + 5*g**2 - 2*g - 5. Let r be h(5). Let k = -10 - r. Suppose -k*l = -0*l, 2*l - 9 = 3*w. Which is greater: -4 or w?
w
Let s(x) = 2*x - 17. Let o(q) = -6*q + 52. Let m(f) = -6*o(f) - 17*s(f). Let k be m(4). Is k less than -16?
False
Suppose -192 = -z - 2*z. Suppose 0 = 105*i - 4520 - 2305. Do i and z have different values?
True
Let i(u) = 140*u + 217. Let m be i(-5). Which is smaller: -484 or m?
-484
Let m = -118 + 136. Is m bigger than -6?
True
Suppose 0*r + 5*c = -3*r + 37, -3*r = -4*c - 19. Let b be ((-1)/2)/(r/(-18)). Suppose -5*o + 4 = 5*h - b, -14 = 4*h - 2*o. Which is smaller: -18/11 or h?
h
Let n = -600 + 601. Which is bigger: n or 2/39?
n
Suppose 4 = h + 2*m, 3*h + 0*m - 4 = 2*m. Suppose 8 = -4*t + 6*v - v, 0 = -h*v. Let c be -1*(0/t + 0). Which is smaller: -7 or c?
-7
Let d(v) = -v**2 - 4*v - 2. Let j be d(-4). Let t be (2*-1 - j) + (-12)/(-42). Which is smaller: 6.7 or t?
t
Suppose 2*b + 3*b = -5*c + 15, -6 = 3*c - 2*b. Let g be 1/(4/(-4))*c. Suppose g*o + 2*o + 2 = 0. Do -1 and o have the same value?
True
Suppose 0 = y + 5*w + 107, 3*y - 5*w + 116 + 305 = 0. Let k = y + 285/2. Which is smaller: 10 or k?
10
Let o be (9 + 7 + -38)*2/4. Which is bigger: -9 or o?
-9
Let z = -65 + 64.5. Let s = -6.5 + 5. Let l = s - z. Is -5 less than l?
True
Let a be (3/(-6))/(23/4). Which is smaller: 0.3 or a?
a
Let y(o) = o - 12. Let j be y(4). Let g(b) = b**2 + 8*b + 3. Let d be g(j). Suppose -3*r = d - 9. Is 1/2 <= r?
True
Let z = -213 - -1488/7. Let s = -0.1 - -0.26. Let i = s + -0.06. Is i less than or equal to z?
False
Suppose i - 26 = -5*a, -6*a = -i - 2*a + 17. Let n be 6/i + (-26)/42. Let t = -0.31 + 0.01. Are n and t nonequal?
True
Let m(k) = k**3 - 8*k**2 + 8*k - 5. Let w be m(7). Suppose -3*y - 20 + w = 0. Which is bigger: -7 or y?
y
Let p(o) = -o**3 + 17*o**2 + 9*o + 33. Let r be p(17). Are 187 and r equal?
False
Let o = -826.2 + 826. Is o < -2.49?
False
Let d = 7 - 7.08. Let a = -0.02 + d. Suppose -8*v + 24 = -5*v. Is v less than or equal to a?
False
Let i(z) = -z**3 + 13*z**2 - 12*z + 16. Let q be i(11). Is q smaller than 124?
False
Let b = -16.557 - 63.813. Let z = -0.63 + b. Is z != 1?
True
Suppose -5*q = 4*t + 102, 4*t - 10 = q - 4. Let o be 0/(-2) + -20 - -1. Which is greater: q or o?
q
Let r be 19/(-9) - (-1)/9. Let w be -4 + 1 + (-10)/r. Which is smaller: w or -2?
-2
Suppose -2*y - 3*m - 24 = y, -3*y - m = 18. Let b be -2 - (-1)/(3/63). Let v = 13 - b. Is y not equal to v?
True
Let m be 321/(-21) + 16/56. Let o = 5 - -13. Let u be 1 + 1 + o/m. Which is smaller: u or 1?
u
Suppose 4*h = 5*i - 3*i - 38, -i = 1. Let s = h - -9. Let d be (-2)/(-12) - (-1)/12. Is d equal to s?
False
Let s be -27*7/(-105) - -1. Suppose 0*k = -3*k - 4*t + 6, k - 2 = 5*t. Which is smaller: s or k?
k
Suppose 6*l - 3*l = -15, 4*l = -3*i - 101. Let j be 0 - (0 + ((-3)/(-1) - i)). Which is bigger: -31 or j?
j
Let j(n) = -n**3 + 19*n**2 + 9*n + 25. Let d be j(20). Let o = 1363/7 + d. Is -0.3 greater than o?
False
Let z be 14 + -5 + (-195)/25. Let x = -2/3 + 1/6. Which is bigger: x or z?
z
Let c = 13.07 + -13. Let k be ((-96)/(-72))/(1 + 2/(-6)). Let o be (k/(-4))/(-6 + 60/8). Which is smaller: c or