v(4). Let i be (x/8)/(2 - 3). Suppose 0 = 3*g - 7*g. Which is smaller: g or i?
g
Suppose 5*o + 7*f + 9 = 4*f, -3*f = 9. Which is greater: 1/6 or o?
1/6
Let m = 0 + -1. Let a = 184 + -551/3. Does a = m?
False
Let k(a) = -a**3 - 4*a**2 - 3*a. Let x be k(-2). Let l(r) = r - 2. Let m be l(6). Let j = m + x. Do 4/3 and j have different values?
True
Suppose -a + 3*f + 23 = 0, a - 6*f - 27 = -2*f. Suppose 0 = -u + 5*c + a, 3*u + 21 = -0*c - 3*c. Let i be ((-1)/u)/((-3)/4). Is 2 at most i?
False
Let m = 0.05 + 1.95. Let y = m - 4. Let l = -3 - y. Which is greater: l or -1/2?
-1/2
Let p(n) = -n**3 + 4*n**2 + 24*n + 17. Let w be p(8). Which is bigger: w or -48?
w
Let f = -1 - 4. Let h be f/(-30) - (-38)/(-84). Do 1 and h have different values?
True
Let i = 13 - 11. Which is greater: i or -1/4?
i
Let n = -24 + 48. Is 24 less than n?
False
Let h be (1/2)/(3/(-6)). Let c be 406/202 - (2 - 0). Let t = c + -213/1111. Is h greater than t?
False
Let v = 27093392378/1465 + -18493784. Let s = -2/293 - v. Let g(p) = p**2 + 3*p - 3. Let i be g(-4). Is s < i?
True
Let i = 16 + -13. Let j be 0 - (0/(-3) - i). Does j = 5?
False
Let m = -3 + 7. Let o be m/(-10) - (-189)/35. Suppose 2*k - 5*k + 6 = 4*g, 2*g = o*k - 10. Is k greater than or equal to 3?
False
Suppose 0 = -4*p + 3*a - 37, -4*p + 2*p = -a + 19. Suppose -6 = 2*n + 16. Is n greater than p?
False
Suppose 0 = 6*h + 7*h + 13. Are h and 2/393 unequal?
True
Let g = -4.9 - -0.9. Is g > 1?
False
Let z be (-1285)/(-20) - 0/(-2). Let k = z - 64. Which is bigger: k or -3?
k
Let f = 15908/37 - 430. Do f and 0 have the same value?
False
Let j(a) = -a**2 - 12*a - 13. Let m be j(-10). Let q(d) = 3*d + 2. Let w be q(2). Which is smaller: w or m?
m
Let x(o) be the second derivative of 5*o**4/12 - o**3/6 - o. Let w be x(1). Suppose 6*d - w*d = 0. Does d = 1?
False
Let r be (-80)/(-6)*(3 - 0). Let b be (-2)/(-1) - r/15. Do -1 and b have the same value?
False
Let s = 3.09 - 3. Let t = s + 0.01. Which is smaller: -1/4 or t?
-1/4
Let i(v) be the first derivative of -v**4/4 - 5*v**3/3 - v**2/2 - 5*v + 2. Let o be i(-5). Is o < 0.2?
True
Let p = -10 - -7. Is p <= 6?
True
Let g = 0 - 3. Let j = 3 + g. Which is greater: j or 2?
2
Suppose -2*x - 34 = -3*v, 0*x + 3*x + 2*v = -38. Is x less than -14?
False
Let g(y) = -y**2 + 3*y - 2. Let w be g(2). Which is smaller: w or -1/42?
-1/42
Let c = 5 + -3. Which is smaller: 0 or c?
0
Let f be 5 + (-3 - 3/(-3)). Suppose 4*r - f = r. Let j be r - -3*33/(-117). Which is smaller: -1 or j?
-1
Suppose -2*a + 6*a = w - 20, -2*w - 25 = 5*a. Is -5 smaller than a?
False
Suppose -3*g + 4*l = -4*g - 75, -g + 4*l - 91 = 0. Let b = g + 418/5. Is 1 greater than b?
True
Let r = 24 + -39. Let k = -17 - r. Which is smaller: k or 1?
k
Let k(z) = -z**3 - 8*z**2 + 4*z - 6. Let g be k(-8). Let t be (-4)/10 - g/(-5). Let y be 80/182 - t/(-28). Is y at most as big as 1?
True
Let k be 12/(-4)*(-8)/(-3). Let h(y) = -y - 10. Let r be h(k). Let l be (1 - (-3)/3)/r. Which is greater: l or -2?
l
Suppose -5*j + 4 = -3*j. Suppose 4*v - 25 = -v, j*v + 4 = i. Is 14 != i?
False
Let v(y) = -y**3 + y**2 + 1. Let r(g) = -3*g**3 + 3*g**2 + 2. Let o(z) = r(z) - 4*v(z). Let k be o(0). Is k < -4?
False
Let h be (-2)/3 + 1324/42. Let s = h - 4912/161. Let d = 147/92 - s. Is d >= 1?
True
Let j(n) = -n. Let a be j(1). Let s be a/(-1*(-1)/(-2)). Let y be 8 + -5 + 0/(-2). Which is bigger: y or s?
y
Let i be 26/(-22) - (0 + -1). Let h(d) = -d**2 - 4*d - 6. Let l(a) = -a. Let o(y) = h(y) + 4*l(y). Let x be o(-7). Which is smaller: x or i?
i
Let r be 0 - 50*3/6. Let u be r/9 - (2 - 5). Let p(z) = z**2 - z - 1. Let w be p(2). Is w at most u?
False
Let m(t) = t**3 - t - 21. Let f be m(0). Let g be 2/14 + (-18)/f. Do -3/10 and g have different values?
True
Let p = 5/26 + 4/13. Let a = 1293/7 + -185. Which is smaller: p or a?
a
Let j = 0.05 - 0.65. Let g = j - -0.5. Let h = 8.6 - 8. Which is smaller: h or g?
g
Let g be (0 - 0)*(0 + 1). Let k = 5 + -3. Suppose -5*p - 18 = 3*w, -12 = -k*p + 6*p. Is g bigger than w?
True
Let r(s) = -s**2 + 10*s - 3. Let y be r(9). Let p = y - 6. Which is smaller: 2/27 or p?
p
Let n be ((-18)/(-12))/(1/2). Suppose 0 = -2*q - a - 5, -4*q = 4*a + 9 + n. Let l = -2 + 0. Is l smaller than q?
False
Let l = 9 - 6. Let q(u) = 2*u - 1. Let k be q(l). Which is greater: 6 or k?
6
Let h(p) = 3*p - 19. Let r be h(6). Which is smaller: r or -10/7?
-10/7
Suppose -8 = -2*i + 2. Let l be -1 - (5/(-2))/i. Which is bigger: 1/3 or l?
1/3
Suppose 4*j + 5 + 1 = -3*u, 3*u = -6. Let r = 1 - j. Which is smaller: 3 or r?
r
Let b = 9.8 - -14.2. Is -0.1 not equal to b?
True
Let q(b) = b**3 - b**2 - 2. Let a be q(0). Is a != -1/2?
True
Suppose 3*p = 3*d + 6, -d = -4*p - 1 + 9. Let s(k) = k**2 + 6*k + 6. Let m be s(-5). Suppose 3 = p*x + m. Which is bigger: x or -1?
x
Let x = 15.8 - 17.8. Which is smaller: x or 0.4?
x
Let j = -7 - -12. Let q(d) = -d**3 - 14*d**2 - 14*d - 5. Let p be q(-13). Which is smaller: j or p?
j
Let o = 3 + -1.6. Let r = -1.4 + o. Let k = 253/4 + -63. Which is greater: k or r?
k
Let z(v) = -v + 2. Let t(f) = -f**2 - 3*f + 5. Let m be t(-5). Let r be z(m). Let d be (-1)/3 + r/(-15). Which is bigger: -1 or d?
d
Let f = -13/6 + 3/2. Is f at least as big as 0?
False
Let i = 61 + -76. Which is smaller: -14 or i?
i
Let n = -1/72 - -913/72. Let u = 500/39 - n. Suppose b - 5 = 5*r + 2, 1 = r + b. Which is bigger: u or r?
u
Suppose 0 = 5*k - 4*n - 17, 4*n - 5 = 2*k - 19. Let z = -569/9 - -63. Do z and k have the same value?
False
Suppose w + 5 = 2*w. Suppose 3*d = w*d - 2. Do -1 and d have different values?
True
Suppose -3 = 2*z - z. Let f = z + 3. Which is greater: -3/7 or f?
f
Suppose 2*r - 8 = -3*s - 0*r, 0 = -r + 4. Is s <= -5?
False
Let w = 1 - 4. Let n be (9/6)/w*0. Suppose b + 2*b = n. Which is smaller: -1 or b?
-1
Suppose 0 = -i - 0 - 2. Let s = i + 3. Which is smaller: s or 2?
s
Suppose 4*h = -11 + 35. Which is bigger: h or 13/2?
13/2
Let x(m) = m**3 - 4*m**2 + 2*m + 4. Let h be x(3). Let l = -0.01 + 0.05. Do h and l have different values?
True
Let k = -2037/5738 - -7157457/11045650. Let t = 2/275 - k. Let l = -12 + 11.8. Which is greater: t or l?
l
Suppose 5*d + 4*t + 4 = 0, -2 = 4*d + 5*t + 3. Suppose 3*x + 30 = -d. Which is bigger: x or -11?
x
Suppose -193 = -8*w + 3*w - x, 205 = 5*w - 5*x. Are w and 39 equal?
True
Suppose -21 - 14 = 5*k. Let m(i) = -i**3 - 6*i**2 + 4*i - 9. Let q be m(k). Suppose -3*v = v + q. Does 1/2 = v?
False
Suppose 4*c - 9 = c. Suppose -3*b - 10 = 5*k - 43, -57 = -5*k + 3*b. Suppose 2*f + f = k. Is c bigger than f?
False
Let v(o) = o**3 - 4*o**2 + 4*o - 11. Let n be v(3). Let t = -20 + 11. Which is greater: t or n?
n
Suppose -5*r = -0*r + 5*x + 20, 3*r = -x - 12. Let v = 0 - r. Let d be (6/(-27))/(v/3). Is -1 <= d?
True
Let b = -19 - -29. Let g = b - 5. Suppose -4*v + g*t - 2 = 6, -4*v = t + 8. Is -2 less than v?
False
Let o = -36 + 92. Suppose 6*a - 2 = -o. Which is bigger: a or -7?
-7
Suppose 85 = -4*r + 4*s + 33, 2*r + 5*s - 2 = 0. Suppose -5*x = 15, -p + 5*x + 81 = -0*p. Let q be (r/(-6))/(p/8). Which is smaller: q or -1/4?
-1/4
Let i(a) = 2*a**2. Let f be i(1). Which is smaller: 3 or f?
f
Let g be (9/(-21))/((192/(-21))/4). Let y = -2 - -3. Which is smaller: g or y?
g
Suppose -2 = -3*f - 4*h, 4*f - h - 14 = -5. Let b be 2/8 + 7/4. Is f <= b?
True
Let v(m) = m**2 + 2*m + 3. Let h be v(-1). Is -0.21 > h?
False
Suppose 3*f - 60 = -3*c, 2*f - 3*f = 2*c - 24. Let s be 36/f + 2/(-8). Is s at most 2?
True
Let i be ((-2)/8)/(7/(-140)). Which is bigger: 50/9 or i?
50/9
Suppose -4*m + 5*w - 17 + 33 = 0, m - 11 = 3*w. Which is smaller: m or -9?
-9
Let w = 10 - 19. Suppose -4 = -5*d + 1. Is w bigger than d?
False
Let y be (-2)/3 - (-21)/18. Let q(n) = -2*n**2 - 24*n + 27. Let j be q(-13). Is y <= j?
True
Let n be ((-17)/2 + 1)/(-6). Are 0 and n equal?
False
Suppose -u + 304 = 4*u + 2*p, 0 = -2*p + 4. Let y be u/14 + (-8)/28. Suppose -k + y = 2. Which is smaller: k or 1?
1
Let n be 2/7 - (-5 - (-4048)/56). Is n bigger than -67?
False
Suppose 0 = -4*g - 8*g + 24. Let w be (2*1)/(5 + -3). Is w at least as big as g?
False
Suppose -c + 6 = 2*c. Let o be 2 + 15*4/6. Suppose -2*y + 6*y = o. Is c greater than or equal to y?
False
Suppose -61 + 68 = 7*i. Which is smaller: i or 5/39?
5/39
Let i = 12 - 22. L