*2 - 10*k + 4. Let h be l(10). Which is smaller: h or n?
n
Let d = 25 - 24. Let y = -12 - 2. Let n be (-8)/(-20) + y/10. Which is bigger: d or n?
d
Let p = -0.3 + -0.7. Let u = -13 - -15. Is u less than p?
False
Let l = 13 - 10. Let t = 1 - l. Is t < 1?
True
Let a(p) = 5*p**2 - 5*p + 2. Let d(v) = 5*v**2 - 4*v**2 - v - 1 + 2*v - 2*v**2. Let z(b) = -a(b) - 3*d(b). Let j be z(-1). Is -3 at most as big as j?
True
Let y(m) = m**2 - 4*m. Let j be y(4). Is j >= 2/43?
False
Let q = 7.1 - 7. Which is greater: 2/3 or q?
2/3
Suppose 7*g + 16 = 3*g. Let d be g/(-46)*6/12. Which is greater: d or 0?
d
Let p = -3 + 5. Suppose -p*d = -4*d. Is 3/4 at least as big as d?
True
Let m = -6 - -9. Suppose 0 = 4*g - 9 + 1. Suppose 5*f - 5 = -5*u, g*f - u - 10 = u. Is f at most m?
True
Let s = -0.6 - 2.4. Let h = -12 - -17. Let d = s + h. Which is smaller: 0.4 or d?
0.4
Let d = 1 - -1. Suppose -v + 3*j = 6*j - 11, -d*v + 4*j = 8. Are v and 5/6 unequal?
True
Let k be (16 - 15)*(-2)/(-2). Are k and 2 unequal?
True
Suppose -61 = -5*j - 16. Let c be ((-3)/(-9))/(3/j). Which is greater: 2 or c?
2
Suppose 0*v = -4*v. Let k be (1 - 5)*5/4. Let h = k + 21/4. Is h > v?
True
Suppose 5*y + 6 = -c + 1, 0 = y - 5*c + 1. Are 2/25 and y non-equal?
True
Let m = 12 - 7. Let c = m - 3. Let i be 4/12 + (-1)/(-3). Which is bigger: i or c?
c
Suppose 0*u = -2*u + 4. Let h(n) = -11*n**3 - n**2 + n - 20. Let b(g) = -4*g**3 - 7. Let p(j) = 8*b(j) - 3*h(j). Let c be p(-4). Which is greater: u or c?
u
Let r = -191 - -191. Suppose -2*p - y = -5 - 2, -p = 5*y - 26. Which is bigger: p or r?
p
Let w = -8 + 14. Let y = 6.202 + -0.002. Let v = y - w. Is 0.1 <= v?
True
Let o(u) = u**3 + u**2 + u. Let j be o(0). Suppose j*f - 3*f - 3 = 0. Let v = f - -1. Which is greater: 0.2 or v?
0.2
Let y = -853 + 854. Let c be 10/(-12)*137/(-5). Let n = 23 - c. Which is greater: n or y?
y
Let h be 2 + -4 + 8/1. Which is smaller: h or 0?
0
Let q = -21 - -18. Is -3 bigger than q?
False
Let o = 2/5 + -11/15. Let m(i) = i**2 + 6*i - 2. Let x be m(-6). Let l be (3/((-3)/x))/2. Which is greater: o or l?
l
Let v = -2.2 + -1.8. Do 0 and v have the same value?
False
Let f = -3.8 - -2.8. Is f bigger than 8/3?
False
Let w(f) = 5*f + 27. Let a be w(-6). Which is greater: a or 3?
3
Let g be (3/3 - 2)/(-1). Suppose -z + 5*f = 8, -3*z + 4*f + g - 3 = 0. Let v = -121 + 487/4. Which is greater: z or v?
z
Suppose 5 = -2*v - 3*v. Let u = 161/2 + -82. Is v greater than or equal to u?
True
Suppose -5 + 2 = s. Let n be 3/(-9)*s*0. Which is bigger: n or 2/11?
2/11
Suppose n = -0*n - 4*a + 10, -16 = -3*n - 5*a. Is n != -4?
True
Let g = -120 - -120.07. Which is bigger: g or -7?
g
Let o = 1 - -14. Let r be 5/(-15) + (-1)/o. Suppose 0 = -w - 2 + 3. Which is smaller: w or r?
r
Let a = -50/7 + 1007/140. Let c = 3/10 - a. Let z be 20/(-5) - (7 + -11). Is z smaller than c?
True
Let s = -7.3 - 0.7. Let i = -9 - s. Is i not equal to -3/7?
True
Let w = -4 - -25. Suppose -46 = 5*j + 5*o - 16, -4*j = o + w. Suppose 16 = -3*g + 4. Which is greater: j or g?
g
Suppose -5*c + 4*c = -4. Let y be 1 + 1 + -4 + 0. Let i be y/4 + c/6. Is i less than or equal to -1?
False
Let p = -4 - -3. Let n be 4/(-10)*(-2)/4. Is n <= p?
False
Let j = -6.87 - 0.13. Let o = -0.14 - -4.14. Let s = j + o. Is -1 >= s?
True
Let v be (-13)/(-11) - (-14)/(-77). Is 0 less than or equal to v?
True
Suppose -94 + 89 = -y. Let n be (-3)/(-9)*-1*-12. Which is greater: n or y?
y
Let i = 239/6 - 832/21. Let w = i - 23/42. Let z = -3 - -2.6. Is w less than or equal to z?
False
Let n be -14 + 4 + -3 - (-1 + -2). Which is smaller: n or -12?
-12
Let l = 10 - 7. Suppose 4*y - 7*y - 2*k = -5, -l = -5*y - 2*k. Which is greater: -0.5 or y?
-0.5
Let j(i) = i**2 - 3*i + 2. Let w(u) = u**2 + u. Let k be w(-2). Let s be j(k). Let r(g) = g**3 + 3*g**2 + g. Let x be r(-1). Is x equal to s?
False
Suppose a - w = 7, 4*w + 20 = -0*w. Suppose -a + 3 = -t. Does -5/3 = t?
False
Let t = 16 + -22. Let w be (-6)/(5/(45/t)). Is 9 equal to w?
True
Let r be (4/35)/((-34)/85). Are r and -1 nonequal?
True
Suppose -2*y = 2*y - 28. Which is smaller: y or 6?
6
Let w be 21/(-70) - 1/(-2). Is w at most as big as -4?
False
Let r(u) = u. Let k(z) = z - 4. Let n be k(3). Let d be r(n). Which is smaller: d or 1?
d
Let d = 5 + -1. Let v = -5 + d. Let u be (v + 0/(-1))/1. Is 2/13 != u?
True
Let j(z) = z**2 + 6*z. Let r be j(-6). Suppose 2*s + 2 = -d, r*d = -5*d - 2*s - 2. Which is greater: d or -1/3?
d
Let d(v) = -v**2 - 5*v + 2. Let o be d(-4). Let u be 1 + 0/(o/(-2)). Are 1 and u nonequal?
False
Suppose 4*w - 4 + 20 = 0. Is -3 <= w?
False
Let g = 3 + 2. Let r = g - 4.96. Is -1 greater than r?
False
Let x be -2 + (-48)/(-4) - 0. Which is greater: 7 or x?
x
Let i = 4 - -4. Let n = -1 + i. Let f = n + -6. Which is smaller: 3 or f?
f
Let b be (-2)/(-2)*(-6)/(-2). Suppose -5*y = 3*f + 2*f - 15, 3*y - f - 13 = 0. Do b and y have different values?
True
Suppose 0 = -5*y + y - 20, -4*b - 3*y = 23. Let s be (b/(-25))/(1/(-5)). Suppose -4*t + 12 = 4*r, -6*t + 5*t = -r + 5. Is s at most as big as t?
False
Let c(f) = 2*f - 8. Let l be c(4). Is -0.06 <= l?
True
Let h be 0*((-15)/(-6) - 2). Let j(b) = -18*b. Let s be j(-1). Let g be ((-30)/s)/(1/(-3)). Which is greater: g or h?
g
Let o be (-57)/38*(-8)/(-3). Is o at least as big as 2/3?
False
Let b = -9 + 17. Let u be ((-1)/34)/(b/64). Which is greater: 0 or u?
0
Let g be 32/(-12) - 2/(-3). Let u = -1 + g. Let i be 2/(-21)*(u + 6). Which is greater: i or 3?
3
Let g = 15.8 - 15.9. Let i = 10 + -3. Which is greater: i or g?
i
Let q be (-300)/44 - (-2)/(-11). Let d = q - -9. Which is smaller: d or 1/2?
1/2
Suppose -1 = -5*a + 4. Suppose a = k - 3. Is k <= 5?
True
Suppose -4*r + 4 = -2*r. Let c = 4 - r. Is 2 at most c?
True
Let o = -2 - -2. Suppose -2*q + 8 = -2*n, -q = n - 4*n - 4. Suppose o*d = -q*d. Which is smaller: -1/6 or d?
-1/6
Let o(a) = a**3 + 11*a**2 + 10*a. Let q be o(-10). Suppose q*p = -4*p + 4. Are 1/4 and p nonequal?
True
Let n = 92 - 90. Which is bigger: 12 or n?
12
Let o = 1.71 - 0.51. Is o equal to 0?
False
Let r(v) = -v + 20. Let h be r(-6). Is 26 greater than h?
False
Let m(p) = p + 1. Let g(q) = -1. Let c(i) = g(i) + m(i). Let h be c(-1). Let o = 2/51 - 157/102. Which is smaller: h or o?
o
Suppose 35 = 3*x + 5. Suppose 2*o = 4*k - 16, 2*k = 2*o - 0*k + x. Which is smaller: -1 or o?
o
Suppose 0 = -3*t + 3 + 3. Is 2 less than or equal to t?
True
Let j = -5007/38 - -138/19. Let i = -122 - j. Is 2 != i?
True
Let y = 3 - 9. Let j be 6 + y/9*3. Suppose -z + j - 2 = -5*m, -18 = -3*z + 3*m. Is 7 greater than or equal to z?
True
Let l be (-187)/(-286) + (-2)/4. Let y(k) = -k - k - 3 + 3*k. Let h be y(4). Is h > l?
True
Let p(y) = -2 + 4*y - 4*y**2 - 2*y**2 - y + 4*y**2. Let d be p(2). Let m be 14/(-8) - d/(-16). Is m greater than -2?
False
Let l = -2.1 - -2. Let q = -3.12 - -0.12. Which is greater: l or q?
l
Suppose 5*l - 15 = -5*k, -k = 2*l + l - 9. Is l bigger than 5?
False
Suppose 2*l + 2*l + 4 = 0, -f - l + 5 = 0. Is f <= 4?
False
Let m = 11/12 + -893/948. Is m < -1?
False
Let x be 0 - 0 - -1*1. Let a(c) = -c - 8. Let h be a(-5). Let w be 2 + (1 + 0)*h. Which is greater: x or w?
x
Let z = 1.28 - 0.35. Let l = -0.07 - z. Let q = 25/33 - 1/11. Which is smaller: l or q?
l
Let c be (-8)/(-20)*5/1. Let h = c + -7/3. Is -1 bigger than h?
False
Let a(r) = r**3 + 6*r**2 + 1. Let u = -4 + -2. Let t be a(u). Which is smaller: t or -4?
-4
Let k = 3/26 + -35/78. Let x = 0.23 - -0.09. Let a = -0.22 + x. Is a at most k?
False
Suppose 2*i - 2*m - 38 = -0*i, i - 13 = -5*m. Suppose 2*l = -4*z - i, 0*z = z + 1. Which is greater: -6 or l?
-6
Let r = 1.3 - 0.3. Let u = r - 0. Let g be (-6)/(-4) + -2 - 0. Which is greater: g or u?
u
Let g(a) = -2*a**2 + 3*a + 4. Let z be g(3). Let m be (-2 - -4)/(z - -3). Which is smaller: -1/9 or m?
m
Let i be (1/(-2))/((-4)/(-16)). Let q be -5 - 0 - (3 + -4). Let a = 2 + q. Is a bigger than i?
False
Suppose -f = 4*f. Let m = -218 + 4359/20. Which is smaller: f or m?
m
Let h(x) = x**3 + 1. Let l be h(-2). Let o be (6/l)/(7/(-98)). Which is smaller: o or 13?
o
Let l be (-20)/(-6) - 6/(-9). Suppose a + 43 = 2*m, a - 2*a = 5. Suppose 5*o - t - m = 0, 7 - 2 = 5*t. Is l bigger than o?
False
Let g(u) = -u**2 + 2*u + 14. Let p be g(5). Which is greater: p or -2/77?