 + 2916. Let t be -4 + 14/(252/o). Which is smaller: -0.59 or t?
-0.59
Suppose 2*l = l - 3, -2*a = -3*l + 33. Let f(q) = 3*q**2 + 62*q - 25. Let m be f(a). Let z be 1/2*26/(-4). Is m >= z?
False
Let q(k) = 2608*k**2 - k + 5. Let r be q(1). Which is greater: 2613 or r?
2613
Suppose 0 = -2*z - 2*d - 2752, 0 = 6*z - 4*z - 3*d + 2772. Let c be (-2538)/z + (-3)/30. Which is smaller: 3 or c?
c
Let m(l) = l**2 - 45*l + 350. Let k be m(11). Let b be (-2)/(-4) - 53/(-2). Let p = -52 + b. Is p <= k?
True
Let v = -71711/72 + 996. Suppose -189*q + 146 + 48 = 5. Is v at most as big as q?
True
Let z(w) = 953*w - 252. Let u be z(-1). Are u and -1205 non-equal?
False
Let k be ((-8)/44)/((-36)/99). Let s be -1 + (588/16)/1. Which is greater: s or k?
s
Let u(d) = d**3 - d**2 - d - 1. Let z be u(-1). Let v be (480/(-2475) + (0 - z))*-6. Let x = 51/5 + v. Is 0 >= x?
True
Suppose 2*k = 31*m - 35*m + 32, 3*k - 70 = 5*m. Suppose -2*u = -4*l + 34, -19*u = -k*u + 5. Which is bigger: l or -0.17?
l
Let n = -7541 + 7541.2. Is 117/11 at least as big as n?
True
Let z be 2/13 - 48492/(-156). Suppose 13*d - z + 766 = 0. Which is smaller: -2 or d?
d
Suppose -4215 = -7*n + 5*n + 7*s, -n - 4*s + 2160 = 0. Is n > 2134?
False
Let k be -4 + (-1 - -5 - -1). Let s be k/2 + (3/10 - 0). Is 1 less than or equal to s?
False
Let q be (-4)/(-2)*(-144)/(-352). Is q < 1?
True
Let i = -53.02 + 17.92. Is i < 2?
True
Let b = 409 + 131. Let p be b/72 + 0 + (-6)/4. Are p and 12 nonequal?
True
Suppose -j = -s - 8, -4*j - 2*s + 8 = -0*s. Let u be 5/(-15) + (-2)/24*-4. Suppose -5*v + u = -5. Is v <= j?
True
Suppose -a = -5*h - 1219 - 685, -4*a = h - 7490. Is 1874 smaller than a?
False
Let y = -2197 - -6637/3. Do y and 28/5 have the same value?
False
Let s = -10199 + 10337. Is 14 != s?
True
Let u = -12906 + 12894. Which is smaller: -0.09 or u?
u
Let v(z) = -z**3 + 6*z**2 + 2*z - 7. Let h(p) = 5*p**3 - 30*p**2 - 10*p + 35. Let o(k) = -2*h(k) - 11*v(k). Let t be o(6). Are t and -5 non-equal?
False
Let a = 163 + -38. Let i be -1 + a*(2 - (-735)/(-369)). Which is smaller: i or 0?
0
Suppose 1674*u + 9924 = 1672*u + 2072. Are -3928 and u nonequal?
True
Suppose -5*z = 3*n - n - 34, 0 = -n + 2. Let k(y) = 5*y + 90. Let b be k(-14). Suppose 0 = -9*a + 5*a + b. Which is bigger: z or a?
z
Let o be (2/896)/(3/18). Let s be 1*19 - (-60552)/(-3364). Which is smaller: o or s?
o
Suppose 14 = 4*j - t, -5*j - 13*t = -8*t - 30. Let m be j/4 - (13 + -13). Let o be -1 + ((-104)/(-110) - 0). Which is bigger: o or m?
m
Let g be (6 + 2)/((36/5)/((-4)/(-10))). Is g smaller than 34?
True
Let n be 19*(5 - (7/(-28))/(4/(-64))). Is n <= 47?
True
Suppose 4*q + 3*j + 620 = 6*q, 0 = 3*q + j - 952. Let b = -331 + q. Let v = -20 - -3. Is b at least as big as v?
True
Let c(h) = 3*h - 1. Let y be c(-1). Let s = 44 + -72. Let k = 22 + s. Which is smaller: y or k?
k
Let g(f) = 29*f**2 - f**3 + 34*f**2 + f + 31*f**2 - 97*f**2 + 3. Let x be g(-3). Which is greater: x or -4/99?
x
Let p = 6601 - 6569. Which is greater: -2 or p?
p
Suppose 2*a + 43 = 19. Let n be 22 - -2*(a/(-8) - 3). Let x be 183/9 - 2/6. Which is greater: n or x?
x
Let q(c) = -17*c - 2. Suppose 4*z - 9 + 5 = 0. Let w be q(z). Is -21 at most w?
True
Let q = 955764143/8208 - 116443. Is q less than or equal to 1?
True
Let p(a) = a**2 - 19*a - 289. Let x be p(23). Do x and -199 have the same value?
False
Let u be ((-40)/12 + 4)*(-99)/6. Let n(k) = 2*k**2 + 23*k + 13. Let m be n(u). Suppose -15 = 5*d - m*d. Which is smaller: -11/3 or d?
d
Let m be ((-28)/8 + 1)*(4 - 40). Suppose v - 3*g + 0*g = -97, 0 = -2*v + 4*g - 184. Let y = v + m. Is y smaller than 33/5?
False
Let v(j) = 4*j**2 - 31*j + 31. Let s be v(1). Suppose s*i - 2 = 5*u + 122, -4*u + 36 = 2*i. Is i bigger than 25?
True
Suppose 41*k - 87*k - 1593 = -37*k. Which is smaller: -174 or k?
k
Let y = 4868 + -4899.051. Let f = 0.051 + y. Let o(k) = -k**3 + 2*k**2 + 6*k - 11. Let q be o(2). Which is smaller: f or q?
f
Let u(d) = -2*d**2 - 6*d + 1. Let k be u(-4). Let q be 3/k + 816/(-56). Is -12 equal to q?
False
Let x = -570 + 553. Let b(w) = w**3 + 21*w**2 + 70*w + 25. Let d be b(x). Which is smaller: 0.03 or d?
d
Let o = 47/76 + -26/19. Let u = -0.01 - 13.99. Let q = u - -10. Is o equal to q?
False
Let y(k) = -k**3 + 4*k**2 + 19*k - 63. Let l be y(5). Is l smaller than 40/7?
False
Let h be ((-208)/157482)/(16/24). Which is smaller: h or 0?
h
Let f be ((-340)/(-1275))/(2/605) - 8/(-6). Which is greater: 1579/19 or f?
1579/19
Suppose 0 = 2*b - 4*o - 24, -10 = -3*b - 2*o + 58. Suppose -86*x + b = -82*x. Let i be ((-4)/3)/4 + 5. Which is smaller: i or x?
i
Let r = -638679/11038965685 - -2/602005. Which is bigger: r or -1?
r
Suppose -4*d + 69*q = 74*q + 328, -d + 3*q - 65 = 0. Suppose 6*c - 4*c = -5*a + 108, 2*a - 232 = -4*c. Let n = d + c. Is n >= -3?
False
Let v = 0.91 + 62.09. Let o = v + -61. Let q = 571/90 + -58/9. Is q >= o?
False
Let o = 0.132 + -3.152. Let z = 322.02 + -322. Let m = o + z. Is 1 < m?
False
Let k = 37578 - 413353/11. Which is smaller: -504 or k?
-504
Let t be ((-49)/28)/(2/(-8)). Let o be t - (0 + 1 - -1). Let a(y) = 2*y**3 - y**2 - 24*y. Let i be a(0). Do o and i have the same value?
False
Let l(v) = -v**3 + 31*v**2 + 90*v - 172. Let r be l(33). Which is greater: 1862/3 or r?
1862/3
Let r be (12/10)/(-3) - 0/(-20). Let v = 45 - 142. Let p = -96.9 - v. Are p and r nonequal?
True
Let s be -4 - 43 - -4*(2 - 1). Let k(i) = -7*i + 5. Let p be k(7). Which is bigger: s or p?
s
Suppose 3*j + 2*h - 5*h + 12 = 0, 4*h = j + 7. Let a be (-22)/(-22) + (1 - 2)/1. Suppose 1 = r, 4*u + 2 + a = -2*r. Which is greater: u or j?
u
Let a be 2 + 234/195 + 14/5 + -6. Is a greater than -1/5998?
True
Let l(b) = -b**3 + b**2 + 9*b - 7. Let x be l(3). Let r be 2 + ((-5)/(-15) - x). Which is smaller: r or -97?
-97
Let a = -2117 + 2113. Let q be 3/18 - (-42)/(-9). Are a and q equal?
False
Let y = -0.639 - 1.0285. Is -1 smaller than y?
False
Suppose 12 = -6*d - b, -5*b = 16*d - 11*d + 35. Which is bigger: d or -1/3069?
-1/3069
Let k be 70/1*(-2)/(-5). Let t = 749 - -149. Let x = t - 872. Which is bigger: k or x?
k
Let r = 3560 + -7370. Let b be 575/r - 3/(-18). Is 1 greater than b?
True
Let u be (-5)/(2 - -33)*-7. Let h be 4/(8/41) + 3/u. Which is bigger: 25 or h?
25
Let w = 2350 + -1631. Is w at least 0.3?
True
Let j be (-2)/((-3)/(3/7)). Let w = 23388.95 + -23389. Which is smaller: w or j?
w
Let q = 248 + -2481/10. Let i be (-2)/(-2 + 32/(-12)). Which is bigger: q or i?
i
Let s(q) be the third derivative of q**5/60 - 23*q**3/6 + 3*q**2 - 6*q. Let k be s(-4). Let g(o) = -o**2 - 4*o - 3. Let b be g(-5). Which is smaller: k or b?
b
Let n(p) = p**2 + 9*p + 2. Let d be n(-4). Let b be (-1 - 17/3)*-3. Suppose b*t - 17*t = -57. Is d less than t?
False
Let r = 109 - 108.7. Is r greater than 0.2201?
True
Suppose -48 - 24 = 3*s. Which is smaller: -8 or s?
s
Suppose 15717 = -36*m + 10*x - 7*x, m + 443 = x. Which is smaller: m or -0.1?
m
Let l be ((-192)/(-24))/((-2)/5). Let o(u) = -13*u - 259. Let x be o(l). Suppose 3*n + 3*d - 13 - 11 = 0, 4*n - 3*d + 3 = 0. Are n and x equal?
False
Let b(k) = 2*k**2 - 103*k + 54. Let g be b(47). Let p = 338 + g. Which is bigger: -32 or p?
p
Let x be 3/9*9/(-12). Let s be (-12)/(-4) + 0 + 772/10. Let v = s - 82. Is x smaller than v?
False
Let f(b) = b**2 + 31*b + 215. Let i be f(-21). Suppose 10*m - 188 = i*m + c, -2*c - 154 = -4*m. Suppose q - 144 = -3*q. Which is smaller: m or q?
q
Suppose 0 = x + 15. Let c be (1/2)/(x/(-4)). Let q = -5597 + 5590. Which is bigger: c or q?
c
Let k = 446 + -213. Let s = k - 218. Are s and -8 equal?
False
Let q = 544.3 - 544.2. Which is bigger: q or -1107?
q
Suppose -9*i = 17*j - 13*j + 914, 2*j = i + 82. Suppose -5*r - 90 = n, n + 102 = -0*n + r. Which is greater: i or n?
i
Let w = -411 + 403. Let n be w - -2*(-5)/65. Which is smaller: -7 or n?
n
Let v = -318.4 - -303.395. Let j = 10.995 + -11. Let h = v - j. Are -1/6 and h equal?
False
Suppose 75 = 2*t - 7*t. Let k be (-6)/(-68)*((-10)/t + 4). Which is smaller: -1 or k?
-1
Suppose -103*l + 2081285 = -581333 + 202772. Which is greater: 23883 or l?
23883
Suppose -5*i + 3*i + 2*z + 26 = 0, -4*i = -3*z - 47. Suppose -2*x = -m + 8, x + x - 5*m - i = 0. Let g be 9/x*2/(-15). Is -9 bigger than g?
False
Let k = -14765920953/243