). Let v be (-6)/21 + (4/(-16))/(7/(-8)). Is k > v?
False
Let l(g) = -3*g**2 - 13*g - 12. Let y(a) = a**3 + 2*a**2 - 3*a - 3. Let k be y(-3). Let o be l(k). Which is smaller: o or -3/106?
-3/106
Suppose -5*h + 15 = 0, o + o + 3*h - 45 = 0. Let s be 2/o*(-858)/(-102). Let j = 3/17 + s. Which is smaller: j or 1?
1
Let x = 43/26 + 229/286. Suppose -4*o + 5*o + 2*c = 15, 13*o + 5*c - 48 = 0. Is x smaller than o?
False
Let y be (-4)/(-3) - (-18538)/69. Suppose y*q = 272*q - 172. Which is smaller: 87 or q?
q
Let b(s) = 8*s**2 + 2*s + s**3 + 35 - 15*s + 8*s**2 - 2*s**2. Let x be b(-15). Which is smaller: 3 or x?
3
Let y = 5714 - 4793. Are 922 and y nonequal?
True
Suppose -5*x = -0*x - 105. Let k = x + -17. Suppose -k = -p, 5*w + p - 5*p = -21. Which is bigger: w or 4/9?
4/9
Let t be ((-1)/(-1))/(3 + -2). Let p be (1*9/498)/(960/256). Which is smaller: p or t?
p
Let t = -100467969905 - -31238104010730563/310926. Let r = t - 1/4038. Which is smaller: r or 0?
0
Let w = -0.136 + -447.864. Let u = w - -436. Which is bigger: u or 8?
8
Let n = 12 + 27. Let d = 7.9 + n. Let x = -47 + d. Which is bigger: x or -20?
x
Let i = -514358/35 - -71594/5. Which is smaller: -377 or i?
i
Suppose 5*j + 370 = 5*t, 8*j + 70 = t + 3*j. Let n = t - 77. Let f = 120/13 - 519/52. Which is smaller: n or f?
n
Let h = 2774 - 2743. Which is smaller: 20 or h?
20
Suppose -59*q + 18 - 47 = 30. Let h = -9 + 14. Which is smaller: h or q?
q
Suppose -46*l + 47*l = -4*o + 46, -5*l + 287 = o. Let w be (3828/l)/(2/(-2)). Let r = 0.2 - 0.3. Is r smaller than w?
False
Let w be (-19 + -2 - -40) + -3*24/9. Which is greater: -50 or w?
w
Let j = -69 - -70. Let n(y) = y - 24. Let r be n(23). Let s be (-1332)/(-330) - (-4)/r. Which is greater: s or j?
j
Let b = -379.029 - -379. Let d = b + -0.971. Which is bigger: d or -0.412?
-0.412
Let z = -219 + 349. Let o = -98.27 + 1.27. Let l = z + o. Is -1 < l?
True
Let v = 11979 + -60086/5. Let z be 228/8*16/(-12). Is z > v?
True
Let p be (-3)/(-11) + (-3330)/4950. Which is smaller: -387 or p?
-387
Let s = 136 + -6118/45. Suppose 0 = -12*f + f + 55. Suppose 0 = -f*y - y - 6. Which is greater: y or s?
s
Let d be (-38110)/15*12/(-8). Is d at least as big as 3811?
True
Let o = -1398136235/6122 + 228379. Is o less than or equal to -1?
False
Let t = -1422.2 + 1427. Which is smaller: 58 or t?
t
Let g = -7 - -11. Suppose 6*p = p - 4*k + 13, -2*p = 4*k + 2. Suppose -2*h - 1 = 4*u - p, -4*u - 4*h = -4. Is g not equal to u?
True
Let k be (-2)/6 - 4/6. Let b = 140 - 106. Let v = b + -305/9. Do v and k have the same value?
False
Let b = 3781 - 1312001/347. Are 0 and b non-equal?
True
Suppose l - 10 = 2*i, -38*i + 40*i = -2*l - 10. Which is smaller: l or -3/770?
-3/770
Let b = 0.223 - -84.777. Let j = -121 + b. Is -0.2 greater than or equal to j?
True
Let l = 1888 - 1888. Which is smaller: -237.5 or l?
-237.5
Let v(z) = z + 1. Let q be v(1). Let i(k) = k**3 + 6*k**2 + 4*k + 16. Let d be i(-6). Let b be (-4)/2*(d - -7). Is b smaller than q?
False
Suppose -2*j + o + 31 = 0, -j = -4*j - o + 39. Suppose 31*k - j = 17. Is k at least as big as 107?
False
Let z = -159868/5 + 32161. Let d = z - 187. Is -17 equal to d?
False
Suppose -39*s + 11917 = -5711. Suppose -758 = -9*f - s. Is 36 less than f?
False
Let y = 0.0425 - -1941.9575. Which is smaller: y or 0?
0
Let i be 290/(-12) - (160/24 - 7)*9. Is i < 1?
True
Let r = -2.6 + 2. Let v = 0.4 - r. Let s = 0.948 - 0.888. Which is greater: s or v?
v
Suppose -233 = 7*y - 443. Which is smaller: y or 127?
y
Suppose 17*o + 8 = 18*o. Let h(a) = -26. Let r(d) = -d - 25. Let b(w) = -5*h(w) + 4*r(w). Let t be b(o). Which is bigger: -3/4 or t?
-3/4
Let h = 8084.08 - 8084. Is -553 at most as big as h?
True
Let s = 4522 - 4521.9. Is -0.1858 at least s?
False
Let c = 8237 - 8235. Are -845 and c unequal?
True
Let s be (-1)/(6/(-24)) - 64. Let a = 4507/2 - 2312. Which is bigger: s or a?
a
Suppose -4*u + f = -246, -5*u + 14 = -f - 294. Suppose 0 = 17*q + u + 159. Does 2/5 = q?
False
Let g = 1980 - 21783/11. Let t(s) = -s**2 - 3*s + 1. Let d = -5 + 2. Let b be t(d). Which is greater: b or g?
b
Let d = -40 - -69. Let m be (-2 - 0/2)*13992/(-11). Let h be (-4)/14 - m/(-84). Is h bigger than d?
True
Let k = -8 - -5. Let g be (-2093)/(-2392)*(-4)/(-42). Is k bigger than g?
False
Let w = 0.00847 + -0.10847. Let h = -0.08 + 3.08. Which is smaller: h or w?
w
Suppose -67*j - 2*j = 554 - 1796. Suppose -2*s + 5*i + 8 + 4 = 0, 2*s - i = 28. Are s and j nonequal?
True
Let l = 276 + -273. Suppose 2*n + 181 = l*y, -2*y - 5*n = 4 - 112. Are y and 176/3 non-equal?
True
Suppose -8*a + 43*a - 4642 = 5508. Which is bigger: a or 297?
297
Suppose 265*r + 308 = 262*r - q, 2*q - 224 = 2*r. Which is bigger: -92 or r?
-92
Let f = 3599252/67011 - -28/9573. Let k be (-4)/10 - 277/(-5). Which is greater: k or f?
k
Let d be (-2475)/35 - (-6)/(-21). Let w be (-14)/(-12)*8*9 + -1. Let b = w + -153. Is d > b?
False
Let u = 8269 - 8270. Which is smaller: u or -69/14?
-69/14
Let p be (228/(-9))/(8/(-12)). Suppose p*c - 43*c = -1055. Is c at most 210?
False
Let p be -5 + 2 + (30 - 29) + -86. Which is smaller: p or -85?
p
Let g = 0.024 + -4.034. Let u = 4 + g. Let s = 4.322 + -0.322. Are s and u unequal?
True
Let w = -1.4213 - 0.5787. Do -1114 and w have the same value?
False
Suppose -2*b = 2*p + 2*b - 50, 0 = -5*b + 5. Let s(h) = -h**3 + 8*h**2 - 3*h + 43. Let d be s(8). Which is greater: p or d?
p
Suppose 36*v + 7*v = 0. Let u be 17/(-85) + -1021*3/(-15465). Is u at most v?
True
Let p = 9 + 6. Suppose 2*r - 5*r + p = 0. Suppose 2*c + r = 3. Is c equal to 3/7?
False
Let j(s) = 303*s + 1856. Let i be j(-6). Suppose 0 = -5*r + 4*r + 39. Which is smaller: i or r?
i
Let p = 4.64 - -481.36. Let c = -486.01 + p. Which is greater: -0.03 or c?
c
Let a(v) = -v**2 - 8*v - 13. Let y(q) = 5*q. Let p(x) = -14*x. Let i(d) = 6*p(d) + 17*y(d). Let u be i(-6). Let z be a(u). Is 6/13 equal to z?
False
Let z be 86/(-1419) - (-37768)/264. Is z > 195?
False
Suppose -134 = 3*a - a. Let v(m) = -m**2 - 12*m - 18. Let y be v(-10). Suppose 2*c - 136 = y*s, -3*s - 2*s - 326 = 2*c. Is a at least as big as s?
False
Let b(m) = -m**3 + 1. Let h(c) = 5*c**3 - 9*c**2 - 7*c - 64. Let p(j) = 6*b(j) + h(j). Let q be p(-9). Let u be 75/21 + (-8)/14. Is u greater than q?
False
Suppose 13 = 2*i - 3*n, 0 = -i + n - 5*n + 23. Suppose -7*m = -6*m + i*m. Which is bigger: -3/122 or m?
m
Let m = -944.3 + 902. Let c = -42 - m. Let j = -1301/2185 + -2/437. Which is smaller: j or c?
j
Let y(f) = f**3 - 35*f**2 + 76*f + 535. Let k be y(31). Which is bigger: -4764/5 or k?
-4764/5
Let f = 2985 + -2941.2. Let l = 7 - 51. Let i = f + l. Which is smaller: 9 or i?
i
Let f(i) = i**2 + 511*i - 6812. Let w be f(13). Which is smaller: 2/3027 or w?
w
Let p = -35283/1157242390 + 4/52645. Is 1 bigger than p?
True
Let d(n) = -41*n - 19. Let x be d(4). Let f be x/(-8)*(-68)/51. Is f at least -30?
False
Suppose 28*l + 581 + 1093 = 19*l. Is l < -186?
False
Let q be (-303056)/940 - (-7)/5. Is q at most 2/9?
True
Let o = -86679 + 86805.942. Let i = o + 0.058. Is -0.1 not equal to i?
True
Let d be -4 + (-52)/(-16) - 117836/(-157136). Which is smaller: 0 or d?
d
Suppose 157116 + 392429 - 92228 = 49*h. Is h at most as big as 9333?
True
Let g be 4 - 0*(-4)/(-8)*-2. Suppose 3*q - q = 2*f - 6, 4*q = -2*f - 6. Suppose -j + f = -1. Is j bigger than g?
False
Let y = 0.3 + 1.7. Suppose -79*a = -80*a + 34. Let u be 3*-1 - a*6/(-36). Is y at most u?
True
Let w(x) = x**3 + 72*x**2 + 66*x - 325. Let g be w(-71). Do g and 29 have the same value?
False
Let g(c) = -26 - 3*c**2 - 12*c + 54 - 23. Let s be g(-4). Suppose 21 = 7*n - 21. Is n >= s?
True
Let t(o) be the third derivative of -o**4/24 + 5*o**3/6 + 13*o**2. Let f be t(0). Let c be (6/(-12))/(f/(-2)). Is c smaller than -1/11?
False
Suppose 5*g + 38 = -761*u + 759*u, -5*u = -3*g - 29. Does g = -177/19?
False
Let k be ((476/187)/28)/(1*2767). Is k != -1?
True
Suppose 22 = 5*c + 2*t, -4*t + 7*t - 3 = 0. Suppose -5*a + 49 = -3*r, 3*a + c*r = -2*a + 63. Suppose 7 = l + a. Which is greater: -2 or l?
-2
Let h(o) = -o**3 - o + 1. Let g(n) = 3*n**3 - 2*n**2 + 11*n + 9. Let s(q) = g(q) + 4*h(q). Let w be s(-3). Let j be w/29*(3 - (0 + 2)). Is 1 >= j?
True
Let b = -3319 - -3318. Which is greater: -3047 or b?
b
Let s 