 Which is bigger: n or 18/17?
18/17
Suppose 4*k + 0*l = 5*l + 2, 5*l = -3*k + 19. Let g be 1/k*18/4. Which is smaller: g or 1?
1
Let n be (-4 + 140/50)/((-23)/110). Let t be 37/(-1 - 362/(-40)). Let h = n - t. Which is smaller: h or 0?
0
Suppose 2*y + 3 = -1. Suppose a + 2*c = 2 - 7, 3*a + 2*c = 1. Suppose a*h - h = -4. Are h and y non-equal?
False
Let d(h) = h**2 + 5*h - 4. Let a be d(-6). Suppose 5*y - u = 3*u + 5, 5*u = -4*y + 4. Is a smaller than y?
False
Let p(g) be the third derivative of g**5/60 - g**4/4 + 2*g**3/3 + 2*g**2. Let u be p(5). Which is bigger: -2/7 or u?
-2/7
Let r(p) = 16*p**2 - 2*p + 2. Let c be r(-2). Is 69 <= c?
True
Suppose 2*y - 10 = -3*f, 2*y + 0*y = 3*f - 2. Let n = -3 + 8. Let b = n - f. Is 0 less than or equal to b?
True
Suppose 0 = 4*s + 2*i + 58, -s + 3*i = 5*i + 22. Which is greater: -13 or s?
s
Suppose i = -2*i, 4*g = 2*i + 4. Is g >= 3/7?
True
Let p = -24.6 - -25. Let y = 0 - 0.3. Let s = y + p. Which is smaller: -0.1 or s?
-0.1
Suppose -4*b - h - h = 126, 4*h = 4*b + 96. Do -1 and b have the same value?
False
Suppose 0 = -5*r + 5*b + 25, r + 3*r - 15 = -b. Let m be 4*(6/r)/3. Let a be m/(-8) - (5 - 6). Is 1 bigger than a?
True
Suppose 4*n = 6 + 22. Let j = n - 10. Let d be 0 + j/(-3) - -2. Is 3 >= d?
True
Let u be ((-27)/(-24))/(-3)*-4. Is u smaller than 2?
True
Let k(z) = z**3 + 2*z**2 - 2*z - 2. Let q be k(2). Suppose b + 13 = 5*f, -3*f = -2*b - 2*f + q. Let d be b + -1*(0 - 0). Is d smaller than 7?
False
Let r(o) = o**2 - 4*o + 3. Let v be r(4). Let i be ((-32)/72)/((-2)/v). Is i >= 3?
False
Let v be -4*(-3 - 0)/6. Let c(n) = -v*n - n - 3 + 4*n. Let q be c(4). Is q > 1/5?
True
Suppose -d + 4 + 0 = 0. Suppose f = -f + d. Which is smaller: 4/3 or f?
4/3
Let h be (-35)/(-5)*(-11)/((-44)/56). Is h smaller than 98?
False
Suppose -n + 4*n - 30 = 0. Suppose 2*t - n = -2. Which is smaller: 16/5 or t?
16/5
Let o = 0.01 - -0.15. Let y = o - 0.46. Does 1 = y?
False
Let q = 22 - 22.13. Let d = -0.1 - q. Which is smaller: 2 or d?
d
Let l be 5 + 93 + 5 + -2. Is 100 less than l?
True
Suppose 0*s + 5*s = -70. Let a be 38/s - 3*-1. Suppose -4*k - 4*y + 20 = 0, -2*k = -y + 2 - 0. Do a and k have the same value?
False
Let w = 57 + -57. Are w and -2 nonequal?
True
Let r(d) = -3*d**2 - d - 1. Let x be r(-1). Let c be (-1 - -1)/(x - -1). Suppose 0 = -3*o - c*o. Do 1 and o have the same value?
False
Let h(q) = -q**2 - 6. Let k be h(0). Which is greater: k or -0.1?
-0.1
Suppose 5*z + 20 = 13*t - 8*t, -4*t + 2*z = -10. Is t at most as big as 1/150?
False
Let y = 23 + -11. Let c = y - 12.2. Is c at least as big as -3?
True
Let p = -2 - -1. Let x = p + 1. Let o = 1460/9 + -162. Which is bigger: x or o?
o
Let o = 8641/24 - 360. Which is greater: o or 1?
1
Let h = -10.9 - 3.1. Let l = 14 + h. Is 1 > l?
True
Let x = -87 + 433/5. Let p = 3 + -3. Does p = x?
False
Let k(a) = a**2 - 8*a - 7. Let p be k(9). Suppose -p*l + 4 = 6. Which is greater: 3/10 or l?
3/10
Let s = 2.2 - 2.1. Are -1 and s non-equal?
True
Let q = 29 - 20. Let r be (-690)/(-54) + 2/q. Is 1 <= r?
True
Let m = -48 + 48. Let a(p) = p + 3. Let y be a(-3). Is m less than y?
False
Let v be 2/7 + 1/21. Is 0 not equal to v?
True
Let l = 6/13 - 11/52. Do l and 0 have different values?
True
Suppose -k = 4*x - 34, -3*k - 4 = -3*x + 14. Are 8 and x equal?
True
Let d be (-1)/((-6)/4 + 0). Let c = 105 - 2627/25. Which is bigger: d or c?
d
Let r = 19 - 11. Let z = 31/4 - r. Let g be (-1*1/3)/1. Which is greater: g or z?
z
Let o(w) = w**2 + 6*w - 7. Let r be o(1). Let s be ((-1)/3)/((-2)/(-6)). Does s = r?
False
Let s = -77.1 + 81. Let f = s - 4. Let u = 43/5 + -149/15. Is f greater than u?
True
Let w = 148 + -143. Is w != 54/11?
True
Let w = -47.8 - -47.71. Let o(p) = p - 6. Let z be o(6). Which is smaller: z or w?
w
Let v = -35 + 34. Is v greater than 1/3?
False
Let z be 0 - 1 - (2 + -5). Let m(l) be the first derivative of l**2/2 + 2. Let y be m(2). Do z and y have different values?
False
Let j(n) = n**3 + 2*n**2 - 4*n - 8. Let o be j(-2). Which is smaller: 2/11 or o?
o
Suppose 3*w = -4*l - 18, -w + 0*l - l - 5 = 0. Let f be 3 - 1*(-4 - w). Suppose -x + 2*x + 2*b = 1, 5*b = -f*x. Is -2 less than or equal to x?
True
Let q = -1133 - -1135.998. Let k = q + -0.038. Let s = 0.04 + k. Which is smaller: s or -0.1?
-0.1
Let h be (-60)/42 - (-9)/21. Which is bigger: h or 2/41?
2/41
Suppose 6 = 2*w + 4. Which is smaller: 5/3 or w?
w
Let z be (-410)/693 + (-8)/(-14). Is z greater than 0?
False
Suppose 0 = 2*t - t. Let q be 3/6*(t - 0). Which is smaller: q or -1?
-1
Let c = -3 + 1. Let x = c + 2. Let j be (-16)/10 - (5 - 6). Which is smaller: j or x?
j
Let a be 3/42*-2 + 0. Is 0.3 at most a?
False
Let o be 553/(-49) + 4/14. Let h = o + 9. Is h not equal to 0.4?
True
Let s = 0.3 - 0.2. Let k = -24 - -29. Which is greater: s or k?
k
Let m(l) = -l**3 + 8*l**2 + 10*l - 10. Let y be m(9). Let i be y + (0 - 3/(-4)). Is 0.2 greater than or equal to i?
True
Let z be (6/(-9))/((-2)/(-6)). Which is greater: z or -6?
z
Let d be 2/3 - (-14)/6. Let u be 17/5 + (-6)/15. Suppose -u*o + 13 = -d*p - p, -p = o + 5. Which is greater: -2 or o?
o
Suppose 0 = -o + 2*o. Let r be (o + -1)*(-3 + 2). Which is smaller: 0 or r?
0
Let o be 2*2 + 6/(-18)*10. Is 0.049 < o?
True
Let v = 23/8 - 229/24. Let f = -94/15 - v. Which is smaller: 0 or f?
0
Let y be 3/(-2)*252/27. Let f = y + 14. Which is smaller: f or 6?
f
Let l be (1/1 - -2) + 3. Suppose 2*u = l*u. Suppose -3*w + 9 = -u*z - 3*z, 2*z = w - 2. Which is smaller: z or 0.1?
0.1
Let z(k) = -k**2 + 1. Suppose 5 = -l + 6*l. Let h be z(l). Suppose -4*x + x = h. Is -2/7 at most as big as x?
True
Suppose -4*g - 26 = 4*y + 10, 3*y - 4*g = 8. Let t be 2/2 - y/(-2). Is -4/7 <= t?
False
Let a(u) = 8*u + 8. Let d be a(4). Let k be 2/(-2)*(-8)/d. Let f = 0 + -1. Which is greater: f or k?
k
Suppose 3*j + j + 4 = 0. Is -3 < j?
True
Let p = -0.01 + 0.61. Let i = 0.5 - p. Which is smaller: 2 or i?
i
Let j = 107/441 - 1/49. Let r(i) = i**2 + 4*i - 1. Let l be r(-4). Which is smaller: l or j?
l
Let k = 207 + -825/4. Which is greater: -13 or k?
k
Let g(f) = -f**3 - 7*f**2 + f - 2. Let i be g(-5). Let o be 9/(-3) - i/21. Which is smaller: o or 0?
o
Suppose -11*p - 9 + 42 = 0. Is p greater than 2?
True
Let m be 12/(-2)*4/(-12). Suppose 0 = 2*v - 5*l + 4, 4*l - m = -3*v - 8. Do -5 and v have different values?
True
Let j = 8 + -4. Let k = j + -2. Suppose -k*s + h - 4 - 1 = 0, -15 = -s - 3*h. Which is smaller: s or -1?
-1
Suppose 2*l + 2*m = -m - 3, -l = 3*m + 6. Suppose -l*f = -0*f + 12. Which is greater: f or -5?
f
Suppose 2*p = 16 - 4. Let q be (0 + 1)/(2/p). Let s = -2 + q. Is s < 1?
False
Let b = 9 + -9. Suppose 4*i + 0*i = b. Is i != -1?
True
Let p(y) be the second derivative of -y**4/12 + 2*y**3/3 + 3*y**2/2 + y. Let u be p(5). Let z be (-2)/(-6) + u/2. Which is smaller: z or -1/8?
z
Let i = -10774/15 + 718. Let b = i + -2/5. Do -2 and b have the same value?
False
Suppose -3 = -2*i + 7. Suppose -5*q + 25 - 5 = 0. Which is bigger: i or q?
i
Let g = -4/13 - -34/195. Which is greater: -0.2 or g?
g
Let d be 489/45 + (-2)/(-15). Let h = -13 + d. Is h <= -7/5?
True
Suppose 8 = -2*y, -4*z + 4*y - 973 + 149 = 0. Let d = z - -135. Let f be (4/5)/((-10)/d). Which is greater: f or 7?
7
Let v(j) = -2*j**2 + 28*j + 25. Let z be v(15). Are z and -5 equal?
True
Suppose -2*u + 16 = -3*q - 2*q, 5*q = u - 18. Suppose 12 = -2*l - 6. Let r be (l/(-6))/(-1 - 2). Is u less than r?
True
Let u(p) = p**2 - 7*p + 3. Let o be 8 + -2 + (-2 - -4). Let x be u(o). Suppose -4 - x = -5*n. Do n and 2 have the same value?
False
Let x be (-2)/(-4) + 197/2. Suppose -3*g + 456 = 5*s, s - x = g + g. Let m be (-2)/(-3) - s/45. Is m equal to -2?
False
Let v = 44461/53 - 839. Is -1 less than or equal to v?
True
Suppose -95 = -6*l + l. Let w = l + -18. Are 2 and w equal?
False
Let z be (27/63)/(2/14). Which is smaller: z or 2?
2
Let t(y) = y**3 + 4*y**2 - 6*y - 6. Let n be t(-5). Let q(i) = -i**2 - 6*i + 1. Let b be q(-6). Let j be 9/10 - (0 + b). Which is bigger: j or n?
j
Let a(f) = -f - 8. Let d be a(-10). Suppose -d*l = -3*l. Which is smaller: -4 or l?
-4
Let b = -38.1 + 37. Which is bigger: -3 or b?
b
Let z(d) = 7*d. Let h(m) = -m**3 + 6*m**2 - 5*m - 1. Let p be h(5). Let n be z(p). Is n at least -7?
True
Let x(r) = r*