 = -7*b(c) + 2*j(c). Let v be w(4). Let o be ((-6)/16)/(v/(-2)). Which is smaller: o or -2?
-2
Suppose 4*r = r - 4*g - 9188, 4*r = 4*g - 12316. Is r less than -3072?
False
Let y = 704 + -896.2. Which is bigger: -0.1 or y?
-0.1
Suppose h + 859 = 870. Let t = 8 - 0. Which is bigger: t or h?
h
Let h = -4495/224 - -185/32. Are h and -1/4 nonequal?
True
Let q = -13244 + 13175. Which is smaller: -26 or q?
q
Suppose 38996 - 9236 = -120*b. Are 19 and b non-equal?
True
Let x = -20584 - -20583. Do 0.04747 and x have the same value?
False
Let i(j) = -9*j - 28. Let q(z) = 11*z + 28. Let c(u) = 2*i(u) + 3*q(u). Let m be c(16). Is 268 greater than or equal to m?
True
Suppose 0 = -14*i + 17*i - 28*i. Is i greater than 26/131?
False
Suppose 0 = 3*o - 2*d - 5, -4*d - 12 = -63*o + 59*o. Let b be (-4)/600 + 1 + -1. Which is smaller: o or b?
o
Suppose 4*b - 85 = -b. Let m be (13/2 - 10/4) + (-329)/(-28). Is m >= b?
False
Let u be (-3)/(-36)*-3 + 2 + (-70)/40. Suppose 45 = -18*b + 15*b. Are b and u equal?
False
Suppose -t = 3*t + 380. Let a = -38953 - -38857. Does a = t?
False
Let d = 11471 - 11470.978. Is 38 not equal to d?
True
Let d = 1.5 - -111.5. Let h = d + -72.9. Let k = h + -40. Which is smaller: 2.8 or k?
k
Let h(b) = b**3 - 13*b**2 + 33*b - 29. Let r be h(10). Let y = 5464/7771 + 355093537/489573. Let o = 726 - y. Which is greater: o or r?
r
Let d be (-2)/5 - 162/(-705). Let p(x) = 2*x**3 + 37*x**2 - 7*x + 228. Let c be p(-19). Which is greater: c or d?
c
Let u = -973665/51214 + 1740557656843/91632857010. Let s = u - -28/1515. Is 0 bigger than s?
False
Let l = 21 + -18. Suppose 0 = 4*s, 17*s = -l*o + 12*s. Which is smaller: o or 1/68?
o
Let n = 1625 - 1737. Is n at most as big as -1444/13?
True
Let g = -0.0515 - -291.0515. Let x = g + -263. Is x smaller than 2?
False
Suppose 6*v - 58 = -4. Let w = 3/6353 - -825839/108001. Is v greater than or equal to w?
True
Let o(y) = -2*y**3 + y**2 + 11*y - 2. Let w be o(4). Let a = -42 - w. Suppose -35*g = -a*g - 602. Do 87 and g have different values?
True
Suppose -10 = 3*l + 2*l, 4*u + 5*l = 42. Let j = u + 7. Let s be j/(-5) - (-130)/55. Are s and -2 unequal?
True
Let n(z) = -17*z**2 - 58*z - 194. Let v be n(-4). Which is greater: -218 or v?
-218
Let q = -27058 - -27009. Which is greater: -1496/31 or q?
-1496/31
Suppose 2*g + 26 = 20. Let j be (-11)/g*(-3)/(-17) - 0. Let v = -177/221 + j. Which is bigger: v or 1?
1
Suppose 0 = -266*l + 212*l. Is 4166 bigger than l?
True
Suppose v - 12 = -2*v. Suppose -i - 10 = v*q + 43, 5*q + 3*i + 68 = 0. Let b = 31 + q. Which is smaller: 16 or b?
16
Let k(i) = i**2 - 6*i + 7. Let a be k(6). Suppose 5*b = b + y - 8, 5*b = -3*y + a. Let s = -3267 + 179684/55. Is s greater than or equal to b?
True
Let i be -4 + 1/1 + -2. Let k be 21087/24 + (2 - 3). Let z = -878 + k. Do z and i have the same value?
False
Let m(f) = -6*f + 7. Suppose -12*a + 16*a + 8 = 0. Let i = a - -3. Let p be m(i). Is -1/41 != p?
True
Let j(k) = 29*k - 148. Let p be j(6). Suppose -18*f = -p*f. Let y = 1/207 - 347/414. Is f != y?
True
Let l = 7.12 - 7. Let b = -0.0726 + 0.1186. Let z = b - 1.046. Which is smaller: l or z?
z
Let l(j) = -3*j**2 - 12*j - 6. Let w be l(-9). Let i(z) = 204*z**2 - z + 2. Let m be i(1). Let h = m + w. Is 64 smaller than h?
False
Let l = -8205.9 + 8206. Which is greater: l or -2.05?
l
Suppose 3*k + 40 = -u, -4*k + 4*u = -2*k + 22. Let m(q) = q**3 + 13*q**2 - 11*q + 4. Let v be m(k). Is v <= 147?
True
Let j = -3.68 + 13.68. Which is greater: -5/2 or j?
j
Let o(u) = 126*u - 1066. Let k be o(24). Which is greater: 1957 or k?
k
Suppose 5*q = 5*x - 1 - 9, -4*q + 5*x = 13. Let t = -1230 - -1235. Let g be t/10*q*4/6. Which is greater: g or 1/24?
g
Let i = -1086.3 - -1087. Is -3.7 less than i?
True
Let d = 0.0077 + 14.8923. Let k = 11.9 - d. Let q = 1.5 - 1. Are k and q equal?
False
Let j be (-90)/(-10)*(-6)/((-504)/(-23)). Which is smaller: -2 or j?
j
Let s be ((-1)/3)/((-4)/(-15396)). Let v = s - -8979/7. Let y be 1 + -3 - (-3 - -1). Which is smaller: v or y?
v
Let b(f) = -f**3 + 9*f**2 - 34*f + 184. Let d be b(6). Let i(j) = j**3 - 8*j**2 + 8*j. Let u be i(7). Suppose 9*x - u*x + d = 0. Which is greater: 1/2 or x?
1/2
Let b be 9/8 + ((-1)/28)/((-176)/(-616)). Let a(d) = d**2 + 3*d + 3. Let x(f) = -f + 1. Let i be x(4). Let o be a(i). Is b at least as big as o?
False
Let t(d) = d - 2. Let q(w) = 20*w - 60. Let c(a) = q(a) - 25*t(a). Let j be c(-3). Suppose -j*b - 3*s - 8 = -7*s, 5*s = -2*b - 23. Which is smaller: b or -8?
-8
Let b be ((-63)/(-15) + -3)/((-21)/(-280)). Suppose -74 = -18*g + b*g. Suppose g*r - 43*r = 372. Is -63 > r?
False
Let u = -24897 - -24897. Is u equal to -13307?
False
Let p be (-1)/(-3) + 112/24. Let i = p + -22. Let x = 35 + i. Which is greater: x or 17?
x
Let c = 479221/53 + -9043. Is -1 != c?
True
Let a = -509 + 561. Suppose 10*l + a = 6*l. Is l smaller than -10?
True
Let m = -1876 - -1900. Let t = 135 - -9. Let b be t/30*1*5. Is m at least b?
True
Suppose 2*v - 6 - 14 = 0. Let s be (-7)/(-14)*(-14)/v. Let j(n) = -12*n - 50. Let h be j(-4). Which is greater: h or s?
s
Let o = 4676982/37 + -126386. Which is smaller: o or 18?
18
Let j be 12/(-21) - 119700/4557. Which is greater: j or -26?
-26
Suppose -4*d = -3*d + 5. Let f(k) = -2*k**2 - 12*k - 6. Let c be f(d). Suppose a - c = -21. Is -19 at most as big as a?
True
Let s(t) = -4*t - 1. Let u(o) = 33*o + 19. Let z(k) = 8*s(k) + u(k). Let n = 17 - 29. Let w be z(n). Is -10/7 <= w?
True
Let f be ((-54)/24)/((-2)/(-48)). Let n be -20*(2/(-6) - 3/f). Is 5 > n?
False
Let q = 0.5833 - 0.3833. Is 568 at most q?
False
Let l(m) = 226*m - 421. Let n be l(2). Suppose -25 = -o - 3*i + i, 106 = 4*o + 5*i. Suppose n*a - 4 = o*a. Which is smaller: a or 8?
a
Suppose 0 = s - 5*d + 3, 0*d - d - 7 = -4*s. Let m be ((-1 - s) + 1)/(-2). Let t be (2/339)/(12/36*-1). Is t != m?
True
Let l(q) = -10*q**2 + 3*q + 3. Let f be l(-2). Let g = 7250 + -7302. Let w = g - f. Which is bigger: -42/5 or w?
-42/5
Let o(t) = -t**3 - 10*t**2 + 8*t - 10. Let u be o(-11). Let h = -16 + u. Suppose -h*i = -i. Is i > 0?
False
Let g(x) = -118*x**2 + 120*x**2 + 21*x + 13 + 1. Let m be g(-11). Is m != 26?
True
Let i = 189.98 - 190. Let x = 8.89 + 0.11. Let m = x + -9.4. Which is bigger: m or i?
i
Suppose -5*d = 3*u - 6*u - 12, -u = -4*d + 11. Let a be (u - 2) + (-24)/(-12). Let j = 783 + -22705/29. Which is smaller: j or a?
j
Let h be (-54)/(-12) + 3/(-6) - -1. Suppose 4*a - 17 = h*n, 0 = -3*a + 4*n - n + 12. Let r be 1/(a/12) + (-8 - 1). Which is smaller: -1 or r?
r
Let t(p) = -6*p**2 + p + 2. Let u be t(7). Let z be u*((-8)/40 + -1). Is 341 != z?
True
Let b(z) = -10*z + 94. Let o be b(9). Let n be 2/o*12/(-24). Is 496 at least n?
True
Suppose 3*n - 6 = 6*n - 3*q, 4 = -2*n - 8*q. Which is smaller: -20.46 or n?
-20.46
Suppose 5*x + m + 79 = 0, 5*x = -4*m + 34 - 110. Let w(a) = 18*a + 11. Let y be w(x). Is -278 >= y?
False
Let y = -31.5 + 34. Let o = y - -67.5. Let l = o + -72. Which is bigger: 12/7 or l?
12/7
Let s(q) = 1104*q**2 + 4*q - 1. Let y be s(-1). Suppose -2*v = 2*v - z + y, 0 = 5*v + z + 1376. Which is bigger: -276 or v?
v
Let l(j) = -22*j**2 - 86*j + 508. Let f be l(7). Which is smaller: -1173 or f?
-1173
Suppose -69 = -9*z - 96. Suppose 17 + 10 = 3*o. Let k = -11 + o. Which is smaller: k or z?
z
Suppose 5*i + 17*r - 15*r = 1904, i + 5*r = 367. Let g be 8/36 + (i/(-18) - -2). Are -19 and g nonequal?
False
Let r be ((-15)/(-330))/((-9)/68314). Suppose -5*q + 3105 = 4*q. Let c = r + q. Is c smaller than -1?
False
Let i = 0 - 0. Let w(v) = 2*v + 101. Let a(r) = -r - 2. Let x(s) = 6*a(s) + w(s). Let d be x(15). Is i < d?
True
Let m(k) = -k**2 - 33*k + 341. Let w be m(9). Let h(t) = 33*t + 4. Let g be h(-3). Let u = -133 - g. Which is greater: w or u?
w
Let u be 7/(28/(-16)) - -6. Suppose -4*o - u*b + 1 = -1, 0 = 2*o - 3*b - 21. Let y be o/((-690)/82) + 4/10. Are y and -1 non-equal?
True
Let c = 1810 + -408. Let y = 11199/8 - c. Which is smaller: y or -2?
y
Let s = -1 + 1. Let r = s + -2. Let f = -367320/7 - -52472. Is f at least as big as r?
False
Let w(q) = -2*q**2 + 14*q - 20. Let s be w(10). Let m = s - -83. Let x(l) = -l**3 + 4*l**2 - 6*l + 9. Let t be x(m). Is -13/10 at least t?
False
Let d be 68877/333*(12/16 - 1). Let o = d - -165/37. Which is small