>= -5?
True
Let a be (10/15*-74)/(5/15). Which is smaller: a or -149?
-149
Let c = -17 - -19. Suppose -3*i + 13 = c*q, -4*i + 2*i + 13 = -3*q. Let u be (-9 - -2)*(q - -2). Is u greater than -6?
False
Suppose -3*g + 11 = 4*b - 0*g, -b + 6 = 4*g. Let n(s) = 6*s. Let p be n(-1). Which is smaller: p or b?
p
Suppose 8*t - 146 = 158. Is 36 bigger than t?
False
Suppose 2*u - 1 - 1 = 0. Let i be (-669)/(-270) + 3/(-6). Let p = 11/5 - i. Is u > p?
True
Suppose -55*a + 8*a + 163 = 1338. Let l be (3 - 30) + -2 + 3. Which is greater: a or l?
a
Let w = 0 + 0. Let c = -368091/28 + 13146. Is w smaller than c?
False
Let p be 160/432*(-18)/15. Are -1 and p equal?
False
Let s = -193 + 157. Is s < -10?
True
Let q be (-1284)/15 - (-10 - 14)/4. Is q <= -80?
False
Suppose 3*p = 6*p + 3. Let l = 2 + -1. Let y be 0 - (l - 66/62). Is y at most as big as p?
False
Let k = 8 + -5. Let y be (-65)/(-4) - k/12. Let z be 28/y - 0/2. Which is smaller: z or 2?
z
Suppose -s - 2*j + 1 = 0, 4*j - 9 = -4*s + j. Let f be (2 - 7) + (-2)/s. Is f at most -5?
True
Let v = 916.2 + -916. Is -4/5 > v?
False
Let a = -1422 - -1413. Which is bigger: a or -16?
a
Let p = 47.0302 + -0.0302. Is p at most 4/21?
False
Suppose 5*m - g + 1550 = -0*g, -4*g = 0. Is -309 >= m?
True
Let a be 1/(2/(-8)*-2). Let l(i) = -i**2 - 4*i + 5. Let d(o) = -o**2 - 5*o + 6. Let b(x) = a*d(x) - 3*l(x). Let f be b(-3). Is -5/3 at least f?
False
Let v = 724 - 725. Which is smaller: v or -43.7?
-43.7
Let k = 0.068 + 0.492. Let v = 0.57 - k. Which is smaller: -0.1 or v?
-0.1
Suppose 0 = 16*t - 8*t - 200. Let o = 3 - t. Is o greater than -22?
False
Let k = 433.192 - -1.808. Which is bigger: k or 0.3?
k
Let g(r) = r**3 - r**2 - 2*r + 6. Let o be g(5). Let h be (-26 + -2)*o/(-14). Let p be h/40 + 1/5. Is 3 greater than or equal to p?
False
Let i be (-6)/34380*5*3. Which is smaller: -1 or i?
-1
Let y(l) be the second derivative of -l**4/12 - 3*l**3 + 7*l**2 - l. Let o be y(-14). Let n be (8/70)/((-196)/o). Is n at least 1?
False
Let y = -82217/5060 - 2/1265. Are y and -16 nonequal?
True
Let i(f) = 23*f - 10. Let k be i(-2). Let y = k + 55. Let g be -2 + 1 + 61/63. Is g <= y?
False
Suppose -5*x + 6 = -2*l - 19, 0 = 3*x - 15. Suppose -s - 7 + 23 = l. Let j be (-15)/(-108) + (-4)/s. Which is smaller: -2 or j?
-2
Let f be 235/35 + 48/21 + -2. Suppose -2*r = -f*r + 35. Suppose 2*a - 9 - 3 = j, 12 = 4*a + 4*j. Which is smaller: a or r?
a
Let q = -18 - -22. Is 5 <= q?
False
Let a be (-29)/(-3)*12/8. Let k = -15 + a. Let x = -1.5 - -2. Is k at least as big as x?
False
Let g = -0.97 - -21.47. Let m = -23 + g. Let o = -3.5 + m. Which is greater: o or 0.1?
0.1
Suppose 2*r + r + 4*i = -157, 3*i = -5*r - 269. Is 12 bigger than r?
True
Let n = 27409714/45815 - -11884/935. Let c = 611 - n. Which is smaller: c or 0?
0
Suppose 5*p - 58 - 42 = 0. Let z be (6 - (3 + 1))/p. Which is smaller: z or 1?
z
Suppose -6*y = -225 + 81. Let p be (12/y)/((-2)/4). Which is smaller: -4/9 or p?
p
Let n = 22 - 11. Suppose -5*a - n + 1 = 0. Let i be a/(-4)*(-2 + 0). Is i smaller than -1/5?
True
Suppose 445 = 3*n + 2*n. Which is smaller: n or 91?
n
Let h be 1463/627 + 6598/6. Which is greater: 1101 or h?
h
Let y = 6 + -114. Let b be -3 + (-285)/y + 0. Let f = 1/9 + b. Is -10/9 >= f?
False
Let t = 526 + -503.9. Let f = 21 - t. Let v = 1 + f. Which is smaller: v or -0.06?
v
Suppose -2*j = -3*v + 19, 0*v + 3*j + 3 = -4*v. Suppose -o + 9*m - 4*m + 45 = 0, -v*o + 135 = -2*m. Which is bigger: 44 or o?
o
Let h be 4*(-6 + 5) - 35. Which is greater: h or -38?
-38
Let g be (0/(-144))/(1*4 + -1). Let k = -154 + 1699/11. Which is smaller: g or k?
g
Let s = -14.6 - -13.83. Let y = 1.97 - 1.9. Let g = s + y. Which is greater: g or 2?
2
Suppose 38*f + 40 = 78. Let k be 3/108*(-20)/2. Are k and f unequal?
True
Let u(o) = -2 + 4*o + 0*o**2 + 4*o**2 + o**3 + 1 + 2*o**2. Let c be u(-5). Suppose c*y = -2*i + 6, -4*i - 1 - 5 = 2*y. Which is smaller: y or 0?
0
Let v be ((-15)/(-63))/(2/6). Suppose 0 = -5*u + w + 147, -5*w - 52 = -4*u + 74. Let a = u + -27. Is v not equal to a?
True
Suppose 5*a + 13 = -3*k, -5 = k + 3*a - a. Suppose -7*w - 3 = -4*w. Let i be (30/5)/(w - 4). Is k less than i?
False
Suppose 0 = -97*b + 88*b + 198. Is 23 at most as big as b?
False
Let u be 109*1 + -9 + (-11 - -18). Does u = 106?
False
Suppose 0 = 6*r - 3*r - 3*z + 15, 0 = 4*z - 20. Let k be (-1113)/(-360) + 9/12. Let o = k - 52/15. Is o > r?
True
Suppose -v = -5*v - 8. Let c(a) = a + 2. Let i be c(v). Let k = 21 + -22. Which is smaller: i or k?
k
Let o be (((-14)/28)/(-1))/((-431)/(-2)). Which is bigger: o or -1?
o
Suppose 79 = -3*j - 0*j + z, -3*j = 3*z + 75. Is j at most as big as -11?
True
Suppose 11*a = -75 + 20. Let u = 5 - -3. Let g be (-2)/a + u/130. Is 0 <= g?
True
Let f(k) be the first derivative of -k**2/2 + 15*k - 1. Let l be (-119)/(-11) - (-14)/77. Let h be f(l). Is h less than 4?
False
Let f(s) = s**3 - 10*s**2 + 9*s + 10. Let u be f(9). Let n = -14 + 24. Is n equal to u?
True
Let y(u) = -u**2 + 7*u + 20. Let m be y(9). Let i(l) = l**3 + 4*l**2 + 2. Let h be i(-4). Does m = h?
True
Let x = 1803 + -1816. Which is bigger: x or -7?
-7
Let a be ((-36)/(-14))/(18/84*1). Let g = 1.25 + -0.85. Which is greater: a or g?
a
Let k = -1.2 + 1. Let w be (-21)/(-5) - (5 - 1). Which is smaller: k or w?
k
Let k = -38642852401/626985507 + -2/10626873. Let x = -185/3 - k. Is x equal to -1?
False
Let y(q) = -q**3 + 9*q**2 - 9*q - 8. Let b be y(7). Let l be b/(-6)*12/(-9). Let o be (2 - (-27)/l) + 0. Which is bigger: 6 or o?
o
Let s be 4 + (-5)/((-15)/(-33)). Let l(q) = -q**3 - 5*q**2 + 13*q - 4. Let x be l(s). Suppose x = -38*w + 35*w. Is -2 > w?
False
Let x(b) = -b**2 - 10*b - 15. Let n be x(-5). Which is smaller: -2 or n?
-2
Let c be 230/336 + 2/(-3). Let r(y) = y**3 - 79*y**2 - 12*y + 947. Let f be r(79). Is c >= f?
True
Suppose -3*v - 117 = 5*g + 6, -5*g = -v + 99. Let m be 3/(-9) - (-122)/(-6). Which is bigger: g or m?
m
Let m be ((-1)/38)/((-21)/(126/(-12))). Which is smaller: 0 or m?
m
Let x = 3.1 - 2.2. Let u = 1 - x. Suppose -2*r = -4*t - 7*r - 16, 0 = -r. Which is smaller: t or u?
t
Let n = 5/2 - 9/4. Suppose t + t - 8 = 0. Let b be (-1)/(-6)*t - (-63)/108. Which is smaller: n or b?
n
Let d be (12/(-88))/(3/(18/69)). Is d <= -1?
False
Let a be (-92)/460 + 2/((-20)/4538). Is -456 less than a?
True
Let n(i) = i**2 + 11*i. Let g = 0 - -20. Let p = g + -31. Let u be n(p). Is 0 not equal to u?
False
Let h be (-2)/2652*(-186)/93. Which is greater: -1 or h?
h
Let y = 14.2879 + 0.0721. Let r = -10.4 + y. Let a = r + 0.04. Which is bigger: a or 0?
a
Let c = -38.05 + 38. Suppose -5*a + 3 = -2, 0 = -4*u + 4*a. Is u less than or equal to c?
False
Let r(f) = f**2 + 40*f - 281. Let m be r(-47). Which is smaller: m or 93/2?
93/2
Let i be -24*((-14)/8 - -1). Let d be i/(-24) + (-12)/(-16). Let y = 129/13 + -10. Is d greater than y?
True
Let g(o) = -o**3 - 11*o**2 + 14*o - 13. Let x be g(-12). Is -38 not equal to x?
True
Let m = 4056 - 1439878/355. Let z be 4/(-14) + 36/28. Is z > m?
True
Suppose -4*h + 12 = 0, -5*p = -10*p - h - 12. Does -1 = p?
False
Let q be (-3144)/(-54) - (32/(-18) - -2). Let p = -57 + q. Is 2/61 at least as big as p?
False
Let v be (41 - (0 + 2))/(216/(-162)). Which is greater: -28 or v?
-28
Let c be (62*(-1)/5)/((-7)/(-5)). Are c and -1 nonequal?
True
Let w(u) = 11*u + 6*u - 15*u - 1. Let f be w(2). Suppose j = 4 - f. Which is smaller: j or 2/19?
2/19
Let k be (-15)/6*(-1)/(6 + 4). Is k smaller than -2/779?
False
Let r be ((-54)/120)/(48/10). Are -0.1 and r equal?
False
Let b = 11 + -13. Let c be (-68)/1120 - b/7. Let o = 2/5 + c. Are 2 and o equal?
False
Let v be ((-90)/(-300))/((-12)/83245). Let w = v - -2085. Which is bigger: w or 5?
5
Suppose 5*k = 2*p - 22, -2*p + 4*k = -16 - 2. Let m = 1/440 + -21/440. Let g = -6/11 - m. Which is smaller: g or p?
g
Let w = 0 - -94. Let m = -93.8 + w. Which is smaller: -1.1 or m?
-1.1
Let w be 15/(-10)*(-19794)/153. Let s = 194 - w. Is 0 != s?
True
Let z = 549 + -562. Suppose 55 = -3*y + 5*l - 12, l = 5. Is z greater than or equal to y?
True
Let n = -2.43 - 6.57. Which is smaller: 2 or n?
n
Suppose 0 = m - 4 - 1. Suppose 12*h = m*h. Suppose 3*o - 5*o = 0. Is o at most as big as h?
True
Let g = -0.0545 - 10.0155. Let c = g - -0.07. Which is greater: