
z
Suppose 0 = -32*u + 30*u + 14. Are 7 and u unequal?
False
Let r(a) = -8*a**3 - a**2 + a. Let m be r(-1). Let n = -53 + 115/2. Is n < m?
True
Let o(s) = -25*s + 3. Let a be o(3). Let v = -650/9 - a. Which is smaller: v or -1?
-1
Let j(m) = -m + 8. Let p be j(7). Which is smaller: 11/5 or p?
p
Let k = -138 + 143. Let a = -2.8 + 3. Is a less than k?
True
Let z = 341/5 + -68. Is 0.4 > z?
True
Suppose 2*i - 8 = -2*i. Suppose 5*n = -i*r + 12, 0*r - 3 = -r - n. Which is smaller: -2/23 or r?
-2/23
Let j(x) be the first derivative of -x**4/4 - 5*x**3/3 - 3*x**2/2 + 3*x - 2. Let u be j(-4). Which is smaller: -2 or u?
-2
Let a(w) = 4*w + 5. Let z(n) = 3*n + 6. Let c(m) = 2*a(m) - 3*z(m). Let o be c(-6). Let l = o + 3. Is 0 at least as big as l?
False
Let p be ((-2)/4)/((-1)/12). Suppose s + 8 = -h, -h = -p*h + 3*s - 8. Let j = 3 + h. Which is bigger: j or -2/13?
-2/13
Suppose -p = -5, 5*x + 40 = 5*p + 5. Let a = 9 - 8.84. Let f = -0.06 + a. Which is bigger: x or f?
f
Let j(t) be the third derivative of -t**6/120 + t**5/15 + 5*t**4/24 + t**3/6 + 4*t**2. Let i be j(5). Suppose 3*n - 7*n = 4. Which is smaller: i or n?
n
Suppose -3*z + k + 3 = 1, 8 = -4*z + 4*k. Let w be (1/(-5))/((-6)/48). Is z < w?
False
Let o be (-2)/11 - 117/143. Let h be -6*(o - (-2)/4). Is 3 not equal to h?
False
Suppose 3*c + 5*r + 1 = -1, -5*c = 4*r - 1. Let x be (-3)/4 - c/4. Is -1 bigger than x?
False
Let n = -2 + 1. Let d(a) = -4*a**3 - 5*a**2 - 7*a - 6. Let l(r) = 5*r**3 + 6*r**2 + 8*r + 7. Let b(v) = -6*d(v) - 5*l(v). Let x be b(-1). Is n less than x?
True
Let v = -42 - 145. Let q = v - -193.84. Let t = 0.16 + q. Is t < 1?
False
Let z(m) = m + 7. Let u be z(-7). Let y be -6 + u + 4 - 1. Let g(x) = -5*x**2 + x. Let o be g(1). Is o > y?
False
Let q be (2/(-1))/((-8)/4). Let r be q/(0 - (-2 - -3)). Is -5/6 at least as big as r?
True
Let f = 8 + -8. Let n be (-2 - 3/(-1))/(-1). Let k be 1/(-3)*f*n. Which is bigger: -2/11 or k?
k
Let p = 706/7 + -101. Let s = 8 - 6. Let y = -2 + s. Which is greater: p or y?
y
Let w(m) = -m**2 + 8*m + 2. Let s be w(8). Let b(j) = j**2 - 4*j + 4. Let d be b(4). Suppose -d*v = -s*v. Which is greater: 1/4 or v?
1/4
Suppose -1318 = 3*q - 463. Let k be ((-12)/q)/((-6)/15). Which is smaller: 1 or k?
k
Let a be 216/(-440) + (-6)/(-15). Which is smaller: a or 1/3?
a
Let i = -33/259 - -3/148. Let t = 9/28 - i. Let g = -1 + 2. Which is smaller: t or g?
t
Let d be (-28)/6 + (-10 - -14). Is d equal to -1/10?
False
Suppose b = -2*b + 3. Let u be (b/2)/(11/44). Let l(q) = -2*q - 2. Let p be l(-2). Is p less than or equal to u?
True
Let g = -0.3 + 0.8. Let p = 7.5 - 9. Let w = p - g. Which is smaller: w or -2/7?
w
Let f = 3375 - -921. Let t be ((-40)/15)/((-23)/f). Let p = t - 498. Are p and 0 non-equal?
True
Suppose 5 = -4*q - 3. Let z(r) = -r + 8. Let j be z(6). Let h be (q/(-20))/(j/(-15)). Is h at least -1?
True
Let s(b) = -b**3 + 4*b**2 + 4*b + 6. Let l be s(5). Let o = -1 + l. Suppose 3*w + a + 12 = o, -5*w - 5*a - 7 - 3 = 0. Which is bigger: w or -6?
w
Let z = -33 - -32.9. Which is smaller: z or 1.7?
z
Suppose -1 = 5*w - 4*w. Let k(v) = -5 + 3 + 2*v - 3*v. Let b be k(0). Which is smaller: b or w?
b
Let f = 18 + -13. Let d = 7 + -14. Let x = f + d. Do x and 0 have different values?
True
Suppose -5*u = -4*u - 3, h = -2*u + 3. Suppose -7*g + 3*g = -4. Suppose -g = p + 2. Is h < p?
False
Let q = -3 - -3. Let t(m) = -m**3 + m**2 + m. Let d(g) = g**3 + 8*g**2. Let z be d(-8). Let i be t(z). Do q and i have different values?
False
Suppose -5*h - 5*o = 5, 0*o + 27 = 5*h - 3*o. Suppose w + 11 = f, 0 = -3*f - 5*w + 1. Is f >= h?
True
Let o = 77 - 79. Let j(r) = -r**3 - 9*r**2 - r - 8. Let f be j(-9). Which is smaller: f or o?
o
Let u = -31643 + 93914/3. Let c = u + 342. Let s = c - 47/12. Which is greater: 1 or s?
1
Let y = -8 - -12. Let z = y - 3.82. Which is greater: z or -1?
z
Let l(u) = u**3 - 6*u**2 + u + 10. Let j(b) = -b**2. Let y(a) = 6*j(a) - l(a). Let n be y(0). Let z be (-28)/n + -1 + -1. Which is bigger: z or 1?
1
Let d = 0 - 1. Is d less than 0.09?
True
Let r be (((-6)/9)/1)/((-2)/(-3)). Is -12/43 greater than r?
True
Suppose -7*c + 2*c + 20 = -2*g, -16 = -4*c - 2*g. Suppose 4*i = 3*y - 8, -4*y - 4*i + 2*i + 18 = 0. Suppose 10*o - y*o = 12. Do c and o have the same value?
False
Let z = 30 + -34. Is z greater than -9/2?
True
Let p = 0.24 - 0.46. Let x = p - 0.88. Let y = 1 + x. Which is smaller: y or -2/9?
-2/9
Suppose 5*f - 22 = 68. Suppose -5*i + 26 - 2 = 2*c, 5*i + 4*c - f = 0. Let s be 2*((-4)/i + 0). Which is smaller: 0 or s?
s
Let p(v) = 6*v. Let q be p(-1). Let x(o) = o + 6. Let u be x(q). Which is greater: u or -6/11?
u
Let v be ((-1)/(-2)*-4)/(-5). Let x = 1.1 - 1.6. Which is smaller: v or x?
x
Let k = -1 - 1. Let j = 0.11 - -4.89. Let l = -6 + j. Does k = l?
False
Let f(y) = -y**3 + 10*y**2 + 12*y - 9. Let h be f(11). Suppose -h*z - 10 + 8 = 0. Is -4/11 at least as big as z?
True
Suppose -44*t + 46*t = 0. Is t < -4/33?
False
Let l(h) = 10 + 7*h + h**2 + 1 - 2. Let y be l(-6). Let u be 2/6 - 13/y. Which is smaller: -5 or u?
-5
Let d = -0.005 + 0.005. Is d greater than or equal to 0.2?
False
Let x be (2*-2)/(-4) - -11. Suppose 10*a + x = 14*a. Let z(u) = u - 3. Let p be z(5). Are p and a equal?
False
Let f be (10/5)/(2 - 6). Is f at most 1?
True
Let d = -17.54 + 17. Let u = d + 0.04. Let y = 0.7 + u. Which is bigger: -1 or y?
y
Let v(t) = t**2 + 2. Let l be -2 - (-6)/(1 - -2). Let j be v(l). Suppose 4*n + j = -2. Does -1 = n?
True
Let b(t) = -11*t - 1. Suppose -5 = -5*x - 0. Let d be b(x). Is -11 at least d?
True
Let u be 2*(1 - 18/21). Let z(p) = -7*p - 10. Let n(r) = -10*r - 15. Let h(s) = 5*n(s) - 7*z(s). Let l be h(-4). Which is greater: u or l?
u
Let i be 0 - (52/16 - 2). Is 0 smaller than i?
False
Let y be 2 - (-2 - 4/4). Suppose -4*o = -h + y, -33 = 3*h - 0*o + 4*o. Which is bigger: -6 or h?
-6
Let y(n) = n**2 + 9*n - 9. Suppose -m - 2*t + 7*t - 11 = 0, -4*t = m + 11. Let l be y(m). Is l smaller than 14?
True
Let c(d) = 2*d - 4. Let l(i) = -3*i + 7. Let t(u) = 5*c(u) + 3*l(u). Let x be t(-4). Suppose 4*k + 14 = -6, f - 20 = 4*k. Which is greater: f or x?
f
Let o be ((-8)/(-16))/((-1)/46). Let l = 25 + o. Which is bigger: 15/8 or l?
l
Let q be (-12)/((-9)/3)*1. Let f be 3 + 1 + 0 + -2. Which is smaller: q or f?
f
Let d = 75 + -84. Let h(s) be the second derivative of s**5/20 + 3*s**4/4 - s**3/6 - 9*s**2/2 - s. Let v be h(d). Which is smaller: v or 2/11?
v
Let k be 1*(-9)/(2385/10). Which is greater: k or 1?
1
Suppose 1 = -2*x - 3*a - 6, -4*x - 5*a = 13. Let v = x + 5. Let n = -1 + 1. Which is smaller: v or n?
n
Suppose 5*d = 20, 0 = -x - 3*d - d - 56. Which is smaller: x or -73?
-73
Suppose 0 = -2*i - 0*w + 4*w - 14, 5*i - 13 = -2*w. Let s(d) = -3*d + 2. Let t be s(-2). Let b(g) = g - 8. Let q be b(t). Which is bigger: q or i?
i
Suppose -2*b + 6 = -2*x - 0*b, 2*b = 4. Which is smaller: -1/73 or x?
x
Let h be (-30)/(-8) + (-6)/8. Suppose c = -h + 9. Is c less than or equal to 4?
False
Let a = 22 + -16. Are a and 0 nonequal?
True
Suppose -8*i + 7*i = 14. Suppose 2*r = -4*r - 90. Which is bigger: r or i?
i
Let p(r) = -r**2 + 3*r - 1. Let n be p(3). Let x = n + 5. Suppose 3 - x = j. Is -2 at least j?
False
Let f(p) = p**3 - p**2 - 2*p - 1. Let k be f(2). Let t = 3 - 3.2. Which is bigger: t or k?
t
Let r = 89.06 + -86. Let t = r - 3. Suppose -2 = -2*g - 0. Are g and t nonequal?
True
Let x = -358.08 + 345. Let n = x - -13. Which is smaller: -2/7 or n?
-2/7
Suppose 32 = -5*i + 3*i. Let k = i - -22. Let x be 1*-2*(-7)/2. Are x and k non-equal?
True
Let h(g) = g**3 + 4*g**2 - g + 4. Let x be h(-4). Suppose 3*d - x = d. Let s = -50 - -53. Is d not equal to s?
True
Let i = 7/4506 + -645191/536214. Let r = i + 18/17. Which is smaller: 1 or r?
r
Suppose -2*w - w = 3, -38 = -5*c - 2*w. Let x be (-2)/6 - (-112)/12. Which is smaller: x or c?
c
Let m be (1 - 1) + 3 + -1. Let f be m/(-5) + (-18)/(-45). Which is greater: f or 3/8?
3/8
Let v = 25 - 26. Let a = -554/805 - 3/115. Which is bigger: v or a?
a
Let g = -53 - -26. Let q be (-2)/9 + (-60)/g. Which is smaller: 1 or q?
1
Let h be 3/4*4/(-12). Is 0.8 greater than h?
True
Suppose 0 = -4*c - 2*o + 6, -4*o = -2*c - 13 + 1. Suppose 0 = 5*d - c*f + 3*f, 0 = -3*f. Which is smaller: 1/5 or d?
d
Let v(o) = 2