)/(-3)*12/8. Is j less than q?
False
Let p = -63 + 64. Which is greater: 0 or p?
p
Let o = 19 - 18. Let l be 2 - (0 + (-22)/(-14)). Is o smaller than l?
False
Let n = 12 + -12. Is -20 greater than or equal to n?
False
Let w(v) = 5*v + 31. Let j be w(-7). Suppose 2*n + 14 = -0*n. Let i = n + 4. Is i less than j?
False
Let c be (17 + -13)*2*(-1)/8. Are c and -8/35 non-equal?
True
Suppose -1 = -2*t + 1. Suppose 5*p + 5*q + 6 - 41 = 0, 3*p + 2*q = 16. Is t less than or equal to p?
True
Let q be 2/(2/5 - 0). Let p be 3/q - 52/20. Which is smaller: -3 or p?
-3
Let w be 15/6*(-2)/(-10). Is w < 0.16?
False
Let k = 6.9 + -7. Let a = -0.9 + k. Which is bigger: a or -0.09?
-0.09
Let y = -590 - -52509/89. Let i be 2/(534/(-715)) - -2. Let t = y - i. Which is smaller: t or 0.1?
0.1
Let d(k) = k - 14. Let b be d(0). Let m = 1 + -16. Are b and m nonequal?
True
Suppose y = 3*y. Suppose 0 = -0*k + 3*k - 27. Let w be (-2 - (-129)/63)*k. Is w equal to y?
False
Let f(n) = 2*n - 1. Let m(k) be the second derivative of 5*k**3/6 - 3*k**2/2 - 2*k. Let l(z) = 8*f(z) - 3*m(z). Let t be l(-1). Which is greater: -2 or t?
t
Let k(o) = -o**3 + 4*o**2 + 6*o - 7. Let a be ((-12)/(-15))/(-2)*-10. Suppose a*v - 5*m - 10 = 0, -v + 3*m + 13 = 7*m. Let p be k(v). Is p at most -4/3?
True
Let l(g) = 4*g**3 + 7*g**2 + 10*g + 5. Let o(u) = -u**3 - 2*u**2 - 3*u - 2. Let x(y) = 2*l(y) + 7*o(y). Let p be x(0). Which is bigger: -3 or p?
-3
Let u be ((-8)/16)/(2/4). Let z = -139/819 - -1/63. Which is smaller: z or u?
u
Let h be (2 + -2)/(4 - 2). Suppose 0 = -h*x + 3*x + 15. Let z(p) = p + 9. Let s be z(x). Is s > 5?
False
Let k = 18 - 13. Suppose -k*b = -r + 3, 4*r - 12 = -b - 0*b. Is -2/41 at most as big as b?
True
Suppose 0 = x - 3*x + 2. Let o = -14 + 8. Let r = o - -7. Is r < x?
False
Let n(j) = j**3 - 7*j**2 + 4*j + 6. Let v = -5 - -11. Let k be n(v). Let u be (4/k)/((-21)/(-9)). Which is smaller: 0 or u?
u
Let l be -3*(-2)/(-11)*2/6. Which is bigger: l or 0?
0
Let d be 3*-1*(0 + -1). Suppose -d*z - 5*j = -j - 21, -4*j = z - 15. Suppose -4*i - 2 - 18 = -4*g, z*i - 1 = -g. Is -1/4 > i?
True
Suppose 48 = -11*r + 7*r. Which is bigger: -14 or r?
r
Let k(m) = -5*m**3 - m**2 - m - 1. Let b be k(-1). Let z be (-2)/8*2/b. Which is smaller: z or 0?
z
Let j = 33/278 - -18401/139. Let l = 135 - j. Suppose -4*h + 8 = 0, 4*y - 2*h - 15 = -3. Which is smaller: l or y?
l
Let o(v) = v**3 - 3*v**2 - 4*v + 1. Let k be o(4). Let a be -7 - (-2 - (-1 + k)). Suppose -j = 2*j + 12. Which is smaller: a or j?
a
Let s be 0/(2/(0 - -2)). Let j be (s + 0)/(2*1). Let o be 44/33*1/(-2). Is j smaller than o?
False
Suppose -2*r = 4*c, 21 = 4*r + 2*c - c. Let d = 0.02 - -0.98. Does r = d?
False
Let b(o) = -3*o**3 + o + 1. Let n be b(-1). Let t(c) = -c**2 + 2*c + 1. Let a be t(n). Let i(s) = -s - 2. Let p be i(a). Which is greater: p or 1/2?
1/2
Let z = -0.6 + 0.59. Let f = z - 0. Let x = f + -1.99. Which is smaller: x or -2/7?
x
Let l(p) = -p**3 - 3*p**2 + 1. Let y be (7/(-4))/(3/12). Let t = 4 + y. Let a be l(t). Which is smaller: 0 or a?
0
Let i(x) = -2*x**2 - 4*x - 2. Let y be i(-2). Let z = -4 - -4. Suppose 2*k + k + 3 = z. Is k smaller than y?
False
Let t = -71.2 - -72. Which is smaller: -0.1 or t?
-0.1
Suppose 2*z - 65 = -0*z - 3*v, 3*z = -2*v + 110. Let o be z/18 - 4/18. Do -1 and o have the same value?
False
Let u = -0.3 - -0.5. Suppose -2 = 2*m - 4. Let l = m - -1. Is l greater than u?
True
Let m = 1.7 + -5.2. Let b = -7.6 - m. Let w = -4 - b. Which is bigger: w or -1?
w
Let o be (3/6)/(2/4). Which is greater: 4/31 or o?
o
Let k(m) = m**2 + m. Let d(n) be the first derivative of -4*n**3/3 + 4*n + 2. Let w(j) = -d(j) - 3*k(j). Let h be w(4). Which is bigger: h or 1?
1
Let j(k) = -k**2 + 4*k + 4. Let t be j(4). Suppose 3*l - 4*w = w - 20, -2*w + 8 = -t*l. Which is bigger: 1/7 or l?
1/7
Suppose -2*q + 3*o = -14 - 4, 2*o + 4 = 0. Let z(r) = -r + 7. Let c be z(q). Which is bigger: c or 2/17?
c
Let f(g) = -g**3 + 6*g**2 + 6*g + 7. Let r be 3 + -2 + 5 + 1. Let q be f(r). Let c = -1370/9 + 152. Which is smaller: q or c?
c
Suppose 5*h - 4*l + l = 10, -4*l - 24 = 4*h. Let v be -2*h/2 - -1. Suppose 2*i + 3*c = 3*i, -5*i - v*c = 0. Which is bigger: 1 or i?
1
Let g = 6 - 2. Suppose 31 = g*k - 41. Which is smaller: 2/3 or k?
2/3
Let m = 7 + -5. Suppose -2*j - q + 3*q = 12, -m*q = -6. Suppose -3*b - 11 = -0*v + 5*v, -4*b + 3*v - 5 = 0. Which is greater: b or j?
b
Suppose 2*k + 8 - 10 = 0. Suppose q + 3*q = 24. Let t(i) = i**2 - 6*i + 2. Let b be t(q). Which is smaller: b or k?
k
Let c = -2.2 + 2. Let n = c - -0.5. Let j = -0.3 + n. Are j and -2/5 nonequal?
True
Let j = -0.1 - 0.9. Let p = 12 - 12. Suppose 2*t - d + 2*d - 2 = p, 5*d + 5 = 5*t. Which is bigger: t or j?
t
Let u be 1*((-84)/(-18) + -5). Which is smaller: -1/8 or u?
u
Let n(u) = u**2 + 15*u + 8. Let j be n(-16). Is j <= 24?
True
Let t = -5.5 + 36.5. Which is smaller: t or -0.1?
-0.1
Let y(v) = -2*v**2 - 13*v + 3. Let t be y(-7). Are -4 and t non-equal?
False
Let g be ((-15)/9)/5*-3. Let s = g - 0. Suppose 1 = 5*o - 4. Is s at most as big as o?
True
Let s = 26687/380 - 281/4. Is -1 greater than s?
False
Let q = 628/5 + -126. Suppose 5*t - 80 + 20 = 0. Suppose -3*n - t = n. Which is bigger: n or q?
q
Let l = -3.9 + 0. Let q = 0.9 + l. Is 2 greater than or equal to q?
True
Suppose 6*j = 2*j + l + 9, 2*j + 4*l = -18. Which is smaller: j or -2/33?
-2/33
Let g be 2/(-4110)*-181*18. Let m = g + 2/137. Is 3 bigger than m?
True
Let u = 5 - 9. Let z(p) = -p + 1. Let d(w) = -2*w - 1. Let b(q) = -d(q) + z(q). Let y be b(u). Is y equal to 0?
False
Let k = 0.1 - -0.9. Let c = 8 + -8.2. Let t = c - 0.8. Which is smaller: k or t?
t
Let k(t) be the first derivative of 2*t**3/3 + t**2 + t + 1. Let l be k(-1). Which is smaller: l or 2/5?
2/5
Suppose 5*i - 6 = 3*j, -1 = 5*i + 2*j + 3. Suppose 2*n = 4*u + 10, 0 = -n + 5 - i. Suppose -3*w - 4 + 1 = u. Which is smaller: w or -2/9?
w
Suppose 5*v = -2*b + 3, 0 = 3*v - 2 - 1. Let m(c) = c**3 - 6*c**2 + 4*c + 1. Let t be m(5). Let j be 2*-1 + (-5)/t. Is j greater than b?
True
Suppose 30 = -5*f - p, 0*p + 55 = -5*f + 4*p. Let t = 4 + f. Which is greater: -1 or t?
-1
Let z = -55 + 47. Do z and -4 have the same value?
False
Let d(p) = -p**2 - 4*p + 3. Let t be d(-4). Let l be (t - 4)/(1/6). Let r be (l/4 + 1)*0. Which is greater: -2/7 or r?
r
Suppose -2*u = 13 + 15. Let h = 19 + -32. Is u < h?
True
Suppose -27 = -6*r - 93. Is -1/3 at most r?
False
Let i = -128 - -128. Is i smaller than 14/33?
True
Let c = -5/12 + 1/12. Is c less than 0.023?
True
Let n(t) = t**3 + 6*t**2 + 6*t + 5. Let j be n(-5). Let b(s) = -s**2 + 7*s - 15. Let q be b(6). Let f = q + 127/14. Is f bigger than j?
True
Let v(w) = -4*w - 5. Let a be v(-1). Which is smaller: a or -6/29?
a
Let t(v) = v**3 + 3*v**2 - 3*v + 8. Let w be t(-4). Let a be (w/(-48))/((-2)/9). Is a <= 1?
True
Let h = -1.05 - -0.15. Let i = -0.9 - h. Let w = 1 - 0.9. Are w and i unequal?
True
Suppose 0 = 5*z - 2*w - 12 - 9, -3*z = 4*w - 23. Suppose 0 = 2*f - a + 2, -5*a + 5 + z = 0. Let k be ((-9)/(-8))/(9/6). Are f and k nonequal?
True
Let m be 398*(-3)/(-2) + -3. Let b be (-64)/m - 4/(-22). Is b <= -1/4?
False
Let j(t) = -2*t + 7. Let r be j(5). Let h be 9*r/(-12) + -2. Is 2 at least h?
True
Let f(v) = -v. Let g be f(7). Let u be (28/g)/(1/2). Is u less than -7?
True
Let t = -43 - -8. Which is smaller: t or -37?
-37
Suppose 3*v = 2*l + 3*l - 54, 4*v + 39 = 3*l. Let k be 3*(-6)/l + 9. Is 7 equal to k?
True
Let k = 20/3 + -83/12. Let z = 0.12 + -0.12. Is k less than or equal to z?
True
Let t = -0.9 + 1.46. Let i = 0.14 + t. Is -0.1 at most i?
True
Suppose 7*p + 44 = 3*p. Which is greater: p or -14?
p
Let y = -36.4 + 36. Which is bigger: y or -2?
y
Let m be ((-4)/(-15))/(52/(-12) - -5). Which is smaller: -0.01 or m?
-0.01
Let d(a) = -5*a - 12. Let x be d(-6). Let y be (-9)/x*4/14. Is y > -1?
True
Suppose 0 = c - 4*c - 3*h + 45, -2*c + 2*h = -42. Suppose p = 3*v + 2*p - c, -4*v + 4*p = -24. Suppose 5*z = 3*b + 6, 5*b - v = 6*z - 3*z. Is b less than 2?
False
Let u = 3.4 - 3. Let z = -40.08 + 41. Let a = -0.08 - z. Is a less than u?
True
Let k be 524/(-84) - (-4)/(-12). Do -7 and k have different values?
True
Let w be 22 + (-2)/1 + 0. Is 20 greater than w?
False
Let u = 174 - 108. Let i be (-2)/10 - u/