- 13. Which is bigger: v or l?
v
Let d be 81/(-28) + (-51)/(-68). Which is smaller: -1 or d?
d
Let w(h) = -h + 4. Let a be w(4). Is 14/17 != a?
True
Let m = 1/305 + -1531/1830. Is m at least as big as 0.1?
False
Suppose 1 = o - 2*o - b, -3*o + 2*b + 17 = 0. Let s = -19 - -22. Do s and o have the same value?
True
Let h = -1 + 0. Suppose 30 = 5*c + 35. Is h less than or equal to c?
True
Let k = 0.65 + -0.6. Let s = k + -0.05. Is -7 bigger than s?
False
Suppose 3*w - 42 = 4*v, 2*w - 5*v = -0*v + 28. Let m be -1 - 10/w*-1. Is 0 > m?
True
Let a(w) = -w**2 + 3*w + 10. Let u be a(5). Which is smaller: u or 7/8?
u
Let i be (-1)/(6/(-8) + 1). Let p = -1 - 3. Let h be (-2)/p*1*-6. Does h = i?
False
Let k = 7877/6 + -1310. Which is smaller: -1/4 or k?
-1/4
Suppose 3*l - 13 = -10. Let y be -1*2/28*-4. Is l smaller than y?
False
Suppose 5*r = -4 - 26. Let d = 15 - r. Let f be (-56)/d + (1 - -1). Which is greater: f or 0.5?
0.5
Let c = -1/77 - 3/11. Which is greater: c or 0?
0
Let s = -6 - -8. Suppose s + 8 = -2*m - 4*f, 4*f + 20 = 0. Let c be 2 - m/((-5)/3). Which is smaller: 4 or c?
4
Let g = -0.2 - -0.3. Let w = -0.4 + -0.6. Which is smaller: g or w?
w
Let g be ((-6400)/78)/(1/(-3)). Let n = -246 + g. Is 0 greater than n?
False
Let j = 1.74 + -0.04. Let a = j - -1.3. Let d(r) = r**2 - r - 2. Let c be d(2). Which is greater: a or c?
a
Let h be ((-3)/(-6))/((-2)/(-20)). Suppose -6 + 56 = -h*k. Let d = 14 + k. Is -1/3 >= d?
False
Suppose -g = 2*g. Which is greater: g or 7?
7
Let j be (-6)/9 - (-668)/12. Suppose -5*f + 3*h = 14 + 11, -5*f - 3*h = j. Which is bigger: -7 or f?
-7
Let k be 6048/(-1970) - (3 + -6). Let j = -2/591 - k. Is 1 at least j?
True
Let m be (-3)/(-12)*0*-1. Is -1/79 equal to m?
False
Suppose -3*y = -5*y. Let r = 114407/1380 - 989/12. Let x = -2/23 + r. Is y equal to x?
False
Let b = -42.044 - -0.044. Let c = 43.06 + b. Let n = -1 + c. Is n at least -1?
True
Let l = 0.1 + -0.2. Let i = 0.1 + l. Let w = 0.1 + i. Which is bigger: 2/7 or w?
2/7
Let a = -7 + 4. Let p = a - -4. Let h = 36 + -39. Which is smaller: h or p?
h
Let s(l) = -2*l**3 + 16*l**2 + 18*l - 4. Let x be s(9). Is -26/9 != x?
True
Let r = -2/355 - -1791/2840. Let d = r - 1/8. Which is bigger: -4 or d?
d
Let x(l) = 2*l**3 - 2*l + l - 1 - l**3 - 2*l**3. Let m be x(0). Suppose -a = -5*o + 1 + 15, 5*a + o = -2. Is a != m?
False
Let r be (6 - 7) + 8/6. Is 0.1 less than r?
True
Suppose 0 = -6*f - 6 - 12. Which is bigger: f or -1?
-1
Suppose -b + 3 = 7. Is -1 equal to b?
False
Suppose -8*y + 3*y + 5 = 0. Suppose -3*u = -7 + y. Is -2/11 equal to u?
False
Let v(c) = -3*c**2 - 4*c - 1. Let z be v(-1). Is z greater than 1?
False
Let b(l) = 3*l + 5. Let x be b(-4). Is x <= -7?
True
Let l = -6062646 + 1364101832/225. Let t = l + -260/9. Is t greater than or equal to 1?
False
Suppose 4*q - 17 = -3*y, 2*y + 1 = -q + 4. Suppose -3*u - q = 1. Is u greater than -6/11?
False
Let c = -21 + 15. Let x = c - -5.97. Are x and 0 equal?
False
Suppose 0 = -r, -r = 5*z + 2*r - 25. Is z smaller than 1/2?
False
Let d = -0.14 - 3.86. Is 0 less than d?
False
Let b(f) = f + f**3 - 4*f**2 + 3*f**2 - 7*f**2 - 3 - 7. Let c be b(8). Which is smaller: -3/5 or c?
c
Let r = 87 + -122. Is r > -0.1?
False
Suppose 5*f = -0*f. Let n = -0.276 - -0.176. Which is smaller: n or f?
n
Let u(y) = y**3 + 5*y**2 + 3*y - 2. Let r be 8/12 - (-28)/(-6). Let n be u(r). Which is bigger: 1 or n?
n
Let l(f) = f + 2. Let w(y) = y**3 - 6*y**2 + 3*y + 7. Let o be w(5). Let x be l(o). Let b be (0 - -1) + 18/(-15). Which is smaller: b or x?
x
Let f be 8/32 - 146/8. Let i = 308/17 + f. Is 1/2 > i?
True
Let s be ((-5)/(-2))/((-1)/5). Let o = s + 14. Let j(v) = v**2 - 5*v + 3. Let d be j(5). Is o less than d?
True
Let i = 0.12 + -0.02. Let o = 4.1 - i. Let r = 0.1 + -0.2. Which is greater: r or o?
o
Let j = -0.3 - -0.2. Let w = -2 - -3. Suppose -5*r - 9 - w = 0. Which is smaller: r or j?
r
Let j = -2.95 - 0.05. Let o = j + 3.1. Let g be (-1)/3*(-5 + 6)*0. Which is bigger: g or o?
o
Let v(u) = u + 1. Let q be v(-2). Let m = 821555/11 + -74425. Let j = -262 + m. Which is smaller: j or q?
q
Let l = 3061 - 765. Let k = l + -11398/5. Let u = k + -16. Is u != 2/3?
True
Let w(n) = -1 - n + 6 + 2*n. Let d be w(-7). Let r be d/7 + (-72)/(-546). Is r >= 0?
False
Let c = -8 - -3. Let j = c - -7. Let z(k) = -k - 1. Let b be z(-3). Is j not equal to b?
False
Suppose 2*z = -z + 30. Let u be 2 + -1 + z/(-8). Is u at most 0?
True
Let s = -46 + 45.3. Which is greater: 8/7 or s?
8/7
Let v = 57 - 55. Which is bigger: 0.03 or v?
v
Suppose -19*f = 259 + 159. Do -22 and f have different values?
False
Let c = -30.1 + 29. Let f = 14 - 12.7. Let d = c + f. Is 0 at most as big as d?
True
Let b be (3/(-9))/((-3)/153). Let n = 33/2 - b. Do n and 1/4 have the same value?
False
Let c = 4 + -9. Let b be (c/(-55))/(1/2). Is b >= 0?
True
Suppose 0 = -a + 5*a + 4*z - 16, -3*a + 3*z - 12 = 0. Which is bigger: a or -2/21?
a
Suppose 4*w - 37 = -9. Which is smaller: -0.2 or w?
-0.2
Let p(t) = -5*t + 10. Let i be p(-5). Let b(a) = a**2 - 2*a - 3. Let n be b(-2). Suppose -i = -n*w - 10. Is w less than -1?
False
Suppose 0 = -b - 4*b + 10. Suppose 0 = -b*l + 3*i + 7 + 3, -5*i - 19 = -l. Let t(m) = -m**3 - 2*m**2 + 1. Let x be t(l). Are x and -2 nonequal?
True
Let g = -272 - -11156/41. Which is greater: g or -1?
g
Suppose 3*d = -3 + 12. Let a = 5 - d. Let i be 1*((-27)/13 + a). Do 0 and i have the same value?
False
Let f be 1*(-3)/(-3)*-1. Let n = f + 0. Is n < -2?
False
Let w be (-8)/(-6)*(-1)/2. Suppose -7 + 2 = -5*x. Suppose 2*q + 3 - x = 0. Is q at most as big as w?
True
Let q = -14 - 5. Let h = -18.9 - q. Is h at least 12?
False
Let i(m) = -2*m + 28. Let a be i(18). Which is smaller: a or 1/5?
a
Let s = -6549/23 - -285. Let c = 64/69 - s. Let a = -3 - -1. Which is smaller: a or c?
a
Suppose 2*x + 236 = -5*l, 2*x - 224 = 2*l + 3*l. Is l less than -47?
False
Let v = -2 + 4. Suppose p + v = -p. Is -2/7 > p?
True
Let y(k) be the first derivative of k**2 - 9*k + 2. Let i be y(7). Suppose -i = -4*n - 1. Does 0 = n?
False
Let i(x) = 2*x - 6. Let w be i(4). Let a be 2/(-2 - -1) + 4. Let b be a/3*(-27)/(-12). Are w and b non-equal?
True
Suppose 4 = 2*f + 2. Suppose 3*m + n = -f + 4, -5*n + 15 = 2*m. Are -6/5 and m nonequal?
True
Let f be 7/21 - 4/(-6). Which is greater: -2 or f?
f
Let k = -103.9 + 102. Which is greater: k or 1/3?
1/3
Suppose -p - 3*v - 7 = 0, 4*v + 0 + 6 = -2*p. Suppose -11 = 2*r - p. Let g be 1/(-2)*2/r. Which is smaller: -1 or g?
-1
Let g(v) = 3*v + 1. Let l be g(1). Suppose z = -4*z + 15. Suppose -q + z + 1 = 0. Is q greater than or equal to l?
True
Let w be (-8)/(-31)*1/(-4). Let u(r) = 10*r. Let m be u(0). Are w and m unequal?
True
Let s(y) = -y**2 - 9*y + 2. Let z be s(-9). Suppose -f - a + 3 = 2*a, 5*f + 4*a = 37. Suppose 3 - f = -3*g. Is g != z?
False
Suppose 4*h = -4*g + 27 + 5, 4*g - 5*h - 41 = 0. Which is smaller: g or 0?
0
Let r = 72 + -650/9. Let l be 2/6 + (-8)/6. Are r and l equal?
False
Let h = 1 + -1. Let u be 13 + 1 + (h - -1). Let z be (-18)/28*(-10)/u. Is -1 less than z?
True
Suppose -7*t = -2*t. Let d = -28 - -14. Let o be 45/(-35) + (-4)/d. Is o != t?
True
Let t = 0 + 0.4. Let q = 4 - 4.5. Let d = t + q. Is 0.4 < d?
False
Let x = 6 - 9. Suppose 3*b = 2*r + 10, 2 = -r + 3*b - 9. Is x at least as big as r?
False
Suppose 7*d - 2*d + 3*z = 10, 10 = 5*d - 4*z. Let q be 1/(-4) + (-17)/(-20). Which is smaller: d or q?
q
Let g = -1 + -1. Let m = -2.3 - g. Let d = 0.9 - -1.1. Are m and d nonequal?
True
Let n = 24 + -33. Which is smaller: n or -12?
-12
Let s be (-341)/((-2 + 3)*6). Let m = 57 + s. Let h = 0 - 0. Is m > h?
True
Let x be ((-1)/(-3))/(((-11)/(-18))/11). Is x >= 6?
True
Suppose -4*z + h = -32, 5*z - 12 = 4*h + 28. Suppose 2*y - z = -2*y. Suppose -v + 2 = -y*v. Which is smaller: v or -1?
v
Suppose -3*g = g - 12. Suppose 1 - 4 = -g*k. Let m be (1 - k)*(-2)/(-2). Which is smaller: -2/17 or m?
-2/17
Let y = -0.018 + -0.182. Let s = -0.2 + 0.2. Is y bigger than s?
False
Let z(n) = 0*n**3 - 3*n + 9 - n**3 + 9*n**2 + 1. Let j be z(8). Let v = j + -97/2. Which is bigger: 3 or v?
3
Let v be (-26)/(-39)*(-11 + -1). Let k(p) = 3*p + 5. Let s be k(-4). Are s and v non-equal?
True
Suppose 3*n - 18 = 2*x - 3, -5*x - 2*n = 9. Let j = x + 5. Which is smaller: