. Let h be l/21 - ((-48)/28)/4. Suppose 2*s + 3*s + 115 = 5*c, 0 = 3*c - 5*s - h. Which is smaller: c or 20?
c
Let f(z) = -z**3 - 2*z**2 - 2*z + 63. Let u be f(0). Let g be (-36)/u*(-3)/(-66). Suppose d = -4, d - 2*d = -n + 3. Is g at least n?
True
Suppose f + 3*w = 243, -f - 3*w - w = -247. Suppose 0 = -11*m + f + 253. Let j = m + -38. Which is smaller: j or 2?
2
Suppose 136 - 24 = 4*p. Suppose 5*r - 1091 = 2*g, 27*g + 431 = 2*r + p*g. Is 217 bigger than r?
False
Let z = -26.5 - -42.8. Let a = z + -15.7. Is 15 < a?
False
Suppose 0 = 4*x - x - 171. Suppose -5*z + 14 = l, z - 14052 = 2*l - 14179. Which is greater: l or x?
l
Suppose 77 = 6*b + 11. Suppose b*a = 14*a - 27. Suppose 14 = a*u + 5. Is u > -8/23?
True
Let n = -167 + 163. Let c be (3 - -545) + n + -3. Is c != 540?
True
Suppose -218 = 3*l - 2*v, 3*l - 4*v - 87 = -307. Let i be (10/(-8)*1)/((-3)/l). Let t = -27 - i. Is 4 bigger than t?
True
Suppose -3*l - 15*v + 3772 = -19*v, v - 2533 = -2*l. Is l less than or equal to 2527/2?
False
Let n = -20 + 20.35. Is 1 at most as big as n?
False
Let f(t) = -9*t + 72. Let b be f(8). Let j be (3 + b)/(19 + (-52)/(-4)). Which is bigger: j or -1?
j
Let k be ((-1142846523)/12)/(-9)*2. Let s = k - 928880259817/43890. Let y = s + 6/133. Is y greater than 1?
False
Let a = 128.25 + -125. Let z = a - 3.36. Is -9 >= z?
False
Let h = 17294 - 17104. Is h >= 156?
True
Let c = -26403 + 26362. Which is greater: c or -76?
c
Let d = 4109/50 - 462/25. Which is bigger: 63 or d?
d
Suppose -2*r = -i - 27, -r + 7*i - 2*i = -27. Suppose -3*g = 59*m - 56*m + 27, -5*g - 36 = 4*m. Let c be m/114*16/r. Which is greater: c or 1?
1
Suppose 19 = -5*l - 4*k, -5*k - 27 = 13*l - 10*l. Is l not equal to 1/243?
True
Let t be 2 - (-49700)/49 - (222/42 - 5). Do t and 2029/2 have the same value?
False
Suppose p = -3*p + 3*t + 52, 2*p - 4 = -4*t. Let j be (-5)/10*(-236)/p. Let h = j + -57/5. Do 0.3 and h have the same value?
False
Let f = -13718/533 + 333/13. Let m = -548671/410 - -2675/2. Let t = f - m. Which is bigger: -2 or t?
t
Suppose 2150 = -w + 12*f - 17*f, -3*w + 4*f = 6374. Do w and -2132 have the same value?
False
Let a = -144 + 164. Suppose a*c - 3*c + 51 = 0. Is 0.138 less than c?
False
Let u = 18734 + -18751. Let t = -0.05 - -1.75. Is t greater than u?
True
Let k be (-20)/810 - (-894)/(-3159). Which is bigger: 1/930 or k?
1/930
Let t be (-2)/(-3) - (-86)/(-12). Let j = t - -69/10. Let p be (728/(-180) - 2/5) + 4. Which is smaller: j or p?
p
Let t = -176 - -175.98. Let q = -2.12 + 1.1. Let j = t - q. Is -0.8 >= j?
False
Suppose 191*g - 4445 = 64*g. Let s be (-4)/(1/9*-1). Which is greater: g or s?
s
Let w = -4/79 + -34/2449. Let r be (-1)/(-5) - (979/(-55) + 11). Suppose -r*q = -2 - 5. Which is smaller: w or q?
w
Let w be (-14*-15*(-16)/720)/((-227)/(-3)). Is w smaller than 2/3?
True
Suppose -36 + 39 = 3*a. Let r(u) = u + 33. Let b be r(-33). Which is bigger: b or a?
a
Suppose 55 - 388 = -37*a. Suppose 0 = t + 8*u - a*u - 3, -t - 12 = 4*u. Are -9/98 and t nonequal?
True
Suppose -3*w - 2*j - 9 + 28 = 0, 4*j - 8 = 0. Suppose 3*d - 4 = 5, -5*d - 5 = w*m. Which is smaller: 16 or m?
m
Suppose -2*a - 383 = -101. Let b = -2253/16 - a. Suppose -805*m = -794*m - 11. Is b less than or equal to m?
True
Suppose 3*i - 4*c = 755, 4*i - 4*c = 2*i + 506. Which is bigger: 256 or i?
256
Let q = 6.782 - 9.782. Which is bigger: 2/4273 or q?
2/4273
Let t(f) = -2*f**2 + 2*f + 9. Let p be t(-3). Let u(a) = a**3 + 17*a**2 + a + 15. Let r be u(-17). Which is greater: r or p?
r
Let c = -0.0181 + -0.4819. Which is smaller: c or -31?
-31
Let d = -20 - -5. Suppose 2*z + 2*t - 13 = -t, 5*z - 13 = -t. Suppose 0 = 4*u - 2*j - 10, -u + z + 5 = -2*j. Is u > d?
True
Suppose -174*f = 194*f - 90*f. Which is smaller: -69/74 or f?
-69/74
Let n = -203 - -204. Let r be (12/4)/(21/(-28)*n). Are -11/4 and r nonequal?
True
Suppose -h + 13 = -6*f, 4*h = -9*f + 4*f - 6. Is h <= -2/709?
False
Let f = 48222 + -7426311/154. Which is greater: -2 or f?
f
Let i = -7/9 - -4/9. Let r(a) = -2*a**3 + 17*a**2 - a + 23. Let q be r(8). Suppose -l - q = -2*f, 5*f = 9*f + 20. Which is smaller: l or i?
l
Let s(f) = f**2 - 44*f - 362. Let j be s(45). Is j equal to -314?
False
Let w(k) = -21*k**2 + 5*k + 54. Let m(l) = 4*l**2 - l - 10. Let b(v) = 11*m(v) + 2*w(v). Let f = 1 - 2. Let q be b(f). Which is bigger: q or -1/23?
q
Suppose 7*i = 12*i - 15. Suppose 0 = -i*p - 11*p + 42. Suppose -3*n - p*z + 3 = 0, -5*z + 5 = -5*n + n. Is n > 1/45?
False
Let r = -1439760/139 - -10358. Is r != 70?
True
Let p(r) = 2*r**2 + 2*r - 2. Let j be p(1). Let m be 7 - j - (-238)/17. Is 59/3 at most as big as m?
False
Suppose 67*s = 71*s - 504. Let q = s - 171. Is -48 not equal to q?
True
Let z = 0.01954 + 6.09746. Let t = -1.7 + -4.4. Let c = t + z. Which is greater: 0.1 or c?
0.1
Let m be (0 + 1/(-3))*(-142113)/(-508). Let d be 141/((6/(-4))/1). Which is greater: m or d?
m
Let c be 1 + (8 - 4 - 0). Suppose 0 = 2*h + 2, c*t = 4*t + 4*h + 4. Let u = 6096/67 - 91. Which is smaller: t or u?
u
Suppose -15*b - 8*b - 19*b = -3990. Which is smaller: 96 or b?
b
Let l = -197.9 + 1488.9. Which is bigger: l or 1?
l
Let s = -6707 + 5810. Which is bigger: -896 or s?
-896
Let v = 9283.5 + -8735. Which is greater: v or -1/4?
v
Let q be (-24)/(-60)*((-59)/(-9) - 1). Suppose 2*o = 5*b - 6, 3*o + 3*b + 3 = 15. Is q at least as big as o?
True
Let l = -1286 + 1859. Let w = l - 76781/134. Which is greater: w or 0?
w
Let j(k) = -k**3 - k + 1. Suppose 34*h = 26*h - 480. Let p be 3/((-188)/h - (-4)/(-30)). Let a be j(p). Is -2 > a?
False
Let g(q) = 47*q**3 + q**2 - 1. Let a be g(-1). Let s be (4 + 50/(-8))*(-112)/(-21). Let r be 2702/(-56) - (-9)/s. Which is smaller: a or r?
r
Let d = 4347 + -30430/7. Suppose 2*a = 7*a - 30. Which is smaller: d or a?
d
Let h = -3921.075 + 3921. Is 3/7 greater than h?
True
Let q = 17657 + -17901. Is q greater than or equal to -243?
False
Let n be 154/102 - (-28)/(-21). Let j be 26/39 + 4/3 + 3. Suppose -j = -2*q - 7. Which is smaller: n or q?
q
Let v = 294.62 - 297. Let x = 12.38 + v. Which is greater: -0.3 or x?
x
Let g(n) be the second derivative of -n**4/12 + 5*n**3/6 - 13*n**2/2 - 9*n. Let c be g(7). Let z be (5/10)/(c/(-12) - 2). Which is bigger: z or 4?
4
Let b be (4 + (-855)/20)*4 + -1. Let g = 118 + b. Is -38 equal to g?
True
Let m = -9 - -6. Let j = 0.8863 - 99.8863. Is m less than j?
False
Suppose 1 + 24 = -5*t, w = -5*t - 17. Let k be 81*15/((-630)/w). Which is smaller: -14 or k?
k
Suppose 0 = 8*t - 77456 - 8344. Let n = -139299/13 + t. Which is smaller: 11 or n?
n
Suppose 2*y + 3*f - 17 = -122, y + 69 = 4*f. Is -1/18 <= y?
False
Suppose 6*s - o = -289, -4*s = -6*s - o - 87. Which is smaller: -35 or s?
s
Let d(c) = -53*c**2 + 18*c**2 - 19 + c**3 + 16*c**2 + 25*c**2 - 9*c. Let a be d(-7). Suppose 3*f + 4 = 2*t, 0*f + 3*t = 2*f - 4. Which is greater: f or a?
f
Let o = -1382.11 - -1375. Let l = o - -0.11. Let m = 169 - 170. Which is bigger: l or m?
m
Let j be (-612)/357*(-7)/(-2). Let h be 2/j*195/65. Is -1/168 equal to h?
False
Let m be -2 + -9 + 76538/6952. Which is bigger: m or 1?
1
Let p be -1 + 0 + (-621)/(-207). Which is greater: -0.2583 or p?
p
Let h = -7.65 + 8. Let n(r) = -r + 33. Let i be n(-18). Let w be (i*(-20)/(-135))/(-2) - -4. Which is greater: w or h?
h
Let d(c) = -4*c - 109. Let t be d(-13). Let g be t/(-15) + 44/(-11). Which is smaller: g or -1?
-1
Suppose c + 5 - 11 = 0. Let y(r) = 7 + r**3 - c - 2*r**3 + 5*r**2 + 4*r**2. Let l be y(9). Is 0 > l?
False
Let y = -10871 - -10830. Which is smaller: 48 or y?
y
Let l(g) = -g**3 - 16*g**2 - 6*g - 21. Let y be l(-16). Let n = -70 + y. Let i(x) = -x. Let t be i(-7). Which is greater: n or t?
t
Let b(x) = 2*x**3 + x**2 - 92*x - 6. Let a be b(-7). Are a and 3/1930 equal?
False
Suppose 49 = 3*v + 4*l, 0*l - 2 = v + 5*l. Suppose 24 = a + v. Is -4/61 smaller than a?
True
Suppose 36*f = 10 - 190. Are 58 and f equal?
False
Let i = -1 + 3.7. Let h = 0.3 + i. Let o = 276232 - 276228. Which is bigger: h or o?
o
Let u = -1/3 + -11/12. Let b(q) be the first derivative of 4*q**3/3 - 19*q**2/2 - 6*q + 7. Let i be b(5). Is i at least u?
True
Let n be -7*((6/(-7))/6 + 0). Let p be 461/(-230) + n - (-63)/63. Which is bigger: -1 or p?
p
Let q = 115 + 435. Suppose 5*a - q = -4*z, 0*z + z = 3*a -