Let t be q(9). Let o be ((-8)/(-3))/((-2)/t). Is -29 greater than or equal to o?
False
Suppose -4*h + 12 = 2*i, -4*h = i - 8 - 6. Suppose 5*g + 4*j = 67, 11 - h = g + 4*j. Which is greater: g or 17?
17
Let w = 5779 - 29311/5. Is w > -82?
False
Suppose -1 - 3 = -4*r. Let b(k) = 9*k**3 - 1. Let a be b(r). Is 8 at most a?
True
Suppose 0 = 2*b - 2*k + 2, -3 = -5*b - 2*k + 6. Let n be (-8)/(-12) - (-5)/(-3). Let a be n/((-1)/(-8)) + -1. Is a > b?
False
Let q(w) be the first derivative of -5*w**3/3 + w**2/2 + 3*w + 1. Let l(c) be the first derivative of q(c). Let o be l(-1). Is o != 10?
True
Let a = 478 + -458.3. Let w = 20 - a. Let l = 4 + -6. Which is greater: w or l?
w
Let j be ((-234)/(-7553))/(3/7). Which is smaller: j or 0?
0
Let u(m) = m**3 + 8*m**2 + 2*m. Let x be u(-2). Suppose -2*b - 13 + 50 = -5*n, 3*n = 4*b - 81. Is x <= b?
True
Let l = -10721 + 6764955/631. Are l and 1 unequal?
True
Let x = 19 + -19. Suppose -4*y + 3*y = x. Suppose y*i + 3*i + 3 = 0. Which is greater: i or 2?
2
Let i be (-10)/(-36)*10 - (8 - 9). Is i >= 3?
True
Let o(v) = v**2 + 4*v. Let q be o(-4). Let s = 100/37 - 3712/333. Let x = -997/117 - s. Which is bigger: q or x?
q
Let c = -12 - 3. Let j = -13 + c. Let k = -29 - j. Is 1 equal to k?
False
Suppose 4*t + 67 = -1. Let x = t - -14. Which is smaller: 0 or x?
x
Suppose -4*f = 5*u + 124, -2*f = 5*u - 10*u - 118. Do u and -27 have different values?
True
Let w(g) be the third derivative of g**5/15 + 17*g**4/24 + 7*g**3/6 - 10*g**2. Let z be w(-7). Suppose 0 = -3*m, -f + 4*f + z = 4*m. Is f less than -28?
False
Suppose 5*n - 35 = 5*u, 5*n = -2*u - 0*n - 7. Suppose z - 2 = -10. Let g be (12/z)/(3/8). Is g bigger than u?
True
Let j(z) = 5*z + 15. Let n be j(-15). Is n bigger than -59?
False
Let l = -5919/28292 + 3/643. Let v = -601/2508 - l. Which is greater: v or 0?
0
Let j be (-516)/3*31/(-41). Let d be ((-25)/15)/((-3)/(-234)). Let s = j + d. Which is smaller: s or 0?
0
Let a = -17 - -11. Let c = -5 - a. Let f = 207/13 + -16. Which is smaller: c or f?
f
Let s(k) = -40*k**2 - 10*k + 8. Let n be s(-2). Is n greater than -133?
True
Let y be (-2)/1 + -4*(-6)/(-24). Which is greater: y or -4?
y
Let l(a) = 2*a**2 + 8*a + 5. Let j(q) = 4*q**2 + 15*q + 9. Let k(s) = 3*j(s) - 5*l(s). Suppose p - 6 = 3*p. Let r be k(p). Which is smaller: r or 4?
4
Let h be (2/(-6))/(28/(-672)). Suppose -4*k + 37 = 9. Is h at most as big as k?
False
Let m = -3.9 - 17.1. Let w = 21.2 + m. Is w greater than 2/9?
False
Suppose r = -3 + 7. Suppose 0 = -0*j + r*j + 4. Let v be 4/(-18) - 80/(-198). Which is smaller: j or v?
j
Suppose 10 = -4*x + 9*x. Let l be 10/x*28/(-7). Let q be (-88)/l + (0 - 1). Are 2 and q equal?
False
Let f = 211 + -99. Let b be 2 - 1 - (-312)/f*-2. Is b at least as big as -2?
False
Suppose 7*w - 25 = 2*w. Let y(b) = 1 - 9*b**2 + 17*b**2 - 7*b**2 - 5*b. Let s be y(w). Does s = -2/43?
False
Suppose 4*i + 154 - 170 = 0. Let w be (3 - 2 - 1)/(-2). Which is smaller: i or w?
w
Let r(u) = -3*u + 23. Let f(a) = a**2 - 6*a + 12. Let s be f(6). Let k be r(s). Is -13 at least as big as k?
True
Suppose -270*a = -272*a + 936. Is -1 bigger than a?
False
Let g be (71 - 3)*2/4*-1. Are -35 and g equal?
False
Let h be (396/42)/((-213)/497). Let x be (2 + -2)/1 + -23. Which is bigger: x or h?
h
Let b be 42/(-4)*(-28)/42 + 3. Is 6 equal to b?
False
Let g(c) = -9*c + 2. Let x be g(2). Let p = 276 + -178. Suppose 10*l + 52 + p = 0. Which is bigger: x or l?
l
Let z be 1 + -1*(2 - -15). Let k be 36/9 + z/(-2). Suppose -16*y + k*y - 12 = 0. Is -0.3 greater than y?
True
Let r = -1/94 - -109/1410. Let v = 718 + -717.7. Which is smaller: r or v?
r
Let m(i) = 12*i - 26. Let z be m(-6). Let p = z + 98. Let q = 209 - 2719/13. Which is smaller: p or q?
q
Let l be (32 + (-6)/3)*-1. Let o be (-72)/l*3/((-9)/(-10)). Which is smaller: o or -2?
-2
Let y = -79017/2431 + 310/187. Let l = y - -31. Let z be (25/8 - 3)*-8. Which is greater: l or z?
l
Let t be ((-2)/5)/((-14)/210). Let v be (8/10)/(t/(-105)). Let p be v/12*(-165)/(-105). Which is smaller: -1 or p?
p
Let c be (72/(-240))/(18/(-15)). Is -283 greater than c?
False
Let z be 649/(-22)*2/(-1). Let n = 98 - z. Is n smaller than 38?
False
Let s(x) = -x**2 + 6*x. Let n(i) = -i. Let l(m) = 6*n(m) + s(m). Let d be 4/14 - (-40)/(-140). Let y be l(d). Are 1 and y equal?
False
Let b be (-2 + 6)*-1 - (-1025)/25. Are b and 31 equal?
False
Let i = -123 + 107.2. Let v = 16 + i. Let q = -41/15 - -10/3. Which is bigger: v or q?
q
Let o = 420334/15 + -28008. Let a = -44/3 + o. Let j(d) = -d + 2. Let w be j(2). Is a <= w?
True
Let n = -53/6 - -1525/174. Suppose 6 = 2*v + 4. Suppose 4*q - 5 + v = 0. Which is greater: q or n?
q
Let x(u) = -7*u + 3. Let c be x(2). Let m be (1/c)/((-3)/(-9)). Let l = -1055 + 1055. Which is greater: m or l?
l
Let f be -1 - -1 - 28/(-266). Let x be -3 - 7/(51156/(-20336)). Let q = x - 1/203. Does q = f?
False
Let x = 16699/45 - 371. Let d = 21 - 20. Which is smaller: x or d?
x
Let j be (16/6)/(8/12). Suppose 2*o - 4*o - j = 0. Let w be ((-11 + 2)/3)/(3/4). Which is smaller: w or o?
w
Let w(d) = -4*d - 85. Let g be w(-25). Suppose 2*l - 17 = -g. Which is greater: l or 4/51?
l
Suppose 0 = 5*d + 2*r - 5, 3*d + 4*r = 16 + 1. Suppose 3*p = -67 - 2. Let q = 89/4 + p. Which is greater: d or q?
q
Let s = -21646/9 + 2405. Let r be (-9)/(0 + (-9)/6). Suppose 2*x + r = 4*h, 3*h + 2*h = -5*x - 15. Which is bigger: s or h?
h
Suppose -4*g + 2156 = 3*u - 8*u, 2*g = 5*u + 2158. Which is smaller: -433 or u?
-433
Let p be 34/5 - (-4)/2. Let l = -406/45 + p. Let u = 467 + -467. Is l at most u?
True
Suppose 5*x - 468 = -4*q, 9*x - 4*x - 244 = -2*q. Does q = 112?
True
Let q = 20 - 21. Let m be (14/(-3))/(44/363). Let a = m + 38. Which is greater: a or q?
a
Let v(o) be the second derivative of -2*o**3/3 - o**2/2 + 6*o. Let l be v(-8). Suppose -f + 0*f - 4*u = 27, -f - 5*u = l. Which is smaller: -13 or f?
-13
Let c be (-4)/16 + (-18)/(-8). Let q(p) = 19*p**2 + 3*p - 1. Let b be q(c). Let s be (-4)/14 - b/(-210). Which is smaller: s or -1?
-1
Let a = -2069 - -2070. Which is smaller: 0.1328 or a?
0.1328
Suppose 0 = -4*i + 20, i - 447 = 4*y + 6*i. Which is bigger: -477/4 or y?
y
Let w = -13/33 + 2/33. Let k = 12.8 - 11. Which is greater: k or w?
k
Suppose -7 = -4*p + 3*a, -2*p - 2*a = -3*a - 5. Is 96/37 bigger than p?
False
Let l = -6 + 6. Let r be (4 - 1 - l) + -1. Let i be r - (0 - -1 - 2). Is 3 < i?
False
Let s = 285 + -1770. Are -1485 and s unequal?
False
Suppose -z + 5*z = 8. Suppose 4*y - 3*r - z = -13, r - 5 = 0. Let n be 6/8 - 231/276. Which is smaller: n or y?
n
Let f = -2085.9 + 2086. Is -4/1925 at most f?
True
Let a(d) = -30*d + 27*d - 1 + 0. Let z be a(-1). Suppose 2*y + 3*j - z = 0, 0*j - j = 0. Which is smaller: -3 or y?
-3
Let j = -1.1 - -1. Let w = -1557 - -1547. Is j less than w?
False
Let f = 249 + -236. Suppose -21 = -2*k - z, -z - 3 - 2 = 0. Is k != f?
False
Let c = 763 - 859. Is c smaller than -3?
True
Let j = -63.3 - -331.3. Which is smaller: 0.1 or j?
0.1
Suppose -3*k - 15 = 0, 3*k - 2 = -5*i - 32. Let o = i + 11/4. Let f(z) = -z**3 - z**2 + z + 2. Let b be f(-2). Which is bigger: o or b?
b
Let g = 22459/2694 - 3/898. Suppose 2*p = 2*s + 18, -s - 17 = -3*p - 3*s. Are g and p nonequal?
True
Suppose -17 = 3*r + 10. Let o be -54*(4 + 66/r). Let y be (8/o)/((-1)/5). Are 3 and y unequal?
True
Let v = -30 + 32. Let j be 19 - v/(-3)*-6. Suppose 19*s - j*s + 12 = 0. Which is bigger: s or -5/2?
-5/2
Let g(s) = -s**3 - 19*s**2 + 20*s + 3. Let h be g(-20). Suppose 0 = h*j - o - 8, 0 = -3*j - o + 11 + 5. Is 1 smaller than j?
True
Let u be 5*(-12)/300*-1255. Does u = 252?
False
Let m = -40 - -25. Let b = 0.06 + -14.86. Let k = b - m. Which is smaller: k or -0.1?
-0.1
Let i = 0.0699 + -38.7499. Let b = i + -0.32. Is b < 0?
True
Let a = 416.83 + -417. Let g(o) = -2*o**2 - 2*o - 1. Let f be g(-1). Are a and f unequal?
True
Let t = -16 - -20. Let x = -0.4 - -0.2. Let o = 0.1 + x. Which is bigger: o or t?
t
Let g = 238.3 - 249. Let n = g + 10.5. Are n and -2/13 equal?
False
Suppose -29*r - 513 = 357. Which is smaller: r or -28?
r
Let n be (-2 - (-3)/1) + 1. Suppose -3*w + 4*w + 3*z + 67 = 0, -3*w - n*z - 166 = 0. Let p = w + 989/19. Which is smaller: p or 1?
p
Let g(d) = 3 - 4 + 3 - d - 4. Let h be g(-6). Suppose 5