 -24*l. Is l at most 1/10?
False
Let y be ((-4)/3)/(2/(-3)). Let q be (-294)/(-63)*(-12)/(-14). Suppose 4*a + y*z - 2 = 0, 0 = -0*z - 4*z - q. Does a = -2/33?
False
Let t(i) be the first derivative of -i**2 - 7*i - 111. Let u be t(9). Which is smaller: -26 or u?
-26
Let a = 24.61 + -13.61. Let k = -0.0352 - 2.1348. Let h = 0.17 + k. Which is bigger: a or h?
a
Suppose 3564 = -49*d - 5*d. Which is smaller: d or -51?
d
Let s be 7 - (60/(-30) + (-1538)/(-171)). Is s at least as big as 0?
True
Suppose 2*t + 8 = 6*t. Suppose -3*h + t*h + v + 4 = 0, h + 5*v = -8. Let u be (h/(-6))/(2/(-3)). Is -7 <= u?
True
Let s = -0.22238 + -153.77762. Let p be (-4)/6*3/(-8). Is s less than or equal to p?
True
Let n be 2 + 15/(-5) + 3170/13. Let g = 243 - n. Is g less than or equal to 6?
True
Let v = -1147 - 3803. Let z be (4320/v)/((-26)/30 + 1). Which is smaller: z or -6?
z
Suppose 5*s - 5*j - 7 = -2, 4*j = -4*s + 36. Suppose 2*p = -s*u + p + 18, -3*p = u + 2. Let t be u/18 - 740/(-450). Is t equal to 3?
False
Let i(f) be the first derivative of f**5/24 + 11*f**4/6 - 25*f**3/3 + 23. Let u(b) be the third derivative of i(b). Let t be u(-10). Is t equal to -6?
True
Let p = 3 - -2. Let b = 616 + -511. Suppose 98*a = 119*a - b. Is a equal to p?
True
Let u(r) = -r**2 + r - 18. Let s be u(0). Let z(b) = -b**3 + 67*b**2 - 62*b - 286. Let n be z(66). Which is smaller: s or n?
n
Let c = 2407/156 - 592/39. Let g = -3.3 - 18.7. Which is smaller: c or g?
g
Suppose 0 = 68*u - 62*u + 210. Let v be (-15)/u*-2*35/580. Which is smaller: 0 or v?
v
Suppose 3 = g - 4*d + 18, -5*g = 4*d + 3. Let h be (g*4/12)/1. Let y be h*(-5 - -4)*-35. Are y and -34 equal?
False
Let t(v) = -v**3 + 11*v**2 - 28*v + 15. Let f be t(7). Let j be (-1*f/(-25))/((-2)/30). Which is bigger: j or -34?
j
Suppose 10 = -3*o - 5*q, -3*o + q - 2*q = -10. Let p be (-2 + 928/460)*o. Let m(k) = k**2 - 22*k + 40. Let v be m(2). Are v and p unequal?
True
Let v be (-2)/(76/(-230)) + 96/60*-5. Which is smaller: -1 or v?
v
Let c(i) = -i - 5. Let k(n) = n - 6. Let b be k(-4). Let j be c(b). Suppose 4*o = m + 18, j*m + 3*o - o = -2. Is -2 equal to m?
True
Let s = 0.013 + -141.013. Let z = s - -94. Let v = z - -46.6. Which is smaller: v or -1/3?
v
Let t = 59 - 47. Let g = -11.79 + t. Let u = g + 0.09. Which is smaller: 8 or u?
u
Let q be 540/14616 - (0/2)/(-2). Is -1 >= q?
False
Let t(g) = g**2 + 4*g + 3. Let w be t(-2). Let h = -13407 - -13407. Is h at most as big as w?
False
Let d be 8 + 5244/9 + 0. Let k = 590 - d. Which is smaller: k or 34?
k
Let x = 15168647/272 - 55767. Is x >= 0?
True
Suppose 0 = -5*d + 2*f - 15 - 19, -21 = 3*d - f. Let m = 8/2471 - -9812/22239. Which is smaller: d or m?
d
Let r = 8 - 3.9. Let i = r + -6.1. Which is smaller: i or -2/57?
i
Let t(y) = -13*y + 64. Let r be t(5). Let h be (r - 1)*-28*12/96. Is h bigger than 12?
False
Let b = -0.593 - -285.593. Let a = b + -143. Are 2/7 and a non-equal?
True
Let d(i) = 3*i + 10. Let g be (1/(-3))/((-61)/(-549)). Let k be d(g). Is -2/1417 > k?
False
Let q = 27.495 + -0.595. Let k = 1489 + -1516. Let m = k + q. Which is smaller: m or -4/7?
-4/7
Let j(q) = 46*q - 126. Let x be j(2). Which is smaller: -525/16 or x?
x
Suppose -3*u + 275 = 95. Let m = u - 102. Let a be (56/(-21))/(4/m). Which is bigger: a or 27?
a
Let j(i) be the first derivative of i**4/2 + 25*i**3/3 - 13*i**2/2 - 5*i + 26. Let t be j(-13). Let b be -4 - (17/23 + t). Is 1 equal to b?
False
Let o = -7166 - -21493/3. Is 4/53 smaller than o?
False
Let h(r) = 6*r. Let z be h(-12). Let j = -2717 + 2645. Is j at least z?
True
Let j = 154948/8535 + -272/15. Are 0 and j non-equal?
True
Let t = 1 + 28. Let s = 25 - t. Let j be (-1)/s + (-51)/(-68). Which is smaller: 11/6 or j?
j
Let i = 54575503912/18700265 - 4/813055. Let x = -2159 + 5077. Let u = i - x. Which is greater: u or 0?
u
Let b(w) = 2*w**3 - 10*w**2 + 12*w - 2. Let y be b(8). Let j = y + -971/2. Which is bigger: j or -2/23?
-2/23
Let u be ((1 + (0 - 0))*1)/(1091/(-390578)). Which is smaller: -364 or u?
-364
Let u = 1192 - 1234. Let i = 0.26 - 41.26. Let l = i - u. Which is smaller: -1.7 or l?
-1.7
Let z(p) = p**3 + 6*p**2 - p - 29. Let i be z(-5). Is i at most -35/76?
False
Let b(r) be the first derivative of r**4/2 - r**2/2 + 120. Let t be b(1). Which is greater: t or 0.04?
t
Let z(f) = -f**3 + 7*f**2 + 26*f - 4. Let h be z(8). Which is smaller: 136 or h?
136
Let y = -7.31 - -7.41. Is y greater than or equal to 104?
False
Suppose 18 = 12*f - 3*f. Suppose 1 = -3*i + 5*m - 4, 0 = 3*i + 2*m - f. Suppose -2*c = 4*n - 4, -4*c + i*n - 5*n + 17 = 0. Which is smaller: c or 4?
4
Let t = -505 - -530. Let b(v) = -7*v + 174. Let m be b(t). Is -9/38 equal to m?
False
Let s be 1/4 - (-252)/16. Suppose -m = -6*m - 4*r - 9, 4*m + r + s = 0. Suppose 0*d + 2*v - 1 = d, -26 = 5*d - 3*v. Is m not equal to d?
True
Let k be ((9 - 4)/15 + 2)/((-1763)/5289). Let u be 2/7 + 23/(-7). Let n be 17/u - -1 - 1. Which is bigger: k or n?
n
Let r(g) = g + 6. Let v be r(-6). Let i = 1.01 - -12.29. Let s = i - 13.4. Which is greater: v or s?
v
Let x(c) = 8*c**2 - 521*c - 244. Let g be x(66). Is g bigger than 227?
False
Suppose -6*c = 3*k - 17697, 3411 = c + 4*k + 472. Are 2951 and c non-equal?
False
Let a = -9.546 + -1561.194. Let s = 1589 + a. Let i = 0.26 - s. Which is smaller: -2/7 or i?
i
Let t = 461 + -457. Let j(q) = -4*q**2 - 122*q + 40. Let d be j(-31). Is t greater than or equal to d?
True
Let k be (110/20)/(176/3008). Which is greater: 145 or k?
145
Let m be (2 + (-3 - 1) - -1) + 0. Let x(f) = 2*f**2 - 7*f - 6. Let g be x(m). Let r be g + (-5 - (-1 + 0)). Are r and -4/51 unequal?
True
Let w be ((-23)/(-8))/((2/5)/((-11)/(-110))). Which is smaller: 1 or w?
w
Let m be 14/3 + (-1)/(-3). Let w be (1 - (-2)/(-6)) + (1387778/3234)/119. Is m bigger than w?
True
Let c = -7243 + 14011. Let k be (4*(-81)/c)/((-3)/(-8)). Which is smaller: 0 or k?
k
Let c be (3 - 6)/(49/(-441)). Is 47 at least c?
True
Let o = -9 - -4. Let s = -16 + 15.6. Let a = 1.4 + s. Which is greater: a or o?
a
Let b be (-2016)/15*(9 - (84 - -10)). Is b not equal to 11425?
True
Suppose -2*k - 1642 = -5*k + 2*l, 0 = -5*k - 5*l + 2770. Suppose -2356 + k = 7*i. Is i at least -258?
True
Let r(t) = -t**3 + 8*t**2 - 19*t + 12. Let b be r(4). Let d be (-3)/(-27)*1/1. Are d and b non-equal?
True
Let t = 17 - 26. Let y(q) = -q**3 - 7*q**2 + 3*q - 36. Let z be y(-8). Suppose 0 = -4*h + z*g, 2*g + 18 = 2*h + 6*g. Is t greater than h?
False
Let s be 6410/(-24)*(-334)/(-47). Let v = -1898 - s. Which is bigger: v or -1?
v
Let b = -22.4 - -22.362. Let m = 0.138 + b. Is m at least as big as -101?
True
Let g = 3.93 - 2.58. Let i = g - 2.35. Is -3/28 >= i?
True
Let g = 1159 - -1556. Is g <= 2716?
True
Let g = -647 + 649. Let m = -2.443 - -0.043. Which is greater: g or m?
g
Let p be 6/13*(110/(-363) + 0). Which is bigger: -2 or p?
p
Let i be 10/(-15)*(-140)/100. Which is bigger: i or 2?
2
Suppose -121 - 63 - 110 = -6*c. Are -36 and c unequal?
True
Let v = 83771/2068480 + 45/4096. Is v at most as big as 1?
True
Suppose -20*r + 8*r = 4200. Let l be ((-760)/r)/((-2)/(-5)). Which is smaller: 6 or l?
l
Let k be 2/(-10) + 78/15. Suppose k*f - 355 - 395 = 0. Let g be (-5)/f*-3*-14. Is g bigger than -2?
True
Let u = -16955 + 16954. Which is bigger: u or -2/4297?
-2/4297
Suppose 1925*b - 1933*b = -24. Let d(k) = k - 6. Suppose 0 = -3*z - 3*c - 0*c + 30, -50 = -5*z - 4*c. Let s be d(z). Is s equal to b?
False
Suppose 4*d + 3 = 5*y + 7*d, 5*y - 4*d = -4. Suppose 5*j - m + 5*m + 506 = 0, -j - 3*m - 99 = y. Is j at least -102?
True
Let z be 2 - (1 + 1 + 21 - 2). Let r be (1/((-1)/(-29)))/(5 + -4). Let t = r + -48. Is t greater than z?
False
Suppose -20*m - 1950 - 2810 = 0. Which is smaller: -951/4 or m?
m
Suppose -4*y + 3*r = 10, y = 63*r - 67*r + 7. Is y > -2/2037?
False
Let l = 1/1937 - -3777/187889. Let f = 454 - 408. Suppose f*j + 8 = 38*j. Which is bigger: l or j?
l
Suppose -f + 998 = o, -5*o + 1 = -34. Is f smaller than 998?
True
Let n = -3.72 - -3.69. Suppose -5*r + 102 = -93. Let y be ((-2)/4)/(r/(-12)). Which is greater: n or y?
y
Let j = 356 - 347. Let x be 12/(-32) + j/24. Which is bigger: x or -9?
x
Suppose -55*s - 1421 = -2*g - 50*s, 688 = g + 2*s. Is g > 698?
False
Let t = -285.7 - -56.7. Which is bigger: t or -1/5?
-1