et d = -1 + 3. Suppose -j = -5 + 4, -3*j = -c - 3. Suppose c = -o + 2, -b = -3*b - 5*o + 12. Is d at most as big as b?
False
Let f(s) = -s**2 - 4*s + 7. Let t be f(-6). Let y = t - -6. Which is smaller: y or -1?
-1
Let w = 39 + -39. Is w less than -6/35?
False
Let u = 2 - 2. Are u and -1 non-equal?
True
Suppose 2*d - 3*d + 10 = 0. Suppose p = 6*p + d. Suppose 5 = -5*r - 10. Is p smaller than r?
False
Suppose 0 = -3*k - 6 + 12. Is k less than or equal to 5/2?
True
Let v(k) be the first derivative of -19*k**4/4 + k**3/3 - k**2/2 + k + 3. Let a be v(1). Let f = -25 - a. Is f < -6?
True
Let b = 78894157/187 + -421895. Let g = 22/17 + b. Do g and -1 have the same value?
False
Let d(x) be the second derivative of -x**3/3 - 5*x**2/2 - 2*x. Let c be d(-4). Which is bigger: 1 or c?
c
Let f be (-3)/10*4/(-3). Let y = 2 + -2. Let s = 1 + y. Which is greater: s or f?
s
Let d(s) = -4*s**3 - 7*s**2 - 10*s. Let y(c) = -c**3 - 2*c**2 - 3*c. Let a(p) = 2*d(p) - 7*y(p). Let z be a(-1). Is 2/5 at most z?
False
Let w be 0/(-3*(-4)/(-6)). Suppose 5*n = -l + 28, w = -0*n + n - l - 2. Suppose 0 = 4*p + 5*m + 4, 4*p - p + 3 = -n*m. Is p at most -2?
False
Suppose -3*b = -u + 11, -4*u + 0*u + 2 = 2*b. Suppose u*n - 4*l = -0*l + 14, 3*l = -12. Which is smaller: -1/6 or n?
n
Let o = -153 - -125. Does -31 = o?
False
Let g(z) = z + 5. Let t(d) = d**3 - 4*d**2 + d. Let n be t(3). Let j be g(n). Suppose 17 = -p - 3*a, 0 = -2*p - 2*p + a - 3. Is p greater than or equal to j?
False
Let v be (-52)/(-10) + (-2)/10. Suppose -v*w = -w. Suppose 2*a + 0*a = 0. Is a < w?
False
Let y be (0 - -1) + -1 + 0. Let n(c) = 2*c + 1. Let u(i) = -i - 7. Let x be u(-6). Let g be n(x). Which is smaller: y or g?
g
Let s = -59 - -27. Is s greater than or equal to -33?
True
Let m = -19 + 17. Let p be ((-6)/(-9))/((-2)/6). Is m < p?
False
Let a be 96/(-72)*6/28. Which is smaller: 1.3 or a?
a
Let y(z) = z**2 - 9*z - 24. Let v be y(11). Do -11/8 and v have the same value?
False
Let g = -23 - -24. Let y = 0 + 0.05. Which is smaller: y or g?
y
Suppose 5*g + 0*g - 70 = 0. Suppose -4*y = 5*p + g, p + 1 = 3*y - p. Which is smaller: 0 or y?
y
Let d = 665 + -21937/33. Which is smaller: d or 0?
0
Let t be (20/(-12))/(1 + 69/(-72)). Is -41 smaller than t?
True
Let d = 9 - 5. Suppose -d*b - 3 = 5. Are b and -6/5 unequal?
True
Let g(x) = -x**3 - 12*x**2 - 11*x - 19. Let y be g(-11). Is -19 <= y?
True
Suppose -4*p = -2*k - 4, -9*k + 4*k + 6 = -2*p. Is -5 less than or equal to k?
True
Let o = 8 - 12. Let f = 4 + o. Let d(y) = y - 9. Let i be d(7). Are f and i unequal?
True
Let a be (-31)/(-6) + 4/(-6). Which is bigger: a or 4?
a
Let v(i) = -3*i - 3. Let f be v(8). Let u be (-3)/(1/(2/f)). Which is smaller: -0.1 or u?
-0.1
Suppose -q + 8 + 2 = -5*r, 4*q = 0. Let l be ((r + 4)/(-2))/1. Is l less than -2/3?
True
Let m = -0.4 + -0.1. Let q = m + 5.5. Let d = -4.96 + q. Does d = 0?
False
Let f = 7 + -8.1. Let g = -1 - f. Let a = 2 + -1. Is a at least g?
True
Let u = 2.2 - 2.19. Is u less than -3/13?
False
Suppose -t = 3*x + x + 19, 2*t + 13 = -3*x. Let i = t + 4. Does 4 = i?
False
Let p(z) = z - 4. Let r(d) = 2*d - 5. Let g(v) = -3*p(v) + 2*r(v). Let t be g(-2). Which is bigger: t or -1/5?
t
Let o = -2 - -1.72. Let h = -0.02 + o. Is h equal to 1/4?
False
Let g(b) = b**3 + 3*b**2 - 3*b - 6. Let l be g(-4). Let s be 15/l*4/(-6). Let p be s*(2 - 3) - -2. Does p = 3/8?
False
Let g(f) = 4*f - 2*f - f - 1 - 6. Let a be g(5). Let i be 4/a*(-2)/(-4). Which is smaller: 2/9 or i?
i
Let h = 6 - 8. Which is smaller: h or 0.4?
h
Let d = -135 + 539/4. Are 26 and d equal?
False
Let c = 22 - 24. Suppose -15 = -5*j - 0. Let v be 8/(-3) - j/9. Which is bigger: v or c?
c
Let k(g) = -4*g + 51. Let x be k(14). Is x != 0?
True
Let k be 3/(2*(-4)/(-88)). Is k bigger than 34?
False
Let a = -6 - -4. Let n = 0.1 - -0.9. Let j = n + a. Which is smaller: -3/5 or j?
j
Let n(p) = p**2 - 3*p + 2. Let b be n(2). Let c(m) be the first derivative of -m**3/3 - m**2/2 + m - 1. Let x be c(b). Which is smaller: -1 or x?
-1
Suppose -4*v + 2*l - 1 = -9, 3*v + 3*l + 3 = 0. Are v and -1/7 non-equal?
True
Let r be 933/(-77) + 27/(-63). Let s = 2092/165 + r. Which is bigger: s or 1/2?
1/2
Let w be -1 + 2 + (-3)/1. Let s be (w/(-6))/((-2)/(-6)). Is s greater than or equal to -1?
True
Suppose -t + 9 = 2*d, 4*d - 3*d + 4*t = 22. Suppose 8 = 5*n - d. Let r = -0.1 - -0.1. Are r and n unequal?
True
Let b(m) = -2*m**2 - 6*m + 11. Let l be b(-5). Which is greater: -7 or l?
-7
Let s = 1207/114578 - 2/971. Is s <= 1?
True
Suppose 0 = 9*o - 10*o - 1. Are o and -2/5 non-equal?
True
Suppose 2*k = k - 1. Let v(u) = u**3 + 2*u**2 - 2*u + 2. Let n be v(-3). Let h = -2 - n. Is k less than h?
False
Let f be -1 + 0*(-3)/15. Let y be 2/3*3 + 2. Suppose -2*l + 6*l + y = 2*p, 3*l = -2*p - 10. Is f less than or equal to p?
False
Suppose 2*i + 0 = 4. Suppose 12 = -i*x - x. Which is bigger: x or -2?
-2
Let x(n) = -n**3 - 6*n**2 - 6*n - 2. Let s be x(-5). Let v(d) = d**3 + 7*d**2 - 6*d + 7. Let i be v(-8). Let w = 10 + i. Which is bigger: s or w?
s
Suppose -5*t = -0*t. Suppose 2*v = 5*h + 12, -2*h + 0*h = -2*v. Let k = 3 + v. Which is smaller: k or t?
k
Suppose 14 + 7 = 3*a. Suppose a*i = 4*i. Which is smaller: i or -1?
-1
Suppose -8 = -4*u + 4*h, u - 16 = -u - 4*h. Let v = u - 3. Let q be (-4)/(-36)*(v - -2). Which is bigger: q or -2?
q
Let h = 8 - 6. Suppose 0*b + 2 = 2*b. Let k be b - (-2 + 3 - 3). Are h and k unequal?
True
Suppose 4*k = 5*a + 22, -17*a = -2*k - 12*a + 6. Suppose 2*h + 12 = c + h, 3*c = -5*h + 12. Is k < c?
True
Let v = 2.9 - 0.9. Let t = 0.6 + -1.1. Is t bigger than v?
False
Let z = -153/2 + 77. Which is bigger: -114 or z?
z
Suppose m - 19 + 10 = 0. Are 10 and m equal?
False
Suppose -5*g = 56 + 14. Let k be 60/14 - (-4)/g. Let p be ((-5)/2)/((-2)/4). Are p and k non-equal?
True
Let v = -2.8 + 3. Let q = -4.2 + v. Let d = 3 + q. Which is greater: d or -2/9?
-2/9
Let l(k) = -k - 9. Let y be l(-7). Let n = 5 + y. Which is smaller: n or 1?
1
Let g = 0.01 + -0.04. Let z = -0.97 + g. Are z and 1/4 nonequal?
True
Let t be ((-3)/4)/(2/(-8)). Suppose -8 + 2 = -t*p. Is p equal to 5/8?
False
Let n = 1388/7 - 198. Suppose 4*f = -2*x + 16, -4*x - f - 3 + 7 = 0. Let p = 0 - x. Which is bigger: n or p?
n
Let x = 5 - 9. Let w be ((-5)/40)/((-2)/x). Which is smaller: -0.2 or w?
w
Let i(j) = -1 - 3 - 1 - 2*j. Let q be i(-4). Let w = 7/2 - q. Are w and 0 unequal?
True
Suppose -z - b - 87 = -4*z, 4*b - 72 = -2*z. Suppose 3*v - 4*p = 25 - 7, -z = -5*v + p. Suppose -4*l = -v*l. Which is smaller: l or -1?
-1
Let n be 3/6*2 - 1. Suppose n = -h - 3 + 5. Suppose -h*m - 2 = -0*m. Which is smaller: m or 0?
m
Let i be 4/(-3) - (-12)/(-18). Let y be i/(-8) + (-15)/(-4). Suppose 3*o + 9 = -0*o, -y*o - 12 = 5*h. Does 0 = h?
True
Let a(p) = -2*p**3 + p**2. Let j be a(-1). Let c(z) = -z - 3. Suppose 5*g + 9 = -4*i, -45 = 4*i + i - 5*g. Let v be c(i). Are v and j non-equal?
False
Suppose 5*o - 17 - 13 = 0. Let s(f) = f - 6. Let h be s(o). Is 4/7 less than h?
False
Let i = 0.06 + 0.04. Which is greater: 55 or i?
55
Let z be (-3)/2*2/3. Let b be z/3 + (-2)/(-6). Suppose 4*a + 0*a + 3*n = 16, -a - n + 5 = 0. Is a at most b?
False
Let v = 106 - 743/7. Let w(u) = -u**3 + 6*u**2 + 7*u + 2. Let x be w(7). Suppose 0 = -x*s - s. Which is bigger: s or v?
s
Let v(b) = b**3 - b**2 - 2*b + 3. Let m be v(0). Is 5 less than m?
False
Let x = -1.08 + 0.08. Let m = x - -2. Is 1 not equal to m?
False
Let a = 1 - 1.2. Let n = -11.8 - -11. Let t = -0.7 - n. Is a >= t?
False
Let v = -6 + 11. Suppose v*u = 4 - 14. Let k = u + -1. Are -3 and k unequal?
False
Suppose -8*h - 12 = -2*h. Let o be 1/3*(-5)/1. Which is smaller: o or h?
h
Suppose i = -9*i. Which is bigger: 8/15 or i?
8/15
Let f be (-4)/(-10) - 24/10. Let g be ((-1)/2)/((-5)/(-6)). Is f less than or equal to g?
True
Let x = 9 - 75. Which is greater: -65 or x?
-65
Suppose v + 11 = 2*s + s, -2*s = -2*v - 2. Suppose -v*n = -19 - 1. Suppose 3*k = a - 6, n*a - 11 = 4. Is k at most as big as -1?
True
Let r be (1 - 1)/(2 - 4). Is r less than or equal to 0?
True
Let l(g) = g**2 - 3*g - 2. Let t be l(4). Suppose 0 = -3*o + 8*o. Suppose o = -2*y + 5*y + 5*z - 28, 0 = 3*y - z + 2. Which is greater: y or t?
t
Suppose 4*p + 3 = p. Let u = -1091/5 + 217. Which is bigger: u or