6 + 15.086. Is 2 at most u?
True
Let i(k) = -k**2 + 9*k + 3. Let l be i(9). Suppose -w = -l*w. Which is bigger: w or 2?
2
Suppose 5*c - 4*k = -31 + 83, -3*k = 4*c - 54. Which is bigger: c or 11?
c
Let x = -0.5 - -0.7. Let d = -0.9 - -1. Let t = x - d. Are t and 2 non-equal?
True
Let r(i) = -i**3 + 9*i**2 - 8*i + 8. Let b be r(8). Let c = 41/5 - b. Let w = 2 - 3. Is c less than or equal to w?
False
Suppose 5*r - 38 + 13 = 0. Suppose -9 = -r*c + 1. Let n be (-32)/(-12) - c/3. Which is smaller: n or 4/3?
4/3
Let f be (0/(0 + 2))/1. Suppose f = -0*d + 4*d - 20, -25 = 2*s - 5*d. Let p be s*(-1 - (1 + -3)). Is p less than -4/3?
False
Suppose 0 = 4*h + 2*z - 9 + 1, -2*h + 4*z - 6 = 0. Which is smaller: -9 or h?
-9
Let f = 457 - 2278/5. Let d = 9/10 - f. Let v = -35/3 + 12. Are v and d unequal?
True
Let a be (-16)/9 + 6/(-27). Let i be (5/(-10))/(9/a). Suppose 0 = -5*r - 5. Is i at least r?
True
Let c(x) = x - 4. Let o be c(4). Is o less than or equal to -59?
False
Suppose -5*m = -6*m. Suppose a + h = 2*h + 6, m = -3*h - 12. Suppose g = -4*y, -2*g - y = 2*y. Is a > g?
True
Let o = -166 + 163. Which is smaller: -30/13 or o?
o
Let b be ((-6)/(-5))/((-16)/(-40)). Suppose 0 = 5*k - 2 - b. Is 3/10 less than k?
True
Let s(q) = q**3 + 2*q**2 + 2. Suppose 5 = 2*i + 4*y - 3, -y + 4 = i. Let n = i + -6. Let m be s(n). Is m >= 3?
False
Let u(k) = 3*k**3 - k**2 + k + 1. Let c be u(-1). Suppose 0 = -4*n + 2 - 10. Let w = n - 1. Which is smaller: c or w?
c
Suppose 1 = -0*w - w. Suppose 8*k = 4*l + 3*k - 5, -5*k - 5 = 5*l. Do w and l have the same value?
False
Suppose 2*u = u + 2. Which is bigger: u or -0.11?
u
Let c(u) = -u**2 - 3*u + 3. Let o be c(-5). Let g(q) = -q**2 - 9*q - 8. Let i be g(o). Let h = 11 - i. Are 5 and h nonequal?
False
Let b be 2/(-7) - (-46)/14. Suppose 0 = -r - b*r + 16. Is 2 < r?
True
Let d = 0 - 0.3. Let q = d + 0. Let p = 16.2 - 16. Which is greater: q or p?
p
Let p(h) = 2*h**2 + 1. Let k be p(1). Suppose -k*w = 1 + 5. Let n be 4/6*(-1)/w. Which is smaller: n or 4?
n
Let l = 349.4 - 349. Let c = -4 + 3. Which is smaller: c or l?
c
Let c = -0.93 - -0.13. Let m = c + 0.8. Which is bigger: -6 or m?
m
Let k be (-4)/(-3 - -7 - 2). Which is greater: k or 2?
2
Suppose 0 = -4*d + 16. Let w be 6/24 + (-13)/d. Which is smaller: w or -2?
w
Let y be ((-2)/54)/(-1)*1. Which is smaller: -1 or y?
-1
Let u(y) = y**2 + 9*y + 8. Let c be u(-8). Is c bigger than 4/19?
False
Let x be (-9 + -1)/(-2) + -3. Suppose 20 = -5*w, -12 = -4*j - 0*w + x*w. Which is bigger: 1/13 or j?
j
Let p = 8 + -4. Suppose 2*z + i = 10, -i - p = -4*z + i. Let c be z/9*-8 - -2. Is c not equal to -1?
True
Suppose -40 = 5*u + 80. Which is smaller: u or -25?
-25
Let g be (-1)/(-5) - 247/10. Let p(n) = n**3 + 4*n**2 - 9*n - 6. Let w be p(-6). Let k = g - w. Which is smaller: -2 or k?
-2
Let s = 5 - 4.98. Which is greater: 2/5 or s?
2/5
Let m = 55 + -67. Are m and -12 equal?
True
Let c be (-134)/6 - 6/(-18). Let u be c/24*6/171. Let m = 3/38 - u. Is m < 0?
False
Suppose 2*l + 2*l = -8. Let i be 8/6*(l - 7). Let k = 8 + i. Which is smaller: -3 or k?
k
Suppose 2 = -4*n + k, -5*k - 8 = 2*n - 2*k. Let t be n/((-3)/(-30)) - 0. Let b be -1*(-12)/t - -1. Which is bigger: b or 2?
2
Let p be ((-48)/(-15))/((-1)/(-5)). Suppose 2*n + 0*n + 4*k = -p, -22 = -n + 4*k. Do n and 3 have different values?
True
Let k = 2 - 3. Let g be ((1/3)/k)/(-2). Is 1 at least g?
True
Suppose s + 12 = l, -4 - 5 = -3*l. Let j(a) = a**3 + 9*a**2 + a + 10. Let b be j(s). Suppose -5*u + 2*x + 18 = -10*u, 3*u = 4*x + 10. Is u at most as big as b?
True
Let v be (-7)/(14/68) + -2. Let k be (1 - -1)*6/v. Which is bigger: 0.1 or k?
0.1
Suppose 0*t + 5*t - 40 = 0. Suppose -u + 4 = r, 0 = -4*u + u - 15. Which is smaller: t or r?
t
Suppose 3*k + 37 = 7. Let x = -9 - k. Which is greater: x or -7?
x
Let m(x) = -x**3 - 6*x**2 - 4*x - 4. Let h be m(-6). Let o be 2/(-6) - h/(-51). Which is smaller: -1 or o?
-1
Let l be 0*(28/8 - 3). Which is smaller: l or 2/13?
l
Let u = -10651/84 + -545/21. Let p = u + 152. Which is smaller: p or -2?
-2
Let c(v) = -v**2 + 3*v - 1. Let m be c(0). Are m and -1 unequal?
False
Let t = 1.8 + -2. Let l = 1 + -1.1. Let x = t + l. Which is greater: -0.1 or x?
-0.1
Let q(p) = p**2 + 4*p - 10. Let l be q(-6). Let u = -87 - -259/3. Which is smaller: l or u?
u
Suppose -2*l - 10 = 4*p, -3*l = 5*p + 14 - 0. Suppose 0 = -3*i + 9, 5*k = -i - i - 4. Is k >= l?
True
Let u = 1 + 0. Let i(n) = n**3 + 8*n**2 - 10*n - 9. Let g be i(-9). Suppose -2*y = -3*k, k + g*y + 4*y - 14 = 0. Is k != u?
True
Suppose 1 - 5 = 2*m. Let t(i) = 2*i + 3. Let z be t(m). Which is smaller: -3 or z?
-3
Let l be 1/1 - 0/2. Let k(m) = -m - 3. Let b be k(-9). Let d be b/(-7)*7/(-21). Is l at least d?
True
Suppose -2*n - n = -9. Suppose 3*m - n = -0. Let p be 1/(m - (2 + -2)). Which is smaller: p or 2?
p
Let k be (-1)/(-306)*(-10)/5. Is k >= 0?
False
Suppose -2 - 6 = 4*z. Is z at least -0.2?
False
Suppose 4*o - d - 1 = 0, -o + 5 = 3*o - 5*d. Let p(j) = j - 3. Let x be p(2). Which is bigger: o or x?
o
Let a = -7 + 7. Suppose a = -5*g - 37 - 18. Let z = g - -16. Is 6 greater than or equal to z?
True
Let v(m) = -m - 2 + 1 + 1 - 9. Let a be v(-10). Which is smaller: 2 or a?
a
Let d = -324/7 - -46. Let y = -20 - -19. Are y and d non-equal?
True
Let l = 4 + -5. Let k be (l - -1)/(2/(-2)). Which is greater: k or 2?
2
Let g = 113 - 901/8. Let z(k) = k**2 + 10*k. Let c be z(-10). Which is smaller: c or g?
c
Let t = -3 - -3. Let s = -0.2 - -0.2. Let b = t - s. Is b bigger than 0.05?
False
Suppose -9*x = -13*x - 44. Which is smaller: -9 or x?
x
Let n be ((-4)/(-6))/(6/45). Do 5 and n have the same value?
True
Let q(h) = h. Let f be q(1). Suppose 20*s = 17*s + 6. Which is bigger: s or f?
s
Suppose -5*f = 4*k - 2*k - 12, -5*k = -5. Is 1 smaller than f?
True
Suppose -15 = -5*i, 4*p + i = -2*i + 121. Suppose c - 4*t + 38 = 0, 3*t + 47 = -4*c - 2*t. Let z be p/21*c/(-64). Which is bigger: -1 or z?
z
Let q = 27 - 37. Which is smaller: q or -0.4?
q
Suppose -4 = -2*y - 4*z - 2, -5*z - 8 = -y. Suppose f + 0*f = 3*u, 0 = y*f. Which is greater: u or 2/49?
2/49
Let k = 0.05 + -0.05. Let v = 1 - k. Does 3 = v?
False
Let i be (-14)/(-35) + (-24)/10. Suppose 3*l + 2*l + 20 = 0. Let r be i/8*(l + 10). Which is greater: 0.1 or r?
0.1
Let i = -0.06 - -0.17. Let h = 0.01 - i. Let r = -1 - -1. Is h != r?
True
Let d = 10 + -8. Which is bigger: d or 3?
3
Let p = 3 - 2. Let f be (-3 - -2)*6/p. Are f and -6 unequal?
False
Let f be ((-10)/12)/((-78)/(-18)). Let o = 4294/13 - 330. Let i = o - f. Which is greater: i or 2?
2
Let u be 1 + ((-86)/18 - -4). Is u < -0.3?
False
Let x = -3371/750 - 2/375. Is -5 != x?
True
Suppose 5*v - 25 = 0, k + 7 = 3*v - 32. Which is smaller: k or 2?
k
Let d = -75538 - -434721184/5755. Let u = d - -2595541/34530. Let f = u - 75. Which is bigger: f or -1?
f
Let q = 9 + -9.1. Which is smaller: q or -3/5?
-3/5
Suppose 0 = o + 4*j - 20, -5*o + 4*j = -0*j - 52. Is o greater than 11?
True
Let u(i) = -i**2 + i + 1. Let q be u(0). Let c(m) = -m**3 + 4*m**2 - m - 1. Let y be c(4). Let z(t) = t + 4. Let s be z(y). Is s > q?
False
Let h(y) = y**3 - 9*y**2 + 1. Let w be h(9). Is -2/5 at most as big as w?
True
Let u = -19507/47 + 415. Which is bigger: -1 or u?
u
Suppose 20 = k + 3*k + 5*y, -k = 3*y - 12. Suppose -4*j - 5*q + 12 = k, -j + 22 = -2*j + 5*q. Let m(f) = -f + 1. Let d be m(j). Is 4 greater than d?
True
Let b = -1.039 + 0.039. Which is smaller: 9 or b?
b
Let y be -5*(8/(-5))/4. Suppose -y = -3*a + 4. Is 3 bigger than a?
True
Let o = -15 - -18. Which is greater: o or 16/9?
o
Let h = -5071/5 - -1018. Is 3 greater than h?
False
Suppose -x - 1 = 3*b, -x - 2*x + b - 3 = 0. Let c = -26 + 27. Is x greater than c?
False
Let d = 583/13082 - 6/211. Which is bigger: 1 or d?
1
Let t be (-124)/(-130) - (-2)/10. Let j = -49/65 + t. Let k = -55 + 219/4. Is k > j?
False
Let o = 1.7 - 1.6. Which is smaller: 1.2 or o?
o
Let h(q) = q**2 + 7*q - 2. Let l be h(-8). Suppose 28 = -4*c + o, -5*c + 3*o = -l*c + 6. Is c at most as big as -7?
False
Let a = -9 - -8.9. Is a less than -0.5?
False
Let n = -2.84 + -0.16. Is 3/4 smaller than n?
False
Let b(d) = -d - 8. Let w be b(-10). Which is bigger: w or 6/7?
w
Suppose -2*r + 3 - 1 = 0. Let t be (-2)/4 + 1 + r. Let b = 5/4 - t. Are 0.2