98/3 - -99. Is k less than or equal to n?
True
Suppose 5*k = -4 - 6. Let m = 2 + k. Let t be (-5)/(-28) - 48/(-84). Which is greater: t or m?
t
Suppose -4*b + 8 = 24. Which is smaller: b or -3?
b
Let h(u) = -u. Let b(a) = -a**2 - 12*a + 1. Let x(g) = -b(g) + 5*h(g). Let k be x(-7). Which is greater: k or 1/23?
1/23
Let p(x) = -2*x - 1. Let h be p(-2). Let m be (-1)/2*(-3 + h). Let v = 25/36 + -4/9. Does v = m?
False
Let b be (14/(-6) - -2)/((-3)/87). Which is smaller: b or 9?
9
Let h(k) = -71*k**2 + 6*k + 6. Let c be h(-1). Is c >= -71?
True
Let l = -4 - -9. Let v be 0/l + (-3)/2. Let f = 2 + -1.9. Are v and f equal?
False
Suppose 1 = -5*x + 6. Let g be (x/(-5)*3)/(-1). Let d(j) = j**2 + 4*j - 5. Let i be d(-5). Is i <= g?
True
Let x be 4/((0 - -2) + -1). Suppose -4*m + 0*m = -x*w, 2*w + 7 = -5*m. Is m < 0?
True
Suppose 0*y - 5*y + 485 = 0. Let m = y + -295/3. Let r be ((-30)/(-45))/(2/(-3)). Is m <= r?
True
Let y(j) = -6*j**3 - 1. Let g be y(-1). Which is smaller: g or 3?
3
Suppose -39*j + 38*j = -16. Which is bigger: j or 3?
j
Let u = 1.8 - 2. Let v be (-56)/70 - (-46)/45. Are u and v nonequal?
True
Suppose -2*x = 2*x. Let q be ((-5)/(-4))/(4/288). Let w be (-78)/q - (-4)/6. Is w not equal to x?
True
Let r be (2/12)/((12/(-9))/2). Which is greater: r or -11?
r
Suppose -p + 3*p + 15 = -5*c, -c = 3*p + 29. Let z be 2/p*3 - -1. Suppose a = -3 + 2. Which is smaller: a or z?
a
Let o(k) = k**3 - 10*k**2 + 6*k + 12. Let x be o(9). Let r be 9/x - (-23)/5. Let s = 2 + 2. Is r greater than or equal to s?
True
Suppose 0 = 2*m + 4*z + 6, 4*m = -4*z + 5*z + 24. Is -2/9 at most m?
True
Let v = -6 + -2. Are -9 and v non-equal?
True
Suppose 6*q = q + 10. Let k be (q - 49 - 0)/(-4). Let h = k + -713/60. Is 1 greater than or equal to h?
True
Let r = 0.1 + 0.1. Let w = 2.9 - 6.1. Let k = r + w. Which is greater: 0 or k?
0
Let y(s) = 5*s - 5. Let n be y(5). Let g be (-1)/(-4) + 7/n. Let i(l) = -2*l + 13. Let t be i(6). Is g > t?
False
Suppose 125 + 45 = 5*g. Suppose 0 = -5*q + 2*z - 26, -3*q = 2*q + 2*z + g. Let r be 1/(1*q/2). Which is smaller: -1 or r?
-1
Let u(b) = b**3 - 3*b - 2. Let y be u(-2). Let h be 3/y + (-51)/(-132). Which is smaller: h or 0?
h
Let p(r) = -r**3 - 18*r**2 - 18*r - 6. Let c be p(-17). Is 11 at least as big as c?
True
Let j = 3 + 2. Suppose 4*b = j*b. Which is bigger: -2/19 or b?
b
Let z = 6 + -18. Is z greater than -12?
False
Let d(s) = 2*s**3 - 4*s**2 - s + 3. Let n be d(3). Let c = n - 15. Is 2 greater than or equal to c?
False
Let m = 11 - 23. Let b be 3/(m/(-20)) - 3. Is b greater than or equal to 9/4?
False
Let z(k) = k - 1 + 6*k + 4*k. Let x be z(1). Let h = -6 + x. Which is smaller: 3 or h?
3
Let a be 1/3 - 1/3. Suppose a = m + 2*w - 3, 2 = 5*m - w - 2. Which is smaller: -2/17 or m?
-2/17
Let d = 0 - -0.01. Let k = d - -0.29. Let a be ((-1)/(-3))/((-5)/10). Which is greater: k or a?
k
Let f be 155/(-175) - 9/(-15). Which is smaller: 0.3 or f?
f
Suppose 0 = -2*b + j - 4, j = 4*b + 2 + 4. Let q be 2 - (-3 + (-51)/(-12)). Which is smaller: b or q?
b
Let y = 1 + -0.9. Which is bigger: y or -4/9?
y
Let m(d) = d**2 - 5*d - 6. Let n be m(6). Let r = 309/5 + -61. Is r greater than or equal to n?
True
Let t = -2.21 - -0.21. Which is greater: 8 or t?
8
Let c be (-5982)/77220 + (-4)/(-18). Let p = c - -1/110. Which is smaller: p or 1?
p
Let z = 2/149 + 288/745. Let r = 11.8 + -9. Let w = 3 - r. Which is greater: z or w?
z
Let u = 93/2 + -45. Do 0.3 and u have different values?
True
Let q(i) = i**3 + 1. Let t(u) = -6*u**3 + 3*u**2 - 4*u - 1. Let j(o) = 5*q(o) + t(o). Let v be j(3). Is v at most -9?
False
Let u be -4*(3 - (-3)/(-2))/(-6). Let h be (-2)/(-6) + 20/(-78). Which is smaller: u or h?
h
Suppose 4 = p + 4*x - 3*x, 32 = 5*p - x. Does p = -1?
False
Let n = 3 + -3.3. Let z = 0.325 + -0.025. Let f = z + n. Is 1 at most f?
False
Let b = -0.08 - -1.28. Let y = 3.2 - b. Are y and -1/2 non-equal?
True
Suppose 5*b - 9 + 4 = s, -4*s - 1 = -b. Let o = -1863/124 - 1092/31. Let n = -50 - o. Which is bigger: n or s?
n
Let u = 0 - -8. Let j = u + -7. Let c be 1 - (-2 - 10/(-4)). Which is greater: c or j?
j
Let a = -21 + 37. Let p be 3/((-36)/a) + 1. Are p and 1 nonequal?
True
Suppose 2*g + 2*g = 4. Suppose -7 - g = 2*n. Are -4 and n equal?
True
Suppose 0 = -3*x + p - 24, x + 8 = -0*x + 4*p. Let f be 52*1/(6 - 2). Let l = f + x. Is l less than 2/7?
False
Let j = 31 - 27. Which is greater: j or 24/5?
24/5
Suppose 4*c = -4, 0*c - 4*c = 2*q + 4. Let a(j) = -j**2. Let r be a(1). Let s be (-2 + r + q)*-1. Do 3 and s have the same value?
True
Let u = 12 - 12.5. Let k = -2.5 - u. Which is smaller: -2/3 or k?
k
Let m be (-6)/14 - 166/(-300). Let f = m - -3/350. Which is smaller: f or -1?
-1
Let g be 12/(-90) + 13/(-15). Is g less than or equal to -12/7?
False
Let b = 17 + -29. Let z = 8 + b. Is 1 greater than or equal to z?
True
Let m = -0.03 - -0.03. Let s = m - 0. Is 0 at most as big as s?
True
Let t = 3633/8 - 455. Let j = t + 13/24. Which is greater: j or -2/3?
j
Suppose -9 + 7 = -2*f. Is 2/135 not equal to f?
True
Let p = -8 - -4. Suppose -4 + 1 = w - g, g - 3 = 0. Let k be p*2/(-36) + w. Is k greater than -0.1?
True
Let a be 88/9 + 10/45. Let j = a - 8. Which is greater: 0.2 or j?
j
Let d = 4.9 + -5.9. Which is smaller: d or -32?
-32
Suppose -10 = 3*a - 2*q + 4*q, -4*a = 4*q + 20. Which is smaller: a or -5/16?
-5/16
Let d = 83/42 - 9/14. Is 0 at most d?
True
Let g be (6/(-8))/(42/(-280)). Let k = 0.2 + -0.2. Which is greater: g or k?
g
Let r(l) = l**2. Let p be r(2). Let t be 6/(-4)*p/6. Let h be (1/t)/(3*-1). Which is smaller: -1 or h?
-1
Let y = 3 - 3. Let o = -12 + 58/5. Which is greater: y or o?
y
Let a be (-10)/(-4)*8/150. Let p = -5 - -8. Suppose h + 2 = p. Which is smaller: h or a?
a
Let o = 12 + -3. Let s(k) = 6*k**2 + o*k + k**3 + 5 + 4*k**2 - k**2. Let f be s(-8). Is f <= -2?
True
Let k = 23 + -24. Do 13 and k have the same value?
False
Let o be -1 + 1/2*2. Suppose o*p + 3*k = 2*p, 2*p + 8 = -k. Let x be p + (-4)/(-2) - -2. Which is smaller: 0 or x?
0
Let x = -6 + 10. Suppose -2*w - 2*w + 5*b + 40 = 0, 4*w = -x*b + 40. Let j be (-24)/w - 12/(-30). Which is smaller: j or 3?
j
Let u = 1912/297 - 70/11. Is 1 bigger than u?
True
Let s = -5 + 10. Suppose -s*r = -r. Is r smaller than 1/7?
True
Suppose -4*l + 33 = 3*x, 3*l = 3*x + 2*x + 61. Let i be -1 + (21/l)/(-7). Let r be ((1 - 1)/(-3))/(-2). Which is smaller: r or i?
i
Let l be 3*(8/6)/2. Let m be -3*10/3 - 3. Let j = m - -14. Is l != j?
True
Let x = 1 - 3. Let m(d) = d + 1. Let c be m(x). Suppose -4 = 2*t + 3*s - 2, -s - 3 = 3*t. Does c = t?
True
Let h be (1 + 1)/(1/2). Suppose 10 = h*o + 2. Which is bigger: o or 1?
o
Let r be 1 + 1854/(-465) + 3. Which is smaller: 0 or r?
0
Let w = 95 - 667/7. Let j be 6*(6/4 - 1). Suppose -3*c + j*v = 2*v, c = 2*v. Which is smaller: c or w?
w
Suppose 2*l + 3*l = 0. Let j be (-17)/13 + l + 1. Is j at least as big as 1?
False
Suppose -3*s - 2*q = -0*q - 262, s = q + 94. Let j be (-3)/s*15/(-6). Is j >= -1?
True
Let r = 17 - 16.1. Let c = 0.9 - r. Which is greater: -0.5 or c?
c
Let m = 161 + -3707/23. Which is greater: -1 or m?
m
Suppose 19 = -s - 0*p + 5*p, 3 = -5*s + 2*p. Let r be (-1)/(-1) + s + 1. Let q be (2/r)/(8/6). Which is smaller: q or 4?
q
Let j be 12/(-105) - 4/(-10). Let x(d) = d**2 - 3*d - 1. Let h be x(2). Is h at most as big as j?
True
Let r = 0.14 - 3.14. Let w = r + 3.3. Is 0.3 at most w?
True
Let r be 116/(-66) - (-4)/6. Let d(m) = 2*m**2 - m - 1. Let z be d(0). Are r and z equal?
False
Let d(s) be the first derivative of s**3/3 + 7*s**2/2 + 8*s - 1. Let r be d(-6). Let o be r + (-7)/(119/36). Which is smaller: 1 or o?
o
Let p(c) = -3*c**3 - 9*c**2 + 3*c + 3. Let b(t) = 5*t**3 + 17*t**2 - 6*t - 5. Let n(m) = -4*b(m) - 7*p(m). Let i be n(4). Is i >= -4?
False
Let s be (-7 + 5)/(2/4). Which is smaller: s or 3/4?
s
Let h be 2/8 - (-5)/(80/(-356)). Which is bigger: h or -23?
h
Let z be 2/7 - 13638/105. Let j = z + 130. Which is smaller: 1 or j?
j
Let x(l) = l**2 + 30*l + 67. Let a be x(-27). Which is smaller: 2 or a?
a
Suppose -5*j - 5*v + 1 + 169 = 0, 5*j - 134 = 4*v. Which is smaller: j or 31?
j
Suppose 0 - 6 = -3*m. Let u be ((-1)/m)/(18/12). Is -0.04 greater than u?
True
Let z = 364 + -34. Let v = z - 7588/23. Which is smaller: v or 0?