210. Which is smaller: h or b?
b
Suppose -1820 = 64*q - 4700. Suppose -16 = k + 4*k - t, -5 = -5*t. Let p be 1/k - (-3 + 123/q). Is -1 bigger than p?
False
Let f(y) = -6*y**2 + 118*y + 213. Let s be f(21). Which is smaller: s or 46?
s
Let b = 32 - 30. Let z be ((-2)/(-5))/b - (-380)/100. Which is smaller: z or 6?
z
Suppose 0 = 2*h - 5*k - 270, -k - 773 + 269 = -4*h. Suppose 5*v - 3*u = -755, -2*v + 4*u - h - 163 = 0. Is v greater than -154?
False
Let j = -2.1 + 2. Let a = -157.8047 - -0.8047. Is j at most as big as a?
False
Let j = -1532 - -2026. Let c = j - 493. Suppose -7*x + 20 = -2*x. Is x <= c?
False
Let w = -1257126/113 - -11125. Which is smaller: 2/9 or w?
w
Let c = 90832 - 90831. Let d = 429 + -681. Let t be (-4)/18 + (-110)/d. Are c and t nonequal?
True
Let y = -188.997 - -189. Let p = y - -0.097. Is 19/6 != p?
True
Let c be (2 - (-12)/16) + -4. Suppose 8 = 4*i - 3*a, -4*i + i + 3*a + 6 = 0. Suppose -3*k = i*y + 19, -4*k = 3*y + 14 + 12. Which is greater: y or c?
c
Suppose 4*x = 5*l + 155 + 31, 5*l = 5*x - 230. Suppose 0 = 3*v + 88 - 217. Let i = x - v. Is 2/73 greater than i?
False
Suppose -11*a - 5*a + 64 = 0. Let i(r) = -24*r**2 + 16*r - 54. Let p be i(a). Which is greater: p or -373?
-373
Let l = 10.0129 + -10. Let y = l - 0.0329. Is -12 bigger than y?
False
Let l = -4.181 - 177.919. Let i = l + 181. Which is smaller: i or 2/3?
i
Let w be ((-8)/(-28))/(46/(-161)). Is w less than 7/1889?
True
Let y = 77 + -196. Let d = 6305/53 + y. Suppose 2*v + 3*v = -5*b - 25, -2*v - 4 = -4*b. Which is smaller: b or d?
b
Let j be -1 + (-53)/(-2)*(-16)/(-4). Let y = -7 + j. Suppose -3*b - 75 = 3*n, y = -2*b - 3*b + 4*n. Which is smaller: b or -23?
-23
Suppose 0 = -57*u + 56*u - 4*w - 22, 17 = 4*u - 5*w. Which is smaller: -76/23 or u?
-76/23
Let x = 4075/3 + -1355. Let w be (-3)/((-1)/3*3). Which is smaller: x or w?
w
Let y = -17707.7 - -17708. Which is smaller: y or 8.17?
y
Suppose 0 = -3*v + 3*q + 186, -385 = -5*v - 4*q - 129. Let f be ((-24)/(-27))/4 - 5621/(-99). Which is smaller: v or f?
v
Let c = -308 - -283.8. Let y = -14.8 + c. Which is smaller: y or -0.6?
y
Let m = 0 - 0. Let g(u) = -u**2 + 10*u + 7. Let c be g(9). Let y be ((-136)/c)/(2/(-4)). Is y bigger than m?
True
Let z = 4007 + -3690. Are 317 and z nonequal?
False
Suppose 5*o = -4*x + 30, o + 26 - 3 = 5*x. Suppose 25*u = -0*u + 100. Which is smaller: o or u?
o
Let p(i) = 2*i**3 - 7*i - 3. Let s be p(-2). Let w be s + 1086/138 + -4. Which is greater: w or 0?
0
Let a = 3739 - 2664. Which is smaller: a or 1076?
a
Let a(r) be the first derivative of r**4/4 - 9*r**3 + r**2 + 27*r - 132. Let q be a(27). Which is smaller: q or 80?
80
Suppose -p - 74 = -3*p. Suppose 4*n - l + 216 = 0, 0 = -3*n + 6*n + 4*l + 162. Let i = n + p. Are i and -17 non-equal?
False
Suppose 845*b - 850*b - 4*r = 2, -5*b = -3*r + 16. Which is greater: b or -334?
b
Suppose 5*i = 3*a + 19, 2*i = -2*a - 2*i + 24. Suppose a*y - 810 = 8*y. Let r = y - -135. Is -0.01 not equal to r?
True
Suppose g - 16 = 5*p, -7*g - 299*p = -296*p + 2. Which is greater: g or 546?
546
Let o be 1/(-4) - (-8)/32. Let p be (-15*(-2)/70)/(-5). Which is smaller: o or p?
p
Let f = 3043 - 4783. Which is smaller: -1741 or f?
-1741
Suppose 3*q + 259 = -5*o, -192*o + 191*o = -3*q - 283. Suppose 385 = -6*t - 167. Which is smaller: t or q?
q
Suppose 2*j + s = -1, -1 - 6 = 4*j + 3*s. Suppose -4*a + 0*f - j*f = -192, 3*f - 138 = -3*a. Are a and 50 non-equal?
False
Let c be 10/3428*(-624)/195. Which is smaller: 1 or c?
c
Let z = 101 + -141. Let l = z - -45. Suppose -4*b - l*f + 29 - 8 = 0, -2*f + 6 = b. Which is bigger: b or 1?
b
Let t(w) = 2*w**2 - 548*w + 1. Let y be t(0). Which is smaller: y or 2/48787?
2/48787
Let o be (-77)/11 + (21 - 15). Does o = 4/223?
False
Let d be 3 + -20 - (-825220)/48521. Do -5 and d have the same value?
False
Let k be (-26)/(-6)*(441/(-99) - 27/(-9)). Is k equal to -7?
False
Let k = 0.467 + -0.167. Which is smaller: k or 6?
k
Let v be 2/(-3)*((-157458)/(-56))/23. Is v greater than 2?
False
Let p be 2 - 3 - (0 - -175). Let w be -181 + ((-9)/6 - 1)/(7/(-14)). Do w and p have the same value?
True
Let x = 165 - 153. Let z = 6 - x. Which is bigger: -16 or z?
z
Suppose -6*x - 21 - 87 = 0. Let n be (-6)/(-4) + x/972. Let f = n + -481/270. Which is greater: -1/4 or f?
-1/4
Let v = 0.26 - 11.26. Let s = v - -29. Let r = s + -21. Is r <= -1/4?
True
Suppose -2*w - 2*t - 4 = 0, -5*w + 60 - 70 = 2*t. Suppose -10*v - 317 - 33 = 0. Are v and w nonequal?
True
Let r = -113732173/31068 + 14643/4. Are r and 1 unequal?
True
Let d be 70 + ((-65)/8 - 6/(-48)). Is 52 >= d?
False
Suppose -2*n + 6*n = 5*p - 4, 3 = 4*p - 3*n. Let g = -34/627545 + -18362591661/47693420. Let k = g + 385. Does k = p?
False
Let o = -19341/25 + 774. Suppose 78*h - 74*h - 19 = 3*s, 4*s + h = 0. Which is smaller: o or s?
s
Let v = 16 - -138. Let x = v + -153.09. Let n = x - 0.08. Is -1/3 at most as big as n?
True
Let n = -3872 - -3872. Which is smaller: n or 770?
n
Let n be (-2 + (-60)/(-16))/((-2)/(-64)). Suppose -b = -4*p - 27 - n, -3*b + 4*p + 233 = 0. Is 75 bigger than b?
False
Let j be 2/(-4)*1/(-3)*(-21)/56. Is 57 smaller than j?
False
Let l be (-68)/(-102) + 97/(-42). Let u = l + 295/182. Let h = 0 - 0. Which is greater: h or u?
h
Let y be 54/1*1/(-2). Let n = -34331 + 34301. Is y equal to n?
False
Let b = -23 + 24. Let a be b/(-4)*2*-18. Let m be (-1)/(-4 - (4 - a)). Are -1/3 and m non-equal?
True
Let r be -9 - (-12 + 2300)/16. Which is smaller: -123 or r?
r
Let h = -1002.84 + 44.74. Let g = h - -958. Let j = 0.05 + -0.45. Which is bigger: j or g?
g
Suppose 3*g = 2*m + 1326, 82*m - 87*m + g - 3302 = 0. Which is bigger: m or -1982/3?
m
Let p = -0.9 - -0.8. Let o(y) = y**2 - 7*y + 54. Let h be o(8). Let a be ((h/58)/(-1) + 1)/10. Do p and a have the same value?
False
Suppose 44 = -3*l + 53. Suppose -3*c + l*h + 184 = -98, -c = -4*h - 103. Let k = c - 72. Is 20 equal to k?
False
Suppose -109*p = 147453 + 342611. Is -4494 != p?
True
Let k(b) = -4*b**3 + 28*b**2 + 10*b - 62. Let f be k(7). Which is smaller: -11 or f?
-11
Let f = 5014 + -4036. Are f and 2/7 non-equal?
True
Suppose 7*b - 6 = 4*b. Suppose -a + 3*a + b = -3*w, 3*a + 6 = -3*w. Suppose 0*g - 10 = w*g. Does -3 = g?
False
Let u(c) = -2465*c + 12284. Let p be u(5). Let i = -127 - -86. Is i less than p?
False
Let f = 1 + 4. Suppose -4*c = -2*t + 138, -2*c - f*t - 40 = -c. Let v = 32 + c. Which is smaller: -9/4 or v?
v
Suppose 6*i - 88 = 2*i + 2*k, -3*k + 29 = i. Let l(t) = 4*t - 96. Let p be l(i). Is p <= -8/3?
True
Let q = -1125.055 - -1125. Let r = 0.43 - 0.795. Let x = r + q. Do x and 0.2 have the same value?
False
Let i = 1.61 + 8.49. Let d = i + -7.1. Which is smaller: -2 or d?
-2
Let a = 448 + -793. Let i be -3 + (a/7 - (3 + -5)). Does -51 = i?
False
Let j(o) = -71*o**3 - 62*o**2 + 2*o + 21. Let x be j(-5). Which is greater: 7335 or x?
x
Let d = -3202.6 + 3214. Which is smaller: 0 or d?
0
Let n be 699441/3*1/358*-4. Let y = 2605 + n. Which is smaller: 0 or y?
0
Let t = -24 + 25. Let p = 967/175450 + -1/725. Which is smaller: p or t?
p
Let z = 129 + -233. Suppose 15*w - 16 = 10*w + 13*w. Is z >= w?
False
Suppose -2*r = y + 9, 27 = -5*y + 5*r - 9*r. Let x be ((-2)/(-4))/(y - (-3983)/1330). Is -94 > x?
True
Let u = 0.067 + 0.633. Let k = u + -0.7. Let h = k - 0.2. Are 2/3 and h unequal?
True
Let c(m) = -m**3 + 6*m**2 + 3*m + 1. Let a be c(5). Suppose 0*w = -3*w, 0 = -b + 3*w - 6. Let n be b + (-78)/(-18) + (-1 - -2). Does n = a?
False
Let d be (-1)/(-3) + 99024/(-72). Let j be 37/10*(d/22)/25. Which is greater: j or -9?
-9
Let g(d) = 1119*d + 3569. Let a be g(4). Is 8045 smaller than a?
False
Suppose -7*s + 154 = -0*s. Suppose -14 = -24*q + s*q. Let v be q/(-18)*-3*(21 - 15). Which is smaller: 10 or v?
v
Suppose 7*d + 909 = 4*d - 2247. Which is greater: -1054 or d?
d
Let m be (1/(-2) - (-24471)/(-18)) + -1. Let d = -966 - m. Let u be (-148)/d + ((-296)/(-40) - 7). Which is bigger: u or 0?
u
Let g = -41987 - -56339. Which is greater: g or 14353?
14353
Let n = 83182/5 - 16640. Suppose 0 = -b + 2*j, -2*j + j = -4*b. Suppose -s - 2*h + 1 = b, 0*s + 4*h = -s + 5. Which is smaller: n or s?
n
Let b be ((-20)/16)/(-1 + 2). Let h be ((-100)/75)/((-1)/(-18)). Let g be (h - -24)/(1*-1). Which is bigger: g or b?
g
Let 