g?
g
Let f(r) = -2*r**2 - r + 1. Let o be f(-1). Does 4/17 = o?
False
Let q be 1 - (1 - 2/(-2)). Let a = 19 + -18. Is a less than q?
False
Let x(s) = -2*s**3 + s. Let d be x(-1). Let j(v) = 15*v**2 - v. Let k be j(-1). Let h be (-4)/k*(-2)/(-4). Are h and d non-equal?
True
Let c = -11 + 7. Let g = 25 - 323/13. Which is greater: g or c?
g
Let v be 24/36 - (-1)/(1*3). Which is greater: 11/5 or v?
11/5
Let q = -0.35 - 0.05. Let b = -6.7 + 7. Let w = q + b. Is w greater than or equal to -3/2?
True
Suppose 5*p = 5, 3*o - 3*p + 13 = p. Let r be o/(-4)*(-8)/(-27). Let j be 2 + 0/(-2) + -3. Which is smaller: j or r?
j
Let o(z) = -7*z**3 - z + 1. Let i be o(1). Let b = i + 2. Is -5 greater than b?
False
Let v(p) = 31*p - 1. Let x be v(-4). Let f = 623/5 + x. Which is smaller: 0 or f?
f
Suppose 3*h - 2*h - 6 = 0. Let q be 1/5*(-10)/h. Which is greater: q or -4/7?
q
Let u = 876/19 - 46. Let c = -27/76 + u. Which is greater: -3/2 or c?
c
Let h = -1313/7 + 188. Let x(o) = o**3 - 11*o**2 + 9*o + 14. Let z be x(10). Suppose z*c = c. Which is greater: h or c?
h
Let p be 0 - -1 - (-1 - 171/(-3)). Which is smaller: p or -54?
p
Suppose 0*u - 252 = -u. Let y = -4197 - -17791/4. Let g = y - u. Which is bigger: 0 or g?
0
Suppose -s = 2*s. Let z be (2 - 6) + 9/3. Which is bigger: z or s?
s
Let l(d) be the third derivative of d**7/840 + d**6/360 + d**5/120 + d**3/3 + d**2. Let s(n) be the first derivative of l(n). Let b be s(-1). Is b >= -1?
True
Let s be (-2)/3 - (-1)/(-3). Let z(r) = -14*r**2 + 21*r - 3. Let k(x) = -5*x**2 + 7*x - 1. Let l(w) = 17*k(w) - 6*z(w). Let o be l(-7). Are o and s equal?
False
Let c be 1*4/6*-3. Let z(s) = -8 + 0 - 3*s + 2*s + 1. Let b be z(-6). Which is smaller: c or b?
c
Suppose 2*i = -2*i + 4. Let n = i + 1. Suppose 0 = 3*l - 4*f + 8, 2*f = l - n*l + 4. Is l greater than -1?
True
Let t = -25 + 34. Is 9 <= t?
True
Let j(g) = g + 6. Let y be j(-6). Let a(m) = m - 10. Let w be a(y). Let p = w - -11. Which is greater: p or 0?
p
Let r = 2 - 2. Let q = 4 + -2. Let d = r + q. Is d smaller than 2?
False
Let v = -144 + 144.1. Which is smaller: v or 20?
v
Let k(h) = h**2 - 18*h - 11. Let w be k(19). Which is bigger: w or 7?
w
Let m(h) = -1. Let d(q) = q**2 + 2*q + 2. Let a(p) = d(p) + 3*m(p). Let o be a(-2). Which is bigger: o or 1/31?
1/31
Suppose -5*u + 4*i - 5*i - 20 = 0, 4*i = 0. Suppose -5*y + 2*m + 49 = m, 3*y - 5*m = 25. Suppose 1 = j - 3*s + y, 10 = 5*s. Are u and j equal?
False
Let h = -0.36 + 0.06. Let s = 3.6 + -4. Let k = h - s. Is k at least as big as 0.1?
True
Let o be (-6)/(-9) - 1*10/(-48). Which is greater: o or 2?
2
Let k = 17 + -8. Is 19/2 greater than or equal to k?
True
Let y be 35/14 + (-2)/(-4). Suppose -i = 5*a - 18, -3*i + 4 + 5 = 0. Is y at most a?
True
Let h be 0/(1 - -3 - 3). Which is smaller: h or 2/77?
h
Let b(o) = 1. Let n(w) = 2*w - 6. Let f(p) = -5*b(p) - n(p). Let c = -20 - -21. Let q be f(c). Is q at least 0?
False
Let p = -472/25 - -94/5. Suppose -3*h + 3 = -9. Let r be -1*h/4*-1. Is p >= r?
False
Let b = -38 - -38.01. Which is smaller: b or -1/3?
-1/3
Let o = 4 - 12. Which is bigger: o or -1?
-1
Let i = 4278/245887 + -4/1877. Which is bigger: -1 or i?
i
Let w be 0/(-2)*5/15. Suppose -4*h = 2*m, w = -5*h - m + 2*m. Suppose 6 = -5*y - i, 3*y + h*i = -2*i + 2. Which is greater: -3 or y?
y
Let f be 1 - (-1)/(1/(-45)). Let y be ((-2)/f)/(3/(-12)). Is 0 >= y?
True
Suppose -3*h + 4*h + 4*g = 0, g = 0. Suppose h = -2*q + 4*d - 1 + 3, 2*q = -4*d + 18. Suppose 0 = -q*y - 3*m + 14, -4*y + 5 = 5*m - 1. Which is bigger: y or 3?
y
Let l(u) = u**2 - 5*u + 1. Let r be l(5). Is r >= 4?
False
Let h be (1 - -1) + 0 - 2. Let b(i) = -i**3 + 3*i**2 + 3*i + 3. Let l be b(4). Is h equal to l?
False
Let a = 1 + -1.2. Let u = -0.1 - a. Let z = -2 + 1.7. Is z greater than or equal to u?
False
Let x = -22 - -15. Which is smaller: x or -9?
-9
Suppose 0 = 5*x - 0*x - 15. Let h = -2 + x. Let l = -6 - -6. Which is smaller: l or h?
l
Let y = 176 + -2289/13. Suppose -3*d + 2*f + 5 = 0, 0 = 3*d - f - 4 - 0. Which is bigger: d or y?
d
Let d(s) = s**2 - 11*s - 1. Let a be d(10). Let i = a - -17. Let h = -2 + i. Is 3 less than or equal to h?
True
Suppose -4*u = -7*m + 2*m + 4, -4*u - 4 = -m. Let w(r) = r**3 + 6*r**2 + 6*r - 7. Let d be w(-5). Let z be 9/d*(3 + 1). Which is greater: u or z?
u
Let p = -10 + 10. Let d be ((-70)/26 - -3) + p. Is 1/3 >= d?
True
Let j = 3 - 2.6. Suppose 10 - 2 = -y - 4*a, 0 = -3*y - 5*a - 3. Suppose -y = -0*d - 4*d. Which is greater: j or d?
d
Let n(b) = b**2 - 3*b + 4. Let q be n(3). Suppose -4*p - 2*g + 14 = 0, 3 - 24 = q*p - 5*g. Is 1 equal to p?
True
Let t be (2/(-4))/(10/820). Are -40 and t nonequal?
True
Let n = -0.095 + 2.115. Let s = n - 2. Let p = s - -5.98. Which is bigger: p or 1?
p
Let y(i) = -i - 8. Let x = 11 - 16. Let g be y(x). Is -4 equal to g?
False
Let j be 32/(-112) - (0 - 1). Which is smaller: 0 or j?
0
Let t = 1 + -1.02. Let v = t + 2.02. Let y be (2*(-2)/8)/(-2). Which is smaller: y or v?
y
Suppose -4*l = -0*l + 16. Suppose 5*p + 2 = 5*t - 3, 4*p + 22 = -2*t. Is l greater than p?
False
Suppose 0 = -3*w + 3*q + 21, 2*w + 37 = 5*w + 5*q. Suppose -w = -5*i + 51. Which is smaller: 11 or i?
11
Let h(d) = 3*d + 2. Let g be h(3). Which is smaller: g or 10?
10
Let y = -72 + 39. Is -33 < y?
False
Let c = 29 - 21. Let y = -7 + c. Is -2/5 equal to y?
False
Let m(l) = 2*l**2 - l + 1. Let h be m(1). Suppose 0 = -h*i - u - 5, 5*i + 4*u + 17 = -0. Is i not equal to 2?
True
Let n be (-2)/7 - (-2)/7. Suppose 3*a + 0*a = -3*q, 4*q + 5*a = n. Suppose -j - 3 + 0 = q. Which is smaller: -4 or j?
-4
Let v = 6 + -7. Let y be (-80)/30*6/14. Which is smaller: y or v?
y
Let j = -6.1 - -6. Let l be -4*57/(-234) + -1. Let f = 32/273 - l. Which is smaller: j or f?
j
Let y(w) = -4*w + 3. Let k be y(2). Let j be ((-2)/(-6))/(k/9). Let x be (-13)/11 + (-2)/(-11). Do j and x have the same value?
False
Suppose 1 = 4*v - 11. Let j = v - 5. Is j less than -2/3?
True
Let g = -4 + -15. Is g less than or equal to -19?
True
Let u(j) = -5*j + 2. Let i be u(-4). Suppose -i + 7 = -5*z. Suppose t + 4 = -z*t. Which is smaller: t or 0?
t
Let a = 5 - 5. Let b = -4 - 0. Is a equal to b?
False
Let k = 7 + -6.4. Let s = k - 1.6. Are s and 6 non-equal?
True
Let k(b) = b**3 - 5*b**2 - 6*b. Let u be k(6). Which is smaller: 2/15 or u?
u
Let t(u) = 2*u**2 - 5*u - 4. Let r be t(3). Let a = -1/12 - -61/156. Which is greater: r or a?
a
Let m be (10/(-4))/(3/12). Let t be (-6)/15 + (-44)/m. Which is bigger: 3 or t?
t
Let h(t) = t**3 + 8*t**2 + 6*t - 9. Let p be h(-7). Let y be ((-1)/p)/(3/60). Let m be (8/y)/((-20)/2). Which is smaller: -1 or m?
-1
Let m(r) = 2*r**3 + 4*r**2 + r. Let q be m(-3). Is q not equal to -21?
False
Let i = -134 + 154. Is -1 <= i?
True
Let s(f) be the third derivative of f**4/24 - f**3/3 - 3*f**2. Let i be s(4). Let y(d) = d**2 + d + 1. Let k be y(0). Which is greater: k or i?
i
Let n be 19/(-5) - (-4)/(-20). Let z be ((-3)/(-6))/(n/56). Are -6 and z equal?
False
Let m = -10.86 + -0.14. Let a = m - -11.2. Are -4 and a equal?
False
Let z = 18 - 19. Let w = 2 + -2. Which is greater: w or z?
w
Let v = 22 + -14. Suppose 0 = -v*y + 6*y - 2. Let h(z) = z**3 - 2*z**2. Let p be h(2). Is y < p?
True
Let h = 0.7 - 0.7. Let j = -0.8 - h. Let k = 0.7 + j. Is 2 equal to k?
False
Suppose 3*x - 53 = -44. Which is greater: -8 or x?
x
Suppose 3*j - 4 = -4*l + 8, 3*l + 8 = 2*j. Let g = 4 - j. Which is bigger: g or -1/5?
g
Suppose -7*x - 6 = 5*n - 4*x, -n + 4*x + 8 = 0. Let t = -318 - -5404/17. Which is smaller: n or t?
t
Let z = 18/13 - 100/91. Suppose 2*o = 4, 0*u = 3*u - 2*o + 7. Is z not equal to u?
True
Let k = -0.7 + 1. Let z = k - -0.1. Which is smaller: z or -1?
-1
Let s(m) = -m**3 + m**2 + 2*m + 1. Let u be s(2). Suppose 0*k + 2*k - 2*x = 4, x = -2*k + 1. Is u at least k?
True
Let l be 10/24 + 6/24. Is l smaller than 0?
False
Let z be (-6)/9 + (-34)/(-6). Suppose s = 3*a + 11, -4*a + 12 + 0 = 4*s. Is s smaller than z?
False
Let w(c) = c**3 - 13*c**2 - 13*c - 1. Let r be w(14). Let s(a) = -a**2 + 10*a - 6. Let v be s(4). Let i = r - v. Which is smaller: i or -6?
-6
Let b be 0 + (-2 - -4) + -1. Let q = 46077587/456911 - -10/35147. Let f = q + -101. Which is bigger: b or f?
b
Suppose 3*l + 3*p - 54 = 0, 3*p - 25 = -2*p. Let o = l + -41/3. 