(v). Which is smaller: g or b?
g
Let o(i) = -i**3 - 7*i**2 - i - 7. Let a be o(-7). Suppose -3*w + 15 = a, 3*b + 30 = -2*b - w. Let m(j) = -j**2 - 8*j - 7. Let k be m(b). Is k <= 3?
True
Let z(c) = -c**3 - 12*c**2 + 33*c + 32. Let g be z(-14). Which is smaller: g or -35?
g
Let n = 75 + -63. Suppose 17*h - n*h - 90 = 0. Which is bigger: h or 17?
h
Suppose 5*a + 407 = 2*r + 74, -4*r + 677 = a. Let n = r - 177. Let b be (-1 + 1)*1/1. Which is bigger: n or b?
b
Let l be (4 - 18/3)/(3 + -1). Is 2/69 bigger than l?
True
Suppose -30 = -0*l - 6*l. Let t be 2/(l/(50/(-15))). Which is bigger: -1 or t?
-1
Let g(v) = 13 + 0*v + 3*v - 4*v. Let f be g(9). Suppose f = -3*q + q. Are q and -2 equal?
True
Let j = 385 + -117433/305. Which is smaller: j or -1?
-1
Let o be (-2)/4*(0 - 2). Let s = 28 - 27.64. Let f = s - 1.16. Is f >= o?
False
Let s be (-4)/6 + (-23)/69. Do 4/31 and s have different values?
True
Suppose 49 = 4*s + k, 0*s + 5*k = s + 14. Suppose -5*j = -4*c + 9 + 13, -2*j + s = 5*c. Is -2 not equal to j?
False
Suppose 28 = -3*i - 158. Let f = i + 308/5. Which is smaller: 0 or f?
f
Let f(y) = -24*y - 140. Let j be f(-6). Let w be (-2 - 78/(-9)) + -2. Do j and w have different values?
True
Suppose 0 = 505*y - 503*y - 372. Which is greater: 184 or y?
y
Suppose 3*r + 2*i = 31, 5*r + 7*i = 11*i + 15. Suppose -2*o - r = 5*v, v - o - 4*o - 4 = 0. Are 8/35 and v unequal?
True
Let v(t) = -2*t - 27. Let r be v(-12). Are -0.09 and r equal?
False
Let p = -8 - -8.02. Let w be 39 + -40 - (-15)/21. Do p and w have different values?
True
Suppose -28*v + 32*v = -4*p - 136, -2*p = v + 31. Which is smaller: -2 or v?
v
Suppose 35*r = 33*r + 4*y + 12, -y = -3*r + 8. Let q = -1 - -6. Which is smaller: q or r?
r
Let u(b) = -16*b**2 + 2*b. Let g be u(-1). Let h be g/(-156)*(-4)/(-33). Is 1 >= h?
True
Let o = 0 - -5. Let i(b) = 2*b**2 + 21*b + 43. Let r be i(-8). Suppose 3 = o*p + r*j + 2, -2*p + 10 = -2*j. Is p not equal to 5/6?
True
Let b(i) = 6*i + 1. Let g be b(-1). Let w(a) = -a + 2. Suppose -n + 2 = -3. Let c be w(n). Is c at most g?
False
Let w = -5 + 4. Let t be w*(-3)/(-9)*-15. Suppose -15 = -4*q + t. Is q <= -0.2?
False
Let n be 80/15 - 2/6. Let o be (-2)/n - 36/(-15). Suppose 0 = 4*h - o - 2. Which is bigger: 0 or h?
h
Suppose 2*b = 2*w - 92, -4*b = -2*w + 4*w + 154. Let y be 3 - 0 - b/(-15). Which is greater: y or -1?
y
Let g be 6/(-69) - 234/(-46). Suppose 12*p - g = -17. Suppose 0 = -4*v + 3*c + 9, -5*v + 0*c = 5*c + 15. Is v < p?
False
Suppose 0*j = -j + 15. Suppose 17*p + 12 = j*p. Let r be (1/2)/((-3)/p). Which is smaller: 2/11 or r?
2/11
Suppose -3*h + 4*c = 80, -5*h = -3*h + 4*c + 20. Is -62/3 smaller than h?
True
Let d = 5 - 5. Let s = -1.07 - -5.07. Is d smaller than s?
True
Let u(z) = -94*z**2 + 11*z + 17. Let f be u(-2). Which is smaller: f or -380?
f
Let s = 1 + -9. Let w be 314/4 - (-1)/4*-2. Let p = w + -389/5. Which is smaller: p or s?
s
Let p = -0.451 + -1.429. Which is smaller: 2/9 or p?
p
Suppose 8*r + 1807 - 1319 = 0. Let t(g) = -61*g**3 + g**2 - g. Let y be t(1). Do y and r have the same value?
True
Let h = -10 + 5. Let y be (((-5)/h)/(-7))/((-18)/(-4)). Which is bigger: y or 1?
1
Let x = -40 - -64. Let b = 25 - x. Is 2/5 <= b?
True
Suppose 300*d = 294*d + 42. Suppose -4*l + 5 = 57. Let b = -6 - l. Is d at most b?
True
Let n = -1418/3 - -467. Is n bigger than -5?
False
Let x = 0.1 - -0.9. Let b = -1.57 + 2.57. Let k = x - b. Which is greater: k or 3?
3
Let x = 3643 - 564663/155. Which is smaller: x or 0?
0
Let i be -28*((-9)/3)/(-54). Let j = 2044 - 2045. Are i and j equal?
False
Let r be (-1)/3 - (-78)/(9 - 22). Which is smaller: -5 or r?
r
Let x = -7 - -10. Suppose -x = -4*o + 17. Suppose -4*r + 53 = o*z, -r - 22 + 6 = -2*z. Which is bigger: 10 or z?
10
Let y be 5*(-5)/((-125)/(-860)). Is -1/2 equal to y?
False
Suppose -10*u - 698 = 2442. Is u >= -313?
False
Let s = -153 - -153.9. Are s and -0.2 non-equal?
True
Suppose z + 22 = 37. Suppose -z*v + 363 = 93. Which is greater: v or 0.2?
v
Let b = 52.8 - 466.8. Let d = 399.01 + b. Let x = d + 15. Which is smaller: 1/5 or x?
x
Suppose -7*x + 0 = -28. Let l = 0.4 - 1.4. Is x less than l?
False
Let c = 3.3 + 64.7. Let s = c - 68.1. Which is smaller: -0.27 or s?
-0.27
Let u(h) = -h**3 + 12*h**2 - 13*h + 22. Let t be u(11). Is -3/224 greater than or equal to t?
False
Let n = 14.2 - 15. Let y = 0.1 - 1.1. Let s = 1 + y. Which is smaller: n or s?
n
Let c = -2.075 - -0.075. Which is smaller: c or -0.3?
c
Let t = -8553 + 40909/5. Let z = -1323/5 - t. Let w = z - 106. Is 0 greater than or equal to w?
False
Suppose 5*u = 10 - 0. Suppose -v + u + 1 = 0. Suppose v*l = -l. Is 2 >= l?
True
Suppose k + 3*w - 19 = 0, -2*w - 5 = -3*k - 3. Suppose k*v = -v - 20. Is -2 > v?
True
Let m = -1/5847 + -999830/40929. Let q = m + 25. Is q at most as big as -1?
False
Suppose 71 = 5*s + 2*f, -2*s + 2*f = -0*f - 20. Let c = s + -29. Let m be ((c/34)/2)/(-2). Is 0 less than m?
True
Let u = 21.7 - -3.3. Let s = -364 + 387.3. Let p = s - u. Which is smaller: p or 1?
p
Let t = -1840 - -1843. Let l = 0 - 0. Are t and l equal?
False
Let u be ((-40)/(-550))/(3/(-15)). Which is smaller: u or -1?
-1
Let h be (-62)/(-3) + 3*2/(-9). Let a = 18 - h. Let f = 0 + -3. Is a bigger than f?
True
Let s(f) = f**3 - f**2 + f - 3. Let q be s(2). Suppose -b + q - 1 = 0. Which is bigger: -1/8 or b?
b
Suppose 2*i + 81 = 4*v - 113, -5*v + 4*i + 244 = 0. Suppose -5*o - v = 12. Let s be ((-2)/(-3))/((-4)/o). Is 2 < s?
False
Let l = -10795/6 - -1930. Let c = 133 - l. Are c and 1 equal?
False
Let o(c) = 46*c - 20. Let p be o(-2). Is p bigger than -108?
False
Let b = -2.1 + 2.36. Let s = 6.26 - b. Suppose -2*w + 4*w = 2. Is s bigger than w?
True
Let c be ((-18)/54)/((-121)/6 + 1). Which is smaller: 1 or c?
c
Let g(u) = -u**2 + 3*u + 4. Let h be g(-3). Suppose 28 = -2*w + 2. Let m = h - w. Which is smaller: m or -2?
-2
Let l be ((-26)/(-4))/((-1)/2). Suppose 1838 - 404 = -6*v. Let c = 240 + v. Is l less than c?
True
Let x(i) = i**3 + 6*i**2 - 7*i. Suppose -49 = 4*o + 3*o. Let d be x(o). Let s = -3101/15 + 207. Which is greater: s or d?
s
Let y(x) = -x**2 - 6*x + 55. Let v be y(5). Let o = 1.3 - 0.64. Let w = 0.6 - o. Is w bigger than v?
False
Suppose -3*y + 2*v = -y + 2, y - 4*v + 4 = 0. Suppose y*t + 5*t - 90 = 0. Let c = 20 - t. Which is smaller: c or -2?
-2
Let p be -2 + (-84)/35*-5 + 4. Let q = 29 - 15. Is p bigger than q?
False
Suppose 4*p = 23 - 7. Let i = p - 2. Suppose 0 = 4*n + 3*y - 28, 3*n - 2*y - i - 2 = 0. Are 2 and n equal?
False
Let j be (-6)/8 + (59/4 - 4). Let z(w) = -2*w + 5. Let p(k) = 3*k - 8. Let y(h) = -5*p(h) - 7*z(h). Let b be y(-6). Which is smaller: b or j?
j
Let s(l) = l**3 + 4*l**2 - 14*l + 51. Let o be s(-7). Is o at most -16?
False
Let t = 0.42 + -0.3. Let j = t - -0.88. Is 3 smaller than j?
False
Let x be 12/2 + 144/63. Is -2/9 >= x?
False
Let o = 1657 - 1655. Is o less than or equal to 3.51?
True
Let x(h) = -h**2 + 2. Let l be x(1). Let s(c) = 2*c**2 + 2*c. Suppose 6*a = 9*a + 3. Let r be s(a). Is r less than l?
True
Let r = 16.7 + -16.9. Is 5 at most r?
False
Let m(h) = -h**3 - h + 4. Let f be m(0). Suppose -u + 6 - f = 0. Suppose -q + u = 4. Which is smaller: q or -4?
-4
Suppose 0 = -5*y - 2*i - 55, -5*i + 77 = -4*y - 0. Which is greater: 13 or y?
13
Let l = 291 - 203. Suppose -l = y - 5*y. Which is bigger: 21 or y?
y
Let a(x) = 2*x**2 + 4*x. Let i(t) = -t**2 - t. Let d(z) = a(z) - i(z). Let o be d(-2). Which is smaller: o or 1?
1
Let y = -27 + 16. Let l = -0.28 + 12.28. Let x = l + y. Which is smaller: -0.06 or x?
-0.06
Let j = 5/31 + -19/310. Let x be 3 - (0 - -3) - -3. Suppose -5*w - 8 = -x. Which is smaller: w or j?
w
Let w = 0.0266 - 0.0266. Let b(p) = -p**2 + 5*p - 5. Let c be b(5). Let a be ((-32)/(-70))/(2/c). Which is greater: w or a?
w
Suppose 0 = 51*z - 18*z - 1353. Which is greater: -2 or z?
z
Suppose z = 5, -5*k - 14 - 16 = 4*z. Let t be (4*1/k)/(12/(-20)). Is t less than or equal to 0?
False
Let d(f) = -4*f**2 + 11*f - 19. Let v be d(2). Let r be (0 + -1)*1 + -11. Does v = r?
False
Suppose 5*k + 92 = -0*a + a, -k = 3. Suppose -3*j - 2*x = -229, 3*x + 169 = 5*j - 219. Are a and j non-equal?
False
Let s be -2 - (-1 + 6/(-1)). Suppose -4*z = s*b - b + 20, b = 4*z - 5. Suppose 4*l - 2*l = 0. Is l less than 