 r = 261 + -161. Let x = -1201/12 + r. Let z(a) = -a - 6. Let y be z(-6). Is y equal to x?
False
Let y be (-11168)/47288 - 232/(-1334). Which is smaller: 0 or y?
y
Let o(u) = -u**3 + u**2 + 1. Let a(i) = 3*i**3 + 13*i**2 - 14*i + 32. Let m(z) = a(z) + 2*o(z). Let x be m(-16). Let w be 1 + 2 + -2 + (3 - x). Is 18/11 >= w?
False
Let d = 4850 - 10941601/2256. Let y = d - 403/221840. Which is smaller: y or -1?
-1
Suppose -163 = 8*o - 5*o - v, 0 = 3*o - 2*v + 164. Let w be (-1570)/4674 + (-18)/o. Are 0 and w equal?
False
Let l(v) = -v**3 + 21*v**2 - 7*v + 24. Let d be l(21). Let y = d - -82. Let q be 2/(-5) - (-624)/(-15). Is q smaller than y?
True
Suppose -3*q + 16 = -5*x, 2*q - 2 + 4 = -3*x. Let y(d) = 6*d**3 - 3*d**2 + 5*d - 4. Let u be y(q). Let b = u - 53. Which is greater: -8 or b?
-8
Let l(y) = 89*y - 445. Let k be l(5). Which is smaller: -6628 or k?
-6628
Let h = -0.7267 + -5.2733. Is -338 > h?
False
Suppose -7*a = 6*a + 78. Let m be a*(68/(-24) - (-8)/(-12)). Which is smaller: m or 25?
m
Let u = 3103.1 + -3103. Is u less than or equal to -12890?
False
Let d(q) = q**3 + 8*q**2 + 11*q + 12. Let v be d(-5). Let l be ((-16)/6)/(v/48). Is -21/5 less than or equal to l?
True
Suppose 850 = 5*u + 12*q - 16*q, -u + 149 = -5*q. Let b = -83 + 256. Are b and u unequal?
True
Let t be 1 + -7 - 845/(-65). Let s be (72/t)/(5724/504). Is 1 not equal to s?
True
Suppose -4*t + 326 = 3*q, 6*t - 4*q = t + 423. Let b = t - 106. Is -16 smaller than b?
False
Let c = -944870 - -944872. Let y = -0.9 - -18.9. Which is greater: c or y?
y
Let l be 9954/72 + (-2)/8*1. Let g = -83 + l. Let m = g - 73. Is -15 < m?
False
Let t = -24 - -90. Let j(h) = -2*h + 19. Let o(v) = -24*v**3 - 2*v**2 + 2*v + 1. Let a be o(1). Let q be j(a). Is q at most as big as t?
True
Suppose 4*j + 2*f - 404 = -0*f, 5*f - 210 = -2*j. Which is smaller: -9 or j?
-9
Let b be ((-12)/(-5))/(39/(-65)). Suppose 0 = -4*a - 7 - 1. Which is smaller: b or a?
b
Suppose l + k + 104 = 0, -1345*l - k - 11 = -1345*l. Suppose -w - 188 = w. Do l and w have the same value?
False
Suppose 7*i + 1 = -l, -4*i - l + 1 + 1 = 0. Do -1/13728 and i have different values?
True
Let r = -18358 - -18359. Which is greater: 2259 or r?
2259
Let j(z) = -z**2 - 4*z + 15. Let c be j(-10). Let r be 4/(-15)*c/(-30). Let l be (12/(-40))/(6/8). Do l and r have different values?
False
Let w(n) = 2*n**3 - 8*n**2 + 5*n + 7. Let q be w(5). Let b be 4/(6 - 2) - q/16. Let x = -128 - -123. Which is smaller: b or x?
x
Let z(v) = 2*v**3 - 13*v**2 - 10*v + 7. Let y be z(7). Let g = -364 + 352. Is y at most g?
True
Let y(l) = -4*l + 14. Let b be y(3). Suppose -5*q = 4*f + 19, -b*q - 1 - 2 = -3*f. Let x be 2*(4/48*10 + f). Which is smaller: x or 58?
x
Let n = -4144 + 4731. Which is greater: 589 or n?
589
Let x = -12876/32215 + -2/6443. Is x greater than or equal to 102/13?
False
Let h(f) = -5*f**3 - 2*f**2 - 3*f - 2. Let y be h(-1). Suppose -2*v = -114 + 104. Which is smaller: y or v?
y
Suppose h + d = 21, d = h - d - 12. Let x(y) = y**2 - 19*y + 8. Let k be x(h). Which is greater: 3/2 or k?
3/2
Let m be (-10 - (-4 + -5))*0. Let w = -3717 + 449761/121. Is m not equal to w?
True
Let q = 4985.09 - 4934. Let g = 51.1 - q. Is g > 26?
False
Let d = -1743 - -198. Is d greater than -1/3?
False
Let z(m) be the first derivative of -m**2/2 - 34*m + 59. Let u be z(-25). Which is greater: u or -23/3?
-23/3
Let i = 11383 - 11183. Are i and 2210/11 nonequal?
True
Suppose -19*a = 98 + 624. Let r be (a + 41)/((-9)/15). Is r < -1?
True
Suppose 0 = -5*w - g + 4955, 2*w - 818 = 2*g + 1152. Which is smaller: 988 or w?
988
Suppose 5*r + 60 = 4*c - 0*c, 4*r = 4*c - 64. Suppose c*g + 30 = 15*g. Let k be ((-1)/g*-2)/(7 - 4). Is -1 smaller than k?
True
Suppose 10*s + 2558 = 12*s. Let l = -10307/8 + s. Is l less than -10?
False
Let q = -959 - -1393. Is q less than 430?
False
Let f = -25 - -24.882. Let l = 13.2 + -13.218. Let c = l - f. Are c and -8 nonequal?
True
Let o = -59854/3 - -19950. Which is smaller: -517 or o?
-517
Suppose 6*b + 17 - 29 = 0. Suppose 5*m = 3*a - 49, -2*a + 3*m = b*m - 28. Suppose -3 + a = -5*t. Is t equal to -3?
False
Suppose x = -0*x - 3*x. Suppose 23*j - 29*j = x. Suppose j = 3*r + 12*r - 105. Which is greater: 11 or r?
11
Suppose 168 = -0*n + 3*n. Let d be (-1 - (-74)/n)/3. Let g = 1/7 + d. Is 3/4 at most as big as g?
False
Let d be 11/1 + -3 + 1. Suppose -83*i - 13 = -86*i - 4*k, 4*i - 49 = k. Suppose -d*x = -i*x + 4. Which is smaller: x or 9/5?
9/5
Suppose -100*h = -57*h - 77*h - 3196. Let w(g) = -29*g**2 - 3*g - 3. Let z be w(-2). Let p = z - h. Do p and -17 have different values?
True
Let u(p) = 22*p**2. Let r(z) = 4*z**2 - z + 16. Let i be r(0). Suppose 4*o + i = 0, -4*b - b + 3*o + 17 = 0. Let m be u(b). Which is bigger: 21 or m?
m
Let h be 7*(-22)/8393*3/2. Which is bigger: h or -6?
h
Let g = 367 + -219. Let k be g/8 + 15/10. Which is smaller: k or 17?
17
Suppose v = 4*y - 12, 0 = -3*y + 2*v + 9 + 5. Suppose 2*p + 3*q = 8, -y*p + 3*q - 2*q = 8. Let h be (-171)/15 + (-4)/(-10). Does h = p?
False
Let s = 0 + 2. Let q be 6 + (-9 - (3 - 9)). Let l be -2 + (s - (-4 + q)). Which is smaller: -10 or l?
-10
Suppose -16*v - 5 = -17*v. Suppose v*m - 90 + 265 = -5*l, -l - 71 = 2*m. Which is smaller: -34 or m?
m
Let a be 2*2/(-8)*0. Let c be (-609)/667 + 4/(-46). Which is smaller: a or c?
c
Let k be (5 - 2)*(-238)/6. Let j be 55/(-165) + 505/3. Let h = j + k. Are 49 and h equal?
True
Let v(l) = 16*l - 11. Suppose 0 = 9*j - 16 - 11. Let a be v(j). Is 37 bigger than a?
False
Let j = -850.4857 - 1.6143. Let b = 909 + j. Let x = b - 57. Is x greater than -9?
True
Let b = 1502177/42887708 + -1/50044. Which is smaller: b or 0?
0
Suppose -8*z = -1398 + 1390. Let s be 2 - -11 - 14 - 49/z. Which is smaller: -51 or s?
-51
Let c be ((-11618)/(-111))/((-2)/3). Let k = -1415/9 - c. Which is greater: k or -9?
k
Let h = -17088 - -17088.1. Is h at most as big as -8317?
False
Let c = 15189/10 - 1520. Let f(p) = p**2 - 4*p - 7. Let h be f(5). Is h greater than c?
False
Let s be 8/10*(-30)/(-4). Suppose -7*t = -s*t + 3. Which is greater: -10 or t?
t
Let l be (-2 + 6 + 5 + 1 + -11)/(-3). Which is smaller: -2/3913 or l?
-2/3913
Let r(k) = k + 2. Let w be r(2). Let m(c) = c**2 + 29. Let p be m(-5). Let j be (36/p)/(4/30). Which is bigger: w or j?
j
Suppose 0 = -4*c - 12 + 84. Suppose -3*h - 120 = -c*h. Let p be (-2)/(-46)*h/(-24). Which is smaller: -1 or p?
-1
Suppose -t = t - 5*h + 9, -3 = 2*t - 3*h. Let v be (t - (-29)/(-4))*-8 - -2. Let g be ((-8)/(-1752))/(2/v). Do 1 and g have the same value?
False
Suppose 0*v - 10*v + 53895 = 55185. Is -143 at most v?
True
Let z(n) = 8*n - 82. Suppose -9*a + 6 = -7*a - s, 2*s = a + 3. Let b be z(a). Suppose 2*t = 5*t, -4*y + 4*t - 168 = 0. Are b and y unequal?
False
Let d = 182243.9652 + -182493. Let l = 0.0348 + d. Is -2/3 < l?
False
Let r be (-35)/(-210)*(-614)/(-43). Let i = r - 2/43. Which is bigger: i or 3?
3
Suppose -f = 3*t + 3*f + 5, t - 5*f = 30. Let v be t/(-10) + 3740/(-8). Let b be (-150)/v + (-2)/12. Which is smaller: 0 or b?
0
Let g(p) = -128*p + 112. Let q be g(-4). Suppose a + 5*z - 179 = 0, 49*a - 45*a = 3*z + q. Which is bigger: 160 or a?
160
Let c(q) = -3*q**3 - 38*q**2 + 44*q + 35. Let l(a) = a**3 - a**2 - a + 1. Let p(o) = -c(o) - 2*l(o). Let w be p(-41). Which is bigger: w or 27/7?
w
Suppose -24 = 9*s - 17*s. Suppose -4*m = -2*f + 7*f + 13, 5*f + s*m = -11. Is 6 equal to f?
False
Let t be 468*184/69*2/(-8). Let m be (-1 + 22)/((-24)/t). Which is bigger: m or 274?
274
Let r = -98 + 68. Suppose 15*b - 16*b = 4*s + 113, 4*b - 28 = 0. Is r smaller than s?
False
Suppose 17*g = -72*g - 21*g. Let i = 12 + -9. Let v be ((-5660)/1884 + i)*-3. Which is smaller: v or g?
g
Let z = 0.077 - -0.593. Let a = z - 15.07. Let o = -15.4 - a. Which is bigger: -0.07 or o?
-0.07
Let q be (476 + -3)/43 + 197/(-18). Let m = -435 - -679. Let h be m/(-36) + (-4)/18. Is h bigger than q?
False
Suppose -b - 1164 + 1145 = 5*d, 5*d + 24 = 4*b. Which is greater: -2/8959 or b?
b
Let z = -108 + 108. Suppose -m + b = -101, -3*m - b + 3*b + 299 = z. Let f = m - 108. Is -12 less than or equal to f?
True
Let l be -13 + 13 + 1290/(-10). Which is greater: l or -125?
-125
Let j be (-111)/((-4167)/(-828) - 5) + 9. Which is smaller: j or -3396?
-3396
Le