- u)). Suppose 9*t - 6*t - 15 = 0. Which is greater: t or c?
t
Let z(h) = -h**2 - 10*h + 11. Let m be z(-12). Suppose -4*c = 4*j - 0*c - 20, -j = 3*c - 15. Suppose -r - 5 - 10 = j. Which is smaller: r or m?
r
Let f be 1/(2/(-30)) - (12 + -7). Let t = -13 + f. Is t != -34?
True
Let k = 64.56 + 0.94. Let l = k - 65.4952. Is -1 less than l?
True
Let t(a) = -a**3 - 7*a**2 - 4*a - 6. Let n = -134 - -127. Let y be t(n). Which is smaller: 125/6 or y?
125/6
Let h = -710 - -250. Let r = h + 444. Is r at least -0.3?
False
Let s = -3689479/33 + 111793. Let d = s - -96/11. Are -270 and d non-equal?
True
Let o = 49.17 - 49.57. Is 14.3 greater than o?
True
Suppose -132*a + 148*a = 1024. Let l = 11 + -9. Suppose -74 = -l*b + 54. Is b > a?
False
Suppose 140 = -u + 5*u. Suppose 5*h + 36*h = 1476. Is h >= u?
True
Let c be (-8)/14 - (70/1155 + 73530/2079). Suppose -2*w - 42 = r, 12 = -0*w - 4*w. Is c greater than r?
False
Let n = -21/23092 + 103660135/161644. Let j = 640 - n. Is 0 at most j?
False
Let q = 56/367 + -1074856/1835. Let l = q + 586. Suppose u - 3*u + 2 = 4*r, 0 = -2*r - 4*u + 10. Which is bigger: l or r?
l
Let b(m) = 4*m - 50. Let g be b(18). Suppose 0 = -0*q - 2*q + g. Suppose 0 = 4*u - 8 - 28. Which is bigger: q or u?
q
Let j be (-9 - 264/(-30)) + 16/(-20). Is j bigger than -4/1311?
False
Let h = -208 - -97. Let g = 124 + h. Let u be (1/(-2))/((-6)/168). Is g smaller than u?
True
Let s = -3/25847 - 179426/12949347. Which is bigger: -1 or s?
s
Let t be (-10)/(-2*6/(-4)). Let a = -362 - -354. Let b be (-3*7/14)/((-6)/a). Which is greater: b or t?
b
Let a = 973 - 904. Is a at most 70?
True
Let s be 1561/(-223)*(2/2 - 2). Which is smaller: 97/16 or s?
97/16
Let v = 11593 - 11593. Which is smaller: 26/107 or v?
v
Let k be 5/(-3) - 4/12. Suppose -2*w - g = 335, -4*g + 619 = -3*w + 133. Let y = w - -165. Which is smaller: k or y?
k
Let d = 22589 - 137387/6. Which is bigger: -309 or d?
d
Suppose 253337 = 97*o + 126*o - 104132. Is 1606 greater than or equal to o?
True
Let n(h) = 2*h**3 - 10*h**2 + 9*h - 12. Let o be n(6). Let k be 10/85 - o/102. Is 3/49 greater than k?
True
Let m = -33979 - -36254. Which is smaller: m or 2277?
m
Let l(w) = -w**3 + w**2 + w + 38. Let f be l(0). Let g = 14 - f. Suppose 0 = -23*r + 29*r + 150. Is r greater than g?
False
Let u = -3419153187/11087 + 308393. Which is smaller: u or 0?
0
Let k = 29354/1376097 + -17/951. Which is smaller: k or 0?
0
Let w = -9267197491/308 - -30088163. Let q = 170/77 - w. Let v = 43959/308 - q. Which is smaller: -1 or v?
-1
Let h be ((-1)/(-20))/(279/(-5580)). Is h less than 1/41245?
True
Suppose k - 279*a = -281*a - 3477, 3*a - 17411 = 5*k. Which is smaller: k or -3482?
-3482
Suppose 10*p - 18*p + 40 = 0. Suppose -4*x = x - 2*m + 80, -p*x = -m + 80. Suppose -3 = -2*r - 33. Which is greater: x or r?
r
Let v be ((-167)/40 - 0 - -4)*(-156)/182. Suppose -4*j + 5 = r, 2*j - 2*r = -r + 1. Is j equal to v?
False
Suppose 3*v + 16 = 7*v. Suppose 495 = 2*d + 5*j - 2*j, 251 = d - 2*j. Suppose -w = 3*c + d, c + v*w - 37 = -120. Which is bigger: c or -82?
-82
Suppose -32 = t + x, 126 = -5*t + x - 4. Let n = t + 35. Suppose 4 = -5*d - n*r + 4*r, 4*d = -4*r - 4. Is d smaller than 0?
False
Suppose -1 + 6 = -4*n + u, 0 = 3*n - 2*u + 10. Suppose -19 + n = 19*i. Let p be (-76)/88 - (-2)/4. Is p < i?
False
Let r = -137 + 145. Suppose -9*i - r = 10. Which is bigger: -11 or i?
i
Suppose 2*x = -10, 232*v - 233*v + 634 = -5*x. Which is smaller: v or 612?
v
Let j = 87.8 - 75. Let s = 3.4 + j. Let h = -16 + s. Is -2/33 > h?
False
Let v be (-3200)/3766 + (2905/245 - 11). Which is bigger: 0 or v?
v
Let c = 145 + 39. Let x = c + -181. Let r be (0 + 2 + -1)*9. Are x and r non-equal?
True
Let q = 6.7575 + -4.7575. Let z be 1 + (-1 + -10)*-2. Which is smaller: z or q?
q
Let p be 45/12*58432/(-528). Which is bigger: -424 or p?
p
Let z be (7 - -1) + 10976/(-1360). Let k = -12 - -121/10. Let q = z + k. Is q smaller than -1?
False
Let z be (-2 + -1)*(-103 - 60/(-6)). Suppose -8*c + 65 = -z. Is 46 at most as big as c?
False
Let y = -87.685747 + -0.213253. Let p = -88 - y. Let s = p + 0.181. Which is greater: s or -5?
s
Let f be 0 + 24410/(-155) + 10 + 6. Is f at most -142?
False
Let t(o) = -o**3 + 3*o**2 + 3*o + 8. Let n be t(4). Suppose -116 + 17 = -5*k + 4*a, a - 75 = -n*k. Is k greater than or equal to 16?
True
Let i = -0.19249 + 0.25249. Is -26/45 > i?
False
Let z = 12857 + -270313/21. Is -15 less than z?
False
Suppose 0 = 7*k - 4*k + 5*i + 14, 0 = 4*k - 4*i - 24. Suppose 0 = x + 5*c - 2 - k, 0 = -2*c + 2. Is x less than -7/4?
False
Let a be ((-1)/(-7))/(30/86). Let t = a - 4/15. Suppose -2*x + 40 - 31 = -5*l, -5*x = -l - 11. Is t at most as big as l?
False
Suppose -2*z = -g - 406, -3*z - g + 610 = -2*g. Suppose -344 = 4*t + i, -2*i - z = 2*t - 26. Let m = t - -108. Is 24 at least m?
True
Suppose 39*b = 81*b - 32*b + 590. Let i(f) = f**3 - 15*f**2 + 9*f + 13. Let g be i(14). Is g greater than or equal to b?
True
Let c(a) = 1386*a**2 - 94*a - 193. Let b be c(-2). Is b <= 5539?
True
Let q = 441 - 888. Let w be 13 - 14 - (436 - -11). Which is bigger: w or q?
q
Let h be 1*1*2*(-34)/(-55590). Are 1 and h unequal?
True
Suppose u - 3*q = 5 + 3, 5*u = 3*q + 4. Let c be 68/12*3456/336192. Which is smaller: u or c?
u
Let l be -2 - (-21 + 12)/9. Which is smaller: -79/44 or l?
-79/44
Let t be (-12694)/(-305808) - 123/2952. Is t >= 0?
False
Let p(j) = 5*j**2 + 12*j - 1. Let o be p(-4). Let l = o - 24. Suppose 77 = l*r - 0*r. Which is greater: 12 or r?
12
Let o = 118 - 58. Let v = -61.6843 - -1.7003. Let x = o + v. Which is smaller: x or 0.1?
x
Let o(z) = -z**3 + 15*z**2 - 15*z + 17. Let c be o(14). Suppose -5*q = -c*q - 10. Suppose -q = 6*y - 11. Which is smaller: 1/56 or y?
1/56
Let v be 24/(-10) - (-8)/20. Let h be 4 - (-6 - (-12 - v)). Which is smaller: 2/141 or h?
h
Let s = -3268/11 - -28279/99. Is s at most as big as -12?
False
Suppose 0 = 4*y - r - 23 + 14, 5*y + r = 0. Let c = 1166/85 - 68/5. Let s = c + 43/68. Which is greater: s or y?
y
Let p = -5723/8946 + -2/639. Let j be -2 + 28/(-7)*34/(-8). Suppose -9*i = j*i. Which is bigger: p or i?
i
Suppose 5*w = 4*c + 83, -4*w + 9 = 3*c - 76. Suppose 36 - 24 = -2*h, -76 = -4*m - 4*h. Which is greater: w or m?
m
Let n = -0.33 - -21.33. Let p = -12 + 13. Let r = n - p. Which is smaller: 0.3 or r?
0.3
Let a = 3891/2282 - -3/326. Let v be -7 - (12/(-10))/((-56)/(-420)). Suppose -5*c + 95 = 120, v*o - 3*c - 21 = 0. Which is bigger: o or a?
o
Let u be (-7)/(-47292)*81/9*2/9. Is 0 less than u?
True
Let z = 33229 - 33390. Which is smaller: -6 or z?
z
Let v(l) = -l**2 + 32*l + 1679. Let q be v(60). Is q smaller than 1/21?
True
Let t(l) = l**3 - 16*l**2 - 35*l - 5. Suppose 105*j = 110*j - 90. Let o be t(j). Is 10 <= o?
True
Suppose 4*u - 87 - 13 = 2*y, -3*u = -5*y - 61. Suppose -6*b + u = 87. Let k = b - -10. Which is smaller: k or 1?
k
Let j(r) = 19*r**2 + 1779*r + 1778. Let o be j(-1). Is o at most as big as -55?
False
Suppose 2*w - j = 21 - 9, 0 = 3*w - 2*j - 20. Let d be ((5 - w) + 2)/((-9)/12). Which is smaller: -3 or d?
d
Let x be (-56)/532*(1/(-1) + -1). Which is smaller: -2/57 or x?
-2/57
Let q = 34.8 - 32.74. Let t = 1.96 - q. Is t greater than or equal to -160?
True
Let r be (-1*8*(-19)/6080)/((-2)/(-15)). Is r < 0?
False
Let u be (-14380)/(-15) + 2 + (-1)/(-3). Let k = 541 - u. Is k smaller than -0.1?
True
Suppose 52 = 2*c - 5*b, 0 = -0*c + c - 4*b - 32. Suppose 5*t - 7*t = -24. Suppose -p + 5*f + t = 0, -5*p - 2 = -f - 86. Is p smaller than c?
False
Suppose p + 3*u = -0*p - 34, 14 = -p + u. Let n(j) = 27*j**3 - 267*j**2 - 38*j + 59. Let r be n(10). Is p greater than or equal to r?
True
Suppose 5*a + 2*z - 258 = 5*z, -a = -3*z - 54. Which is bigger: a or 78?
78
Let y(w) = 2*w + 0*w + 24 + 4. Let p be y(-13). Let o be (p + -2)/(24/(-8)). Which is smaller: -1/14 or o?
-1/14
Suppose -46*w + 51*w + 1170 = 0. Let u be -4*5/(-90) + 28/w. Which is greater: 0 or u?
u
Let n = 2256 + -918194/407. Which is smaller: 1/4 or n?
n
Let z be -16 + -1909 + 16 + 10. Is -1904 smaller than z?
True
Let m = 1035 + -675. Let l be ((-1)/49)/(m/70 + -6). Let u be -1*(2 + -1) - -2. Which is greater: u or l?
u
Let o(d) = d**2 + d. Let m(a) = -3*a**2 + 21*a - 7. Let w(s) = -m(s) - 2*o(s). Let j be w(20). Do j and 