 -2/39 or j?
-2/39
Let h(t) = 4*t + 6. Let u be h(-4). Suppose 0 = x + 2*x - 105. Let g be 10/14 - u/x. Is 2/5 less than g?
True
Let k = 0.9 + -0.9. Is -4 at least k?
False
Let p = 6 + -8. Which is smaller: 3 or p?
p
Let k(g) = -g**3 + 4*g**2 - 2*g + 3. Let l(w) = -w**2 - 6*w - 3. Let n be l(-4). Let j = n + -2. Let q be k(j). Is q greater than or equal to 6?
True
Let v be (-3)/5 - 18/(-5). Suppose 3*i - 477 = 5*a, -4*a + v*a = 4*i - 613. Let t = i - 1081/7. Is -1 equal to t?
False
Let j(m) = m**3 - m**2 - m + 1. Let f(q) = 4*q**3 + q + 6. Let l(x) = f(x) - 5*j(x). Let y be 1*((-10)/(-2) + 1). Let s be l(y). Which is smaller: 0 or s?
0
Let l = 0.4 - 5.4. Let h = 4.9 + l. Let a = -0.05 + -0.95. Is a at most as big as h?
True
Let k = -0.2 - -0.4. Let n = -0.4 + k. Is -2/5 greater than or equal to n?
False
Let k = -3.2 + -0.8. Let v = k - -3. Suppose 3*r - 3*q + 12 = -r, 3*r + 26 = -2*q. Which is smaller: v or r?
r
Let t = 1/518 - -43501/5698. Is 8 at most as big as t?
False
Let s = -6 + 6. Let l = -9484 - -47587/5. Let o = 33 - l. Which is bigger: s or o?
s
Let i = -462/5387 + 51207593/48483. Let u = -1055 + i. Let y = 77/45 - u. Is y >= 0?
True
Suppose 2*f - 5*t + 5 = 3, -4*f - 4*t = 4. Let z be (f/3)/(-1 + 2). Let l(c) = c**3 - c + 1. Let r be l(0). Is z > r?
False
Let q(h) = 16*h. Let z(l) = 8*l. Let r(o) = 3*q(o) - 5*z(o). Let d be r(-1). Which is smaller: d or -9?
-9
Let w(a) = -a**3 - 7*a**2 - 7*a - 5. Let o be w(-6). Is 1 bigger than o?
False
Let n be 2/(-7) - 900/35. Let o be (-1)/5 - n/5. Suppose -c - o = 4*c. Which is greater: c or 0?
0
Let c = 17 - 13. Suppose 8 = p + 5*g, c*g + 0*g + 5 = 3*p. Suppose -2*f + 3 = -3. Is p smaller than f?
False
Let i(r) = 4*r + 9 + 8*r - 4*r + r**2. Suppose 0 = a + 5 + 2. Let t be i(a). Which is bigger: -2 or t?
t
Suppose 3 = b - s, 4*b - 12 = 2*s + s. Let v(a) = -5*a - a - 3*a**2 + 5 + a**b + 0. Let w be v(4). Is -2 < w?
False
Let y = 2 - 2. Let f be 4/(-14) - (-292)/(-7). Let l be (f/(-15) - 1) + -2. Is y at most as big as l?
False
Let n(s) = -s**3 - 9*s**2 - s - 8. Suppose 0 = -3*r - 2*r - 45. Let f be n(r). Is f bigger than 0?
True
Let h = -6 + 4. Let w = 1 + 1. Let q be (-4)/8*w - -1. Which is smaller: h or q?
h
Let n be (-2)/(-5) + 24/(-75). Let d(x) = -x + 5. Let j be d(6). Which is smaller: j or n?
j
Let o = 1429 + -1440.01. Let y = o - -11. Which is greater: 1/2 or y?
1/2
Let d be (-2)/(-6) + (-22)/30. Suppose o - h + 9 = h, 5*h = 3*o + 22. Is d > o?
False
Let r = -699 - -13285/19. Is r smaller than -1?
False
Suppose -3*m + 0*x + 8 = 2*x, -2*x = m - 4. Is m less than -40?
False
Let f be (-3)/(1 + 8/(-5)). Suppose -4*w - 6 + 2 = o, -2*o + 5*w + f = 0. Which is smaller: o or 2/7?
o
Let a = 26 + -42. Which is smaller: -0.2 or a?
a
Let w = -8 + 2. Let n be (-2)/(-4) - (-3)/w. Which is greater: n or 1?
1
Let n = 24 + -24. Let b(a) = a - 4. Let g be b(5). Is n > g?
False
Let z be (((-180)/(-8))/(-5))/2. Let k = -12 - -11. Which is bigger: k or z?
k
Let r = -5/27 + 91/54. Suppose -3*h - 2*f - 23 = -8*h, 5*f = h - 23. Suppose -j + h*s + 7 = 0, 3*s = -5*j - s - 3. Which is smaller: r or j?
j
Suppose -4*a - 1 = -5. Which is greater: 2/287 or a?
a
Let w be -1 - (-5)/(-4) - -2. Let r = -39 + 40. Which is smaller: w or r?
w
Let q = 7.08 - 5.1. Let v = -0.02 - q. Is v less than or equal to 0?
True
Let u(y) = -1 + 7*y - 3 + 3 - y**2. Let r be u(6). Suppose -3*k - 4*a + 14 = 0, 0*k = -r*k - 5*a + 25. Is 5 less than k?
True
Suppose -4*j + 94 = 8*p - 6*p, 0 = -3*j + 3*p + 57. Which is bigger: 24 or j?
24
Let m be (2/203)/(9/63). Let o = m - -137/116. Is o at most 0?
False
Let g = 26 - 42. Is g at least 0?
False
Let v be 3 - ((-7)/1 + 2). Let a = v - 1. Let g be ((21/6)/a)/2. Which is bigger: 1 or g?
1
Suppose -4*h - 2*m + m + 10 = 0, 4*m = -2*h + 12. Suppose 4*b - z + 7 = 0, 0 = 2*b + h*z + 2*z - 10. Let q = -13 + 12. Does b = q?
True
Suppose 5*q = q + 4. Suppose -4*d = -13*d. Is q not equal to d?
True
Let c = -0.3458 + 2.3448. Let y = -0.061 - c. Let w = 0.06 + y. Are 1 and w non-equal?
True
Let d = 24.04037 - 0.05037. Let z = d + -24. Is -2 greater than z?
False
Suppose -4*v + h + 191 = 0, 4*v - 64 = 3*v - 3*h. Is 50 < v?
False
Suppose 5*v - 4*n = 33, 0*n = 4*v - 2*n - 24. Let f(y) = 5*y - 10*y - 4 + 7*y + y**2. Let g be f(-4). Which is greater: v or g?
v
Suppose -4 = 4*t - 2*r, -2*t - 18 = -2*r - 3*r. Is t at least 10?
False
Let a = -8 - -7. Let p be 1*a/2 - -2. Which is bigger: p or 3?
3
Let r(i) = -i**3 + 3*i**2 - i + 1. Let l be r(2). Suppose -l = w - 2. Let j(t) = -t**3 - 4*t**2 - 3*t. Let s be j(-3). Which is greater: w or s?
s
Suppose -g - b - 20 = -93, 0 = -4*g + b + 312. Let h = 387/5 - g. Is h greater than or equal to -1/3?
True
Let x = 78 + -81. Is -3 < x?
False
Let f be (-1)/4 - (-3)/(-8). Which is smaller: f or -1?
-1
Let l = -6 - -3. Let b be l*(-3 + 2) - 2. Is b greater than 0?
True
Let l = -131/75 - 1/300. Which is greater: -2 or l?
l
Let w(p) = p**2 + 4*p + 2. Let h be w(-3). Let u be (3/5)/(12/(-8)). Which is greater: h or u?
u
Suppose -2*w - 8 = 2*r, -3*w - 6*r + 9*r = -12. Suppose 3*h = -w*k - 5*k - 3, 4*h = -4. Let o be 0/(5/((-5)/(-2))). Is k greater than or equal to o?
True
Let j be (-39)/(-26) + 1/(-2). Let s be j/2*0/(-15). Which is bigger: 2/53 or s?
2/53
Suppose 0 = -2*l - 0*l - 8. Let b = l - -6. Suppose 0*g = -b*g. Which is smaller: -6/5 or g?
-6/5
Let v(m) = m - 2 + 1 - 3 + m + m**2. Let z be v(-3). Let u be (-1)/z - (0 + 2). Which is smaller: u or -3?
-3
Let i be 6/21 - (-1322326)/(-532). Let u = 2486 + i. Let o = 4/19 - u. Is 1 greater than or equal to o?
True
Suppose t + 32 - 8 = -4*a, -4*a - 2*t = 20. Is a < -7?
False
Suppose 2*z = -3*z + 25. Suppose 0 = -z*d - 4 - 1. Suppose 5*m + 22 - 2 = 0. Is m smaller than d?
True
Let c = 6 + -5. Which is smaller: 5 or c?
c
Let i = -2.2 + 1.1. Let o = -5 - -6. Let t = o + i. Is -2 greater than or equal to t?
False
Let x = 7 + 5. Suppose -3*g - 1 = 5*h + 13, x = -3*h - 3*g. Which is greater: h or 2/15?
2/15
Let v(j) = -33*j. Let s be v(-1). Let u be 200*1/(-24)*-4. Let p = u - s. Is p smaller than -0.1?
False
Let c be (-5)/(4/(-12)*1). Is 15 != c?
False
Let a = -21 + 15. Is a > -0.4?
False
Suppose 4 = 4*t - 4*y, t + y = -0*t - 1. Let o = -94/7 + 14. Which is bigger: t or o?
o
Let b = -460/3159 + -2/243. Which is bigger: 2/9 or b?
2/9
Suppose -4*o - 5*o = 9. Which is smaller: -3/58 or o?
o
Let o = 1.6 - 0.6. Let g = 2 - o. Do -1/2 and g have different values?
True
Let g be 4 + -4 + 2/(-2). Let m be (-6)/4*(-1 - 1). Suppose 2*u = 3*u + 1, -4 = o + m*u. Is o at least as big as g?
True
Suppose d + 5 = 3*n, -4*n - n = -5*d - 25. Suppose 0 = -3*j + 2*j - 4, n = 4*w - 4*j - 8. Which is smaller: -3 or w?
-3
Let a(s) = s - 1. Let o be a(3). Suppose -v - o = v. Let g be 2 - (4 + 18/(-10)). Are g and v non-equal?
True
Let x(d) = -d**2 - 22*d - 21. Let s be x(-21). Is s <= -3/8?
False
Suppose -3*h - 9 = 0, -2*l = -4*h - 20 - 10. Suppose -3*c + l = 3. Let b be (-1 - -1)*(-2)/c. Is -3 > b?
False
Suppose 6*d = 5*d. Is 2 equal to d?
False
Let t = -9 + 5. Let v be t*(14/(-4) - -3). Does 2 = v?
True
Let j = 13 - 12. Let b = -1.8 - -2. Is j greater than b?
True
Let y(s) = -3*s - 4. Let r be y(-4). Which is smaller: r or 54/7?
54/7
Let f be 0*-1*(-4 - -5). Suppose -5*k - 20 + 70 = f. Which is smaller: 9 or k?
9
Let f = 13 - 11. Is f > 6?
False
Suppose -4*v - 2 = -2*k, 2*k + 2*v = -3*k + 5. Which is smaller: k or -2?
-2
Let z = -84460/32851 + -2/4693. Which is greater: -2 or z?
-2
Let l = 515 - 19567/38. Which is smaller: -0.1 or l?
-0.1
Suppose -5*m = -4*m - 2. Suppose -4*s = -4*o + 16, -o - 5*s - 28 = m*o. Is o at least as big as -1?
True
Suppose -11 = 5*y - 1. Suppose -w - 4*q = 4*w - 12, 0 = -4*w - q + 14. Let z be (-6)/w*y/(-7). Are z and 0 equal?
False
Let i = -2 + 3. Let t(j) = j - 1. Let q be t(i). Let c be (q*(-1)/(-2))/1. Is 1/3 at most as big as c?
False
Let t(x) be the first derivative of -1/2*x**2 - 1 - 5*x. Let q be t(-4). Is q at most 1/4?
True
Let x = 1/18 - -4/9. Is 1/2 >= x?
True
Let k = 20 + -14. Suppose 2*n - f = k*n - 14, -f + 17 = 5*n. Is n bigger than 0?
True
Let l be -1 + -2 - -1 - (-15)/5. Is -2/229 >= l?
False
Let q be 27/18 + (-7)/(-2). Suppose 10 = q*z - l, 4*z - l = l + 14. Which is smaller: z or 0?
0
Suppose -r - 4*r + 5 = 0.