0 or v?
v
Suppose -3*k = -17*k + 42. Let q = -11 + 11. Suppose -2*c + c + k = q. Which is greater: 1 or c?
c
Let s(z) = 2*z**3 + 23*z**2 + 13*z + 18. Let b be s(-11). Let j be (-28)/15 - 3/6*b. Is j < 0?
False
Let o = 268 + -268. Is o at most 4/253?
True
Suppose -3*i + 29 = 209. Which is bigger: -56 or i?
-56
Let c(h) = -h**2 - 23*h + 62. Let p be c(-26). Which is bigger: -9 or p?
-9
Let q = 47/6 + -17/2. Suppose -5*r = -4*i - 38, -3*r + 2*i + 0 = -24. Suppose r = -4*y + 18. Which is smaller: q or y?
q
Suppose -5*b + 9 = -16. Suppose 10*r - b*r = 5. Are r and 1 unequal?
False
Let r = 122 - 111. Let x = 0.016 + -0.216. Which is bigger: x or r?
r
Let i = -1005 - -896. Which is smaller: i or -107?
i
Let n = 1.79 - 18.99. Let g = n + 5. Let x = -12 - g. Is -1 > x?
False
Let k = 1426.3 + -1426. Which is smaller: k or 3.4?
k
Suppose 0 = 5*n - 2*l - 391 + 1878, -5*n + 4*l - 1479 = 0. Let r = n + 421. Is 122 >= r?
True
Suppose 28 = -4*r - 28. Let g = -15 - r. Is g at most -2/21?
True
Suppose 0 = x + x + 4*k + 30, 2*k = 0. Is x less than or equal to -10?
True
Let h = 1.7 + -2.46. Let l = h - -0.86. Is l < 8?
True
Let x = 2.05 + -0.05. Let o = x - 2.1. Let a = 2.652 + -1.652. Is o != a?
True
Let x = 229 - 232. Which is greater: x or 2/11?
2/11
Suppose -5*r + 12 = -r + 2*q, 5*r + 5*q = 15. Suppose -l + 50 = 5*w, -2*l + 8*w - r*w + 85 = 0. Is l not equal to 46?
True
Let k(x) = x**3 - 2*x**2 - x + 2. Suppose -10*v = -23*v + 13. Let w be k(v). Is w < -10/17?
False
Let l = -274 + 247.1. Let p = -27 - l. Is 1 < p?
False
Let r = -0.0276 + 16.0876. Let y = r - 4.78. Let a = y + -0.28. Is a != -1?
True
Let s be (116 - -3) + 0/6. Are s and 119 unequal?
False
Let d = -9 + 12. Suppose d*s - 5*s - 62 = 0. Do -31 and s have different values?
False
Let m be 2 + 8/(1 + 1). Let f be (-3)/(4/(40/m)). Does -10 = f?
False
Let n(q) = q**2 + 7*q - 3. Let x be n(-7). Let t(y) = y**2 + 9*y + 6. Let p be t(-8). Which is bigger: x or p?
p
Let m(c) = -c**3 + 15*c**2 + 7*c - 5. Let d be m(15). Suppose -4*v = -4*l - d, 50 = -2*v + 4*v - 5*l. Does 26 = v?
False
Let f = 30 - 50. Let w = -36 - f. Let u = w + 16.05. Which is greater: 1/4 or u?
1/4
Suppose -5*n - 4*w - 3790 = -8*w, 1529 = -2*n - w. Is n at most as big as -762?
True
Suppose 6*l + 15 = l - 4*r, -4*l - 4*r - 16 = 0. Suppose 17*z = 58 + 10. Suppose 3*o + l = z*o. Which is smaller: 1/5 or o?
1/5
Let r = 1.6 - 1.64. Are r and 10 unequal?
True
Let p = -1401 - -1416. Which is smaller: -1/4 or p?
-1/4
Let o be 3 - (-231 - (-6)/2). Let n be ((-44)/o)/((-2)/(-6)). Suppose 16 = -i + 11*s - 8*s, 4*s = 3*i + 23. Which is bigger: n or i?
n
Suppose 556 = 5*r + 15*h - 17*h, 5*h = 10. Which is smaller: r or 114?
r
Suppose -5*n = 10*n - 14*n. Are n and 6/59 unequal?
True
Let w = 33 - 28. Suppose 2*g - 5*q + 1 = 0, g + 1 - 5 = 4*q. Let k be (9/(-6))/((-18)/g). Which is greater: w or k?
w
Let w(n) = -887*n**3 + 5*n**2 + n - 2. Let i be w(-1). Is 889 smaller than i?
False
Suppose -2*l - 18 = -20*l. Which is bigger: -17/36 or l?
l
Let t = 19 - 11. Let r be t/(-6)*(-6)/4. Let n be (2 - 3)*4/10. Which is greater: r or n?
r
Let i = 28/975 - -2/39. Is i at most as big as 17?
True
Let d = 481 + -484. Which is bigger: d or -16/3?
d
Suppose -3*q = 2*s - 3*s + 3, -q + s = 3. Let h(o) = 0*o**2 + 2 + 1 - 9 + 5*o - o**2. Let z be h(4). Are q and z equal?
False
Let m be 2*(-1)/6 - 804/(-9). Is 90 less than m?
False
Suppose -5*w - y = 26757, -2*y - 15757 = 4*w + 5645. Let i = w - -171245/32. Let b = i - -3/32. Which is greater: b or 0.06?
0.06
Suppose -3*b - 6 = j, j + 4*b + 19 = -4*j. Suppose 0 = -9*n + 5*n + 2*x + 8, -4*x + 14 = 2*n. Let z be (7/((-7)/n))/(3/2). Which is smaller: z or j?
j
Let i(q) = -q + 2 + q + q - 5. Let n be i(-2). Is n != 2?
True
Suppose 5*r - 3*i = -13, 4*i + 2 = -0*r - 3*r. Is r at least -3?
True
Let n(z) = 3*z**2 - 10*z - 4 - z**2 - 6 - z**2. Let f be n(11). Let w = f + 8. Which is greater: w or 8?
w
Let d = 304 - 304. Is -0.01 at least as big as d?
False
Let x = -118 + 117. Which is greater: x or 2/135?
2/135
Let a(o) = o**2 + 2*o - 3. Let v be a(3). Let d be 9*(-6)/(-9)*26/v. Which is smaller: d or 10?
10
Suppose -8*h - 228 + 628 = 0. Are h and -3 nonequal?
True
Let w = 2/2025 - 25922/2025. Let s = -261/20 - w. Let d = 3/22 - -17/198. Which is smaller: s or d?
s
Let z = -1.7 - -2.7. Let n be 6/864*3/(-2). Which is smaller: z or n?
n
Let w be (-10 - -6)*(-5)/4. Let l = 8 - w. Let j be 3/l*-1 + 0. Which is greater: -2/9 or j?
-2/9
Let q = 0.043 - -10.957. Is 4 not equal to q?
True
Let c = 27.24 + -27. Let s = -10.24 + c. Are s and 0.2 unequal?
True
Let c be 11 + (-2)/(8/4). Let b be 15/c*(-4)/9. Let f(d) = -d**2 - 8*d - 17. Let w be f(-5). Which is smaller: w or b?
w
Let t be ((-2)/21)/((-80)/140). Which is smaller: -15 or t?
-15
Let i be -2 - (-8 + 0 + 2). Suppose 0 = -4*q - 5*t + 25, -7*t + i*t = q - 8. Suppose 4*v - q*d = 25, 3*d + 2*d = 5*v - 25. Which is greater: -3/8 or v?
v
Let c be 0/2 - 2*1. Let p be 0 + 3 + (-3 - 6/21). Is c bigger than p?
False
Let f = 321 + -320. Which is bigger: f or -2/783?
f
Let d = 758/105 - 33/5. Which is smaller: d or 1?
d
Let i(m) = m**3 + 2*m + 1. Let n(q) = 2*q**3 + q**2 + 5*q + 3. Let l(a) = -5*i(a) + 2*n(a). Let r be l(2). Let v = r - 1. Which is smaller: 2/7 or v?
v
Let l = -24.942 - -25. Let h = l + 0.342. Which is smaller: -1/2 or h?
-1/2
Let b = 230.71 - 231. Is -6 at least as big as b?
False
Let p(c) = -c**3 + 9*c**2 - c - 74. Let z be p(8). Are -292/15 and z equal?
False
Let j be (9/27)/((-2)/(-84)). Let o be (j/(-7))/(2*1). Which is greater: -3/40 or o?
-3/40
Let f(i) = -44*i. Let r be f(1). Let v(l) = -4*l**3 - 34*l**2 + 64*l - 6. Let k be v(2). Which is greater: r or k?
r
Let u = -9 - -12. Let s be u/30 - 1/2. Is 5 less than s?
False
Let h = 772 + -467. Which is greater: h or 0?
h
Let s be 21/5 + 1/(-5). Suppose -s*j = -4*u - 24, -5*j + 0*u = 4*u - 57. Let c = 4 + 5. Is c < j?
False
Let j = 0.08 + -0.58. Let u be 9/(81/(-12)) + 2. Is j less than u?
True
Suppose 36*z = 52*z - 2256. Are z and 140 unequal?
True
Suppose 3*k - 32 = 5*v, -3*k + 4*k + 16 = -5*v. Suppose l + k*r = 10, 6*l + r - 10 = 2*l. Let d = 2512/2947 - -2/421. Does l = d?
False
Let f = -12035 - -108532/9. Is f equal to 24?
False
Let i = -211/3 - -101503/1443. Do i and 1 have the same value?
False
Let j(x) = -x**3 + 17*x**2 + 139*x + 12. Let b be j(23). Suppose 0 = -5*n + 30 + 135. Is n at most b?
True
Suppose -587*m + 609*m = -18040. Which is greater: m or -819?
-819
Let u(n) = -3*n**3 - 2*n**2 + n + 2. Let f be u(2). Let l be 12/f + 2/2. Let t = 3.3 + -3. Is t less than l?
True
Let b(k) = k**3 - 13*k**2 + 13*k - 26. Let o be b(12). Let r = -31 + 19. Is r greater than o?
True
Let y = 15/26 + -1853/3302. Suppose 0 = 5*h - 0*h + z - 7, h - 3*z = -5. Which is smaller: y or h?
y
Suppose -27*j + 25*j - 4 = 0. Let r be 35/28 - j/(-2). Which is smaller: r or 0?
0
Suppose m = -0*m - 2*v - 224, -2*m + v - 458 = 0. Are -228 and m non-equal?
False
Let l = -0.6636 + 0.0636. Is 115 at most as big as l?
False
Suppose 5*w - 152 + 47 = 0. Suppose -m + 5*h = w, -m - 4*h + 15 = -0*h. Is -3 at most m?
True
Let b be -4 + 19572/39 - 2/(-13). Is 500 less than b?
False
Let k(x) = x**2 + 13*x - 168. Let m be k(8). Let a(i) be the first derivative of -i**4/4 + i**3/3 - i**2/2 - i + 1. Let t be a(m). Which is smaller: -1/13 or t?
t
Suppose 3*f + 2*r - 4 = 0, 0*f = -f - r + 1. Is f smaller than 5?
True
Let n = 0.01 + 0.06. Let k = n - 0.27. Let t be (2/(-21))/((-3)/9). Do k and t have the same value?
False
Let l be ((-1)/8*-3)/(-2). Let f(a) = -a**3 + 6*a**2 + 7*a + 1. Let y(x) = -x**3 + 6*x**2 + 7*x + 1. Let u(p) = -7*f(p) + 6*y(p). Let j be u(7). Is l < j?
False
Suppose 12*n - 5*n = 0. Suppose -2*x - w - 4 = n, -6*x + 3*x = -5*w + 6. Is x < -0.9?
True
Let y(i) = -i**3 + 6*i**2 + i + 1. Suppose -h + 19 = 4*z, 4 = -3*z - 4*h + 2. Let k be y(z). Let u = -281 - -844/3. Is k smaller than u?
False
Let n(x) = x - 1. Let o be n(3). Suppose -15 = -t - 2*p, o*t + 3*p - 14 - 15 = 0. Which is smaller: t or 14?
t
Let y = 59 + -42. Let u = -16.8 + y. Let g be (-9)/60 + (-4)/16. Which is smaller: u or g?
g
Let b = -112 - -111. Let l = -333 + 2989/9. Which is smaller: b or l?
b
Let k = 2.97 + 0.03. Let o = 0.063 + -12.063. Let p = o - -11.6. Which is g