. Suppose -2*g - 3*h = 283, -144 = 2*g - g - h. Which is smaller: g or o?
g
Let g(i) = 7*i - 2. Let t be g(2). Let p be t*(-2)/(-6)*(-13 - -14). Suppose -1 = 4*f - 3*v + 2, -5*f + p*v - 4 = 0. Is f < -2/35?
False
Let m be (-2)/20 - (-961)/10. Let k = 63 - m. Let u = k + 52. Is 20 at least as big as u?
True
Let a be 7 + (10/(-95) - 1703/247). Which is greater: -35/286 or a?
a
Let h(r) = 41*r - 331. Let p be h(8). Which is smaller: -99/35 or p?
p
Let h(i) = -8*i**3 - 36*i**2 + i + 1. Let o be h(1). Is -17 != o?
True
Suppose 0 = -p - 3*c - 13, -2*p + 5*c - 3*c = 18. Let i(s) = -s**2 - 11*s - 6. Let n be i(p). Suppose 4*a - n*z + 16 = 0, -2*a + 6*a - 2*z + 6 = 0. Does a = 1?
True
Let x be (13132/(-48) - 1)*(-4 - 55/(-22)). Which is greater: 411 or x?
x
Let i = 41213 - 49244. Which is bigger: i or 1/2?
1/2
Let m(l) = -26*l - 14. Let v(k) = k. Let t(f) = m(f) + 12*v(f). Let x be t(-4). Let d be 10/x*(-10)/(-25). Is d equal to 1?
False
Let u be (((-306)/54108)/((-8)/(-24)))/(1/(-3)). Which is smaller: u or 0?
0
Suppose -15*n + 20*n = -50. Let l be n - -12 - 39/(-2). Which is bigger: -1 or l?
l
Let h = 6/4207 - 14204/4059755. Do -1 and h have the same value?
False
Let s be 4 - (20/(-8))/(-5)*940. Is -1 less than s?
False
Let f = 13033/5764 + -16/1441. Suppose 8 = -4*w + 3*k - 0*k, 0 = 2*w - 5*k + 18. Do f and w have the same value?
False
Let s be (928/(-32) + 25)*2/86. Let l(w) = w + 3. Let z be l(-2). Which is smaller: s or z?
s
Let u = 13 - 12.9. Suppose 2774 + 8026 = -180*y. Is y < u?
True
Let r = -31245 + 34808. Is r < 3563?
False
Suppose 8821 = -99*f - 1426 - 18364. Is f <= -284?
True
Let y(w) = w**3 - 23*w**2 + 49*w - 138. Let p be y(26). Are p and 3161 equal?
False
Suppose 8*d - 2587 = 3*d + 2*x, -4*d + 4*x + 2084 = 0. Which is bigger: 1 or d?
d
Let k = 0.6002 + -1.1002. Is -13/80 at most k?
False
Suppose 5315 = -4*n + 1551. Let p = n + 4907/5. Is 40 less than or equal to p?
True
Suppose -3*l + 4*c - 2 = 0, -4*l + l + 16 = 5*c. Suppose 7 = -l*x - y, -2*x = -3*y + 2*y + 9. Let k = -944 + 942. Which is bigger: x or k?
k
Let p(z) = 29*z. Let a be p(-1). Let d = a + 11. Let m be (3/(d/8))/(-41 + 7). Is m at least -1?
True
Suppose 44*b = -3*k + 46*b + 3, 4*k + 3*b + 13 = 0. Which is bigger: -2/3331 or k?
-2/3331
Let i = -75.942423 + -0.057577. Let v be 2/8 - -3 - 3. Which is smaller: i or v?
i
Let m(x) = 604*x - 3930. Let s be m(7). Which is smaller: 314 or s?
s
Let a(m) = m**3 - 3*m**2 - 1. Let t be a(3). Let v be (t/5)/(2/(-10)). Let l(p) = -156*p - 9831. Let o be l(-63). Which is bigger: o or v?
v
Suppose -5*r = -4*s - 588, -4*s = -4*r + 2*r + 228. Let w = 55 + -55. Suppose 2*b + 36 = -y, -4*y + 4*b - r = -w*b. Is -33 greater than or equal to y?
False
Let b = -270.7 - 89.3. Let v = 363 + b. Does v = 4?
False
Let q = -1880 - -1881.227. Let m = q - 0.227. Is -23 < m?
True
Let k = 0.666 + -5.826. Let t = k + 5.16. Is 314 less than or equal to t?
False
Let q be (-16 + 17)*(-6 - -6). Which is bigger: q or -2/8529?
q
Let x(w) = 310*w - 1780. Let b be x(11). Which is bigger: 3261/2 or b?
3261/2
Let s = 29 - 53. Let r be 5/6 - 4/s. Let d be -4*(r/2 + 3). Which is smaller: -13 or d?
d
Let j = -2/5084655 - 121867316141/35592585. Let q = 3423 + j. Which is smaller: -1 or q?
-1
Let o be (-413)/(-118) - 22402/6400. Does 0 = o?
False
Let j = 440/819 - 852154/1586403. Is j greater than 0?
True
Let z be 5 + 22/(-29139)*6630. Are z and -1 nonequal?
True
Let b be 2/4*-6 + -11. Let a be 4/b*16/192. Suppose 2 = 5*g - 3. Which is smaller: a or g?
a
Suppose 4*b - 28 - 4 = 0. Let f = -1077 - -1134. Suppose 5*r + 3*c + 61 = 0, -b = 4*r - 3*c + f. Are -13 and r unequal?
True
Let p = 47.52 - -177.98. Which is smaller: -1 or p?
-1
Let u(p) = p**2 - 81*p + 706. Let h be u(71). Which is bigger: h or 1162?
1162
Let n = -0.08 + -0.018. Let v = -2471 + 2470.998. Let i = n + v. Is 0 equal to i?
False
Let c = -3850 + 3699. Which is bigger: c or -149?
-149
Let i(q) = -343*q - 1397. Let d be i(-4). Suppose 4*n + 72 = n. Is n greater than or equal to d?
True
Let x = 7167 + -7167.2. Which is greater: x or 11/512?
11/512
Let f = 2359 + -2353. Which is smaller: f or 124/27?
124/27
Let j = -10 + -382. Let b = j - -431. Is b < 0.01?
False
Let u = -5858.949 + 5838. Let v = 0.051 - u. Suppose 0*b + 5*o = -4*b - 20, 4*o + 16 = -3*b. Which is smaller: v or b?
b
Let j(q) = -3 + 3 + 0*q + 11 - 3 + 12*q. Let l be j(-42). Which is smaller: -495 or l?
l
Let x = -8895 + 9835. Is x < 943?
True
Let h be (10 + 2)/6*((-79378)/19848 - -4). Is h at most as big as -1?
False
Suppose 2*h = m + 13, -16*h = 3*m - 12*h - 1. Let n be 15 + (-3 - m) - 7. Is n smaller than 10?
False
Let r be 284126/(-91332) - -3 - (-5)/45. Is 0 not equal to r?
True
Suppose -4320 = 63*q - 69*q. Let u = q + -1284. Let j = -12976/23 - u. Is j at most 0?
True
Let z be 1*(-7)/(-2310)*-944134. Let h = -2861 - z. Is 0 bigger than h?
False
Suppose 5*w - 16 = 7*w - 4*s, -5*w = -2*s. Suppose 0 = -5*h - 3*j + 830, 4*h - 3*h - 173 = -w*j. Is h <= 163?
True
Let x be -3 + 14/6 - (-708560)/(-60) - 8. Which is smaller: x or -11819?
-11819
Let s be 15/27*1728/(-135). Is s > -8?
True
Let s = 2606614/1833 - 18468/13. Is s bigger than 1?
True
Let m be ((-7)/14)/(267/(-24) - -6). Which is bigger: -0.026 or m?
m
Let s be (10/(-8))/((-12)/(-48)). Suppose 42 = 6168*k - 6182*k. Do s and k have different values?
True
Suppose 23 = 4*b + 3*x, 2*x - 6*x + 20 = 0. Suppose -3*n = -v - 131 - 112, b*v - 394 = -5*n. Which is smaller: 81 or n?
n
Let k(t) = -t**2 + 7*t - 4. Let w be k(6). Suppose -3*d = w*d - 55. Suppose -2*z = 8*q - 56, 0 = -154*z + 157*z - q - 32. Which is greater: d or z?
z
Suppose 3*g = 3, 24*b + 8*g = 19*b + 3. Which is greater: b or 90/389?
90/389
Suppose 0 = 5*l + 3*z + 25024 + 4518, -l - 5922 = 4*z. Let q = l + 29059/5. Let b = -93 - q. Is b less than 0?
False
Let f = 26 - 28. Let g be ((-40)/20)/(f/(-26)). Let m be 1/9 - g/(-234). Is -2/15 > m?
False
Let m = -8 + 47. Let g = -2164 + 2201.6. Let w = g - m. Is -2 < w?
True
Let c = 12/395 + -80/553. Suppose -3*d + 4320 = 12*d. Let p = -288 + d. Are p and c non-equal?
True
Let l = -76/17865 - 483881/4680630. Let f = 1/131 + l. Which is bigger: -2 or f?
f
Let x = -0.3 + -0.7. Let q = -0.214 + 0.464. Let o = q - -8.75. Which is smaller: x or o?
x
Suppose 0 = -3325*t + 3329*t + 12, -5*t - 20 = 5*l. Which is bigger: l or 3/4019?
3/4019
Let k be (5/((-135)/(-4)))/((-1194)/9)*(-3)/(-1). Let z(r) = r**3 - 4*r**2 - 4*r - 5. Let g be z(5). Is k bigger than g?
False
Let a = -36.756 - -0.156. Let f = a + 20.6. Which is smaller: f or -3?
f
Let d = -775 - -1236. Let x = -334 + d. Is x greater than or equal to 125?
True
Let j = -37033455159/95444966 - -367/354814. Let n = 388 + j. Suppose 0 = -k - 1 + 2. Is n at most as big as k?
True
Let j = -12192 - -11978. Which is smaller: j or -5?
j
Let d = 3060 + -3065. Is d at least -72/19?
False
Let h be 24 - 14 - (2706/168 + -3). Is h at most as big as -3?
True
Let i be (-235872)/(-4576) - (0 + (-12)/(-22)). Which is bigger: i or 50?
i
Let l = 2.367 + -4.367. Which is greater: l or 2/51?
2/51
Let i = 2704 + -105368/39. Let q = i - -1/13. Let j = 2922 - 2920. Does j = q?
False
Let o(g) = 1 + 3*g + 0 - 4. Let y be o(3). Let j = 2312 + -2303. Which is bigger: j or y?
j
Let p = -100.63 + -2.37. Let h = 73 + p. Is 1/4 less than h?
False
Let l = -8452 - -8456. Is 184 equal to l?
False
Let m = -1910 - -1591. Is m greater than or equal to -307?
False
Let g = 366 - 545. Let c = 103 + g. Let z = c + 75.9. Are 12/5 and z unequal?
True
Suppose 16575*o + 1524 = 16579*o. Which is bigger: 380 or o?
o
Let n = -105 + 882. Let d = 741 - n. Suppose 2*t - 70 = 4*t. Which is greater: d or t?
t
Let i = 4/2141 + -36665/143447. Which is smaller: i or 1?
i
Let c be 354 + 1/((-4)/(-60)*-3). Suppose -350*r = -c*r + 26. Is r < -126/5?
True
Suppose 4*f + 28 = 2*c, 4*f = 5*c - c - 24. Let d be 1 + f/20*-5. Suppose -d*w - 2*w = -35. Which is smaller: w or 6?
6
Let w = 332.9 - 312. Let p = -20.1 + w. Does 0.8 = p?
True
Let z be 2038/(-4068) + (-89)/(-178). Which is greater: z or 1?
1
Suppose -43*o + 41*o = 3*a - 40, -31 = -5*o + 4*a. Which is smaller: 2/73 or o?
2/73
Suppose 0 = -18*c + 541 - 4249. Let u = c + 99. Which is smaller: u or -105?
u
Let b be (16 - (459 - 0))/1. Does b = -448?
Fal