 k or g?
k
Let d = -17 - -11. Suppose w + 3*z - 1 + 2 = 0, -3*z = 2*w + 2. Do d and w have the same value?
False
Suppose 0 + 3 = w. Let m = w + -2. Which is greater: 4 or m?
4
Let d = 0.176 + 0.824. Is d <= 1?
True
Suppose 2 = -0*i - i. Let f = -78.6 + 82.6. Is f greater than i?
True
Suppose 30*y = 29*y. Is -4/19 smaller than y?
True
Let t = -46 - -413/9. Let u(v) = -v**3 - 12*v**2 - v - 13. Let o be u(-12). Which is smaller: t or o?
o
Let a(d) = -d**3 - 6*d**2 + 4*d + 9. Let m(q) = 2*q**3 + 12*q**2 - 7*q - 18. Let r(c) = 9*a(c) + 4*m(c). Let o be r(-7). Is o smaller than 2/3?
False
Let x = 19 + -13. Suppose 2*s - x*s - p = 4, -4*s - 5*p = -12. Is s > -2/3?
False
Let b = 30 - 29. Is b greater than 5.1?
False
Let i(c) = c**3 - 6*c**2 + c - 6. Let q be 8/6*(-27)/(-6). Let l be i(q). Which is greater: l or -2?
l
Let d(u) = 2*u - 1. Let f be d(2). Suppose m = h + 3, -3*h - 4 = m - f. Is -11 < h?
True
Let f(x) = -x + 8. Let l be f(9). Which is bigger: l or -7?
l
Let y = 18 + -18. Let j be -2 - (-216)/(-10) - 2. Let q = j + 26. Which is bigger: q or y?
q
Let f be 99/(-54) + 5 + (1 - 1). Is f equal to 4?
False
Let s(t) be the first derivative of 2*t**2 + 11*t - 2. Let v be s(-8). Let r be (-2)/7 - (-36)/v. Which is smaller: r or -3/2?
r
Suppose 0 = -4*q + 4, 0*p + 5*p + 28 = 3*q. Is -5 greater than or equal to p?
True
Let m be 12 + (1 - 4)*1. Is 8 at least m?
False
Let x(g) = -g + 3. Let v be x(4). Let o be 8/(-3) - -1*2. Which is bigger: o or v?
o
Let z be -3 + (-1 - (-12)/4). Which is greater: -7 or z?
z
Let s = 11 - 21. Let l be s/(-3) + (-1 - 1). Which is smaller: l or 0?
0
Let f = 11 + -10.99. Let i = f + -0.21. Which is smaller: -3/2 or i?
-3/2
Let x be (-855)/255 - 3/(-1). Is x less than 0?
True
Let z = -314 - -2834/9. Is 2 less than or equal to z?
False
Let v = -6.3 - -5.3. Which is smaller: 1/4 or v?
v
Let s = -2 + 1. Suppose 3*x - x + f = 0, -5*x = 3*f - 1. Let g be 3*(x + (-5)/(-3)). Is s at most g?
True
Let y = 209075/37 + -5651. Is -1 less than or equal to y?
True
Let d = 7 + 5. Let q be 1 - -2 - d/(-1). Which is greater: 14 or q?
q
Let l be (-2)/(6/3) + (-14 - -19). Suppose -25 = -4*i - y, 3*i - 5*y + 20 = 2*i. Which is smaller: i or l?
l
Let d = 8 - 21. Which is greater: d or -14?
d
Let f be (-44)/3 + 1 + 3. Let b = -11 - f. Is b at least -1?
True
Let f(l) = l**3 - 6*l**2 + 6*l - 10. Let m be f(5). Let w be 2/(-2*(-2)/14). Let x = w + m. Which is bigger: x or 2/3?
x
Suppose 2*z + 12 = 6*z. Let c be (z/(-45))/(3/(-18)). Are -1 and c unequal?
True
Let y = 4 - 4.6. Let x = -0.3 - 0.1. Let p = y - x. Is -2 at least p?
False
Let u(a) = -4*a + 2. Let d(v) = -v**3 - 2*v**2 + v. Let c be d(-2). Let l be u(c). Suppose -5*m + 0 - l = 5*b, 3*m - 3*b - 12 = 0. Are 1 and m nonequal?
False
Let w(s) = s**2 - 9*s + 9. Let n be w(8). Let t(d) = 4*d**3 - 2*d**2 + d. Let g be t(n). Does 2/7 = g?
False
Let d = 10 + -6. Let t = d - 9/2. Let v = 0.3 + -1.3. Which is greater: v or t?
t
Let z = 31 - 27. Is z greater than or equal to 1/3?
True
Let l = -550 - -1133/2. Let i = l + -367/22. Is i greater than or equal to -1?
True
Suppose -b = -4*b - 21. Let a = b - -11. Let p be (a/(-20))/(1/(-2)). Which is bigger: -1 or p?
p
Let m = -39.89 - -40. Is m equal to 0?
False
Let f be 3 + (-2 - -1) + -3. Let x be ((-6)/(-1))/f + 2. Are x and -4 non-equal?
False
Let x be (-5)/(-16) - 1/4. Suppose 0 = b + 3*p + 12, 2*b + 2 = -2*p - 6. Is b at most as big as x?
True
Suppose 0*x - 4*x = 12. Let d = x + 7. Suppose -5*a + a + 4*z = 0, -d*a + z = 6. Do -2 and a have different values?
False
Suppose 5*j = 2*o + 4, -2 = -4*j + o + 3. Suppose 0 = -j*r + 5 + 1. Is r at most as big as 3?
True
Let o = 0.38 + -0.4. Let u = o + -0.08. Which is greater: u or -2?
u
Let g = -3 - -5. Let b be (-2 - 3/6)*g. Are b and -4 non-equal?
True
Let h(p) = p - 7. Let c be h(3). Suppose 35 = -8*k + 13*k. Let w = k + c. Is w < 2?
False
Let f be 6/(-9)*3 + 9/4. Let t = 34 + -22. Does t = f?
False
Let v(t) = -t**2 - 4*t - 1. Let w be v(-2). Let p be (w - 2)/(2/(-6)). Suppose -4*s = -s + 9. Is p < s?
False
Let j = 2 + -1.7. Let q = 8.8 - 9. Let h = j + q. Do h and 0 have the same value?
False
Suppose 5*v + 30 = 2*m, 12*m - 16*m - 4*v = -32. Suppose -5*o + 26 + 24 = 0. Is o smaller than m?
False
Let j = -4 - -4. Let g = j - 18. Let o be (-4)/18 + (-13)/g. Which is smaller: 0 or o?
0
Suppose -2*v - 20 = -5*p + 3*v, -3*p + v = -6. Is 2/93 bigger than p?
False
Let m = -9 - -9.1. Let d be 1 + -2 - (-1 - -1). Let x be 1/((-1 - d) + -2). Is x > m?
False
Let k be (-97)/(-28) - 5/(-20). Let h = -4 + k. Let y = -0.2 - 0. Does h = y?
False
Let v(l) be the first derivative of -l**3/3 - 7*l**2/2 - 7*l - 1. Suppose 0 = 4*u + s - 3*s + 24, 5*u + 25 = 5*s. Let q be v(u). Which is smaller: q or -6?
q
Let l = 0 - 3. Let b(v) = 2*v + 2. Let d be b(l). Let j = d + 5. Which is smaller: -1/5 or j?
-1/5
Let l be (-1)/((-1)/(-3))*-1. Let p(t) = 4 + t**3 - 5 + 2*t + 4 + t - 4*t**2. Let v be p(3). Is l at most v?
True
Let i = -18 - -13. Let q be -79 + (i - (1 + -3)). Let n = q + 413/5. Which is smaller: 2 or n?
n
Let d(j) = -7*j + 8. Let g be d(4). Is -21 < g?
True
Suppose 3*y = -y. Suppose y = 2*l - 7*l + 60. Suppose -2*n = -0*n - l. Is 6 bigger than n?
False
Let u = 2716/5 - 64919/120. Let x be -10*(-4)/(128/(-6)). Let y = u + x. Which is bigger: -1 or y?
y
Let f(c) = c**3 - 4*c**2 + c. Let b be f(4). Let k be (-1)/2 - (-36)/8. Does k = b?
True
Let l be (-104)/(-65)*(-462)/(-4). Let f = -186 + l. Which is smaller: -1 or f?
f
Let l = 26.9 + 2.1. Is l equal to -3/7?
False
Let n be (-6)/14*(-6)/9. Let t = -6 - -6. Suppose -3*w + t*w = 3. Is w at most as big as n?
True
Let x = 0.02 + 0.07. Let j = x + -0.19. Is j at most 11?
True
Let b = 145865/68 - 2145. Which is bigger: b or 1?
1
Let r = 0.1 + -0.2. Let z be (13 - 12)*1/23. Let q = z + -27/92. Is r at least q?
True
Suppose 0 = -2*h - 2*s + 8, 2*h + h - 2*s + 3 = 0. Are h and 5/9 nonequal?
True
Let f be -1 + 15 + 2/(-1). Let x be (-3)/f - 7/(-60). Which is bigger: -1 or x?
x
Let k = 12 + -20. Let f(r) = -r - 9. Let i be f(k). Is -1/3 >= i?
True
Let v = 2.9 - -0.1. Let z = -72 + 69.1. Let m = z + v. Is -1 bigger than m?
False
Suppose -2*d - d = -3. Let p = 1 + -8. Let t = -4 - p. Which is greater: d or t?
t
Let r be 9/27*((-2)/(-26) - -2). Which is bigger: r or 1?
1
Let s = -3 + 4. Is s >= -1/18?
True
Let m be (2/5)/(9/(-90)). Suppose 0*h = h. Which is bigger: h or m?
h
Let y be 1*-5 - (-11 + 9). Suppose -o + 7 - 1 = 0. Let g = o + y. Is g at most as big as 2?
False
Suppose 0 = 2*b - b - k, -3*k - 6 = -5*b. Suppose b*n - 17 = -c + 7*n, -8 = 4*c + 3*n. Is 2 smaller than c?
False
Let v = 630 - 4425/7. Which is bigger: 2/9 or v?
2/9
Let p = 12 + -7. Suppose r - 6 = 4*z, p*r = -0*z - 2*z - 80. Which is smaller: -13 or r?
r
Let j(y) = y. Let z be j(-4). Suppose 4*d = 5*b - 1 - 3, -5*d + 5*b = 5. Which is smaller: z or d?
z
Let g be ((-36)/(-21))/((-2)/21). Let w be g/20 + 10/25. Is -1 greater than or equal to w?
False
Let z be (21/(-6))/((-1)/2). Let q(v) = v**3 - 6*v**2 - 8*v + 8. Let f be q(z). Is f smaller than -16?
False
Suppose 0 = -p - 122 - 3. Let m = 1627/13 + p. Is m < -1?
False
Suppose l = 3*h + 24, 10*l - 5*l - 20 = -5*h. Which is smaller: l or 13?
l
Let v = 183/4 + -45. Is v > -0.4?
True
Let d = -21 + 125/6. Let z(m) = m**2 + 8*m + 6. Let c be z(-7). Let f be ((-3)/3)/(c/(-1)). Which is greater: d or f?
d
Let u = 2570 - 71937/28. Let b = u - 4/7. Let a be (-2)/3 + 1/(-3). Which is greater: a or b?
b
Let x be 940*(-2)/(24/4). Let q = -319 - x. Which is smaller: q or -6?
-6
Let w = -6 + 9. Let z = 6 - 4. Suppose 2*s - 6 = -z. Is s less than w?
True
Let w = 0.17 - 0.37. Which is greater: w or 9?
9
Suppose 3*x - 108 = -4*u + 11, -3*u = -x - 99. Suppose -u = -4*w + 4. Are w and 8 equal?
False
Let x be 12/30 + (-28)/(-5). Suppose h = 3*h - x. Is h < 4?
True
Let w = -3 - -3. Suppose 5*v = -4*b + 25 + 12, w = 2*b + v - 11. Let s be b/(-12)*-9 + -1. Does s = 2?
False
Let l = 7/45 + -2/45. Which is bigger: 0 or l?
l
Suppose 0 = -2*u - 0*u. Suppose -t - 15 = 4*h + 2*t, u = 5*h - t - 5. Is -1 bigger than h?
False
Suppose r + 2 = -4*h + 5, 0 = 4*h + 5*r + 17. Suppose 4*z = h*t - 4, 0 = z - 4*z - 5*t + 10. Which is smaller: 1/8 or z?
z
Let j = 767/9114 - 10/147. Are 1 and j non-equal?