
Suppose -3*b = -b - 10. Suppose -5*s - z = 4 + 8, -24 = b*s - 3*z. Let o = s - -6. Is 4 bigger than o?
True
Suppose q + 2 = 4*l + 5, -3*q = -4*l - 1. Suppose -3*y = 2*y - 365. Let d = -366/5 + y. Are d and l non-equal?
True
Let s be (0 + 0)/1 - -5. Suppose 16*j - 22 - 58 = 0. Is s at least as big as j?
True
Suppose 3 = -5*f + 4*b + 14, f - 5*b - 19 = 0. Is f <= -2?
False
Let o(a) be the first derivative of a**4/4 - 4*a**3/3 + 3*a**2/2 + 2. Let g be o(2). Let d be ((0 - g) + -4)/2. Which is smaller: 3/8 or d?
d
Suppose -8 = 4*r + 3*h, 0 = -4*r - 5*h + 4*h - 16. Let s = r + 6. Let o = 42 + -208/5. Are s and o equal?
False
Let k = -692 + 11067/16. Which is smaller: -1 or k?
-1
Let u = -0.01 + -3.99. Let g = 4.3 + u. Let w = -0.7 - g. Which is smaller: w or -2/9?
w
Let i be (5 + -7)*(-1)/2. Let l be (-1)/2 - (i - 0). Let j = -3 - -2. Do l and j have different values?
True
Let p(c) be the second derivative of -c**5/20 + 5*c**4/12 - c**3/2 - 5*c**2/2 - 3*c. Let y be p(4). Which is bigger: y or 0?
0
Let p = 12 + -10. Let h = -23 - -33. Suppose 3*k - h = -n, 3*k - p*k - 8 = 2*n. Is 4 greater than or equal to k?
True
Let c be 11*(4 + (-5)/3). Let h = c - 233/9. Which is bigger: 4 or h?
4
Let m be (4/10)/(1 + 2). Let d(n) = n**2 + 4*n + 1. Let s be d(-4). Which is smaller: m or s?
m
Let n = 10869/20 + -3797/10. Let k = -163 + n. Which is smaller: 0 or k?
0
Let i(t) = -t**3 + 2*t**2 + 8*t - 3. Let c(l) = -3*l**3 + 6*l**2 + 23*l - 9. Let a(v) = 6*c(v) - 17*i(v). Let z be a(2). Is z >= -2/33?
True
Let l be ((-8)/(-66))/(6/(-9)). Which is greater: l or -1?
l
Suppose -4*j + 0*j - 4*r = 12, -5*j - r - 11 = 0. Let t be 2*-6*j/4. Suppose -4*s = x - 7, s = t*s + 3*x - 14. Is 0 at least s?
False
Let b be (-11)/2 - (-2)/4. Let a = -3 - b. Are 3 and a equal?
False
Suppose 5*c + 0*c - 17 = -2*p, -3*p - 5*c + 13 = 0. Is p >= -7/2?
False
Suppose 3*y + 3*m - m - 23 = 0, -5*y + m + 21 = 0. Suppose 0 = y*d - 0*d. Do d and -2/23 have different values?
True
Let a be (2/4)/((-10)/(1 + 4)). Is -16 at most a?
True
Let h be (-543)/(-12) + (-2 - -1). Let w = 44 - h. Is -1 < w?
True
Let u = 5/3 - 1/3. Suppose -3*o = -9, -3*s + 9 = 4*o - 6. Which is smaller: u or s?
s
Suppose 3*c - 2 - 7 = 0. Suppose v - 2 = 3*h + c, -4*h = -v + 6. Let s(p) = p**3 - 4*p**2 + 2*p - 6. Let l be s(4). Is l bigger than v?
False
Let l be 3/(-7) - (-582)/378. Is l > 1?
True
Suppose 2*i = 4*x + 8, 6*x - 3*i + 11 = x. Suppose g + p = 7, -4*p - 1 = -4*g + 3. Suppose 0 = 3*w + 3, -g*w - 4 = -4*s + 2*s. Which is smaller: x or s?
x
Let p = 3 - 14. Let o = p - 7. Let s be -3*((-14)/o - 1). Are 1/3 and s equal?
False
Let y(m) = m**2 - 11*m + 9. Let q be y(11). Let s(c) = c**3 - 10*c**2 + 9*c + 1. Let o be s(q). Let g = o + -2. Is g at most 2/25?
True
Let b be (0*(-1)/2)/1. Let k(f) = f**3 + 5*f**2 - f - 4. Let a be k(-5). Suppose 2*o + a - 3 = b. Is -3/7 smaller than o?
True
Let p be (0 - (0 + 3))/(2/6). Which is smaller: p or -23/3?
p
Let r = -71 + 72. Which is greater: 2/11 or r?
r
Let x(i) = -i**3 + 5*i**2 + 5*i + 5. Let r be x(6). Let n = r + 3. Suppose 4 = -3*b - n. Does -1 = b?
False
Let c(q) = q**3 - 4*q**2. Let y be c(4). Suppose 2*o - 11 = x + 8, 4*o + 3*x - 43 = 0. Let i be o/(-15)*(-1)/(-2). Which is greater: y or i?
y
Let n(w) = w**3 + 2*w**2 - 5*w - 2. Let u be n(-3). Suppose f - 1 = -2*f - u*i, 2*f = i - 3. Suppose -3*c - 5 = 2*c. Is f smaller than c?
False
Let m = -0.5 - 0.1. Let y = 0.3 + m. Which is bigger: y or -1?
y
Let h be (-2)/7 + (-51)/(-7). Suppose h*f = 2*f. Let l = -2753/17 - -162. Is f != l?
True
Let x = 23 + -21.2. Let n = x + -0.8. Which is smaller: n or -0.6?
-0.6
Let v be 3 + 0 + -1 - -1. Suppose -v*z + 7 = -2*c, 3*z - 2 - 7 = 0. Is 1 less than c?
False
Let k = 1/19 - -35/57. Let j be (-4)/10 + (-364)/1590. Let i = 2/53 - j. Is i at least k?
True
Let i = -10 - -14. Let t be (-20)/6 - (-7 + i). Which is smaller: t or -1?
-1
Let j(k) = k**2 + 13*k + 13. Let t be j(-11). Let f = -21 + 14. Which is smaller: f or t?
t
Suppose -b = 4*h - 3, 0 = -2*b - 4*h + 2 - 0. Is b >= -0.01?
False
Let p(b) = b - 4. Let x be p(-3). Let a be -1 + x + 2/2. Let h(o) = -o**3 - 8*o**2 - 6*o + 9. Let u be h(a). Which is smaller: 0 or u?
0
Let q = 8963/865 + -28/173. Let a = q + -403/40. Are 0.1 and a equal?
False
Suppose 9*v = 4*v. Which is greater: -1/4 or v?
v
Let k be (3/2)/(6/4). Let s be ((-3)/18 - k) + 1. Is 1 at least s?
True
Suppose -2*s = 4*v + v + 122, 0 = 3*s - 12. Let l be v/(-10) - (-2)/5. Suppose -l*x - 2*g - 6 = -g, 3*x - 5*g = -24. Which is smaller: -4 or x?
-4
Let l = -1.38 - -11.26. Let o = -0.12 - l. Is 2/3 at most o?
False
Let q(b) = -2*b**2 + 3*b. Let x be -2*2*(-3)/4. Let w be q(x). Let i be w/12 + 7/4. Which is greater: i or 0?
i
Let k = -0.8 - -0.9. Let h = k - 0.1. Is h at most as big as 0?
True
Let p = 21 + 14. Suppose 3*h + 4*u = -p, u = -2*h - u - 22. Let t be (-2)/h + 76/144. Is t greater than 1?
False
Let r = 0 + 0. Let l = 4 - 2. Suppose 0*m - l = -2*m. Is r != m?
True
Let c be (-12)/(-15) + 2/(-4). Are c and 1 equal?
False
Let m = -0.23 + 0.33. Is m less than 19?
True
Let g = 22.91 + -23. Is g > 1?
False
Let u = -0.8 - -0.2. Which is smaller: u or -2/9?
u
Suppose 5*n = -k + 6 - 1, 3 = k + 4*n. Let g = 5 + k. Is g less than or equal to -2?
False
Let t be (5/(-15) - 4/6)*-1. Let h be 4/(-63) - (-2)/7. Are t and h nonequal?
True
Let c be (49/(-28))/(1/(-4)). Suppose c*a - 12 = 4*a. Is 3 equal to a?
False
Let w = -1.4 + 1.1. Let g = 0.05 - 3.05. Which is smaller: w or g?
g
Let g be 1 - 2 - -3 - -2. Suppose g*d = d + 3. Let a = -1 + d. Which is smaller: a or 2?
a
Let l = -44 + 89/2. Which is greater: -2/15 or l?
l
Let j = -5 - 6. Let u = j + 7. Let w = u + 4.1. Which is smaller: -0.2 or w?
-0.2
Let p = -13 + 9. Which is greater: -20/7 or p?
-20/7
Let w be (-6)/(6/(-10)*(-5)/(-2)). Is 6 != w?
True
Let s = -16/11 - -109/22. Suppose -n - 20 = -3*v - 6, -4*v + n = -19. Is v smaller than s?
False
Suppose j + 16 = 5*t, -4*j + 3*t = 2*t - 12. Let a = j + -4. Which is greater: a or -2/21?
a
Let h = 1 + -3. Let x = -0.17 + 18.17. Let v = -19 + x. Which is smaller: v or h?
h
Suppose -16 = -r + v - 7, -2*v + 22 = 2*r. Let i = 14 - r. Suppose -4*s + i*w - 24 = 0, s + 2*s + 2 = -5*w. Are -3 and s non-equal?
True
Let u be 1/(1/(0 + -1)). Is -3/4 at least u?
True
Let g(o) = 2*o - 31. Let k be g(16). Which is greater: 0.009 or k?
k
Let r be -1 - (-7)/((-7)/(-2)). Let x(p) = -p - 3. Let n be x(-6). Suppose -o + 8 = 5*k, 3*k + 0*o - 2*o = -n. Is r bigger than k?
False
Suppose 4*d + 29 = -11. Is 0 <= d?
False
Suppose 11 - 3 = h. Suppose 4*v = h - 0. Suppose 5 = 2*n - 3*t, 0*t = -3*n - v*t + 1. Is 1 greater than n?
False
Suppose -9*q = -2*q - 28. Which is bigger: q or 8?
8
Suppose 2*s - s = 2*h - 15, 5*s + 45 = 5*h. Is 3 at most h?
True
Suppose s = 2*s + 5. Let o = -5 - s. Is o < 1/4?
True
Let v = 0.2 + -0.5. Let h = -1.3 - v. Let x = h + 1.1. Is -1/6 < x?
True
Suppose -5*x = 25, 2*x = h + 3*h - 10. Suppose h = -0*n + 4*n - 4. Let p be (-4)/(-10) - 2/5. Which is smaller: n or p?
p
Suppose 0 = 2*i - 5*m + 4 + 14, 0 = i + 4*m - 17. Let k be ((-1 - i) + 3)/(-1). Which is bigger: -2 or k?
k
Let v = -80 - -53. Let t be ((-2)/(-12))/(6/v). Is t smaller than 0?
True
Let w be 0 + 6 + (2 - 3). Suppose w*j = -4*y - 26, -2*j = -2*y - 0 - 4. Let k = j + 1. Is k bigger than -1?
False
Let w(a) = -2*a - 10. Let f be w(-7). Let h be (-14)/f + 2/(-4). Is -4 equal to h?
True
Let q = -24701/6 + 4108. Is -10 at most as big as q?
True
Let b = -9 + 16. Suppose -5*t = -20, -31 = 4*s - 5*t - b. Is s at least 1/4?
False
Let r be (9/(-6))/(9/6). Is -1/4 at least r?
True
Let t be (4 + -1 + -2)*11. Suppose -3*k + t = 2. Suppose 4*b + k + 1 = 0. Is 2/11 not equal to b?
True
Suppose -3*h - 88 = -7*h. Let m = h + -87/4. Which is smaller: m or -1?
-1
Let n = -73 - -73.24. Is -1/2 at most n?
True
Let r be 1 + -2 + (-1)/1. Suppose -516 = -2*q - 3*o, 2*q - o = -q + 752. Let t be q/(-170) + (-2)/17. Is r at least as big as t?
False
Let z(q) = -2*q - 3. Let g be z(-11). Suppose -2*t + 5 = g. Which is smaller: t or -11/2?
t
Let w(k) = -k - 8. Let p be w(0). Do -8 and p have different values?
False
Let w(l) = -4*l + 15. Let n be w(4). Let d be 12/27*(-2)/36. Is n at most as big as d?
True
Let r(i) = i**2 + 0 + 7*i - i + 4. Let q b