ch is greater: i or 4?
4
Suppose 2*b + 30 = -6*x + x, 0 = b + 3*x + 14. Let a be (56/(-36))/(b/(-75)*2). Does -3 = a?
False
Suppose 30*t - 325720 = -140*t. Which is bigger: -8 or t?
t
Suppose 73 = 3*l - 5*y, l + y = -2*y + 43. Let s = l + -23. Suppose -s*n - 99 = 69. Is -21 smaller than n?
False
Suppose 4*j - 76 = -4*x, -4*x = j + x - 27. Suppose -5*y = -3*y + 3*w - 10, 4*y = 4*w. Suppose 42 = 3*l + y*c, 3*l - c - c - 54 = 0. Which is smaller: j or l?
l
Let j = -53 + 214. Let p = -160.98 + j. Are p and -1 equal?
False
Suppose 256 = -2*t + x + 1052, 5*t = 5*x + 2005. Which is smaller: 4332/11 or t?
4332/11
Let s be (312/30)/((-4)/20) + -2. Are s and -79 equal?
False
Let w = -5201 + 5223. Which is bigger: -185 or w?
w
Let b = 5/7175047 + -2138195831/45669174155. Let k = -8/201 - b. Is -1 < k?
True
Suppose 11*p - 16*p = -20. Suppose -3*a + p*a = 10. Suppose -21*m = -a*m. Which is smaller: m or 8/7?
m
Let n = -6002887 + 18674981023/3111. Let b = 4/183 + n. Does -1 = b?
False
Suppose -5*u + 497 = 2*t + 149, u = 3*t - 556. Suppose -3*y - y = -i - 44, 0 = 5*i - 2*y + t. Let c be (-8)/8 + (3 - i). Which is greater: 37 or c?
c
Let a = -967259/25 - -38691. Which is smaller: 3 or a?
a
Let b = -486 - -490. Suppose -10*j = 11 - 51. Is j != b?
False
Let s be ((-3)/(-2)*-1)/((-144)/256). Let h be -3 + ((-6)/3 - -2). Let y be 54/12 + h/2. Is y <= s?
False
Suppose 4*a - 168 = -4*m, 5*m = 15 - 0. Suppose 58*u + a = 19*u. Are u and -26/19 equal?
False
Suppose 23537 + 163259 + 80410 = -542*i. Which is greater: i or -491?
-491
Let x(f) = -136*f + 408. Let o be x(3). Let y be 3/12 + (-275)/1104. Which is smaller: y or o?
o
Let v be ((-18)/5)/(-8 + (-14234)/(-1780)). Is 1071 not equal to v?
True
Let k = -0.14 + 0.04. Let u = -1142.07 + 1156. Let s = u - 14. Which is smaller: k or s?
k
Suppose 2*u - 35424 + 35424 = 0. Does 289 = u?
False
Let r = 58 - -40. Let y = -143 + r. Which is greater: -1 or y?
-1
Let n = -542.82 + 235.93. Let i = -307 - n. Which is smaller: i or -2/3?
-2/3
Let c = -5297 - -21191/4. Which is greater: c or 94/29?
94/29
Let x be (-3 - 42/(-290)) + (-32)/(-16). Is x at least -2?
True
Suppose 4*s + 9*h - 11380 = 8*h, s - 4*h - 2845 = 0. Let j = s - 773841/272. Does j = -1?
False
Suppose -10 = -2*w - 10*t + 5*t, 4*t + 25 = 5*w. Are w and -671 equal?
False
Let u = -323 - -167. Let m be (-3)/(u/(-8) + 0). Are 2 and m equal?
False
Let h = 37 + 54. Let w = 93 - h. Suppose -25 = 5*f, w*o + 0*f = -3*f - 29. Which is smaller: o or -72/11?
o
Let x(y) = 2*y**2 + 28*y + 28. Let v be x(-13). Let h be -5 + 4 + v - -7. Is 5 > h?
False
Let r = -0.148 + 0.063. Let y = -0.015 + r. Is -4/7 > y?
False
Let l = 233 + -357. Let z = l - -154. Is -1 equal to z?
False
Suppose -2*q - w = 97, -4*q + 1443*w - 152 = 1439*w. Which is greater: -878/19 or q?
q
Let g = 3898 + -3869. Which is bigger: 0.22 or g?
g
Let y(b) = 178*b**2 - 98*b - 285. Let m be y(-3). Are 1611 and m non-equal?
False
Suppose -304 + 67 = -79*x. Let m(v) = 3*v. Let q be m(3). Suppose -3*b + q = 27. Is b less than x?
True
Suppose -276655 = 144*a - 418*a + 83107. Are a and 1313 equal?
True
Let c = -11.49154 + -0.50846. Let q = -10/9 + 92/99. Are c and q non-equal?
True
Let z(g) = 34*g**3 + 4*g**2 + 5*g - 6. Let x be z(1). Which is smaller: 181/5 or x?
181/5
Let b(q) = 580*q + 2475. Let y be b(-4). Is 166 <= y?
False
Let t = 2874 + -91953/32. Suppose -z = -f, -52*f = -47*f + 2*z. Which is smaller: f or t?
f
Let b = -2.5 - -1.31. Let j = 5947 - 5944. Is b equal to j?
False
Let b be ((-1)/3)/(219/(-422)). Let u = 18/73 + b. Let p = 3703 - 3702. Does u = p?
False
Let u = -9 - -12. Suppose 374 = u*k + 41. Which is greater: k or 112?
112
Let w = -0.04 - -0.74. Suppose 2*q + 4*d + 34 = 0, -3*q = -4*d - 25 + 16. Which is smaller: w or q?
q
Let b = -578 - -536. Let x = -42 - b. Which is smaller: 9/44 or x?
x
Suppose 0 = -3*o + 272*n - 273*n + 3895, 3*o = -3*n + 3879. Which is smaller: -8 or o?
-8
Let s be -18 + (-5)/(7455/(-27426)). Is s at most as big as 0?
False
Let c = -1 + 1.2. Let d = 0.72 + -0.86. Let t = -6.86 + d. Which is greater: t or c?
c
Let x = 65584 - 65583. Let h = 1587985/209 + -7598. Which is smaller: x or h?
h
Let n = 7638151/222 + -34406. Is n greater than 1?
False
Suppose -j - 4*o = -10, -24*j + 3*o - 25 = -26*j. Suppose -j*a = -15*a - 3*w + 44, 4*w = -4*a + 160. Which is smaller: 43 or a?
a
Let p = 18 - 11. Suppose 3 = 4*v - p*v. Let s = -426/5 - -85. Which is smaller: s or v?
v
Let v = -4460 - -3859. Is v less than or equal to -601?
True
Let l be (18/4)/(11/396). Let w = l + -165. Which is smaller: w or -32?
-32
Let q(p) = -p**2 + 5*p + 3. Let w be q(5). Suppose 385 = -11*l + 407. Is w at most l?
False
Let p(f) = -5*f**2 - 360*f + 365. Let g be p(-73). Do g and -369 have the same value?
False
Let a = 59447 + -58743. Suppose 0 = -d + 3*u + 715, 20 = -3*u + 8. Is a at most d?
False
Let s be ((-410)/15)/((-8)/(-2)) - 8. Is s smaller than -14?
True
Let y = 14370 - 10487. Which is bigger: 3882 or y?
y
Let t = 0.4 + -23.4. Let c = -25 - t. Let j = 4.21 - 8.21. Which is smaller: j or c?
j
Let g be (-2716 - (0 - 1)) + 9 + -9. Let i be (g/903 - -3)*-7. Is 3/8 greater than i?
True
Suppose -5*u + 10 = -0*u. Let n be ((-10*u)/2)/(-2). Suppose 52 + 63 = n*s. Which is bigger: 24 or s?
24
Let f(a) = 8*a**3 + a**2 - 2*a - 2. Let h be f(-2). Let i be (1540/(-1155))/((-1)/((-405)/12)) + -6 + -1. Which is greater: h or i?
i
Let p be (-16 - (-4 + -8))/(4/(-12904)). Is p > 12906?
False
Let c = -0.0258 - 228.9742. Let a = -225.4 - c. Which is smaller: a or 0?
0
Let m = -31 + 28.55. Let p = 2.29 + m. Which is bigger: p or 2?
2
Let i = -33441/160 + 209. Let b = 312 + -313. Is b bigger than i?
False
Let z be -1 - (30/1725)/(1/155). Let o = z + 3295/207. Is -1 smaller than o?
True
Suppose 2 = -4612*s + 4611*s + n, 0 = 2*n - 4. Let t be (4 - -2)/2 - 0. Let q be -11 - -2 - (1 - t). Is q at least s?
False
Let p be ((-12)/(-14))/(192/133728). Is p != 2/3?
True
Let i = -0.57 - -0.36. Let z = -0.27 - -3.09. Let w = z - 2.72. Which is smaller: w or i?
i
Let d be -571*(-1)/(-258) + (-9)/(-54). Let q = -1465/989 - d. Does 0 = q?
False
Let w be (1*(-6)/5)/((-4)/(-100)). Let r be (w/12 - -4)*4. Is r greater than or equal to 13?
False
Let z = -232 + 74. Let p = 217 + z. Which is smaller: p or 58?
58
Let u = 29 + -26. Suppose -u*m = -0*m - 63. Let l be 2/7 - 762/m. Is l != -37?
True
Suppose 24*s + 44 = 13*s. Is -1 bigger than s?
True
Let d be 21/14*5/(15/(-118)). Let y(k) = -k**3 - 30*k**2 - 31*k - 119. Let a be y(-29). Is a less than or equal to d?
True
Let w = 43040558/309 + -139290. Let m = -1/618 - w. Let c(q) = q + 3. Let x be c(-3). Which is smaller: x or m?
x
Let o = 674 - 6759/10. Is o less than or equal to -1?
True
Suppose y = 2*y - 88. Suppose -4*x + 33 = 5*u - y, 4*x = -4*u + 116. Let z be -3*(-1)/(-4) + (-1374)/x. Do z and -58 have the same value?
True
Let m(c) = -15*c - 33. Let s(l) = -8*l - 16. Let t(q) = -4*m(q) + 7*s(q). Let k be t(-5). Let j be k/3*(-5 - -6). Which is smaller: j or -1/5?
-1/5
Let b = -8042720/89 + 90369. Is 2 at most b?
False
Suppose 5*z - 8*z = -12. Let g be ((-692)/7)/(-4) + z/14. Let v = 25 - g. Which is smaller: -2/125 or v?
-2/125
Let t(o) = 2*o**2 - 7*o. Let s be t(-3). Let y = 129 + s. Let a be ((-50)/112)/5 + (-48)/y. Which is greater: a or -0.3?
-0.3
Let g(b) be the second derivative of b**3/2 - 13*b**2/2 + 1463*b. Let w = -4 - 2. Let t be g(w). Is t less than -31?
False
Let a be (6 + 14658966/(-780))*(-2)/9. Let s = 4175 - a. Which is greater: s or 0?
0
Suppose -3*q = -2*p + 23, 0 = 5*q - 2*q + p - 7. Let h = -7540/50963 + 2/1243. Which is bigger: h or q?
h
Let r be ((-42)/12)/(-10 - -2). Let a = r - -23/16. Let o = 39 + -37. Which is greater: a or o?
o
Suppose 10*q + 11*q - 42 = 0. Let h(j) = -4*j**2 + 5*j - 1. Let b be h(2). Let c be -2 - (68/b - 2/7). Are q and c nonequal?
True
Let w = -18257 - -18357. Is 1484/15 greater than w?
False
Let a(o) = -178*o - 458. Let z be a(-11). Which is smaller: z or 7496/5?
7496/5
Suppose -9147 - 2108 = -11*z + 3254. Which is bigger: 1321 or z?
1321
Suppose 0 = -0*m + 3*m - 5*j - 104, 2*m + j = 52. Let g = 113 - m. Which is smaller: g or 86?
g
Let i = 8.608 + -15.508. Is i greater than 0.56?
False
Suppose 44*l = 3*q + 42*l - 4203, 3*q = l + 4203. Which