gger: -4 or b?
b
Let u = -2969 - -2971.079. Let t = u - 0.079. Is 33 equal to t?
False
Let i(v) = 4*v**3 + 10*v**2 - 18*v - 6. Suppose 0 = -17*y + 14 + 54. Let l be i(y). Is l at least 339?
False
Suppose 3*s = -s - 68. Let n be (s - -2) + -2 + 3. Let q be 1/2 + 105/n. Which is smaller: q or -8?
-8
Suppose 2*o + 82 = 4*q, 0 = -2*q - o - o + 32. Suppose 0 = -3*f + q + 14. Let r(p) = -83*p - 4886. Let k be r(-59). Is f not equal to k?
False
Let h(d) = d**3 + 3*d**2 + 7*d + 8. Let v be h(6). Suppose -v = 4*z + 3*p, 4*z = -8*p + 13*p - 358. Which is greater: z or -93?
z
Let k = -687 + 687. Let v = -4 - -4.2. Let h = 1.3 - v. Which is smaller: h or k?
k
Let o = -2811 - -2811. Are 31/69 and o nonequal?
True
Suppose -b = -4*z + 4*b + 73, 5*z - 3*b - 101 = 0. Let s = -0.178 - -0.078. Is z greater than s?
True
Let v = 4882 - 4894. Which is smaller: 29 or v?
v
Let a = 21.2 + -21.394. Let r = a - 0.606. Which is smaller: 1/4 or r?
r
Let l(s) = s**3 + 6*s**2 + 9*s - 47. Let c be l(7). Let a = c + -698. Is -44 >= a?
True
Let q = 14522 + -14528. Which is smaller: q or -695?
-695
Let h(v) = v - 1. Let f be h(1). Let g be (-18 - (-2247)/126) + 91/474. Which is greater: f or g?
g
Let o be -1 + 10 + -5 - -11. Suppose o*w + 387 = -363. Which is bigger: w or -52?
w
Let r be (-9)/4*(-1 - -11). Let i = -60263 - -60240. Which is bigger: i or r?
r
Let d = -13.1087 + 0.1087. Let k be (10/8)/((-3)/(-12)). Suppose k*n - 3*a - 1 = 0, 0 = -3*n + 2*a + a + 3. Is n less than or equal to d?
False
Suppose 5*u + 5*x - 10 = 70, 2*u + x = 31. Let c be ((-1)/((-30)/12))/(32/u). Which is smaller: c or 1?
c
Suppose -26 = -5*f + 4*t, -4*f + 19*t + 23 = 18*t. Let v(y) = y**3 - 6*y**2 - 4*y + 12. Let p be v(f). Is p smaller than -7?
True
Let a(q) = -7*q - 11. Let t(v) be the first derivative of v**2/2 + 12. Let x(r) = a(r) + t(r). Let p be x(-2). Which is greater: p or 10?
10
Suppose 7*o - 16*o + 18 = 0. Let m = -2.7 - -3.38. Let v = -0.7 + m. Which is bigger: v or o?
o
Suppose 6*l = -12*l + 54. Suppose -l*j + 3*a - 230 = 7*a, -2*j - 154 = 3*a. Is j != 2?
True
Let i(q) = -q**2 + 14*q - 22. Let b be i(13). Let g(c) = 2*c + 4. Let p be g(9). Suppose -4*h = -p + 62. Which is smaller: h or b?
h
Let m(k) = 3*k + 49. Let z be m(-17). Let q(i) = 15*i + 3. Let a be q(z). Let c be -11*(a/35 - 45/105). Which is smaller: 14 or c?
c
Let v(x) = 7*x**3 + x**2 - x. Let d = -48 + 49. Let y be v(d). Suppose -9*b + y*b + 2 = 0. Which is greater: 7/13 or b?
b
Let z = 2.1 + -2.227. Let n = z + 0.227. Which is smaller: n or 4?
n
Let y = -76 + 343. Let n = y - 266.9. Which is greater: 13.7 or n?
13.7
Let v(h) = 4*h + 21. Let n(b) = 11*b + 64. Let a(x) = 6*n(x) - 17*v(x). Let r be a(13). Is 1/5 bigger than r?
False
Let i be (25585/2499)/((-49)/(-140) - (-2)/(-6)). Which is smaller: 613 or i?
613
Let p = 668.82 - 669. Let x = -36 - -107/3. Which is greater: p or x?
p
Let v(j) = -6*j - 8. Let l be v(-3). Let q(m) = 5*m - 47. Let d be q(l). Let p be (6 + -4)/((-16)/(-22)). Which is bigger: d or p?
d
Let x(l) = -27*l - 1028. Let z be x(-38). Suppose 5*o - o = 4*v - 32, -2*o - 10 = 0. Suppose p = -v*p + 4. Are z and p equal?
False
Let k = -77 - -79. Suppose -u - k*m = 8, -u + 3 = 5*m + 23. Suppose -4*t + 11 - 23 = u. Does t = 1?
False
Let y(f) = -2*f**3 + 126*f**2 + 132*f - 248. Let a be y(64). Suppose 4*z - a = -3*t, -3*z = 4*t - 0*z - 6. Let q be 477/483 + (1 - 2). Are t and q unequal?
True
Let y be (-560)/(-48)*(-6)/(-10). Let p be y/21 + 998/3. Do p and -1/2 have the same value?
False
Let z(s) = -78*s + 4. Let u be z(5). Let y = -10328693/26752 + -169/1408. Let g = u - y. Is 0 greater than or equal to g?
False
Suppose -12*b + 24 + 12 = 0. Suppose 4*g + 2*i = 19 - 47, -30 = 3*g - b*i. Is g at least as big as -64/7?
True
Let t = 3.25 - -0.05. Let q = t + 1.6. Let w = q + -4.6. Is w equal to 0?
False
Let f(n) = -n**3 - 5*n**2 - 6*n - 8. Let o be f(-4). Suppose -u - 4815 = 3*y + 3*u, -8008 = 5*y + u. Let i = -142487/89 - y. Is i at least o?
True
Let v be 2 - (-18)/147*1680/(-90). Is -281 smaller than v?
True
Let z = 7494 + -67448/9. Which is smaller: z or -1/55?
z
Let f = 276 + -277. Let a be (f/8)/((-17)/2601). Is a less than -0.1?
False
Suppose -4*d = 3*u - 80, 5*u - 4*d - 139 = -5*d. Let f = -28 + u. Suppose c + 2 - 4 = f. Is c > 0?
True
Let c = -2300 - -2299. Which is bigger: c or 2/43523?
2/43523
Let k(v) = 7*v**2 - 13*v + 21. Let h(f) = f**2. Let n(c) = 6*h(c) - k(c). Let g(u) = -u**2 - 8*u - 3. Let d be g(-6). Let b be n(d). Is b at most 18?
True
Suppose -1419 + 7603 = 8*b. Let a = b + -758. Which is smaller: a or 19?
a
Suppose -3*u - 12 = 0, 4*u = 3*w - u - 95. Let l(r) = 3*r**2 + 131*r - 156. Let h be l(-45). Which is bigger: w or h?
w
Suppose -d + 17 = -4*u - 1, -5*d + 5*u + 75 = 0. Let l = -14 + d. Suppose -k + 2*k = 4, -5*z + 3*k + 213 = l. Is z less than 45?
False
Let k = 0.78 + -18.78. Let o = 28.6 - 45.7. Let g = o + 17. Which is smaller: g or k?
k
Suppose -d - 2216 = -4*d + 220. Which is bigger: 818 or d?
818
Suppose -59 = 4*q - 0*n + n, -5*q = 2*n + 73. Let y(l) = l**3 - l**2 - l - 1. Let o be y(0). Let p be 2 - (o - (4 - 21)). Which is smaller: q or p?
q
Suppose j + 3*j + 24 = 0. Let u = 661 - 661. Let g = u + j. Are -9 and g non-equal?
True
Let t = 656 + -656. Let r(i) = -8*i**2 - i. Let q be r(1). Let v be -27*(-1 - 3/q). Is t equal to v?
False
Let t = 33587.029 + -33587. Is 174 > t?
True
Suppose -4*z - 22 = -5*v + 79, -2*z - 3*v - 67 = 0. Let f = 109 + z. Is f smaller than 80?
False
Let p = -362732/77 + 4711. Which is greater: p or 0?
p
Let d = -22.23 + 25.73. Which is smaller: d or -0.6?
-0.6
Let o be 3/(-1) + (-3)/(-2)*2. Suppose -u - 8*u = -o*u. Let h = 1316/5 + -262. Which is bigger: h or u?
h
Let i(c) = c**2 + 3*c - 13. Let g be i(2). Let u(a) = -3*a - 9. Let r be u(-5). Let o be (-15)/r - (-3)/(-6). Is o smaller than g?
False
Let i(h) = -3*h - 12. Suppose 8*x = 6*x - 8. Let z be i(x). Let k(n) = -n**3 - n**2 + n + 7. Let s be k(z). Is s less than 2?
False
Let i be (-454)/20 - (-2048)/640. Is i >= -24?
True
Suppose -35 = -12*m + 7*m. Let u be (-12)/(-2)*m/182. Let j = -59.6 - -60.1. Is u at least j?
False
Let o = 353 + -354. Do -1512 and o have the same value?
False
Let s(d) = 3*d**2 - 2*d - 21. Let u be s(6). Let r be u/(-110) - (-2)/4. Is -2/5 >= r?
False
Let s = 0.361 - 0.221. Which is bigger: 0.041 or s?
s
Let w(x) = 15*x**2 + 8*x - 10. Let o be w(4). Let t = o - 169. Let y = -277/3 + t. Does 2 = y?
False
Suppose -45*l + 250 = 4635 + 21625. Let n be 6/21 - 8096/14. Is l at least n?
True
Suppose z - 2*p = -753, 60*z - 64*z - 5*p - 3025 = 0. Let k = 586 + z. Do k and -166 have different values?
True
Let z = -15385 - -15386. Is -23/430 equal to z?
False
Suppose 412 = 17*l - 4000 + 672. Is 231 less than l?
False
Let r = 2860 + -2641. Is 0.3 <= r?
True
Let w be (((-37)/(-74))/(35/40))/(1/2). Let m(v) = -2*v. Let o be m(1). Let a be (-1)/(-2)*(-2 - o). Which is smaller: w or a?
a
Suppose 4381*m - 4384*m + 210 - 3 = 0. Do 67 and m have the same value?
False
Let v = 4.104 - 3.954. Which is greater: -2/15 or v?
v
Let q(t) = 568*t - 1133. Let a be q(3). Which is bigger: 1711/3 or a?
a
Suppose -137*y = -125*y. Which is bigger: -2/33215 or y?
y
Let c be (-109)/3 - 1/(-3). Suppose -3*t + j + 146 - 39 = 0, -4*j - 78 = -2*t. Let k = c + t. Which is greater: 1/9 or k?
1/9
Let j(m) = m**3 - 3*m**2 - 2*m - 1. Let a be j(0). Let o be (1/a)/2*0/74. Which is greater: o or 1/76?
1/76
Let y = 146 + -80. Let p = y - 65.8. Which is bigger: p or -0.002?
p
Suppose 1724*w = 1726*w + 2. Which is smaller: w or -6956/7?
-6956/7
Let b = -215 - -218. Let i be 2086/(-564) + b + 14/21. Which is greater: 0 or i?
0
Suppose 15*p = -17*p + 16*p - 306592. Is p greater than or equal to -19161?
False
Let f = 0.196 - -211.804. Let u = 225 - f. Which is smaller: u or -3?
-3
Suppose -64*j - 1932 = -50*j. Let z be 3218/(-2140) - j/92. Is 1 at least z?
True
Let m = -542 - -565. Let b = -1909/2 + 976. Is b at most as big as m?
True
Let a be ((-40)/110)/(210/(-214)). Let m = 8/77 - a. Which is smaller: 1 or m?
m
Let i = -2841.91 + 2842. Which is bigger: 10/27 or i?
10/27
Let y = -29027/4 - -7342. Let q be 3/(-3)*-84 - 0. Is y > q?
True
Suppose -2*v + 12*a = 8*a, 3*v + a + 14 = 0. Let j be ((-3)/84*-18)/((-2)/12). Which is bigg