ppose -r = i*r. Which is bigger: -1/10 or r?
r
Let l = 317 - 230. Let y = l + -152. Is y not equal to -66?
True
Let p(n) = n**3 + 5*n**2 - n - 5. Let t be p(-5). Suppose -s = -5*d - 3, 5*d - 2*s + 5*s + 11 = t. Is -6/65 less than or equal to d?
False
Let t = 6599 - 6757. Is 0.09 > t?
True
Let r be ((-220)/(-72) - 3)*-8. Let z = r + -2/9. Which is smaller: z or 1/99?
z
Let u = 258.4 - 49.4. Let i = u + -215. Are -2/109 and i equal?
False
Let f = -4127/39 + 635/6. Let l(b) = b**2 - 19*b - 16. Let r be l(20). Suppose 0 = r*z + 2*y - 6, 2*z + 3*y - 8 = 5. Is z greater than f?
False
Let l = -125 + 125. Is l greater than 104/95?
False
Let y = 2/929 + 7418/6503. Let o be ((-25)/34 + 2)/((-9)/(-6)). Let u = o + -3/17. Is u at least y?
False
Let u be (-565)/30 - -20 - 3/18. Let o = 1018 + -95693/94. Is u at most as big as o?
False
Let w(i) = -i**3 + 11*i**2 - 55*i - 54. Let m be w(8). Which is smaller: m or -304?
-304
Suppose 7*i = 3*i + 68. Let u(r) = -r + 19. Let h = 177 + -164. Let d be u(h). Does i = d?
False
Let w = -297679/21410 + 8/2141. Is -0.1 less than w?
False
Let c be -1*((-13)/((-130)/80) - 7). Let a = 6 - -46. Let t be a/132 - (-1)/(-3). Which is smaller: t or c?
c
Let h be ((-5)/15)/(23/69). Let s = 72 + -104. Let r = s + 15. Are h and r unequal?
True
Let y be (0 - 16438/30) + 9/(-45). Let f = y - -548. Which is greater: 1/7 or f?
1/7
Let z be 16 + -15 - (-1)/((-1)/(-2)). Let w be (2 - (2 - z)) + 1 + -3. Let q(m) = -17*m**3 + 2*m**2 - 2*m. Let f be q(w). Is f greater than or equal to -16?
False
Let u = -6.5 + 1.3. Let c = -5.8 + 6.84. Let s = 0.04 - c. Is u smaller than s?
True
Suppose -27*p - 7429 = -46*p. Suppose 10*t = -p + 101. Is -24 not equal to t?
True
Let k = 66293/9 + -7366. Which is greater: k or -1450?
k
Let d(c) = 20*c**2 - 6*c - 12. Let x be d(-2). Let f be x/48 + 2/(-3). Are f and -3/74 nonequal?
True
Let i = 416 + -285. Let u be i - 131 - (-1 - (-1 + 1)). Which is smaller: u or 35/23?
u
Let i be -5 + 12 - (-4 + 19). Suppose 3*d = -v - 4 + 1, 4*d + 12 = -2*v. Which is smaller: i or v?
v
Suppose 5*a + g - 1 = -6, -3*g = 0. Let r be (-8599 - 2)*(-13 + (-2740)/(-213)). Let f = r + -1171. Which is smaller: f or a?
a
Let q = 501001 + -496005.19. Let p = 4968 - q. Let l = -0.19 + p. Is 0 equal to l?
False
Suppose -c = -382*g + 378*g - 804, 2*g = -c - 402. Which is greater: -235 or g?
g
Suppose 0 = -7*c + 20*c - 117. Suppose 5*h = h + k - c, -3*k + 17 = -2*h. Is -2/425 >= h?
True
Let t be -2 + -3*1076/12. Let a = t - -1077/4. Which is bigger: -1 or a?
-1
Suppose s + 189*n = 193*n - 32, -4*s + 4*n - 8 = 0. Let i be -2*((-3)/6)/1. Let w be i*(-4)/2 + 10. Is s < w?
False
Let b = 5.14 + -6.04. Let q = -10 - -8. Is b equal to q?
False
Suppose 5*x = 67*d - 66*d + 69, -4*x - 3*d + 21 = 0. Which is smaller: 88 or x?
x
Let c = -370 + 422. Is 209/4 greater than c?
True
Let g = -3305 - -3344.5. Which is greater: g or -1?
g
Let m = -121 + 54. Suppose 14 + 11 = -5*c - 4*f, -2*c - 3*f = 17. Is c greater than or equal to m?
True
Suppose -2*z = 54*p - 57*p + 10, 5*p - 2*z - 10 = 0. Is 11/974 <= p?
False
Let t(u) = 39 - 3*u + 42 - 29 - 6*u. Let h be t(6). Which is smaller: h or -11/6?
h
Let b(z) = -190*z - 2279. Let n be b(-12). Is -871 at least as big as n?
False
Let a be (330/(-58) - -1) + 80/20. Does -2 = a?
False
Let u = 1.0795 + 0.9021. Which is smaller: -1 or u?
-1
Let m(f) be the first derivative of -f**4/4 - f**3/3 + 3*f**2 + 6*f + 102. Let w be m(-4). Is 34 at most as big as w?
False
Let q be (-99)/(-2)*(-4 + 112/24). Let s be -1*11/(q/(-45)). Which is smaller: s or 16?
s
Let y be (-16)/(-15)*(-12)/(-16)*-2*12. Is y at least as big as -102?
True
Let f be ((-2880)/(-27) - (-4)/3)*(-22)/(-8). Are 2074/7 and f equal?
False
Let m = -393 + 397. Let y(i) = -i**3 + 4*i**2 - 1. Let x be y(3). Let d be (30/(-100))/((-3)/x). Is d equal to m?
False
Let a be 0 + 5 + 168/(-24). Let j be -1 + -3*(-24)/9. Let r = a + j. Is 4 > r?
False
Let z = 53.891 + -54. Let b = -179 + 178.901. Let t = b - z. Does t = -4?
False
Let f = 286.4 + -300.57. Let a = f + 0.17. Let m = -0.1 - -0.2. Which is bigger: a or m?
m
Let h = 4 + -4.06. Let p = -211.4 + 300.3. Let x = 89 - p. Is x at most as big as h?
False
Suppose -15*j - 17095 = -20*j. Let w = 625675/183 - j. Is w at most -5?
False
Suppose 0*s = 3*s - 15. Suppose 5*r = -4*o + 3*r - 2, -2*o + s = -r. Let w be 2 + 0 + 2505/(-60) + 37. Which is greater: w or o?
o
Suppose 5*l - 164*h + 161*h - 9 = 0, -3*h - 9 = 4*l. Which is bigger: -1/2917 or l?
l
Suppose -5*k + 30 = 5*n, 4*n - 6*n = -5*k + 23. Let d be n/(-6) + (-92)/24. Let g be 2*34/(-18) - d. Which is smaller: g or -40?
-40
Let q = -166.1 + 176. Let w = 10 - q. Let z = w - 17.1. Is -0.1 at least as big as z?
True
Let r be (-13)/62*(2 + 320/(-158)). Let z = 24896807/51429 - r. Let g = z + -484. Is g at least as big as -1?
True
Let n = -11 - -10.2. Let c = 0.288987 - 0.246987. Which is greater: n or c?
c
Let w = -14613.223 - -14599. Let x = w - -0.023. Let p = x - -4.2. Which is bigger: p or 0?
0
Suppose 0 = h - 8 + 3. Suppose 4*c + h - 1 = 0, -3*x + 2*c = -5. Is x >= 2/73?
True
Let v = -21 - -11. Is v smaller than -10?
False
Let f = 150 - 179. Let i be 3 + (1/2 - 1416/48). Which is bigger: f or i?
i
Suppose 2*d = 2*v - 4, -v + 2*d - 5 = 4*v. Let w(t) = -3*t - 32. Let s be w(-10). Let a be 4/v - s/3. Do 3/2 and a have the same value?
False
Let n(w) = -3*w + 1. Let u be n(-1). Suppose 0 = h - 0*h + o - 2, -u*h + 8 = o. Suppose -5*c = 5*x - 20, h*x - 13 = 2*c - 5*c. Is -2/27 at most as big as x?
False
Let h be 18*(30/(-12) + 2). Let o be (-5)/(-7)*(486/(-60))/h. Suppose 6*p - p - 5 = 0. Is o smaller than p?
True
Let j = -38354 + 38420. Which is smaller: -103 or j?
-103
Let o be 2 - 32/1 - 3. Let p = o + 5. Let f be (-3)/8 + 6560/(-256). Which is smaller: f or p?
p
Let w = -1879.8 - -1883. Are w and 112 non-equal?
True
Let i(l) = -244*l**2 + 17*l - 16. Let k be i(1). Let r be ((-4)/5)/(588/490). Does k = r?
False
Let u(m) = -m**3 + 15*m**2 + 10*m - 11. Let i be u(16). Let b = i + 95. Let n be (54/b - -4)*2/1. Which is bigger: 2/211 or n?
2/211
Let v = -6827.43 - -6824. Which is greater: v or 2?
2
Let h be 3*236/48*(2 - -2). Suppose -361 - h = -4*n. Let r = n - 104. Which is smaller: 3/38 or r?
3/38
Let y(h) = 14*h - 12. Let n be y(9). Suppose 2*x = -0*x + n. Suppose 1232 = 605*a - 583*a. Which is greater: x or a?
x
Suppose -78 = r - 2*z - 82, -5*z - 10 = 0. Which is smaller: r or 2/16287?
r
Let c = -2213.5 - -2147.042. Let i = -0.458 - c. Are -0.4 and i equal?
False
Let r = 2299 + -71327/31. Which is smaller: r or -3?
-3
Let f(g) = g**2 - 20*g + 2. Let c be f(20). Suppose -c*p = -1 - 3. Suppose -4 = p*q + 7*v - 5*v, 2*q + 5*v = -1. Is q not equal to -9?
True
Let x be (4/94 + (-100)/141)/((-4)/(-438)). Which is bigger: x or -47?
-47
Let n = 0.11 + -2.79. Let j = n - -2.68. Which is smaller: j or -1/73?
-1/73
Let d = 1403 - 1406. Let s = -13 - -12.9. Which is bigger: s or d?
s
Let r(n) = -n**2 - 44*n - 11. Let b be r(-22). Let o be (-86)/b + (-986)/22. Are -45 and o nonequal?
False
Let f = -82 + 93. Suppose f*l - 4*l = -112. Is l at least as big as -19?
True
Suppose 3 = 7*v - 39. Suppose 3*l = v + 48. Suppose 0 = -4*h + 2 + l. Which is smaller: h or -4?
-4
Let h(n) = -4*n + 0*n**2 + 35 - 47 - 2*n**2 - 3*n. Let v be h(-3). Let p = 332 + -679/2. Is v != p?
True
Let h = -35 + 45. Suppose -h = -8*v - 2*v. Let q be v*-16 + (-3 - (-3)/3). Is q equal to -18?
True
Let w be (-1950)/(-125)*(-2008)/(-48). Is w bigger than 654?
False
Let f(j) = -j**2 + 18*j + 115. Let s be f(-5). Let g = -5 + 9. Suppose g*w + w - 15 = s. Which is smaller: w or 4?
w
Let c = 29380/7 - 7433042/1771. Is c bigger than 1?
False
Suppose -9*g = -g + 3*g. Suppose 3*h + 15 = g, 4*h = 8*j - 12*j + 12. Which is bigger: j or 1?
j
Let d = 0.249 + 20.351. Let t = 3276 - 3297. Let m = t + d. Which is smaller: 1 or m?
m
Let x(q) = q**3 - 6*q**2 + 7*q + 4. Suppose 4*m - 29*d + 32*d - 22 = 0, -4*d + 8 = 0. Let z be x(m). Are z and 2/231 equal?
False
Let j(r) = -30*r + 137. Let m be j(4). Suppose m*t - 18*t - 2 = 0. Is 24 at most as big as t?
False
Let j = 2191 - 2189. Is 892 >= j?
True
Let b be -2 - (-9)/(18/44). Let g be (-12816)/(-445)*b/21. Is 26 < g?
True
Let m be (3/(-9))/(35/6384). Let o = m + 18514/305. Do 