 5*l - 115, l - 2*r - 13 = 0. Suppose -6*p + 2*p = -8. Let g be (-20)/(-3) + p/6. Which is smaller: g or l?
g
Let n be (10 + (-207)/18)*(-6)/(-26). Which is smaller: 0 or n?
n
Let g be (-12)/18*3/(6/25). Which is smaller: g or -9?
-9
Let t = 0.39 + -0.29. Which is smaller: t or -1/119?
-1/119
Let t(u) = 2*u**2 - 7*u + 5. Let i be t(5). Let a(c) = 2*c**2 + 15*c - 122. Let z be a(-13). Which is greater: i or z?
z
Let l = 3 - 4. Let d be l/(7/(21/(-18))). Let k = -340 - -342. Which is smaller: d or k?
d
Let q = 0.156 + -0.756. Let a = -0.9 - -1.6. Let g = q + a. Which is smaller: 7 or g?
g
Suppose 0*t - 3*t - 3*d = 3, 2 = -2*t + 2*d. Let r be 1/t - (6 - 6). Let u be 6/(-68)*2*r. Which is greater: 0 or u?
u
Let t be (-16)/(-2) - (6 + -4). Let p be (-2)/1*t/(-12). Suppose 0 = 2*n + 3*f - 3, -3*n + 4*f + 10 = -n. Are p and n unequal?
True
Let b be (321/(-15))/((-1)/5). Let d = 1603/15 - b. Which is smaller: -1 or d?
-1
Let w be (-7 - -7) + 2778/16. Suppose 5*u - 10 = 0, 733 = -4*m - 2*u + 45. Let a = m + w. Does a = 0?
False
Let s = -262.7 - -146. Let r = s - -118. Which is greater: r or 1?
r
Let v(o) = -2*o - 2. Let m be 143/78 - (-1)/6. Suppose -m*t + 16 = -5*k - 3*t, 4*t = -k - 7. Let n be v(k). Is 5 greater than or equal to n?
True
Let m = 12/18641 + 507613/1584485. Let u = m - 3/85. Suppose 0 = -o + w - 18, 6 - 1 = 5*w. Is u at most as big as o?
False
Suppose -5 - 4 = q. Suppose -2*h + 66 = 5*g, -3*h + 2*h = 5*g - 63. Let b be (-3)/12 + q/g. Is b bigger than -3?
True
Let h = 106.17 + -119.2. Let p = h + 0.03. Are p and 2/7 nonequal?
True
Let h = -152 + 102. Let k be (4/5)/((-4)/h). Let u be 11 - k - 7/(-1). Which is smaller: u or 7?
7
Let g = -463/24244 - 2/551. Let j be (-2 + 2)*(3 - 2). Is j bigger than g?
True
Suppose 2*q + 3 = 9. Suppose 61 = -5*y - 2*x, 4*y = q*y - 5*x - 3. Is y < -14?
False
Let a = -5 + 4.6. Let s be (2 - 1)*5/(25/(-5)). Which is smaller: s or a?
s
Let y be (-3)/2*(-8)/3. Suppose 0 = -y*c - 6 - 10. Let p = c - -6. Which is smaller: p or 0.5?
0.5
Let g(b) = -82*b - 38. Let o be g(6). Is -530 >= o?
True
Let q be -1 + 3 - (0 + (-294)/(-123)). Is q < 0?
True
Let w(f) = f**2 + 2*f - 56. Let o be w(4). Suppose 64 = -2*n + 2*l, 0 = n - 0*l + 5*l + 38. Which is smaller: n or o?
n
Let g = 1601 - 1600. Which is greater: -1159 or g?
g
Let n(l) = -11*l**3 - 2*l + l**2 - 5*l + 7*l. Let r be n(1). Let j = r + 10. Is -2 less than j?
True
Let x be (-285)/90 + 3/18. Is x at most as big as -169?
False
Let g = 32901/3187100 - 9/4396. Which is smaller: -1 or g?
-1
Let w(q) = -q**3 - 15*q**2 + 50*q - 73. Let i be w(-18). Is -2/2271 at most as big as i?
False
Suppose 4*h - 3*h = -3*q + 127, -3*h - 2*q = -346. Which is smaller: 2/5 or h?
2/5
Suppose -4*l = -5*h + 16, 4*l = -h - 4*h - 16. Is h at most as big as 9?
True
Let z(s) = s**3 + 19*s**2 - 5*s - 94. Let j be z(-19). Let x = 2/13 - -7/39. Which is smaller: x or j?
x
Suppose -2*b - 4*g = -0*b + 94, -3*b - 143 = 4*g. Are -51 and b equal?
False
Let p = 8 - 9. Let i = -1437/40 - -174/5. Which is smaller: p or i?
i
Let q be -7 + (0 - (-2 - -4)). Let p(n) = n**3 + 4*n**2 + 4*n + 6. Let r be (-58)/14 - 7/(-49). Let f be p(r). Is q bigger than f?
True
Let r be ((-4)/3)/((-1)/(-3)). Suppose -a = 2*a + 3. Let v be a + -3 + 8/(-4). Which is bigger: v or r?
r
Let t(w) = 12*w + 87. Let y be t(-7). Let o(r) = -r**2 + 2. Let u be o(2). Let f be (-15)/(-1 + u) - 0. Is f <= y?
False
Let w = 0 + 1. Let y be 5/1*(-2 - (-32)/10). Let x be ((-26)/(-741))/(4/y). Which is smaller: x or w?
x
Let x be (-30)/2 + 7 + -4. Let i be ((-9)/(-2))/(6/x). Which is greater: -11 or i?
i
Let v be 10/(-4)*(3 + -1). Let z(c) be the third derivative of c**5/60 + c**4/6 + c**3 + 251*c**2. Let h be z(v). Does h = 11?
True
Let y be 16/6*(7 - 540/80). Which is greater: y or -7.69?
y
Suppose 2*d = -2*u + 42, 3*d - 5*d = -5*u + 105. Suppose 5*l = g - u, -g = -4*l - 5*g - 12. Is l <= -4?
True
Let m = 23 - 19. Let t be m/18 + (-28)/45. Let d = -2.2 + 2. Which is bigger: d or t?
d
Suppose 4*q = 5*j - 0 + 9, -5 = 2*j - 3*q. Which is bigger: -5/18 or j?
-5/18
Let a(r) = r**2 + 8*r - 13. Let z(d) = -d - 4. Let i be z(6). Let q be a(i). Let h = q - 8. Is 11 smaller than h?
False
Suppose p - 12 = -3*k, -4*k + 0*k = 0. Let b = 158 - 155. Suppose c = -b*c - p. Which is bigger: -18/11 or c?
-18/11
Suppose -1 = 6*n - 31. Let f be (-1)/(-3) - (3 - n). Is 1 bigger than f?
False
Let g = -1/21 - 31/231. Is 4/7 at least as big as g?
True
Let x(a) = 2*a**3 - a**2 + 2*a + 3. Let o be x(0). Let r = 19 - 21. Is r bigger than o?
False
Let s be 2*528/(-32)*4/3. Suppose 2*a + 2*v + 94 = 0, 18 - 182 = 4*a - 4*v. Are a and s nonequal?
False
Let m = 15257/7 + -2189. Is -10 at least as big as m?
False
Let x = 15.8 + -15.9. Let m = -398/425 - -24/25. Is m greater than x?
True
Let x be (-48)/9 + 27/81. Is 37 >= x?
True
Let y be (-1)/(-4)*(110/(-26) + 3). Which is greater: y or 14?
14
Let m(z) = -3*z**2 + z + 15. Let k be m(6). Let u = k - -113. Do 26 and u have the same value?
True
Let t(s) = s**2 + 10*s + 7. Let i be t(-7). Let r be (-18)/i - (-2)/(-2). Suppose -2*u + 7 + 7 = 0. Which is smaller: u or r?
r
Let m = 5 - 5. Let z = -907 + 9962/11. Which is smaller: m or z?
z
Let t be ((-9)/(-18) - 1)*(13 + 1). Suppose -18 = -2*p + 3*r, -5*p = -r + 4 - 23. Suppose -5*n + 4*c = 0, -n = p*c - 7*c. Which is smaller: t or n?
t
Let w be 39/18 - 4/24. Suppose -2*s + 4 = 0, 0 = w*n + s + 2*s. Let p be n/(-10)*(-4)/2. Is 1 at most as big as p?
False
Let t(q) = 10*q - 233. Let j be t(20). Does j = -34?
False
Let j be (-14 - -23)/(1/4). Suppose -d - j = -4*d. Is d at most as big as 13?
True
Let u(a) = -5*a**3 - 8*a + 9. Let r be u(1). Which is bigger: 6/13 or r?
6/13
Let g(n) = n**2 - n - 2. Let k be g(4). Let b be (8/k)/(4/(-20)). Let l(f) = 2*f + 2. Let u be l(b). Is 1 <= u?
False
Let y = 7/8 + -33/20. Let h be (-6)/18 - 2/48. Let i = y - h. Do i and 0 have different values?
True
Let w = 10 + -9. Let z = 42 - 30. Let h = z - 16. Is h equal to w?
False
Suppose 0 = -f + 4*f - 2*a - 1, -4 = -2*f - 2*a. Is 15/14 >= f?
True
Let a be (-38)/19 - (-34)/16. Are a and -1/2 nonequal?
True
Let g be 4/6 - 3/(-9). Let m = -2990/6699 + -5/609. Which is greater: g or m?
g
Suppose -4*a = -5*z - 90 + 17, 5*z = a - 22. Suppose -t + 2*i + 3 = 3*i, 3*t - a = i. Do t and 5 have the same value?
True
Let c be -3 + 92/48 + 15/20. Which is bigger: 263 or c?
263
Let q be ((-8)/(-140))/(60/(-25)). Is 0 less than or equal to q?
False
Let t be (4 + -1)/(217547/21758 - 10). Is t bigger than -1978?
False
Suppose 24*a + 1344 = 20*a. Is a < -336?
False
Suppose 2 + 2 = 4*s. Let r be 2 + 110/(-14) + 7. Which is greater: r or s?
r
Suppose 2*p + 3*p + 3*v + 5 = 0, -p + 2*v - 1 = 0. Let u be 4*p/(-8)*2. Let t be 4/4 + u + -2. Which is smaller: t or -2?
-2
Let z = 1783 - 2335. Which is greater: -1654/3 or z?
-1654/3
Let x be -4*(185/140 - 1). Let y = 3 - -1. Let j be -7 + y + 1*2. Is x less than j?
True
Let c = 330/23 + -4182/253. Is c <= -3?
False
Suppose -42*l + 189 = -51*l. Is l at most as big as -11?
True
Let x = -2.59 - -2.46. Is x at least -0.05?
False
Let a = 37 + -36.8. Let v = 0 - a. Is -6 at most as big as v?
True
Let r be (9/(-6))/(2/(-4)). Suppose -27 = -2*q - 5*k, -r = -0*k + 3*k. Are 16 and q non-equal?
False
Let k be 0 + 105/(-99) + 1. Let a = -143 - -143. Is a greater than or equal to k?
True
Let l = 0.521 + 0.119. Is l bigger than 1?
False
Suppose 0*b = -v + 2*b, 2*v - 2*b - 2 = 0. Suppose -4*m + 8*m = 20. Let q be 13/(-26)*(1 - m). Does q = v?
True
Suppose 4*b + 6 = 4*l - 22, -l - 5*b = 17. Suppose 3*p = -l*p + 282. Is 47 at least p?
True
Let d(b) = b**3 + 10*b**2 + 7*b - 10. Let k be d(-9). Suppose 13 = -f + k. Suppose 6*z = -5 - 25. Is z < f?
False
Let c(o) = o**3 - 37*o**2 - 76*o - 79. Let x be c(39). Which is greater: x or -2/2233?
-2/2233
Let z = -1.99 + -0.01. Let b = -35 - -35.25. Let i = -0.2 + b. Which is greater: i or z?
i
Let w = -51 - -28. Let v = w - -26. Which is bigger: v or -5?
v
Let d = 46/7 - 1663/252. Let g be 2*(-12)/96*4. Do g and d have the same value?
False
Let r be -11 + (-13 - -5 - -13). Is r less than or equal to -3.5?
True
Suppose 0 = -a - 4, 5*p = 5*a + 46 - 1. Suppose -5*l = -p - 5. Let f be l - 5 - (-1 + -1). Is f <= -1/3?
True
Let y be (-2 - 0)*3/21. Let h be 6