759/7 - -26251. Which is bigger: -102.5 or x?
x
Let g be (-28)/322 + (16610/46 - (-2 - 1)). Is 363 bigger than g?
False
Let f(r) = 376*r - 4889. Let o be f(13). Which is smaller: 5/1194 or o?
o
Let l be (-52)/155 + 2/5. Let n(k) = 67*k - 1073. Let h be n(16). Is l greater than or equal to h?
True
Suppose 5*w = -0 + 15. Suppose -w*m + 5 = -2*m, -4*z = -4*m. Let t = z + -1. Which is smaller: t or 14/5?
14/5
Let k be 0 - ((-55)/32 + 2). Suppose -9*i + 12*i = -2*s + 19, 0 = 4*i - 3*s + 20. Which is smaller: k or i?
k
Let f = -455.8879 - 0.1121. Let d = 427 + f. Is d < -1/7?
True
Let n = -937099/45490 + 1/9098. Let q(f) = -2*f**2 - 3*f - 2. Let t be q(-4). Which is bigger: t or n?
n
Let u(j) = 31*j + 25. Let l(t) = 16*t + 13. Let s(q) = 5*l(q) - 3*u(q). Let k be s(5). Let m = k - -1723/23. Which is smaller: -1 or m?
-1
Let f = -0.036 + -5.164. Let u = f - -5.3. Let g = 71 - 65. Which is smaller: g or u?
u
Let b = 710.1 - 664. Let p = b + -46. Is p smaller than 21?
True
Suppose -2*r + 4480 = 3*i, 14*r = 2*i + 12601 + 18897. Which is smaller: 2250 or r?
r
Let w(c) be the third derivative of -c**5/15 + 5*c**4/24 + 11*c**3/6 + 30*c**2. Let l be w(-3). Let p be ((-48)/(-20)*2)/((-6)/l). Is 30 at least as big as p?
False
Suppose 0 = -16*s - 11478 + 31302. Suppose -447*m + 450*m - s = 0. Is m greater than or equal to 414?
False
Let q(x) = 2*x + 14. Let p be q(3). Suppose y - 2*f = 572 - 150, 5*f = -p. Let h be 0 + 5 - y/66. Which is smaller: -1 or h?
h
Suppose -2*l = 2, -62*l - 262 = -2*h - 60*l. Suppose -152 = -0*z - z. Let u = z - h. Is 21 at least as big as u?
False
Suppose -21*o + 2*x - 16 = -18*o, 6*o = 2*x - 40. Is o at least as big as -173/21?
True
Let b = -3523 - -3524. Is 2/1311 at least b?
False
Suppose 182*j = 201*j - 1900. Let f be (4/(-10))/(80/j). Which is greater: f or -2/97?
-2/97
Suppose 3*x + 5*r = -79 - 12, 2*x = 3*r - 48. Let f(v) = v**2 - 23*v - 25. Let q be f(23). Which is greater: q or x?
q
Suppose 17*o - 62 = 19*o. Let f be 6 + 0 + (6 - 5)*-3. Suppose -3*b + 7*b - 4 = m, -f = 5*m - 3*b. Is m < o?
False
Let k = 89041789/3421 + -26028. Which is bigger: k or 0?
k
Let f be ((-760279)/108615 + 7)/(1/(-6)). Which is smaller: f or 1?
f
Let m(j) = 9*j - 9. Let o be m(-4). Let r = o - -74. Let l = -0.887 - 0.113. Which is smaller: r or l?
l
Suppose -6*l = 8 - 26. Suppose 0 = -l*z - 3*a - 6, 6 = -z - 3*a. Let u be (1/4)/(-8 + 9). Which is smaller: u or z?
z
Let u = 7655 - 30619/4. Is u > -13.66?
True
Let z(q) = -4*q - 62. Suppose 0 = 5*g + 4*v + 57, -g - 2*v = 10 - 1. Let i be z(g). Let h(p) = p**3 + 10*p**2 - p - 10. Let n be h(i). Which is bigger: 2 or n?
2
Suppose -2*f = 89 + 145. Let m = -113 - f. Let g = -7 - -9. Which is smaller: g or m?
g
Let x = -28223/10 + 2825. Let l = 169/70 - x. Which is greater: -8.7 or l?
l
Let u = 62 + -88. Is u equal to -19?
False
Let s(a) = -a**3 + 4*a**2 - 3*a + 1. Let y be s(2). Let o(w) = 27*w - 60. Let g be o(0). Let c be y/100*g/(-144). Which is greater: -1 or c?
c
Let p = -6392 - -6913. Is p bigger than 3656/7?
False
Let j = -8029 + 8027. Is j <= 0.3003?
True
Let p be -2 + ((-3492)/(-56))/(22200/756). Let y = -1289/3 + 128933/300. Let f = y - p. Are f and 1 unequal?
True
Suppose 0 = 2*m + 4*v + 12, 4*m - 5*v + 17 = 45. Suppose -3 + 6 = r + m*c, -11 = 5*r - 3*c. Which is smaller: r or -2/445?
r
Let p(n) = -n**2 + 35*n + 4. Let w be p(-7). Let s = w + 290. Which is smaller: s or 2.5?
s
Suppose 3*r + 2*j - 12 = 0, -5*r + 3 = 2*j - 13. Suppose -4*k + 0*a + a + 148 = 0, 4*a - 54 = -k. Let g = 29 - k. Which is smaller: r or g?
g
Let w = 2.427 + -0.087. Which is greater: 0 or w?
w
Let f = 4681.5 - 4679. Is f equal to -12?
False
Suppose -2*z = -4*x + 1502, 8*z = 4*z - 4*x - 2968. Which is smaller: z or -743?
z
Let o = -31998/29 + 3310/3. Which is smaller: -5/6 or o?
-5/6
Suppose -16*q + 4 = 20. Let i(s) = s**2 - 4*s - 15. Let m be i(5). Let z be -2*(m/115)/(-2). Is z > q?
True
Let u = 176.6929 - 2.6029. Let n = -174 + u. Is 7 at least n?
True
Suppose -106 + 161 - 96 = -41*f. Let k = -127/3534 - -3/38. Which is smaller: f or k?
k
Let a be (-1 + 11)*3/3. Suppose 5*r = 25 - a. Suppose 0 = -3*d - 4*c + 15, 7*c = 12*c + 15. Is d equal to r?
False
Suppose 6*i - 53 = 91. Let o be (-10)/15 - (-28)/(-3). Let a be (-4 + 2 - 0) + i/o. Which is smaller: -5 or a?
-5
Let y = -223173/13 - -17197. Are y and 30 unequal?
True
Let r be ((-48)/(-64))/((-21)/(-40))*133. Let c be (-6)/39 + r/390. Let g be 27/28 - (-6)/21. Is g at most c?
False
Let h be 4/(-1) - 0*(-4)/(-12). Let m be h*1/6 + (-25)/(-15). Which is bigger: m or -1/186?
m
Let n be (-96)/(-36) + (-96)/9. Let q be ((-2)/712)/((n - -3)/30). Which is smaller: -1 or q?
-1
Let h = -12063 - -12057. Which is greater: 227 or h?
227
Let u(x) be the second derivative of 20*x + 0 + 1/3*x**3 + 0*x**2 - 1/2*x**4. Let d be u(2). Which is bigger: 0 or d?
0
Let t be 15 - 162/(-480)*-44. Which is smaller: t or -21?
-21
Let a = -50 + 30. Let j(y) = y**3 - 7*y**2 + 11*y + 4. Let i be j(5). Let k(f) = f**3 - 8*f**2 - 9*f - 19. Let u be k(i). Which is smaller: a or u?
a
Let k = -15.779 + 16. Let f(j) = -j**3 - 17*j**2 - 4*j - 70. Let u be f(-17). Which is smaller: u or k?
u
Suppose 4*a - 3 = 301. Let d be 66/a - (-1)/(-2). Let t = d + -11/133. Is 0.021 at least as big as t?
False
Let j = 1943.5868 - 1943.4. Which is smaller: 1 or j?
j
Suppose 76 = -11*r - 1. Let t be r*11/((-1001)/(-6)). Let x = 166/247 + t. Which is greater: -1 or x?
x
Suppose 0 = 4*j + 59*j + 45*j + 216. Is j equal to -1/1956?
False
Let r be 264/(-20) - (-16)/(-20). Let l(n) be the third derivative of -n**6/120 - n**5/12 + n**4/3 - 2*n**3/3 - 8*n**2. Let o be l(-6). Is o <= r?
True
Let k = -43.84 - -44. Let c = -0.14 - k. Is c at least 11?
False
Let l = 68761106/999 + -206491/3. Let v = -10/27 - l. Is v at least -1?
True
Let k(j) = 33*j + 859. Let f be k(-26). Which is bigger: f or -2/5515?
f
Let z be (-2137887)/133623 + 32/2. Is 0 < z?
True
Let l(o) = -4*o - 55. Let f be l(-13). Let c be (f - (-87)/15)/(2/(-10)). Is c greater than -13?
False
Let d = -1040 + 1040.02. Are 1 and d equal?
False
Let k = -0.704 - -34.704. Suppose -3*h = 2*h + 5, -4*h + 21 = -5*a. Let c = 6 + a. Which is bigger: k or c?
k
Let u = -2325 - -2325. Are 42/59 and u equal?
False
Let m = 287 - 284. Let h(j) = -2*j**2 + 3*j + 9. Let i be h(m). Is i > 1/27?
False
Let b be (-6 + (-45)/(-6))*4. Let c = 22 - 14. Suppose b*q - c*q = 22. Is q less than -13?
False
Let k be 9152/300*(-1467)/652. Is k at least -69?
True
Let z = -53736032/369 + 145626. Which is bigger: z or 0?
0
Let m = -138201/74 + 1360166959/728382. Let v = -22/193 + m. Is v less than -1?
False
Let g(x) = -x**3 - 6*x**2 - 2*x + 4. Let j(l) = -4*l + 0 + 10 + 0*l - 2*l - l**2. Let w be j(2). Let d be g(w). Is 15 less than or equal to d?
True
Let j = 529328/39 - 13574. Is j greater than -2?
True
Let m = -95959/6426 - -507/34. Which is bigger: m or 1?
1
Let y be 59/((-767)/(-18798))*1/26. Is y smaller than 56?
True
Let h be (-1)/(-2) + (-6813)/(-18) + -1. Let r = -168 + 545. Is r at most h?
True
Suppose 2*r + 2*b - 42 = 0, -93 = -3*r - 2*b + 5*b. Let s be (-1 - -3)*(-2260)/(-40). Suppose 4*c - s = -u + 6*u, 4*c = -u + 107. Which is smaller: c or r?
r
Suppose 26*k - 3393 = 11583. Let g be 6/9*(-918)/k. Is -1 > g?
True
Suppose 0 = 5*z - 10, -7*q + 5*z + 2386 + 2147 = 0. Is 643 greater than q?
False
Let z(l) = -l**3 + 11*l**2 - 25*l + 10. Suppose 5*f - 37 = 3*x, -f + 9 = -x + 2. Let v be z(f). Suppose 12 = -u + v*j - 3, -3*j = -6. Is -9 at least u?
True
Let a be (-1 - 0 - -1) + (-361)/133 + 1. Suppose r = -0*r + 3, 4*r = n + 5. Is n > a?
True
Suppose 10*v - 80 = 5*v. Let m be 42*2*4/v. Are 99/5 and m equal?
False
Let r be (-21)/14*100/7065*-3. Is r at least as big as 0?
True
Suppose 4*o + 48 = 4*c, 0 = 2*c - 12 + 6. Let b = -9 - o. Which is smaller: 12/37 or b?
b
Suppose 3*q = 2*q - 3. Let d be (-32)/(576/45) - (-453)/186. Is q at least as big as d?
False
Let c = -0.2097 - -0.2097. Which is bigger: c or 2/55?
2/55
Suppose 2*t - 5*n - 128 = -105, -t = 2*n + 11. Let r = 15227 - 137582/9. Let g = 60 + r. Which is smaller: g or t?
t
Let t = 10082 - 10045. Which is smaller: t or -2/1099?
-2/1099
Let m = 5/66 - 53/264. Let b = -87/292 - 215/12264. Let j = 1/56 - b. Which is greater: m or j?
j
Let u =