alse
Let a = -5 - -3. Let n(j) = 3*j - 8. Let v be n(4). Let i be (v/(-8))/(2/16). Is i < a?
True
Suppose -5*n = -0*n - 15. Let w be 5/2 - n/6. Let p be (w/(-3))/(4/(-6)). Which is bigger: -2/15 or p?
p
Suppose -5*v - 4 + 14 = -5*h, -3*h - 5*v + 10 = 0. Suppose h = -8*x + 6*x. Which is greater: -1/6 or x?
x
Suppose 6*w - 16 = 2*w. Suppose -4*l + w + 4 = 0. Suppose 3*r = -1 - l, 5*r = g - 3. Which is smaller: g or -1?
g
Let z = -20 - -14. Let m(g) = g**3 + 5*g**2 - 6*g + 3. Let q be m(z). Suppose 4*y + 6 = q*y. Which is smaller: -5 or y?
y
Let i = 18 - 13. Let l(k) = 4*k. Let a be l(-2). Let r = a + 14. Is i smaller than r?
True
Let i(d) = 4*d - 2. Let n be i(1). Which is greater: n or 11/4?
11/4
Let u = 213 + -138. Are 75 and u equal?
True
Let i be -3*(-8)/(-108)*-9. Which is smaller: 4/5 or i?
4/5
Suppose -h = 1 - 6. Let j = 0 - h. Let d(y) = -y - 5. Let l be d(j). Do l and -1/4 have different values?
True
Let r(p) = p - 3. Let b be r(6). Suppose -2*i + 2*f = -4, 0*i - 4 = -2*i - 4*f. Which is bigger: i or b?
b
Let f(o) = o - 8. Let h be f(8). Let j = h + 1. Which is greater: j or 6?
6
Let c be 4/(-14) - 16/42. Is -1 equal to c?
False
Let l = -524/11 - -48. Which is smaller: -1 or l?
-1
Suppose -2*z + 16 = -5*q, -8 = 2*q - 5*z + 11. Suppose 0 = 3*r - 0*r + 36. Let j be 21/r - -1 - 0. Which is smaller: j or q?
q
Let c = -0.56 + 0.06. Let n = c - -0.6. Let r = 2 - 2.1. Which is smaller: n or r?
r
Let r = -11 + 7. Let q be r*(5/2 + -2). Which is bigger: q or -1?
-1
Let z = -0.31 - -0.51. Are z and 0.6 unequal?
True
Let i(u) = u**3 + 3*u**2 - 2*u + 2. Let x be i(-4). Let b be 10*((-36)/15 - -3). Let y = b + x. Which is smaller: 5/6 or y?
y
Let z(h) = -h**3 + 6*h**2 - h + 6. Let f be z(6). Suppose 0 = -f*p + p. Which is greater: p or 2/7?
2/7
Let m(x) = x**3 - x**2 - x - 1. Let n be m(0). Which is smaller: n or 2/27?
n
Let g be 44/55 - 116/170. Let t(z) = -z**2 - z - 1. Let p be t(-1). Is p greater than or equal to g?
False
Suppose 5*g + 29 = -4*n, 2*n = 6*n + g + 9. Let d = 166/1815 + -3/121. Is n > d?
False
Let w = -75 + 223/3. Does 0 = w?
False
Let r be (2/4)/((-2)/2). Is r equal to -2?
False
Let d(s) = -s**3 + 9*s**2 - s. Let y be d(9). Let k be (4/6)/(6/y). Does 2/5 = k?
False
Suppose -2*k + 58 = 3*k + 2*y, 3*y = -5*k + 57. Let t be 2/(3/k*2). Is t smaller than 3?
False
Let l be (-4)/10 + (-4)/(-10). Let a be 8/48 + 1226/(-12). Let s be -2*(-3 + (-303)/a). Which is smaller: s or l?
l
Let c = 29 + -27. Which is bigger: c or -7?
c
Let p = -172 - -170. Which is greater: p or -1/21?
-1/21
Let k be 1 - 0 - (-1)/(-5). Suppose 5*a - 3*t - 6 = -4*t, -4*a - 3*t + 7 = 0. Let b = -1 + a. Which is smaller: k or b?
b
Suppose 6*w = 2*w - 20, -3*w = -5*a + 25. Suppose 7 + 13 = 5*q, -3*g - a*q + 8 = 0. Which is bigger: g or -4/7?
g
Let g(s) = s**3 - 2*s. Let c be g(-2). Let o(n) = n**2 + 5*n - 23. Let u be o(-8). Which is smaller: c or u?
c
Let t be 2 + (0 - -4)/(-1). Let a be (-2)/4*(t + -2). Suppose -f = -a*f. Is f at most -2/5?
False
Let s be (((-5)/3)/(-5))/(-3). Which is bigger: 2/7 or s?
2/7
Let m = -2 - -1. Let l = m - 0. Which is smaller: l or -2?
-2
Let q(h) = -3*h**2 - 5*h. Let a(n) = -n**2 - 2*n. Let k(l) = 7*a(l) - 2*q(l). Let v be k(-4). Suppose v*t = 3*t. Which is smaller: t or 1/7?
t
Let g = 132 - -30. Let l be (-2)/8*(-16)/g. Let f = l - -152/405. Which is greater: f or -4?
f
Suppose -5*j = -0*j. Let k be (3/(-22))/((-9)/(-48)*-4). Which is bigger: j or k?
k
Let g be ((-2)/(-62))/((-1)/42). Let c = g + 692/465. Suppose 6*i + 3 = 3*i. Is c bigger than i?
True
Let i(y) be the third derivative of 0 + 1/60*y**5 - y**2 + 5/12*y**4 + 0*y + 5/3*y**3. Let j be i(-9). Which is greater: j or 2?
2
Let u(o) = o**3 + 4*o**2 - 1. Let x be u(-4). Let q be (-2)/12 + 6/9. Is x > q?
False
Let g be ((-69)/5)/(-1) - -3. Let b = 9389/255 + -363/17. Let o = b - g. Which is greater: o or -2?
o
Let j be (-1)/3 + (-10)/24. Let i be 2/7 - (-115)/(-35). Let n be ((-1)/(-3))/(1/i). Is j less than or equal to n?
False
Let g be 3*(-3)/(6/32). Let h be g/(-132) + 0 + 0. Is h less than 1?
True
Suppose 5 = 2*h + 1. Let o be (1 - h) + 4 + -4. Which is greater: o or 0?
0
Let x be (-3)/(-12)*(-6 - -36). Which is smaller: x or 7?
7
Let l(k) = -k**3 + 6*k**2 - 6*k + 7. Let c be l(5). Suppose v - c*m = 4, 3*m + 5 = -1. Which is bigger: v or 1?
1
Let y = -520/131 - 54393/917. Let v = y + 63. Which is greater: v or -1?
v
Let x be (-10)/(-4)*((-198)/(-30) - 5). Is 13/4 less than x?
True
Let n = 20 + -25.4. Let j = 1.6 - n. Which is bigger: -2 or j?
j
Let r be 0 + 2*(-2)/4*3. Is 1 >= r?
True
Let b = -4 + 7. Let f be b/(-2)*(-4)/3. Let u be 0 + 0*f/6. Is u smaller than 0?
False
Let y be 0/(-2*(-1)/(-2)). Is 1/4 greater than y?
True
Suppose 4*d = -2*h + 20, -8 - 17 = -4*h - 3*d. Which is smaller: -2 or h?
-2
Let n be (4/6)/(4/690). Let f = n - 1496/13. Which is smaller: 1 or f?
f
Suppose g - 4*g = -6. Let z = 1 - g. Is z > 1/7?
False
Let l be 4/(-6) + 10/6. Let j(g) = -2*g + 1. Let o be j(4). Let k = 8 + o. Is k > l?
False
Let y be (2/4 + 0)*-16. Is -8 < y?
False
Suppose 2*m - 23 + 9 = 0. Let i = 4 - m. Suppose 4*k - 2*k = 0. Which is bigger: k or i?
k
Let j = 6 - 4. Let q = j - 0. Suppose -2*f - 4*p = -6*p - q, f = 5*p + 5. Is 4 >= f?
True
Let c be ((-1)/2)/(15/10). Let j = c + -1/6. Let h = -0.1 + 0. Which is greater: h or j?
h
Let y(f) = -2*f**2 - 2. Let l be y(2). Let q be l/12*(-52)/(-455). Which is smaller: -1 or q?
-1
Let f be 2/(-5) - 14/(-10). Let x be 4/(-12)*12/62. Which is smaller: x or f?
x
Let x = -37 - -47. Does 12 = x?
False
Let s(f) = f**2 + 8*f + 18. Let x be s(-9). Is 51/2 bigger than x?
False
Suppose -1 = -g - 2*v, -g + 5 = -5*v + 4. Let o = -21 + 22.6. Is g smaller than o?
True
Let x be 5/(-2)*4/(-5). Suppose x*l + 1 = l. Let o be l/(-1)*(4 + -5). Do -2/9 and o have the same value?
False
Let i(t) = t**2 - 4*t - 5. Let q be i(5). Suppose 2*k + 4*a + 14 = q, -2*k - 2*a - 4 = 2. Is 1 equal to k?
True
Let i be -1 + -3 + -2 + (0 - 0). Is i at least -6?
True
Let n(s) = -153*s**2 + 2*s - 1. Let d be n(1). Let a = d + 611/4. Let m(v) = v - 8. Let u be m(9). Does a = u?
False
Suppose n = -3*m - 1, n - 4*m + 1 = m. Suppose 7*h = 2*h - 5. Let w = h + 1. Does n = w?
False
Let r = 123 - 193. Is r < -70?
False
Let w be -2 - (0 - (2 + 1)). Is w less than 2/89?
False
Suppose 0*m = -3*m. Let s be (1/2)/((-1)/(-2)). Let q = s + m. Is -2/7 at most q?
True
Let v = 2.9 - 2.8. Which is smaller: v or 1?
v
Suppose -n - 3*s + 26 = 0, 0 = n - 3*s - 82 + 32. Suppose n = 2*i - 0*i. Let m be (-2)/(-10) - i/(-5). Is m at most as big as 4?
True
Let u = 4 - 0. Let y be 1/(-3 - -2 - u). Is -2 less than or equal to y?
True
Suppose -17 = 3*c + 10. Are c and -8 non-equal?
True
Let b be (1 - (-9)/(-15))/(-2). Let k = -1 - -1. Do b and k have the same value?
False
Suppose -154 = 6*z - 20*z. Is z bigger than 12?
False
Suppose -f = 4*f. Let i be -4 - (f + 1 + -2). Let m be 2/(-6)*i - 4. Is m not equal to -2?
True
Let m be (-1)/5 + 68/(-85). Which is bigger: -20 or m?
m
Let j(n) = n**3 + 6*n**2 - n - 3. Let f be j(-6). Suppose -r - f*r + 16 = 0. Are 4 and r unequal?
False
Let b(h) = h**3 + 9*h**2 - 11*h + 4. Let c be b(-10). Let f be c/21 - (-28)/(-6). Which is smaller: f or -5?
-5
Let c = 6 + -7. Is 2/15 not equal to c?
True
Let p = -149 + 148. Which is smaller: p or -2/181?
p
Let d = 29 - 28. Is 9/4 less than or equal to d?
False
Let u = 1 - 3. Let o be (-85)/(-165) - u/(-11). Is o less than or equal to -2?
False
Let s(r) = r**2 - 2*r - 12. Let g be s(6). Is g < 12?
False
Let y = -3 - -5. Let c be (y/(-7))/(2 - 1). Suppose -4*z - 6 = -2*z + 4*j, -z + 5*j + 11 = 0. Which is smaller: c or z?
c
Let x be 39/26*32/3. Let n = -10 + x. Is 0.1 greater than n?
False
Let g(j) = -j**2 - 7*j - 11. Let n be g(-4). Which is greater: n or -1/29?
n
Suppose -o - 3*q - q + 4 = 0, -3*o + 2 = 2*q. Is -2/19 != o?
True
Let n = -20 + 20. Let o = -2 + 3. Which is smaller: o or n?
n
Let o = 49 + -22. Let d be 2/9 + (-114)/o. Is d greater than -5?
True
Suppose b - 5*b = -2*u - 148, -5*u = -5*b + 195. Let j = b - 209/6. Which is greater: j or 1?
1
Let z = 2.92 + -3. Let g = 0.28 + z. Is -1 greater than g?
False
Suppose 5 = -5*m - 2*g - 0, 0 = -4*m + 2*g - 4. Let f(t) = t + 11. Let s be f(-6). Let w(y) = y**2 - 5*y - 1. Let u 