 at most as big as c?
False
Suppose 0 = -6*q - 78 + 120. Suppose 46 + 8 = 9*l. Which is smaller: l or q?
l
Let k(z) = -9*z**3 + 21*z**2 - 3. Let j(c) = 4*c**3 - 11*c**2 + 2. Let q(g) = -7*j(g) - 3*k(g). Let f be q(14). Which is smaller: f or -58/13?
f
Suppose 65*t = -73*t + 114*t + 24. Which is smaller: -61/375 or t?
-61/375
Let r = -109487/4 - -27372. Is -602/11 <= r?
True
Suppose -25*l + 5*l = -840. Is 11/3 > l?
False
Let j = -38.7 + 22.7. Let a = -52/15 - -14/3. Which is smaller: j or a?
j
Let j(s) = -s**3 - s**2 - s - 2. Let v be j(0). Let a be ((-5)/3)/((-22)/66). Let h be 10/(0 + (a - 8)). Is v > h?
True
Let l = -6111 + 6239. Is 4 less than l?
True
Suppose 0 = 2*u + 2 - 0. Let z = 146 + -145. Let l be (-767)/(-590) - (z - 0). Is u less than l?
True
Let n = 83416 - 1287442547/15434. Is n at least as big as 1?
False
Let f = -29.4 + -356.6. Let k = f + 396.2. Which is greater: 2 or k?
k
Let o(m) = -2*m**2 - 58*m - 1546. Let c be o(-24). Is -1307 equal to c?
False
Let o = 2000932124168/1673 + -1196014473. Let p = -10212 - -71111/7. Let t = o - p. Which is bigger: t or 0?
0
Let u be (-2849)/(-385) + (-2)/(-4) + 14/(-4). Let g = -2.37 - -2.3. Which is smaller: g or u?
g
Let r = -953 - -1644. Let i = r - 761. Is i greater than -68?
False
Let l = 6136 - 6004. Is l smaller than -0.6?
False
Suppose -4*w - 67 = -79. Let n be (4/(-10))/((54*5)/w). Is n < -1?
False
Let q(s) = 2*s**2 - 23*s + 7. Let m = 23 - 12. Let j be q(m). Let b be (-90)/392 + (-1)/j. Which is smaller: 1 or b?
b
Let s = 11630365/888171 - 1794/137. Which is bigger: s or 1?
1
Let i(b) = b**3 + 5*b**2 + 2*b - 2. Let u be i(-4). Let a be u/(-15) - (-54)/(-15). Let w = -705795/274484 - 3/39212. Which is smaller: w or a?
a
Let h be 18*1*(-1)/(-2). Let b be 396/24 - 210/84. Is h at most as big as b?
True
Suppose 122*c + 21 = 129*c. Suppose -c*z = 20 - 23. Which is greater: 88 or z?
88
Let o be (44084/(-642))/(14/3). Which is smaller: o or -14?
o
Let f = 658759/439166 - 5/219583. Let y = 313 - 161. Which is smaller: f or y?
f
Let w(z) = -z + 6. Let f be w(5). Suppose 9*t = 7*t - 5*m + 2, t + 4*m = 4. Let o be (-3)/(-1) - t*(-28)/49. Which is bigger: f or o?
f
Let x be ((-5136)/54)/(-4) + 4/18. Suppose -4*h + 7*h - x = 3*c, 3*c + 16 = h. Let z = c - -10/3. Which is smaller: 4 or z?
z
Let s(k) = k**3 - 27*k**2 + 32*k + 18. Let h be s(27). Which is smaller: 883 or h?
h
Let p(f) be the third derivative of -f**5/60 + 38*f**3/3 - 14*f**2. Let h be p(0). Let g = 1445/19 - h. Is g at most 1?
True
Let i(o) = 11*o**3 + 29*o**2 - 9*o + 8. Let w be i(-3). Is w < -16/223?
True
Let g = -199 - 2820. Which is smaller: g or -3020?
-3020
Let c be 2109/(-45) + 3 + (-4)/30. Let f be (-1298)/28 + 66/44. Which is bigger: c or f?
c
Let k = -901 - -366. Let w = -521 - k. Let z be (-1)/(-4) + 177/12. Which is smaller: w or z?
w
Let c = -28 + 14. Suppose 5*u = -5*l - 30, l = -5*u + 10 - 20. Let o = u - c. Is 14 equal to o?
False
Let n be (-1 - (-115)/33)/(-1 + (-735)/63). Does -1 = n?
False
Let x(p) = -22*p**3 + 14*p**2 - 31*p. Let b(q) = -10*q**3 + 6*q**2 - 15*q. Let m(j) = 13*b(j) - 6*x(j). Let n be m(4). Which is smaller: n or 0.3?
n
Let h(z) = -z**2 + z + 3. Let s be h(3). Let u = 23 - 19. Suppose -4*k + 8 = -u*f - 8, 3*f = -k - 4. Is f smaller than s?
False
Let y = 260 - 42. Let v = 194 - y. Let b = 3 - 2.8. Is b greater than or equal to v?
True
Let d = 62.2 + -44.1. Let b = 18.2 - d. Is -3/20 at least as big as b?
False
Let f(u) = u + 25. Let c be f(-10). Let h = c + -47/3. Let k = 20.3 - 35.3. Which is greater: h or k?
h
Let j = 117 - 126. Let l(k) be the first derivative of -k**2/2 + 2*k - 1. Let m be l(11). Is j greater than m?
False
Let h(r) = -2*r**3 + 4*r**2 - 3*r - 1. Let p be h(3). Let v be ((-2)/p)/((-4)/(-14))*2. Let l = 0.05 - 0.08. Which is greater: l or v?
v
Let i = 3668 - 3731. Is i greater than -83?
True
Suppose 0 = k + 3*a + 2, 0*a + 4*a - 1 = -5*k. Let x be (90/105)/((-34)/(-14)). Is x smaller than k?
True
Let r(j) = j**2 - 3*j + 6. Let v be r(5). Let d be -2 + 0 - (v/4 - 5). Let x = -32 - -31. Is x less than or equal to d?
True
Let n = -8351.65 - -8380. Is 2 bigger than n?
False
Suppose -11*h = -13*h + 5*w - 2652, w + 4 = 0. Is h greater than -1336?
False
Let i(y) = y**3 + 108*y**2 - 215*y + 579. Let c be i(-110). Is c less than -125?
False
Let v be 2 + -2 + 0 + 0. Let a = -1259814/13 + 96910. Which is smaller: v or a?
v
Suppose -2*j + 14 - 2 = 0. Let s be -2*10/(-7) + j/42. Let t be (4/(-164))/(s/9). Is t less than or equal to 1?
True
Let g = 2008/118449 + -2/2889. Suppose -5*l + 67 = 52. Suppose 2*a = c + l*c - 4, -2*a - 4 = -5*c. Is c bigger than g?
False
Let u be 146/(-4)*8 + 16 + -18. Let c be ((-7)/(u/(-24)))/((-3)/30). Which is smaller: c or 6?
c
Suppose -17 = -5*k - 2, -3*c - 5*k = -7743. Which is smaller: 2580 or c?
c
Let o = 30183464/171 + -176511. Let a be 142/(-399) - (-4)/14. Let s = o - a. Which is smaller: s or 2?
s
Let x be (-2 + 4)*(-1 - -2). Suppose -12*l - 27 = 333. Let r be l/(-42) + (-1)/7. Is r greater than x?
False
Let w = 2844 - 2001. Let v = w - 650. Is 193 at least v?
True
Suppose 3*f - 4*f = -5. Let a be -596 + -14 + (1 - -1). Let i be 2/16 + ((-1060)/a)/f. Is i at least -1?
True
Let x be (-3177)/27 + (-2 - 1)/9. Let y = x + 1063/9. Is -1/6 at most y?
True
Suppose 156*w + 8204 = 28640. Is 131 less than w?
False
Let l(i) be the first derivative of 7*i**3/3 - 3*i**2 + 6*i + 49. Let t be l(1). Are t and 10 unequal?
True
Let i(l) = l**3 - 7*l**2 + 7*l - 3. Let r be i(6). Let k be (4/8)/(r/12). Suppose 3*f = 4*v - 114, -k*f - 83 = -3*v - 2*v. Is f < 2/5?
True
Suppose 0 = 6*g + 2*d - 1208, 9*d = 5*d + 4. Which is greater: 1820/9 or g?
1820/9
Suppose 8*y - 3*r - 406 = 3*y, -4*y + 322 = -r. Suppose k - 4*v + y = 0, -2*k - 3*v = 2*k + 320. Which is smaller: -78 or k?
k
Suppose 11*q + 2*y - 216 = 0, -54 = -4*q + 51*y - 49*y. Which is greater: 202 or q?
202
Let y = -8293 - -4187967/505. Let o be 3 + -3 + 3 + -4. Do y and o have different values?
True
Let m(y) = 4*y + 82. Let z be m(-19). Suppose 3*d = -3*s - 99, -z*d + 5*s - 125 = -d. Which is smaller: -3 or d?
d
Suppose 5*c = 2*f, -46*f + 5*c = -41*f + 15. Let p = 1 + -2. Let v be (-9)/(p/2*-2). Do f and v have different values?
True
Let x be 1/(-3) + 182/78. Suppose 0 = x*u - 4 - 18. Are 13 and u nonequal?
True
Suppose 81*k - 15 = 78*k. Suppose -5*d + 167 = -2*y - 147, -3*y + k*d - 481 = 0. Which is bigger: -165 or y?
-165
Let p = -19.069 - -22.18. Which is smaller: -1 or p?
-1
Let g be ((-328)/3 - 0) + 34/(-51). Let h = g - 154. Let k be 4/10 - h/15. Which is bigger: k or 17?
k
Let l = 1634/3 + -6539/12. Is 1069/5 > l?
True
Let x be 15/(-1 + (-6)/4 + 3). Let t be (24/(-5))/((-9)/x). Let f(j) = j + 13. Let l be f(-8). Which is bigger: t or l?
t
Let a = -0.755 - 89.245. Do 4 and a have different values?
True
Let g = 13404 - 14858. Which is bigger: -1453 or g?
-1453
Let g = 4729 - 4751. Is -519/23 <= g?
True
Let z = 10733905/227 - 47286. Is z != 0?
True
Let a(o) = -35*o**2 + 2*o - 10. Let b(r) = -r**2 - r + 2. Let y(u) = -a(u) - 4*b(u). Let k be y(-1). Which is bigger: k or 38?
k
Let h(c) = -89*c - 2184. Let s be h(-26). Is s greater than 131?
False
Let b be (228/(-38))/(((-272)/19)/(-4)). Is -1 at most b?
False
Let g be ((-7)/2 + 2)/(15/30). Which is smaller: 265 or g?
g
Suppose 4*u - u + 4*z + 444 = 0, -4*u - 592 = -3*z. Let t be ((-1)/(-6))/(37/u). Are -11 and t non-equal?
True
Let t(g) = 233*g - 1852. Let o be t(8). Which is bigger: o or 14?
14
Suppose 7*n - 324 + 58 = 0. Suppose 5*h = 1 - 11, n = -4*m + 3*h. Let t = -96 - -89. Is t bigger than m?
True
Suppose 40*f + 37 - 77 = 0. Are 1/6409 and f nonequal?
True
Suppose 66*k = -4588 + 12244. Is 1284/11 < k?
False
Let m = 10 - -34. Let f be m/(-6)*1/((-2)/6). Suppose -5*y - 86 - 6 = -4*d, 4*d - 92 = -5*y. Which is smaller: d or f?
f
Let t = 1756.855 - 1767. Let u = t - 0.055. Let r = 82.2 + u. Is r bigger than -2/3?
True
Let u = 0.04562 + -0.44562. Is -10/51 bigger than u?
True
Let s be (-3 + (-517)/(-173))/((-6)/(-48273)). Let f = s + 93. Let y = -2038/3287 + f. Is 0 at most y?
False
Suppose z - i = -5*i, -3*i - 26 = 4*z. Let x be (-3)/(z + (-7 - -12)). Do x and -1 have different values?
True
Let g = 76 - 101. Let b be 690/g + 7/((-70)/4). Let r be ((-1)/43)/(b/84). 